llvm/test/Transforms/Reassociate/mixed-fast-nonfast-fp.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -passes=reassociate %s -S | FileCheck %s
   3
   4 define float @foo(float %a,float %b, float %c) {
   5 ; CHECK-LABEL: @foo(
   6 ; CHECK-NEXT:    [[MUL3:%.*]] = fmul float [[A:%.*]], [[B:%.*]]
   7 ; CHECK-NEXT:    [[FACTOR:%.*]] = fmul fast float [[C:%.*]], 2.000000e+00
   8 ; CHECK-NEXT:    [[REASS_ADD1:%.*]] = fadd fast float [[FACTOR]], [[B]]
   9 ; CHECK-NEXT:    [[REASS_MUL:%.*]] = fmul fast float [[REASS_ADD1]], [[A]]
  10 ; CHECK-NEXT:    [[ADD3:%.*]] = fadd fast float [[REASS_MUL]], [[MUL3]]
  11 ; CHECK-NEXT:    ret float [[ADD3]]
  12 ;
  13   %mul1 = fmul fast float %a, %c
  14   %mul2 = fmul fast float %a, %b
  15   %mul3 = fmul float %a, %b   ; STRICT
  16   %mul4 = fmul fast float %a, %c
  17   %add1 = fadd fast  float %mul1, %mul3
  18   %add2 = fadd fast float %mul4, %mul2
  19   %add3 = fadd fast float %add1, %add2
  20   ret float %add3
  21 }
  22
  23 define float @foo_reassoc(float %a,float %b, float %c) {
  24 ; CHECK-LABEL: @foo_reassoc(
  25 ; CHECK-NEXT:    [[MUL1:%.*]] = fmul reassoc float [[A:%.*]], [[C:%.*]]
  26 ; CHECK-NEXT:    [[MUL2:%.*]] = fmul fast float [[B:%.*]], [[A]]
  27 ; CHECK-NEXT:    [[MUL3:%.*]] = fmul float [[A]], [[B]]
  28 ; CHECK-NEXT:    [[MUL4:%.*]] = fmul reassoc float [[A]], [[C]]
  29 ; CHECK-NEXT:    [[ADD1:%.*]] = fadd fast float [[MUL1]], [[MUL3]]
  30 ; CHECK-NEXT:    [[ADD2:%.*]] = fadd reassoc float [[MUL2]], [[MUL4]]
  31 ; CHECK-NEXT:    [[ADD3:%.*]] = fadd fast float [[ADD1]], [[ADD2]]
  32 ; CHECK-NEXT:    ret float [[ADD3]]
  33 ;
  34   %mul1 = fmul reassoc float %a, %c
  35   %mul2 = fmul fast float %a, %b
  36   %mul3 = fmul float %a, %b   ; STRICT
  37   %mul4 = fmul reassoc float %a, %c
  38   %add1 = fadd fast  float %mul1, %mul3
  39   %add2 = fadd reassoc float %mul4, %mul2
  40   %add3 = fadd fast float %add1, %add2
  41   ret float %add3
  42 }
  43