test/CodeGen/MIR/X86/expected-stack-object.mir

   1 # RUN: not llc -march=x86-64 -run-pass none -o /dev/null %s 2>&1 | FileCheck %s
   2
   3
   4 --- |
   5   @.str = private unnamed_addr constant [4 x i8] c"%s\0A\00", align 1
   6   @__stack_chk_guard = external global i8*
   7
   8   define i32 @test() #0 {
   9   entry:
  10     %StackGuardSlot = alloca i8*
  11     %StackGuard = load i8*, i8** @__stack_chk_guard
  12     call void @llvm.stackprotector(i8* %StackGuard, i8** %StackGuardSlot)
  13     %test = alloca i8*, align 8
  14     %a = alloca i8, i64 5
  15     store i8* %a, i8** %test, align 8
  16     %b = load i8*, i8** %test, align 8
  17     %call = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str, i32 0, i32 0), i8* %b)
  18     call void @llvm.stackprotectorcheck(i8** @__stack_chk_guard)
  19     ret i32 %call
  20   }
  21
  22   declare i32 @printf(i8*, ...)
  23
  24   declare void @llvm.stackprotector(i8*, i8**) #1
  25
  26   declare void @llvm.stackprotectorcheck(i8**) #2
  27
  28   attributes #0 = { ssp "stack-protector-buffer-size"="5" }
  29   attributes #1 = { nounwind }
  30   attributes #2 = { nounwind argmemonly }
  31 ...
  32 ---
  33 name:            test
  34 alignment:       16
  35 tracksRegLiveness: true
  36 frameInfo:
  37   stackSize:       40
  38   maxAlignment:    8
  39   adjustsStack:    true
  40   hasCalls:        true
  41 # CHECK: [[@LINE+1]]:21: expected a stack object
  42   stackProtector:  '0'
  43 fixedStack:
  44   - { id: 0, type: spill-slot, offset: -16, size: 8, alignment: 16,
  45       callee-saved-register: '$rbx' }
  46 stack:
  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 }
  50 body: |
  51   bb.0.entry:
  52     liveins: $rbx, $rbx
  53
  54     frame-setup PUSH64r killed $rbx, implicit-def $rsp, implicit $rsp
  55     $rsp = frame-setup SUB64ri8 $rsp, 32, implicit-def dead $eflags
  56     $rbx = LOAD_STACK_GUARD :: (invariant load 8 from %ir.__stack_chk_guard)
  57     MOV64mr $rsp, 1, _, 24, _, $rbx
  58     $rsi = LEA64r $rsp, 1, _, 19, _
  59     MOV64mr $rsp, 1, _, 8, _, $rsi
  60     $rdi = LEA64r $rip, 1, _, @.str, _
  61     dead $eax = MOV32r0 implicit-def dead $eflags, implicit-def $al
  62     CALL64pcrel32 @printf, csr_64, implicit $rsp, implicit $rdi, implicit $rsi, implicit $al, implicit-def $rsp, implicit-def $eax
  63     CMP64rm killed $rbx, $rsp, 1, _, 24, _, implicit-def $eflags
  64     $rsp = ADD64ri8 $rsp, 32, implicit-def dead $eflags
  65     $rbx = POP64r implicit-def $rsp, implicit $rsp
  66     RETQ $eax
  67 ...