test/MachineVerifier/verifier-phi-fail0.mir

   1 # RUN: not llc -o - %s -mtriple=x86_64-- -verify-machineinstrs -run-pass=none 2>&1 | FileCheck %s
   2 # REQUIRES: x86-registered-target
   3
   4 ---
   5 # CHECK: Bad machine code: PHI operand is not live-out from predecessor
   6 # CHECK: - function:    func0
   7 # CHECK: - basic block: %bb.3
   8 # CHECK: - instruction: %0:gr32 = PHI
   9 # CHECK: - operand 1:   %1
  10 #
  11 # CHECK: Bad machine code: PHI operand is not live-out from predecessor
  12 # CHECK: - function:    func0
  13 # CHECK: - basic block: %bb.3
  14 # CHECK: - instruction: %0:gr32 = PHI
  15 # CHECK: - operand 3:   %0
  16 name: func0
  17 tracksRegLiveness: true
  18 body: |
  19   bb.0:
  20     JCC_1 %bb.1, 4, implicit undef $eflags
  21     JMP_1 %bb.2
  22
  23   bb.1:
  24     %0:gr32 = IMPLICIT_DEF
  25     JMP_1 %bb.3
  26
  27   bb.2:
  28     %1:gr32 = IMPLICIT_DEF
  29
  30   bb.3:
  31     %0:gr32 = PHI %1, %bb.1, %0, %bb.2
  32 ...