test/CodeGen/X86/cfi-inserter-verify-inconsistent-register.mir

   1 # RUN: not 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 register between bb.end and one of
   4 # its precedessors.
   5 --- |
   6   define void @inconsistentRegister() {
   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.
  15 name: inconsistentRegister
  16 body: |
  17   bb.0:
  18     CFI_INSTRUCTION def_cfa_register $rbp
  19     JCC_1 %bb.2, 5, implicit undef $eflags
  20
  21   bb.1:
  22     CFI_INSTRUCTION def_cfa $rsp, 8
  23
  24   bb.2.bb.end:
  25     RET 0
  26 ...