test/CodeGen/MIR/X86/spill-slot-fixed-stack-objects.mir

   1 # RUN: llc -march=x86-64 -run-pass none -o - %s | FileCheck %s
   2 # This test ensures that the MIR parser parses fixed stack objects correctly.
   3
   4 --- |
   5
   6   define i32 @test(i32 %a) #0 {
   7   entry:
   8     %b = alloca i32
   9     store i32 %a, i32* %b
  10     %c = load i32, i32* %b
  11     ret i32 %c
  12   }
  13
  14   attributes #0 = { "no-frame-pointer-elim"="false" }
  15
  16 ...
  17 ---
  18 name:            test
  19 frameInfo:
  20   maxAlignment:    4
  21 # CHECK: fixedStack:
  22 # CHECK-NEXT: - { id: 0, type: spill-slot, offset: 0, size: 4, alignment: 4, stack-id: default,
  23 # CHECK-NEXT: callee-saved-register: '', callee-saved-restored: true, debug-info-variable: '',
  24 # CHECK-NEXT: debug-info-expression: '', debug-info-location: '' }
  25 fixedStack:
  26   - { id: 0, type: spill-slot, offset: 0, size: 4, alignment: 4 }
  27 stack:
  28   - { id: 0, offset: -12, size: 4, alignment: 4 }
  29 body: |
  30   bb.0.entry:
  31     MOV32mr $rsp, 1, _, -4, _, $edi
  32     $eax = COPY $edi
  33     RETQ $eax
  34 ...