61 lines · plain
1# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py2# RUN: llc -mtriple=aarch64-unknown-unknown -o - -verify-machineinstrs -run-pass=instruction-select %s | FileCheck %s3---4name: test_unreachable_delete5alignment: 46exposesReturnsTwice: false7legalized: true8regBankSelected: true9selected: false10tracksRegLiveness: true11liveins:12body: |13 ; CHECK-LABEL: name: test_unreachable_delete14 ; CHECK: bb.0:15 ; CHECK-NEXT: successors: %bb.2(0x80000000)16 ; CHECK-NEXT: liveins: $w017 ; CHECK-NEXT: {{ $}}18 ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr32sp = COPY $w019 ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32 = COPY $wzr20 ; CHECK-NEXT: [[MOVi32imm:%[0-9]+]]:gpr32 = MOVi32imm 121 ; CHECK-NEXT: B %bb.222 ; CHECK-NEXT: {{ $}}23 ; CHECK-NEXT: bb.1:24 ; CHECK-NEXT: successors: %bb.2(0x80000000)25 ; CHECK-NEXT: {{ $}}26 ; CHECK-NEXT: bb.2:27 ; CHECK-NEXT: successors: %bb.3(0x80000000)28 ; CHECK-NEXT: {{ $}}29 ; CHECK-NEXT: [[ADDWri:%[0-9]+]]:gpr32sp = ADDWri [[COPY]], 2, 030 ; CHECK-NEXT: {{ $}}31 ; CHECK-NEXT: bb.3:32 ; CHECK-NEXT: [[PHI:%[0-9]+]]:gpr32 = PHI [[ADDWri]], %bb.233 ; CHECK-NEXT: $w0 = COPY [[PHI]]34 ; CHECK-NEXT: RET_ReallyLR implicit $w035 bb.1:36 successors: %bb.337 liveins: $w038 39 %0:gpr(s32) = COPY $w040 %1:gpr(s32) = G_CONSTANT i32 041 %3:gpr(s32) = G_CONSTANT i32 142 %5:gpr(s32) = G_CONSTANT i32 243 G_BR %bb.344 45 bb.5:46 ; This block is unreachable.47 %unreachable_inst:gpr(s32) = G_XOR %1, %348 $w0 = COPY %unreachable_inst(s32)49 50 bb.3:51 successors: %bb.4(0x80000000)52 53 %6:gpr(s32) = G_ADD %0, %554 55 bb.4:56 %7:gpr(s32) = G_PHI %6(s32), %bb.357 $w0 = COPY %7(s32)58 RET_ReallyLR implicit $w059 60...61