Eric Christopher | cee313d | 2019-04-17 04:52:47 +0000 | [diff] [blame] | 1 | ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py |
| 2 | ; RUN: opt < %s -instsimplify -S | FileCheck %s |
| 3 | |
| 4 | ; X == 42.0 ? X : 42.0 --> 42.0 |
| 5 | |
| 6 | define double @oeq(double %x) { |
| 7 | ; CHECK-LABEL: @oeq( |
| 8 | ; CHECK-NEXT: ret double 4.200000e+01 |
| 9 | ; |
| 10 | %cmp = fcmp oeq double %x, 42.0 |
| 11 | %cond = select i1 %cmp, double %x, double 42.0 |
| 12 | ret double %cond |
| 13 | } |
| 14 | |
| 15 | ; X == 42.0 ? 42.0 : X --> X |
| 16 | |
| 17 | define float @oeq_swapped(float %x) { |
| 18 | ; CHECK-LABEL: @oeq_swapped( |
| 19 | ; CHECK-NEXT: ret float [[X:%.*]] |
| 20 | ; |
| 21 | %cmp = fcmp oeq float %x, 42.0 |
| 22 | %cond = select i1 %cmp, float 42.0, float %x |
| 23 | ret float %cond |
| 24 | } |
| 25 | |
| 26 | ; x != y ? x : y -> x if it's the right kind of != and at least |
| 27 | ; one of x and y is not negative zero. |
| 28 | |
| 29 | ; X != 42.0 ? X : 42.0 --> X |
| 30 | |
| 31 | define double @une(double %x) { |
| 32 | ; CHECK-LABEL: @une( |
| 33 | ; CHECK-NEXT: ret double [[X:%.*]] |
| 34 | ; |
| 35 | %cmp = fcmp une double %x, 42.0 |
| 36 | %cond = select i1 %cmp, double %x, double 42.0 |
| 37 | ret double %cond |
| 38 | } |
| 39 | |
| 40 | ; X != 42.0 ? 42.0 : X --> 42.0 |
| 41 | |
| 42 | define double @une_swapped(double %x) { |
| 43 | ; CHECK-LABEL: @une_swapped( |
| 44 | ; CHECK-NEXT: ret double 4.200000e+01 |
| 45 | ; |
| 46 | %cmp = fcmp une double %x, 42.0 |
| 47 | %cond = select i1 %cmp, double 42.0, double %x |
| 48 | ret double %cond |
| 49 | } |
| 50 | |
Sanjay Patel | 499c90a | 2019-11-04 07:36:03 -0500 | [diff] [blame] | 51 | ; X == 0.0 ? X : 0.0 --> ? (X could be -0.0) |
| 52 | |
| 53 | define double @oeq_zero(double %x) { |
| 54 | ; CHECK-LABEL: @oeq_zero( |
| 55 | ; CHECK-NEXT: [[CMP:%.*]] = fcmp oeq double [[X:%.*]], 0.000000e+00 |
| 56 | ; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], double [[X]], double 0.000000e+00 |
| 57 | ; CHECK-NEXT: ret double [[COND]] |
| 58 | ; |
| 59 | %cmp = fcmp oeq double %x, 0.0 |
| 60 | %cond = select i1 %cmp, double %x, double 0.0 |
| 61 | ret double %cond |
| 62 | } |
| 63 | |
| 64 | ; X == 0.0 ? 0.0 : X --> ? (change sign if X is -0.0) |
| 65 | |
| 66 | define float @oeq_zero_swapped(float %x) { |
| 67 | ; CHECK-LABEL: @oeq_zero_swapped( |
| 68 | ; CHECK-NEXT: [[CMP:%.*]] = fcmp oeq float [[X:%.*]], 0.000000e+00 |
| 69 | ; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], float 0.000000e+00, float [[X]] |
| 70 | ; CHECK-NEXT: ret float [[COND]] |
| 71 | ; |
| 72 | %cmp = fcmp oeq float %x, 0.0 |
| 73 | %cond = select i1 %cmp, float 0.0, float %x |
| 74 | ret float %cond |
| 75 | } |
| 76 | |
| 77 | ; X != 0.0 ? X : -0.0 --> ? (change sign if X is 0.0) |
| 78 | |
| 79 | define double @une_zero(double %x) { |
| 80 | ; CHECK-LABEL: @une_zero( |
| 81 | ; CHECK-NEXT: [[CMP:%.*]] = fcmp une double [[X:%.*]], 0.000000e+00 |
| 82 | ; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], double [[X]], double -0.000000e+00 |
| 83 | ; CHECK-NEXT: ret double [[COND]] |
| 84 | ; |
| 85 | %cmp = fcmp une double %x, 0.0 |
| 86 | %cond = select i1 %cmp, double %x, double -0.0 |
| 87 | ret double %cond |
| 88 | } |
| 89 | |
| 90 | ; X != 0.0 ? -0.0 : X --> ? (X could be 0.0) |
| 91 | |
| 92 | define double @une_zero_swapped(double %x) { |
| 93 | ; CHECK-LABEL: @une_zero_swapped( |
| 94 | ; CHECK-NEXT: [[CMP:%.*]] = fcmp une double [[X:%.*]], 0.000000e+00 |
| 95 | ; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], double -0.000000e+00, double [[X]] |
| 96 | ; CHECK-NEXT: ret double [[COND]] |
| 97 | ; |
| 98 | %cmp = fcmp une double %x, 0.0 |
| 99 | %cond = select i1 %cmp, double -0.0, double %x |
| 100 | ret double %cond |
| 101 | } |
| 102 | |
| 103 | ; X == 0.0 ? X : 0.0 --> 0.0 |
| 104 | |
| 105 | define double @oeq_zero_nsz(double %x) { |
| 106 | ; CHECK-LABEL: @oeq_zero_nsz( |
Sanjay Patel | 659bd73 | 2019-11-04 08:29:56 -0500 | [diff] [blame] | 107 | ; CHECK-NEXT: ret double 0.000000e+00 |
Sanjay Patel | 499c90a | 2019-11-04 07:36:03 -0500 | [diff] [blame] | 108 | ; |
| 109 | %cmp = fcmp oeq double %x, 0.0 |
| 110 | %cond = select nsz i1 %cmp, double %x, double 0.0 |
| 111 | ret double %cond |
| 112 | } |
| 113 | |
| 114 | ; X == 0.0 ? 0.0 : X --> X |
| 115 | |
| 116 | define float @oeq_zero_swapped_nsz(float %x) { |
| 117 | ; CHECK-LABEL: @oeq_zero_swapped_nsz( |
Sanjay Patel | 659bd73 | 2019-11-04 08:29:56 -0500 | [diff] [blame] | 118 | ; CHECK-NEXT: ret float [[X:%.*]] |
Sanjay Patel | 499c90a | 2019-11-04 07:36:03 -0500 | [diff] [blame] | 119 | ; |
| 120 | %cmp = fcmp oeq float %x, 0.0 |
| 121 | %cond = select fast i1 %cmp, float 0.0, float %x |
| 122 | ret float %cond |
| 123 | } |
| 124 | |
Sanjay Patel | ad87f24 | 2019-11-04 08:23:08 -0500 | [diff] [blame] | 125 | ; X != 0.0 ? X : 0.0 --> X |
Sanjay Patel | 499c90a | 2019-11-04 07:36:03 -0500 | [diff] [blame] | 126 | |
| 127 | define double @une_zero_nsz(double %x) { |
| 128 | ; CHECK-LABEL: @une_zero_nsz( |
Sanjay Patel | 659bd73 | 2019-11-04 08:29:56 -0500 | [diff] [blame] | 129 | ; CHECK-NEXT: ret double [[X:%.*]] |
Sanjay Patel | 499c90a | 2019-11-04 07:36:03 -0500 | [diff] [blame] | 130 | ; |
| 131 | %cmp = fcmp une double %x, 0.0 |
Sanjay Patel | ad87f24 | 2019-11-04 08:23:08 -0500 | [diff] [blame] | 132 | %cond = select nsz ninf i1 %cmp, double %x, double 0.0 |
Sanjay Patel | 499c90a | 2019-11-04 07:36:03 -0500 | [diff] [blame] | 133 | ret double %cond |
| 134 | } |
| 135 | |
Sanjay Patel | ad87f24 | 2019-11-04 08:23:08 -0500 | [diff] [blame] | 136 | ; X != 0.0 ? 0.0 : X --> 0.0 |
Sanjay Patel | 499c90a | 2019-11-04 07:36:03 -0500 | [diff] [blame] | 137 | |
| 138 | define <2 x double> @une_zero_swapped_nsz(<2 x double> %x) { |
| 139 | ; CHECK-LABEL: @une_zero_swapped_nsz( |
Sanjay Patel | 659bd73 | 2019-11-04 08:29:56 -0500 | [diff] [blame] | 140 | ; CHECK-NEXT: ret <2 x double> zeroinitializer |
Sanjay Patel | 499c90a | 2019-11-04 07:36:03 -0500 | [diff] [blame] | 141 | ; |
Sanjay Patel | ad87f24 | 2019-11-04 08:23:08 -0500 | [diff] [blame] | 142 | %cmp = fcmp une <2 x double> %x, <double 0.0, double 0.0> |
| 143 | %cond = select nsz <2 x i1> %cmp, <2 x double> <double 0.0, double 0.0>, <2 x double> %x |
Sanjay Patel | 499c90a | 2019-11-04 07:36:03 -0500 | [diff] [blame] | 144 | ret <2 x double> %cond |
| 145 | } |
| 146 | |
| 147 | ; X == Y ? X : Y --> Y |
| 148 | |
| 149 | define double @oeq_nsz(double %x, double %y) { |
| 150 | ; CHECK-LABEL: @oeq_nsz( |
Sanjay Patel | 659bd73 | 2019-11-04 08:29:56 -0500 | [diff] [blame] | 151 | ; CHECK-NEXT: ret double [[Y:%.*]] |
Sanjay Patel | 499c90a | 2019-11-04 07:36:03 -0500 | [diff] [blame] | 152 | ; |
| 153 | %cmp = fcmp oeq double %x, %y |
| 154 | %cond = select fast i1 %cmp, double %x, double %y |
| 155 | ret double %cond |
| 156 | } |
| 157 | |
| 158 | ; X == Y ? Y : X --> X |
| 159 | |
| 160 | define <2 x float> @oeq_swapped_nsz(<2 x float> %x, <2 x float> %y) { |
| 161 | ; CHECK-LABEL: @oeq_swapped_nsz( |
Sanjay Patel | 659bd73 | 2019-11-04 08:29:56 -0500 | [diff] [blame] | 162 | ; CHECK-NEXT: ret <2 x float> [[X:%.*]] |
Sanjay Patel | 499c90a | 2019-11-04 07:36:03 -0500 | [diff] [blame] | 163 | ; |
| 164 | %cmp = fcmp oeq <2 x float> %x, %y |
| 165 | %cond = select nsz nnan <2 x i1> %cmp, <2 x float> %y, <2 x float> %x |
| 166 | ret <2 x float> %cond |
| 167 | } |
| 168 | |
| 169 | ; X != Y ? X : Y --> X |
| 170 | |
| 171 | define double @une_nsz(double %x, double %y) { |
| 172 | ; CHECK-LABEL: @une_nsz( |
Sanjay Patel | 659bd73 | 2019-11-04 08:29:56 -0500 | [diff] [blame] | 173 | ; CHECK-NEXT: ret double [[X:%.*]] |
Sanjay Patel | 499c90a | 2019-11-04 07:36:03 -0500 | [diff] [blame] | 174 | ; |
| 175 | %cmp = fcmp une double %x, %y |
| 176 | %cond = select nsz i1 %cmp, double %x, double %y |
| 177 | ret double %cond |
| 178 | } |
| 179 | |
| 180 | ; X != Y ? Y : X --> Y |
| 181 | |
| 182 | define <2 x double> @une_swapped_nsz(<2 x double> %x, <2 x double> %y) { |
| 183 | ; CHECK-LABEL: @une_swapped_nsz( |
Sanjay Patel | 659bd73 | 2019-11-04 08:29:56 -0500 | [diff] [blame] | 184 | ; CHECK-NEXT: ret <2 x double> [[Y:%.*]] |
Sanjay Patel | 499c90a | 2019-11-04 07:36:03 -0500 | [diff] [blame] | 185 | ; |
| 186 | %cmp = fcmp une <2 x double> %x, %y |
| 187 | %cond = select fast <2 x i1> %cmp, <2 x double> %y, <2 x double> %x |
| 188 | ret <2 x double> %cond |
| 189 | } |
| 190 | |
Sanjay Patel | ad87f24 | 2019-11-04 08:23:08 -0500 | [diff] [blame] | 191 | ; Harder - mismatched zero constants (not typical due to canonicalization): |
| 192 | ; X != 0.0 ? X : -0.0 --> X |
| 193 | |
| 194 | define double @une_zero_mismatch_nsz(double %x) { |
| 195 | ; CHECK-LABEL: @une_zero_mismatch_nsz( |
| 196 | ; CHECK-NEXT: [[CMP:%.*]] = fcmp une double [[X:%.*]], 0.000000e+00 |
| 197 | ; CHECK-NEXT: [[COND:%.*]] = select ninf nsz i1 [[CMP]], double [[X]], double -0.000000e+00 |
| 198 | ; CHECK-NEXT: ret double [[COND]] |
| 199 | ; |
| 200 | %cmp = fcmp une double %x, 0.0 |
| 201 | %cond = select nsz ninf i1 %cmp, double %x, double -0.0 |
| 202 | ret double %cond |
| 203 | } |
| 204 | |
| 205 | ; Even harder - mismatched vector zero constants (not typical due to canonicalization): |
| 206 | ; X != 0.0 ? -0.0 : X --> 0.0 |
| 207 | |
| 208 | define <2 x double> @une_zero_mismatch_swapped_nsz(<2 x double> %x) { |
| 209 | ; CHECK-LABEL: @une_zero_mismatch_swapped_nsz( |
| 210 | ; CHECK-NEXT: [[CMP:%.*]] = fcmp une <2 x double> [[X:%.*]], <double -0.000000e+00, double 0.000000e+00> |
| 211 | ; CHECK-NEXT: [[COND:%.*]] = select nsz <2 x i1> [[CMP]], <2 x double> <double 0.000000e+00, double -0.000000e+00>, <2 x double> [[X]] |
| 212 | ; CHECK-NEXT: ret <2 x double> [[COND]] |
| 213 | ; |
| 214 | %cmp = fcmp une <2 x double> %x, <double -0.0, double 0.0> |
| 215 | %cond = select nsz <2 x i1> %cmp, <2 x double> <double 0.0, double -0.0>, <2 x double> %x |
| 216 | ret <2 x double> %cond |
| 217 | } |
| 218 | |
Eric Christopher | cee313d | 2019-04-17 04:52:47 +0000 | [diff] [blame] | 219 | define double @une_could_be_negzero(double %x, double %y) { |
| 220 | ; CHECK-LABEL: @une_could_be_negzero( |
| 221 | ; CHECK-NEXT: [[CMP:%.*]] = fcmp une double [[X:%.*]], [[Y:%.*]] |
| 222 | ; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], double [[X]], double [[Y]] |
| 223 | ; CHECK-NEXT: ret double [[COND]] |
| 224 | ; |
| 225 | %cmp = fcmp une double %x, %y |
| 226 | %cond = select i1 %cmp, double %x, double %y |
| 227 | ret double %cond |
| 228 | } |
| 229 | |
| 230 | define double @une_swapped_could_be_negzero(double %x, double %y) { |
| 231 | ; CHECK-LABEL: @une_swapped_could_be_negzero( |
| 232 | ; CHECK-NEXT: [[CMP:%.*]] = fcmp une double [[X:%.*]], [[Y:%.*]] |
| 233 | ; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], double [[Y]], double [[X]] |
| 234 | ; CHECK-NEXT: ret double [[COND]] |
| 235 | ; |
| 236 | %cmp = fcmp une double %x, %y |
| 237 | %cond = select i1 %cmp, double %y, double %x |
| 238 | ret double %cond |
| 239 | } |
| 240 | |
| 241 | define double @one(double %x) { |
| 242 | ; CHECK-LABEL: @one( |
| 243 | ; CHECK-NEXT: [[CMP:%.*]] = fcmp one double [[X:%.*]], -1.000000e+00 |
| 244 | ; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], double [[X]], double -1.000000e+00 |
| 245 | ; CHECK-NEXT: ret double [[COND]] |
| 246 | ; |
| 247 | %cmp = fcmp one double %x, -1.0 |
| 248 | %cond = select i1 %cmp, double %x, double -1.0 |
| 249 | ret double %cond |
| 250 | } |
| 251 | |
| 252 | define double @one_swapped(double %x) { |
| 253 | ; CHECK-LABEL: @one_swapped( |
| 254 | ; CHECK-NEXT: [[CMP:%.*]] = fcmp one double [[X:%.*]], -1.000000e+00 |
| 255 | ; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], double -1.000000e+00, double [[X]] |
| 256 | ; CHECK-NEXT: ret double [[COND]] |
| 257 | ; |
| 258 | %cmp = fcmp one double %x, -1.0 |
| 259 | %cond = select i1 %cmp, double -1.0, double %x |
| 260 | ret double %cond |
| 261 | } |
| 262 | |