1 ; RUN: llc %s -o - | FileCheck %s 2 target triple = "armv7-apple-ios" 3 4 declare i32 @llvm.eh.sjlj.setjmp(i8*) 5 declare void @llvm.eh.sjlj.longjmp(i8*) 6 @g = external global i32 7 8 declare void @may_throw() 9 declare i32 @__gxx_personality_sj0(...) 10 declare i8* @__cxa_begin_catch(i8*) 11 declare void @__cxa_end_catch() 12 declare i32 @llvm.eh.typeid.for(i8*) 13 declare i8* @llvm.frameaddress(i32) 14 declare i8* @llvm.stacksave() 15 @_ZTIPKc = external constant i8* 16 17 ; CHECK-LABEL: foobar 18 ; 19 ; setjmp sequence: 20 ; CHECK: add [[PCREG:r[0-9]+]], pc, #8 21 ; CHECK-NEXT: str [[PCREG]], {{\[}}[[BUFREG:r[0-9]+]], #4] 22 ; CHECK-NEXT: mov r0, #0 23 ; CHECK-NEXT: add pc, pc, #0 24 ; CHECK-NEXT: mov r0, #1 25 ; 26 ; longjmp sequence: 27 ; CHECK: ldr sp, [{{\s*}}[[BUFREG:r[0-9]+]], #8] 28 ; CHECK-NEXT: ldr [[DESTREG:r[0-9]+]], {{\[}}[[BUFREG]], #4] 29 ; CHECK-NEXT: ldr r7, {{\[}}[[BUFREG]]{{\]}} 30 ; CHECK-NEXT: bx [[DESTREG]] 31 define void @foobar() { 32 entry: 33 %buf = alloca [5 x i8*], align 4 34 %arraydecay = getelementptr inbounds [5 x i8*], [5 x i8*]* %buf, i32 0, i32 0 35 %bufptr = bitcast i8** %arraydecay to i8* 36 ; Note: This is simplified, in reality you have to store the framepointer + 37 ; stackpointer in the buffer as well for this to be legal! 38 %setjmpres = call i32 @llvm.eh.sjlj.setjmp(i8* %bufptr) 39 %tobool = icmp ne i32 %setjmpres, 0 40 br i1 %tobool, label %if.then, label %if.else 41 42 if.then: 43 store volatile i32 1, i32* @g, align 4 44 br label %if.end 45 46 if.else: 47 store volatile i32 0, i32* @g, align 4 48 call void @llvm.eh.sjlj.longjmp(i8* %bufptr) 49 unreachable 50 51 if.end: 52 ret void 53 } 54 55 ; CHECK-LABEL: combine_sjlj_eh_and_setjmp_longjmp 56 ; Check that we can mix sjlj exception handling with __builtin_setjmp 57 ; and __builtin_longjmp. 58 ; 59 ; setjmp sequence: 60 ; CHECK: add [[PCREG:r[0-9]+]], pc, #8 61 ; CHECK-NEXT: str [[PCREG]], {{\[}}[[BUFREG:r[0-9]+]], #4] 62 ; CHECK-NEXT: mov r0, #0 63 ; CHECK-NEXT: add pc, pc, #0 64 ; CHECK-NEXT: mov r0, #1 65 ; 66 ; longjmp sequence: 67 ; CHECK: ldr sp, [{{\s*}}[[BUFREG:r[0-9]+]], #8] 68 ; CHECK-NEXT: ldr [[DESTREG:r[0-9]+]], {{\[}}[[BUFREG]], #4] 69 ; CHECK-NEXT: ldr r7, {{\[}}[[BUFREG]]{{\]}} 70 ; CHECK-NEXT: bx [[DESTREG]] 71 define void @combine_sjlj_eh_and_setjmp_longjmp() personality i8* bitcast (i32 (...)* @__gxx_personality_sj0 to i8*) { 72 entry: 73 %buf = alloca [5 x i8*], align 4 74 invoke void @may_throw() to label %try.cont unwind label %lpad 75 76 lpad: 77 %0 = landingpad { i8*, i32 } catch i8* bitcast (i8** @_ZTIPKc to i8*) 78 %1 = extractvalue { i8*, i32 } %0, 1 79 %2 = tail call i32 @llvm.eh.typeid.for(i8* bitcast (i8** @_ZTIPKc to i8*)) #3 80 %matches = icmp eq i32 %1, %2 81 br i1 %matches, label %catch, label %eh.resume 82 83 catch: 84 %3 = extractvalue { i8*, i32 } %0, 0 85 %4 = tail call i8* @__cxa_begin_catch(i8* %3) #3 86 store volatile i32 0, i32* @g, align 4 87 %5 = bitcast [5 x i8*]* %buf to i8* 88 %arraydecay = getelementptr inbounds [5 x i8*], [5 x i8*]* %buf, i64 0, i64 0 89 %6 = tail call i8* @llvm.frameaddress(i32 0) 90 store i8* %6, i8** %arraydecay, align 16 91 %7 = tail call i8* @llvm.stacksave() 92 %8 = getelementptr [5 x i8*], [5 x i8*]* %buf, i64 0, i64 2 93 store i8* %7, i8** %8, align 16 94 %9 = call i32 @llvm.eh.sjlj.setjmp(i8* %5) 95 %tobool = icmp eq i32 %9, 0 96 br i1 %tobool, label %if.else, label %if.then 97 98 if.then: 99 store volatile i32 2, i32* @g, align 4 100 call void @__cxa_end_catch() #3 101 br label %try.cont 102 103 if.else: 104 store volatile i32 1, i32* @g, align 4 105 call void @llvm.eh.sjlj.longjmp(i8* %5) 106 unreachable 107 108 eh.resume: 109 resume { i8*, i32 } %0 110 111 try.cont: 112 ret void 113 } 114
