X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=test%2FTransforms%2FReassociate%2F2005-09-01-ArrayOutOfBounds.ll;h=f6cef35b1779064c5fc46474d17bc8d604e0981e;hb=12d60e9e7c149a7d333e277dfbe25a720c88c585;hp=f66148bb4abcee2ba7f2911b3b9f63751de33490;hpb=4177e6fff50552908bab510f1e896fa974a6f155;p=oota-llvm.git diff --git a/test/Transforms/Reassociate/2005-09-01-ArrayOutOfBounds.ll b/test/Transforms/Reassociate/2005-09-01-ArrayOutOfBounds.ll index f66148bb4ab..f6cef35b177 100644 --- a/test/Transforms/Reassociate/2005-09-01-ArrayOutOfBounds.ll +++ b/test/Transforms/Reassociate/2005-09-01-ArrayOutOfBounds.ll @@ -1,23 +1,24 @@ -; RUN: opt < %s -reassociate -instcombine -S |\ -; RUN: grep "ret i32 0" +; RUN: opt < %s -reassociate -instcombine -S | FileCheck %s -define i32 @f(i32 %a0, i32 %a1, i32 %a2, i32 %a3, i32 %a4) { - %tmp.2 = add i32 %a4, %a3 ; [#uses=1] - %tmp.4 = add i32 %tmp.2, %a2 ; [#uses=1] - %tmp.6 = add i32 %tmp.4, %a1 ; [#uses=1] - %tmp.8 = add i32 %tmp.6, %a0 ; [#uses=1] - %tmp.11 = add i32 %a3, %a2 ; [#uses=1] - %tmp.13 = add i32 %tmp.11, %a1 ; [#uses=1] - %tmp.15 = add i32 %tmp.13, %a0 ; [#uses=1] - %tmp.18 = add i32 %a2, %a1 ; [#uses=1] - %tmp.20 = add i32 %tmp.18, %a0 ; [#uses=1] - %tmp.23 = add i32 %a1, %a0 ; [#uses=1] - %tmp.26 = sub i32 %tmp.8, %tmp.15 ; [#uses=1] - %tmp.28 = add i32 %tmp.26, %tmp.20 ; [#uses=1] - %tmp.30 = sub i32 %tmp.28, %tmp.23 ; [#uses=1] - %tmp.32 = sub i32 %tmp.30, %a4 ; [#uses=1] - %tmp.34 = sub i32 %tmp.32, %a2 ; [#uses=2] - %T = mul i32 %tmp.34, %tmp.34 ; [#uses=1] - ret i32 %T -} +define i32 @f1(i32 %a0, i32 %a1, i32 %a2, i32 %a3, i32 %a4) { +; CHECK-LABEL: f1 +; CHECK-NEXT: ret i32 0 + %tmp.2 = add i32 %a4, %a3 + %tmp.4 = add i32 %tmp.2, %a2 + %tmp.6 = add i32 %tmp.4, %a1 + %tmp.8 = add i32 %tmp.6, %a0 + %tmp.11 = add i32 %a3, %a2 + %tmp.13 = add i32 %tmp.11, %a1 + %tmp.15 = add i32 %tmp.13, %a0 + %tmp.18 = add i32 %a2, %a1 + %tmp.20 = add i32 %tmp.18, %a0 + %tmp.23 = add i32 %a1, %a0 + %tmp.26 = sub i32 %tmp.8, %tmp.15 + %tmp.28 = add i32 %tmp.26, %tmp.20 + %tmp.30 = sub i32 %tmp.28, %tmp.23 + %tmp.32 = sub i32 %tmp.30, %a4 + %tmp.34 = sub i32 %tmp.32, %a2 + %T = mul i32 %tmp.34, %tmp.34 + ret i32 %T +}