test/CodeGen/MIR/X86/callee-saved-info.mir

   1 # RUN: llc -march=x86-64 -start-after prologepilog -stop-after prologepilog -o /dev/null %s | FileCheck %s
   2 # This test ensures that the MIR parser parses callee saved information in the
   3 # stack objects correctly.
   4
   5 --- |
   6
   7   define i32 @compute(i32 %a) {
   8   body:
   9     ret i32 %a
  10   }
  11
  12   define i32 @func(i32 %a) {
  13   entry:
  14     %b = alloca i32
  15     store i32 %a, i32* %b
  16     br label %check
  17
  18   check:
  19     %comp = icmp sle i32 %a, 10
  20     br i1 %comp, label %loop, label %exit
  21
  22   loop:
  23     %c = load i32, i32* %b
  24     %d = call i32 @compute(i32 %c)
  25     %e = sub i32 %d, 1
  26     store i32 %e, i32* %b
  27     br label %check
  28
  29   exit:
  30     ret i32 0
  31   }
  32
  33 ...
  34 ---
  35 name:            compute
  36 tracksRegLiveness: true
  37 body: |
  38   bb.0.body:
  39     liveins: %edi
  40
  41     %eax = COPY killed %edi
  42     RETQ killed %eax
  43 ...
  44 ---
  45 name:            func
  46 tracksRegLiveness: true
  47 frameInfo:
  48   stackSize:       24
  49   maxAlignment:    4
  50   adjustsStack:    true
  51   hasCalls:        true
  52 # CHECK: fixedStack:
  53 # CHECK-NEXT: , callee-saved-register: '%rbx' }
  54 fixedStack:
  55   - { id: 0, type: spill-slot, offset: -16, size: 8, alignment: 16, callee-saved-register: '%rbx' }
  56 # CHECK: stack:
  57 # CHECK-NEXT: - { id: 0
  58 # CHECK-NEXT: , callee-saved-register: '%edi' }
  59 stack:
  60   - { id: 0, name: b, offset: -20, size: 4, alignment: 4 }
  61   - { id: 1, offset: -24, size: 4, alignment: 4, callee-saved-register: '%edi' }
  62 body: |
  63   bb.0.entry:
  64     successors: %bb.1.check
  65     liveins: %edi, %rbx
  66
  67     frame-setup PUSH64r killed %rbx, implicit-def %rsp, implicit %rsp
  68     %rsp = frame-setup SUB64ri8 %rsp, 16, implicit-def dead %eflags
  69     %ebx = COPY %edi
  70     MOV32mr %rsp, 1, _, 12, _, %ebx
  71
  72   bb.1.check:
  73     successors: %bb.2.loop, %bb.3.exit
  74     liveins: %ebx
  75
  76     CMP32ri8 %ebx, 10, implicit-def %eflags
  77     JG_1 %bb.3.exit, implicit killed %eflags
  78     JMP_1 %bb.2.loop
  79
  80   bb.2.loop:
  81     successors: %bb.1.check
  82     liveins: %ebx
  83
  84     %edi = MOV32rm %rsp, 1, _, 12, _
  85     CALL64pcrel32 @compute, csr_64, implicit %rsp, implicit %edi, implicit-def %rsp, implicit-def %eax
  86     %eax = DEC32r killed %eax, implicit-def dead %eflags
  87     MOV32mr %rsp, 1, _, 12, _, killed %eax
  88     JMP_1 %bb.1.check
  89
  90   bb.3.exit:
  91     %eax = MOV32r0 implicit-def dead %eflags
  92     %rsp = ADD64ri8 %rsp, 16, implicit-def dead %eflags
  93     %rbx = POP64r implicit-def %rsp, implicit %rsp
  94     RETQ %eax
  95 ...