X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=test%2FTransforms%2FADCE%2F2002-07-17-PHIAssertion.ll;h=2f0df670d6ac0052596244b2a8d1947ed638a4b5;hb=198d8baafbfdfcf5a5e219602a5d94ed263973b4;hp=bd88884756c737b2b7d99c22644266db33fc4ce1;hpb=e78760e179caabddb48e158c4628f717995fcbc4;p=oota-llvm.git diff --git a/test/Transforms/ADCE/2002-07-17-PHIAssertion.ll b/test/Transforms/ADCE/2002-07-17-PHIAssertion.ll index bd88884756c..2f0df670d6a 100644 --- a/test/Transforms/ADCE/2002-07-17-PHIAssertion.ll +++ b/test/Transforms/ADCE/2002-07-17-PHIAssertion.ll @@ -1,49 +1,48 @@ ; This testcase was extracted from the gzip SPEC benchmark ; -; RUN: llvm-as < %s | opt -adce +; RUN: opt < %s -adce -%bk = external global uint ; [#uses=2] -%hufts = external global uint ; [#uses=1] +@bk = external global i32 ; [#uses=2] +@hufts = external global i32 ; [#uses=1] -implementation ; Functions: +define i32 @inflate() { +bb0: + br label %bb2 -int %inflate() { -bb0: ;[#uses=1] - br label %bb2 +bb2: ; preds = %bb6, %bb0 + %reg128 = phi i32 [ %reg130, %bb6 ], [ 0, %bb0 ] ; [#uses=2] + br i1 true, label %bb4, label %bb3 -bb2: ;[#uses=2] - %reg128 = phi uint [ %reg130, %bb6 ], [ 0, %bb0 ] ; [#uses=2] - br bool true, label %bb4, label %bb3 +bb3: ; preds = %bb2 + br label %UnifiedExitNode -bb3: ;[#uses=2] - br label %UnifiedExitNode +bb4: ; preds = %bb2 + %reg117 = load i32* @hufts ; [#uses=2] + %cond241 = icmp ule i32 %reg117, %reg128 ; [#uses=1] + br i1 %cond241, label %bb6, label %bb5 -bb4: ;[#uses=2] - %reg117 = load uint* %hufts ; [#uses=2] - %cond241 = setle uint %reg117, %reg128 ; [#uses=1] - br bool %cond241, label %bb6, label %bb5 +bb5: ; preds = %bb4 + br label %bb6 -bb5: ;[#uses=2] - br label %bb6 +bb6: ; preds = %bb5, %bb4 + %reg130 = phi i32 [ %reg117, %bb5 ], [ %reg128, %bb4 ] ; [#uses=1] + br i1 false, label %bb2, label %bb7 -bb6: ;[#uses=3] - %reg130 = phi uint [ %reg117, %bb5 ], [ %reg128, %bb4 ] ; [#uses=1] - br bool false, label %bb2, label %bb7 +bb7: ; preds = %bb6 + %reg126 = load i32* @bk ; [#uses=1] + %cond247 = icmp ule i32 %reg126, 7 ; [#uses=1] + br i1 %cond247, label %bb9, label %bb8 -bb7: ;[#uses=1] - %reg126 = load uint* %bk ; [#uses=1] - %cond247 = setle uint %reg126, 7 ; [#uses=1] - br bool %cond247, label %bb9, label %bb8 +bb8: ; preds = %bb8, %bb7 + %reg119 = load i32* @bk ; [#uses=1] + %cond256 = icmp ugt i32 %reg119, 7 ; [#uses=1] + br i1 %cond256, label %bb8, label %bb9 -bb8: ;[#uses=2] - %reg119 = load uint* %bk ; [#uses=1] - %cond256 = setgt uint %reg119, 7 ; [#uses=1] - br bool %cond256, label %bb8, label %bb9 +bb9: ; preds = %bb8, %bb7 + br label %UnifiedExitNode -bb9: ;[#uses=3] - br label %UnifiedExitNode - -UnifiedExitNode: ;[#uses=2] - %UnifiedRetVal = phi int [ 7, %bb3 ], [ 0, %bb9 ] ; [#uses=1] - ret int %UnifiedRetVal +UnifiedExitNode: ; preds = %bb9, %bb3 + %UnifiedRetVal = phi i32 [ 7, %bb3 ], [ 0, %bb9 ] ; [#uses=1] + ret i32 %UnifiedRetVal } +