diff options
Diffstat (limited to 'llvm/test/Transforms/Reassociate/multistep.ll')
| -rw-r--r-- | llvm/test/Transforms/Reassociate/multistep.ll | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/llvm/test/Transforms/Reassociate/multistep.ll b/llvm/test/Transforms/Reassociate/multistep.ll index 239ffe08227..35a853d820b 100644 --- a/llvm/test/Transforms/Reassociate/multistep.ll +++ b/llvm/test/Transforms/Reassociate/multistep.ll @@ -1,12 +1,13 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; RUN: opt < %s -reassociate -S | FileCheck %s ; Check that a*a*b+a*a*c is turned into a*(a*(b+c)). define i64 @multistep1(i64 %a, i64 %b, i64 %c) { ; CHECK-LABEL: @multistep1( -; CHECK-NEXT: [[REASS_ADD1:%.*]] = add i64 %c, %b -; CHECK-NEXT: [[REASS_MUL2:%.*]] = mul i64 %a, %a -; CHECK-NEXT: [[REASS_MUL:%.*]] = mul i64 [[REASS_MUL:%.*]]2, [[REASS_ADD1]] +; CHECK-NEXT: [[REASS_ADD1:%.*]] = add i64 [[C:%.*]], [[B:%.*]] +; CHECK-NEXT: [[REASS_MUL2:%.*]] = mul i64 [[A:%.*]], [[A]] +; CHECK-NEXT: [[REASS_MUL:%.*]] = mul i64 [[REASS_MUL2]], [[REASS_ADD1]] ; CHECK-NEXT: ret i64 [[REASS_MUL]] ; %t0 = mul i64 %a, %b @@ -21,9 +22,9 @@ define i64 @multistep1(i64 %a, i64 %b, i64 %c) { define i64 @multistep2(i64 %a, i64 %b, i64 %c, i64 %d) { ; CHECK-LABEL: @multistep2( -; CHECK-NEXT: [[REASS_ADD:%.*]] = add i64 %c, %b -; CHECK-NEXT: [[REASS_MUL:%.*]] = mul i64 [[REASS_ADD]], %a -; CHECK-NEXT: [[T3:%.*]] = add i64 [[REASS_MUL]], %d +; CHECK-NEXT: [[REASS_ADD:%.*]] = add i64 [[C:%.*]], [[B:%.*]] +; CHECK-NEXT: [[REASS_MUL:%.*]] = mul i64 [[REASS_ADD]], [[A:%.*]] +; CHECK-NEXT: [[T3:%.*]] = add i64 [[REASS_MUL]], [[D:%.*]] ; CHECK-NEXT: ret i64 [[T3]] ; %t0 = mul i64 %a, %b |
