| ; RUN: llc %s -o - | FileCheck %s |
| ; RUN: llc -mtriple=armv7-linux -exception-model sjlj %s -o - | FileCheck %s -check-prefix CHECK-LINUX |
| ; RUN: llc -mtriple=thumbv7-win32 -exception-model sjlj %s -o - | FileCheck %s -check-prefix CHECK-WIN32 |
| target triple = "armv7-apple-ios" |
| |
| declare i32 @llvm.eh.sjlj.setjmp(i8*) |
| declare void @llvm.eh.sjlj.longjmp(i8*) |
| @g = external global i32 |
| |
| declare void @may_throw() |
| declare i32 @__gxx_personality_sj0(...) |
| declare i8* @__cxa_begin_catch(i8*) |
| declare void @__cxa_end_catch() |
| declare i32 @llvm.eh.typeid.for(i8*) |
| declare i8* @llvm.frameaddress(i32) |
| declare i8* @llvm.stacksave() |
| @_ZTIPKc = external constant i8* |
| |
| ; CHECK-LABEL: foobar |
| ; |
| ; setjmp sequence: |
| ; CHECK: add [[PCREG:r[0-9]+]], pc, #8 |
| ; CHECK-NEXT: str [[PCREG]], {{\[}}[[BUFREG:r[0-9]+]], #4] |
| ; CHECK-NEXT: mov r0, #0 |
| ; CHECK-NEXT: add pc, pc, #0 |
| ; CHECK-NEXT: mov r0, #1 |
| ; |
| ; longjmp sequence: |
| ; CHECK: ldr sp, [{{\s*}}[[BUFREG:r[0-9]+]], #8] |
| ; CHECK-NEXT: ldr [[DESTREG:r[0-9]+]], {{\[}}[[BUFREG]], #4] |
| ; CHECK-NEXT: ldr r7, {{\[}}[[BUFREG]]{{\]}} |
| ; CHECK-NEXT: bx [[DESTREG]] |
| |
| ; CHECK-LINUX: ldr sp, [{{\s*}}[[BUFREG:r[0-9]+]], #8] |
| ; CHECK-LINUX-NEXT: ldr [[DESTREG:r[0-9]+]], {{\[}}[[BUFREG]], #4] |
| ; CHECK-LINUX-NEXT: ldr r7, {{\[}}[[BUFREG]]{{\]}} |
| ; CHECK-LINUX-NEXT: ldr r11, {{\[}}[[BUFREG]]{{\]}} |
| ; CHECK-LINUX-NEXT: bx [[DESTREG]] |
| |
| ; CHECK-WIN32: ldr.w r11, [{{\s*}}[[BUFREG:r[0-9]+]]] |
| ; CHECK-WIN32-NEXT: ldr.w sp, {{\[}}[[BUFREG]], #8] |
| ; CHECK-WIN32-NEXT: ldr.w pc, {{\[}}[[BUFREG]], #4] |
| define void @foobar() { |
| entry: |
| %buf = alloca [5 x i8*], align 4 |
| %arraydecay = getelementptr inbounds [5 x i8*], [5 x i8*]* %buf, i32 0, i32 0 |
| %bufptr = bitcast i8** %arraydecay to i8* |
| ; Note: This is simplified, in reality you have to store the framepointer + |
| ; stackpointer in the buffer as well for this to be legal! |
| %setjmpres = call i32 @llvm.eh.sjlj.setjmp(i8* %bufptr) |
| %tobool = icmp ne i32 %setjmpres, 0 |
| br i1 %tobool, label %if.then, label %if.else |
| |
| if.then: |
| store volatile i32 1, i32* @g, align 4 |
| br label %if.end |
| |
| if.else: |
| store volatile i32 0, i32* @g, align 4 |
| call void @llvm.eh.sjlj.longjmp(i8* %bufptr) |
| unreachable |
| |
| if.end: |
| ret void |
| } |
| |
| ; CHECK-LABEL: combine_sjlj_eh_and_setjmp_longjmp |
| ; Check that we can mix sjlj exception handling with __builtin_setjmp |
| ; and __builtin_longjmp. |
| ; |
| ; setjmp sequence: |
| ; CHECK: add [[PCREG:r[0-9]+]], pc, #8 |
| ; CHECK-NEXT: str [[PCREG]], {{\[}}[[BUFREG:r[0-9]+]], #4] |
| ; CHECK-NEXT: mov r0, #0 |
| ; CHECK-NEXT: add pc, pc, #0 |
| ; CHECK-NEXT: mov r0, #1 |
| ; |
| ; longjmp sequence: |
| ; CHECK: ldr sp, [{{\s*}}[[BUFREG:r[0-9]+]], #8] |
| ; CHECK-NEXT: ldr [[DESTREG:r[0-9]+]], {{\[}}[[BUFREG]], #4] |
| ; CHECK-NEXT: ldr r7, {{\[}}[[BUFREG]]{{\]}} |
| ; CHECK-NEXT: bx [[DESTREG]] |
| define void @combine_sjlj_eh_and_setjmp_longjmp() personality i8* bitcast (i32 (...)* @__gxx_personality_sj0 to i8*) { |
| entry: |
| %buf = alloca [5 x i8*], align 4 |
| invoke void @may_throw() to label %try.cont unwind label %lpad |
| |
| lpad: |
| %0 = landingpad { i8*, i32 } catch i8* bitcast (i8** @_ZTIPKc to i8*) |
| %1 = extractvalue { i8*, i32 } %0, 1 |
| %2 = tail call i32 @llvm.eh.typeid.for(i8* bitcast (i8** @_ZTIPKc to i8*)) #3 |
| %matches = icmp eq i32 %1, %2 |
| br i1 %matches, label %catch, label %eh.resume |
| |
| catch: |
| %3 = extractvalue { i8*, i32 } %0, 0 |
| %4 = tail call i8* @__cxa_begin_catch(i8* %3) #3 |
| store volatile i32 0, i32* @g, align 4 |
| %5 = bitcast [5 x i8*]* %buf to i8* |
| %arraydecay = getelementptr inbounds [5 x i8*], [5 x i8*]* %buf, i64 0, i64 0 |
| %6 = tail call i8* @llvm.frameaddress(i32 0) |
| store i8* %6, i8** %arraydecay, align 16 |
| %7 = tail call i8* @llvm.stacksave() |
| %8 = getelementptr [5 x i8*], [5 x i8*]* %buf, i64 0, i64 2 |
| store i8* %7, i8** %8, align 16 |
| %9 = call i32 @llvm.eh.sjlj.setjmp(i8* %5) |
| %tobool = icmp eq i32 %9, 0 |
| br i1 %tobool, label %if.else, label %if.then |
| |
| if.then: |
| store volatile i32 2, i32* @g, align 4 |
| call void @__cxa_end_catch() #3 |
| br label %try.cont |
| |
| if.else: |
| store volatile i32 1, i32* @g, align 4 |
| call void @llvm.eh.sjlj.longjmp(i8* %5) |
| unreachable |
| |
| eh.resume: |
| resume { i8*, i32 } %0 |
| |
| try.cont: |
| ret void |
| } |