test/CodeGen/X86/loop-strength-reduce8.ll

   1 ; RUN: llc < %s -mtriple=i386-apple-darwin | FileCheck %s
   2
   3 ; FIXME: The first two instructions, movl and addl, should have been combined to
   4 ; "leal 16(%eax), %edx" by the backend (PR20776).
   5 ; CHECK: movl    %eax, %edx
   6 ; CHECK: addl    $16, %edx
   7 ; CHECK: align
   8 ; CHECK: addl    $4, %edx
   9 ; CHECK: decl    %ecx
  10 ; CHECK: jne     LBB0_2
  11
  12         %struct.CUMULATIVE_ARGS = type { i32, i32, i32, i32, i32, i32, i32 }
  13         %struct.bitmap_element = type { %struct.bitmap_element*, %struct.bitmap_element*, i32, [2 x i64] }
  14         %struct.bitmap_head_def = type { %struct.bitmap_element*, %struct.bitmap_element*, i32 }
  15         %struct.branch_path = type { %struct.rtx_def*, i32 }
  16         %struct.c_lang_decl = type <{ i8, [3 x i8] }>
  17         %struct.constant_descriptor = type { %struct.constant_descriptor*, i8*, %struct.rtx_def*, { x86_fp80 } }
  18         %struct.eh_region = type { %struct.eh_region*, %struct.eh_region*, %struct.eh_region*, i32, %struct.bitmap_head_def*, i32, { { %struct.eh_region*, %struct.eh_region*, %struct.eh_region*, %struct.rtx_def* } }, %struct.rtx_def*, %struct.rtx_def*, %struct.rtx_def*, %struct.rtx_def* }
  19         %struct.eh_status = type { %struct.eh_region*, %struct.eh_region**, %struct.eh_region*, %struct.eh_region*, %struct.tree_node*, %struct.rtx_def*, %struct.rtx_def*, i32, i32, %struct.varray_head_tag*, %struct.varray_head_tag*, %struct.varray_head_tag*, %struct.branch_path*, i32, i32, %struct.rtx_def*, %struct.rtx_def*, %struct.rtx_def*, %struct.rtx_def*, %struct.rtx_def* }
  20         %struct.emit_status = type { i32, i32, %struct.rtx_def*, %struct.rtx_def*, %struct.tree_node*, %struct.sequence_stack*, i32, i32, i8*, i32, i8*, %struct.tree_node**, %struct.rtx_def** }
  21         %struct.equiv_table = type { %struct.rtx_def*, %struct.rtx_def* }
  22         %struct.expr_status = type { i32, i32, i32, %struct.rtx_def*, %struct.rtx_def*, %struct.rtx_def*, %struct.rtx_def* }
  23         %struct.function = type { %struct.eh_status*, %struct.stmt_status*, %struct.expr_status*, %struct.emit_status*, %struct.varasm_status*, i8*, %struct.tree_node*, %struct.function*, i32, i32, i32, i32, %struct.rtx_def*, %struct.CUMULATIVE_ARGS, %struct.rtx_def*, %struct.rtx_def*, i8*, %struct.initial_value_struct*, i32, %struct.tree_node*, %struct.rtx_def*, %struct.rtx_def*, %struct.rtx_def*, %struct.rtx_def*, %struct.rtx_def*, %struct.rtx_def*, %struct.rtx_def*, %struct.tree_node*, %struct.rtx_def*, %struct.rtx_def*, %struct.rtx_def*, %struct.rtx_def*, i64, %struct.tree_node*, %struct.tree_node*, %struct.rtx_def*, %struct.rtx_def*, i32, %struct.rtx_def**, %struct.temp_slot*, i32, i32, i32, %struct.var_refs_queue*, i32, i32, i8*, %struct.tree_node*, %struct.rtx_def*, i32, i32, %struct.machine_function*, i32, i32, %struct.language_function*, %struct.rtx_def*, i8, i8, i8 }
  24         %struct.goto_fixup = type { %struct.goto_fixup*, %struct.rtx_def*, %struct.tree_node*, %struct.tree_node*, %struct.rtx_def*, i32, %struct.rtx_def*, %struct.tree_node* }
  25         %struct.initial_value_struct = type { i32, i32, %struct.equiv_table* }
  26         %struct.label_chain = type { %struct.label_chain*, %struct.tree_node* }
  27         %struct.lang_decl = type { %struct.c_lang_decl, %struct.tree_node* }
  28         %struct.language_function = type { %struct.stmt_tree_s, %struct.tree_node* }
  29         %struct.machine_function = type { [59 x [3 x %struct.rtx_def*]], i32, i32 }
  30         %struct.nesting = type { %struct.nesting*, %struct.nesting*, i32, %struct.rtx_def*, { { i32, %struct.rtx_def*, %struct.rtx_def*, %struct.nesting*, %struct.tree_node*, %struct.tree_node*, %struct.label_chain*, i32, i32, i32, i32, %struct.rtx_def*, %struct.tree_node** } } }
  31         %struct.pool_constant = type { %struct.constant_descriptor*, %struct.pool_constant*, %struct.pool_constant*, %struct.rtx_def*, i32, i32, i32, i64, i32 }
  32         %struct.rtunion = type { i64 }
  33         %struct.rtx_def = type { i16, i8, i8, [1 x %struct.rtunion] }
  34         %struct.sequence_stack = type { %struct.rtx_def*, %struct.rtx_def*, %struct.tree_node*, %struct.sequence_stack* }
  35         %struct.stmt_status = type { %struct.nesting*, %struct.nesting*, %struct.nesting*, %struct.nesting*, %struct.nesting*, %struct.nesting*, i32, i32, %struct.tree_node*, %struct.rtx_def*, i32, i8*, i32, %struct.goto_fixup* }
  36         %struct.stmt_tree_s = type { %struct.tree_node*, %struct.tree_node*, i8*, i32 }
  37         %struct.temp_slot = type { %struct.temp_slot*, %struct.rtx_def*, %struct.rtx_def*, i32, i64, %struct.tree_node*, %struct.tree_node*, i8, i8, i32, i32, i64, i64 }
  38         %struct.tree_common = type { %struct.tree_node*, %struct.tree_node*, i8, i8, i8, i8 }
  39         %struct.tree_decl = type { %struct.tree_common, i8*, i32, i32, %struct.tree_node*, i8, i8, i8, i8, i8, i8, %struct.rtunion, %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*, %struct.rtx_def*, { %struct.function* }, %struct.tree_node*, %struct.tree_node*, %struct.tree_node*, i64, %struct.lang_decl* }
  40         %struct.tree_exp = type { %struct.tree_common, i32, [1 x %struct.tree_node*] }
  41         %struct.tree_node = type { %struct.tree_decl }
  42         %struct.var_refs_queue = type { %struct.rtx_def*, i32, i32, %struct.var_refs_queue* }
  43         %struct.varasm_status = type { %struct.constant_descriptor**, %struct.pool_constant**, %struct.pool_constant*, %struct.pool_constant*, i64, %struct.rtx_def* }
  44         %struct.varray_data = type { [1 x i64] }
  45         %struct.varray_head_tag = type { i32, i32, i32, i8*, %struct.varray_data }
  46 @lineno = internal global i32 0         ; <i32*> [#uses=1]
  47 @tree_code_length = internal global [256 x i32] zeroinitializer
  48 @llvm.used = appending global [1 x i8*] [ i8* bitcast (%struct.tree_node* (i32, ...)* @build_stmt to i8*) ], section "llvm.metadata"            ; <[1 x i8*]*> [#uses=0]
  49
  50 define %struct.tree_node* @build_stmt(i32 %code, ...) nounwind {
  51 entry:
  52         %p = alloca i8*         ; <i8**> [#uses=3]
  53         %p1 = bitcast i8** %p to i8*            ; <i8*> [#uses=2]
  54         call void @llvm.va_start(i8* %p1)
  55         %0 = call fastcc %struct.tree_node* @make_node(i32 %code) nounwind              ; <%struct.tree_node*> [#uses=2]
  56         %1 = getelementptr [256 x i32], [256 x i32]* @tree_code_length, i32 0, i32 %code                ; <i32*> [#uses=1]
  57         %2 = load i32, i32* %1, align 4         ; <i32> [#uses=2]
  58         %3 = load i32, i32* @lineno, align 4            ; <i32> [#uses=1]
  59         %4 = bitcast %struct.tree_node* %0 to %struct.tree_exp*         ; <%struct.tree_exp*> [#uses=2]
  60         %5 = getelementptr %struct.tree_exp, %struct.tree_exp* %4, i32 0, i32 1         ; <i32*> [#uses=1]
  61         store i32 %3, i32* %5, align 4
  62         %6 = icmp sgt i32 %2, 0         ; <i1> [#uses=1]
  63         br i1 %6, label %bb, label %bb3
  64
  65 bb:             ; preds = %bb, %entry
  66         %i.01 = phi i32 [ %indvar.next, %bb ], [ 0, %entry ]            ; <i32> [#uses=2]
  67         %7 = load i8*, i8** %p, align 4         ; <i8*> [#uses=2]
  68         %8 = getelementptr i8, i8* %7, i32 4            ; <i8*> [#uses=1]
  69         store i8* %8, i8** %p, align 4
  70         %9 = bitcast i8* %7 to %struct.tree_node**              ; <%struct.tree_node**> [#uses=1]
  71         %10 = load %struct.tree_node*, %struct.tree_node** %9, align 4          ; <%struct.tree_node*> [#uses=1]
  72         %11 = getelementptr %struct.tree_exp, %struct.tree_exp* %4, i32 0, i32 2, i32 %i.01             ; <%struct.tree_node**> [#uses=1]
  73         store %struct.tree_node* %10, %struct.tree_node** %11, align 4
  74         %indvar.next = add i32 %i.01, 1         ; <i32> [#uses=2]
  75         %exitcond = icmp eq i32 %indvar.next, %2                ; <i1> [#uses=1]
  76         br i1 %exitcond, label %bb3, label %bb
  77
  78 bb3:            ; preds = %bb, %entry
  79         call void @llvm.va_end(i8* %p1)
  80         ret %struct.tree_node* %0
  81 }
  82
  83 declare void @llvm.va_start(i8*) nounwind
  84
  85 declare void @llvm.va_end(i8*) nounwind
  86
  87 declare fastcc %struct.tree_node* @make_node(i32) nounwind