test/Transforms/Reassociate/fp-expr.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -S -reassociate < %s | FileCheck %s
   3
   4 define void @test1() {
   5 ; CHECK-LABEL: @test1(
   6 ; CHECK-NEXT:    [[T1:%.*]] = tail call <4 x float> @blam()
   7 ; CHECK-NEXT:    [[T1_NEG:%.*]] = fsub fast <4 x float> <float -0.000000e+00, float -0.000000e+00, float -0.000000e+00, float -0.000000e+00>, [[T1]]
   8 ; CHECK-NEXT:    [[T24:%.*]] = fadd fast <4 x float> [[T1_NEG]], undef
   9 ; CHECK-NEXT:    tail call void @wombat(<4 x float> [[T24]])
  10 ; CHECK-NEXT:    ret void
  11 ;
  12   %t1 = tail call <4 x float> @blam()
  13   %t23 = fsub fast <4 x float> undef, %t1
  14   %t24 = fadd fast <4 x float> %t23, undef
  15   tail call void @wombat(<4 x float> %t24)
  16   ret void
  17 }
  18
  19 define half @test2() {
  20 ; CHECK-LABEL: @test2(
  21 ; CHECK-NEXT:    [[T15:%.*]] = fsub fast half undef, undef
  22 ; CHECK-NEXT:    [[T15_NEG:%.*]] = fsub fast half 0xH8000, [[T15]]
  23 ; CHECK-NEXT:    [[T18:%.*]] = fadd fast half [[T15_NEG]], undef
  24 ; CHECK-NEXT:    ret half [[T18]]
  25 ;
  26   %t15 = fsub fast half undef, undef
  27   %t17 = fsub fast half undef, %t15
  28   %t18 = fadd fast half undef, %t17
  29   ret half %t18
  30 }
  31
  32
  33
  34 ; Function Attrs: optsize
  35 declare <4 x float> @blam()
  36
  37 ; Function Attrs: optsize
  38 declare void @wombat(<4 x float>)
  39