• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1# RUN: not llc -march=x86-64 -start-after branch-folder -stop-after branch-folder -o /dev/null %s 2>&1 | FileCheck %s
2
3--- |
4
5  declare void @foo(i32)
6
7  define i32 @test(i32 %a, i32 %b, i32 %c, i32 %d) {
8  entry:
9    %add = add nsw i32 %b, %a
10    %add1 = add nsw i32 %add, %c
11    %add2 = add nsw i32 %add1, %d
12    tail call void @foo(i32 %add2)
13    %add6 = add nsw i32 %add2, %add2
14    ret i32 %add6
15  }
16
17...
18---
19name:            test
20tracksRegLiveness: true
21frameInfo:
22  stackSize:       8
23  adjustsStack:    true
24  hasCalls:        true
25fixedStack:
26  - { id: 0, type: spill-slot, offset: -16, size: 8, alignment: 16 }
27body: |
28  bb.0.entry:
29    PUSH64r killed %rbx, implicit-def %rsp, implicit %rsp
30    CFI_INSTRUCTION .cfi_def_cfa_offset 16
31    ; CHECK: [[@LINE+1]]:33: expected a cfi register
32    CFI_INSTRUCTION .cfi_offset %0, -16
33    %ebx = COPY %edi, implicit-def %rbx
34    %ebx = ADD32rr %ebx, killed %esi, implicit-def dead %eflags
35    %ebx = ADD32rr %ebx, killed %edx, implicit-def dead %eflags
36    %ebx = ADD32rr %ebx, killed %ecx, implicit-def dead %eflags
37    %edi = COPY %ebx
38    CALL64pcrel32 @foo, csr_64, implicit %rsp, implicit %edi, implicit-def %rsp
39    %eax = LEA64_32r killed %rbx, 1, %rbx, 0, _
40    %rbx = POP64r implicit-def %rsp, implicit %rsp
41    RETQ %eax
42...
43