test/MachineVerifier/verifier-phi.mir

   1 # RUN: llc -o - %s -mtriple=x86_64-- -verify-machineinstrs -run-pass=none | FileCheck %s
   2 # REQUIRES: x86-registered-target
   3
   4 # This should cleanly pass the machine verifier
   5 ---
   6 # CHECK-LABEL: name: func0
   7 # CHECK: %0:gr32 = PHI undef %1:gr32, %bb.0, undef %1:gr32, %bb.1
   8 name: func0
   9 tracksRegLiveness: true
  10 body: |
  11   bb.0:
  12     JCC_1 %bb.1, 4, implicit undef $eflags
  13     JMP_1 %bb.2
  14
  15   bb.1:
  16
  17   bb.2:
  18     %0 : gr32 = PHI undef %1 : gr32, %bb.0, undef %1 : gr32, %bb.1
  19 ...
  20 ---
  21 # CHECK-LABEL: name: func1
  22 # CHECK: %2:gr32 = PHI %0, %bb.0, %1, %bb.1
  23 name: func1
  24 tracksRegLiveness: true
  25 body: |
  26   bb.0:
  27     %0 : gr32 = IMPLICIT_DEF
  28     JCC_1 %bb.1, 4, implicit undef $eflags
  29     JMP_1 %bb.2
  30
  31   bb.1:
  32     %1 : gr32 = IMPLICIT_DEF
  33
  34   bb.2:
  35     %2 : gr32 = PHI %0, %bb.0, %1, %bb.1
  36 ...