enforce_test.cc 10.2 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 55 56 57
    caught_exception = true;
    EXPECT_NE(std::string(error.what()).find("  at "), 0);
  }
  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 72
  try {
    PADDLE_ENFORCE_EQ(a, 1 + 3);
73
  } catch (paddle::platform::EnforceNotMet& error) {
Y
Yi Wang 已提交
74
    caught_exception = true;
75 76 77
    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 已提交
78
  }
Y
Yi Wang 已提交
79
  EXPECT_TRUE(caught_exception);
S
Superjom 已提交
80 81 82 83
}

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

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

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

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

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

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

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

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

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

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

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

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());
}