This should always be signed chars, so use int8_t. This fixes a miscompile when
[llvm/stm8.git] / test / CodeGen / X86 / 2007-02-16-BranchFold.ll
blob6bf5631b4e34db71b4a7c490067d89c3032804f4
1 ; PR 1200
2 ; RUN: llc < %s -enable-tail-merge=0 | not grep jmp 
4 ; ModuleID = '<stdin>'
5 target datalayout = "e-p:32:32"
6 target triple = "i686-apple-darwin8"
7         %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 }
8         %struct.Index_Map = type { i32, %struct.item_set** }
9         %struct.Item = type { [4 x i16], %struct.rule* }
10         %struct.__sFILEX = type opaque
11         %struct.__sbuf = type { i8*, i32 }
12         %struct.dimension = type { i16*, %struct.Index_Map, %struct.mapping*, i32, %struct.plankMap* }
13         %struct.item_set = type { i32, i32, %struct.operator*, [2 x %struct.item_set*], %struct.item_set*, i16*, %struct.Item*, %struct.Item* }
14         %struct.list = type { i8*, %struct.list* }
15         %struct.mapping = type { %struct.list**, i32, i32, i32, %struct.item_set** }
16         %struct.nonterminal = type { i8*, i32, i32, i32, %struct.plankMap*, %struct.rule* }
17         %struct.operator = type { i8*, i8, i32, i32, i32, i32, %struct.table* }
18         %struct.pattern = type { %struct.nonterminal*, %struct.operator*, [2 x %struct.nonterminal*] }
19         %struct.plank = type { i8*, %struct.list*, i32 }
20         %struct.plankMap = type { %struct.list*, i32, %struct.stateMap* }
21         %struct.rule = type { [4 x i16], i32, i32, i32, %struct.nonterminal*, %struct.pattern*, i8 }
22         %struct.stateMap = type { i8*, %struct.plank*, i32, i16* }
23         %struct.table = type { %struct.operator*, %struct.list*, i16*, [2 x %struct.dimension*], %struct.item_set** }
24 @outfile = external global %struct.FILE*                ; <%struct.FILE**> [#uses=1]
25 @str1 = external global [11 x i8]               ; <[11 x i8]*> [#uses=1]
27 declare i32 @fprintf(%struct.FILE*, i8*, ...)
29 define i16 @main_bb_2E_i9_2E_i_2E_i932_2E_ce(%struct.list* %l_addr.01.0.i2.i.i929, %struct.operator** %tmp66.i62.i.out) {
30 newFuncRoot:
31         br label %bb.i9.i.i932.ce
33 NewDefault:             ; preds = %LeafBlock, %LeafBlock1, %LeafBlock2, %LeafBlock3
34         br label %bb36.i.i.exitStub
36 bb36.i.i.exitStub:              ; preds = %NewDefault
37         store %struct.operator* %tmp66.i62.i, %struct.operator** %tmp66.i62.i.out
38         ret i16 0
40 bb.i14.i.exitStub:              ; preds = %LeafBlock
41         store %struct.operator* %tmp66.i62.i, %struct.operator** %tmp66.i62.i.out
42         ret i16 1
44 bb12.i.i935.exitStub:           ; preds = %LeafBlock1
45         store %struct.operator* %tmp66.i62.i, %struct.operator** %tmp66.i62.i.out
46         ret i16 2
48 bb20.i.i937.exitStub:           ; preds = %LeafBlock2
49         store %struct.operator* %tmp66.i62.i, %struct.operator** %tmp66.i62.i.out
50         ret i16 3
52 bb28.i.i938.exitStub:           ; preds = %LeafBlock3
53         store %struct.operator* %tmp66.i62.i, %struct.operator** %tmp66.i62.i.out
54         ret i16 4
56 bb.i9.i.i932.ce:                ; preds = %newFuncRoot
57         %tmp1.i3.i.i930 = getelementptr %struct.list* %l_addr.01.0.i2.i.i929, i32 0, i32 0              ; <i8**> [#uses=1]
58         %tmp2.i4.i.i931 = load i8** %tmp1.i3.i.i930             ; <i8*> [#uses=1]
59         %tmp66.i62.i = bitcast i8* %tmp2.i4.i.i931 to %struct.operator*         ; <%struct.operator*> [#uses=7]
60         %tmp1.i6.i = getelementptr %struct.operator* %tmp66.i62.i, i32 0, i32 2         ; <i32*> [#uses=1]
61         %tmp2.i7.i = load i32* %tmp1.i6.i               ; <i32> [#uses=1]
62         %tmp3.i8.i = load %struct.FILE** @outfile               ; <%struct.FILE*> [#uses=1]
63         %tmp5.i9.i = call i32 (%struct.FILE*, i8*, ...)* @fprintf( %struct.FILE* %tmp3.i8.i, i8* getelementptr ([11 x i8]* @str1, i32 0, i32 0), i32 %tmp2.i7.i )               ; <i32> [#uses=0]
64         %tmp7.i10.i = getelementptr %struct.operator* %tmp66.i62.i, i32 0, i32 5                ; <i32*> [#uses=1]
65         %tmp8.i11.i = load i32* %tmp7.i10.i             ; <i32> [#uses=7]
66         br label %NodeBlock5
68 NodeBlock5:             ; preds = %bb.i9.i.i932.ce
69         icmp slt i32 %tmp8.i11.i, 1             ; <i1>:0 [#uses=1]
70         br i1 %0, label %NodeBlock, label %NodeBlock4
72 NodeBlock4:             ; preds = %NodeBlock5
73         icmp slt i32 %tmp8.i11.i, 2             ; <i1>:1 [#uses=1]
74         br i1 %1, label %LeafBlock2, label %LeafBlock3
76 LeafBlock3:             ; preds = %NodeBlock4
77         icmp eq i32 %tmp8.i11.i, 2              ; <i1>:2 [#uses=1]
78         br i1 %2, label %bb28.i.i938.exitStub, label %NewDefault
80 LeafBlock2:             ; preds = %NodeBlock4
81         icmp eq i32 %tmp8.i11.i, 1              ; <i1>:3 [#uses=1]
82         br i1 %3, label %bb20.i.i937.exitStub, label %NewDefault
84 NodeBlock:              ; preds = %NodeBlock5
85         icmp slt i32 %tmp8.i11.i, 0             ; <i1>:4 [#uses=1]
86         br i1 %4, label %LeafBlock, label %LeafBlock1
88 LeafBlock1:             ; preds = %NodeBlock
89         icmp eq i32 %tmp8.i11.i, 0              ; <i1>:5 [#uses=1]
90         br i1 %5, label %bb12.i.i935.exitStub, label %NewDefault
92 LeafBlock:              ; preds = %NodeBlock
93         icmp eq i32 %tmp8.i11.i, -1             ; <i1>:6 [#uses=1]
94         br i1 %6, label %bb.i14.i.exitStub, label %NewDefault