40 lines · plain
1# RUN: llc -mtriple thumbv6m-none-eabi -run-pass=opt-phis -verify-machineinstrs -o - %s | FileCheck %s2# RUN: llc -mtriple thumbv6m-none-eabi -passes=opt-phis -verify-machineinstrs -o - %s | FileCheck %s3--- |4 target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64"5 target triple = "thumbv6m-arm-none-eabi"6 7 define i32 @funca() { unreachable }8 9...10---11name: funca12tracksRegLiveness: true13body: |14 bb.0:15 successors: %bb.2(0x40000000), %bb.3(0x40000000)16 17 %0:tgpr, dead $cpsr = tMOVi8 255, 14, $noreg18 %1:tgpr, dead $cpsr = tMOVi8 128, 14, $noreg19 tCMPi8 %0, 0, 14, $noreg, implicit-def $cpsr20 tBcc %bb.3, 1, $cpsr21 22 bb.2:23 successors: %bb.3(0x80000000)24 25 bb.3:26 successors: %bb.0(0x80000000)27 28 %2:tgpr = PHI %0, %bb.2, %0, %bb.029 %3:tgpr, $cpsr = tSUBrr %1, killed %2, 14, $noreg30 %4:tgpr, $cpsr = tADDrr killed %3, killed %0, 14, $noreg31 tB %bb.0, 14, $noreg32 33# Make sure the kill flags are not incorrect34# CHECK-LABEL: name: funca35# CHECK-NOT: PHI36# CHECK: tSUBrr %1, %037# CHECK: tADDrr killed %3, %038 39...40