Jim Stichnoth | 7da431b | 2014-08-05 11:22:37 -0700 | [diff] [blame] | 1 | //===- subzero/crosstest/test_cast_main.cpp - Driver for tests ------------===// |
| 2 | // |
| 3 | // The Subzero Code Generator |
| 4 | // |
| 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // Driver for crosstesting cast operations. |
| 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
Jim Stichnoth | 5bc2b1d | 2014-05-22 13:38:48 -0700 | [diff] [blame] | 14 | /* crosstest.py --test=test_cast.cpp --test=test_cast_to_u1.ll \ |
Jan Voung | 109fa15 | 2014-10-07 17:22:51 -0700 | [diff] [blame] | 15 | --test=test_cast_vectors.ll \ |
Jim Stichnoth | 5bc2b1d | 2014-05-22 13:38:48 -0700 | [diff] [blame] | 16 | --driver=test_cast_main.cpp --prefix=Subzero_ --output=test_cast */ |
| 17 | |
Jan Voung | 109fa15 | 2014-10-07 17:22:51 -0700 | [diff] [blame] | 18 | #include <cfloat> |
Jim Stichnoth | 5bc2b1d | 2014-05-22 13:38:48 -0700 | [diff] [blame] | 19 | #include <cstring> |
| 20 | #include <iostream> |
| 21 | #include <stdint.h> |
| 22 | |
Jan Voung | 109fa15 | 2014-10-07 17:22:51 -0700 | [diff] [blame] | 23 | #include "test_arith.def" |
| 24 | #include "vectors.h" |
John Porto | 1d23542 | 2015-08-12 12:37:53 -0700 | [diff] [blame] | 25 | #include "xdefs.h" |
Jan Voung | 109fa15 | 2014-10-07 17:22:51 -0700 | [diff] [blame] | 26 | |
Jim Stichnoth | 5bc2b1d | 2014-05-22 13:38:48 -0700 | [diff] [blame] | 27 | // Include test_cast.h twice - once normally, and once within the |
| 28 | // Subzero_ namespace, corresponding to the llc and Subzero translated |
| 29 | // object files, respectively. |
| 30 | #include "test_cast.h" |
| 31 | namespace Subzero_ { |
| 32 | #include "test_cast.h" |
| 33 | } |
| 34 | |
| 35 | #define XSTR(s) STR(s) |
| 36 | #define STR(s) #s |
Jim Stichnoth | b63cd88 | 2014-09-08 10:47:23 -0700 | [diff] [blame] | 37 | #define COMPARE(Func, FromCName, ToCName, Input, FromString) \ |
Jim Stichnoth | 5bc2b1d | 2014-05-22 13:38:48 -0700 | [diff] [blame] | 38 | do { \ |
| 39 | ToCName ResultSz, ResultLlc; \ |
| 40 | ResultLlc = Func<FromCName, ToCName>(Input); \ |
| 41 | ResultSz = Subzero_::Func<FromCName, ToCName>(Input); \ |
| 42 | ++TotalTests; \ |
| 43 | if (!memcmp(&ResultLlc, &ResultSz, sizeof(ToCName))) { \ |
| 44 | ++Passes; \ |
| 45 | } else { \ |
| 46 | ++Failures; \ |
Jim Stichnoth | b63cd88 | 2014-09-08 10:47:23 -0700 | [diff] [blame] | 47 | std::cout << std::fixed << XSTR(Func) << "<" << FromString \ |
| 48 | << ", " XSTR(ToCName) ">(" << Input << "): "; \ |
| 49 | if (sizeof(ToCName) == 1) \ |
| 50 | std::cout << "sz=" << (int)ResultSz << " llc=" << (int)ResultLlc; \ |
| 51 | else \ |
| 52 | std::cout << "sz=" << ResultSz << " llc=" << ResultLlc; \ |
| 53 | std::cout << "\n"; \ |
Jim Stichnoth | 5bc2b1d | 2014-05-22 13:38:48 -0700 | [diff] [blame] | 54 | } \ |
| 55 | } while (0) |
| 56 | |
Jan Voung | 109fa15 | 2014-10-07 17:22:51 -0700 | [diff] [blame] | 57 | #define COMPARE_VEC(Func, FromCName, ToCName, Input, FromString, ToString) \ |
| 58 | do { \ |
| 59 | ToCName ResultSz, ResultLlc; \ |
| 60 | ResultLlc = Func<FromCName, ToCName>(Input); \ |
| 61 | ResultSz = Subzero_::Func<FromCName, ToCName>(Input); \ |
| 62 | ++TotalTests; \ |
| 63 | if (!memcmp(&ResultLlc, &ResultSz, sizeof(ToCName))) { \ |
| 64 | ++Passes; \ |
| 65 | } else { \ |
| 66 | ++Failures; \ |
| 67 | std::cout << std::fixed << XSTR(Func) << "<" << FromString << ", " \ |
| 68 | << ToString << ">(" << vectAsString<FromCName>(Input) \ |
| 69 | << "): "; \ |
| 70 | std::cout << "sz=" << vectAsString<ToCName>(ResultSz) \ |
| 71 | << " llc=" << vectAsString<ToCName>(ResultLlc); \ |
| 72 | std::cout << "\n"; \ |
| 73 | } \ |
| 74 | } while (0) |
| 75 | |
Jim Stichnoth | 5bc2b1d | 2014-05-22 13:38:48 -0700 | [diff] [blame] | 76 | template <typename FromType> |
| 77 | void testValue(FromType Val, size_t &TotalTests, size_t &Passes, |
Jim Stichnoth | b63cd88 | 2014-09-08 10:47:23 -0700 | [diff] [blame] | 78 | size_t &Failures, const char *FromTypeString) { |
| 79 | COMPARE(cast, FromType, bool, Val, FromTypeString); |
| 80 | COMPARE(cast, FromType, uint8_t, Val, FromTypeString); |
| 81 | COMPARE(cast, FromType, myint8_t, Val, FromTypeString); |
| 82 | COMPARE(cast, FromType, uint16_t, Val, FromTypeString); |
| 83 | COMPARE(cast, FromType, int16_t, Val, FromTypeString); |
| 84 | COMPARE(cast, FromType, uint32_t, Val, FromTypeString); |
| 85 | COMPARE(cast, FromType, int32_t, Val, FromTypeString); |
John Porto | 1d23542 | 2015-08-12 12:37:53 -0700 | [diff] [blame] | 86 | COMPARE(cast, FromType, uint64, Val, FromTypeString); |
| 87 | COMPARE(cast, FromType, int64, Val, FromTypeString); |
Jim Stichnoth | b63cd88 | 2014-09-08 10:47:23 -0700 | [diff] [blame] | 88 | COMPARE(cast, FromType, float, Val, FromTypeString); |
| 89 | COMPARE(cast, FromType, double, Val, FromTypeString); |
Jim Stichnoth | 5bc2b1d | 2014-05-22 13:38:48 -0700 | [diff] [blame] | 90 | } |
| 91 | |
Jan Voung | 109fa15 | 2014-10-07 17:22:51 -0700 | [diff] [blame] | 92 | template <typename FromType, typename ToType> |
| 93 | void testVector(size_t &TotalTests, size_t &Passes, size_t &Failures, |
| 94 | const char *FromTypeString, const char *ToTypeString) { |
| 95 | const static size_t NumElementsInType = Vectors<FromType>::NumElements; |
| 96 | PRNG Index; |
| 97 | static const float NegInf = -1.0 / 0.0; |
| 98 | static const float PosInf = 1.0 / 0.0; |
| 99 | static const float Nan = 0.0 / 0.0; |
| 100 | static const float NegNan = -0.0 / 0.0; |
| 101 | volatile float Values[] = FP_VALUE_ARRAY(NegInf, PosInf, NegNan, Nan); |
| 102 | static const size_t NumValues = sizeof(Values) / sizeof(*Values); |
| 103 | const size_t MaxTestsPerFunc = 20000; |
| 104 | for (size_t i = 0; i < MaxTestsPerFunc; ++i) { |
| 105 | // Initialize the test vectors. |
| 106 | FromType Value; |
| 107 | for (size_t j = 0; j < NumElementsInType; ++j) { |
| 108 | Value[j] = Values[Index() % NumValues]; |
| 109 | } |
| 110 | COMPARE_VEC(cast, FromType, ToType, Value, FromTypeString, ToTypeString); |
| 111 | } |
| 112 | } |
| 113 | |
John Porto | 1d23542 | 2015-08-12 12:37:53 -0700 | [diff] [blame] | 114 | #ifdef X8664_STACK_HACK |
| 115 | extern "C" int wrapped_main(int argc, char *argv[]) { |
| 116 | #else // !defined(X8664_STACK_HACK) |
| 117 | int main(int argc, char *argv[]) { |
| 118 | #endif // X8664_STACK_HACK |
Jim Stichnoth | 5bc2b1d | 2014-05-22 13:38:48 -0700 | [diff] [blame] | 119 | size_t TotalTests = 0; |
| 120 | size_t Passes = 0; |
| 121 | size_t Failures = 0; |
| 122 | |
Jim Stichnoth | dd842db | 2015-01-27 12:53:53 -0800 | [diff] [blame] | 123 | volatile bool ValsUi1[] = {false, true}; |
Jim Stichnoth | 5bc2b1d | 2014-05-22 13:38:48 -0700 | [diff] [blame] | 124 | static const size_t NumValsUi1 = sizeof(ValsUi1) / sizeof(*ValsUi1); |
Jim Stichnoth | dd842db | 2015-01-27 12:53:53 -0800 | [diff] [blame] | 125 | volatile uint8_t ValsUi8[] = {0, 1, 0x7e, 0x7f, 0x80, 0x81, 0xfe, 0xff}; |
Jim Stichnoth | 5bc2b1d | 2014-05-22 13:38:48 -0700 | [diff] [blame] | 126 | static const size_t NumValsUi8 = sizeof(ValsUi8) / sizeof(*ValsUi8); |
| 127 | |
Jim Stichnoth | dd842db | 2015-01-27 12:53:53 -0800 | [diff] [blame] | 128 | volatile myint8_t ValsSi8[] = {0, 1, 0x7e, 0x7f, 0x80, 0x81, 0xfe, 0xff}; |
Jim Stichnoth | 5bc2b1d | 2014-05-22 13:38:48 -0700 | [diff] [blame] | 129 | static const size_t NumValsSi8 = sizeof(ValsSi8) / sizeof(*ValsSi8); |
| 130 | |
Jim Stichnoth | dd842db | 2015-01-27 12:53:53 -0800 | [diff] [blame] | 131 | volatile uint16_t ValsUi16[] = {0, 1, 0x7e, 0x7f, 0x80, |
| 132 | 0x81, 0xfe, 0xff, 0x7ffe, 0x7fff, |
| 133 | 0x8000, 0x8001, 0xfffe, 0xffff}; |
Jim Stichnoth | 5bc2b1d | 2014-05-22 13:38:48 -0700 | [diff] [blame] | 134 | static const size_t NumValsUi16 = sizeof(ValsUi16) / sizeof(*ValsUi16); |
| 135 | |
Jim Stichnoth | dd842db | 2015-01-27 12:53:53 -0800 | [diff] [blame] | 136 | volatile int16_t ValsSi16[] = {0, 1, 0x7e, 0x7f, 0x80, |
| 137 | 0x81, 0xfe, 0xff, 0x7ffe, 0x7fff, |
| 138 | 0x8000, 0x8001, 0xfffe, 0xffff}; |
Jim Stichnoth | 5bc2b1d | 2014-05-22 13:38:48 -0700 | [diff] [blame] | 139 | static const size_t NumValsSi16 = sizeof(ValsSi16) / sizeof(*ValsSi16); |
| 140 | |
Jim Stichnoth | dd842db | 2015-01-27 12:53:53 -0800 | [diff] [blame] | 141 | volatile size_t ValsUi32[] = {0, 1, 0x7e, 0x7f, |
| 142 | 0x80, 0x81, 0xfe, 0xff, |
| 143 | 0x7ffe, 0x7fff, 0x8000, 0x8001, |
| 144 | 0xfffe, 0xffff, 0x7ffffffe, 0x7fffffff, |
| 145 | 0x80000000, 0x80000001, 0xfffffffe, 0xffffffff}; |
Jim Stichnoth | 5bc2b1d | 2014-05-22 13:38:48 -0700 | [diff] [blame] | 146 | static const size_t NumValsUi32 = sizeof(ValsUi32) / sizeof(*ValsUi32); |
| 147 | |
Jim Stichnoth | dd842db | 2015-01-27 12:53:53 -0800 | [diff] [blame] | 148 | volatile size_t ValsSi32[] = {0, 1, 0x7e, 0x7f, |
| 149 | 0x80, 0x81, 0xfe, 0xff, |
| 150 | 0x7ffe, 0x7fff, 0x8000, 0x8001, |
| 151 | 0xfffe, 0xffff, 0x7ffffffe, 0x7fffffff, |
| 152 | 0x80000000, 0x80000001, 0xfffffffe, 0xffffffff}; |
Jim Stichnoth | 5bc2b1d | 2014-05-22 13:38:48 -0700 | [diff] [blame] | 153 | static const size_t NumValsSi32 = sizeof(ValsSi32) / sizeof(*ValsSi32); |
| 154 | |
John Porto | 1d23542 | 2015-08-12 12:37:53 -0700 | [diff] [blame] | 155 | volatile uint64 ValsUi64[] = { |
Jim Stichnoth | d9dc82e | 2015-03-03 17:06:33 -0800 | [diff] [blame] | 156 | 0, 1, 0x7e, 0x7f, 0x80, 0x81, 0xfe, 0xff, 0x7ffe, 0x7fff, 0x8000, 0x8001, |
| 157 | 0xfffe, 0xffff, 0x7ffffffe, 0x7fffffff, 0x80000000, 0x80000001, |
| 158 | 0xfffffffe, 0xffffffff, 0x100000000ull, 0x100000001ull, |
| 159 | 0x7ffffffffffffffeull, 0x7fffffffffffffffull, 0x8000000000000000ull, |
| 160 | 0x8000000000000001ull, 0xfffffffffffffffeull, 0xffffffffffffffffull}; |
Jim Stichnoth | 5bc2b1d | 2014-05-22 13:38:48 -0700 | [diff] [blame] | 161 | static const size_t NumValsUi64 = sizeof(ValsUi64) / sizeof(*ValsUi64); |
| 162 | |
John Porto | 1d23542 | 2015-08-12 12:37:53 -0700 | [diff] [blame] | 163 | volatile int64 ValsSi64[] = { |
Jim Stichnoth | d9dc82e | 2015-03-03 17:06:33 -0800 | [diff] [blame] | 164 | 0, 1, 0x7e, 0x7f, 0x80, 0x81, 0xfe, 0xff, 0x7ffe, 0x7fff, 0x8000, 0x8001, |
| 165 | 0xfffe, 0xffff, 0x7ffffffe, 0x7fffffff, 0x80000000, 0x80000001, |
| 166 | 0xfffffffe, 0xffffffff, 0x100000000ll, 0x100000001ll, |
| 167 | 0x7ffffffffffffffell, 0x7fffffffffffffffll, 0x8000000000000000ll, |
| 168 | 0x8000000000000001ll, 0xfffffffffffffffell, 0xffffffffffffffffll}; |
Jim Stichnoth | 5bc2b1d | 2014-05-22 13:38:48 -0700 | [diff] [blame] | 169 | static const size_t NumValsSi64 = sizeof(ValsSi64) / sizeof(*ValsSi64); |
| 170 | |
Jan Voung | 109fa15 | 2014-10-07 17:22:51 -0700 | [diff] [blame] | 171 | static const double NegInf = -1.0 / 0.0; |
| 172 | static const double PosInf = 1.0 / 0.0; |
| 173 | static const double Nan = 0.0 / 0.0; |
| 174 | static const double NegNan = -0.0 / 0.0; |
| 175 | volatile float ValsF32[] = FP_VALUE_ARRAY(NegInf, PosInf, NegNan, Nan); |
Jim Stichnoth | 5bc2b1d | 2014-05-22 13:38:48 -0700 | [diff] [blame] | 176 | static const size_t NumValsF32 = sizeof(ValsF32) / sizeof(*ValsF32); |
| 177 | |
Jan Voung | 109fa15 | 2014-10-07 17:22:51 -0700 | [diff] [blame] | 178 | volatile double ValsF64[] = FP_VALUE_ARRAY(NegInf, PosInf, NegNan, Nan); |
Jim Stichnoth | 5bc2b1d | 2014-05-22 13:38:48 -0700 | [diff] [blame] | 179 | static const size_t NumValsF64 = sizeof(ValsF64) / sizeof(*ValsF64); |
| 180 | |
| 181 | for (size_t i = 0; i < NumValsUi1; ++i) { |
| 182 | bool Val = ValsUi1[i]; |
Jim Stichnoth | b63cd88 | 2014-09-08 10:47:23 -0700 | [diff] [blame] | 183 | testValue<bool>(Val, TotalTests, Passes, Failures, "bool"); |
Jim Stichnoth | 5bc2b1d | 2014-05-22 13:38:48 -0700 | [diff] [blame] | 184 | } |
| 185 | for (size_t i = 0; i < NumValsUi8; ++i) { |
| 186 | uint8_t Val = ValsUi8[i]; |
Jim Stichnoth | b63cd88 | 2014-09-08 10:47:23 -0700 | [diff] [blame] | 187 | testValue<uint8_t>(Val, TotalTests, Passes, Failures, "uint8_t"); |
Jim Stichnoth | 5bc2b1d | 2014-05-22 13:38:48 -0700 | [diff] [blame] | 188 | } |
| 189 | for (size_t i = 0; i < NumValsSi8; ++i) { |
Jim Stichnoth | 7da431b | 2014-08-05 11:22:37 -0700 | [diff] [blame] | 190 | myint8_t Val = ValsSi8[i]; |
Jim Stichnoth | b63cd88 | 2014-09-08 10:47:23 -0700 | [diff] [blame] | 191 | testValue<myint8_t>(Val, TotalTests, Passes, Failures, "int8_t"); |
Jim Stichnoth | 5bc2b1d | 2014-05-22 13:38:48 -0700 | [diff] [blame] | 192 | } |
| 193 | for (size_t i = 0; i < NumValsUi16; ++i) { |
| 194 | uint16_t Val = ValsUi16[i]; |
Jim Stichnoth | b63cd88 | 2014-09-08 10:47:23 -0700 | [diff] [blame] | 195 | testValue<uint16_t>(Val, TotalTests, Passes, Failures, "uint16_t"); |
Jim Stichnoth | 5bc2b1d | 2014-05-22 13:38:48 -0700 | [diff] [blame] | 196 | } |
| 197 | for (size_t i = 0; i < NumValsSi16; ++i) { |
| 198 | int16_t Val = ValsSi16[i]; |
Jim Stichnoth | b63cd88 | 2014-09-08 10:47:23 -0700 | [diff] [blame] | 199 | testValue<int16_t>(Val, TotalTests, Passes, Failures, "int16_t"); |
Jim Stichnoth | 5bc2b1d | 2014-05-22 13:38:48 -0700 | [diff] [blame] | 200 | } |
| 201 | for (size_t i = 0; i < NumValsUi32; ++i) { |
| 202 | uint32_t Val = ValsUi32[i]; |
Jim Stichnoth | b63cd88 | 2014-09-08 10:47:23 -0700 | [diff] [blame] | 203 | testValue<uint32_t>(Val, TotalTests, Passes, Failures, "uint32_t"); |
| 204 | COMPARE(castBits, uint32_t, float, Val, "uint32_t"); |
Jim Stichnoth | 5bc2b1d | 2014-05-22 13:38:48 -0700 | [diff] [blame] | 205 | } |
| 206 | for (size_t i = 0; i < NumValsSi32; ++i) { |
| 207 | int32_t Val = ValsSi32[i]; |
Jim Stichnoth | b63cd88 | 2014-09-08 10:47:23 -0700 | [diff] [blame] | 208 | testValue<int32_t>(Val, TotalTests, Passes, Failures, "int32_t"); |
Jim Stichnoth | 5bc2b1d | 2014-05-22 13:38:48 -0700 | [diff] [blame] | 209 | } |
| 210 | for (size_t i = 0; i < NumValsUi64; ++i) { |
John Porto | 1d23542 | 2015-08-12 12:37:53 -0700 | [diff] [blame] | 211 | uint64 Val = ValsUi64[i]; |
| 212 | testValue<uint64>(Val, TotalTests, Passes, Failures, "uint64"); |
| 213 | COMPARE(castBits, uint64, double, Val, "uint64"); |
Jim Stichnoth | 5bc2b1d | 2014-05-22 13:38:48 -0700 | [diff] [blame] | 214 | } |
| 215 | for (size_t i = 0; i < NumValsSi64; ++i) { |
John Porto | 1d23542 | 2015-08-12 12:37:53 -0700 | [diff] [blame] | 216 | int64 Val = ValsSi64[i]; |
| 217 | testValue<int64>(Val, TotalTests, Passes, Failures, "int64"); |
Jim Stichnoth | 5bc2b1d | 2014-05-22 13:38:48 -0700 | [diff] [blame] | 218 | } |
| 219 | for (size_t i = 0; i < NumValsF32; ++i) { |
| 220 | for (unsigned j = 0; j < 2; ++j) { |
| 221 | float Val = ValsF32[i]; |
| 222 | if (j > 0) |
| 223 | Val = -Val; |
Jim Stichnoth | b63cd88 | 2014-09-08 10:47:23 -0700 | [diff] [blame] | 224 | testValue<float>(Val, TotalTests, Passes, Failures, "float"); |
| 225 | COMPARE(castBits, float, uint32_t, Val, "float"); |
Jim Stichnoth | 5bc2b1d | 2014-05-22 13:38:48 -0700 | [diff] [blame] | 226 | } |
| 227 | } |
| 228 | for (size_t i = 0; i < NumValsF64; ++i) { |
| 229 | for (unsigned j = 0; j < 2; ++j) { |
| 230 | double Val = ValsF64[i]; |
| 231 | if (j > 0) |
| 232 | Val = -Val; |
Jim Stichnoth | b63cd88 | 2014-09-08 10:47:23 -0700 | [diff] [blame] | 233 | testValue<double>(Val, TotalTests, Passes, Failures, "double"); |
John Porto | 1d23542 | 2015-08-12 12:37:53 -0700 | [diff] [blame] | 234 | COMPARE(castBits, double, uint64, Val, "double"); |
Jim Stichnoth | 5bc2b1d | 2014-05-22 13:38:48 -0700 | [diff] [blame] | 235 | } |
| 236 | } |
Jan Voung | 109fa15 | 2014-10-07 17:22:51 -0700 | [diff] [blame] | 237 | testVector<v4ui32, v4f32>(TotalTests, Passes, Failures, "v4ui32", "v4f32"); |
| 238 | testVector<v4si32, v4f32>(TotalTests, Passes, Failures, "v4si32", "v4f32"); |
| 239 | testVector<v4f32, v4si32>(TotalTests, Passes, Failures, "v4f32", "v4si32"); |
| 240 | testVector<v4f32, v4ui32>(TotalTests, Passes, Failures, "v4f32", "v4ui32"); |
Jim Stichnoth | 5bc2b1d | 2014-05-22 13:38:48 -0700 | [diff] [blame] | 241 | |
| 242 | std::cout << "TotalTests=" << TotalTests << " Passes=" << Passes |
| 243 | << " Failures=" << Failures << "\n"; |
| 244 | return Failures; |
| 245 | } |