X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=test%2FTransforms%2FSimplifyCFG%2F2006-12-08-Ptr-ICmp-Branch.ll;h=d433f0482955c7364b12c418cff8822e48111ef8;hb=583dd6072eed7a446dad8f0e796fa34aec40aa12;hp=2063d9f4ae132a4a4a0163992b7d7754825c00ae;hpb=6a21d848b62976482f1fcbbec5ab3edc88115d47;p=oota-llvm.git diff --git a/test/Transforms/SimplifyCFG/2006-12-08-Ptr-ICmp-Branch.ll b/test/Transforms/SimplifyCFG/2006-12-08-Ptr-ICmp-Branch.ll index 2063d9f4ae1..d433f048295 100644 --- a/test/Transforms/SimplifyCFG/2006-12-08-Ptr-ICmp-Branch.ll +++ b/test/Transforms/SimplifyCFG/2006-12-08-Ptr-ICmp-Branch.ll @@ -1,144 +1,131 @@ -; RUN: llvm-upgrade < %s | llvm-as | opt -simplifycfg | llvm-dis -; ModuleID = 'bugpoint-tooptimize.bc' +; RUN: llvm-as < %s | opt -simplifycfg | llvm-dis +; END. + +; ModuleID = '2006-12-08-Ptr-ICmp-Branch.ll' target datalayout = "e-p:32:32" -target endian = little -target pointersize = 32 target triple = "i686-pc-linux-gnu" - %struct.FILE = type { int, sbyte*, sbyte*, sbyte*, sbyte*, sbyte*, sbyte*, sbyte*, sbyte*, sbyte*, sbyte*, sbyte*, %struct._IO_marker*, %struct.FILE*, int, int, int, ushort, sbyte, [1 x sbyte], sbyte*, long, sbyte*, sbyte*, sbyte*, sbyte*, uint, int, [40 x sbyte] } - %struct._IO_FILE = type { int, sbyte*, sbyte*, sbyte*, sbyte*, sbyte*, sbyte*, sbyte*, sbyte*, sbyte*, sbyte*, sbyte*, %struct._IO_marker*, %struct.FILE*, int, int, int, ushort, sbyte, [1 x sbyte], sbyte*, long, sbyte*, sbyte*, sbyte*, sbyte*, uint, int, [40 x sbyte] } - %struct._IO_marker = type { %struct._IO_marker*, %struct.FILE*, int } - %struct.charsequence = type { sbyte*, uint, uint } - %struct.trie_s = type { [26 x %struct.trie_s*], int } -%str = external global [14 x sbyte] ; <[14 x sbyte]*> [#uses=0] -%str = external global [32 x sbyte] ; <[32 x sbyte]*> [#uses=0] -%str = external global [12 x sbyte] ; <[12 x sbyte]*> [#uses=0] -%C.0.2294 = external global %struct.charsequence ; <%struct.charsequence*> [#uses=3] -%t = external global %struct.trie_s* ; <%struct.trie_s**> [#uses=0] -%str = external global [3 x sbyte] ; <[3 x sbyte]*> [#uses=0] -%str = external global [26 x sbyte] ; <[26 x sbyte]*> [#uses=0] - -implementation ; Functions: - -declare void %charsequence_reset(%struct.charsequence*) -declare void %free(sbyte*) -declare void %charsequence_push(%struct.charsequence*, sbyte) -declare sbyte* %charsequence_val(%struct.charsequence*) -declare int %_IO_getc(%struct.FILE*) -declare int %tolower(int) -declare %struct.trie_s* %trie_insert(%struct.trie_s*, sbyte*) -declare int %feof(%struct.FILE*) - -void %addfile(%struct.trie_s* %t, %struct.FILE* %f) { -entry: - %t_addr = alloca %struct.trie_s* ; <%struct.trie_s**> [#uses=2] - %f_addr = alloca %struct.FILE* ; <%struct.FILE**> [#uses=3] - %c = alloca sbyte, align 1 ; [#uses=7] - %wstate = alloca int, align 4 ; [#uses=4] - %cs = alloca %struct.charsequence, align 16 ; <%struct.charsequence*> [#uses=7] - %str = alloca sbyte*, align 4 ; [#uses=3] - "alloca point" = bitcast int 0 to int ; [#uses=0] - store %struct.trie_s* %t, %struct.trie_s** %t_addr - store %struct.FILE* %f, %struct.FILE** %f_addr - store int 0, int* %wstate - %tmp = getelementptr %struct.charsequence* %cs, uint 0, uint 0 ; [#uses=1] - %tmp1 = getelementptr %struct.charsequence* %C.0.2294, uint 0, uint 0 ; [#uses=1] - %tmp = load sbyte** %tmp1 ; [#uses=1] - store sbyte* %tmp, sbyte** %tmp - %tmp = getelementptr %struct.charsequence* %cs, uint 0, uint 1 ; [#uses=1] - %tmp2 = getelementptr %struct.charsequence* %C.0.2294, uint 0, uint 1 ; [#uses=1] - %tmp = load uint* %tmp2 ; [#uses=1] - store uint %tmp, uint* %tmp - %tmp3 = getelementptr %struct.charsequence* %cs, uint 0, uint 2 ; [#uses=1] - %tmp4 = getelementptr %struct.charsequence* %C.0.2294, uint 0, uint 2 ; [#uses=1] - %tmp5 = load uint* %tmp4 ; [#uses=1] - store uint %tmp5, uint* %tmp3 - br label %bb33 - -bb: ; preds = %bb33 - %tmp = load %struct.FILE** %f_addr ; <%struct.FILE*> [#uses=1] - %tmp = call int %_IO_getc( %struct.FILE* %tmp ) ; [#uses=1] - %tmp6 = call int %tolower( int %tmp ) ; [#uses=1] - %tmp6 = trunc int %tmp6 to sbyte ; [#uses=1] - store sbyte %tmp6, sbyte* %c - %tmp7 = load int* %wstate ; [#uses=1] - %tmp = icmp ne int %tmp7, 0 ; [#uses=1] - br bool %tmp, label %cond_true, label %cond_false - -cond_true: ; preds = %bb - %tmp = load sbyte* %c ; [#uses=1] - %tmp8 = icmp sle sbyte %tmp, 96 ; [#uses=1] - br bool %tmp8, label %cond_true9, label %cond_next - -cond_true9: ; preds = %cond_true - br label %bb16 + %struct.FILE = type { i32, i8*, i8*, i8*, i8*, i8*, i8*, i8*, i8*, i8*, i8*, i8*, %struct._IO_marker*, %struct.FILE*, i32, i32, i32, i16, i8, [1 x i8], i8*, i64, i8*, i8*, i8*, i8*, i32, i32, [40 x i8] } + %struct._IO_FILE = type { i32, i8*, i8*, i8*, i8*, i8*, i8*, i8*, i8*, i8*, i8*, i8*, %struct._IO_marker*, %struct.FILE*, i32, i32, i32, i16, i8, [1 x i8], i8*, i64, i8*, i8*, i8*, i8*, i32, i32, [40 x i8] } + %struct._IO_marker = type { %struct._IO_marker*, %struct.FILE*, i32 } + %struct.charsequence = type { i8*, i32, i32 } + %struct.trie_s = type { [26 x %struct.trie_s*], i32 } +@str = external global [14 x i8] ; <[14 x i8]*> [#uses=0] +@str.upgrd.1 = external global [32 x i8] ; <[32 x i8]*> [#uses=0] +@str.upgrd.2 = external global [12 x i8] ; <[12 x i8]*> [#uses=0] +@C.0.2294 = external global %struct.charsequence ; <%struct.charsequence*> [#uses=3] +@t = external global %struct.trie_s* ; <%struct.trie_s**> [#uses=0] +@str.upgrd.3 = external global [3 x i8] ; <[3 x i8]*> [#uses=0] +@str.upgrd.4 = external global [26 x i8] ; <[26 x i8]*> [#uses=0] -cond_next: ; preds = %cond_true - %tmp10 = load sbyte* %c ; [#uses=1] - %tmp11 = icmp sgt sbyte %tmp10, 122 ; [#uses=1] - br bool %tmp11, label %cond_true12, label %cond_next13 +declare void @charsequence_reset(%struct.charsequence*) -cond_true12: ; preds = %cond_next - br label %bb16 +declare void @free(i8*) -cond_next13: ; preds = %cond_next - %tmp14 = load sbyte* %c ; [#uses=1] - %tmp14 = sext sbyte %tmp14 to int ; [#uses=1] - %tmp1415 = trunc int %tmp14 to sbyte ; [#uses=1] - call void %charsequence_push( %struct.charsequence* %cs, sbyte %tmp1415 ) - br label %bb21 +declare void @charsequence_push(%struct.charsequence*, i8) -bb16: ; preds = %cond_true12, %cond_true9 - %tmp17 = call sbyte* %charsequence_val( %struct.charsequence* %cs ) ; [#uses=1] - store sbyte* %tmp17, sbyte** %str - %tmp = load %struct.trie_s** %t_addr ; <%struct.trie_s*> [#uses=1] - %tmp18 = load sbyte** %str ; [#uses=1] - %tmp19 = call %struct.trie_s* %trie_insert( %struct.trie_s* %tmp, sbyte* %tmp18 ) ; <%struct.trie_s*> [#uses=0] - %tmp20 = load sbyte** %str ; [#uses=1] - call void %free( sbyte* %tmp20 ) - store int 0, int* %wstate - br label %bb21 +declare i8* @charsequence_val(%struct.charsequence*) -bb21: ; preds = %bb16, %cond_next13 - br label %cond_next32 +declare i32 @_IO_getc(%struct.FILE*) -cond_false: ; preds = %bb - %tmp22 = load sbyte* %c ; [#uses=1] - %tmp23 = icmp sgt sbyte %tmp22, 96 ; [#uses=1] - br bool %tmp23, label %cond_true24, label %cond_next31 +declare i32 @tolower(i32) -cond_true24: ; preds = %cond_false - %tmp25 = load sbyte* %c ; [#uses=1] - %tmp26 = icmp sle sbyte %tmp25, 122 ; [#uses=1] - br bool %tmp26, label %cond_true27, label %cond_next30 +declare %struct.trie_s* @trie_insert(%struct.trie_s*, i8*) -cond_true27: ; preds = %cond_true24 - call void %charsequence_reset( %struct.charsequence* %cs ) - %tmp28 = load sbyte* %c ; [#uses=1] - %tmp28 = sext sbyte %tmp28 to int ; [#uses=1] - %tmp2829 = trunc int %tmp28 to sbyte ; [#uses=1] - call void %charsequence_push( %struct.charsequence* %cs, sbyte %tmp2829 ) - store int 1, int* %wstate - br label %cond_next30 +declare i32 @feof(%struct.FILE*) -cond_next30: ; preds = %cond_true27, %cond_true24 - br label %cond_next31 - -cond_next31: ; preds = %cond_next30, %cond_false - br label %cond_next32 - -cond_next32: ; preds = %cond_next31, %bb21 - br label %bb33 - -bb33: ; preds = %cond_next32, %entry - %tmp34 = load %struct.FILE** %f_addr ; <%struct.FILE*> [#uses=1] - %tmp35 = call int %feof( %struct.FILE* %tmp34 ) ; [#uses=1] - %tmp36 = icmp eq int %tmp35, 0 ; [#uses=1] - br bool %tmp36, label %bb, label %bb37 - -bb37: ; preds = %bb33 - br label %return - -return: ; preds = %bb37 - ret void +define void @addfile(%struct.trie_s* %t, %struct.FILE* %f) { +entry: + %t_addr = alloca %struct.trie_s* ; <%struct.trie_s**> [#uses=2] + %f_addr = alloca %struct.FILE* ; <%struct.FILE**> [#uses=3] + %c = alloca i8, align 1 ; [#uses=7] + %wstate = alloca i32, align 4 ; [#uses=4] + %cs = alloca %struct.charsequence, align 16 ; <%struct.charsequence*> [#uses=7] + %str = alloca i8*, align 4 ; [#uses=3] + %"alloca point" = bitcast i32 0 to i32 ; [#uses=0] + store %struct.trie_s* %t, %struct.trie_s** %t_addr + store %struct.FILE* %f, %struct.FILE** %f_addr + store i32 0, i32* %wstate + %tmp = getelementptr %struct.charsequence* %cs, i64 0, i32 0 ; [#uses=1] + %tmp1 = getelementptr %struct.charsequence* @C.0.2294, i64 0, i32 0 ; [#uses=1] + %tmp.upgrd.5 = load i8** %tmp1 ; [#uses=1] + store i8* %tmp.upgrd.5, i8** %tmp + %tmp.upgrd.6 = getelementptr %struct.charsequence* %cs, i64 0, i32 1 ; [#uses=1] + %tmp2 = getelementptr %struct.charsequence* @C.0.2294, i64 0, i32 1 ; [#uses=1] + %tmp.upgrd.7 = load i32* %tmp2 ; [#uses=1] + store i32 %tmp.upgrd.7, i32* %tmp.upgrd.6 + %tmp3 = getelementptr %struct.charsequence* %cs, i64 0, i32 2 ; [#uses=1] + %tmp4 = getelementptr %struct.charsequence* @C.0.2294, i64 0, i32 2 ; [#uses=1] + %tmp5 = load i32* %tmp4 ; [#uses=1] + store i32 %tmp5, i32* %tmp3 + br label %bb33 +bb: ; preds = %bb33 + %tmp.upgrd.8 = load %struct.FILE** %f_addr ; <%struct.FILE*> [#uses=1] + %tmp.upgrd.9 = call i32 @_IO_getc( %struct.FILE* %tmp.upgrd.8 ) ; [#uses=1] + %tmp6 = call i32 @tolower( i32 %tmp.upgrd.9 ) ; [#uses=1] + %tmp6.upgrd.10 = trunc i32 %tmp6 to i8 ; [#uses=1] + store i8 %tmp6.upgrd.10, i8* %c + %tmp7 = load i32* %wstate ; [#uses=1] + %tmp.upgrd.11 = icmp ne i32 %tmp7, 0 ; [#uses=1] + br i1 %tmp.upgrd.11, label %cond_true, label %cond_false +cond_true: ; preds = %bb + %tmp.upgrd.12 = load i8* %c ; [#uses=1] + %tmp8 = icmp sle i8 %tmp.upgrd.12, 96 ; [#uses=1] + br i1 %tmp8, label %cond_true9, label %cond_next +cond_true9: ; preds = %cond_true + br label %bb16 +cond_next: ; preds = %cond_true + %tmp10 = load i8* %c ; [#uses=1] + %tmp11 = icmp sgt i8 %tmp10, 122 ; [#uses=1] + br i1 %tmp11, label %cond_true12, label %cond_next13 +cond_true12: ; preds = %cond_next + br label %bb16 +cond_next13: ; preds = %cond_next + %tmp14 = load i8* %c ; [#uses=1] + %tmp14.upgrd.13 = sext i8 %tmp14 to i32 ; [#uses=1] + %tmp1415 = trunc i32 %tmp14.upgrd.13 to i8 ; [#uses=1] + call void @charsequence_push( %struct.charsequence* %cs, i8 %tmp1415 ) + br label %bb21 +bb16: ; preds = %cond_true12, %cond_true9 + %tmp17 = call i8* @charsequence_val( %struct.charsequence* %cs ) ; [#uses=1] + store i8* %tmp17, i8** %str + %tmp.upgrd.14 = load %struct.trie_s** %t_addr ; <%struct.trie_s*> [#uses=1] + %tmp18 = load i8** %str ; [#uses=1] + %tmp19 = call %struct.trie_s* @trie_insert( %struct.trie_s* %tmp.upgrd.14, i8* %tmp18 ) ; <%struct.trie_s*> [#uses=0] + %tmp20 = load i8** %str ; [#uses=1] + call void @free( i8* %tmp20 ) + store i32 0, i32* %wstate + br label %bb21 +bb21: ; preds = %bb16, %cond_next13 + br label %cond_next32 +cond_false: ; preds = %bb + %tmp22 = load i8* %c ; [#uses=1] + %tmp23 = icmp sgt i8 %tmp22, 96 ; [#uses=1] + br i1 %tmp23, label %cond_true24, label %cond_next31 +cond_true24: ; preds = %cond_false + %tmp25 = load i8* %c ; [#uses=1] + %tmp26 = icmp sle i8 %tmp25, 122 ; [#uses=1] + br i1 %tmp26, label %cond_true27, label %cond_next30 +cond_true27: ; preds = %cond_true24 + call void @charsequence_reset( %struct.charsequence* %cs ) + %tmp28 = load i8* %c ; [#uses=1] + %tmp28.upgrd.15 = sext i8 %tmp28 to i32 ; [#uses=1] + %tmp2829 = trunc i32 %tmp28.upgrd.15 to i8 ; [#uses=1] + call void @charsequence_push( %struct.charsequence* %cs, i8 %tmp2829 ) + store i32 1, i32* %wstate + br label %cond_next30 +cond_next30: ; preds = %cond_true27, %cond_true24 + br label %cond_next31 +cond_next31: ; preds = %cond_next30, %cond_false + br label %cond_next32 +cond_next32: ; preds = %cond_next31, %bb21 + br label %bb33 +bb33: ; preds = %cond_next32, %entry + %tmp34 = load %struct.FILE** %f_addr ; <%struct.FILE*> [#uses=1] + %tmp35 = call i32 @feof( %struct.FILE* %tmp34 ) ; [#uses=1] + %tmp36 = icmp eq i32 %tmp35, 0 ; [#uses=1] + br i1 %tmp36, label %bb, label %bb37 +bb37: ; preds = %bb33 + br label %return +return: ; preds = %bb37 + ret void } -