[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / Thumb / opt-phis.mir
blobe3d0a8bb1f71d7c0610798bad1bdd2b0af7fffc7
1 # RUN: llc -mtriple thumbv6m-none-eabi -run-pass=opt-phis -verify-machineinstrs -o - %s | FileCheck %s
2 --- |
3   target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64"
4   target triple = "thumbv6m-arm-none-eabi"
6   define i32 @funca() { unreachable }
8 ...
9 ---
10 name:            funca
11 tracksRegLiveness: true
12 body:             |
13   bb.0:
14     successors: %bb.2(0x40000000), %bb.3(0x40000000)
16     %0:tgpr, dead $cpsr = tMOVi8 255, 14, $noreg
17     %1:tgpr, dead $cpsr = tMOVi8 128, 14, $noreg
18     tCMPi8 %0, 0, 14, $noreg, implicit-def $cpsr
19     tBcc %bb.3, 1, $cpsr
21   bb.2:
22     successors: %bb.3(0x80000000)
24   bb.3:
25     successors: %bb.0(0x80000000)
27     %2:tgpr = PHI %0, %bb.2, %0, %bb.0
28     %3:tgpr, $cpsr = tSUBrr %1, killed %2, 14, $noreg
29     %4:tgpr, $cpsr = tADDrr killed %3, killed %0, 14, $noreg
30     tB %bb.0, 14, $noreg
32 # Make sure the kill flags are not incorrect
33 # CHECK-LABEL: name: funca
34 # CHECK-NOT: PHI
35 # CHECK: tSUBrr %1, %0
36 # CHECK: tADDrr killed %3, %0
38 ...