diff options
Diffstat (limited to 'test/Transforms/Reassociate/2002-05-15-SubReassociate.ll')
-rw-r--r-- | test/Transforms/Reassociate/2002-05-15-SubReassociate.ll | 34 |
1 files changed, 26 insertions, 8 deletions
diff --git a/test/Transforms/Reassociate/2002-05-15-SubReassociate.ll b/test/Transforms/Reassociate/2002-05-15-SubReassociate.ll index c18af5e07e..29c178ffec 100644 --- a/test/Transforms/Reassociate/2002-05-15-SubReassociate.ll +++ b/test/Transforms/Reassociate/2002-05-15-SubReassociate.ll @@ -1,12 +1,30 @@ +; RUN: opt < %s -reassociate -constprop -instcombine -dce -S | FileCheck %s + ; With sub reassociation, constant folding can eliminate all of the constants. -; -; RUN: opt < %s -reassociate -constprop -instcombine -dce -S | not grep add +define i32 @test1(i32 %A, i32 %B) { +; CHECK-LABEL: test1 +; CHECK-NEXT: %Z = sub i32 %A, %B +; CHECK-NEXT: ret i32 %Z -define i32 @test(i32 %A, i32 %B) { - %W = add i32 5, %B ; <i32> [#uses=1] - %X = add i32 -7, %A ; <i32> [#uses=1] - %Y = sub i32 %X, %W ; <i32> [#uses=1] - %Z = add i32 %Y, 12 ; <i32> [#uses=1] - ret i32 %Z + %W = add i32 5, %B + %X = add i32 -7, %A + %Y = sub i32 %X, %W + %Z = add i32 %Y, 12 + ret i32 %Z } + +; With sub reassociation, constant folding can eliminate the two 12 constants. +define i32 @test2(i32 %A, i32 %B, i32 %C, i32 %D) { +; CHECK-LABEL: test2 +; CHECK-NEXT: %sum = add i32 %B, %A +; CHECK-NEXT: %sum1 = add i32 %sum, %C +; CHECK-NEXT: %Q = sub i32 %D, %sum1 +; CHECK-NEXT: ret i32 %Q + %M = add i32 %A, 12 + %N = add i32 %M, %B + %O = add i32 %N, %C + %P = sub i32 %D, %O + %Q = add i32 %P, 12 + ret i32 %Q +} |