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