enforce_test.cc 10.7 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
    EXPECT_TRUE(
        ex_msg.find("Expected a == 1 + 3, but received a:2 != 1 + 3:4.") !=
        std::string::npos);
S
Superjom 已提交
95
  }
Y
Yi Wang 已提交
96
  EXPECT_TRUE(caught_exception);
S
Superjom 已提交
97
}
S
Superjom 已提交
98 99 100 101 102 103

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

  try {
    // 2UL here to check data type compatible
    PADDLE_ENFORCE_NE(1.0, 1UL);
109
  } catch (paddle::platform::EnforceNotMet& error) {
Y
Yi Wang 已提交
110
    caught_exception = true;
111 112 113
    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 已提交
114
  }
Y
Yi Wang 已提交
115
  EXPECT_TRUE(caught_exception);
S
Superjom 已提交
116 117 118 119
}

TEST(ENFORCE_GT, OK) { PADDLE_ENFORCE_GT(2, 1); }
TEST(ENFORCE_GT, FAIL) {
Y
Yi Wang 已提交
120
  bool caught_exception = false;
S
Superjom 已提交
121
  try {
T
tensor-tang 已提交
122
    PADDLE_ENFORCE_GT(1, 2);
123
  } catch (paddle::platform::EnforceNotMet& error) {
Y
Yi Wang 已提交
124
    caught_exception = true;
125 126 127
    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 已提交
128
  }
Y
Yi Wang 已提交
129
  EXPECT_TRUE(caught_exception);
S
Superjom 已提交
130 131 132
}

TEST(ENFORCE_GE, OK) {
T
tensor-tang 已提交
133
  PADDLE_ENFORCE_GE(2, 2);
S
Superjom 已提交
134
  PADDLE_ENFORCE_GE(3, 2);
T
tensor-tang 已提交
135
  PADDLE_ENFORCE_GE(3.21, 2.0);
S
Superjom 已提交
136 137
}
TEST(ENFORCE_GE, FAIL) {
Y
Yi Wang 已提交
138
  bool caught_exception = false;
S
Superjom 已提交
139
  try {
T
tensor-tang 已提交
140
    PADDLE_ENFORCE_GE(1, 2);
141
  } catch (paddle::platform::EnforceNotMet& error) {
Y
Yi Wang 已提交
142
    caught_exception = true;
143 144 145
    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 已提交
146
  }
Y
Yi Wang 已提交
147
  EXPECT_TRUE(caught_exception);
S
Superjom 已提交
148 149 150 151
}

TEST(ENFORCE_LE, OK) {
  PADDLE_ENFORCE_LE(1, 1);
T
tensor-tang 已提交
152 153 154 155
  PADDLE_ENFORCE_LE(1UL, 1UL);
  PADDLE_ENFORCE_LE(2, 3);
  PADDLE_ENFORCE_LE(2UL, 3UL);
  PADDLE_ENFORCE_LE(2.0, 3.2);
S
Superjom 已提交
156 157
}
TEST(ENFORCE_LE, FAIL) {
Y
Yi Wang 已提交
158
  bool caught_exception = false;
S
Superjom 已提交
159
  try {
T
tensor-tang 已提交
160
    PADDLE_ENFORCE_GT(1, 2);
161
  } catch (paddle::platform::EnforceNotMet& error) {
Y
Yi Wang 已提交
162
    caught_exception = true;
163 164 165
    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 已提交
166
  }
Y
Yi Wang 已提交
167
  EXPECT_TRUE(caught_exception);
S
Superjom 已提交
168 169 170 171
}

TEST(ENFORCE_LT, OK) {
  PADDLE_ENFORCE_LT(3, 10);
T
tensor-tang 已提交
172 173
  PADDLE_ENFORCE_LT(2UL, 3UL);
  PADDLE_ENFORCE_LT(2, 3);
S
Superjom 已提交
174 175
}
TEST(ENFORCE_LT, FAIL) {
Y
Yi Wang 已提交
176
  bool caught_exception = false;
S
Superjom 已提交
177 178
  try {
    PADDLE_ENFORCE_LT(1UL, 0.12);
179
  } catch (paddle::platform::EnforceNotMet& error) {
Y
Yi Wang 已提交
180
    caught_exception = true;
181 182 183 184
    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 已提交
185
  }
Y
Yi Wang 已提交
186
  EXPECT_TRUE(caught_exception);
S
Superjom 已提交
187
}
Y
Yan Chunwei 已提交
188 189 190 191 192 193 194

TEST(ENFORCE_NOT_NULL, OK) {
  int* a = new int;
  PADDLE_ENFORCE_NOT_NULL(a);
  delete a;
}
TEST(ENFORCE_NOT_NULL, FAIL) {
Y
Yi Wang 已提交
195
  bool caught_exception = false;
Y
Yan Chunwei 已提交
196
  try {
Y
Yi Wang 已提交
197
    int* a = nullptr;
Y
Yan Chunwei 已提交
198
    PADDLE_ENFORCE_NOT_NULL(a);
199
  } catch (paddle::platform::EnforceNotMet& error) {
Y
Yi Wang 已提交
200
    caught_exception = true;
201 202
    std::string ex_msg = error.what();
    EXPECT_TRUE(ex_msg.find("a should not be null") != std::string::npos);
Y
Yan Chunwei 已提交
203
  }
Y
Yi Wang 已提交
204
  EXPECT_TRUE(caught_exception);
Y
Yan Chunwei 已提交
205
}
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

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 已提交
240 241 242 243 244 245 246
  bool caught_exception = false;
  try {
    PADDLE_ENFORCE_EQ(a, b);
  } catch (paddle::platform::EnforceNotMet&) {
    caught_exception = true;
  }
  EXPECT_TRUE(caught_exception);
247
}
F
fengjiayi 已提交
248 249 250 251 252

TEST(EOF_EXCEPTION, THROW_EOF) {
  bool caught_eof = false;
  try {
    PADDLE_THROW_EOF();
253
  } catch (paddle::platform::EOFException& error) {
F
fengjiayi 已提交
254
    caught_eof = true;
255 256
    std::string ex_msg = error.what();
    EXPECT_TRUE(ex_msg.find("There is no next data.") != std::string::npos);
F
fengjiayi 已提交
257 258 259
  }
  EXPECT_TRUE(caught_eof);
}
260 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

#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));
296
#if !defined(__APPLE__) && defined(PADDLE_WITH_NCCL)
297 298 299 300 301 302
  EXPECT_TRUE(CheckCudaStatusSuccess(ncclSuccess));
  EXPECT_TRUE(CheckCudaStatusFailure(ncclUnhandledCudaError));
  EXPECT_TRUE(CheckCudaStatusFailure(ncclSystemError));
#endif
}
#endif
303 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

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());
}
364 365 366 367 368 369 370 371 372 373 374 375 376 377

TEST(OP_INOUT_CHECK_MACRO, SUCCESS) {
  OP_INOUT_CHECK(true, "Input", "X", "dummy");
}

TEST(OP_INOUT_CHECK_MACRO, FAIL) {
  bool caught_exception = false;
  try {
    OP_INOUT_CHECK(false, "Input", "X", "dummy");
  } catch (paddle::platform::EnforceNotMet& error) {
    caught_exception = true;
  }
  EXPECT_TRUE(caught_exception);
}