116 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 52; RUN: llc -mtriple=thumbv8.1m.main-arm-none-eabi < %s | FileCheck %s --check-prefix=BTI3; RUN: llc -mtriple=thumbv8.1m.main-arm-none-eabi -mattr=+no-bti-at-return-twice < %s | \4; RUN: FileCheck %s --check-prefix=NOBTI5 6; C source7; --------8; jmp_buf buf;9;10; extern void bar(int x);11;12; int foo(int x) {13; if (setjmp(buf))14; x = 0;15; else16; bar(x);17; return x;18; }19 20@buf = global [20 x i64] zeroinitializer, align 821 22define i32 @foo(i32 %x) "branch-target-enforcement" {23; BTI-LABEL: foo:24; BTI: @ %bb.0: @ %entry25; BTI-NEXT: bti26; BTI-NEXT: .save {r4, lr}27; BTI-NEXT: push {r4, lr}28; BTI-NEXT: mov r4, r029; BTI-NEXT: movw r0, :lower16:buf30; BTI-NEXT: movt r0, :upper16:buf31; BTI-NEXT: bl setjmp32; BTI-NEXT: bti33; BTI-NEXT: cmp r0, #034; BTI-NEXT: itt ne35; BTI-NEXT: movne r0, #036; BTI-NEXT: popne {r4, pc}37; BTI-NEXT: .LBB0_1: @ %if.else38; BTI-NEXT: mov r0, r439; BTI-NEXT: bl bar40; BTI-NEXT: mov r0, r441; BTI-NEXT: pop {r4, pc}42;43; NOBTI-LABEL: foo:44; NOBTI: @ %bb.0: @ %entry45; NOBTI-NEXT: bti46; NOBTI-NEXT: .save {r4, lr}47; NOBTI-NEXT: push {r4, lr}48; NOBTI-NEXT: mov r4, r049; NOBTI-NEXT: movw r0, :lower16:buf50; NOBTI-NEXT: movt r0, :upper16:buf51; NOBTI-NEXT: bl setjmp52; NOBTI-NEXT: cmp r0, #053; NOBTI-NEXT: itt ne54; NOBTI-NEXT: movne r0, #055; NOBTI-NEXT: popne {r4, pc}56; NOBTI-NEXT: .LBB0_1: @ %if.else57; NOBTI-NEXT: mov r0, r458; NOBTI-NEXT: bl bar59; NOBTI-NEXT: mov r0, r460; NOBTI-NEXT: pop {r4, pc}61 62entry:63 %call = call i32 @setjmp(ptr @buf) #064 %tobool.not = icmp eq i32 %call, 065 br i1 %tobool.not, label %if.else, label %if.end66 67if.else: ; preds = %entry68 call void @bar(i32 %x)69 br label %if.end70 71if.end: ; preds = %entry, %if.else72 %x.addr.0 = phi i32 [ %x, %if.else ], [ 0, %entry ]73 ret i32 %x.addr.074}75 76;; Check that the BL to setjmp correctly clobbers LR77 78define i32 @baz() "branch-target-enforcement" {79; BTI-LABEL: baz:80; BTI: @ %bb.0: @ %entry81; BTI-NEXT: bti82; BTI-NEXT: .save {r7, lr}83; BTI-NEXT: push {r7, lr}84; BTI-NEXT: .pad #16085; BTI-NEXT: sub sp, #16086; BTI-NEXT: mov r0, sp87; BTI-NEXT: bl setjmp88; BTI-NEXT: bti89; BTI-NEXT: movs r0, #090; BTI-NEXT: add sp, #16091; BTI-NEXT: pop {r7, pc}92;93; NOBTI-LABEL: baz:94; NOBTI: @ %bb.0: @ %entry95; NOBTI-NEXT: bti96; NOBTI-NEXT: .save {r7, lr}97; NOBTI-NEXT: push {r7, lr}98; NOBTI-NEXT: .pad #16099; NOBTI-NEXT: sub sp, #160100; NOBTI-NEXT: mov r0, sp101; NOBTI-NEXT: bl setjmp102; NOBTI-NEXT: movs r0, #0103; NOBTI-NEXT: add sp, #160104; NOBTI-NEXT: pop {r7, pc}105entry:106 %outgoing_jb = alloca [20 x i64], align 8107 %call = call i32 @setjmp(ptr %outgoing_jb) returns_twice108 ret i32 0109}110 111declare void @bar(i32)112declare i32 @setjmp(ptr) #0113 114attributes #0 = { returns_twice }115 116