| OLD | NEW |
| 1 // Copyright 2006-2008 the V8 project authors. All rights reserved. | 1 // Copyright 2011 the V8 project authors. All rights reserved. |
| 2 // Redistribution and use in source and binary forms, with or without | 2 // Redistribution and use in source and binary forms, with or without |
| 3 // modification, are permitted provided that the following conditions are | 3 // modification, are permitted provided that the following conditions are |
| 4 // met: | 4 // met: |
| 5 // | 5 // |
| 6 // * Redistributions of source code must retain the above copyright | 6 // * Redistributions of source code must retain the above copyright |
| 7 // notice, this list of conditions and the following disclaimer. | 7 // notice, this list of conditions and the following disclaimer. |
| 8 // * Redistributions in binary form must reproduce the above | 8 // * Redistributions in binary form must reproduce the above |
| 9 // copyright notice, this list of conditions and the following | 9 // copyright notice, this list of conditions and the following |
| 10 // disclaimer in the documentation and/or other materials provided | 10 // disclaimer in the documentation and/or other materials provided |
| 11 // with the distribution. | 11 // with the distribution. |
| (...skipping 33 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 45 #else | 45 #else |
| 46 #define FATAL(msg) \ | 46 #define FATAL(msg) \ |
| 47 V8_Fatal("", 0, "%s", (msg)) | 47 V8_Fatal("", 0, "%s", (msg)) |
| 48 #define UNIMPLEMENTED() \ | 48 #define UNIMPLEMENTED() \ |
| 49 V8_Fatal("", 0, "unimplemented code") | 49 V8_Fatal("", 0, "unimplemented code") |
| 50 #define UNREACHABLE() ((void) 0) | 50 #define UNREACHABLE() ((void) 0) |
| 51 #endif | 51 #endif |
| 52 | 52 |
| 53 | 53 |
| 54 // Used by the CHECK macro -- should not be called directly. | 54 // Used by the CHECK macro -- should not be called directly. |
| 55 static inline void CheckHelper(const char* file, | 55 inline void CheckHelper(const char* file, |
| 56 int line, | 56 int line, |
| 57 const char* source, | 57 const char* source, |
| 58 bool condition) { | 58 bool condition) { |
| 59 if (!condition) | 59 if (!condition) |
| 60 V8_Fatal(file, line, "CHECK(%s) failed", source); | 60 V8_Fatal(file, line, "CHECK(%s) failed", source); |
| 61 } | 61 } |
| 62 | 62 |
| 63 | 63 |
| 64 // The CHECK macro checks that the given condition is true; if not, it | 64 // The CHECK macro checks that the given condition is true; if not, it |
| 65 // prints a message to stderr and aborts. | 65 // prints a message to stderr and aborts. |
| 66 #define CHECK(condition) do { \ | 66 #define CHECK(condition) do { \ |
| 67 if (!(condition)) CheckHelper(__FILE__, __LINE__, #condition, false); \ | 67 if (!(condition)) CheckHelper(__FILE__, __LINE__, #condition, false); \ |
| 68 } while (0) | 68 } while (0) |
| 69 | 69 |
| 70 | 70 |
| 71 // Helper function used by the CHECK_EQ function when given int | 71 // Helper function used by the CHECK_EQ function when given int |
| 72 // arguments. Should not be called directly. | 72 // arguments. Should not be called directly. |
| 73 static inline void CheckEqualsHelper(const char* file, int line, | 73 inline void CheckEqualsHelper(const char* file, int line, |
| 74 const char* expected_source, int expected, | 74 const char* expected_source, int expected, |
| 75 const char* value_source, int value) { | 75 const char* value_source, int value) { |
| 76 if (expected != value) { | 76 if (expected != value) { |
| 77 V8_Fatal(file, line, | 77 V8_Fatal(file, line, |
| 78 "CHECK_EQ(%s, %s) failed\n# Expected: %i\n# Found: %i", | 78 "CHECK_EQ(%s, %s) failed\n# Expected: %i\n# Found: %i", |
| 79 expected_source, value_source, expected, value); | 79 expected_source, value_source, expected, value); |
| 80 } | 80 } |
| 81 } | 81 } |
| 82 | 82 |
| 83 | 83 |
| 84 // Helper function used by the CHECK_EQ function when given int64_t | 84 // Helper function used by the CHECK_EQ function when given int64_t |
| 85 // arguments. Should not be called directly. | 85 // arguments. Should not be called directly. |
| 86 static inline void CheckEqualsHelper(const char* file, int line, | 86 inline void CheckEqualsHelper(const char* file, int line, |
| 87 const char* expected_source, | 87 const char* expected_source, |
| 88 int64_t expected, | 88 int64_t expected, |
| 89 const char* value_source, | 89 const char* value_source, |
| 90 int64_t value) { | 90 int64_t value) { |
| 91 if (expected != value) { | 91 if (expected != value) { |
| 92 // Print int64_t values in hex, as two int32s, | 92 // Print int64_t values in hex, as two int32s, |
| 93 // to avoid platform-dependencies. | 93 // to avoid platform-dependencies. |
| 94 V8_Fatal(file, line, | 94 V8_Fatal(file, line, |
| 95 "CHECK_EQ(%s, %s) failed\n#" | 95 "CHECK_EQ(%s, %s) failed\n#" |
| 96 " Expected: 0x%08x%08x\n# Found: 0x%08x%08x", | 96 " Expected: 0x%08x%08x\n# Found: 0x%08x%08x", |
| 97 expected_source, value_source, | 97 expected_source, value_source, |
| 98 static_cast<uint32_t>(expected >> 32), | 98 static_cast<uint32_t>(expected >> 32), |
| 99 static_cast<uint32_t>(expected), | 99 static_cast<uint32_t>(expected), |
| 100 static_cast<uint32_t>(value >> 32), | 100 static_cast<uint32_t>(value >> 32), |
| 101 static_cast<uint32_t>(value)); | 101 static_cast<uint32_t>(value)); |
| 102 } | 102 } |
| 103 } | 103 } |
| 104 | 104 |
| 105 | 105 |
| 106 // Helper function used by the CHECK_NE function when given int | 106 // Helper function used by the CHECK_NE function when given int |
| 107 // arguments. Should not be called directly. | 107 // arguments. Should not be called directly. |
| 108 static inline void CheckNonEqualsHelper(const char* file, | 108 inline void CheckNonEqualsHelper(const char* file, |
| 109 int line, | 109 int line, |
| 110 const char* unexpected_source, | 110 const char* unexpected_source, |
| 111 int unexpected, | 111 int unexpected, |
| 112 const char* value_source, | 112 const char* value_source, |
| 113 int value) { | 113 int value) { |
| 114 if (unexpected == value) { | 114 if (unexpected == value) { |
| 115 V8_Fatal(file, line, "CHECK_NE(%s, %s) failed\n# Value: %i", | 115 V8_Fatal(file, line, "CHECK_NE(%s, %s) failed\n# Value: %i", |
| 116 unexpected_source, value_source, value); | 116 unexpected_source, value_source, value); |
| 117 } | 117 } |
| 118 } | 118 } |
| 119 | 119 |
| 120 | 120 |
| 121 // Helper function used by the CHECK function when given string | 121 // Helper function used by the CHECK function when given string |
| 122 // arguments. Should not be called directly. | 122 // arguments. Should not be called directly. |
| 123 static inline void CheckEqualsHelper(const char* file, | 123 inline void CheckEqualsHelper(const char* file, |
| 124 int line, | 124 int line, |
| 125 const char* expected_source, | 125 const char* expected_source, |
| 126 const char* expected, | 126 const char* expected, |
| 127 const char* value_source, | 127 const char* value_source, |
| 128 const char* value) { | 128 const char* value) { |
| 129 if ((expected == NULL && value != NULL) || | 129 if ((expected == NULL && value != NULL) || |
| 130 (expected != NULL && value == NULL) || | 130 (expected != NULL && value == NULL) || |
| 131 (expected != NULL && value != NULL && strcmp(expected, value) != 0)) { | 131 (expected != NULL && value != NULL && strcmp(expected, value) != 0)) { |
| 132 V8_Fatal(file, line, | 132 V8_Fatal(file, line, |
| 133 "CHECK_EQ(%s, %s) failed\n# Expected: %s\n# Found: %s", | 133 "CHECK_EQ(%s, %s) failed\n# Expected: %s\n# Found: %s", |
| 134 expected_source, value_source, expected, value); | 134 expected_source, value_source, expected, value); |
| 135 } | 135 } |
| 136 } | 136 } |
| 137 | 137 |
| 138 | 138 |
| 139 static inline void CheckNonEqualsHelper(const char* file, | 139 inline void CheckNonEqualsHelper(const char* file, |
| 140 int line, | 140 int line, |
| 141 const char* expected_source, | 141 const char* expected_source, |
| 142 const char* expected, | 142 const char* expected, |
| 143 const char* value_source, | 143 const char* value_source, |
| 144 const char* value) { | 144 const char* value) { |
| 145 if (expected == value || | 145 if (expected == value || |
| 146 (expected != NULL && value != NULL && strcmp(expected, value) == 0)) { | 146 (expected != NULL && value != NULL && strcmp(expected, value) == 0)) { |
| 147 V8_Fatal(file, line, "CHECK_NE(%s, %s) failed\n# Value: %s", | 147 V8_Fatal(file, line, "CHECK_NE(%s, %s) failed\n# Value: %s", |
| 148 expected_source, value_source, value); | 148 expected_source, value_source, value); |
| 149 } | 149 } |
| 150 } | 150 } |
| 151 | 151 |
| 152 | 152 |
| 153 // Helper function used by the CHECK function when given pointer | 153 // Helper function used by the CHECK function when given pointer |
| 154 // arguments. Should not be called directly. | 154 // arguments. Should not be called directly. |
| 155 static inline void CheckEqualsHelper(const char* file, | 155 inline void CheckEqualsHelper(const char* file, |
| 156 int line, | 156 int line, |
| 157 const char* expected_source, | 157 const char* expected_source, |
| 158 const void* expected, | 158 const void* expected, |
| 159 const char* value_source, | 159 const char* value_source, |
| 160 const void* value) { | 160 const void* value) { |
| 161 if (expected != value) { | 161 if (expected != value) { |
| 162 V8_Fatal(file, line, | 162 V8_Fatal(file, line, |
| 163 "CHECK_EQ(%s, %s) failed\n# Expected: %p\n# Found: %p", | 163 "CHECK_EQ(%s, %s) failed\n# Expected: %p\n# Found: %p", |
| 164 expected_source, value_source, | 164 expected_source, value_source, |
| 165 expected, value); | 165 expected, value); |
| 166 } | 166 } |
| 167 } | 167 } |
| 168 | 168 |
| 169 | 169 |
| 170 static inline void CheckNonEqualsHelper(const char* file, | 170 inline void CheckNonEqualsHelper(const char* file, |
| 171 int line, | 171 int line, |
| 172 const char* expected_source, | 172 const char* expected_source, |
| 173 const void* expected, | 173 const void* expected, |
| 174 const char* value_source, | 174 const char* value_source, |
| 175 const void* value) { | 175 const void* value) { |
| 176 if (expected == value) { | 176 if (expected == value) { |
| 177 V8_Fatal(file, line, "CHECK_NE(%s, %s) failed\n# Value: %p", | 177 V8_Fatal(file, line, "CHECK_NE(%s, %s) failed\n# Value: %p", |
| 178 expected_source, value_source, value); | 178 expected_source, value_source, value); |
| 179 } | 179 } |
| 180 } | 180 } |
| 181 | 181 |
| 182 | 182 |
| 183 // Helper function used by the CHECK function when given floating | 183 // Helper function used by the CHECK function when given floating |
| 184 // point arguments. Should not be called directly. | 184 // point arguments. Should not be called directly. |
| 185 static inline void CheckEqualsHelper(const char* file, | 185 inline void CheckEqualsHelper(const char* file, |
| 186 int line, | 186 int line, |
| 187 const char* expected_source, | 187 const char* expected_source, |
| 188 double expected, | 188 double expected, |
| 189 const char* value_source, | 189 const char* value_source, |
| 190 double value) { | 190 double value) { |
| 191 // Force values to 64 bit memory to truncate 80 bit precision on IA32. | 191 // Force values to 64 bit memory to truncate 80 bit precision on IA32. |
| 192 volatile double* exp = new double[1]; | 192 volatile double* exp = new double[1]; |
| 193 *exp = expected; | 193 *exp = expected; |
| 194 volatile double* val = new double[1]; | 194 volatile double* val = new double[1]; |
| 195 *val = value; | 195 *val = value; |
| 196 if (*exp != *val) { | 196 if (*exp != *val) { |
| 197 V8_Fatal(file, line, | 197 V8_Fatal(file, line, |
| 198 "CHECK_EQ(%s, %s) failed\n# Expected: %f\n# Found: %f", | 198 "CHECK_EQ(%s, %s) failed\n# Expected: %f\n# Found: %f", |
| 199 expected_source, value_source, *exp, *val); | 199 expected_source, value_source, *exp, *val); |
| 200 } | 200 } |
| 201 delete[] exp; | 201 delete[] exp; |
| 202 delete[] val; | 202 delete[] val; |
| 203 } | 203 } |
| 204 | 204 |
| 205 | 205 |
| 206 static inline void CheckNonEqualsHelper(const char* file, | 206 inline void CheckNonEqualsHelper(const char* file, |
| 207 int line, | 207 int line, |
| 208 const char* expected_source, | 208 const char* expected_source, |
| 209 double expected, | 209 double expected, |
| 210 const char* value_source, | 210 const char* value_source, |
| 211 double value) { | 211 double value) { |
| 212 // Force values to 64 bit memory to truncate 80 bit precision on IA32. | 212 // Force values to 64 bit memory to truncate 80 bit precision on IA32. |
| 213 volatile double* exp = new double[1]; | 213 volatile double* exp = new double[1]; |
| 214 *exp = expected; | 214 *exp = expected; |
| 215 volatile double* val = new double[1]; | 215 volatile double* val = new double[1]; |
| 216 *val = value; | 216 *val = value; |
| 217 if (*exp == *val) { | 217 if (*exp == *val) { |
| 218 V8_Fatal(file, line, | 218 V8_Fatal(file, line, |
| 219 "CHECK_NE(%s, %s) failed\n# Value: %f", | 219 "CHECK_NE(%s, %s) failed\n# Value: %f", |
| 220 expected_source, value_source, *val); | 220 expected_source, value_source, *val); |
| 221 } | 221 } |
| (...skipping 64 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 286 // Static asserts has no impact on runtime performance, so they can be | 286 // Static asserts has no impact on runtime performance, so they can be |
| 287 // safely enabled in release mode. Moreover, the ((void) 0) expression | 287 // safely enabled in release mode. Moreover, the ((void) 0) expression |
| 288 // obeys different syntax rules than typedef's, e.g. it can't appear | 288 // obeys different syntax rules than typedef's, e.g. it can't appear |
| 289 // inside class declaration, this leads to inconsistency between debug | 289 // inside class declaration, this leads to inconsistency between debug |
| 290 // and release compilation modes behavior. | 290 // and release compilation modes behavior. |
| 291 #define STATIC_ASSERT(test) STATIC_CHECK(test) | 291 #define STATIC_ASSERT(test) STATIC_CHECK(test) |
| 292 | 292 |
| 293 #define ASSERT_NOT_NULL(p) ASSERT_NE(NULL, p) | 293 #define ASSERT_NOT_NULL(p) ASSERT_NE(NULL, p) |
| 294 | 294 |
| 295 #endif // V8_CHECKS_H_ | 295 #endif // V8_CHECKS_H_ |
| OLD | NEW |