1 ; RUN: llc < %s -march=xcore | FileCheck %s 2 3 declare void @g() 4 declare i32 @__gxx_personality_v0(...) 5 declare i32 @llvm.eh.typeid.for(i8*) nounwind readnone 6 declare i8* @__cxa_begin_catch(i8*) 7 declare void @__cxa_end_catch() 8 declare i8* @__cxa_allocate_exception(i32) 9 declare void @__cxa_throw(i8*, i8*, i8*) 10 11 @_ZTIi = external constant i8* 12 @_ZTId = external constant i8* 13 14 ; CHECK-LABEL: fn_typeid: 15 ; CHECK: .cfi_startproc 16 ; CHECK: mkmsk r0, 1 17 ; CHECK: retsp 0 18 ; CHECK: .cfi_endproc 19 define i32 @fn_typeid() { 20 entry: 21 %0 = call i32 @llvm.eh.typeid.for(i8* bitcast (i8** @_ZTIi to i8*)) nounwind 22 ret i32 %0 23 } 24 25 ; CHECK-LABEL: fn_throw 26 ; CHECK: .cfi_startproc 27 ; CHECK: entsp 1 28 ; CHECK: .cfi_def_cfa_offset 4 29 ; CHECK: .cfi_offset 15, 0 30 ; CHECK: ldc r0, 4 31 ; CHECK: bl __cxa_allocate_exception 32 ; CHECK: ldaw r1, dp[_ZTIi] 33 ; CHECK: ldc r2, 0 34 ; CHECK: bl __cxa_throw 35 define void @fn_throw() { 36 entry: 37 %0 = call i8* @__cxa_allocate_exception(i32 4) nounwind 38 call void @__cxa_throw(i8* %0, i8* bitcast (i8** @_ZTIi to i8*), i8* null) noreturn 39 unreachable 40 } 41 42 ; CHECK-LABEL: fn_catch 43 ; CHECK: .cfi_startproc 44 ; CHECK: .cfi_personality 0, __gxx_personality_v0 45 ; CHECK: [[START:.L[a-zA-Z0-9_]+]] 46 ; CHECK: .cfi_lsda 0, [[LSDA:.L[a-zA-Z0-9_]+]] 47 ; CHECK: entsp 4 48 ; CHECK: .cfi_def_cfa_offset 16 49 ; CHECK: .cfi_offset 15, 0 50 define void @fn_catch() { 51 entry: 52 53 ; N.B. we alloc no variables, hence force compiler to spill 54 ; CHECK: stw r4, sp[3] 55 ; CHECK: .cfi_offset 4, -4 56 ; CHECK: stw r5, sp[2] 57 ; CHECK: .cfi_offset 5, -8 58 ; CHECK: stw r6, sp[1] 59 ; CHECK: .cfi_offset 6, -12 60 ; CHECK: [[PRE_G:.L[a-zA-Z0-9_]+]] 61 ; CHECK: bl g 62 ; CHECK: [[POST_G:.L[a-zA-Z0-9_]+]] 63 ; CHECK: [[RETURN:.L[a-zA-Z0-9_]+]] 64 ; CHECK: ldw r6, sp[1] 65 ; CHECK: ldw r5, sp[2] 66 ; CHECK: ldw r4, sp[3] 67 ; CHECK: retsp 4 68 invoke void @g() to label %cont unwind label %lpad 69 cont: 70 ret void 71 72 ; CHECK: {{.L[a-zA-Z0-9_]+}} 73 ; CHECK: [[LANDING:.L[a-zA-Z0-9_]+]] 74 ; CHECK: mov r5, r1 75 ; CHECK: mov r4, r0 76 ; CHECK: bl __cxa_begin_catch 77 ; CHECK: ldw r6, r0[0] 78 ; CHECK: bl __cxa_end_catch 79 lpad: 80 %0 = landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) 81 catch i8* bitcast (i8** @_ZTIi to i8*) 82 catch i8* bitcast (i8** @_ZTId to i8*) 83 %1 = extractvalue { i8*, i32 } %0, 0 84 %2 = extractvalue { i8*, i32 } %0, 1 85 %3 = call i8* @__cxa_begin_catch(i8* %1) nounwind 86 %4 = bitcast i8* %3 to i32* 87 %5 = load i32* %4 88 call void @__cxa_end_catch() nounwind 89 90 ; CHECK: eq r0, r6, r5 91 ; CHECK: bf r0, [[RETURN]] 92 ; CHECK: mov r0, r4 93 ; CHECK: bl _Unwind_Resume 94 ; CHECK: .cfi_endproc 95 ; CHECK: [[END:.L[a-zA-Z0-9_]+]] 96 %6 = icmp eq i32 %5, %2 97 br i1 %6, label %Resume, label %Exit 98 Resume: 99 resume { i8*, i32 } %0 100 Exit: 101 ret void 102 } 103 104 ; CHECK: [[LSDA]]: 105 ; CHECK: .byte 255 106 ; CHECK: .byte 0 107 ; CHECK: .asciiz 108 ; CHECK: .byte 3 109 ; CHECK: .byte 26 110 ; CHECK: [[SET0:.L[a-zA-Z0-9_]+]] = [[PRE_G]]-[[START]] 111 ; CHECK: .long [[SET0]] 112 ; CHECK: [[SET1:.L[a-zA-Z0-9_]+]] = [[POST_G]]-[[PRE_G]] 113 ; CHECK: .long [[SET1]] 114 ; CHECK: [[SET2:.L[a-zA-Z0-9_]+]] = [[LANDING]]-[[START]] 115 ; CHECK: .long [[SET2]] 116 ; CHECK: .byte 3 117 ; CHECK: [[SET3:.L[a-zA-Z0-9_]+]] = [[POST_G]]-[[START]] 118 ; CHECK: .long [[SET3]] 119 ; CHECK: [[SET4:.L[a-zA-Z0-9_]+]] = [[END]]-[[POST_G]] 120 ; CHECK: .long [[SET4]] 121 ; CHECK: .long 0 122 ; CHECK: .byte 0 123 ; CHECK: .byte 1 124 ; CHECK: .byte 0 125 ; CHECK: .byte 2 126 ; CHECK: .byte 125 127 ; CHECK: .long _ZTIi 128 ; CHECK: .long _ZTId 129
