test/CodeGen/X86/cfi-inserter-noreturnblock.mir

   1 # RUN: llc -o - %s -mtriple=x86_64-- -verify-cfiinstrs \
   2 # RUN:     -run-pass=cfi-instr-inserter
   3
   4 # Test that CFI verifier does not report inconsistent offset for the
   5 # 'noreturn' block.
   6 ---
   7 name: testNoreturnBlock
   8 body: |
   9   bb.0:
  10     CFI_INSTRUCTION def_cfa_offset 24
  11     JCC_1 %bb.2, 5, implicit undef $eflags
  12
  13   bb.1:
  14     CFI_INSTRUCTION def_cfa_offset 32
  15
  16   bb.2:
  17     TRAP
  18 ...
  19
  20 # C code to reproduce the issue, built with
  21 # '-O2 -mllvm -tail-merge-size=1 -mllvm -verify-cfiinstrs':
  22 #
  23 # void foo1(int v) __attribute__((noreturn)) {
  24 #   if (v == 1) {
  25 #     __builtin_trap();
  26 #   }
  27 #   if (foo2(v)) {
  28 #     __builtin_trap();
  29 #   }
  30 # }