xref: /llvm-project/llvm/test/CodeGen/ARM/stack-guard-elf.ll (revision 4cb90ca8f8bfbe8dc938a1b8b821d98640cbab4c)

; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 3
;; direct-access-external-data is false due to PIC Level, so __stack_chk_guard
;; is dso_preemtable. Check that we use GOT PIC code sequence as well because
;; R_ARM_GOT_ABS does not have assembler support.
; RUN: llc -relocation-model=static < %s | FileCheck %s
; RUN: llc -relocation-model=pic < %s | FileCheck %s
;; Also check Thumb1 and Thumb2.
; RUN: llc -mtriple=thumbv6-linux-gnueabi -relocation-model=static < %s | FileCheck %s --check-prefix=THUMB1
; RUN: llc -mtriple=thumbv6-linux-gnueabi -relocation-model=pic < %s | FileCheck %s --check-prefix=THUMB1-PIC
; RUN: llc -mtriple=thumbv7-linux-gnueabi -relocation-model=static < %s | FileCheck %s --check-prefix=THUMB2
; RUN: llc -mtriple=thumbv7-linux-gnueabi -relocation-model=pic < %s | FileCheck %s --check-prefix=THUMB2-PIC

target triple = "armv7a-linux-gnueabi"

define i32 @test1() #0 {
; CHECK-LABEL: test1:
; CHECK:       @ %bb.0:
; CHECK-NEXT:    push {r11, lr}
; CHECK-NEXT:    sub sp, sp, #8
; CHECK-NEXT:    sub sp, sp, #1024
; CHECK-NEXT:    ldr r0, .LCPI0_0
; CHECK-NEXT:  .LPC0_0:
; CHECK-NEXT:    add r0, pc, r0
; CHECK-NEXT:    ldr r0, [r0]
; CHECK-NEXT:    ldr r0, [r0]
; CHECK-NEXT:    str r0, [sp, #1028]
; CHECK-NEXT:    add r0, sp, #4
; CHECK-NEXT:    bl foo
; CHECK-NEXT:    ldr r0, [sp, #1028]
; CHECK-NEXT:    ldr r1, .LCPI0_1
; CHECK-NEXT:  .LPC0_1:
; CHECK-NEXT:    add r1, pc, r1
; CHECK-NEXT:    ldr r1, [r1]
; CHECK-NEXT:    ldr r1, [r1]
; CHECK-NEXT:    cmp r1, r0
; CHECK-NEXT:    moveq r0, #0
; CHECK-NEXT:    addeq sp, sp, #8
; CHECK-NEXT:    addeq sp, sp, #1024
; CHECK-NEXT:    popeq {r11, pc}
; CHECK-NEXT:  .LBB0_1:
; CHECK-NEXT:    bl __stack_chk_fail
; CHECK-NEXT:    .p2align 2
; CHECK-NEXT:  @ %bb.2:
; CHECK-NEXT:  .LCPI0_0:
; CHECK-NEXT:  .Ltmp0:
; CHECK-NEXT:    .long __stack_chk_guard(GOT_PREL)-((.LPC0_0+8)-.Ltmp0)
; CHECK-NEXT:  .LCPI0_1:
; CHECK-NEXT:  .Ltmp1:
; CHECK-NEXT:    .long __stack_chk_guard(GOT_PREL)-((.LPC0_1+8)-.Ltmp1)
;
; THUMB1-LABEL: test1:
; THUMB1:       @ %bb.0:
; THUMB1-NEXT:    .save {r4, r5, r6, lr}
; THUMB1-NEXT:    push {r4, r5, r6, lr}
; THUMB1-NEXT:    .pad #508
; THUMB1-NEXT:    sub sp, #508
; THUMB1-NEXT:    .pad #508
; THUMB1-NEXT:    sub sp, #508
; THUMB1-NEXT:    .pad #16
; THUMB1-NEXT:    sub sp, #16
; THUMB1-NEXT:    ldr r0, .LCPI0_0
; THUMB1-NEXT:  .LPC0_0:
; THUMB1-NEXT:    add r0, pc
; THUMB1-NEXT:    ldr r0, [r0]
; THUMB1-NEXT:    ldr r0, [r0]
; THUMB1-NEXT:    add r1, sp, #904
; THUMB1-NEXT:    str r0, [r1, #124]
; THUMB1-NEXT:    add r0, sp, #4
; THUMB1-NEXT:    bl foo
; THUMB1-NEXT:    add r0, sp, #904
; THUMB1-NEXT:    ldr r0, [r0, #124]
; THUMB1-NEXT:    ldr r1, .LCPI0_1
; THUMB1-NEXT:  .LPC0_1:
; THUMB1-NEXT:    add r1, pc
; THUMB1-NEXT:    ldr r1, [r1]
; THUMB1-NEXT:    ldr r1, [r1]
; THUMB1-NEXT:    cmp r1, r0
; THUMB1-NEXT:    bne .LBB0_2
; THUMB1-NEXT:  @ %bb.1:
; THUMB1-NEXT:    movs r0, #0
; THUMB1-NEXT:    add sp, #508
; THUMB1-NEXT:    add sp, #508
; THUMB1-NEXT:    add sp, #16
; THUMB1-NEXT:    pop {r4, r5, r6, pc}
; THUMB1-NEXT:  .LBB0_2:
; THUMB1-NEXT:    bl __stack_chk_fail
; THUMB1-NEXT:    .p2align 2
; THUMB1-NEXT:  @ %bb.3:
; THUMB1-NEXT:  .LCPI0_0:
; THUMB1-NEXT:  .Ltmp0:
; THUMB1-NEXT:    .long __stack_chk_guard(GOT_PREL)-((.LPC0_0+4)-.Ltmp0)
; THUMB1-NEXT:  .LCPI0_1:
; THUMB1-NEXT:  .Ltmp1:
; THUMB1-NEXT:    .long __stack_chk_guard(GOT_PREL)-((.LPC0_1+4)-.Ltmp1)
;
; THUMB1-PIC-LABEL: test1:
; THUMB1-PIC:       @ %bb.0:
; THUMB1-PIC-NEXT:    .save {r4, r5, r6, lr}
; THUMB1-PIC-NEXT:    push {r4, r5, r6, lr}
; THUMB1-PIC-NEXT:    .pad #508
; THUMB1-PIC-NEXT:    sub sp, #508
; THUMB1-PIC-NEXT:    .pad #508
; THUMB1-PIC-NEXT:    sub sp, #508
; THUMB1-PIC-NEXT:    .pad #16
; THUMB1-PIC-NEXT:    sub sp, #16
; THUMB1-PIC-NEXT:    ldr r0, .LCPI0_0
; THUMB1-PIC-NEXT:  .LPC0_0:
; THUMB1-PIC-NEXT:    add r0, pc
; THUMB1-PIC-NEXT:    ldr r0, [r0]
; THUMB1-PIC-NEXT:    ldr r0, [r0]
; THUMB1-PIC-NEXT:    add r1, sp, #904
; THUMB1-PIC-NEXT:    str r0, [r1, #124]
; THUMB1-PIC-NEXT:    add r0, sp, #4
; THUMB1-PIC-NEXT:    bl foo
; THUMB1-PIC-NEXT:    add r0, sp, #904
; THUMB1-PIC-NEXT:    ldr r0, [r0, #124]
; THUMB1-PIC-NEXT:    ldr r1, .LCPI0_1
; THUMB1-PIC-NEXT:  .LPC0_1:
; THUMB1-PIC-NEXT:    add r1, pc
; THUMB1-PIC-NEXT:    ldr r1, [r1]
; THUMB1-PIC-NEXT:    ldr r1, [r1]
; THUMB1-PIC-NEXT:    cmp r1, r0
; THUMB1-PIC-NEXT:    bne .LBB0_2
; THUMB1-PIC-NEXT:  @ %bb.1:
; THUMB1-PIC-NEXT:    movs r0, #0
; THUMB1-PIC-NEXT:    add sp, #508
; THUMB1-PIC-NEXT:    add sp, #508
; THUMB1-PIC-NEXT:    add sp, #16
; THUMB1-PIC-NEXT:    pop {r4, r5, r6, pc}
; THUMB1-PIC-NEXT:  .LBB0_2:
; THUMB1-PIC-NEXT:    bl __stack_chk_fail
; THUMB1-PIC-NEXT:    .p2align 2
; THUMB1-PIC-NEXT:  @ %bb.3:
; THUMB1-PIC-NEXT:  .LCPI0_0:
; THUMB1-PIC-NEXT:  .Ltmp0:
; THUMB1-PIC-NEXT:    .long __stack_chk_guard(GOT_PREL)-((.LPC0_0+4)-.Ltmp0)
; THUMB1-PIC-NEXT:  .LCPI0_1:
; THUMB1-PIC-NEXT:  .Ltmp1:
; THUMB1-PIC-NEXT:    .long __stack_chk_guard(GOT_PREL)-((.LPC0_1+4)-.Ltmp1)
;
; THUMB2-LABEL: test1:
; THUMB2:       @ %bb.0:
; THUMB2-NEXT:    .save {r7, lr}
; THUMB2-NEXT:    push {r7, lr}
; THUMB2-NEXT:    .pad #1032
; THUMB2-NEXT:    sub.w sp, sp, #1032
; THUMB2-NEXT:    ldr r0, .LCPI0_0
; THUMB2-NEXT:  .LPC0_0:
; THUMB2-NEXT:    add r0, pc
; THUMB2-NEXT:    ldr r0, [r0]
; THUMB2-NEXT:    ldr r0, [r0]
; THUMB2-NEXT:    str.w r0, [sp, #1028]
; THUMB2-NEXT:    add r0, sp, #4
; THUMB2-NEXT:    bl foo
; THUMB2-NEXT:    ldr.w r0, [sp, #1028]
; THUMB2-NEXT:    ldr r1, .LCPI0_1
; THUMB2-NEXT:  .LPC0_1:
; THUMB2-NEXT:    add r1, pc
; THUMB2-NEXT:    ldr r1, [r1]
; THUMB2-NEXT:    ldr r1, [r1]
; THUMB2-NEXT:    cmp r1, r0
; THUMB2-NEXT:    ittt eq
; THUMB2-NEXT:    moveq r0, #0
; THUMB2-NEXT:    addeq.w sp, sp, #1032
; THUMB2-NEXT:    popeq {r7, pc}
; THUMB2-NEXT:  .LBB0_1:
; THUMB2-NEXT:    bl __stack_chk_fail
; THUMB2-NEXT:    .p2align 2
; THUMB2-NEXT:  @ %bb.2:
; THUMB2-NEXT:  .LCPI0_0:
; THUMB2-NEXT:  .Ltmp0:
; THUMB2-NEXT:    .long __stack_chk_guard(GOT_PREL)-((.LPC0_0+4)-.Ltmp0)
; THUMB2-NEXT:  .LCPI0_1:
; THUMB2-NEXT:  .Ltmp1:
; THUMB2-NEXT:    .long __stack_chk_guard(GOT_PREL)-((.LPC0_1+4)-.Ltmp1)
;
; THUMB2-PIC-LABEL: test1:
; THUMB2-PIC:       @ %bb.0:
; THUMB2-PIC-NEXT:    .save {r7, lr}
; THUMB2-PIC-NEXT:    push {r7, lr}
; THUMB2-PIC-NEXT:    .pad #1032
; THUMB2-PIC-NEXT:    sub.w sp, sp, #1032
; THUMB2-PIC-NEXT:    ldr r0, .LCPI0_0
; THUMB2-PIC-NEXT:  .LPC0_0:
; THUMB2-PIC-NEXT:    add r0, pc
; THUMB2-PIC-NEXT:    ldr r0, [r0]
; THUMB2-PIC-NEXT:    ldr r0, [r0]
; THUMB2-PIC-NEXT:    str.w r0, [sp, #1028]
; THUMB2-PIC-NEXT:    add r0, sp, #4
; THUMB2-PIC-NEXT:    bl foo
; THUMB2-PIC-NEXT:    ldr.w r0, [sp, #1028]
; THUMB2-PIC-NEXT:    ldr r1, .LCPI0_1
; THUMB2-PIC-NEXT:  .LPC0_1:
; THUMB2-PIC-NEXT:    add r1, pc
; THUMB2-PIC-NEXT:    ldr r1, [r1]
; THUMB2-PIC-NEXT:    ldr r1, [r1]
; THUMB2-PIC-NEXT:    cmp r1, r0
; THUMB2-PIC-NEXT:    ittt eq
; THUMB2-PIC-NEXT:    moveq r0, #0
; THUMB2-PIC-NEXT:    addeq.w sp, sp, #1032
; THUMB2-PIC-NEXT:    popeq {r7, pc}
; THUMB2-PIC-NEXT:  .LBB0_1:
; THUMB2-PIC-NEXT:    bl __stack_chk_fail
; THUMB2-PIC-NEXT:    .p2align 2
; THUMB2-PIC-NEXT:  @ %bb.2:
; THUMB2-PIC-NEXT:  .LCPI0_0:
; THUMB2-PIC-NEXT:  .Ltmp0:
; THUMB2-PIC-NEXT:    .long __stack_chk_guard(GOT_PREL)-((.LPC0_0+4)-.Ltmp0)
; THUMB2-PIC-NEXT:  .LCPI0_1:
; THUMB2-PIC-NEXT:  .Ltmp1:
; THUMB2-PIC-NEXT:    .long __stack_chk_guard(GOT_PREL)-((.LPC0_1+4)-.Ltmp1)
  %a1 = alloca [256 x i32], align 4
  call void @foo(ptr %a1) #3
  ret i32 0
}

declare void @foo(ptr)

attributes #0 = { nounwind sspstrong }

!llvm.module.flags = !{!0}
!0 = !{i32 8, !"PIC Level", i32 2}