1 ; Test for handlerdata when the function has landingpad and nounwind. 2 3 ; This test case checks whether the handlerdata is generated for the function 4 ; with landingpad instruction, even if the function has "nounwind" atttribute. 5 ; 6 ; For example, although the following function never throws any exception, 7 ; however, it is still required to generate LSDA, otherwise, we can't catch 8 ; the exception properly. 9 ; 10 ; void test1() noexcept { 11 ; try { 12 ; throw_exception(); 13 ; } catch (...) { 14 ; } 15 ; } 16 17 ; RUN: llc -mtriple arm-unknown-linux-gnueabi -filetype=asm -o - %s \ 18 ; RUN: | FileCheck %s 19 20 declare void @throw_exception() 21 22 declare i32 @__gxx_personality_v0(...) 23 24 declare i8* @__cxa_begin_catch(i8*) 25 26 declare void @__cxa_end_catch() 27 28 define void @test1() nounwind { 29 entry: 30 invoke void @throw_exception() to label %try.cont unwind label %lpad 31 32 lpad: 33 %0 = landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) 34 catch i8* null 35 %1 = extractvalue { i8*, i32 } %0, 0 36 %2 = tail call i8* @__cxa_begin_catch(i8* %1) 37 tail call void @__cxa_end_catch() 38 br label %try.cont 39 40 try.cont: 41 ret void 42 } 43 44 ; CHECK: .globl test1 45 ; CHECK: .align 2 46 ; CHECK: .type test1,%function 47 ; CHECK-LABEL: test1: 48 ; CHECK: .fnstart 49 50 ; CHECK-NOT: .cantunwind 51 52 ; CHECK: .personality __gxx_personality_v0 53 ; CHECK: .handlerdata 54 ; CHECK: .align 2 55 ; CHECK-LABEL: GCC_except_table0: 56 ; CHECK-LABEL: .Lexception0: 57 ; CHECK: .byte 255 @ @LPStart Encoding = omit 58 ; CHECK: .byte 0 @ @TType Encoding = absptr 59 ; CHECK: .asciz 60 ; CHECK: .byte 3 @ Call site Encoding = udata4 61 ; CHECK: .fnend 62
