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 csr saved set between bb.end and
4# one of its precedessors.
5--- |
6  define void @inconsistentCSR() {
7  entry:
8    br label %then
9  then:
10    br label %end
11  end:
12    ret void
13  }
14...
15---
16# CHECK: *** Inconsistent CSR Saved between pred and succ in function inconsistentCSR ***
17# CHECK: LLVM ERROR: Found 1 in/out CFI information errors.
18name: inconsistentCSR
19body: |
20  bb.0.entry:
21    JCC_1 %bb.2, 5, implicit undef $eflags
22
23  bb.1.then:
24    CFI_INSTRUCTION offset $rbp, -16
25
26  bb.2.end:
27    RET 0
28...
29