diff options
Diffstat (limited to 'llvm/test/Transforms/Reassociate/mixed-fast-nonfast-fp.ll')
| -rw-r--r-- | llvm/test/Transforms/Reassociate/mixed-fast-nonfast-fp.ll | 17 |
1 files changed, 9 insertions, 8 deletions
diff --git a/llvm/test/Transforms/Reassociate/mixed-fast-nonfast-fp.ll b/llvm/test/Transforms/Reassociate/mixed-fast-nonfast-fp.ll index 14871f45b01..d37bfbbdf52 100644 --- a/llvm/test/Transforms/Reassociate/mixed-fast-nonfast-fp.ll +++ b/llvm/test/Transforms/Reassociate/mixed-fast-nonfast-fp.ll @@ -1,11 +1,12 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; RUN: opt -reassociate %s -S | FileCheck %s define float @foo(float %a,float %b, float %c) { ; CHECK-LABEL: @foo( -; CHECK-NEXT: [[MUL3:%.*]] = fmul float %a, %b -; CHECK-NEXT: [[FACTOR:%.*]] = fmul fast float %c, 2.000000e+00 -; CHECK-NEXT: [[REASS_ADD1:%.*]] = fadd fast float [[FACTOR]], %b -; CHECK-NEXT: [[REASS_MUL:%.*]] = fmul fast float [[REASS_ADD1]], %a +; CHECK-NEXT: [[MUL3:%.*]] = fmul float [[A:%.*]], [[B:%.*]] +; CHECK-NEXT: [[FACTOR:%.*]] = fmul fast float [[C:%.*]], 2.000000e+00 +; CHECK-NEXT: [[REASS_ADD1:%.*]] = fadd fast float [[FACTOR]], [[B]] +; CHECK-NEXT: [[REASS_MUL:%.*]] = fmul fast float [[REASS_ADD1]], [[A]] ; CHECK-NEXT: [[ADD3:%.*]] = fadd fast float [[REASS_MUL]], [[MUL3]] ; CHECK-NEXT: ret float [[ADD3]] ; @@ -21,10 +22,10 @@ define float @foo(float %a,float %b, float %c) { define float @foo_reassoc(float %a,float %b, float %c) { ; CHECK-LABEL: @foo_reassoc( -; CHECK-NEXT: [[MUL1:%.*]] = fmul reassoc float %a, %c -; CHECK-NEXT: [[MUL2:%.*]] = fmul fast float %b, %a -; CHECK-NEXT: [[MUL3:%.*]] = fmul float %a, %b -; CHECK-NEXT: [[MUL4:%.*]] = fmul reassoc float %a, %c +; CHECK-NEXT: [[MUL1:%.*]] = fmul reassoc float [[A:%.*]], [[C:%.*]] +; CHECK-NEXT: [[MUL2:%.*]] = fmul fast float [[B:%.*]], [[A]] +; CHECK-NEXT: [[MUL3:%.*]] = fmul float [[A]], [[B]] +; CHECK-NEXT: [[MUL4:%.*]] = fmul reassoc float [[A]], [[C]] ; CHECK-NEXT: [[ADD1:%.*]] = fadd fast float [[MUL1]], [[MUL3]] ; CHECK-NEXT: [[ADD2:%.*]] = fadd reassoc float [[MUL2]], [[MUL4]] ; CHECK-NEXT: [[ADD3:%.*]] = fadd fast float [[ADD1]], [[ADD2]] |
