aboutsummaryrefslogtreecommitdiff
path: root/llvm/test/CodeGen/Thumb2/ldr-str-imm12.ll
blob: 1d177b0a4ebbf46710bec26dbd271f74febdbfe3 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc < %s -mtriple=thumbv7-apple-darwin -arm-atomic-cfg-tidy=0 -mcpu=cortex-a8 -relocation-model=pic -frame-pointer=all | FileCheck %s
; rdar://7352504

%0 = type { i16, i8, i8 }
%1 = type { [2 x i32], [2 x i32] }
%2 = type { ptr }
%struct.FILE_POS = type { i8, i8, i16, i32 }
%struct.GAP = type { i8, i8, i16 }
%struct.LIST = type { ptr, ptr }
%struct.STYLE = type { %union.anon, %union.anon, i16, i16, i32 }
%struct.head_type = type { [2 x %struct.LIST], %union.FIRST_UNION, %union.SECOND_UNION, %union.THIRD_UNION, %union.FOURTH_UNION, ptr, %2, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, i32 }
%union.FIRST_UNION = type { %struct.FILE_POS }
%union.FOURTH_UNION = type { %struct.STYLE }
%union.SECOND_UNION = type { %0 }
%union.THIRD_UNION = type { %1 }
%union.anon = type { %struct.GAP }
%union.rec = type { %struct.head_type }

@zz_hold = external global ptr            ; <ptr> [#uses=2]
@zz_res = external global ptr             ; <ptr> [#uses=1]

define ptr @Manifest(ptr %x, ptr %env, ptr %style, ptr %bthr, ptr %fthr, ptr %target, ptr %crs, i32 %ok, i32 %need_expand, ptr %enclose, i32 %fcr) nounwind {
; CHECK-LABEL: Manifest:
; CHECK:       @ %bb.0: @ %entry
; CHECK-NEXT:    push {r4, r5, r6, r7, lr}
; CHECK-NEXT:    add r7, sp, #12
; CHECK-NEXT:    push.w {r8, r10, r11}
; CHECK-NEXT:    sub sp, #292
; CHECK-NEXT:    add.w r10, r7, #8
; CHECK-NEXT:    ldrd r8, lr, [r7, #20]
; CHECK-NEXT:    movs r5, #0
; CHECK-NEXT:    cmp r5, #0
; CHECK-NEXT:    ldm.w r10, {r4, r9, r10}
; CHECK-NEXT:    ldr.w r12, [r7, #28]
; CHECK-NEXT:    ittt ne
; CHECK-NEXT:    addne sp, #292
; CHECK-NEXT:    popne.w {r8, r10, r11}
; CHECK-NEXT:    popne {r4, r5, r6, r7, pc}
; CHECK-NEXT:  LBB0_1: @ %bb20
; CHECK-NEXT:    movs r5, #1
; CHECK-NEXT:    cmp r5, #0
; CHECK-NEXT:    bne LBB0_4
; CHECK-NEXT:  @ %bb.2: @ %bb20
; CHECK-NEXT:    beq LBB0_5
; CHECK-NEXT:  @ %bb.3: @ %bb420
; CHECK-NEXT:    movw r5, :lower16:(L_zz_hold$non_lazy_ptr-(LPC0_0+4))
; CHECK-NEXT:    movt r5, :upper16:(L_zz_hold$non_lazy_ptr-(LPC0_0+4))
; CHECK-NEXT:    movw r11, :lower16:(L_zz_res$non_lazy_ptr-(LPC0_1+4))
; CHECK-NEXT:  LPC0_0:
; CHECK-NEXT:    add r5, pc
; CHECK-NEXT:    movt r11, :upper16:(L_zz_res$non_lazy_ptr-(LPC0_1+4))
; CHECK-NEXT:  LPC0_1:
; CHECK-NEXT:    add r11, pc
; CHECK-NEXT:    ldr r5, [r5]
; CHECK-NEXT:    str r5, [sp, #32] @ 4-byte Spill
; CHECK-NEXT:    ldr.w r5, [r11]
; CHECK-NEXT:    mov.w r11, #0
; CHECK-NEXT:    str r5, [sp, #28] @ 4-byte Spill
; CHECK-NEXT:    ldr r5, [sp, #32] @ 4-byte Reload
; CHECK-NEXT:    str.w r11, [r5]
; CHECK-NEXT:    movs r5, #0
; CHECK-NEXT:    ldr r6, [sp, #28] @ 4-byte Reload
; CHECK-NEXT:    str r5, [r6]
; CHECK-NEXT:    ldr r5, [sp, #32] @ 4-byte Reload
; CHECK-NEXT:    str r0, [r5]
; CHECK-NEXT:    ldr r0, [r7, #32]
; CHECK-NEXT:    stm.w sp, {r4, r9, r10}
; CHECK-NEXT:    strd r8, lr, [sp, #12]
; CHECK-NEXT:    str.w r12, [sp, #20]
; CHECK-NEXT:    str r0, [sp, #24]
; CHECK-NEXT:    bl _Manifest
; CHECK-NEXT:    trap
; CHECK-NEXT:  LBB0_4: @ %bb20
; CHECK-NEXT:    itt ne
; CHECK-NEXT:    movne r0, #0
; CHECK-NEXT:    cmpne r0, #0
; CHECK-NEXT:  LBB0_5: @ %bb20
; CHECK-NEXT:    trap
entry:
  %xgaps.i = alloca [32 x ptr], align 4   ; <ptr> [#uses=0]
  %ycomp.i = alloca [32 x ptr], align 4   ; <ptr> [#uses=0]
  br label %bb20

bb20:                                             ; preds = %entry
  switch i32 undef, label %bb1287 [
    i32 110, label %bb119
    i32 120, label %bb119
    i32 210, label %bb420
    i32 230, label %bb420
    i32 450, label %bb438
    i32 460, label %bb438
    i32 550, label %bb533
    i32 560, label %bb569
    i32 640, label %bb745
    i32 780, label %bb1098
  ]

bb119:                                            ; preds = %bb20, %bb20
  unreachable

bb420:                                            ; preds = %bb20, %bb20
  store volatile ptr null, ptr @zz_hold, align 4
  store ptr null, ptr @zz_res, align 4
  store volatile ptr %x, ptr @zz_hold, align 4
  %0 = call  ptr @Manifest(ptr undef, ptr %env, ptr %style, ptr %bthr, ptr %fthr, ptr %target, ptr %crs, i32 %ok, i32 %need_expand, ptr %enclose, i32 %fcr) nounwind ; <ptr> [#uses=0]
  unreachable

bb438:                                            ; preds = %bb20, %bb20
  unreachable

bb533:                                            ; preds = %bb20
  ret ptr %x

bb569:                                            ; preds = %bb20
  unreachable

bb745:                                            ; preds = %bb20
  unreachable

bb1098:                                           ; preds = %bb20
  unreachable

bb1287:                                           ; preds = %bb20
  unreachable
}