From 3b1d3068c32cf36d16f1a0f468b2c817f6fc0f7d Mon Sep 17 00:00:00 2001 From: Evan Cheng Date: Tue, 14 Aug 2007 23:34:50 +0000 Subject: [PATCH] New test. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@41087 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/CodeGen/ARM/2007-08-14-SpillDeadDef.ll | 116 ++++++++++++++++++++ 1 file changed, 116 insertions(+) create mode 100644 test/CodeGen/ARM/2007-08-14-SpillDeadDef.ll diff --git a/test/CodeGen/ARM/2007-08-14-SpillDeadDef.ll b/test/CodeGen/ARM/2007-08-14-SpillDeadDef.ll new file mode 100644 index 00000000000..47d99c731c5 --- /dev/null +++ b/test/CodeGen/ARM/2007-08-14-SpillDeadDef.ll @@ -0,0 +1,116 @@ +; RUN: llvm-as < %s | llc -mtriple=arm-apple-darwin +; RUN: llvm-as < %s | llc -mtriple=arm-apple-darwin -stats -info-output-file - | grep "re-materializable defs elided" + + %struct.CONTENTBOX = type { i32, i32, i32, i32, i32 } + %struct.LOCBOX = type { i32, i32, i32, i32 } + %struct.SIDEBOX = type { i32, i32 } + %struct.UNCOMBOX = type { i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32 } + %struct.cellbox = type { i8*, i32, i32, i32, [9 x i32], i32, i32, i32, i32, i32, i32, i32, double, double, double, double, double, i32, i32, %struct.CONTENTBOX*, %struct.UNCOMBOX*, [8 x %struct.tilebox*], %struct.SIDEBOX* } + %struct.termbox = type { %struct.termbox*, i32, i32, i32, i32, i32 } + %struct.tilebox = type { %struct.tilebox*, double, double, double, double, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, %struct.termbox*, %struct.LOCBOX* } +@numcells = external global i32 ; [#uses=1] +@cellarray = external global %struct.cellbox** ; <%struct.cellbox***> [#uses=1] +@numBinsY = external global i32 ; [#uses=1] + +define fastcc void @fixpenal() { +entry: + %tmp491 = load i32* @numcells, align 4 ; [#uses=1] + %tmp9 = load %struct.cellbox*** @cellarray, align 4 ; <%struct.cellbox**> [#uses=1] + %tmp77.i = load i32* @numBinsY, align 4 ; [#uses=2] + br label %bb490 + +bb8: ; preds = %bb490, %cond_false428 + br i1 false, label %cond_false58.i, label %cond_false.i + +cond_false.i: ; preds = %bb8 + ret void + +cond_false58.i: ; preds = %bb8 + %highBinX.0.i = select i1 false, i32 1, i32 0 ; [#uses=2] + br i1 false, label %cond_next85.i, label %cond_false76.i + +cond_false76.i: ; preds = %cond_false58.i + ret void + +cond_next85.i: ; preds = %cond_false58.i + br i1 false, label %cond_next105.i, label %cond_false98.i + +cond_false98.i: ; preds = %cond_next85.i + ret void + +cond_next105.i: ; preds = %cond_next85.i + %tmp108.i = icmp eq i32 1, %highBinX.0.i ; [#uses=1] + %tmp115.i = icmp eq i32 1, %tmp77.i ; [#uses=1] + %bothcond.i = and i1 %tmp115.i, %tmp108.i ; [#uses=1] + %storemerge.i = select i1 %bothcond.i, i32 1, i32 0 ; [#uses=2] + br i1 false, label %whoOverlaps.exit, label %bb503.preheader.i + +bb503.preheader.i: ; preds = %bb513.i, %cond_next105.i + %i.022.0.i = phi i32 [ %tmp512.i, %bb513.i ], [ 0, %cond_next105.i ] ; [#uses=2] + %tmp165.i = getelementptr i32*** null, i32 %i.022.0.i ; [#uses=0] + br label %bb503.i + +bb137.i: ; preds = %bb503.i + br i1 false, label %bb162.i, label %bb148.i + +bb148.i: ; preds = %bb137.i + ret void + +bb162.i: ; preds = %bb137.i + %tmp49435.i = load i32* null ; [#uses=1] + br label %bb170.i + +bb170.i: ; preds = %bb491.i, %bb162.i + %indvar.i = phi i32 [ %k.032.0.i, %bb491.i ], [ 0, %bb162.i ] ; [#uses=2] + %k.032.0.i = add i32 %indvar.i, 1 ; [#uses=2] + %tmp173.i = getelementptr i32* null, i32 %k.032.0.i ; [#uses=1] + %tmp174.i = load i32* %tmp173.i ; [#uses=4] + %tmp177.i = icmp eq i32 %tmp174.i, %cell.1 ; [#uses=1] + %tmp184.i = icmp sgt i32 %tmp174.i, %tmp491 ; [#uses=1] + %bothcond = or i1 %tmp177.i, %tmp184.i ; [#uses=1] + br i1 %bothcond, label %bb491.i, label %cond_next188.i + +cond_next188.i: ; preds = %bb170.i + %tmp191.i = getelementptr %struct.cellbox** %tmp9, i32 %tmp174.i ; <%struct.cellbox**> [#uses=1] + %tmp192.i = load %struct.cellbox** %tmp191.i ; <%struct.cellbox*> [#uses=1] + %tmp195.i = icmp eq i32 %tmp174.i, 0 ; [#uses=1] + br i1 %tmp195.i, label %bb491.i, label %cond_true198.i + +cond_true198.i: ; preds = %cond_next188.i + %tmp210.i = getelementptr %struct.cellbox* %tmp192.i, i32 0, i32 3 ; [#uses=0] + ret void + +bb491.i: ; preds = %cond_next188.i, %bb170.i + %tmp490.i = add i32 %indvar.i, 2 ; [#uses=1] + %tmp496.i = icmp slt i32 %tmp49435.i, %tmp490.i ; [#uses=1] + br i1 %tmp496.i, label %bb500.i, label %bb170.i + +bb500.i: ; preds = %bb491.i + %indvar.next82.i = add i32 %j.0.i, 1 ; [#uses=1] + br label %bb503.i + +bb503.i: ; preds = %bb500.i, %bb503.preheader.i + %j.0.i = phi i32 [ 0, %bb503.preheader.i ], [ %indvar.next82.i, %bb500.i ] ; [#uses=2] + %tmp506.i = icmp sgt i32 %j.0.i, %tmp77.i ; [#uses=1] + br i1 %tmp506.i, label %bb513.i, label %bb137.i + +bb513.i: ; preds = %bb503.i + %tmp512.i = add i32 %i.022.0.i, 1 ; [#uses=2] + %tmp516.i = icmp sgt i32 %tmp512.i, %highBinX.0.i ; [#uses=1] + br i1 %tmp516.i, label %whoOverlaps.exit, label %bb503.preheader.i + +whoOverlaps.exit: ; preds = %bb513.i, %cond_next105.i + br i1 false, label %cond_false428, label %bb490 + +cond_false428: ; preds = %whoOverlaps.exit + br i1 false, label %bb497, label %bb8 + +bb490: ; preds = %whoOverlaps.exit, %entry + %binY.tmp.2 = phi i32 [ 0, %entry ], [ %storemerge.i, %whoOverlaps.exit ] ; [#uses=1] + %cell.1 = phi i32 [ 1, %entry ], [ 0, %whoOverlaps.exit ] ; [#uses=1] + br i1 false, label %bb497, label %bb8 + +bb497: ; preds = %bb490, %cond_false428 + %binY.tmp.3 = phi i32 [ %binY.tmp.2, %bb490 ], [ %storemerge.i, %cond_false428 ] ; [#uses=0] + ret void +} -- 2.34.1