test/CodeGen/PowerPC/sjlj.ll

   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"
   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 16
  10
  11 define void @foo() #0 {
  12 entry:
  13   call void @llvm.eh.sjlj.longjmp(i8* bitcast ([1 x %struct.__jmp_buf_tag]* @env_sigill to i8*))
  14   unreachable
  15
  16 ; CHECK: @foo
  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-DAG: ld 1, 16([[REG]])
  22 ; CHECK-DAG: mtctr [[REG2]]
  23 ; CHECK-DAG: ld 30, 32([[REG]])
  24 ; CHECK-DAG: ld 2, 24([[REG]])
  25 ; CHECK: bctr
  26
  27 return:                                           ; No predecessors!
  28   ret void
  29 }
  30
  31 declare void @llvm.eh.sjlj.longjmp(i8*) #1
  32
  33 define signext i32 @main() #0 {
  34 entry:
  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*, 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
  44
  45 if.then:                                          ; preds = %entry
  46   store i32 1, i32* %retval
  47   br label %return
  48
  49 if.else:                                          ; preds = %entry
  50   call void @foo()
  51   br label %if.end
  52
  53 if.end:                                           ; preds = %if.else
  54   store i32 0, i32* %retval
  55   br label %return
  56
  57 return:                                           ; preds = %if.end, %if.then
  58   %3 = load i32, i32* %retval
  59   ret i32 %3
  60
  61 ; FIXME: We should be saving VRSAVE on Darwin, but we're not!
  62
  63 ; CHECK: @main
  64 ; CHECK: std
  65 ; Make sure that we're not saving VRSAVE on non-Darwin:
  66 ; CHECK-NOT: mfspr
  67
  68 ; CHECK-DAG: stfd
  69 ; CHECK-DAG: stxvd2x
  70
  71 ; CHECK-DAG: addis [[REG:[0-9]+]], 2, env_sigill@toc@ha
  72 ; CHECK-DAG: std 31, env_sigill@toc@l([[REG]])
  73 ; CHECK-DAG: addi [[REGA:[0-9]+]], [[REG]], env_sigill@toc@l
  74 ; CHECK-DAG: std [[REGA]], [[OFF:[0-9]+]](31)                  # 8-byte Folded Spill
  75 ; CHECK-DAG: std 1, 16([[REGA]])
  76 ; CHECK-DAG: std 2, 24([[REGA]])
  77 ; CHECK: bcl 20, 31, .LBB1_3
  78 ; CHECK: li 3, 1
  79 ; CHECK: #EH_SjLj_Setup .LBB1_3
  80 ; CHECK: b .LBB1_1
  81
  82 ; CHECK: .LBB1_3:
  83 ; CHECK: mflr [[REGL:[0-9]+]]
  84 ; CHECK: ld [[REG2:[0-9]+]], [[OFF]](31)                   # 8-byte Folded Reload
  85 ; CHECK: std [[REGL]], 8([[REG2]])
  86 ; CHECK: li 3, 0
  87
  88 ; CHECK: .LBB1_5:
  89
  90 ; CHECK: lfd
  91 ; CHECK: lxvd2x
  92 ; CHECK: ld
  93 ; CHECK: blr
  94
  95 ; CHECK-NOAV: @main
  96 ; CHECK-NOAV-NOT: stxvd2x
  97 ; CHECK-NOAV: bcl
  98 ; CHECK-NOAV: mflr
  99 ; CHECK-NOAV: bl foo
 100 ; CHECK-NOAV-NOT: lxvd2x
 101 ; CHECK-NOAV: blr
 102 }
 103
 104 define signext i32 @main2() #0 {
 105 entry:
 106   %a = alloca i8, align 64
 107   call void @bar(i8* %a)
 108   %retval = alloca i32, align 4
 109   store i32 0, i32* %retval
 110   %0 = call i8* @llvm.frameaddress(i32 0)
 111   store i8* %0, i8** bitcast ([1 x %struct.__jmp_buf_tag]* @env_sigill to i8**)
 112   %1 = call i8* @llvm.stacksave()
 113   store i8* %1, i8** getelementptr (i8*, i8** bitcast ([1 x %struct.__jmp_buf_tag]* @env_sigill to i8**), i32 2)
 114   %2 = call i32 @llvm.eh.sjlj.setjmp(i8* bitcast ([1 x %struct.__jmp_buf_tag]* @env_sigill to i8*))
 115   %tobool = icmp ne i32 %2, 0
 116   br i1 %tobool, label %if.then, label %if.else
 117
 118 if.then:                                          ; preds = %entry
 119   store i32 1, i32* %retval
 120   br label %return
 121
 122 if.else:                                          ; preds = %entry
 123   call void @foo()
 124   br label %if.end
 125
 126 if.end:                                           ; preds = %if.else
 127   store i32 0, i32* %retval
 128   br label %return
 129
 130 return:                                           ; preds = %if.end, %if.then
 131   %3 = load i32, i32* %retval
 132   ret i32 %3
 133
 134 ; CHECK: @main2
 135
 136 ; CHECK: addis [[REG:[0-9]+]], 2, env_sigill@toc@ha
 137 ; CHECK-DAG: std 31, env_sigill@toc@l([[REG]])
 138 ; CHECK-DAG: addi [[REGB:[0-9]+]], [[REG]], env_sigill@toc@l
 139 ; CHECK-DAG: std [[REGB]], [[OFF:[0-9]+]](31)                  # 8-byte Folded Spill
 140 ; 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: blr
 146 }
 147
 148 declare void @bar(i8*) #3
 149
 150 declare i8* @llvm.frameaddress(i32) #2
 151
 152 declare i8* @llvm.stacksave() #3
 153
 154 declare i32 @llvm.eh.sjlj.setjmp(i8*) #3
 155
 156 attributes #0 = { nounwind "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-frame-pointer-elim-non-leaf" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "unsafe-fp-math"="false" "use-soft-float"="false" }
 157 attributes #1 = { noreturn nounwind }
 158 attributes #2 = { nounwind readnone }
 159 attributes #3 = { nounwind }
 160