blob: 36d6c7ecc252ba7929d24d477a035be09d98f61e [file] [log] [blame]
Matt Wala9cb61e22014-07-24 09:44:42 -07001//===- subzero/crosstest/test_select_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 the select bitcode instruction
11//
12//===----------------------------------------------------------------------===//
13
14/* crosstest.py --test=test_select.ll --driver=test_select_main.cpp \
15 --prefix=Subzero_ --output=test_select */
16
17#include <cfloat>
18#include <cstring>
19#include <iostream>
20
Jan Voung109fa152014-10-07 17:22:51 -070021#include "test_arith.def"
Matt Wala9cb61e22014-07-24 09:44:42 -070022#include "test_select.h"
23
24namespace Subzero_ {
25#include "test_select.h"
26}
27
28static const size_t MaxTestsPerFunc = 100000;
29
30template <typename T, typename TI1>
31void testSelect(size_t &TotalTests, size_t &Passes, size_t &Failures) {
32 typedef typename Vectors<T>::Ty Ty;
33 typedef typename Vectors<TI1>::Ty TyI1;
34 volatile unsigned Values[] = {
35 0x0, 0x1, 0x7ffffffe, 0x7fffffff,
36 0x80000000, 0x80000001, 0xfffffffe, 0xffffffff,
37 0x7e, 0x7f, 0x80, 0x81,
38 0xfe, 0xff, 0x100, 0x101,
39 0x7ffe, 0x7fff, 0x8000, 0x8001,
40 0xfffe, 0xffff, 0x10000, 0x10001
41 };
42 static const size_t NumValues = sizeof(Values) / sizeof(*Values);
43 static const size_t NumElements = Vectors<T>::NumElements;
44 PRNG Index;
45 for (size_t i = 0; i < MaxTestsPerFunc; ++i) {
46 TyI1 Cond;
47 Ty Value1, Value2;
48 for (size_t j = 0; j < NumElements; ++j) {
49 Cond[j] = Index() % 2;
50 Value1[j] = Values[Index() % NumValues];
51 Value2[j] = Values[Index() % NumValues];
52 }
53 Ty ResultLlc = select(Cond, Value1, Value2);
54 Ty ResultSz = Subzero_::select(Cond, Value1, Value2);
55 ++TotalTests;
56 if (!memcmp(&ResultLlc, &ResultSz, sizeof(ResultLlc))) {
57 ++Passes;
58 } else {
59 ++Failures;
60 std::cout << "select<" << Vectors<T>::TypeName << ">(Cond=";
61 std::cout << vectAsString<TI1>(Cond)
62 << ", Value1=" << vectAsString<T>(Value1)
63 << ", Value2=" << vectAsString<T>(Value2) << ")\n";
64 std::cout << "llc=" << vectAsString<T>(ResultLlc) << "\n";
65 std::cout << "sz =" << vectAsString<T>(ResultSz) << "\n";
66 }
67 }
68}
69
70template<> void
71testSelect<v4f32, v4i1>(size_t &TotalTests, size_t &Passes, size_t &Failures) {
72 static const float NegInf = -1.0 / 0.0;
73 static const float PosInf = 1.0 / 0.0;
74 static const float Nan = 0.0 / 0.0;
75 static const float NegNan = -0.0 / 0.0;
Jan Voung109fa152014-10-07 17:22:51 -070076 volatile float Values[] = FP_VALUE_ARRAY(NegInf, PosInf, NegNan, Nan);
Matt Wala9cb61e22014-07-24 09:44:42 -070077 static const size_t NumValues = sizeof(Values) / sizeof(*Values);
78 static const size_t NumElements = 4;
79 PRNG Index;
80 for (size_t i = 0; i < MaxTestsPerFunc; ++i) {
81 v4si32 Cond;
82 v4f32 Value1, Value2;
83 for (size_t j = 0; j < NumElements; ++j) {
84 Cond[j] = Index() % 2;
85 Value1[j] = Values[Index() % NumValues];
86 Value2[j] = Values[Index() % NumValues];
87 }
88 v4f32 ResultLlc = select(Cond, Value1, Value2);
89 v4f32 ResultSz = Subzero_::select(Cond, Value1, Value2);
90 ++TotalTests;
91 if (!memcmp(&ResultLlc, &ResultSz, sizeof(ResultLlc))) {
92 ++Passes;
93 } else {
94 ++Failures;
95 std::cout << "select<v4f32>(Cond=";
96 std::cout << vectAsString<v4i1>(Cond)
97 << ", Value1=" << vectAsString<v4f32>(Value1)
98 << ", Value2=" << vectAsString<v4f32>(Value2) << ")\n";
99 std::cout << "llc=" << vectAsString<v4f32>(ResultLlc) << "\n";
100 std::cout << "sz =" << vectAsString<v4f32>(ResultSz) << "\n";
101 }
102 }
103}
104
105template<typename T>
106void testSelectI1(size_t &TotalTests, size_t &Passes, size_t &Failures) {
107 typedef typename Vectors<T>::Ty Ty;
108 static const size_t NumElements = Vectors<T>::NumElements;
109 PRNG Index;
110 for (size_t i = 0; i < MaxTestsPerFunc; ++i) {
111 Ty Cond;
112 Ty Value1, Value2;
113 for (size_t j = 0; j < NumElements; ++j) {
114 Cond[j] = Index() % 2;
115 Value1[j] = Index() % 2;
116 Value2[j] = Index() % 2;
117 }
118 Ty ResultLlc = select_i1(Cond, Value1, Value2);
119 Ty ResultSz = Subzero_::select_i1(Cond, Value1, Value2);
120 ++TotalTests;
121 if (!memcmp(&ResultLlc, &ResultSz, sizeof(ResultLlc))) {
122 ++Passes;
123 } else {
124 ++Failures;
125 std::cout << "select<" << Vectors<T>::TypeName << ">(Cond=";
126 std::cout << vectAsString<T>(Cond)
127 << ", Value1=" << vectAsString<T>(Value1)
128 << ", Value2=" << vectAsString<T>(Value2) << ")\n";
129 std::cout << "llc=" << vectAsString<T>(ResultLlc) << "\n";
130 std::cout << "sz =" << vectAsString<T>(ResultSz) << "\n";
131 }
132 }
133}
134
135int main(int argc, char *argv[]) {
136 size_t TotalTests = 0;
137 size_t Passes = 0;
138 size_t Failures = 0;
139
140 testSelect<v4f32, v4i1>(TotalTests, Passes, Failures);
141 testSelect<v4si32, v4i1>(TotalTests, Passes, Failures);
142 testSelect<v4ui32, v4i1>(TotalTests, Passes, Failures);
143 testSelect<v8si16, v8i1>(TotalTests, Passes, Failures);
144 testSelect<v8ui16, v8i1>(TotalTests, Passes, Failures);
145 testSelect<v16si8, v16i1>(TotalTests, Passes, Failures);
146 testSelect<v16ui8, v16i1>(TotalTests, Passes, Failures);
147 testSelectI1<v4i1>(TotalTests, Passes, Failures);
148 testSelectI1<v8i1>(TotalTests, Passes, Failures);
149 testSelectI1<v16i1>(TotalTests, Passes, Failures);
150
151 std::cout << "TotalTests=" << TotalTests << " Passes=" << Passes
152 << " Failures=" << Failures << "\n";
153
154 return Failures;
155}