diff options
Diffstat (limited to 'test/Transforms/GVN')
| -rw-r--r-- | test/Transforms/GVN/2007-07-26-InterlockingLoops.ll | 30 | ||||
| -rw-r--r-- | test/Transforms/GVN/2007-07-26-PhiErasure.ll | 28 |
2 files changed, 58 insertions, 0 deletions
diff --git a/test/Transforms/GVN/2007-07-26-InterlockingLoops.ll b/test/Transforms/GVN/2007-07-26-InterlockingLoops.ll new file mode 100644 index 0000000..1dd1479 --- /dev/null +++ b/test/Transforms/GVN/2007-07-26-InterlockingLoops.ll @@ -0,0 +1,30 @@ +; RUN: llvm-as < %s | opt -gvn | llvm-dis | not grep {tmp17625 =} +; RUN: llvm-as < %s | opt -gvn | llvm-dis | not grep {tmp17631 =} + +@last = external global [65 x i32*] ; <[65 x i32*]*> [#uses=1] + +define i32 @NextRootMove(i32 %wtm) { +cond_next95: ; preds = %cond_true85, %cond_true79, %cond_true73, %bb68 + %tmp17618 = load i32** getelementptr ([65 x i32*]* @last, i32 0, i32 1), align 4 ; <i32*> [#uses=0] + br label %cond_true116 + +cond_true116: ; preds = %cond_true111 + br i1 false, label %cond_true128, label %cond_true145 + +cond_true128: ; preds = %cond_true121 + %tmp17625 = load i32** getelementptr ([65 x i32*]* @last, i32 0, i32 1), align 4 ; <i32*> [#uses=0] + br i1 false, label %bb98.backedge, label %return.loopexit + +bb98.backedge: ; preds = %bb171, %cond_true145, %cond_true128 + br label %cond_true116 + +cond_true145: ; preds = %cond_false + %tmp17631 = load i32** getelementptr ([65 x i32*]* @last, i32 0, i32 1), align 4 ; <i32*> [#uses=0] + br i1 false, label %bb98.backedge, label %return.loopexit + +return.loopexit: ; preds = %bb171, %cond_true145, %cond_true128 + br label %return + +return: ; preds = %return.loopexit, %cond_next95, %cond_true85 + ret i32 0 +} diff --git a/test/Transforms/GVN/2007-07-26-PhiErasure.ll b/test/Transforms/GVN/2007-07-26-PhiErasure.ll new file mode 100644 index 0000000..52c5b8e --- /dev/null +++ b/test/Transforms/GVN/2007-07-26-PhiErasure.ll @@ -0,0 +1,28 @@ +; RUN: llvm-as < %s | opt -gvn | llvm-dis | not grep {tmp298316 =} + + %struct..0anon = type { i32 } + %struct.FILE = type { i8*, i32, i32, i16, i16, %struct.__sbuf, i32, i8*, i32 (i8*)*, i32 (i8*, i8*, i32)*, i64 (i8*, i64, i32)*, i32 (i8*, i8*, i32)*, %struct.__sbuf, %struct.__sFILEX*, i32, [3 x i8], [1 x i8], %struct.__sbuf, i32, i64 } + %struct.__sFILEX = type opaque + %struct.__sbuf = type { i8*, i32 } + %struct.rtx_def = type { i16, i8, i8, [1 x %struct..0anon] } +@n_spills = external global i32 ; <i32*> [#uses=2] + +define i32 @reload(%struct.rtx_def* %first, i32 %global, %struct.FILE* %dumpfile) { +cond_next2835.1: ; preds = %cond_next2861 + %tmp2922 = load i32* @n_spills, align 4 ; <i32> [#uses=0] + br label %bb2928 + +bb2928: ; preds = %cond_next2835.1, %cond_next2943 + br i1 false, label %cond_next2943, label %cond_true2935 + +cond_true2935: ; preds = %bb2928 + br label %cond_next2943 + +cond_next2943: ; preds = %cond_true2935, %bb2928 + br i1 false, label %bb2982.preheader, label %bb2928 + +bb2982.preheader: ; preds = %cond_next2943 + %tmp298316 = load i32* @n_spills, align 4 ; <i32> [#uses=0] + ret i32 0 + +} |