[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / X86 / 2006-09-01-CycleInDAG.ll
blob3c32e1d7c6a3fe319375f1bbee33d76c8781e1a4
1 ; RUN: llc < %s
2 target datalayout = "e-p:32:32"
3 target triple = "i686-apple-darwin8"
4         %struct.CUMULATIVE_ARGS = type { i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32 }
5         %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 }
6         %struct.VEC_edge = type { i32, i32, [1 x %struct.edge_def*] }
7         %struct.VEC_tree = type { i32, i32, [1 x %struct.tree_node*] }
8         %struct.__sFILEX = type opaque
9         %struct.__sbuf = type { i8*, i32 }
10         %struct._obstack_chunk = type { i8*, %struct._obstack_chunk*, [4 x i8] }
11         %struct._var_map = type { %struct.partition_def*, i32*, i32*, %struct.tree_node**, i32, i32, i32* }
12         %struct.basic_block_def = type { %struct.rtx_def*, %struct.rtx_def*, %struct.tree_node*, %struct.VEC_edge*, %struct.VEC_edge*, %struct.bitmap_head_def*, %struct.bitmap_head_def*, i8*, %struct.loop*, [2 x %struct.et_node*], %struct.basic_block_def*, %struct.basic_block_def*, %struct.reorder_block_def*, %struct.bb_ann_d*, i64, i32, i32, i32, i32 }
13         %struct.bb_ann_d = type { %struct.tree_node*, i8, %struct.edge_prediction* }
14         %struct.bitmap_element_def = type { %struct.bitmap_element_def*, %struct.bitmap_element_def*, i32, [4 x i32] }
15         %struct.bitmap_head_def = type { %struct.bitmap_element_def*, %struct.bitmap_element_def*, i32, %struct.bitmap_obstack* }
16         %struct.bitmap_iterator = type { %struct.bitmap_element_def*, %struct.bitmap_element_def*, i32, i32 }
17         %struct.bitmap_obstack = type { %struct.bitmap_element_def*, %struct.bitmap_head_def*, %struct.obstack }
18         %struct.block_stmt_iterator = type { %struct.tree_stmt_iterator, %struct.basic_block_def* }
19         %struct.coalesce_list_d = type { %struct._var_map*, %struct.partition_pair_d**, i1 }
20         %struct.conflict_graph_def = type opaque
21         %struct.dataflow_d = type { %struct.varray_head_tag*, [2 x %struct.tree_node*] }
22         %struct.def_operand_ptr = type { %struct.tree_node** }
23         %struct.def_optype_d = type { i32, [1 x %struct.def_operand_ptr] }
24         %struct.die_struct = type opaque
25         %struct.edge_def = type { %struct.basic_block_def*, %struct.basic_block_def*, %struct.edge_def_insns, i8*, %struct.__sbuf*, i32, i32, i64, i32 }
26         %struct.edge_def_insns = type { %struct.rtx_def* }
27         %struct.edge_iterator = type { i32, %struct.VEC_edge** }
28         %struct.edge_prediction = type { %struct.edge_prediction*, %struct.edge_def*, i32, i32 }
29         %struct.eh_status = type opaque
30         %struct.elt_list = type opaque
31         %struct.emit_status = type { i32, i32, %struct.rtx_def*, %struct.rtx_def*, %struct.sequence_stack*, i32, %struct.__sbuf, i32, i8*, %struct.rtx_def** }
32         %struct.et_node = type opaque
33         %struct.expr_status = type { i32, i32, i32, %struct.rtx_def*, %struct.rtx_def*, %struct.rtx_def* }
34         %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, i1, i1, %struct.language_function*, %struct.rtx_def*, i32, i32, i32, i32, %struct.__sbuf, %struct.varray_head_tag*, %struct.tree_node*, i8, i8, i8 }
35         %struct.ht_identifier = type { i8*, i32, i32 }
36         %struct.initial_value_struct = type opaque
37         %struct.lang_decl = type opaque
38         %struct.lang_type = type opaque
39         %struct.language_function = type opaque
40         %struct.location_t = type { i8*, i32 }
41         %struct.loop = type opaque
42         %struct.machine_function = type { i32, i32, i8*, i32, i32 }
43         %struct.obstack = type { i32, %struct._obstack_chunk*, i8*, i8*, i8*, i32, i32, %struct._obstack_chunk* (i8*, i32)*, void (i8*, %struct._obstack_chunk*)*, i8*, i8 }
44         %struct.partition_def = type { i32, [1 x %struct.partition_elem] }
45         %struct.partition_elem = type { i32, %struct.partition_elem*, i32 }
46         %struct.partition_pair_d = type { i32, i32, i32, %struct.partition_pair_d* }
47         %struct.phi_arg_d = type { %struct.tree_node*, i1 }
48         %struct.pointer_set_t = type opaque
49         %struct.ptr_info_def = type { i8, %struct.bitmap_head_def*, %struct.tree_node* }
50         %struct.real_value = type opaque
51         %struct.reg_info_def = type opaque
52         %struct.reorder_block_def = type { %struct.rtx_def*, %struct.rtx_def*, %struct.basic_block_def*, %struct.basic_block_def*, %struct.basic_block_def*, i32, i32, i32 }
53         %struct.rtvec_def = type opaque
54         %struct.rtx_def = type opaque
55         %struct.sequence_stack = type { %struct.rtx_def*, %struct.rtx_def*, %struct.sequence_stack* }
56         %struct.simple_bitmap_def = type { i32, i32, i32, [1 x i64] }
57         %struct.ssa_op_iter = type { i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, %struct.stmt_operands_d*, i1 }
58         %struct.stmt_ann_d = type { %struct.tree_ann_common_d, i8, %struct.basic_block_def*, %struct.stmt_operands_d, %struct.dataflow_d*, %struct.bitmap_head_def*, i32 }
59         %struct.stmt_operands_d = type { %struct.def_optype_d*, %struct.def_optype_d*, %struct.v_may_def_optype_d*, %struct.vuse_optype_d*, %struct.v_may_def_optype_d* }
60         %struct.temp_slot = type opaque
61         %struct.tree_ann_common_d = type { i32, i8*, %struct.tree_node* }
62         %struct.tree_ann_d = type { %struct.stmt_ann_d }
63         %struct.tree_binfo = type { %struct.tree_common, %struct.tree_node*, %struct.tree_node*, %struct.tree_node*, %struct.tree_node*, %struct.VEC_tree*, %struct.tree_node*, %struct.tree_node*, %struct.tree_node*, %struct.VEC_tree }
64         %struct.tree_block = type { %struct.tree_common, i8, [3 x i8], %struct.tree_node*, %struct.tree_node*, %struct.tree_node*, %struct.tree_node*, %struct.tree_node*, %struct.tree_node* }
65         %struct.tree_common = type { %struct.tree_node*, %struct.tree_node*, %struct.tree_ann_d*, i8, i8, i8, i8, i8 }
66         %struct.tree_complex = type { %struct.tree_common, %struct.tree_node*, %struct.tree_node* }
67         %struct.tree_decl = type { %struct.tree_common, %struct.__sbuf, i32, %struct.tree_node*, 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* }
68         %struct.tree_decl_u1 = type { i64 }
69         %struct.tree_decl_u1_a = type { i32 }
70         %struct.tree_decl_u2 = type { %struct.function* }
71         %struct.tree_exp = type { %struct.tree_common, %struct.__sbuf*, i32, %struct.tree_node*, [1 x %struct.tree_node*] }
72         %struct.tree_identifier = type { %struct.tree_common, %struct.ht_identifier }
73         %struct.tree_int_cst = type { %struct.tree_common, %struct.tree_int_cst_lowhi }
74         %struct.tree_int_cst_lowhi = type { i64, i64 }
75         %struct.tree_list = type { %struct.tree_common, %struct.tree_node*, %struct.tree_node* }
76         %struct.tree_live_info_d = type { %struct._var_map*, %struct.bitmap_head_def*, %struct.bitmap_head_def**, i32, %struct.bitmap_head_def** }
77         %struct.tree_node = type { %struct.tree_decl }
78         %struct.tree_partition_associator_d = type { %struct.varray_head_tag*, %struct.varray_head_tag*, i32*, i32*, i32, i32, %struct._var_map* }
79         %struct.tree_phi_node = type { %struct.tree_common, %struct.tree_node*, i32, i32, i32, %struct.basic_block_def*, %struct.dataflow_d*, [1 x %struct.phi_arg_d] }
80         %struct.tree_real_cst = type { %struct.tree_common, %struct.real_value* }
81         %struct.tree_ssa_name = type { %struct.tree_common, %struct.tree_node*, i32, %struct.ptr_info_def*, %struct.tree_node*, i8* }
82         %struct.tree_statement_list = type { %struct.tree_common, %struct.tree_statement_list_node*, %struct.tree_statement_list_node* }
83         %struct.tree_statement_list_node = type { %struct.tree_statement_list_node*, %struct.tree_statement_list_node*, %struct.tree_node* }
84         %struct.tree_stmt_iterator = type { %struct.tree_statement_list_node*, %struct.tree_node* }
85         %struct.tree_string = type { %struct.tree_common, i32, [1 x i8] }
86         %struct.tree_type = type { %struct.tree_common, %struct.tree_node*, %struct.tree_node*, %struct.tree_node*, %struct.tree_node*, i32, i16, i8, i8, i32, %struct.tree_node*, %struct.tree_node*, %struct.tree_decl_u1_a, %struct.tree_node*, %struct.tree_node*, %struct.tree_node*, %struct.tree_node*, %struct.tree_node*, %struct.tree_node*, %struct.tree_node*, i64, %struct.lang_type* }
87         %struct.tree_type_symtab = type { i32 }
88         %struct.tree_value_handle = type { %struct.tree_common, %struct.value_set*, i32 }
89         %struct.tree_vec = type { %struct.tree_common, i32, [1 x %struct.tree_node*] }
90         %struct.tree_vector = type { %struct.tree_common, %struct.tree_node* }
91         %struct.use_operand_ptr = type { %struct.tree_node** }
92         %struct.use_optype_d = type { i32, [1 x %struct.def_operand_ptr] }
93         %struct.v_def_use_operand_type_t = type { %struct.tree_node*, %struct.tree_node* }
94         %struct.v_may_def_optype_d = type { i32, [1 x %struct.v_def_use_operand_type_t] }
95         %struct.v_must_def_optype_d = type { i32, [1 x %struct.v_def_use_operand_type_t] }
96         %struct.value_set = type opaque
97         %struct.var_ann_d = type { %struct.tree_ann_common_d, i8, i8, %struct.tree_node*, %struct.varray_head_tag*, i32, i32, i32, %struct.tree_node*, %struct.tree_node* }
98         %struct.var_refs_queue = type { %struct.rtx_def*, i32, i32, %struct.var_refs_queue* }
99         %struct.varasm_status = type opaque
100         %struct.varray_data = type { [1 x i64] }
101         %struct.varray_head_tag = type { i32, i32, i32, i8*, %struct.varray_data }
102         %struct.vuse_optype_d = type { i32, [1 x %struct.tree_node*] }
103 @basic_block_info = external global %struct.varray_head_tag*            ; <%struct.varray_head_tag**> [#uses=1]
105 define void @calculate_live_on_entry_cond_true3632(%struct.varray_head_tag* %stack3023.6, i32* %tmp3629, %struct.VEC_edge*** %tmp3397.out) {
106 newFuncRoot:
107         br label %cond_true3632
109 bb3502.exitStub:                ; preds = %cond_true3632
110         store %struct.VEC_edge** %tmp3397, %struct.VEC_edge*** %tmp3397.out
111         ret void
113 cond_true3632:          ; preds = %newFuncRoot
114         %tmp3378 = load i32, i32* %tmp3629              ; <i32> [#uses=1]
115         %tmp3379 = add i32 %tmp3378, -1         ; <i32> [#uses=1]
116         %tmp3381 = getelementptr %struct.varray_head_tag, %struct.varray_head_tag* %stack3023.6, i32 0, i32 4           ; <%struct.varray_data*> [#uses=1]
117         %tmp3382 = bitcast %struct.varray_data* %tmp3381 to [1 x i32]*          ; <[1 x i32]*> [#uses=1]
118         %gep.upgrd.1 = zext i32 %tmp3379 to i64         ; <i64> [#uses=1]
119         %tmp3383 = getelementptr [1 x i32], [1 x i32]* %tmp3382, i32 0, i64 %gep.upgrd.1                ; <i32*> [#uses=1]
120         %tmp3384 = load i32, i32* %tmp3383              ; <i32> [#uses=1]
121         %tmp3387 = load i32, i32* %tmp3629              ; <i32> [#uses=1]
122         %tmp3388 = add i32 %tmp3387, -1         ; <i32> [#uses=1]
123         store i32 %tmp3388, i32* %tmp3629
124         %tmp3391 = load %struct.varray_head_tag*, %struct.varray_head_tag** @basic_block_info           ; <%struct.varray_head_tag*> [#uses=1]
125         %tmp3393 = getelementptr %struct.varray_head_tag, %struct.varray_head_tag* %tmp3391, i32 0, i32 4               ; <%struct.varray_data*> [#uses=1]
126         %tmp3394 = bitcast %struct.varray_data* %tmp3393 to [1 x %struct.basic_block_def*]*             ; <[1 x %struct.basic_block_def*]*> [#uses=1]
127         %tmp3395 = getelementptr [1 x %struct.basic_block_def*], [1 x %struct.basic_block_def*]* %tmp3394, i32 0, i32 %tmp3384          ; <%struct.basic_block_def**> [#uses=1]
128         %tmp3396 = load %struct.basic_block_def*, %struct.basic_block_def** %tmp3395            ; <%struct.basic_block_def*> [#uses=1]
129         %tmp3397 = getelementptr %struct.basic_block_def, %struct.basic_block_def* %tmp3396, i32 0, i32 3               ; <%struct.VEC_edge**> [#uses=1]
130         br label %bb3502.exitStub