179 lines · plain
1; RUN: llc < %s -mtriple=powerpc64-unknown-linux-gnu -mcpu=pwr7 -verify-machineinstrs | FileCheck %s2; RUN: llc < %s -mtriple=powerpc64-unknown-linux-gnu -mcpu=a2 -verify-machineinstrs | FileCheck -check-prefix=CHECK-NOAV %s3target 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"4target triple = "powerpc64-unknown-linux-gnu"5 6%struct.__jmp_buf_tag = type { [64 x i64], i32, %struct.__sigset_t, [8 x i8] }7%struct.__sigset_t = type { [16 x i64] }8 9@env_sigill = internal global [1 x %struct.__jmp_buf_tag] zeroinitializer, align 1610@cond = external global i8, align 111 12define void @foo() #0 {13entry:14 call void @llvm.eh.sjlj.longjmp(ptr @env_sigill)15 unreachable16 17; CHECK: @foo18; CHECK: addis [[REG:[0-9]+]], 2, env_sigill@toc@ha19; CHECK: addi [[REG]], [[REG]], env_sigill@toc@l20; CHECK: ld 31, 0([[REG]])21; CHECK: ld [[REG2:[0-9]+]], 8([[REG]])22; CHECK-DAG: ld 1, 16([[REG]])23; CHECK-DAG: mtctr [[REG2]]24; CHECK-DAG: ld 30, 32([[REG]])25; CHECK-DAG: ld 2, 24([[REG]])26; CHECK: bctr27 28return: ; No predecessors!29 ret void30}31 32declare void @llvm.eh.sjlj.longjmp(ptr) #133 34define signext i32 @main() #0 {35entry:36 %retval = alloca i32, align 437 store i32 0, ptr %retval38 %0 = call ptr @llvm.frameaddress(i32 0)39 store ptr %0, ptr @env_sigill40 %1 = call ptr @llvm.stacksave()41 store ptr %1, ptr getelementptr (ptr, ptr @env_sigill, i32 2)42 %2 = call i32 @llvm.eh.sjlj.setjmp(ptr @env_sigill)43 %tobool = icmp ne i32 %2, 044 br i1 %tobool, label %if.then, label %if.else45 46if.then: ; preds = %entry47 store i32 1, ptr %retval48 br label %return49 50if.else: ; preds = %entry51 call void @foo()52 br label %if.end53 54if.end: ; preds = %if.else55 store i32 0, ptr %retval56 br label %return57 58return: ; preds = %if.end, %if.then59 %3 = load i32, ptr %retval60 ret i32 %361 62 63; CHECK-LABEL: main:64; CHECK: std65; Make sure that we're not saving VRSAVE:66; CHECK-NOT: mfspr67 68; CHECK-DAG: stfd69; CHECK-DAG: stxvd2x70 71; CHECK-DAG: addis [[REG:[0-9]+]], 2, env_sigill@toc@ha72; CHECK-DAG: std 31, env_sigill@toc@l([[REG]])73; CHECK-DAG: addi [[REGA:[0-9]+]], [[REG]], env_sigill@toc@l74; CHECK-DAG: std [[REGA]], [[OFF:[0-9]+]](31) # 8-byte Folded Spill75; CHECK-DAG: std 1, 16([[REGA]])76; CHECK-DAG: std 2, 24([[REGA]])77; CHECK: bcl 20, 31, .LBB1_378; CHECK: li 3, 179; CHECK: #EH_SjLj_Setup .LBB1_380; CHECK: # %bb.1:81 82; CHECK: .LBB1_3:83; CHECK: mflr [[REGL:[0-9]+]]84; CHECK: ld [[REG2:[0-9]+]], [[OFF]](31) # 8-byte Folded Reload85; CHECK: std [[REGL]], 8([[REG2]])86; CHECK: li 3, 087 88; CHECK: .LBB1_5:89 90; CHECK-DAG: lfd91; CHECK-DAG: lxvd2x92; CHECK: ld93; CHECK: blr94 95; CHECK-NOAV-LABEL: main:96; CHECK-NOAV-NOT: stxvd2x97; CHECK-NOAV: bcl98; CHECK-NOAV: mflr99; CHECK-NOAV: bl foo100; CHECK-NOAV-NOT: lxvd2x101; CHECK-NOAV: blr102}103 104define signext i32 @main2() #0 {105entry:106 %a = alloca i8, align 64107 call void @bar(ptr %a)108 %retval = alloca i32, align 4109 store i32 0, ptr %retval110 %0 = call ptr @llvm.frameaddress(i32 0)111 store ptr %0, ptr @env_sigill112 %1 = call ptr @llvm.stacksave()113 store ptr %1, ptr getelementptr (ptr, ptr @env_sigill, i32 2)114 %2 = call i32 @llvm.eh.sjlj.setjmp(ptr @env_sigill)115 %tobool = icmp ne i32 %2, 0116 br i1 %tobool, label %if.then, label %if.else117 118if.then: ; preds = %entry119 store i32 1, ptr %retval120 br label %return121 122if.else: ; preds = %entry123 call void @foo()124 br label %if.end125 126if.end: ; preds = %if.else127 store i32 0, ptr %retval128 br label %return129 130return: ; preds = %if.end, %if.then131 %3 = load i32, ptr %retval132 ret i32 %3133 134; CHECK-LABEL: main2:135 136; CHECK: addis [[REG:[0-9]+]], 2, env_sigill@toc@ha137; CHECK-DAG: std 31, env_sigill@toc@l([[REG]])138; CHECK-DAG: addi [[REGB:[0-9]+]], [[REG]], env_sigill@toc@l139; CHECK-DAG: std [[REGB]], [[OFF:[0-9]+]](31) # 8-byte Folded Spill140; CHECK-DAG: std 1, 16([[REGB]])141; CHECK-DAG: std 2, 24([[REGB]])142; CHECK-DAG: std 30, 32([[REGB]])143; CHECK: bcl 20, 31,144 145; CHECK: blr146}147 148define void @test_sjlj_setjmp() #0 {149entry:150 %0 = load i8, ptr @cond, align 1151 %tobool = trunc i8 %0 to i1152 br i1 %tobool, label %return, label %end153 154end:155 %1 = call i32 @llvm.eh.sjlj.setjmp(ptr @env_sigill)156 br label %return157 158return:159 ret void160 161; CHECK-LABEL: test_sjlj_setjmp:162; intrinsic llvm.eh.sjlj.setjmp does not call builtin function _setjmp.163; CHECK-NOT: bl _setjmp164}165 166declare void @bar(ptr) #3167 168declare ptr @llvm.frameaddress(i32) #2169 170declare ptr @llvm.stacksave() #3171 172declare i32 @llvm.eh.sjlj.setjmp(ptr) #3173 174attributes #0 = { nounwind "less-precise-fpmad"="false" "frame-pointer"="non-leaf" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "use-soft-float"="false" }175attributes #1 = { noreturn nounwind }176attributes #2 = { nounwind readnone }177attributes #3 = { nounwind }178 179