llvm/test/CodeGen/Thumb/opt-phis.mir

   1 # RUN: llc -mtriple thumbv6m-none-eabi -run-pass=opt-phis -verify-machineinstrs -o - %s | FileCheck %s
   2 # RUN: llc -mtriple thumbv6m-none-eabi -passes=opt-phis -verify-machineinstrs -o - %s | FileCheck %s
   3 --- |
   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 ---
  11 name:            funca
  12 tracksRegLiveness: true
  13 body:             |
  14   bb.0:
  15     successors: %bb.2(0x40000000), %bb.3(0x40000000)
  16
  17     %0:tgpr, dead $cpsr = tMOVi8 255, 14, $noreg
  18     %1:tgpr, dead $cpsr = tMOVi8 128, 14, $noreg
  19     tCMPi8 %0, 0, 14, $noreg, implicit-def $cpsr
  20     tBcc %bb.3, 1, $cpsr
  21
  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.0
  29     %3:tgpr, $cpsr = tSUBrr %1, killed %2, 14, $noreg
  30     %4:tgpr, $cpsr = tADDrr killed %3, killed %0, 14, $noreg
  31     tB %bb.0, 14, $noreg
  32
  33 # Make sure the kill flags are not incorrect
  34 # CHECK-LABEL: name: funca
  35 # CHECK-NOT: PHI
  36 # CHECK: tSUBrr %1, %0
  37 # CHECK: tADDrr killed %3, %0
  38
  39 ...