@@ -453,10 +453,10 @@ body: |
453453 %z:vr = PseudoVADD_VV_M1 $noreg, %y, $noreg, 1, 3 /* e8 */, 0 /* tu, mu */
454454 ...
455455---
456- name : phi_cycle
456+ name : phi_cycle_direct
457457tracksRegLiveness : true
458458body : |
459- ; CHECK-LABEL: name: phi_cycle
459+ ; CHECK-LABEL: name: phi_cycle_direct
460460 ; CHECK: bb.0:
461461 ; CHECK-NEXT: successors: %bb.1(0x80000000)
462462 ; CHECK-NEXT: {{ $}}
@@ -475,4 +475,27 @@ body: |
475475 %z:vr = PseudoVADD_VV_M1 $noreg, %y, $noreg, 1, 3 /* e8 */, 0 /* tu, mu */
476476 PseudoBR %bb.1
477477 ...
478+ ---
479+ name : phi_cycle_indirect
480+ tracksRegLiveness : true
481+ body : |
482+ ; CHECK-LABEL: name: phi_cycle_indirect
483+ ; CHECK: bb.0:
484+ ; CHECK-NEXT: successors: %bb.1(0x80000000)
485+ ; CHECK-NEXT: {{ $}}
486+ ; CHECK-NEXT: %x:vr = PseudoVADD_VV_M1 $noreg, $noreg, $noreg, 1, 3 /* e8 */, 0 /* tu, mu */
487+ ; CHECK-NEXT: {{ $}}
488+ ; CHECK-NEXT: bb.1:
489+ ; CHECK-NEXT: successors: %bb.1(0x80000000)
490+ ; CHECK-NEXT: {{ $}}
491+ ; CHECK-NEXT: %y:vr = PHI %x, %bb.0, %z, %bb.1
492+ ; CHECK-NEXT: %z:vr = PseudoVADD_VV_M1 $noreg, %y, $noreg, 1, 3 /* e8 */, 0 /* tu, mu */
493+ ; CHECK-NEXT: PseudoBR %bb.1
494+ bb.0:
495+ %x:vr = PseudoVADD_VV_M1 $noreg, $noreg, $noreg, -1, 3 /* e8 */, 0 /* tu, mu */
496+ bb.1:
497+ %y:vr = PHI %x, %bb.0, %z, %bb.1
498+ %z:vr = PseudoVADD_VV_M1 $noreg, %y, $noreg, 1, 3 /* e8 */, 0 /* tu, mu */
499+ PseudoBR %bb.1
500+ ...
478501
0 commit comments