enforce_test.cc 10.5 KB
Newer Older
1
/* Copyright (c) 2016 PaddlePaddle Authors. All Rights Reserved.
2 3 4 5 6 7 8 9 10 11
Licensed under the Apache License, Version 2.0 (the "License");
you may not use this file except in compliance with the License.
You may obtain a copy of the License at
    http://www.apache.org/licenses/LICENSE-2.0
Unless required by applicable law or agreed to in writing, software
distributed under the License is distributed on an "AS IS" BASIS,
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
See the License for the specific language governing permissions and
limitations under the License. */

12 13
#include <array>
#include <iostream>
14
#include <list>
Y
Yan Chunwei 已提交
15
#include <memory>
16
#include <set>
Y
Yan Chunwei 已提交
17

L
liaogang 已提交
18
#include "gtest/gtest.h"
Y
Yi Wang 已提交
19
#include "paddle/fluid/platform/enforce.h"
L
liaogang 已提交
20

21 22 23 24 25 26 27 28
TEST(ENFORCE, OK) {
  PADDLE_ENFORCE(true, "Enforce is ok %d now %f", 123, 0.345);
  size_t val = 1;
  const size_t limit = 10;
  PADDLE_ENFORCE(val < limit, "Enforce is OK too");
}

TEST(ENFORCE, FAILED) {
Y
Yi Wang 已提交
29
  bool caught_exception = false;
30 31
  try {
    PADDLE_ENFORCE(false, "Enforce is not ok %d at all", 123);
32
  } catch (paddle::platform::EnforceNotMet& error) {
Y
Yi Wang 已提交
33
    caught_exception = true;
34 35 36
    std::string ex_msg = error.what();
    EXPECT_TRUE(ex_msg.find("Enforce is not ok 123 at all") !=
                std::string::npos);
37
  }
Y
Yi Wang 已提交
38
  EXPECT_TRUE(caught_exception);
39 40 41 42

  caught_exception = false;
  try {
    PADDLE_ENFORCE(false, "Enforce is not ok at all");
43
  } catch (paddle::platform::EnforceNotMet& error) {
44
    caught_exception = true;
45 46
    std::string ex_msg = error.what();
    EXPECT_TRUE(ex_msg.find("Enforce is not ok at all") != std::string::npos);
47 48 49 50 51 52
  }
  EXPECT_TRUE(caught_exception);

  caught_exception = false;
  try {
    PADDLE_ENFORCE(false);
53
  } catch (paddle::platform::EnforceNotMet& error) {
54
    caught_exception = true;
55
    EXPECT_NE(std::string(error.what()).find("  at "), 0UL);
56 57
  }
  EXPECT_TRUE(caught_exception);
58
}
S
Superjom 已提交
59 60 61 62 63 64 65 66 67 68 69

TEST(ENFORCE, NO_ARG_OK) {
  int a = 2;
  int b = 2;
  PADDLE_ENFORCE_EQ(a, b);
  // test enforce with extra message.
  PADDLE_ENFORCE_EQ(a, b, "some thing wrong %s", "info");
}

TEST(ENFORCE_EQ, NO_EXTRA_MSG_FAIL) {
  int a = 2;
Y
Yi Wang 已提交
70
  bool caught_exception = false;
S
Superjom 已提交
71
  try {
72 73
    PADDLE_ENFORCE_EQ(a, 1 + 3, paddle::platform::errors::InvalidArgument(
                                    "the result is not equal correct result."));
74
  } catch (paddle::platform::EnforceNotMet& error) {
Y
Yi Wang 已提交
75
    caught_exception = true;
76 77 78
    std::string ex_msg = error.what();
    EXPECT_TRUE(ex_msg.find("Expected a == 1 + 3, but received a:2 != 1 "
                            "+ 3:4.") != std::string::npos);
S
Superjom 已提交
79
  }
Y
Yi Wang 已提交
80
  EXPECT_TRUE(caught_exception);
S
Superjom 已提交
81 82 83 84
}

TEST(ENFORCE_EQ, EXTRA_MSG_FAIL) {
  int a = 2;
Y
Yi Wang 已提交
85
  bool caught_exception = false;
S
Superjom 已提交
86
  try {
87 88
    PADDLE_ENFORCE_EQ(a, 1 + 3, paddle::platform::errors::InvalidArgument(
                                    "the result is not equal correct result."));
89
  } catch (paddle::platform::EnforceNotMet& error) {
Y
Yi Wang 已提交
90
    caught_exception = true;
91
    std::string ex_msg = error.what();
92 93 94 95
    EXPECT_TRUE(ex_msg.find("their size not match") != std::string::npos);
    EXPECT_TRUE(
        ex_msg.find("Expected a == 1 + 3, but received a:2 != 1 + 3:4.") !=
        std::string::npos);
S
Superjom 已提交
96
  }
Y
Yi Wang 已提交
97
  EXPECT_TRUE(caught_exception);
S
Superjom 已提交
98
}
S
Superjom 已提交
99 100 101 102 103 104

TEST(ENFORCE_NE, OK) {
  PADDLE_ENFORCE_NE(1, 2);
  PADDLE_ENFORCE_NE(1.0, 2UL);
}
TEST(ENFORCE_NE, FAIL) {
Y
Yi Wang 已提交
105
  bool caught_exception = false;
S
Superjom 已提交
106 107 108 109

  try {
    // 2UL here to check data type compatible
    PADDLE_ENFORCE_NE(1.0, 1UL);
110
  } catch (paddle::platform::EnforceNotMet& error) {
Y
Yi Wang 已提交
111
    caught_exception = true;
112 113 114
    std::string ex_msg = error.what();
    EXPECT_TRUE(ex_msg.find("Expected 1.0 != 1UL, but "
                            "received 1.0:1 == 1UL:1.") != std::string::npos);
S
Superjom 已提交
115
  }
Y
Yi Wang 已提交
116
  EXPECT_TRUE(caught_exception);
S
Superjom 已提交
117 118 119 120
}

TEST(ENFORCE_GT, OK) { PADDLE_ENFORCE_GT(2, 1); }
TEST(ENFORCE_GT, FAIL) {
Y
Yi Wang 已提交
121
  bool caught_exception = false;
S
Superjom 已提交
122
  try {
T
tensor-tang 已提交
123
    PADDLE_ENFORCE_GT(1, 2);
124
  } catch (paddle::platform::EnforceNotMet& error) {
Y
Yi Wang 已提交
125
    caught_exception = true;
126 127 128
    std::string ex_msg = error.what();
    EXPECT_TRUE(ex_msg.find("Expected 1 > 2, but received 1:1 <= 2:2.") !=
                std::string::npos);
S
Superjom 已提交
129
  }
Y
Yi Wang 已提交
130
  EXPECT_TRUE(caught_exception);
S
Superjom 已提交
131 132 133
}

TEST(ENFORCE_GE, OK) {
T
tensor-tang 已提交
134
  PADDLE_ENFORCE_GE(2, 2);
S
Superjom 已提交
135
  PADDLE_ENFORCE_GE(3, 2);
T
tensor-tang 已提交
136
  PADDLE_ENFORCE_GE(3.21, 2.0);
S
Superjom 已提交
137 138
}
TEST(ENFORCE_GE, FAIL) {
Y
Yi Wang 已提交
139
  bool caught_exception = false;
S
Superjom 已提交
140
  try {
T
tensor-tang 已提交
141
    PADDLE_ENFORCE_GE(1, 2);
142
  } catch (paddle::platform::EnforceNotMet& error) {
Y
Yi Wang 已提交
143
    caught_exception = true;
144 145 146
    std::string ex_msg = error.what();
    EXPECT_TRUE(ex_msg.find("Expected 1 >= 2, but received 1:1 < 2:2.") !=
                std::string::npos);
S
Superjom 已提交
147
  }
Y
Yi Wang 已提交
148
  EXPECT_TRUE(caught_exception);
S
Superjom 已提交
149 150 151 152
}

TEST(ENFORCE_LE, OK) {
  PADDLE_ENFORCE_LE(1, 1);
T
tensor-tang 已提交
153 154 155 156
  PADDLE_ENFORCE_LE(1UL, 1UL);
  PADDLE_ENFORCE_LE(2, 3);
  PADDLE_ENFORCE_LE(2UL, 3UL);
  PADDLE_ENFORCE_LE(2.0, 3.2);
S
Superjom 已提交
157 158
}
TEST(ENFORCE_LE, FAIL) {
Y
Yi Wang 已提交
159
  bool caught_exception = false;
S
Superjom 已提交
160
  try {
T
tensor-tang 已提交
161
    PADDLE_ENFORCE_GT(1, 2);
162
  } catch (paddle::platform::EnforceNotMet& error) {
Y
Yi Wang 已提交
163
    caught_exception = true;
164 165 166
    std::string ex_msg = error.what();
    EXPECT_TRUE(ex_msg.find("Expected 1 > 2, but received 1:1 <= 2:2.") !=
                std::string::npos);
S
Superjom 已提交
167
  }
Y
Yi Wang 已提交
168
  EXPECT_TRUE(caught_exception);
S
Superjom 已提交
169 170 171 172
}

TEST(ENFORCE_LT, OK) {
  PADDLE_ENFORCE_LT(3, 10);
T
tensor-tang 已提交
173 174
  PADDLE_ENFORCE_LT(2UL, 3UL);
  PADDLE_ENFORCE_LT(2, 3);
S
Superjom 已提交
175 176
}
TEST(ENFORCE_LT, FAIL) {
Y
Yi Wang 已提交
177
  bool caught_exception = false;
S
Superjom 已提交
178 179
  try {
    PADDLE_ENFORCE_LT(1UL, 0.12);
180
  } catch (paddle::platform::EnforceNotMet& error) {
Y
Yi Wang 已提交
181
    caught_exception = true;
182 183 184 185
    std::string ex_msg = error.what();
    EXPECT_TRUE(ex_msg.find("Expected 1UL < 0.12, but "
                            "received 1UL:1 >= 0.12:0.12.") !=
                std::string::npos);
S
Superjom 已提交
186
  }
Y
Yi Wang 已提交
187
  EXPECT_TRUE(caught_exception);
S
Superjom 已提交
188
}
Y
Yan Chunwei 已提交
189 190 191 192 193 194 195

TEST(ENFORCE_NOT_NULL, OK) {
  int* a = new int;
  PADDLE_ENFORCE_NOT_NULL(a);
  delete a;
}
TEST(ENFORCE_NOT_NULL, FAIL) {
Y
Yi Wang 已提交
196
  bool caught_exception = false;
Y
Yan Chunwei 已提交
197
  try {
Y
Yi Wang 已提交
198
    int* a = nullptr;
Y
Yan Chunwei 已提交
199
    PADDLE_ENFORCE_NOT_NULL(a);
200
  } catch (paddle::platform::EnforceNotMet& error) {
Y
Yi Wang 已提交
201
    caught_exception = true;
202 203
    std::string ex_msg = error.what();
    EXPECT_TRUE(ex_msg.find("a should not be null") != std::string::npos);
Y
Yan Chunwei 已提交
204
  }
Y
Yi Wang 已提交
205
  EXPECT_TRUE(caught_exception);
Y
Yan Chunwei 已提交
206
}
207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240

struct Dims {
  size_t dims_[4];

  bool operator==(const Dims& o) const {
    for (size_t i = 0; i < 4; ++i) {
      if (dims_[i] != o.dims_[i]) return false;
    }
    return true;
  }
};

std::ostream& operator<<(std::ostream& os, const Dims& d) {
  for (size_t i = 0; i < 4; ++i) {
    if (i == 0) {
      os << "[";
    }
    os << d.dims_[i];
    if (i == 4 - 1) {
      os << "]";
    } else {
      os << ", ";
    }
  }
  return os;
}

TEST(ENFORCE_USER_DEFINED_CLASS, EQ) {
  Dims a{{1, 2, 3, 4}}, b{{1, 2, 3, 4}};
  PADDLE_ENFORCE_EQ(a, b);
}

TEST(ENFORCE_USER_DEFINED_CLASS, NE) {
  Dims a{{1, 2, 3, 4}}, b{{5, 6, 7, 8}};
S
sneaxiy 已提交
241 242 243 244 245 246 247
  bool caught_exception = false;
  try {
    PADDLE_ENFORCE_EQ(a, b);
  } catch (paddle::platform::EnforceNotMet&) {
    caught_exception = true;
  }
  EXPECT_TRUE(caught_exception);
248
}
F
fengjiayi 已提交
249 250 251 252 253

TEST(EOF_EXCEPTION, THROW_EOF) {
  bool caught_eof = false;
  try {
    PADDLE_THROW_EOF();
254
  } catch (paddle::platform::EOFException& error) {
F
fengjiayi 已提交
255
    caught_eof = true;
256 257
    std::string ex_msg = error.what();
    EXPECT_TRUE(ex_msg.find("There is no next data.") != std::string::npos);
F
fengjiayi 已提交
258 259 260
  }
  EXPECT_TRUE(caught_eof);
}
261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296

#ifdef PADDLE_WITH_CUDA
template <typename T>
bool CheckCudaStatusSuccess(T value, const std::string& msg = "success") {
  PADDLE_ENFORCE_CUDA_SUCCESS(value, msg);
  return true;
}

template <typename T>
bool CheckCudaStatusFailure(
    T value, const std::string& msg = "self-defined cuda status failed") {
  try {
    PADDLE_ENFORCE_CUDA_SUCCESS(value, msg);
    return false;
  } catch (paddle::platform::EnforceNotMet& error) {
    std::string ex_msg = error.what();
    return ex_msg.find(msg) != std::string::npos;
  }
}

TEST(enforce, cuda_success) {
  EXPECT_TRUE(CheckCudaStatusSuccess(cudaSuccess));
  EXPECT_TRUE(CheckCudaStatusFailure(cudaErrorInvalidValue));
  EXPECT_TRUE(CheckCudaStatusFailure(cudaErrorMemoryAllocation));

  EXPECT_TRUE(CheckCudaStatusSuccess(CURAND_STATUS_SUCCESS));
  EXPECT_TRUE(CheckCudaStatusFailure(CURAND_STATUS_VERSION_MISMATCH));
  EXPECT_TRUE(CheckCudaStatusFailure(CURAND_STATUS_NOT_INITIALIZED));

  EXPECT_TRUE(CheckCudaStatusSuccess(CUDNN_STATUS_SUCCESS));
  EXPECT_TRUE(CheckCudaStatusFailure(CUDNN_STATUS_NOT_INITIALIZED));
  EXPECT_TRUE(CheckCudaStatusFailure(CUDNN_STATUS_ALLOC_FAILED));

  EXPECT_TRUE(CheckCudaStatusSuccess(CUBLAS_STATUS_SUCCESS));
  EXPECT_TRUE(CheckCudaStatusFailure(CUBLAS_STATUS_NOT_INITIALIZED));
  EXPECT_TRUE(CheckCudaStatusFailure(CUBLAS_STATUS_INVALID_VALUE));
297
#if !defined(__APPLE__) && defined(PADDLE_WITH_NCCL)
298 299 300 301 302 303
  EXPECT_TRUE(CheckCudaStatusSuccess(ncclSuccess));
  EXPECT_TRUE(CheckCudaStatusFailure(ncclUnhandledCudaError));
  EXPECT_TRUE(CheckCudaStatusFailure(ncclSystemError));
#endif
}
#endif
304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364

struct CannotToStringType {
  explicit CannotToStringType(int num) : num_(num) {}

  bool operator==(const CannotToStringType& other) const {
    return num_ == other.num_;
  }

  bool operator!=(const CannotToStringType& other) const {
    return num_ != other.num_;
  }

 private:
  int num_;
};

TEST(enforce, cannot_to_string_type) {
  static_assert(
      !paddle::platform::details::CanToString<CannotToStringType>::kValue,
      "CannotToStringType must not be converted to string");
  static_assert(paddle::platform::details::CanToString<int>::kValue,
                "int can be converted to string");
  CannotToStringType obj1(3), obj2(4), obj3(3);

  PADDLE_ENFORCE_NE(obj1, obj2, "Object 1 is not equal to Object 2");
  PADDLE_ENFORCE_EQ(obj1, obj3, "Object 1 is equal to Object 3");

  std::string msg = "Compare obj1 with obj2";
  try {
    PADDLE_ENFORCE_EQ(obj1, obj2, msg);
  } catch (paddle::platform::EnforceNotMet& error) {
    std::string ex_msg = error.what();
    LOG(INFO) << ex_msg;
    EXPECT_TRUE(ex_msg.find(msg) != std::string::npos);
    EXPECT_TRUE(
        ex_msg.find("Expected obj1 == obj2, but received obj1 != obj2") !=
        std::string::npos);
  }

  msg = "Compare x with y";
  try {
    int x = 3, y = 2;
    PADDLE_ENFORCE_EQ(x, y, msg);
  } catch (paddle::platform::EnforceNotMet& error) {
    std::string ex_msg = error.what();
    LOG(INFO) << ex_msg;
    EXPECT_TRUE(ex_msg.find(msg) != std::string::npos);
    EXPECT_TRUE(ex_msg.find("Expected x == y, but received x:3 != y:2") !=
                std::string::npos);
  }

  std::set<int> set;
  PADDLE_ENFORCE_EQ(set.begin(), set.end());
  set.insert(3);
  PADDLE_ENFORCE_NE(set.begin(), set.end());

  std::list<float> list;
  PADDLE_ENFORCE_EQ(list.begin(), list.end());
  list.push_back(4);
  PADDLE_ENFORCE_NE(list.begin(), list.end());
}