[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / AArch64 / GlobalISel / legalizer-combiner.mir
blobcad818777e25fd8145860825478aaf8be8f33ca5
1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
2 # RUN: llc -O0 -run-pass=legalizer %s -o - | FileCheck %s
4 --- |
5   target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128"
6   target triple = "aarch64--"
7   define void @test_unmerge() {
8   entry:
9     ret void
10   }
11   define void @test_legal_const_ext() { ret void }
12 ...
14 ---
15 name:            test_unmerge
16 body:             |
17   bb.1:
18     liveins: $w0
19     ; CHECK-LABEL: name: test_unmerge
20     ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
21     ; CHECK: $w0 = COPY [[COPY]](s32)
22     %0:_(s32) = COPY $w0
23     %1:_(<4 x s32>) = G_BUILD_VECTOR %0(s32), %0(s32), %0(s32), %0(s32)
24     %2:_(s32), %3:_(s32), %4:_(s32), %5:_(s32) = G_UNMERGE_VALUES %1(<4 x s32>)
25     $w0 = COPY %2(s32)
26 ...
28 ---
29 name:            test_legal_const_ext
30 body:             |
31   bb.1:
32     liveins: $w0
33     ; CHECK-LABEL: name: test_legal_const_ext
34     ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
35     ; CHECK: [[COPY1:%[0-9]+]]:_(s32) = COPY [[COPY]](s32)
36     ; CHECK: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 0
37     ; CHECK: [[ADD:%[0-9]+]]:_(s32) = G_ADD [[COPY1]], [[C]]
38     ; CHECK: [[COPY2:%[0-9]+]]:_(s32) = COPY [[ADD]](s32)
39     ; CHECK: $w0 = COPY [[COPY2]](s32)
40     %0:_(s32) = COPY $w0
41     %1:_(s1) = G_TRUNC %0(s32)
42     %2:_(s1) = G_CONSTANT i1 2
43     %3:_(s1) = G_ADD %1(s1), %2(s1)
44     %4:_(s32) = G_ANYEXT %3(s1)
45     $w0 = COPY %4(s32)
46 ...