remove a trivial test, make some other tests less trivial.

llvm-svn: 131846
This commit is contained in:
Chris Lattner 2011-05-22 07:02:43 +00:00
parent cc87723178
commit a10327f531
4 changed files with 11 additions and 14 deletions

View File

@ -4,8 +4,11 @@
define i32 @NextRootMove(i32 %wtm) { define i32 @NextRootMove(i32 %wtm) {
entry: entry:
%A = alloca i32*
%tmp17618 = load i32** getelementptr ([65 x i32*]* @last, i32 0, i32 1), align 4 %tmp17618 = load i32** getelementptr ([65 x i32*]* @last, i32 0, i32 1), align 4
store i32* %tmp17618, i32** %A
; CHECK: entry: ; CHECK: entry:
; CHECK-NEXT: alloca i32
; CHECK-NEXT: %tmp17618 = load ; CHECK-NEXT: %tmp17618 = load
; CHECK-NOT: load ; CHECK-NOT: load
; CHECK-NOT: phi ; CHECK-NOT: phi
@ -16,6 +19,7 @@ cond_true116:
cond_true128: cond_true128:
%tmp17625 = load i32** getelementptr ([65 x i32*]* @last, i32 0, i32 1), align 4 %tmp17625 = load i32** getelementptr ([65 x i32*]* @last, i32 0, i32 1), align 4
store i32* %tmp17625, i32** %A
br i1 false, label %bb98.backedge, label %return.loopexit br i1 false, label %bb98.backedge, label %return.loopexit
bb98.backedge: bb98.backedge:
@ -23,6 +27,7 @@ bb98.backedge:
cond_true145: cond_true145:
%tmp17631 = load i32** getelementptr ([65 x i32*]* @last, i32 0, i32 1), align 4 %tmp17631 = load i32** getelementptr ([65 x i32*]* @last, i32 0, i32 1), align 4
store i32* %tmp17631, i32** %A
br i1 false, label %bb98.backedge, label %return.loopexit br i1 false, label %bb98.backedge, label %return.loopexit
return.loopexit: return.loopexit:

View File

@ -5,6 +5,7 @@
define i8 @func_1() nounwind { define i8 @func_1() nounwind {
entry: entry:
%A = alloca i8
br i1 false, label %ifelse, label %ifthen br i1 false, label %ifelse, label %ifthen
ifthen: ; preds = %entry ifthen: ; preds = %entry
@ -12,6 +13,7 @@ ifthen: ; preds = %entry
ifelse: ; preds = %entry ifelse: ; preds = %entry
%tmp3 = load i8* @g_3 ; <i8> [#uses=0] %tmp3 = load i8* @g_3 ; <i8> [#uses=0]
store i8 %tmp3, i8* %A
br label %forcond.thread br label %forcond.thread
forcond.thread: ; preds = %ifelse forcond.thread: ; preds = %ifelse

View File

@ -1,13 +0,0 @@
; RUN: opt < %s -basicaa -gvn -S | not grep DEADLOAD
; RUN: opt < %s -basicaa -gvn -S | not grep DEADGEP
define i32 @main(i32** %p) {
block1:
%z1 = load i32** %p
%z2 = getelementptr i32* %z1, i32 0
%z3 = load i32* %z2
%DEADLOAD = load i32** %p
%DEADGEP = getelementptr i32* %DEADLOAD, i32 0
%DEADLOAD2 = load i32* %DEADGEP
ret i32 %DEADLOAD2
}

View File

@ -360,8 +360,11 @@ Cont:
define i32 @chained_load(i32** %p) { define i32 @chained_load(i32** %p) {
block1: block1:
%A = alloca i32*
%z = load i32** %p %z = load i32** %p
br i1 true, label %block2, label %block3 store i32* %z, i32** %A
br i1 true, label %block2, label %block3
block2: block2:
%a = load i32** %p %a = load i32** %p