Add Uses=[SP] to call instructions. This fixes a miscompilation with a
[oota-llvm.git] / test / CodeGen / XCore / trampoline.ll
1 ; RUN: llc < %s -march=xcore | FileCheck %s
2
3 %struct.FRAME.f = type { i32, i32 ()* }
4
5 define void @f() nounwind {
6 entry:
7 ; CHECK: f:
8 ; CHECK: ldap r11, g.1101
9 ; CHECK: stw r11, sp[7]
10   %TRAMP.23 = alloca [20 x i8], align 2
11   %FRAME.0 = alloca %struct.FRAME.f, align 4
12   %TRAMP.23.sub = getelementptr inbounds [20 x i8]* %TRAMP.23, i32 0, i32 0
13   %FRAME.02 = bitcast %struct.FRAME.f* %FRAME.0 to i8*
14   %tramp = call i8* @llvm.init.trampoline(i8* %TRAMP.23.sub, i8* bitcast (i32 (%struct.FRAME.f*)* @g.1101 to i8*), i8* %FRAME.02)
15   %0 = getelementptr inbounds %struct.FRAME.f* %FRAME.0, i32 0, i32 1
16   %1 = bitcast i8* %tramp to i32 ()*
17   store i32 ()* %1, i32 ()** %0, align 4
18   %2 = getelementptr inbounds %struct.FRAME.f* %FRAME.0, i32 0, i32 0
19   store i32 1, i32* %2, align 4
20   call void @h(i32 ()* %1) nounwind
21   ret void
22 }
23
24 define internal i32 @g.1101(%struct.FRAME.f* nocapture nest %CHAIN.1) nounwind readonly {
25 entry:
26 ; CHECK: g.1101:
27 ; CHECK: ldw r11, sp[0]
28 ; CHECK-NEXT: ldw r0, r11[0]
29 ; CHECK-NEXT: retsp 0
30   %0 = getelementptr inbounds %struct.FRAME.f* %CHAIN.1, i32 0, i32 0
31   %1 = load i32* %0, align 4
32   ret i32 %1
33 }
34
35 declare i8* @llvm.init.trampoline(i8*, i8*, i8*) nounwind
36
37 declare void @h(i32 ()*)