85 lines · plain
1# RUN: not --crash llc -run-pass=machineverifier %s -o - 2>&1 | FileCheck %s2# REQUIRES: aarch64-registered-target3 4--- |5 target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128"6 target triple = "aarch64--"7 define void @valid(i8* %addr) {8 entry:9 br i1 0, label %if, label %else10 if:11 br label %exit12 else:13 br label %exit14 exit:15 ret void16 }17 18 define void @broken(i8* %addr) {19 entry:20 br i1 0, label %if, label %exit21 if:22 br label %exit23 exit:24 ret void25 }26...27 28---29name: valid30tracksRegLiveness: true31body: |32 bb.0.entry:33 liveins: $w134 successors: %bb.1(0x40000000), %bb.2(0x40000000); %bb.1(50.00%), %bb.2(50.00%)35 %1:_(s32) = COPY $w136 %2:_(s32) = G_CONSTANT i32 137 %3:_(s1) = G_ICMP intpred(ne), %1:_(s32), %2:_38 G_BRCOND %3:_(s1), %bb.139 G_BR %bb.2.else40 bb.1.if:41 successors: %bb.3(0x80000000)42 %4:_(s32) = G_CONSTANT i32 143 %5:_(s8) = G_TRUNC %444 G_BR %bb.3.exit45 bb.2.else:46 successors: %bb.3(0x80000000)47 %6:_(s32) = G_CONSTANT i32 148 %7:_(s8) = G_TRUNC %649 G_BR %bb.3.exit50 bb.3.exit:51 %8:_(s8) = G_PHI %5:_(s8), %bb.1, %7:_(s8), %bb.252 %9:_(s32) = G_ZEXT %853 $w1 = COPY %954...55 56---57name: broken58tracksRegLiveness: true59body: |60 bb.0.entry:61 liveins: $w162 successors: %bb.1(0x40000000), %bb.2(0x40000000); %bb.1(50.00%), %bb.2(50.00%)63 %1:_(s32) = COPY $w164 %2:_(s32) = G_CONSTANT i32 165 %3:_(s1) = G_ICMP intpred(ne), %1:_(s32), %2:_66 %4:_(s32) = G_CONSTANT i32 167 %6:_(s8) = G_CONSTANT i8 268 G_BRCOND %3:_(s1), %bb.169 G_BR %bb.2.exit70 bb.1.if:71 successors: %bb.2(0x80000000)72 G_BR %bb.2.exit73 bb.2.exit:74 %5:_(s8) = G_TRUNC %475 %8:_(s8) = G_PHI %5:_(s8), %bb.0, %6:_(s8), %bb.176 %9:_(s32) = G_ZEXT %877 $w1 = COPY %978...79# CHECK-NOT: Bad machine code80# CHECK-LABEL: Bad machine code: Found PHI instruction after non-PHI81# CHECK-NEXT: - function: broken82# CHECK-NEXT: - basic block: %bb.2 exit83# CHECK-NEXT: - instruction: %6:_(s8) = G_PHI %5:_(s8), %bb.0, %4:_(s8), %bb.184# CHECK-NOT: Bad machine code85