Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 1 | ; RUN: llc -march x86 -mcpu pentium4 < %s | FileCheck %s -check-prefix=SSE |
| 2 | ; RUN: llc -march x86 -mcpu pentium3 < %s | FileCheck %s -check-prefix=NOSSE2 |
| 3 | ; RUN: llc -march x86 -mcpu pentium2 < %s | FileCheck %s -check-prefix=NOSSE1 |
| 4 | ; RUN: llc -march x86 -mcpu pentium < %s | FileCheck %s -check-prefix=NOCMOV |
| 5 | ; PR14035 |
| 6 | |
| 7 | define double @test1(i32 %a, i32 %b, double %x) nounwind { |
| 8 | %cmp = icmp ugt i32 %a, %b |
| 9 | %sel = select i1 %cmp, double 99.0, double %x |
| 10 | ret double %sel |
| 11 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 12 | ; SSE-LABEL: test1: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 13 | ; SSE: movsd |
| 14 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 15 | ; NOSSE2-LABEL: test1: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 16 | ; NOSSE2: fcmovnbe |
| 17 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 18 | ; NOSSE1-LABEL: test1: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 19 | ; NOSSE1: fcmovnbe |
| 20 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 21 | ; NOCMOV-LABEL: test1: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 22 | ; NOCMOV: fstp |
| 23 | |
| 24 | } |
| 25 | |
| 26 | define double @test2(i32 %a, i32 %b, double %x) nounwind { |
| 27 | %cmp = icmp uge i32 %a, %b |
| 28 | %sel = select i1 %cmp, double 99.0, double %x |
| 29 | ret double %sel |
| 30 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 31 | ; SSE-LABEL: test2: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 32 | ; SSE: movsd |
| 33 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 34 | ; NOSSE2-LABEL: test2: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 35 | ; NOSSE2: fcmovnb |
| 36 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 37 | ; NOSSE1-LABEL: test2: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 38 | ; NOSSE1: fcmovnb |
| 39 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 40 | ; NOCMOV-LABEL: test2: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 41 | ; NOCMOV: fstp |
| 42 | } |
| 43 | |
| 44 | define double @test3(i32 %a, i32 %b, double %x) nounwind { |
| 45 | %cmp = icmp ult i32 %a, %b |
| 46 | %sel = select i1 %cmp, double 99.0, double %x |
| 47 | ret double %sel |
| 48 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 49 | ; SSE-LABEL: test3: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 50 | ; SSE: movsd |
| 51 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 52 | ; NOSSE2-LABEL: test3: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 53 | ; NOSSE2: fcmovb |
| 54 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 55 | ; NOSSE1-LABEL: test3: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 56 | ; NOSSE1: fcmovb |
| 57 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 58 | ; NOCMOV-LABEL: test3: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 59 | ; NOCMOV: fstp |
| 60 | } |
| 61 | |
| 62 | define double @test4(i32 %a, i32 %b, double %x) nounwind { |
| 63 | %cmp = icmp ule i32 %a, %b |
| 64 | %sel = select i1 %cmp, double 99.0, double %x |
| 65 | ret double %sel |
| 66 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 67 | ; SSE-LABEL: test4: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 68 | ; SSE: movsd |
| 69 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 70 | ; NOSSE2-LABEL: test4: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 71 | ; NOSSE2: fcmovbe |
| 72 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 73 | ; NOSSE1-LABEL: test4: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 74 | ; NOSSE1: fcmovbe |
| 75 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 76 | ; NOCMOV-LABEL: test4: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 77 | ; NOCMOV: fstp |
| 78 | } |
| 79 | |
| 80 | define double @test5(i32 %a, i32 %b, double %x) nounwind { |
| 81 | %cmp = icmp sgt i32 %a, %b |
| 82 | %sel = select i1 %cmp, double 99.0, double %x |
| 83 | ret double %sel |
| 84 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 85 | ; SSE-LABEL: test5: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 86 | ; SSE: movsd |
| 87 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 88 | ; NOSSE2-LABEL: test5: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 89 | ; NOSSE2: fstp |
| 90 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 91 | ; NOSSE1-LABEL: test5: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 92 | ; NOSSE1: fstp |
| 93 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 94 | ; NOCMOV-LABEL: test5: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 95 | ; NOCMOV: fstp |
| 96 | } |
| 97 | |
| 98 | define double @test6(i32 %a, i32 %b, double %x) nounwind { |
| 99 | %cmp = icmp sge i32 %a, %b |
| 100 | %sel = select i1 %cmp, double 99.0, double %x |
| 101 | ret double %sel |
| 102 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 103 | ; SSE-LABEL: test6: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 104 | ; SSE: movsd |
| 105 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 106 | ; NOSSE2-LABEL: test6: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 107 | ; NOSSE2: fstp |
| 108 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 109 | ; NOSSE1-LABEL: test6: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 110 | ; NOSSE1: fstp |
| 111 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 112 | ; NOCMOV-LABEL: test6: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 113 | ; NOCMOV: fstp |
| 114 | } |
| 115 | |
| 116 | define double @test7(i32 %a, i32 %b, double %x) nounwind { |
| 117 | %cmp = icmp slt i32 %a, %b |
| 118 | %sel = select i1 %cmp, double 99.0, double %x |
| 119 | ret double %sel |
| 120 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 121 | ; SSE-LABEL: test7: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 122 | ; SSE: movsd |
| 123 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 124 | ; NOSSE2-LABEL: test7: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 125 | ; NOSSE2: fstp |
| 126 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 127 | ; NOSSE1-LABEL: test7: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 128 | ; NOSSE1: fstp |
| 129 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 130 | ; NOCMOV-LABEL: test7: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 131 | ; NOCMOV: fstp |
| 132 | } |
| 133 | |
| 134 | define double @test8(i32 %a, i32 %b, double %x) nounwind { |
| 135 | %cmp = icmp sle i32 %a, %b |
| 136 | %sel = select i1 %cmp, double 99.0, double %x |
| 137 | ret double %sel |
| 138 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 139 | ; SSE-LABEL: test8: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 140 | ; SSE: movsd |
| 141 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 142 | ; NOSSE2-LABEL: test8: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 143 | ; NOSSE2: fstp |
| 144 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 145 | ; NOSSE1-LABEL: test8: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 146 | ; NOSSE1: fstp |
| 147 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 148 | ; NOCMOV-LABEL: test8: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 149 | ; NOCMOV: fstp |
| 150 | } |
| 151 | |
| 152 | define float @test9(i32 %a, i32 %b, float %x) nounwind { |
| 153 | %cmp = icmp ugt i32 %a, %b |
| 154 | %sel = select i1 %cmp, float 99.0, float %x |
| 155 | ret float %sel |
| 156 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 157 | ; SSE-LABEL: test9: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 158 | ; SSE: movss |
| 159 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 160 | ; NOSSE2-LABEL: test9: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 161 | ; NOSSE2: movss |
| 162 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 163 | ; NOSSE1-LABEL: test9: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 164 | ; NOSSE1: fcmovnbe |
| 165 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 166 | ; NOCMOV-LABEL: test9: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 167 | ; NOCMOV: fstp |
| 168 | } |
| 169 | |
| 170 | define float @test10(i32 %a, i32 %b, float %x) nounwind { |
| 171 | %cmp = icmp uge i32 %a, %b |
| 172 | %sel = select i1 %cmp, float 99.0, float %x |
| 173 | ret float %sel |
| 174 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 175 | ; SSE-LABEL: test10: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 176 | ; SSE: movss |
| 177 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 178 | ; NOSSE2-LABEL: test10: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 179 | ; NOSSE2: movss |
| 180 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 181 | ; NOSSE1-LABEL: test10: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 182 | ; NOSSE1: fcmovnb |
| 183 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 184 | ; NOCMOV-LABEL: test10: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 185 | ; NOCMOV: fstp |
| 186 | } |
| 187 | |
| 188 | define float @test11(i32 %a, i32 %b, float %x) nounwind { |
| 189 | %cmp = icmp ult i32 %a, %b |
| 190 | %sel = select i1 %cmp, float 99.0, float %x |
| 191 | ret float %sel |
| 192 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 193 | ; SSE-LABEL: test11: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 194 | ; SSE: movss |
| 195 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 196 | ; NOSSE2-LABEL: test11: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 197 | ; NOSSE2: movss |
| 198 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 199 | ; NOSSE1-LABEL: test11: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 200 | ; NOSSE1: fcmovb |
| 201 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 202 | ; NOCMOV-LABEL: test11: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 203 | ; NOCMOV: fstp |
| 204 | } |
| 205 | |
| 206 | define float @test12(i32 %a, i32 %b, float %x) nounwind { |
| 207 | %cmp = icmp ule i32 %a, %b |
| 208 | %sel = select i1 %cmp, float 99.0, float %x |
| 209 | ret float %sel |
| 210 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 211 | ; SSE-LABEL: test12: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 212 | ; SSE: movss |
| 213 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 214 | ; NOSSE2-LABEL: test12: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 215 | ; NOSSE2: movss |
| 216 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 217 | ; NOSSE1-LABEL: test12: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 218 | ; NOSSE1: fcmovbe |
| 219 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 220 | ; NOCMOV-LABEL: test12: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 221 | ; NOCMOV: fstp |
| 222 | } |
| 223 | |
| 224 | define float @test13(i32 %a, i32 %b, float %x) nounwind { |
| 225 | %cmp = icmp sgt i32 %a, %b |
| 226 | %sel = select i1 %cmp, float 99.0, float %x |
| 227 | ret float %sel |
| 228 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 229 | ; SSE-LABEL: test13: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 230 | ; SSE: movss |
| 231 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 232 | ; NOSSE2-LABEL: test13: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 233 | ; NOSSE2: movss |
| 234 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 235 | ; NOSSE1-LABEL: test13: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 236 | ; NOSSE1: fstp |
| 237 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 238 | ; NOCMOV-LABEL: test13: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 239 | ; NOCMOV: fstp |
| 240 | } |
| 241 | |
| 242 | define float @test14(i32 %a, i32 %b, float %x) nounwind { |
| 243 | %cmp = icmp sge i32 %a, %b |
| 244 | %sel = select i1 %cmp, float 99.0, float %x |
| 245 | ret float %sel |
| 246 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 247 | ; SSE-LABEL: test14: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 248 | ; SSE: movss |
| 249 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 250 | ; NOSSE2-LABEL: test14: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 251 | ; NOSSE2: movss |
| 252 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 253 | ; NOSSE1-LABEL: test14: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 254 | ; NOSSE1: fstp |
| 255 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 256 | ; NOCMOV-LABEL: test14: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 257 | ; NOCMOV: fstp |
| 258 | } |
| 259 | |
| 260 | define float @test15(i32 %a, i32 %b, float %x) nounwind { |
| 261 | %cmp = icmp slt i32 %a, %b |
| 262 | %sel = select i1 %cmp, float 99.0, float %x |
| 263 | ret float %sel |
| 264 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 265 | ; SSE-LABEL: test15: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 266 | ; SSE: movss |
| 267 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 268 | ; NOSSE2-LABEL: test15: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 269 | ; NOSSE2: movss |
| 270 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 271 | ; NOSSE1-LABEL: test15: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 272 | ; NOSSE1: fstp |
| 273 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 274 | ; NOCMOV-LABEL: test15: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 275 | ; NOCMOV: fstp |
| 276 | } |
| 277 | |
| 278 | define float @test16(i32 %a, i32 %b, float %x) nounwind { |
| 279 | %cmp = icmp sle i32 %a, %b |
| 280 | %sel = select i1 %cmp, float 99.0, float %x |
| 281 | ret float %sel |
| 282 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 283 | ; SSE-LABEL: test16: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 284 | ; SSE: movss |
| 285 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 286 | ; NOSSE2-LABEL: test16: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 287 | ; NOSSE2: movss |
| 288 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 289 | ; NOSSE1-LABEL: test16: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 290 | ; NOSSE1: fstp |
| 291 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 292 | ; NOCMOV-LABEL: test16: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 293 | ; NOCMOV: fstp |
| 294 | } |
| 295 | |
| 296 | define x86_fp80 @test17(i32 %a, i32 %b, x86_fp80 %x) nounwind { |
| 297 | %cmp = icmp ugt i32 %a, %b |
| 298 | %sel = select i1 %cmp, x86_fp80 0xK4005C600000000000000, x86_fp80 %x |
| 299 | ret x86_fp80 %sel |
| 300 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 301 | ; SSE-LABEL: test17: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 302 | ; SSE: fcmovnbe |
| 303 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 304 | ; NOSSE2-LABEL: test17: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 305 | ; NOSSE2: fcmovnbe |
| 306 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 307 | ; NOSSE1-LABEL: test17: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 308 | ; NOSSE1: fcmovnbe |
| 309 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 310 | ; NOCMOV-LABEL: test17: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 311 | ; NOCMOV: fstp |
| 312 | } |
| 313 | |
| 314 | define x86_fp80 @test18(i32 %a, i32 %b, x86_fp80 %x) nounwind { |
| 315 | %cmp = icmp uge i32 %a, %b |
| 316 | %sel = select i1 %cmp, x86_fp80 0xK4005C600000000000000, x86_fp80 %x |
| 317 | ret x86_fp80 %sel |
| 318 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 319 | ; SSE-LABEL: test18: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 320 | ; SSE: fcmovnb |
| 321 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 322 | ; NOSSE2-LABEL: test18: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 323 | ; NOSSE2: fcmovnb |
| 324 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 325 | ; NOSSE1-LABEL: test18: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 326 | ; NOSSE1: fcmovnb |
| 327 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 328 | ; NOCMOV-LABEL: test18: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 329 | ; NOCMOV: fstp |
| 330 | } |
| 331 | |
| 332 | define x86_fp80 @test19(i32 %a, i32 %b, x86_fp80 %x) nounwind { |
| 333 | %cmp = icmp ult i32 %a, %b |
| 334 | %sel = select i1 %cmp, x86_fp80 0xK4005C600000000000000, x86_fp80 %x |
| 335 | ret x86_fp80 %sel |
| 336 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 337 | ; SSE-LABEL: test19: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 338 | ; SSE: fcmovb |
| 339 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 340 | ; NOSSE2-LABEL: test19: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 341 | ; NOSSE2: fcmovb |
| 342 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 343 | ; NOSSE1-LABEL: test19: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 344 | ; NOSSE1: fcmovb |
| 345 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 346 | ; NOCMOV-LABEL: test19: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 347 | ; NOCMOV: fstp |
| 348 | } |
| 349 | |
| 350 | define x86_fp80 @test20(i32 %a, i32 %b, x86_fp80 %x) nounwind { |
| 351 | %cmp = icmp ule i32 %a, %b |
| 352 | %sel = select i1 %cmp, x86_fp80 0xK4005C600000000000000, x86_fp80 %x |
| 353 | ret x86_fp80 %sel |
| 354 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 355 | ; SSE-LABEL: test20: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 356 | ; SSE: fcmovbe |
| 357 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 358 | ; NOSSE2-LABEL: test20: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 359 | ; NOSSE2: fcmovbe |
| 360 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 361 | ; NOSSE1-LABEL: test20: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 362 | ; NOSSE1: fcmovbe |
| 363 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 364 | ; NOCMOV-LABEL: test20: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 365 | ; NOCMOV: fstp |
| 366 | } |
| 367 | |
| 368 | define x86_fp80 @test21(i32 %a, i32 %b, x86_fp80 %x) nounwind { |
| 369 | %cmp = icmp sgt i32 %a, %b |
| 370 | %sel = select i1 %cmp, x86_fp80 0xK4005C600000000000000, x86_fp80 %x |
| 371 | ret x86_fp80 %sel |
| 372 | |
| 373 | ; We don't emit a branch for fp80, why? |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 374 | ; SSE-LABEL: test21: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 375 | ; SSE: testb |
| 376 | ; SSE: fcmovne |
| 377 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 378 | ; NOSSE2-LABEL: test21: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 379 | ; NOSSE2: testb |
| 380 | ; NOSSE2: fcmovne |
| 381 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 382 | ; NOSSE1-LABEL: test21: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 383 | ; NOSSE1: testb |
| 384 | ; NOSSE1: fcmovne |
| 385 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 386 | ; NOCMOV-LABEL: test21: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 387 | ; NOCMOV: fstp |
| 388 | } |
| 389 | |
| 390 | define x86_fp80 @test22(i32 %a, i32 %b, x86_fp80 %x) nounwind { |
| 391 | %cmp = icmp sge i32 %a, %b |
| 392 | %sel = select i1 %cmp, x86_fp80 0xK4005C600000000000000, x86_fp80 %x |
| 393 | ret x86_fp80 %sel |
| 394 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 395 | ; SSE-LABEL: test22: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 396 | ; SSE: testb |
| 397 | ; SSE: fcmovne |
| 398 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 399 | ; NOSSE2-LABEL: test22: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 400 | ; NOSSE2: testb |
| 401 | ; NOSSE2: fcmovne |
| 402 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 403 | ; NOSSE1-LABEL: test22: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 404 | ; NOSSE1: testb |
| 405 | ; NOSSE1: fcmovne |
| 406 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 407 | ; NOCMOV-LABEL: test22: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 408 | ; NOCMOV: fstp |
| 409 | } |
| 410 | |
| 411 | define x86_fp80 @test23(i32 %a, i32 %b, x86_fp80 %x) nounwind { |
| 412 | %cmp = icmp slt i32 %a, %b |
| 413 | %sel = select i1 %cmp, x86_fp80 0xK4005C600000000000000, x86_fp80 %x |
| 414 | ret x86_fp80 %sel |
| 415 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 416 | ; SSE-LABEL: test23: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 417 | ; SSE: testb |
| 418 | ; SSE: fcmovne |
| 419 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 420 | ; NOSSE2-LABEL: test23: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 421 | ; NOSSE2: testb |
| 422 | ; NOSSE2: fcmovne |
| 423 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 424 | ; NOSSE1-LABEL: test23: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 425 | ; NOSSE1: testb |
| 426 | ; NOSSE1: fcmovne |
| 427 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 428 | ; NOCMOV-LABEL: test23: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 429 | ; NOCMOV: fstp |
| 430 | } |
| 431 | |
| 432 | define x86_fp80 @test24(i32 %a, i32 %b, x86_fp80 %x) nounwind { |
| 433 | %cmp = icmp sle i32 %a, %b |
| 434 | %sel = select i1 %cmp, x86_fp80 0xK4005C600000000000000, x86_fp80 %x |
| 435 | ret x86_fp80 %sel |
| 436 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 437 | ; SSE-LABEL: test24: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 438 | ; SSE: testb |
| 439 | ; SSE: fcmovne |
| 440 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 441 | ; NOSSE2-LABEL: test24: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 442 | ; NOSSE2: testb |
| 443 | ; NOSSE2: fcmovne |
| 444 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 445 | ; NOSSE1-LABEL: test24: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 446 | ; NOSSE1: testb |
| 447 | ; NOSSE1: fcmovne |
| 448 | |
Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 449 | ; NOCMOV-LABEL: test24: |
Benjamin Kramer | 302178b | 2012-10-07 15:34:27 +0000 | [diff] [blame] | 450 | ; NOCMOV: fstp |
| 451 | } |