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
    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 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
    std::string ex_msg = error.what();
90 91 92 93
    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 已提交
94
  }
Y
Yi Wang 已提交
95
  EXPECT_TRUE(caught_exception);
S
Superjom 已提交
96
}
S
Superjom 已提交
97 98 99 100 101 102

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

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

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

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

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

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

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

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

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

#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
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 361 362

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