xref: /llvm-project/llvm/test/CodeGen/ARM/2011-03-15-LdStMultipleBug.ll (revision 4a2bd78f5b0d0661c23dff9c4b93a393a49dbf9a)
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
12define void @main(i8 %val8) nounwind "frame-pointer"="none" {
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
33for.body.lr.ph:
34  br label %for.body
35
36for.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
48if.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
60for.end:                                          ; preds = %_Z14printIsNotZeroi.exit17
61  ret void
62}
63