29 lines · plain
1# RUN: not --crash llc -o - %s -mtriple=x86_64-- -verify-cfiinstrs \2# RUN: -run-pass=cfi-instr-inserter 2>&1 | FileCheck %s3# Test that CFI verifier finds inconsistent csr saved set between bb.end and4# one of its precedessors.5--- |6 define void @inconsistentCSR() {7 entry:8 br label %then9 then:10 br label %end11 end:12 ret void13 }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: inconsistentCSR19body: |20 bb.0.entry:21 JCC_1 %bb.2, 5, implicit undef $eflags22 23 bb.1.then:24 CFI_INSTRUCTION offset $rbp, -1625 26 bb.2.end:27 RET 028...29