llvm/test/CodeGen/X86/phys_subreg_coalesce-3.ll

   1 ; RUN: llc < %s -verify-machineinstrs -mtriple=i386-apple-darwin -mcpu=corei7 | FileCheck %s
   2 ; rdar://5571034
   3
   4 ; This requires physreg joining, %13 is live everywhere:
   5 ; 304L          %cl = COPY %13:sub_8bit; GR32_ABCD:%13
   6 ; 320L          %15 = COPY %19; GR32:%15 GR32_NOSP:%19
   7 ; 336L          %15 = SAR32rCL %15, implicit dead %eflags, implicit killed %cl; GR32:%15
   8
   9 define void @foo(ptr nocapture %quadrant, ptr nocapture %ptr, i32 %bbSize, i32 %bbStart, i32 %shifts) nounwind ssp {
  10 ; CHECK-LABEL: foo:
  11 entry:
  12   %j.03 = add i32 %bbSize, -1                     ; <i32> [#uses=2]
  13   %0 = icmp sgt i32 %j.03, -1                     ; <i1> [#uses=1]
  14   br i1 %0, label %bb.nph, label %return
  15
  16 bb.nph:                                           ; preds = %entry
  17   %tmp9 = add i32 %bbStart, %bbSize               ; <i32> [#uses=1]
  18   %tmp10 = add i32 %tmp9, -1                      ; <i32> [#uses=1]
  19   br label %bb
  20
  21 bb:                                               ; preds = %bb, %bb.nph
  22 ; CHECK: %bb
  23 ; CHECK-NOT: movb {{.*}}l, %cl
  24 ; CHECK: sarl %cl
  25   %indvar = phi i32 [ 0, %bb.nph ], [ %indvar.next, %bb ] ; <i32> [#uses=3]
  26   %j.06 = sub i32 %j.03, %indvar                  ; <i32> [#uses=1]
  27   %tmp11 = sub i32 %tmp10, %indvar                ; <i32> [#uses=1]
  28   %scevgep = getelementptr i32, ptr %ptr, i32 %tmp11  ; <ptr> [#uses=1]
  29   %1 = load i32, ptr %scevgep, align 4                ; <i32> [#uses=1]
  30   %2 = ashr i32 %j.06, %shifts                    ; <i32> [#uses=1]
  31   %3 = and i32 %2, 65535                          ; <i32> [#uses=1]
  32   %4 = getelementptr inbounds i32, ptr %quadrant, i32 %1 ; <ptr> [#uses=1]
  33   store i32 %3, ptr %4, align 4
  34   %indvar.next = add i32 %indvar, 1               ; <i32> [#uses=2]
  35   %exitcond = icmp eq i32 %indvar.next, %bbSize   ; <i1> [#uses=1]
  36   br i1 %exitcond, label %return, label %bb
  37
  38 return:                                           ; preds = %bb, %entry
  39   ret void
  40 }