diff options
Diffstat (limited to 'llvm/test/Transforms/Reassociate/optional-flags.ll')
| -rw-r--r-- | llvm/test/Transforms/Reassociate/optional-flags.ll | 25 |
1 files changed, 12 insertions, 13 deletions
diff --git a/llvm/test/Transforms/Reassociate/optional-flags.ll b/llvm/test/Transforms/Reassociate/optional-flags.ll index d8bb29a0954..bf599be78bc 100644 --- a/llvm/test/Transforms/Reassociate/optional-flags.ll +++ b/llvm/test/Transforms/Reassociate/optional-flags.ll @@ -1,29 +1,28 @@ -; RUN: opt -S -reassociate -dce < %s | FileCheck %s +; RUN: opt -S -reassociate < %s | FileCheck %s ; rdar://8944681 ; Reassociate should clear optional flags like nsw when reassociating. ; CHECK-LABEL: @test0( -; CHECK: %z = add i64 %b, 2 -define i64 @test0(i64 %a, i64 %b) { - %x = add nsw i64 %a, 2 - %y = add nsw i64 %x, %b - %z = sub nsw i64 %y, %a +; CHECK: %y = add i64 %b, %a +; CHECK: %z = add i64 %y, %c +define i64 @test0(i64 %a, i64 %b, i64 %c) { + %y = add nsw i64 %c, %b + %z = add i64 %y, %a ret i64 %z } ; CHECK-LABEL: @test1( -; CHECK: %y = mul i64 %a, 6 -; CHECK: %z = sub nsw i64 %y, %a -define i64 @test1(i64 %a, i64 %b) { - %x = add nsw i64 %a, %a - %y = mul nsw i64 %x, 3 - %z = sub nsw i64 %y, %a +; CHECK: %y = add i64 %b, %a +; CHECK: %z = add i64 %y, %c +define i64 @test1(i64 %a, i64 %b, i64 %c) { + %y = add i64 %c, %b + %z = add nsw i64 %y, %a ret i64 %z } ; PR9215 -; CHECK: %s = add nsw i32 %x, %y +; CHECK: %s = add nsw i32 %y, %x define i32 @test2(i32 %x, i32 %y) { %s = add nsw i32 %x, %y ret i32 %s |
