33c94450f0
when exception handling with setjmp/longjmp (exception-mode=eh_sjlj is enabled, eh_sjlj_callsite intrinsic is inserted in same basic block as the throwing/exception instruction. This fix ensures stack protector insertion code does not split the block and move these apart into different basic blocks.
165 lines
5.8 KiB
LLVM
165 lines
5.8 KiB
LLVM
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 5
|
|
; RUN: llc -O0 -mtriple=thumbv7s-apple-darwin < %s | FileCheck %s
|
|
target datalayout = "e-m:o-p:32:32-Fi8-f64:32:64-v64:32:64-v128:32:128-a:0:32-n32-S32"
|
|
|
|
; Function Attrs: mustprogress noinline optnone ssp
|
|
define ptr @foo() #0 personality ptr @__gxx_personality_sj0 {
|
|
; CHECK-LABEL: foo:
|
|
; CHECK: Lfunc_begin0:
|
|
; CHECK-NEXT: @ %bb.0:
|
|
; CHECK-NEXT: push {r4, r5, r6, r7, lr}
|
|
; CHECK-NEXT: add r7, sp, #12
|
|
; CHECK-NEXT: push.w {r8, r10, r11}
|
|
; CHECK-NEXT: sub.w r4, sp, #64
|
|
; CHECK-NEXT: bfc r4, #0, #4
|
|
; CHECK-NEXT: mov sp, r4
|
|
; CHECK-NEXT: vst1.64 {d8, d9, d10, d11}, [r4:128]!
|
|
; CHECK-NEXT: vst1.64 {d12, d13, d14, d15}, [r4:128]
|
|
; CHECK-NEXT: sub sp, #96
|
|
; CHECK-NEXT: movw r0, :lower16:(L___stack_chk_guard$non_lazy_ptr-(LPC0_2+4))
|
|
; CHECK-NEXT: movt r0, :upper16:(L___stack_chk_guard$non_lazy_ptr-(LPC0_2+4))
|
|
; CHECK-NEXT: LPC0_2:
|
|
; CHECK-NEXT: add r0, pc
|
|
; CHECK-NEXT: ldr r0, [r0]
|
|
; CHECK-NEXT: ldr r0, [r0]
|
|
; CHECK-NEXT: movw r0, :lower16:(L___stack_chk_guard$non_lazy_ptr-(LPC0_3+4))
|
|
; CHECK-NEXT: movt r0, :upper16:(L___stack_chk_guard$non_lazy_ptr-(LPC0_3+4))
|
|
; CHECK-NEXT: LPC0_3:
|
|
; CHECK-NEXT: add r0, pc
|
|
; CHECK-NEXT: ldr r0, [r0]
|
|
; CHECK-NEXT: ldr r0, [r0]
|
|
; CHECK-NEXT: str r0, [sp, #92]
|
|
; CHECK-NEXT: movw r0, :lower16:(L___gxx_personality_sj0$non_lazy_ptr-(LPC0_4+4))
|
|
; CHECK-NEXT: movt r0, :upper16:(L___gxx_personality_sj0$non_lazy_ptr-(LPC0_4+4))
|
|
; CHECK-NEXT: LPC0_4:
|
|
; CHECK-NEXT: add r0, pc
|
|
; CHECK-NEXT: ldr r0, [r0]
|
|
; CHECK-NEXT: str r0, [sp, #36]
|
|
; CHECK-NEXT: ldr r0, LCPI0_0
|
|
; CHECK-NEXT: LPC0_0:
|
|
; CHECK-NEXT: add r0, pc
|
|
; CHECK-NEXT: str r0, [sp, #40]
|
|
; CHECK-NEXT: str r7, [sp, #44]
|
|
; CHECK-NEXT: mov r0, sp
|
|
; CHECK-NEXT: str r0, [sp, #52]
|
|
; CHECK-NEXT: ldr r0, LCPI0_1
|
|
; CHECK-NEXT: orr r0, r0, #1
|
|
; CHECK-NEXT: LPC0_1:
|
|
; CHECK-NEXT: add r0, pc
|
|
; CHECK-NEXT: str r0, [sp, #48]
|
|
; CHECK-NEXT: add r0, sp, #12
|
|
; CHECK-NEXT: bl __Unwind_SjLj_Register
|
|
; CHECK-NEXT: movs r0, #1
|
|
; CHECK-NEXT: str r0, [sp, #16]
|
|
; CHECK-NEXT: movw r0, :lower16:(L___stack_chk_guard$non_lazy_ptr-(LPC0_5+4))
|
|
; CHECK-NEXT: movt r0, :upper16:(L___stack_chk_guard$non_lazy_ptr-(LPC0_5+4))
|
|
; CHECK-NEXT: LPC0_5:
|
|
; CHECK-NEXT: add r0, pc
|
|
; CHECK-NEXT: ldr r0, [r0]
|
|
; CHECK-NEXT: ldr r0, [r0]
|
|
; CHECK-NEXT: ldr r1, [sp, #92]
|
|
; CHECK-NEXT: cmp r0, r1
|
|
; CHECK-NEXT: bne LBB0_7
|
|
; CHECK-NEXT: @ %bb.1: @ %SP_return
|
|
; CHECK-NEXT: Ltmp0:
|
|
; CHECK-NEXT: movs r1, #0
|
|
; CHECK-NEXT: mov r0, r1
|
|
; CHECK-NEXT: bl _foo2
|
|
; CHECK-NEXT: Ltmp1:
|
|
; CHECK-NEXT: b LBB0_2
|
|
; CHECK-NEXT: LBB0_2:
|
|
; CHECK-NEXT: movs r0, #2
|
|
; CHECK-NEXT: str r0, [sp, #16]
|
|
; CHECK-NEXT: movw r0, :lower16:(L___stack_chk_guard$non_lazy_ptr-(LPC0_6+4))
|
|
; CHECK-NEXT: movt r0, :upper16:(L___stack_chk_guard$non_lazy_ptr-(LPC0_6+4))
|
|
; CHECK-NEXT: LPC0_6:
|
|
; CHECK-NEXT: add r0, pc
|
|
; CHECK-NEXT: ldr r0, [r0]
|
|
; CHECK-NEXT: ldr r0, [r0]
|
|
; CHECK-NEXT: ldr r1, [sp, #92]
|
|
; CHECK-NEXT: cmp r0, r1
|
|
; CHECK-NEXT: bne LBB0_7
|
|
; CHECK-NEXT: @ %bb.3: @ %SP_return2
|
|
; CHECK-NEXT: Ltmp2:
|
|
; CHECK-NEXT: movs r2, #0
|
|
; CHECK-NEXT: mov r0, r2
|
|
; CHECK-NEXT: mov r1, r2
|
|
; CHECK-NEXT: bl _foo3
|
|
; CHECK-NEXT: Ltmp3:
|
|
; CHECK-NEXT: b LBB0_6
|
|
; CHECK-NEXT: LBB0_4:
|
|
; CHECK-NEXT: Ltmp4:
|
|
; CHECK-NEXT: ldr r0, [sp, #20]
|
|
; CHECK-NEXT: ldr r0, [sp, #24]
|
|
; CHECK-NEXT: add r0, sp, #12
|
|
; CHECK-NEXT: bl __Unwind_SjLj_Unregister
|
|
; CHECK-NEXT: movw r0, :lower16:(L___stack_chk_guard$non_lazy_ptr-(LPC0_7+4))
|
|
; CHECK-NEXT: movt r0, :upper16:(L___stack_chk_guard$non_lazy_ptr-(LPC0_7+4))
|
|
; CHECK-NEXT: LPC0_7:
|
|
; CHECK-NEXT: add r0, pc
|
|
; CHECK-NEXT: ldr r0, [r0]
|
|
; CHECK-NEXT: ldr r0, [r0]
|
|
; CHECK-NEXT: ldr r1, [sp, #92]
|
|
; CHECK-NEXT: cmp r0, r1
|
|
; CHECK-NEXT: bne LBB0_7
|
|
; CHECK-NEXT: @ %bb.5: @ %SP_return3
|
|
; CHECK-NEXT: movs r0, #0
|
|
; CHECK-NEXT: add r4, sp, #96
|
|
; CHECK-NEXT: vld1.64 {d8, d9, d10, d11}, [r4:128]!
|
|
; CHECK-NEXT: vld1.64 {d12, d13, d14, d15}, [r4:128]
|
|
; CHECK-NEXT: sub.w r4, r7, #24
|
|
; CHECK-NEXT: mov sp, r4
|
|
; CHECK-NEXT: pop.w {r8, r10, r11}
|
|
; CHECK-NEXT: pop {r4, r5, r6, r7, pc}
|
|
; CHECK-NEXT: LBB0_6:
|
|
; CHECK-NEXT: trap
|
|
; CHECK-NEXT: LBB0_7: @ %CallStackCheckFailBlk
|
|
; CHECK-NEXT: bl ___stack_chk_fail
|
|
; CHECK-NEXT: LBB0_8:
|
|
; CHECK-NEXT: ldr r0, [sp, #16]
|
|
; CHECK-NEXT: str r0, [sp, #8] @ 4-byte Spill
|
|
; CHECK-NEXT: cmp r0, #2
|
|
; CHECK-NEXT: bhi LBB0_12
|
|
; CHECK-NEXT: @ %bb.9:
|
|
; CHECK-NEXT: ldr r1, [sp, #8] @ 4-byte Reload
|
|
; CHECK-NEXT: LCPI0_2:
|
|
; CHECK-NEXT: tbb [pc, r1]
|
|
; CHECK-NEXT: @ %bb.10:
|
|
; CHECK-NEXT: LJTI0_0:
|
|
; CHECK-NEXT: .data_region jt8
|
|
; CHECK-NEXT: .byte (LBB0_11-(LCPI0_2+4))/2
|
|
; CHECK-NEXT: .byte (LBB0_11-(LCPI0_2+4))/2
|
|
; CHECK-NEXT: .end_data_region
|
|
; CHECK-NEXT: .p2align 1
|
|
; CHECK-NEXT: LBB0_11:
|
|
; CHECK-NEXT: b LBB0_4
|
|
; CHECK-NEXT: LBB0_12:
|
|
; CHECK-NEXT: trap
|
|
; CHECK-NEXT: .p2align 2
|
|
; CHECK-NEXT: @ %bb.13:
|
|
%1 = alloca [14 x i8], align 16
|
|
%2 = invoke i32 @"foo2"(ptr null, ptr null) #1
|
|
to label %3 unwind label %4
|
|
|
|
3: ; preds = %0
|
|
invoke void @"foo3"(ptr null, ptr null, ptr null) #2
|
|
to label %6 unwind label %4
|
|
|
|
4: ; preds = %3, %0
|
|
%5 = landingpad { ptr, i32 }
|
|
cleanup
|
|
ret ptr null
|
|
|
|
6: ; preds = %3
|
|
unreachable
|
|
}
|
|
|
|
declare i32 @__gxx_personality_sj0(...)
|
|
declare i32 @foo2(ptr,ptr)
|
|
declare void @foo3(ptr,ptr,ptr)
|
|
; uselistorder directives
|
|
uselistorder ptr null, { 2, 3, 4, 5, 0, 6, 7, 1, 8, 9 }
|
|
|
|
attributes #0 = { mustprogress ssp "frame-pointer"="all" "no-builtin-calloc" "no-builtin-stpcpy" "no-trapping-math"="true" "stack-protector-buffer-size"="8" }
|
|
attributes #2 = { noreturn }
|