1 ; RUN: llc < %s -mtriple=powerpc64-unknown-linux-gnu -mcpu=pwr7 | FileCheck %s
2 ; RUN: llc < %s -mtriple=powerpc64-unknown-linux-gnu -mcpu=a2 | FileCheck -check-prefix=CHECK-NOAV %s
3 target datalayout = "E-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-f128:128:128-v128:128:128-n32:64"
4 target triple = "powerpc64-unknown-linux-gnu"
6 %struct.__jmp_buf_tag = type { [64 x i64], i32, %struct.__sigset_t, [8 x i8] }
7 %struct.__sigset_t = type { [16 x i64] }
9 @env_sigill = internal global [1 x %struct.__jmp_buf_tag] zeroinitializer, align 16
11 define void @foo() #0 {
13 call void @llvm.eh.sjlj.longjmp(i8* bitcast ([1 x %struct.__jmp_buf_tag]* @env_sigill to i8*))
17 ; CHECK: addis [[REG:[0-9]+]], 2, env_sigill@toc@ha
18 ; CHECK: addi [[REG]], [[REG]], env_sigill@toc@l
19 ; CHECK: ld 31, 0([[REG]])
20 ; CHECK: ld [[REG2:[0-9]+]], 8([[REG]])
21 ; CHECK: ld 1, 16([[REG]])
22 ; CHECK: mtctr [[REG2]]
23 ; CHECK: ld 30, 32([[REG]])
24 ; CHECK: ld 2, 24([[REG]])
27 return: ; No predecessors!
31 declare void @llvm.eh.sjlj.longjmp(i8*) #1
33 define signext i32 @main() #0 {
35 %retval = alloca i32, align 4
36 store i32 0, i32* %retval
37 %0 = call i8* @llvm.frameaddress(i32 0)
38 store i8* %0, i8** bitcast ([1 x %struct.__jmp_buf_tag]* @env_sigill to i8**)
39 %1 = call i8* @llvm.stacksave()
40 store i8* %1, i8** getelementptr (i8** bitcast ([1 x %struct.__jmp_buf_tag]* @env_sigill to i8**), i32 2)
41 %2 = call i32 @llvm.eh.sjlj.setjmp(i8* bitcast ([1 x %struct.__jmp_buf_tag]* @env_sigill to i8*))
42 %tobool = icmp ne i32 %2, 0
43 br i1 %tobool, label %if.then, label %if.else
45 if.then: ; preds = %entry
46 store i32 1, i32* %retval
49 if.else: ; preds = %entry
53 if.end: ; preds = %if.else
54 store i32 0, i32* %retval
57 return: ; preds = %if.end, %if.then
58 %3 = load i32* %retval
61 ; FIXME: We should be saving VRSAVE on Darwin, but we're not!
65 ; Make sure that we're not saving VRSAVE on non-Darwin:
70 ; CHECK: addis [[REG:[0-9]+]], 2, env_sigill@toc@ha
71 ; CHECK: std 31, env_sigill@toc@l([[REG]])
72 ; CHECK: addi [[REG]], [[REG]], env_sigill@toc@l
73 ; CHECK: std [[REG]], [[OFF:[0-9]+]](31) # 8-byte Folded Spill
74 ; CHECK: std 1, 16([[REG]])
75 ; CHECK: std 2, 24([[REG]])
76 ; CHECK: bcl 20, 31, .LBB1_1
78 ; CHECK: #EH_SjLj_Setup .LBB1_1
82 ; CHECK: mflr [[REGL:[0-9]+]]
83 ; CHECK: ld [[REG2:[0-9]+]], [[OFF]](31) # 8-byte Folded Reload
84 ; CHECK: std [[REGL]], 8([[REG2]])
95 ; CHECK-NOAV-NOT: stvx
103 define signext i32 @main2() #0 {
105 %a = alloca i8, align 64
106 call void @bar(i8* %a)
107 %retval = alloca i32, align 4
108 store i32 0, i32* %retval
109 %0 = call i8* @llvm.frameaddress(i32 0)
110 store i8* %0, i8** bitcast ([1 x %struct.__jmp_buf_tag]* @env_sigill to i8**)
111 %1 = call i8* @llvm.stacksave()
112 store i8* %1, i8** getelementptr (i8** bitcast ([1 x %struct.__jmp_buf_tag]* @env_sigill to i8**), i32 2)
113 %2 = call i32 @llvm.eh.sjlj.setjmp(i8* bitcast ([1 x %struct.__jmp_buf_tag]* @env_sigill to i8*))
114 %tobool = icmp ne i32 %2, 0
115 br i1 %tobool, label %if.then, label %if.else
117 if.then: ; preds = %entry
118 store i32 1, i32* %retval
121 if.else: ; preds = %entry
125 if.end: ; preds = %if.else
126 store i32 0, i32* %retval
129 return: ; preds = %if.end, %if.then
130 %3 = load i32* %retval
135 ; CHECK: addis [[REG:[0-9]+]], 2, env_sigill@toc@ha
136 ; CHECK: std 31, env_sigill@toc@l([[REG]])
137 ; CHECK: addi [[REG]], [[REG]], env_sigill@toc@l
138 ; CHECK: std [[REG]], [[OFF:[0-9]+]](31) # 8-byte Folded Spill
139 ; CHECK: std 1, 16([[REG]])
140 ; CHECK: std 2, 24([[REG]])
141 ; CHECK: std 30, 32([[REG]])
147 declare void @bar(i8*) #3
149 declare i8* @llvm.frameaddress(i32) #2
151 declare i8* @llvm.stacksave() #3
153 declare i32 @llvm.eh.sjlj.setjmp(i8*) #3
155 attributes #0 = { nounwind "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-frame-pointer-elim-non-leaf"="true" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "unsafe-fp-math"="false" "use-soft-float"="false" }
156 attributes #1 = { noreturn nounwind }
157 attributes #2 = { nounwind readnone }
158 attributes #3 = { nounwind }