This should always be signed chars, so use int8_t. This fixes a miscompile when
[llvm/stm8.git] / test / CodeGen / X86 / 2007-10-17-IllegalAsm.ll
blobc0bb55ed14ef064ee28dcb8c82e7e837c32cce0c
1 ; RUN: llc < %s -mtriple=x86_64-linux-gnu | grep addb | not grep x
2 ; RUN: llc < %s -mtriple=x86_64-linux-gnu | grep cmpb | not grep x
3 ; PR1734
5 target triple = "x86_64-unknown-linux-gnu"
6         %struct.CUMULATIVE_ARGS = type { i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32 }
7         %struct.eh_status = type opaque
8         %struct.emit_status = type { i32, i32, %struct.rtx_def*, %struct.rtx_def*, %struct.sequence_stack*, i32, %struct.location_t, i32, i8*, %struct.rtx_def** }
9         %struct.expr_status = type { i32, i32, i32, %struct.rtx_def*, %struct.rtx_def*, %struct.rtx_def* }
10         %struct.function = type { %struct.eh_status*, %struct.expr_status*, %struct.emit_status*, %struct.varasm_status*, %struct.tree_node*, %struct.tree_node*, %struct.tree_node*, %struct.tree_node*, %struct.function*, i32, i32, i32, i32, %struct.rtx_def*, %struct.CUMULATIVE_ARGS, %struct.rtx_def*, %struct.rtx_def*, %struct.initial_value_struct*, %struct.rtx_def*, %struct.rtx_def*, %struct.rtx_def*, %struct.rtx_def*, %struct.rtx_def*, %struct.rtx_def*, i8, i32, i64, %struct.tree_node*, %struct.tree_node*, %struct.rtx_def*, %struct.varray_head_tag*, %struct.temp_slot*, i32, %struct.var_refs_queue*, i32, i32, %struct.rtvec_def*, %struct.tree_node*, i32, i32, i32, %struct.machine_function*, i32, i32, i8, i8, %struct.language_function*, %struct.rtx_def*, i32, i32, i32, i32, %struct.location_t, %struct.varray_head_tag*, %struct.tree_node*, %struct.tree_node*, i8, i8, i8 }
11         %struct.initial_value_struct = type opaque
12         %struct.lang_decl = type opaque
13         %struct.language_function = type opaque
14         %struct.location_t = type { i8*, i32 }
15         %struct.machine_function = type { %struct.stack_local_entry*, i8*, %struct.rtx_def*, i32, i32, i32, i32, i32 }
16         %struct.rtunion = type { i8* }
17         %struct.rtvec_def = type { i32, [1 x %struct.rtx_def*] }
18         %struct.rtx_def = type { i16, i8, i8, %struct.u }
19         %struct.sequence_stack = type { %struct.rtx_def*, %struct.rtx_def*, %struct.sequence_stack* }
20         %struct.stack_local_entry = type opaque
21         %struct.temp_slot = type opaque
22         %struct.tree_common = type { %struct.tree_node*, %struct.tree_node*, %union.tree_ann_d*, i8, i8, i8, i8, i8 }
23         %struct.tree_decl = type { %struct.tree_common, %struct.location_t, i32, %struct.tree_node*, i8, i8, i8, i8, i8, i8, i8, i8, i32, %struct.tree_decl_u1, %struct.tree_node*, %struct.tree_node*, %struct.tree_node*, %struct.tree_node*, %struct.tree_node*, %struct.tree_node*, %struct.tree_node*, %struct.tree_node*, %struct.tree_node*, %struct.tree_node*, %struct.rtx_def*, i32, %struct.tree_decl_u2, %struct.tree_node*, %struct.tree_node*, i64, %struct.lang_decl* }
24         %struct.tree_decl_u1 = type { i64 }
25         %struct.tree_decl_u2 = type { %struct.function* }
26         %struct.tree_node = type { %struct.tree_decl }
27         %struct.u = type { [1 x %struct.rtunion] }
28         %struct.var_refs_queue = type { %struct.rtx_def*, i32, i32, %struct.var_refs_queue* }
29         %struct.varasm_status = type opaque
30         %struct.varray_data = type { [1 x i64] }
31         %struct.varray_head_tag = type { i64, i64, i32, i8*, %struct.varray_data }
32         %union.tree_ann_d = type opaque
34 define void @layout_type(%struct.tree_node* %type) {
35 entry:
36         %tmp32 = load i32* null, align 8                ; <i32> [#uses=3]
37         %tmp3435 = trunc i32 %tmp32 to i8               ; <i8> [#uses=1]
38         %tmp53 = icmp eq %struct.tree_node* null, null          ; <i1> [#uses=1]
39         br i1 %tmp53, label %cond_next57, label %UnifiedReturnBlock
41 cond_next57:            ; preds = %entry
42         %tmp65 = and i32 %tmp32, 255            ; <i32> [#uses=1]
43         switch i32 %tmp65, label %UnifiedReturnBlock [
44                  i32 6, label %bb140
45                  i32 7, label %bb140
46                  i32 8, label %bb140
47                  i32 13, label %bb478
48         ]
50 bb140:          ; preds = %cond_next57, %cond_next57, %cond_next57
51         %tmp219 = load i32* null, align 8               ; <i32> [#uses=1]
52         %tmp221222 = trunc i32 %tmp219 to i8            ; <i8> [#uses=1]
53         %tmp223 = icmp eq i8 %tmp221222, 24             ; <i1> [#uses=1]
54         br i1 %tmp223, label %cond_true226, label %cond_next340
56 cond_true226:           ; preds = %bb140
57         switch i8 %tmp3435, label %cond_true288 [
58                  i8 6, label %cond_next340
59                  i8 9, label %cond_next340
60                  i8 7, label %cond_next340
61                  i8 8, label %cond_next340
62                  i8 10, label %cond_next340
63         ]
65 cond_true288:           ; preds = %cond_true226
66         unreachable
68 cond_next340:           ; preds = %cond_true226, %cond_true226, %cond_true226, %cond_true226, %cond_true226, %bb140
69         ret void
71 bb478:          ; preds = %cond_next57
72         br i1 false, label %cond_next500, label %cond_true497
74 cond_true497:           ; preds = %bb478
75         unreachable
77 cond_next500:           ; preds = %bb478
78         %tmp513 = load i32* null, align 8               ; <i32> [#uses=1]
79         %tmp545 = and i32 %tmp513, 8192         ; <i32> [#uses=1]
80         %tmp547 = and i32 %tmp32, -8193         ; <i32> [#uses=1]
81         %tmp548 = or i32 %tmp547, %tmp545               ; <i32> [#uses=1]
82         store i32 %tmp548, i32* null, align 8
83         ret void
85 UnifiedReturnBlock:             ; preds = %cond_next57, %entry
86         ret void