68 lines · plain
1# RUN: not llc -mtriple=x86_64 -run-pass none -o /dev/null %s 2>&1 | FileCheck %s2 3 4--- |5 @.str = private unnamed_addr constant [4 x i8] c"%s\0A\00", align 16 @__stack_chk_guard = external global ptr7 8 define i32 @test() #0 {9 entry:10 %StackGuardSlot = alloca ptr11 %StackGuard = load ptr, ptr @__stack_chk_guard12 call void @llvm.stackprotector(ptr %StackGuard, ptr %StackGuardSlot)13 %test = alloca ptr, align 814 %a = alloca i8, i64 515 store ptr %a, ptr %test, align 816 %b = load ptr, ptr %test, align 817 %call = call i32 (ptr, ...) @printf(ptr @.str, ptr %b)18 call void @llvm.stackprotectorcheck(ptr @__stack_chk_guard)19 ret i32 %call20 }21 22 declare i32 @printf(ptr, ...)23 24 declare void @llvm.stackprotector(ptr, ptr) #125 26 declare void @llvm.stackprotectorcheck(ptr) #227 28 attributes #0 = { ssp "stack-protector-buffer-size"="5" }29 attributes #1 = { nounwind }30 attributes #2 = { nounwind argmemonly }31...32---33name: test34alignment: 1635tracksRegLiveness: true36frameInfo:37 stackSize: 4038 maxAlignment: 839 adjustsStack: true40 hasCalls: true41# CHECK: [[@LINE+1]]:21: expected a stack object42 stackProtector: '0'43fixedStack:44 - { id: 0, type: spill-slot, offset: -16, size: 8, alignment: 16,45 callee-saved-register: '$rbx' }46stack:47 - { id: 0, name: StackGuardSlot, offset: -24, size: 8, alignment: 8 }48 - { id: 1, name: test, offset: -40, size: 8, alignment: 8 }49 - { id: 2, name: a, offset: -29, size: 5, alignment: 1 }50body: |51 bb.0.entry:52 liveins: $rbx, $rbx53 54 frame-setup PUSH64r killed $rbx, implicit-def $rsp, implicit $rsp55 $rsp = frame-setup SUB64ri8 $rsp, 32, implicit-def dead $eflags56 $rbx = LOAD_STACK_GUARD :: (invariant load 8 from %ir.__stack_chk_guard)57 MOV64mr $rsp, 1, _, 24, _, $rbx58 $rsi = LEA64r $rsp, 1, _, 19, _59 MOV64mr $rsp, 1, _, 8, _, $rsi60 $rdi = LEA64r $rip, 1, _, @.str, _61 dead $eax = MOV32r0 implicit-def dead $eflags, implicit-def $al62 CALL64pcrel32 @printf, csr_64, implicit $rsp, implicit $rdi, implicit $rsi, implicit $al, implicit-def $rsp, implicit-def $eax63 CMP64rm killed $rbx, $rsp, 1, _, 24, _, implicit-def $eflags64 $rsp = ADD64ri8 $rsp, 32, implicit-def dead $eflags65 $rbx = POP64r implicit-def $rsp, implicit $rsp66 RET64 $eax67...68