[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / AArch64 / GlobalISel / legalize-and.mir
blobaf683e302f45c128c9bae644990487c9cc602de3
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_and_small
5 body:             |
6   bb.0.entry:
7     ; CHECK-LABEL: name: test_scalar_and_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: [[AND:%[0-9]+]]:_(s32) = G_AND [[TRUNC]], [[TRUNC1]]
13     ; CHECK: [[COPY2:%[0-9]+]]:_(s32) = COPY [[AND]](s32)
14     ; CHECK: $w0 = COPY [[COPY2]](s32)
15     ; CHECK: [[COPY3:%[0-9]+]]:_(s64) = COPY [[COPY]](s64)
16     ; CHECK: $x0 = COPY [[COPY3]](s64)
17     %0:_(s64) = COPY $x0
18     %1:_(s64) = COPY $x1
19     %2:_(s8) = G_TRUNC %0(s64)
20     %3:_(s8) = G_TRUNC %1(s64)
21     %4:_(s8) = G_AND %2, %3
22     %6:_(s32) = G_ANYEXT %4(s8)
23     $w0 = COPY %6(s32)
24     %5:_(s64) = G_ANYEXT %2(s8)
25     $x0 = COPY %5(s64)
27 ...