[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / AArch64 / GlobalISel / legalize-sub.mir
blob32796e0948cc5cc07391eb92fa1d8895eeb9076d
1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
2 # RUN: llc -march=aarch64 -run-pass=legalizer %s -o - | FileCheck %s
3 ---
4 name:            test_scalar_sub_small
5 body:             |
6   bb.0.entry:
7     ; CHECK-LABEL: name: test_scalar_sub_small
8     ; CHECK: [[COPY:%[0-9]+]]:_(s64) = COPY $x0
9     ; CHECK: [[COPY1:%[0-9]+]]:_(s64) = COPY $x1
10     ; CHECK: [[TRUNC:%[0-9]+]]:_(s32) = G_TRUNC [[COPY]](s64)
11     ; CHECK: [[TRUNC1:%[0-9]+]]:_(s32) = G_TRUNC [[COPY1]](s64)
12     ; CHECK: [[SUB:%[0-9]+]]:_(s32) = G_SUB [[TRUNC]], [[TRUNC1]]
13     ; CHECK: [[ANYEXT:%[0-9]+]]:_(s64) = G_ANYEXT [[SUB]](s32)
14     ; CHECK: $x0 = COPY [[ANYEXT]](s64)
15     %0:_(s64) = COPY $x0
16     %1:_(s64) = COPY $x1
17     %2:_(s8) = G_TRUNC %0(s64)
18     %3:_(s8) = G_TRUNC %1(s64)
19     %4:_(s8) = G_SUB %2, %3
20     %5:_(s64) = G_ANYEXT %4(s8)
21     $x0 = COPY %5(s64)
23 ...