diff options
| author | Ed Schouten <ed@FreeBSD.org> | 2009-06-02 17:52:33 +0000 |
|---|---|---|
| committer | Ed Schouten <ed@FreeBSD.org> | 2009-06-02 17:52:33 +0000 |
| commit | 009b1c42aa6266385f2c37e227516b24077e6dd7 (patch) | |
| tree | 64ba909838c23261cace781ece27d106134ea451 /test/Transforms/PredicateSimplifier/2006-11-12-MergeNodes.ll | |
Diffstat (limited to 'test/Transforms/PredicateSimplifier/2006-11-12-MergeNodes.ll')
| -rw-r--r-- | test/Transforms/PredicateSimplifier/2006-11-12-MergeNodes.ll | 41 |
1 files changed, 41 insertions, 0 deletions
diff --git a/test/Transforms/PredicateSimplifier/2006-11-12-MergeNodes.ll b/test/Transforms/PredicateSimplifier/2006-11-12-MergeNodes.ll new file mode 100644 index 0000000000000..47f912de5e8bd --- /dev/null +++ b/test/Transforms/PredicateSimplifier/2006-11-12-MergeNodes.ll @@ -0,0 +1,41 @@ +; RUN: llvm-as < %s | opt -predsimplify -disable-output +; END. +target datalayout = "e-p:32:32" +target triple = "i686-pc-linux-gnu" +deplibs = [ "c", "crtend" ] + %struct.VDIR_ST = type { i32, i32, i32, %struct.acl*, %struct.pfile*, %struct.vlink*, %struct.vlink*, %struct.vlink*, %struct.VDIR_ST*, %struct.VDIR_ST* } + %struct.acl = type { i32, i8*, i8*, i8*, %struct.restrict*, %struct.acl*, %struct.acl* } + %struct.avalue = type { i8* } + %struct.pattrib = type { i8, i8*, i8*, %struct.avalue, %struct.pattrib*, %struct.pattrib* } + %struct.pfile = type { i32, i32, i32, i32, i32, %struct.vlink*, %struct.vlink*, %struct.pattrib*, %struct.pfile*, %struct.pfile* } + %struct.restrict = type { %struct.acl*, %struct.acl* } + %struct.vlink = type { i32, i8*, i8, i32, i8*, %struct.vlink*, %struct.vlink*, i8*, i8*, i8*, i8*, i32, i32, %struct.acl*, i32, i32, i8*, %struct.pattrib*, %struct.pfile*, %struct.vlink*, %struct.vlink* } + +define void @vl_insert(%struct.vlink* %vl) { +entry: + %tmp91 = call i32 @vl_comp( ) ; <i32> [#uses=2] + %tmp93 = icmp sgt i32 %tmp91, 0 ; <i1> [#uses=1] + br i1 %tmp93, label %cond_next84, label %bb94 +cond_next84: ; preds = %entry + ret void +bb94: ; preds = %entry + %tmp96 = icmp eq i32 %tmp91, 0 ; <i1> [#uses=1] + br i1 %tmp96, label %cond_true97, label %cond_next203 +cond_true97: ; preds = %bb94 + br i1 false, label %cond_next105, label %cond_true102 +cond_true102: ; preds = %cond_true97 + ret void +cond_next105: ; preds = %cond_true97 + %tmp110 = getelementptr %struct.vlink* %vl, i32 0, i32 12 ; <i32*> [#uses=1] + %tmp111 = load i32* %tmp110 ; <i32> [#uses=1] + %tmp129 = icmp eq i32 %tmp111, 0 ; <i1> [#uses=1] + br i1 %tmp129, label %cond_true130, label %cond_next133 +cond_true130: ; preds = %cond_next105 + ret void +cond_next133: ; preds = %cond_next105 + ret void +cond_next203: ; preds = %bb94 + ret void +} + +declare i32 @vl_comp() |