122 lines · plain
1; RUN: llc -simplifycfg-require-and-preserve-domtree=1 %s -o - | FileCheck %s2; RUN: llc -mtriple=armv7-linux -exception-model sjlj -simplifycfg-require-and-preserve-domtree=1 %s -o - | FileCheck %s -check-prefix CHECK-LINUX3; RUN: llc -mtriple=thumbv7-win32 -exception-model sjlj -simplifycfg-require-and-preserve-domtree=1 %s -o - | FileCheck %s -check-prefix CHECK-WIN324target triple = "armv7-apple-ios"5 6declare i32 @llvm.eh.sjlj.setjmp(ptr)7declare void @llvm.eh.sjlj.longjmp(ptr)8@g = external global i329 10declare void @may_throw()11declare i32 @__gxx_personality_sj0(...)12declare ptr @__cxa_begin_catch(ptr)13declare void @__cxa_end_catch()14declare i32 @llvm.eh.typeid.for(ptr)15declare ptr @llvm.frameaddress(i32)16declare ptr @llvm.stacksave()17@_ZTIPKc = external constant ptr18 19; CHECK-LABEL: foobar20;21; setjmp sequence:22; CHECK: add [[PCREG:r[0-9]+]], pc, #823; CHECK-NEXT: str [[PCREG]], [[[BUFREG:r[0-9]+]], #4]24; CHECK-NEXT: mov r0, #025; CHECK-NEXT: add pc, pc, #026; CHECK-NEXT: mov r0, #127;28; longjmp sequence:29; CHECK: ldr sp, [{{\s*}}[[BUFREG:r[0-9]+]], #8]30; CHECK-NEXT: ldr [[DESTREG:r[0-9]+]], [[[BUFREG]], #4]31; CHECK-NEXT: ldr r7, [[[BUFREG]]]32; CHECK-NEXT: bx [[DESTREG]]33 34; CHECK-LINUX: ldr sp, [{{\s*}}[[BUFREG:r[0-9]+]], #8]35; CHECK-LINUX-NEXT: ldr [[DESTREG:r[0-9]+]], [[[BUFREG]], #4]36; CHECK-LINUX-NEXT: ldr r7, [[[BUFREG]]]37; CHECK-LINUX-NEXT: ldr r11, [[[BUFREG]]]38; CHECK-LINUX-NEXT: bx [[DESTREG]]39 40; CHECK-WIN32: ldr.w r11, [{{\s*}}[[BUFREG:r[0-9]+]]]41; CHECK-WIN32-NEXT: ldr.w sp, [[[BUFREG]], #8]42; CHECK-WIN32-NEXT: ldr.w pc, [[[BUFREG]], #4]43define void @foobar() {44entry:45 %buf = alloca [5 x ptr], align 446 ; Note: This is simplified, in reality you have to store the framepointer +47 ; stackpointer in the buffer as well for this to be legal!48 %setjmpres = call i32 @llvm.eh.sjlj.setjmp(ptr %buf)49 %tobool = icmp ne i32 %setjmpres, 050 br i1 %tobool, label %if.then, label %if.else51 52if.then:53 store volatile i32 1, ptr @g, align 454 br label %if.end55 56if.else:57 store volatile i32 0, ptr @g, align 458 call void @llvm.eh.sjlj.longjmp(ptr %buf)59 unreachable60 61if.end:62 ret void63}64 65; CHECK-LABEL: combine_sjlj_eh_and_setjmp_longjmp66; Check that we can mix sjlj exception handling with __builtin_setjmp67; and __builtin_longjmp.68;69; setjmp sequence:70; CHECK: add [[PCREG:r[0-9]+]], pc, #871; CHECK-NEXT: str [[PCREG]], [[[BUFREG:r[0-9]+]], #4]72; CHECK-NEXT: mov r0, #073; CHECK-NEXT: add pc, pc, #074; CHECK-NEXT: mov r0, #175;76; longjmp sequence:77; CHECK: ldr sp, [{{\s*}}[[BUFREG:r[0-9]+]], #8]78; CHECK-NEXT: ldr [[DESTREG:r[0-9]+]], [[[BUFREG]], #4]79; CHECK-NEXT: ldr r7, [[[BUFREG]]]80; CHECK-NEXT: bx [[DESTREG]]81define void @combine_sjlj_eh_and_setjmp_longjmp() personality ptr @__gxx_personality_sj0 {82entry:83 %buf = alloca [5 x ptr], align 484 invoke void @may_throw() to label %try.cont unwind label %lpad85 86lpad:87 %0 = landingpad { ptr, i32 } catch ptr @_ZTIPKc88 %1 = extractvalue { ptr, i32 } %0, 189 %2 = tail call i32 @llvm.eh.typeid.for(ptr @_ZTIPKc) #390 %matches = icmp eq i32 %1, %291 br i1 %matches, label %catch, label %eh.resume92 93catch:94 %3 = extractvalue { ptr, i32 } %0, 095 %4 = tail call ptr @__cxa_begin_catch(ptr %3) #396 store volatile i32 0, ptr @g, align 497 %5 = tail call ptr @llvm.frameaddress(i32 0)98 store ptr %5, ptr %buf, align 1699 %6 = tail call ptr @llvm.stacksave()100 %7 = getelementptr [5 x ptr], ptr %buf, i64 0, i64 2101 store ptr %6, ptr %7, align 16102 %8 = call i32 @llvm.eh.sjlj.setjmp(ptr %buf)103 %tobool = icmp eq i32 %8, 0104 br i1 %tobool, label %if.else, label %if.then105 106if.then:107 store volatile i32 2, ptr @g, align 4108 call void @__cxa_end_catch() #3109 br label %try.cont110 111if.else:112 store volatile i32 1, ptr @g, align 4113 call void @llvm.eh.sjlj.longjmp(ptr %buf)114 unreachable115 116eh.resume:117 resume { ptr, i32 } %0118 119try.cont:120 ret void121}122