test/CodeGen/X86/2008-05-21-CoalescerBug.ll

   1 ; RUN: llc < %s -march=x86 -O0 -fast-isel=false -optimize-regalloc -regalloc=basic | grep mov | count 5
   2 ; PR2343
   3
   4         %llvm.dbg.anchor.type = type { i32, i32 }
   5         %struct.CUMULATIVE_ARGS = type { i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32 }
   6         %struct.VEC_basic_block_base = type { i32, i32, [1 x %struct.basic_block_def*] }
   7         %struct.VEC_basic_block_gc = type { %struct.VEC_basic_block_base }
   8         %struct.VEC_edge_base = type { i32, i32, [1 x %struct.edge_def*] }
   9         %struct.VEC_edge_gc = type { %struct.VEC_edge_base }
  10         %struct.VEC_rtx_base = type { i32, i32, [1 x %struct.rtx_def*] }
  11         %struct.VEC_rtx_gc = type { %struct.VEC_rtx_base }
  12         %struct.VEC_temp_slot_p_base = type { i32, i32, [1 x %struct.temp_slot*] }
  13         %struct.VEC_temp_slot_p_gc = type { %struct.VEC_temp_slot_p_base }
  14         %struct.VEC_tree_base = type { i32, i32, [1 x %struct.tree_node*] }
  15         %struct.VEC_tree_gc = type { %struct.VEC_tree_base }
  16         %struct.__sbuf = type { i8*, i32 }
  17         %struct._obstack_chunk = type { i8*, %struct._obstack_chunk*, [4 x i8] }
  18         %struct.basic_block_def = type { %struct.tree_node*, %struct.VEC_edge_gc*, %struct.VEC_edge_gc*, i8*, %struct.loop*, [2 x %struct.et_node*], %struct.basic_block_def*, %struct.basic_block_def*, %struct.basic_block_il_dependent, %struct.tree_node*, %struct.edge_prediction*, i64, i32, i32, i32, i32 }
  19         %struct.basic_block_il_dependent = type { %struct.rtl_bb_info* }
  20         %struct.bitmap_element_def = type { %struct.bitmap_element_def*, %struct.bitmap_element_def*, i32, [4 x i32] }
  21         %struct.bitmap_head_def = type { %struct.bitmap_element_def*, %struct.bitmap_element_def*, i32, %struct.bitmap_obstack* }
  22         %struct.bitmap_obstack = type { %struct.bitmap_element_def*, %struct.bitmap_head_def*, %struct.obstack }
  23         %struct.block_symbol = type { [3 x %struct.cfg_stats_d], %struct.object_block*, i64 }
  24         %struct.cfg_stats_d = type { i32 }
  25         %struct.control_flow_graph = type { %struct.basic_block_def*, %struct.basic_block_def*, %struct.VEC_basic_block_gc*, i32, i32, i32, %struct.VEC_basic_block_gc*, i32 }
  26         %struct.def_optype_d = type { %struct.def_optype_d*, %struct.tree_node** }
  27         %struct.edge_def = type { %struct.basic_block_def*, %struct.basic_block_def*, %struct.edge_def_insns, i8*, %struct.__sbuf*, i32, i32, i64, i32 }
  28         %struct.edge_def_insns = type { %struct.rtx_def* }
  29         %struct.edge_prediction = type { %struct.edge_prediction*, %struct.edge_def*, i32, i32 }
  30         %struct.eh_status = 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.control_flow_graph*, %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.VEC_temp_slot_p_gc*, %struct.temp_slot*, %struct.var_refs_queue*, i32, i32, i32, i32, %struct.machine_function*, i32, i32, %struct.language_function*, %struct.htab*, %struct.rtx_def*, i32, i32, i32, %struct.__sbuf, %struct.VEC_tree_gc*, %struct.tree_node*, i8*, i8*, i8*, i8*, i8*, %struct.tree_node*, i8, i8, i8, i8, i8, i8 }
  35         %struct.htab = type { i32 (i8*)*, i32 (i8*, i8*)*, void (i8*)*, i8**, i32, i32, i32, i32, i32, i8* (i32, i32)*, void (i8*)*, i8*, i8* (i8*, i32, i32)*, void (i8*, i8*)*, i32 }
  36         %struct.initial_value_struct = type opaque
  37         %struct.lang_decl = type opaque
  38         %struct.language_function = type opaque
  39         %struct.loop = type { i32, %struct.basic_block_def*, %struct.basic_block_def*, %llvm.dbg.anchor.type, i32, i32, i32, i32, %struct.loop**, i32, %struct.loop*, %struct.loop*, %struct.loop*, %struct.loop*, i8*, %struct.tree_node*, %struct.tree_node*, %struct.nb_iter_bound*, %struct.edge_def*, i32 }
  40         %struct.machine_function = type opaque
  41         %struct.maydef_optype_d = type { %struct.maydef_optype_d*, %struct.tree_node*, %struct.tree_node*, %struct.ssa_use_operand_d }
  42         %struct.nb_iter_bound = type { %struct.tree_node*, %struct.tree_node*, %struct.nb_iter_bound* }
  43         %struct.object_block = type { %struct.section*, i32, i64, %struct.VEC_rtx_gc*, %struct.VEC_rtx_gc* }
  44         %struct.obstack = type { i32, %struct._obstack_chunk*, i8*, i8*, i8*, i32, i32, %struct._obstack_chunk* (i8*, i32)*, void (i8*, %struct._obstack_chunk*)*, i8*, i8 }
  45         %struct.rtl_bb_info = type { %struct.rtx_def*, %struct.rtx_def*, %struct.bitmap_head_def*, %struct.bitmap_head_def*, %struct.rtx_def*, %struct.rtx_def*, i32 }
  46         %struct.rtx_def = type { i16, i8, i8, %struct.u }
  47         %struct.section = type { %struct.unnamed_section }
  48         %struct.sequence_stack = type { %struct.rtx_def*, %struct.rtx_def*, %struct.sequence_stack* }
  49         %struct.ssa_use_operand_d = type { %struct.ssa_use_operand_d*, %struct.ssa_use_operand_d*, %struct.tree_node*, %struct.tree_node** }
  50         %struct.stmt_ann_d = type { %struct.tree_ann_common_d, i8, %struct.basic_block_def*, %struct.stmt_operands_d, %struct.bitmap_head_def*, i32, i8* }
  51         %struct.stmt_operands_d = type { %struct.def_optype_d*, %struct.use_optype_d*, %struct.maydef_optype_d*, %struct.vuse_optype_d*, %struct.maydef_optype_d* }
  52         %struct.temp_slot = type opaque
  53         %struct.tree_ann_common_d = type { i32, i8*, %struct.tree_node* }
  54         %struct.tree_ann_d = type { %struct.stmt_ann_d }
  55         %struct.tree_common = type { %struct.tree_node*, %struct.tree_node*, %struct.tree_ann_d*, i8, i8, i8, i8, i8 }
  56         %struct.tree_decl_common = type { %struct.tree_decl_minimal, %struct.tree_node*, i8, i8, i8, i8, i8, i32, %struct.tree_decl_u1, %struct.tree_node*, %struct.tree_node*, %struct.tree_node*, %struct.tree_node*, i64, %struct.lang_decl* }
  57         %struct.tree_decl_minimal = type { %struct.tree_common, %struct.__sbuf, i32, %struct.tree_node*, %struct.tree_node* }
  58         %struct.tree_decl_non_common = type { %struct.tree_decl_with_vis, %struct.tree_node*, %struct.tree_node*, %struct.tree_node*, %struct.tree_node* }
  59         %struct.tree_decl_u1 = type { i64 }
  60         %struct.tree_decl_with_rtl = type { %struct.tree_decl_common, %struct.rtx_def*, i32 }
  61         %struct.tree_decl_with_vis = type { %struct.tree_decl_with_rtl, %struct.tree_node*, %struct.tree_node*, i8, i8, i8 }
  62         %struct.tree_function_decl = type { %struct.tree_decl_non_common, i8, i8, i64, %struct.function* }
  63         %struct.tree_node = type { %struct.tree_function_decl }
  64         %struct.u = type { %struct.block_symbol }
  65         %struct.unnamed_section = type { %struct.cfg_stats_d, void (i8*)*, i8*, %struct.section* }
  66         %struct.use_optype_d = type { %struct.use_optype_d*, %struct.ssa_use_operand_d }
  67         %struct.var_refs_queue = type { %struct.rtx_def*, i32, i32, %struct.var_refs_queue* }
  68         %struct.varasm_status = type opaque
  69         %struct.vuse_optype_d = type { %struct.vuse_optype_d*, %struct.tree_node*, %struct.ssa_use_operand_d }
  70 @llvm.used = appending global [1 x i8*] [ i8* bitcast (%struct.edge_def* (%struct.edge_def*, %struct.basic_block_def*)* @tree_redirect_edge_and_branch to i8*) ], section "llvm.metadata"               ; <[1 x i8*]*> [#uses=0]
  71
  72 define %struct.edge_def* @tree_redirect_edge_and_branch(%struct.edge_def* %e1, %struct.basic_block_def* %dest2) nounwind  {
  73 entry:
  74         br label %bb497
  75
  76 bb483:          ; preds = %bb497
  77         %tmp496 = load %struct.tree_node*, %struct.tree_node** null, align 4            ; <%struct.tree_node*> [#uses=1]
  78         br label %bb497
  79
  80 bb497:          ; preds = %bb483, %entry
  81         %cases.0 = phi %struct.tree_node* [ %tmp496, %bb483 ], [ null, %entry ]         ; <%struct.tree_node*> [#uses=1]
  82         %last.0 = phi %struct.tree_node* [ %cases.0, %bb483 ], [ undef, %entry ]                ; <%struct.tree_node*> [#uses=1]
  83         %foo = phi i1 [ 0, %bb483 ], [ 1, %entry ]
  84         br i1 %foo, label %bb483, label %bb502
  85
  86 bb502:          ; preds = %bb497
  87         br i1 %foo, label %bb507, label %bb841
  88
  89 bb507:          ; preds = %bb502
  90         %tmp517 = getelementptr %struct.tree_node, %struct.tree_node* %last.0, i32 0, i32 0             ; <%struct.tree_function_decl*> [#uses=1]
  91         %tmp517518 = bitcast %struct.tree_function_decl* %tmp517 to %struct.tree_common*                ; <%struct.tree_common*> [#uses=1]
  92         %tmp519 = getelementptr %struct.tree_common, %struct.tree_common* %tmp517518, i32 0, i32 0              ; <%struct.tree_node**> [#uses=1]
  93         store %struct.tree_node* null, %struct.tree_node** %tmp519, align 4
  94         br label %bb841
  95
  96 bb841:          ; preds = %bb507, %bb502
  97         unreachable
  98 }