1# RUN: not --crash llc -o - %s -mtriple=x86_64-- -verify-cfiinstrs \
2# RUN:     -run-pass=cfi-instr-inserter 2>&1 | FileCheck %s
3# Test that CFI verifier finds inconsistent offset between bb.end and one of
4# its precedessors.
5--- |
6  define void @inconsistentOffset() {
7    bb.end:
8      ret void
9  }
10...
11---
12# CHECK: *** Inconsistent CFA register and/or offset between pred and succ ***
13# CHECK: Succ: bb.end
14# CHECK: LLVM ERROR: Found 1 in/out CFI information errors.
15name: inconsistentOffset
16body: |
17  bb.0:
18    CFI_INSTRUCTION def_cfa_offset 24
19    JCC_1 %bb.2, 5, implicit undef $eflags
20
21  bb.1:
22    CFI_INSTRUCTION def_cfa_offset 32
23
24  bb.2.bb.end:
25    RET 0
26...
27