test/CodeGen/X86/lsr-interesting-step.ll

   1 ; RUN: llc < %s -march=x86-64 -relocation-model=static -mtriple=x86_64-unknown-linux-gnu -asm-verbose=0 | FileCheck %s
   2
   3 ; The inner loop should require only one add (and no leas either).
   4 ; rdar://8100380
   5
   6 ; CHECK:      BB0_2:
   7 ; CHECK-NEXT:   movb    $0, flags(%rcx)
   8 ; CHECK-NEXT:   addq    %rax, %rcx
   9 ; CHECK-NEXT:   cmpq    $8192, %rcx
  10 ; CHECK-NEXT:   jl
  11
  12 @flags = external global [8192 x i8], align 16 ; <[8192 x i8]*> [#uses=1]
  13
  14 define void @foo() nounwind {
  15 entry:
  16   br label %bb
  17
  18 bb:                                               ; preds = %entry
  19   br label %bb7
  20
  21 bb7:                                              ; preds = %bb, %bb17
  22   %tmp8 = phi i64 [ %tmp18, %bb17 ], [ 2, %bb ]   ; <i64> [#uses=2]
  23   br label %bb10
  24
  25 bb10:                                             ; preds = %bb7
  26   br label %bb11
  27
  28 bb11:                                             ; preds = %bb10, %bb11
  29   %tmp12 = phi i64 [ %tmp14, %bb11 ], [ 2, %bb10 ] ; <i64> [#uses=2]
  30   %tmp13 = getelementptr inbounds [8192 x i8], [8192 x i8]* @flags, i64 0, i64 %tmp12 ; <i8*> [#uses=1]
  31   store i8 0, i8* %tmp13, align 1
  32   %tmp14 = add nsw i64 %tmp12, %tmp8              ; <i64> [#uses=2]
  33   %tmp15 = icmp slt i64 %tmp14, 8192              ; <i1> [#uses=1]
  34   br i1 %tmp15, label %bb11, label %bb16
  35
  36 bb16:                                             ; preds = %bb11
  37   br label %bb17
  38
  39 bb17:                                             ; preds = %bb16, %bb7
  40   %tmp18 = add nsw i64 %tmp8, 1                   ; <i64> [#uses=2]
  41   %tmp19 = icmp slt i64 %tmp18, 8192              ; <i1> [#uses=1]
  42   br i1 %tmp19, label %bb7, label %bb20
  43
  44 bb20:                                             ; preds = %bb17
  45   br label %bb21
  46
  47 bb21:                                             ; preds = %bb20, %entry
  48   ret void
  49 }