llvm/test/CodeGen/X86/cfi-inserter-verify-inconsistent-offset.mir


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

# RUN: not llc -o - %s -mtriple=x86_64-- -verify-cfiinstrs \
# RUN:     -run-pass=cfi-instr-inserter 2>&1 | FileCheck %s
# Test that CFI verifier finds inconsistent offset between bb.end and one of
# its precedessors.
--- |
  define void @inconsistentOffset() {
    bb.end:
      ret void
  }
...
---
# CHECK: *** Inconsistent CFA register and/or offset between pred and succ ***
# CHECK: Succ: bb.end
# CHECK: LLVM ERROR: Found 1 in/out CFI information errors.
name: inconsistentOffset
body: |
  bb.0:
    CFI_INSTRUCTION def_cfa_offset 24
    JNE_1 %bb.2, implicit undef $eflags

  bb.1:
    CFI_INSTRUCTION def_cfa_offset 32

  bb.2.bb.end:
    RET 0
...