llvm/test/Transforms/InstCombine/select-value-equivalence.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5
   2 ; RUN: opt -passes=instcombine -S %s | FileCheck %s
   3
   4 define <2 x i8> @select_icmp_insertelement_eq(<2 x i8> %x, <2 x i8> %y, i8 %i) {
   5 ; CHECK-LABEL: define <2 x i8> @select_icmp_insertelement_eq(
   6 ; CHECK-SAME: <2 x i8> [[X:%.*]], <2 x i8> [[Y:%.*]], i8 [[I:%.*]]) {
   7 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq <2 x i8> [[Y]], splat (i8 2)
   8 ; CHECK-NEXT:    [[INSERT:%.*]] = insertelement <2 x i8> splat (i8 2), i8 0, i8 [[I]]
   9 ; CHECK-NEXT:    [[RETVAL:%.*]] = select <2 x i1> [[CMP]], <2 x i8> [[INSERT]], <2 x i8> [[X]]
  10 ; CHECK-NEXT:    ret <2 x i8> [[RETVAL]]
  11 ;
  12   %cmp = icmp eq <2 x i8> %y, <i8 2, i8 2>
  13   %insert = insertelement <2 x i8> %y, i8 0, i8 %i
  14   %retval = select <2 x i1> %cmp, <2 x i8> %insert, <2 x i8> %x
  15   ret <2 x i8> %retval
  16 }
  17
  18 define <2 x i8> @select_icmp_insertelement_ne(<2 x i8> %x, <2 x i8> %y, i8 %i) {
  19 ; CHECK-LABEL: define <2 x i8> @select_icmp_insertelement_ne(
  20 ; CHECK-SAME: <2 x i8> [[X:%.*]], <2 x i8> [[Y:%.*]], i8 [[I:%.*]]) {
  21 ; CHECK-NEXT:    [[CMP_NOT:%.*]] = icmp eq <2 x i8> [[Y]], splat (i8 2)
  22 ; CHECK-NEXT:    [[INSERT:%.*]] = insertelement <2 x i8> splat (i8 2), i8 0, i8 [[I]]
  23 ; CHECK-NEXT:    [[RETVAL:%.*]] = select <2 x i1> [[CMP_NOT]], <2 x i8> [[INSERT]], <2 x i8> [[X]]
  24 ; CHECK-NEXT:    ret <2 x i8> [[RETVAL]]
  25 ;
  26   %cmp = icmp ne <2 x i8> %y, <i8 2, i8 2>
  27   %insert = insertelement <2 x i8> %y, i8 0, i8 %i
  28   %retval = select <2 x i1> %cmp, <2 x i8> %x, <2 x i8> %insert
  29   ret <2 x i8> %retval
  30 }
  31
  32 define <2 x i8> @select_icmp_shufflevector_identity(<2 x i8> %x, <2 x i8> %y) {
  33 ; CHECK-LABEL: define <2 x i8> @select_icmp_shufflevector_identity(
  34 ; CHECK-SAME: <2 x i8> [[X:%.*]], <2 x i8> [[Y:%.*]]) {
  35 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq <2 x i8> [[Y]], splat (i8 2)
  36 ; CHECK-NEXT:    [[RETVAL:%.*]] = select <2 x i1> [[CMP]], <2 x i8> splat (i8 2), <2 x i8> [[X]]
  37 ; CHECK-NEXT:    ret <2 x i8> [[RETVAL]]
  38 ;
  39   %cmp = icmp eq <2 x i8> %y, <i8 2, i8 2>
  40   %shuffle = shufflevector <2 x i8> %y, <2 x i8> poison, <2 x i32> <i32 0, i32 1>
  41   %retval = select <2 x i1> %cmp, <2 x i8> %shuffle, <2 x i8> %x
  42   ret <2 x i8> %retval
  43 }
  44
  45 define <4 x i8> @select_icmp_shufflevector_select(<4 x i8> %x, <4 x i8> %y, <4 x i8> %z) {
  46 ; CHECK-LABEL: define <4 x i8> @select_icmp_shufflevector_select(
  47 ; CHECK-SAME: <4 x i8> [[X:%.*]], <4 x i8> [[Y:%.*]], <4 x i8> [[Z:%.*]]) {
  48 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq <4 x i8> [[Y]], splat (i8 2)
  49 ; CHECK-NEXT:    [[SHUFFLE:%.*]] = shufflevector <4 x i8> [[Z]], <4 x i8> <i8 poison, i8 2, i8 poison, i8 2>, <4 x i32> <i32 0, i32 5, i32 2, i32 7>
  50 ; CHECK-NEXT:    [[RETVAL:%.*]] = select <4 x i1> [[CMP]], <4 x i8> [[SHUFFLE]], <4 x i8> [[X]]
  51 ; CHECK-NEXT:    ret <4 x i8> [[RETVAL]]
  52 ;
  53   %cmp = icmp eq <4 x i8> %y, <i8 2, i8 2, i8 2, i8 2>
  54   %shuffle = shufflevector <4 x i8> %y, <4 x i8> %z, <4 x i32> <i32 4, i32 1, i32 6, i32 3>
  55   %retval = select <4 x i1> %cmp, <4 x i8> %shuffle, <4 x i8> %x
  56   ret <4 x i8> %retval
  57 }
  58
  59 define <2 x i8> @select_icmp_shufflevector_lanecrossing(<2 x i8> %x, <2 x i8> %y) {
  60 ; CHECK-LABEL: define <2 x i8> @select_icmp_shufflevector_lanecrossing(
  61 ; CHECK-SAME: <2 x i8> [[X:%.*]], <2 x i8> [[Y:%.*]]) {
  62 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq <2 x i8> [[Y]], splat (i8 2)
  63 ; CHECK-NEXT:    [[SHUFFLE:%.*]] = shufflevector <2 x i8> [[Y]], <2 x i8> poison, <2 x i32> <i32 1, i32 0>
  64 ; CHECK-NEXT:    [[RETVAL:%.*]] = select <2 x i1> [[CMP]], <2 x i8> [[SHUFFLE]], <2 x i8> [[X]]
  65 ; CHECK-NEXT:    ret <2 x i8> [[RETVAL]]
  66 ;
  67   %cmp = icmp eq <2 x i8> %y, <i8 2, i8 2>
  68   %shuffle = shufflevector <2 x i8> %y, <2 x i8> poison, <2 x i32> <i32 1, i32 0>
  69   %retval = select <2 x i1> %cmp, <2 x i8> %shuffle, <2 x i8> %x
  70   ret <2 x i8> %retval
  71 }
  72
  73 declare <2 x i8> @fn(<2 x i8>) speculatable
  74
  75 define <2 x i8> @select_icmp_call_possibly_lanecrossing(<2 x i8> %x, <2 x i8> %y) {
  76 ; CHECK-LABEL: define <2 x i8> @select_icmp_call_possibly_lanecrossing(
  77 ; CHECK-SAME: <2 x i8> [[X:%.*]], <2 x i8> [[Y:%.*]]) {
  78 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq <2 x i8> [[Y]], splat (i8 2)
  79 ; CHECK-NEXT:    [[CALL:%.*]] = call <2 x i8> @fn(<2 x i8> [[Y]])
  80 ; CHECK-NEXT:    [[RETVAL:%.*]] = select <2 x i1> [[CMP]], <2 x i8> [[CALL]], <2 x i8> [[X]]
  81 ; CHECK-NEXT:    ret <2 x i8> [[RETVAL]]
  82 ;
  83   %cmp = icmp eq <2 x i8> %y, <i8 2, i8 2>
  84   %call = call <2 x i8> @fn(<2 x i8> %y)
  85   %retval = select <2 x i1> %cmp, <2 x i8> %call, <2 x i8> %x
  86   ret <2 x i8> %retval
  87 }
  88
  89 define float @select_fcmp_fadd_oeq_not_zero(float %x, float %y) {
  90 ; CHECK-LABEL: define float @select_fcmp_fadd_oeq_not_zero(
  91 ; CHECK-SAME: float [[X:%.*]], float [[Y:%.*]]) {
  92 ; CHECK-NEXT:    [[FCMP:%.*]] = fcmp oeq float [[Y]], 2.000000e+00
  93 ; CHECK-NEXT:    [[FADD:%.*]] = fadd float [[X]], 2.000000e+00
  94 ; CHECK-NEXT:    [[RETVAL:%.*]] = select i1 [[FCMP]], float [[FADD]], float [[X]]
  95 ; CHECK-NEXT:    ret float [[RETVAL]]
  96 ;
  97   %fcmp = fcmp oeq float %y, 2.0
  98   %fadd = fadd float %x, %y
  99   %retval = select i1 %fcmp, float %fadd, float %x
 100   ret float %retval
 101 }
 102
 103 define float @select_fcmp_fadd_une_not_zero(float %x, float %y) {
 104 ; CHECK-LABEL: define float @select_fcmp_fadd_une_not_zero(
 105 ; CHECK-SAME: float [[X:%.*]], float [[Y:%.*]]) {
 106 ; CHECK-NEXT:    [[FCMP:%.*]] = fcmp une float [[Y]], 2.000000e+00
 107 ; CHECK-NEXT:    [[FADD:%.*]] = fadd float [[X]], 2.000000e+00
 108 ; CHECK-NEXT:    [[RETVAL:%.*]] = select i1 [[FCMP]], float [[X]], float [[FADD]]
 109 ; CHECK-NEXT:    ret float [[RETVAL]]
 110 ;
 111   %fcmp = fcmp une float %y, 2.0
 112   %fadd = fadd float %x, %y
 113   %retval = select i1 %fcmp, float %x, float %fadd
 114   ret float %retval
 115 }
 116
 117 define float @select_fcmp_fadd_ueq_nnan_not_zero(float %x, float %y) {
 118 ; CHECK-LABEL: define float @select_fcmp_fadd_ueq_nnan_not_zero(
 119 ; CHECK-SAME: float [[X:%.*]], float [[Y:%.*]]) {
 120 ; CHECK-NEXT:    [[FCMP:%.*]] = fcmp nnan ueq float [[Y]], 2.000000e+00
 121 ; CHECK-NEXT:    [[FADD:%.*]] = fadd float [[X]], 2.000000e+00
 122 ; CHECK-NEXT:    [[RETVAL:%.*]] = select i1 [[FCMP]], float [[FADD]], float [[X]]
 123 ; CHECK-NEXT:    ret float [[RETVAL]]
 124 ;
 125   %fcmp = fcmp nnan ueq float %y, 2.0
 126   %fadd = fadd float %x, %y
 127   %retval = select i1 %fcmp, float %fadd, float %x
 128   ret float %retval
 129 }
 130
 131 define float @select_fcmp_fadd_one_nnan_not_zero(float %x, float %y) {
 132 ; CHECK-LABEL: define float @select_fcmp_fadd_one_nnan_not_zero(
 133 ; CHECK-SAME: float [[X:%.*]], float [[Y:%.*]]) {
 134 ; CHECK-NEXT:    [[FCMP:%.*]] = fcmp nnan one float [[Y]], 2.000000e+00
 135 ; CHECK-NEXT:    [[FADD:%.*]] = fadd float [[X]], 2.000000e+00
 136 ; CHECK-NEXT:    [[RETVAL:%.*]] = select i1 [[FCMP]], float [[X]], float [[FADD]]
 137 ; CHECK-NEXT:    ret float [[RETVAL]]
 138 ;
 139   %fcmp = fcmp nnan one float %y, 2.0
 140   %fadd = fadd float %x, %y
 141   %retval = select i1 %fcmp, float %x, float %fadd
 142   ret float %retval
 143 }
 144
 145 define float @select_fcmp_fadd_ueq(float %x, float %y) {
 146 ; CHECK-LABEL: define float @select_fcmp_fadd_ueq(
 147 ; CHECK-SAME: float [[X:%.*]], float [[Y:%.*]]) {
 148 ; CHECK-NEXT:    [[FCMP:%.*]] = fcmp ueq float [[Y]], 2.000000e+00
 149 ; CHECK-NEXT:    [[FADD:%.*]] = fadd float [[X]], [[Y]]
 150 ; CHECK-NEXT:    [[RETVAL:%.*]] = select i1 [[FCMP]], float [[FADD]], float [[X]]
 151 ; CHECK-NEXT:    ret float [[RETVAL]]
 152 ;
 153   %fcmp = fcmp ueq float %y, 2.0
 154   %fadd = fadd float %x, %y
 155   %retval = select i1 %fcmp, float %fadd, float %x
 156   ret float %retval
 157 }
 158
 159 define float @select_fcmp_fadd_one(float %x, float %y) {
 160 ; CHECK-LABEL: define float @select_fcmp_fadd_one(
 161 ; CHECK-SAME: float [[X:%.*]], float [[Y:%.*]]) {
 162 ; CHECK-NEXT:    [[FCMP:%.*]] = fcmp one float [[Y]], 2.000000e+00
 163 ; CHECK-NEXT:    [[FADD:%.*]] = fadd float [[X]], [[Y]]
 164 ; CHECK-NEXT:    [[RETVAL:%.*]] = select i1 [[FCMP]], float [[X]], float [[FADD]]
 165 ; CHECK-NEXT:    ret float [[RETVAL]]
 166 ;
 167   %fcmp = fcmp one float %y, 2.0
 168   %fadd = fadd float %x, %y
 169   %retval = select i1 %fcmp, float %x, float %fadd
 170   ret float %retval
 171 }
 172
 173 define float @select_fcmp_fadd_oeq_zero(float %x, float %y) {
 174 ; CHECK-LABEL: define float @select_fcmp_fadd_oeq_zero(
 175 ; CHECK-SAME: float [[X:%.*]], float [[Y:%.*]]) {
 176 ; CHECK-NEXT:    [[FCMP:%.*]] = fcmp oeq float [[Y]], 0.000000e+00
 177 ; CHECK-NEXT:    [[FADD:%.*]] = fadd float [[X]], [[Y]]
 178 ; CHECK-NEXT:    [[RETVAL:%.*]] = select i1 [[FCMP]], float [[FADD]], float [[X]]
 179 ; CHECK-NEXT:    ret float [[RETVAL]]
 180 ;
 181   %fcmp = fcmp oeq float %y, 0.0
 182   %fadd = fadd float %x, %y
 183   %retval = select i1 %fcmp, float %fadd, float %x
 184   ret float %retval
 185 }
 186
 187 define float @select_fcmp_fadd_une_zero(float %x, float %y) {
 188 ; CHECK-LABEL: define float @select_fcmp_fadd_une_zero(
 189 ; CHECK-SAME: float [[X:%.*]], float [[Y:%.*]]) {
 190 ; CHECK-NEXT:    [[FCMP:%.*]] = fcmp une float [[Y]], 0.000000e+00
 191 ; CHECK-NEXT:    [[FADD:%.*]] = fadd float [[X]], [[Y]]
 192 ; CHECK-NEXT:    [[RETVAL:%.*]] = select i1 [[FCMP]], float [[X]], float [[FADD]]
 193 ; CHECK-NEXT:    ret float [[RETVAL]]
 194 ;
 195   %fcmp = fcmp une float %y, 0.0
 196   %fadd = fadd float %x, %y
 197   %retval = select i1 %fcmp, float %x, float %fadd
 198   ret float %retval
 199 }
 200
 201 define <2 x float> @select_fcmp_fadd_oeq_not_zero_vec(<2 x float> %x, <2 x float> %y) {
 202 ; CHECK-LABEL: define <2 x float> @select_fcmp_fadd_oeq_not_zero_vec(
 203 ; CHECK-SAME: <2 x float> [[X:%.*]], <2 x float> [[Y:%.*]]) {
 204 ; CHECK-NEXT:    [[FCMP:%.*]] = fcmp oeq <2 x float> [[Y]], splat (float 2.000000e+00)
 205 ; CHECK-NEXT:    [[FADD:%.*]] = fadd <2 x float> [[X]], splat (float 2.000000e+00)
 206 ; CHECK-NEXT:    [[RETVAL:%.*]] = select <2 x i1> [[FCMP]], <2 x float> [[FADD]], <2 x float> [[X]]
 207 ; CHECK-NEXT:    ret <2 x float> [[RETVAL]]
 208 ;
 209   %fcmp = fcmp oeq <2 x float> %y, <float 2.0, float 2.0>
 210   %fadd = fadd <2 x float> %x, %y
 211   %retval = select <2 x i1> %fcmp, <2 x float> %fadd, <2 x float> %x
 212   ret <2 x float> %retval
 213 }
 214
 215 define <2 x float> @select_fcmp_fadd_une_not_zero_vec(<2 x float> %x, <2 x float> %y) {
 216 ; CHECK-LABEL: define <2 x float> @select_fcmp_fadd_une_not_zero_vec(
 217 ; CHECK-SAME: <2 x float> [[X:%.*]], <2 x float> [[Y:%.*]]) {
 218 ; CHECK-NEXT:    [[FCMP:%.*]] = fcmp une <2 x float> [[Y]], splat (float 2.000000e+00)
 219 ; CHECK-NEXT:    [[FADD:%.*]] = fadd <2 x float> [[X]], splat (float 2.000000e+00)
 220 ; CHECK-NEXT:    [[RETVAL:%.*]] = select <2 x i1> [[FCMP]], <2 x float> [[X]], <2 x float> [[FADD]]
 221 ; CHECK-NEXT:    ret <2 x float> [[RETVAL]]
 222 ;
 223   %fcmp = fcmp une <2 x float> %y, <float 2.0, float 2.0>
 224   %fadd = fadd <2 x float> %x, %y
 225   %retval = select <2 x i1> %fcmp, <2 x float> %x, <2 x float> %fadd
 226   ret <2 x float> %retval
 227 }
 228
 229 define <2 x float> @select_fcmp_fadd_ueq_nnan_not_zero_vec(<2 x float> %x, <2 x float> %y) {
 230 ; CHECK-LABEL: define <2 x float> @select_fcmp_fadd_ueq_nnan_not_zero_vec(
 231 ; CHECK-SAME: <2 x float> [[X:%.*]], <2 x float> [[Y:%.*]]) {
 232 ; CHECK-NEXT:    [[FCMP:%.*]] = fcmp nnan ueq <2 x float> [[Y]], splat (float 2.000000e+00)
 233 ; CHECK-NEXT:    [[FADD:%.*]] = fadd <2 x float> [[X]], splat (float 2.000000e+00)
 234 ; CHECK-NEXT:    [[RETVAL:%.*]] = select <2 x i1> [[FCMP]], <2 x float> [[FADD]], <2 x float> [[X]]
 235 ; CHECK-NEXT:    ret <2 x float> [[RETVAL]]
 236 ;
 237   %fcmp = fcmp nnan ueq <2 x float> %y, <float 2.0, float 2.0>
 238   %fadd = fadd <2 x float> %x, %y
 239   %retval = select <2 x i1> %fcmp, <2 x float> %fadd, <2 x float> %x
 240   ret <2 x float> %retval
 241 }
 242
 243 define <2 x float> @select_fcmp_fadd_one_nnan_not_zero_vec(<2 x float> %x, <2 x float> %y) {
 244 ; CHECK-LABEL: define <2 x float> @select_fcmp_fadd_one_nnan_not_zero_vec(
 245 ; CHECK-SAME: <2 x float> [[X:%.*]], <2 x float> [[Y:%.*]]) {
 246 ; CHECK-NEXT:    [[FCMP:%.*]] = fcmp nnan one <2 x float> [[Y]], splat (float 2.000000e+00)
 247 ; CHECK-NEXT:    [[FADD:%.*]] = fadd <2 x float> [[X]], splat (float 2.000000e+00)
 248 ; CHECK-NEXT:    [[RETVAL:%.*]] = select <2 x i1> [[FCMP]], <2 x float> [[X]], <2 x float> [[FADD]]
 249 ; CHECK-NEXT:    ret <2 x float> [[RETVAL]]
 250 ;
 251   %fcmp = fcmp nnan one <2 x float> %y, <float 2.0, float 2.0>
 252   %fadd = fadd <2 x float> %x, %y
 253   %retval = select <2 x i1> %fcmp, <2 x float> %x, <2 x float> %fadd
 254   ret <2 x float> %retval
 255 }
 256
 257 define <2 x float> @select_fcmp_fadd_ueq_vec(<2 x float> %x, <2 x float> %y) {
 258 ; CHECK-LABEL: define <2 x float> @select_fcmp_fadd_ueq_vec(
 259 ; CHECK-SAME: <2 x float> [[X:%.*]], <2 x float> [[Y:%.*]]) {
 260 ; CHECK-NEXT:    [[FCMP:%.*]] = fcmp ueq <2 x float> [[Y]], splat (float 2.000000e+00)
 261 ; CHECK-NEXT:    [[FADD:%.*]] = fadd <2 x float> [[X]], [[Y]]
 262 ; CHECK-NEXT:    [[RETVAL:%.*]] = select <2 x i1> [[FCMP]], <2 x float> [[FADD]], <2 x float> [[X]]
 263 ; CHECK-NEXT:    ret <2 x float> [[RETVAL]]
 264 ;
 265   %fcmp = fcmp ueq <2 x float> %y, <float 2.0, float 2.0>
 266   %fadd = fadd <2 x float> %x, %y
 267   %retval = select <2 x i1> %fcmp, <2 x float> %fadd, <2 x float> %x
 268   ret <2 x float> %retval
 269 }
 270
 271 define <2 x float> @select_fcmp_fadd_one_vec(<2 x float> %x, <2 x float> %y) {
 272 ; CHECK-LABEL: define <2 x float> @select_fcmp_fadd_one_vec(
 273 ; CHECK-SAME: <2 x float> [[X:%.*]], <2 x float> [[Y:%.*]]) {
 274 ; CHECK-NEXT:    [[FCMP:%.*]] = fcmp one <2 x float> [[Y]], splat (float 2.000000e+00)
 275 ; CHECK-NEXT:    [[FADD:%.*]] = fadd <2 x float> [[X]], [[Y]]
 276 ; CHECK-NEXT:    [[RETVAL:%.*]] = select <2 x i1> [[FCMP]], <2 x float> [[X]], <2 x float> [[FADD]]
 277 ; CHECK-NEXT:    ret <2 x float> [[RETVAL]]
 278 ;
 279   %fcmp = fcmp one <2 x float> %y, <float 2.0, float 2.0>
 280   %fadd = fadd <2 x float> %x, %y
 281   %retval = select <2 x i1> %fcmp, <2 x float> %x, <2 x float> %fadd
 282   ret <2 x float> %retval
 283 }
 284
 285 define <2 x float> @select_fcmp_fadd_oeq_zero_vec(<2 x float> %x, <2 x float> %y) {
 286 ; CHECK-LABEL: define <2 x float> @select_fcmp_fadd_oeq_zero_vec(
 287 ; CHECK-SAME: <2 x float> [[X:%.*]], <2 x float> [[Y:%.*]]) {
 288 ; CHECK-NEXT:    [[FCMP:%.*]] = fcmp oeq <2 x float> [[Y]], zeroinitializer
 289 ; CHECK-NEXT:    [[FADD:%.*]] = fadd <2 x float> [[X]], [[Y]]
 290 ; CHECK-NEXT:    [[RETVAL:%.*]] = select <2 x i1> [[FCMP]], <2 x float> [[FADD]], <2 x float> [[X]]
 291 ; CHECK-NEXT:    ret <2 x float> [[RETVAL]]
 292 ;
 293   %fcmp = fcmp oeq <2 x float> %y, zeroinitializer
 294   %fadd = fadd <2 x float> %x, %y
 295   %retval = select <2 x i1> %fcmp, <2 x float> %fadd, <2 x float> %x
 296   ret <2 x float> %retval
 297 }
 298
 299 define <2 x float> @select_fcmp_fadd_une_zero_vec(<2 x float> %x, <2 x float> %y) {
 300 ; CHECK-LABEL: define <2 x float> @select_fcmp_fadd_une_zero_vec(
 301 ; CHECK-SAME: <2 x float> [[X:%.*]], <2 x float> [[Y:%.*]]) {
 302 ; CHECK-NEXT:    [[FCMP:%.*]] = fcmp une <2 x float> [[Y]], zeroinitializer
 303 ; CHECK-NEXT:    [[FADD:%.*]] = fadd <2 x float> [[X]], [[Y]]
 304 ; CHECK-NEXT:    [[RETVAL:%.*]] = select <2 x i1> [[FCMP]], <2 x float> [[X]], <2 x float> [[FADD]]
 305 ; CHECK-NEXT:    ret <2 x float> [[RETVAL]]
 306 ;
 307   %fcmp = fcmp une <2 x float> %y, zeroinitializer
 308   %fadd = fadd <2 x float> %x, %y
 309   %retval = select <2 x i1> %fcmp, <2 x float> %x, <2 x float> %fadd
 310   ret <2 x float> %retval
 311 }