-; RUN: llvm-as < %s | opt -simplifycfg | llvm-dis
-; ModuleID = 'bugpoint-tooptimize.bc'
+; RUN: opt < %s -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 ; <sbyte*> [#uses=7]
- %wstate = alloca int, align 4 ; <int*> [#uses=4]
- %cs = alloca %struct.charsequence, align 16 ; <%struct.charsequence*> [#uses=7]
- %str = alloca sbyte*, align 4 ; <sbyte**> [#uses=3]
- "alloca point" = bitcast int 0 to int ; <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 ; <sbyte**> [#uses=1]
- %tmp1 = getelementptr %struct.charsequence* %C.0.2294, uint 0, uint 0 ; <sbyte**> [#uses=1]
- %tmp = load sbyte** %tmp1 ; <sbyte*> [#uses=1]
- store sbyte* %tmp, sbyte** %tmp
- %tmp = getelementptr %struct.charsequence* %cs, uint 0, uint 1 ; <uint*> [#uses=1]
- %tmp2 = getelementptr %struct.charsequence* %C.0.2294, uint 0, uint 1 ; <uint*> [#uses=1]
- %tmp = load uint* %tmp2 ; <uint> [#uses=1]
- store uint %tmp, uint* %tmp
- %tmp3 = getelementptr %struct.charsequence* %cs, uint 0, uint 2 ; <uint*> [#uses=1]
- %tmp4 = getelementptr %struct.charsequence* %C.0.2294, uint 0, uint 2 ; <uint*> [#uses=1]
- %tmp5 = load uint* %tmp4 ; <uint> [#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 ) ; <int> [#uses=1]
- %tmp6 = call int %tolower( int %tmp ) ; <int> [#uses=1]
- %tmp6 = trunc int %tmp6 to sbyte ; <sbyte> [#uses=1]
- store sbyte %tmp6, sbyte* %c
- %tmp7 = load int* %wstate ; <int> [#uses=1]
- %tmp = icmp ne int %tmp7, 0 ; <bool> [#uses=1]
- br bool %tmp, label %cond_true, label %cond_false
-
-cond_true: ; preds = %bb
- %tmp = load sbyte* %c ; <sbyte> [#uses=1]
- %tmp8 = icmp sle sbyte %tmp, 96 ; <bool> [#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 ; <sbyte> [#uses=1]
- %tmp11 = icmp sgt sbyte %tmp10, 122 ; <bool> [#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 ; <sbyte> [#uses=1]
- %tmp14 = sext sbyte %tmp14 to int ; <int> [#uses=1]
- %tmp1415 = trunc int %tmp14 to sbyte ; <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 ) ; <sbyte*> [#uses=1]
- store sbyte* %tmp17, sbyte** %str
- %tmp = load %struct.trie_s** %t_addr ; <%struct.trie_s*> [#uses=1]
- %tmp18 = load sbyte** %str ; <sbyte*> [#uses=1]
- %tmp19 = call %struct.trie_s* %trie_insert( %struct.trie_s* %tmp, sbyte* %tmp18 ) ; <%struct.trie_s*> [#uses=0]
- %tmp20 = load sbyte** %str ; <sbyte*> [#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 ; <sbyte> [#uses=1]
- %tmp23 = icmp sgt sbyte %tmp22, 96 ; <bool> [#uses=1]
- br bool %tmp23, label %cond_true24, label %cond_next31
+declare i32 @tolower(i32)
-cond_true24: ; preds = %cond_false
- %tmp25 = load sbyte* %c ; <sbyte> [#uses=1]
- %tmp26 = icmp sle sbyte %tmp25, 122 ; <bool> [#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 ; <sbyte> [#uses=1]
- %tmp28 = sext sbyte %tmp28 to int ; <int> [#uses=1]
- %tmp2829 = trunc int %tmp28 to sbyte ; <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 ) ; <int> [#uses=1]
- %tmp36 = icmp eq int %tmp35, 0 ; <bool> [#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 ; <i8*> [#uses=7]
+ %wstate = alloca i32, align 4 ; <i32*> [#uses=4]
+ %cs = alloca %struct.charsequence, align 16 ; <%struct.charsequence*> [#uses=7]
+ %str = alloca i8*, align 4 ; <i8**> [#uses=3]
+ %"alloca point" = bitcast i32 0 to i32 ; <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 ; <i8**> [#uses=1]
+ %tmp1 = getelementptr %struct.charsequence* @C.0.2294, i64 0, i32 0 ; <i8**> [#uses=1]
+ %tmp.upgrd.5 = load i8** %tmp1 ; <i8*> [#uses=1]
+ store i8* %tmp.upgrd.5, i8** %tmp
+ %tmp.upgrd.6 = getelementptr %struct.charsequence* %cs, i64 0, i32 1 ; <i32*> [#uses=1]
+ %tmp2 = getelementptr %struct.charsequence* @C.0.2294, i64 0, i32 1 ; <i32*> [#uses=1]
+ %tmp.upgrd.7 = load i32* %tmp2 ; <i32> [#uses=1]
+ store i32 %tmp.upgrd.7, i32* %tmp.upgrd.6
+ %tmp3 = getelementptr %struct.charsequence* %cs, i64 0, i32 2 ; <i32*> [#uses=1]
+ %tmp4 = getelementptr %struct.charsequence* @C.0.2294, i64 0, i32 2 ; <i32*> [#uses=1]
+ %tmp5 = load i32* %tmp4 ; <i32> [#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 ) ; <i32> [#uses=1]
+ %tmp6 = call i32 @tolower( i32 %tmp.upgrd.9 ) ; <i32> [#uses=1]
+ %tmp6.upgrd.10 = trunc i32 %tmp6 to i8 ; <i8> [#uses=1]
+ store i8 %tmp6.upgrd.10, i8* %c
+ %tmp7 = load i32* %wstate ; <i32> [#uses=1]
+ %tmp.upgrd.11 = icmp ne i32 %tmp7, 0 ; <i1> [#uses=1]
+ br i1 %tmp.upgrd.11, label %cond_true, label %cond_false
+cond_true: ; preds = %bb
+ %tmp.upgrd.12 = load i8* %c ; <i8> [#uses=1]
+ %tmp8 = icmp sle i8 %tmp.upgrd.12, 96 ; <i1> [#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 ; <i8> [#uses=1]
+ %tmp11 = icmp sgt i8 %tmp10, 122 ; <i1> [#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 ; <i8> [#uses=1]
+ %tmp14.upgrd.13 = sext i8 %tmp14 to i32 ; <i32> [#uses=1]
+ %tmp1415 = trunc i32 %tmp14.upgrd.13 to i8 ; <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 ) ; <i8*> [#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 ; <i8*> [#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 ; <i8*> [#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 ; <i8> [#uses=1]
+ %tmp23 = icmp sgt i8 %tmp22, 96 ; <i1> [#uses=1]
+ br i1 %tmp23, label %cond_true24, label %cond_next31
+cond_true24: ; preds = %cond_false
+ %tmp25 = load i8* %c ; <i8> [#uses=1]
+ %tmp26 = icmp sle i8 %tmp25, 122 ; <i1> [#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 ; <i8> [#uses=1]
+ %tmp28.upgrd.15 = sext i8 %tmp28 to i32 ; <i32> [#uses=1]
+ %tmp2829 = trunc i32 %tmp28.upgrd.15 to i8 ; <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 ) ; <i32> [#uses=1]
+ %tmp36 = icmp eq i32 %tmp35, 0 ; <i1> [#uses=1]
+ br i1 %tmp36, label %bb, label %bb37
+bb37: ; preds = %bb33
+ br label %return
+return: ; preds = %bb37
+ ret void
}
-
projects / oota-llvm.git / blobdiff