1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2; RUN: llc < %s -O2 -mtriple=m68k-linux-gnu -verify-machineinstrs \
3; RUN:              -code-model=medium -relocation-model=pic \
4; RUN:   | FileCheck %s
5
6@ptr = external global i32*
7@dst = external global i32
8@src = external global i32
9
10define void @test0() nounwind {
11; CHECK-LABEL: test0:
12; CHECK:       ; %bb.0: ; %entry
13; CHECK-NEXT:    move.l (dst@GOTPCREL,%pc), %a0
14; CHECK-NEXT:    move.l (ptr@GOTPCREL,%pc), %a1
15; CHECK-NEXT:    move.l %a0, (%a1)
16; CHECK-NEXT:    move.l (src@GOTPCREL,%pc), %a1
17; CHECK-NEXT:    move.l (%a1), (%a0)
18; CHECK-NEXT:    rts
19entry:
20    store i32* @dst, i32** @ptr
21    %tmp.s = load i32, i32* @src
22    store i32 %tmp.s, i32* @dst
23    ret void
24}
25
26@ptr2 = global i32* null
27@dst2 = global i32 0
28@src2 = global i32 0
29
30define void @test1() nounwind {
31; CHECK-LABEL: test1:
32; CHECK:       ; %bb.0: ; %entry
33; CHECK-NEXT:    move.l (dst2@GOTPCREL,%pc), %a0
34; CHECK-NEXT:    move.l (ptr2@GOTPCREL,%pc), %a1
35; CHECK-NEXT:    move.l %a0, (%a1)
36; CHECK-NEXT:    move.l (src2@GOTPCREL,%pc), %a1
37; CHECK-NEXT:    move.l (%a1), (%a0)
38; CHECK-NEXT:    rts
39entry:
40    store i32* @dst2, i32** @ptr2
41    %tmp.s = load i32, i32* @src2
42    store i32 %tmp.s, i32* @dst2
43    ret void
44}
45
46declare i8* @malloc(i32)
47
48define void @test2() nounwind {
49; CHECK-LABEL: test2:
50; CHECK:       ; %bb.0: ; %entry
51; CHECK-NEXT:    suba.l #4, %sp
52; CHECK-NEXT:    move.l #40, (%sp)
53; CHECK-NEXT:    jsr (malloc@PLT,%pc)
54; CHECK-NEXT:    adda.l #4, %sp
55; CHECK-NEXT:    rts
56entry:
57    %ptr = call i8* @malloc(i32 40)
58    ret void
59}
60
61@pfoo = external global void(...)*
62declare void(...)* @afoo(...)
63
64define void @test3() nounwind {
65; CHECK-LABEL: test3:
66; CHECK:       ; %bb.0: ; %entry
67; CHECK-NEXT:    suba.l #4, %sp
68; CHECK-NEXT:    jsr (afoo@PLT,%pc)
69; CHECK-NEXT:    move.l %d0, %a0
70; CHECK-NEXT:    move.l (pfoo@GOTPCREL,%pc), %a1
71; CHECK-NEXT:    move.l %a0, (%a1)
72; CHECK-NEXT:    jsr (%a0)
73; CHECK-NEXT:    adda.l #4, %sp
74; CHECK-NEXT:    rts
75entry:
76    %tmp = call void(...)*(...) @afoo()
77    store void(...)* %tmp, void(...)** @pfoo
78    %tmp1 = load void(...)*, void(...)** @pfoo
79    call void(...) %tmp1()
80    ret void
81}
82
83declare void @foo(...)
84
85define void @test4() nounwind {
86; CHECK-LABEL: test4:
87; CHECK:       ; %bb.0: ; %entry
88; CHECK-NEXT:    suba.l #4, %sp
89; CHECK-NEXT:    jsr (foo@PLT,%pc)
90; CHECK-NEXT:    adda.l #4, %sp
91; CHECK-NEXT:    rts
92entry:
93    call void(...) @foo()
94    ret void
95}
96
97@ptr6 = internal global i32* null
98@dst6 = internal global i32 0
99@src6 = internal global i32 0
100
101define void @test5() nounwind {
102; CHECK-LABEL: test5:
103; CHECK:       ; %bb.0: ; %entry
104; CHECK-NEXT:    lea (_GLOBAL_OFFSET_TABLE_@GOTPCREL,%pc), %a0
105; CHECK-NEXT:    move.l %a0, %a1
106; CHECK-NEXT:    adda.l #dst6@GOTOFF, %a1
107; CHECK-NEXT:    move.l #ptr6@GOTOFF, %d0
108; CHECK-NEXT:    move.l %a1, (0,%a0,%d0)
109; CHECK-NEXT:    move.l #src6@GOTOFF, %d0
110; CHECK-NEXT:    move.l #dst6@GOTOFF, %d1
111; CHECK-NEXT:    move.l (0,%a0,%d0), (0,%a0,%d1)
112; CHECK-NEXT:    rts
113entry:
114    store i32* @dst6, i32** @ptr6
115    %tmp.s = load i32, i32* @src6
116    store i32 %tmp.s, i32* @dst6
117    ret void
118}
119
120define void @test7(i32 %n.u) nounwind {
121; CHECK-LABEL: test7:
122; CHECK:       ; %bb.0: ; %entry
123; CHECK-NEXT:    move.l (4,%sp), %d0
124; CHECK-NEXT:    add.l #-1, %d0
125; CHECK-NEXT:    move.l %d0, %d1
126; CHECK-NEXT:    sub.l #12, %d1
127; CHECK-NEXT:    bhi .LBB6_12
128; CHECK-NEXT:  ; %bb.1: ; %entry
129; CHECK-NEXT:    lea (_GLOBAL_OFFSET_TABLE_@GOTPCREL,%pc), %a0
130; CHECK-NEXT:    lsl.l #2, %d0
131; CHECK-NEXT:    move.l %a0, %a1
132; CHECK-NEXT:    adda.l #.LJTI6_0@GOTOFF, %a1
133; CHECK-NEXT:    move.l %a0, %d1
134; CHECK-NEXT:    add.l (0,%a1,%d0), %d1
135; CHECK-NEXT:    move.l %d1, %a0
136; CHECK-NEXT:    jmp (%a0)
137; CHECK-NEXT:  .LBB6_12: ; %bb2
138; CHECK-NEXT:    bra foo6@PLT ; TAILCALL
139; CHECK-NEXT:  .LBB6_3: ; %bb6
140; CHECK-NEXT:    bra foo1@PLT ; TAILCALL
141; CHECK-NEXT:  .LBB6_8: ; %bb1
142; CHECK-NEXT:    bra foo2@PLT ; TAILCALL
143; CHECK-NEXT:  .LBB6_9: ; %bb3
144; CHECK-NEXT:    bra foo3@PLT ; TAILCALL
145; CHECK-NEXT:  .LBB6_10: ; %bb4
146; CHECK-NEXT:    bra foo4@PLT ; TAILCALL
147; CHECK-NEXT:  .LBB6_14: ; %bb11
148; CHECK-NEXT:    bra foo5@PLT ; TAILCALL
149entry:
150    switch i32 %n.u, label %bb12 [i32 1, label %bb i32 2, label %bb6 i32 4, label %bb7 i32 5, label %bb8 i32 6, label %bb10 i32 7, label %bb1 i32 8, label %bb3 i32 9, label %bb4 i32 10, label %bb9 i32 11, label %bb2 i32 12, label %bb5 i32 13, label %bb11 ]
151bb:
152    tail call void(...) @foo1()
153    ret void
154bb1:
155    tail call void(...) @foo2()
156    ret void
157bb2:
158    tail call void(...) @foo6()
159    ret void
160bb3:
161    tail call void(...) @foo3()
162    ret void
163bb4:
164    tail call void(...) @foo4()
165    ret void
166bb5:
167    tail call void(...) @foo5()
168    ret void
169bb6:
170    tail call void(...) @foo1()
171    ret void
172bb7:
173    tail call void(...) @foo2()
174    ret void
175bb8:
176    tail call void(...) @foo6()
177    ret void
178bb9:
179    tail call void(...) @foo3()
180    ret void
181bb10:
182    tail call void(...) @foo4()
183    ret void
184bb11:
185    tail call void(...) @foo5()
186    ret void
187bb12:
188    tail call void(...) @foo6()
189    ret void
190}
191
192declare void @foo1(...)
193declare void @foo2(...)
194declare void @foo6(...)
195declare void @foo3(...)
196declare void @foo4(...)
197declare void @foo5(...)
198