Chromium Code Reviews| OLD | NEW |
|---|---|
| (Empty) | |
| 1 ; Tests if we can read select instrutions. | |
| 2 | |
| 3 ; RUN: llvm-as < %s | pnacl-freeze \ | |
| 4 ; RUN: | %llvm2ice -notranslate -verbose=inst -build-on-read \ | |
| 5 ; RUN: -allow-pnacl-reader-error-recovery \ | |
| 6 ; RUN: | FileCheck %s | |
| 7 | |
| 8 define void @Seli1(i32 %p) { | |
| 9 %vc = trunc i32 %p to i1 | |
| 10 %vt = trunc i32 %p to i1 | |
| 11 %ve = trunc i32 %p to i1 | |
| 12 %r = select i1 %vc, i1 %vt, i1 %ve | |
| 13 ret void | |
| 14 } | |
| 15 | |
| 16 ; CHECK: define void @Seli1(i32 %__0) { | |
| 17 ; CHECK-NEXT: __0: | |
| 18 ; CHECK-NEXT: %__1 = trunc i32 %__0 to i1 | |
| 19 ; CHECK-NEXT: %__2 = trunc i32 %__0 to i1 | |
| 20 ; CHECK-NEXT: %__3 = trunc i32 %__0 to i1 | |
| 21 ; CHECK-NEXT: %__4 = select i1 %__1, i1 %__2, i1 %__3 | |
| 22 ; CHECK-NEXT: ret void | |
| 23 ; CHECK-NEXT: } | |
| 24 | |
| 25 define void @Seli8(i32 %p) { | |
| 26 %vc = trunc i32 %p to i1 | |
| 27 %vt = trunc i32 %p to i8 | |
| 28 %ve = trunc i32 %p to i8 | |
| 29 %r = select i1 %vc, i8 %vt, i8 %ve | |
| 30 ret void | |
| 31 } | |
| 32 | |
| 33 ; CHECK-NEXT: define void @Seli8(i32 %__0) { | |
| 34 ; CHECK-NEXT: __0: | |
| 35 ; CHECK-NEXT: %__1 = trunc i32 %__0 to i1 | |
| 36 ; CHECK-NEXT: %__2 = trunc i32 %__0 to i8 | |
| 37 ; CHECK-NEXT: %__3 = trunc i32 %__0 to i8 | |
| 38 ; CHECK-NEXT: %__4 = select i1 %__1, i8 %__2, i8 %__3 | |
| 39 ; CHECK-NEXT: ret void | |
| 40 ; CHECK-NEXT: } | |
| 41 | |
| 42 define void @Seli16(i32 %p) { | |
| 43 %vc = trunc i32 %p to i1 | |
| 44 %vt = trunc i32 %p to i16 | |
| 45 %ve = trunc i32 %p to i16 | |
| 46 %r = select i1 %vc, i16 %vt, i16 %ve | |
| 47 ret void | |
| 48 } | |
| 49 | |
| 50 ; CHECK-NEXT: define void @Seli16(i32 %__0) { | |
| 51 ; CHECK-NEXT: __0: | |
| 52 ; CHECK-NEXT: %__1 = trunc i32 %__0 to i1 | |
| 53 ; CHECK-NEXT: %__2 = trunc i32 %__0 to i16 | |
| 54 ; CHECK-NEXT: %__3 = trunc i32 %__0 to i16 | |
| 55 ; CHECK-NEXT: %__4 = select i1 %__1, i16 %__2, i16 %__3 | |
| 56 ; CHECK-NEXT: ret void | |
| 57 ; CHECK-NEXT: } | |
| 58 | |
| 59 define void @Seli32(i32 %pc, i32 %pt, i32 %pe) { | |
| 60 %vc = trunc i32 %pc to i1 | |
| 61 %r = select i1 %vc, i32 %pt, i32 %pe | |
| 62 ret void | |
| 63 } | |
| 64 | |
| 65 ; CHECK-NEXT: define void @Seli32(i32 %__0, i32 %__1, i32 %__2) { | |
| 66 ; CHECK-NEXT: __0: | |
| 67 ; CHECK-NEXT: %__3 = trunc i32 %__0 to i1 | |
| 68 ; CHECK-NEXT: %__4 = select i1 %__3, i32 %__1, i32 %__2 | |
| 69 ; CHECK-NEXT: ret void | |
| 70 ; CHECK-NEXT: } | |
| 71 | |
| 72 define void @Seli64(i64 %pc, i64 %pt, i64 %pe) { | |
| 73 %vc = trunc i64 %pc to i1 | |
| 74 %r = select i1 %vc, i64 %pt, i64 %pe | |
| 75 ret void | |
| 76 } | |
| 77 | |
| 78 ; CHECK-NEXT: define void @Seli64(i64 %__0, i64 %__1, i64 %__2) { | |
| 79 ; CHECK-NEXT: __0: | |
| 80 ; CHECK-NEXT: %__3 = trunc i64 %__0 to i1 | |
| 81 ; CHECK-NEXT: %__4 = select i1 %__3, i64 %__1, i64 %__2 | |
| 82 ; CHECK-NEXT: ret void | |
| 83 ; CHECK-NEXT: } | |
| 84 | |
| 85 | |
| 86 define void @SelFloat(i32 %pc, float %pt, float %pe) { | |
| 87 %vc = trunc i32 %pc to i1 | |
| 88 %r = select i1 %vc, float %pt, float %pe | |
| 89 ret void | |
| 90 } | |
| 91 | |
| 92 ; CHECK-NEXT: define void @SelFloat(i32 %__0, float %__1, float %__2) { | |
| 93 ; CHECK-NEXT: __0: | |
| 94 ; CHECK-NEXT: %__3 = trunc i32 %__0 to i1 | |
| 95 ; CHECK-NEXT: %__4 = select i1 %__3, float %__1, float %__2 | |
| 96 ; CHECK-NEXT: ret void | |
| 97 ; CHECK-NEXT: } | |
| 98 | |
| 99 define void @SelDouble(i32 %pc, double %pt, double %pe) { | |
| 100 %vc = trunc i32 %pc to i1 | |
| 101 %r = select i1 %vc, double %pt, double %pe | |
| 102 ret void | |
| 103 } | |
| 104 | |
| 105 ; CHECK-NEXT: define void @SelDouble(i32 %__0, double %__1, double %__2) { | |
| 106 ; CHECK-NEXT: __0: | |
| 107 ; CHECK-NEXT: %__3 = trunc i32 %__0 to i1 | |
| 108 ; CHECK-NEXT: %__4 = select i1 %__3, double %__1, double %__2 | |
| 109 ; CHECK-NEXT: ret void | |
| 110 ; CHECK-NEXT: } | |
| 111 | |
| 112 ; Note: Only showing tests for vectors <16 x i8>, <4 x i32> and <4 x float>. | |
| 113 | |
| 114 define void @SelV16x8(i32 %pc, <16 x i8> %pt, <16 x i8> %pe) { | |
| 115 %vc = trunc i32 %pc to i1 | |
| 116 %r = select i1 %vc, <16 x i8> %pt, <16 x i8> %pe | |
| 117 ret void | |
| 118 } | |
| 119 | |
| 120 ; CHECK-NEXT: define void @SelV16x8(i32 %__0, <16 x i8> %__1, <16 x i8> %__2) { | |
| 121 ; CHECK-NEXT: __0: | |
| 122 ; CHECK-NEXT: %__3 = trunc i32 %__0 to i1 | |
| 123 ; CHECK-NEXT: %__4 = select i1 %__3, <16 x i8> %__1, <16 x i8> %__2 | |
| 124 ; CHECK-NEXT: ret void | |
| 125 ; CHECK-NEXT: } | |
| 126 | |
| 127 define void @SelV4x32(i32 %pc, <4 x i32> %pt, <4 x i32> %pe) { | |
| 128 %vc = trunc i32 %pc to i1 | |
| 129 %r = select i1 %vc, <4 x i32> %pt, <4 x i32> %pe | |
| 130 ret void | |
| 131 } | |
| 132 | |
| 133 ; CHECK-NEXT: define void @SelV4x32(i32 %__0, <4 x i32> %__1, <4 x i32> %__2) { | |
| 134 ; CHECK-NEXT: __0: | |
| 135 ; CHECK-NEXT: %__3 = trunc i32 %__0 to i1 | |
| 136 ; CHECK-NEXT: %__4 = select i1 %__3, <4 x i32> %__1, <4 x i32> %__2 | |
| 137 ; CHECK-NEXT: ret void | |
| 138 ; CHECK-NEXT: } | |
| 139 | |
| 140 define void @SelV4xfloat(i32 %pc, <4 x float> %pt, <4 x float> %pe) { | |
| 141 %vc = trunc i32 %pc to i1 | |
| 142 %r = select i1 %vc, <4 x float> %pt, <4 x float> %pe | |
| 143 ret void | |
| 144 } | |
| 145 | |
| 146 ; CHECK-NEXT: define void @SelV4xfloat(i32 %__0, <4 x float> %__1, <4 x float> % __2) { | |
| 147 ; CHECK-NEXT: __0: | |
| 148 ; CHECK-NEXT: %__3 = trunc i32 %__0 to i1 | |
| 149 ; CHECK-NEXT: %__4 = select i1 %__3, <4 x float> %__1, <4 x float> %__2 | |
| 150 ; CHECK-NEXT: ret void | |
| 151 ; CHECK-NEXT: } | |
| 152 | |
|
Jim Stichnoth
2014/09/02 22:34:01
Single blank line (here and once below) for consis
Karl
2014/09/03 17:16:08
Done.
| |
| 153 | |
| 154 define void @SelV16x8Vcond(<16 x i1> %pc, <16 x i8> %pt, <16 x i8> %pe) { | |
| 155 %r = select <16 x i1> %pc, <16 x i8> %pt, <16 x i8> %pe | |
| 156 ret void | |
| 157 } | |
| 158 | |
| 159 ; CHECK-NEXT: define void @SelV16x8Vcond(<16 x i1> %__0, <16 x i8> %__1, <16 x i 8> %__2) { | |
| 160 ; CHECK-NEXT: __0: | |
| 161 ; CHECK-NEXT: %__3 = select <16 x i1> %__0, <16 x i8> %__1, <16 x i8> %__2 | |
| 162 ; CHECK-NEXT: ret void | |
| 163 ; CHECK-NEXT: } | |
| 164 | |
| 165 | |
| 166 define void @SelV4x32Vcond(<4 x i1> %pc, <4 x i32> %pt, <4 x i32> %pe) { | |
| 167 %r = select <4 x i1> %pc, <4 x i32> %pt, <4 x i32> %pe | |
| 168 ret void | |
| 169 } | |
| 170 | |
| 171 ; CHECK-NEXT: define void @SelV4x32Vcond(<4 x i1> %__0, <4 x i32> %__1, <4 x i32 > %__2) { | |
| 172 ; CHECK-NEXT: __0: | |
| 173 ; CHECK-NEXT: %__3 = select <4 x i1> %__0, <4 x i32> %__1, <4 x i32> %__2 | |
| 174 ; CHECK-NEXT: ret void | |
| 175 ; CHECK-NEXT: } | |
| 176 | |
| 177 define void @SelV4xfloatVcond(<4 x i1> %pc, <4 x float> %pt, <4 x float> %pe) { | |
|
Jim Stichnoth
2014/09/02 22:34:01
For completeness, include some missing combos:
(<
Karl
2014/09/03 17:16:08
Done.
Jim Stichnoth
2014/09/03 18:08:22
Still missing one:
(<8 x i1> %cond, <8 x i16> %arg
| |
| 178 %r = select <4 x i1> %pc, <4 x float> %pt, <4 x float> %pe | |
| 179 ret void | |
| 180 } | |
| 181 | |
| 182 ; CHECK-NEXT: define void @SelV4xfloatVcond(<4 x i1> %__0, <4 x float> %__1, <4 x float> %__2) { | |
| 183 ; CHECK-NEXT: __0: | |
| 184 ; CHECK-NEXT: %__3 = select <4 x i1> %__0, <4 x float> %__1, <4 x float> %__2 | |
| 185 ; CHECK-NEXT: ret void | |
| 186 ; CHECK-NEXT: } | |
| OLD | NEW |