llvm/test/CodeGen/X86/cfi-inserter-verify-inconsistent-csr.mir

   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.
  18 name: inconsistentCSR
  19 body: |
  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 ...