llvm/test/CodeGen/ARM/2011-03-15-LdStMultipleBug.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 2
   2 ; RUN: llc < %s -mtriple=thumbv7-apple-darwin10 -relocation-model=pic -frame-pointer=all -mcpu=cortex-a8 | FileCheck %s
   3
   4 ; Do not form Thumb2 ldrd / strd if the offset is not multiple of 4.
   5 ; rdar://9133587
   6
   7 %struct.Outer = type { i32, [2 x %"struct.Outer::Inner"] }
   8 %"struct.Outer::Inner" = type { i32, i32, i8, i8 }
   9
  10 @oStruct = external global %struct.Outer, align 4
  11
  12 define void @main(i8 %val8) nounwind {
  13 ; CHECK-LABEL: main:
  14 ; CHECK:       @ %bb.0: @ %for.body.lr.ph
  15 ; CHECK-NEXT:    movw r0, :lower16:(L_oStruct$non_lazy_ptr-(LPC0_0+4))
  16 ; CHECK-NEXT:    movt r0, :upper16:(L_oStruct$non_lazy_ptr-(LPC0_0+4))
  17 ; CHECK-NEXT:  LPC0_0:
  18 ; CHECK-NEXT:    add r0, pc
  19 ; CHECK-NEXT:    ldr r0, [r0]
  20 ; CHECK-NEXT:    adds r0, #25
  21 ; CHECK-NEXT:  LBB0_1: @ %for.body
  22 ; CHECK-NEXT:    @ =>This Inner Loop Header: Depth=1
  23 ; CHECK-NEXT:    ldr r1, [r0, #-21]
  24 ; CHECK-NEXT:    ldr r2, [r0, #-17]
  25 ; CHECK-NEXT:    muls r1, r2, r1
  26 ; CHECK-NEXT:    cmp r1, #0
  27 ; CHECK-NEXT:    it ne
  28 ; CHECK-NEXT:    bxne lr
  29 ; CHECK-NEXT:  LBB0_2: @ %_Z14printIsNotZeroi.exit17.for.body_crit_edge
  30 ; CHECK-NEXT:    @ in Loop: Header=BB0_1 Depth=1
  31 ; CHECK-NEXT:    adds r0, #12
  32 ; CHECK-NEXT:    b LBB0_1
  33 for.body.lr.ph:
  34   br label %for.body
  35
  36 for.body:                                         ; preds = %_Z14printIsNotZeroi.exit17.for.body_crit_edge, %for.body.lr.ph
  37   %tmp3 = phi i1 [ false, %for.body.lr.ph ], [ %phitmp27, %_Z14printIsNotZeroi.exit17.for.body_crit_edge ]
  38   %i.022 = phi i32 [ 0, %for.body.lr.ph ], [ %inc, %_Z14printIsNotZeroi.exit17.for.body_crit_edge ]
  39   %x = getelementptr %struct.Outer, ptr @oStruct, i32 0, i32 1, i32 %i.022, i32 0
  40   %y = getelementptr %struct.Outer, ptr @oStruct, i32 0, i32 1, i32 %i.022, i32 1
  41   %inc = add i32 %i.022, 1
  42   %tmp8 = load i32, ptr %x, align 4
  43   %tmp11 = load i32, ptr %y, align 4
  44   %mul = mul nsw i32 %tmp11, %tmp8
  45   %tobool.i14 = icmp eq i32 %mul, 0
  46   br i1 %tobool.i14, label %_Z14printIsNotZeroi.exit17, label %if.then.i16
  47
  48 if.then.i16:                                      ; preds = %_Z14printIsNotZeroi.exit
  49   ret void
  50
  51 _Z14printIsNotZeroi.exit17:                       ; preds = %_Z14printIsNotZeroi.exit
  52   br label %_Z14printIsNotZeroi.exit17.for.body_crit_edge
  53
  54 _Z14printIsNotZeroi.exit17.for.body_crit_edge:    ; preds = %_Z14printIsNotZeroi.exit17
  55   %b.phi.trans.insert = getelementptr %struct.Outer, ptr @oStruct, i32 0, i32 1, i32 %inc, i32 3
  56   %tmp3.pre = load i8, ptr %b.phi.trans.insert, align 1
  57   %phitmp27 = icmp eq i8 %val8, 0
  58   br label %for.body
  59
  60 for.end:                                          ; preds = %_Z14printIsNotZeroi.exit17
  61   ret void
  62 }