27 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 register between bb.end and one of4# its precedessors.5--- |6 define void @inconsistentRegister() {7 bb.end:8 ret void9 }10...11---12# CHECK: *** Inconsistent CFA register and/or offset between pred and succ ***13# CHECK: Succ: bb.end14# CHECK: LLVM ERROR: Found 1 in/out CFI information errors.15name: inconsistentRegister16body: |17 bb.0:18 CFI_INSTRUCTION def_cfa_register $rbp19 JCC_1 %bb.2, 5, implicit undef $eflags20 21 bb.1:22 CFI_INSTRUCTION def_cfa $rsp, 823 24 bb.2.bb.end:25 RET 026...27