[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / AArch64 / GlobalISel / legalize-unmerge-values.mir
blobd7b9e92399caa5cb8cebd62b85551a817e98a205
1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
2 # RUN: llc -march=aarch64 -O0 -run-pass=legalizer %s -o -  | FileCheck %s
4 ---
5 name:  test_unmerge_s4
6 body: |
7   bb.0:
8     ; CHECK-LABEL: name: test_unmerge_s4
9     ; CHECK: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 4
10     ; CHECK: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 0
11     ; CHECK: [[SHL:%[0-9]+]]:_(s32) = G_SHL [[C1]], [[C]](s32)
12     ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY [[C1]](s32)
13     ; CHECK: [[COPY1:%[0-9]+]]:_(s32) = COPY [[SHL]](s32)
14     ; CHECK: [[OR:%[0-9]+]]:_(s32) = G_OR [[COPY]], [[COPY1]]
15     ; CHECK: [[TRUNC:%[0-9]+]]:_(s16) = G_TRUNC [[OR]](s32)
16     ; CHECK: [[UV:%[0-9]+]]:_(s8), [[UV1:%[0-9]+]]:_(s8) = G_UNMERGE_VALUES [[TRUNC]](s16)
17     ; CHECK: [[ANYEXT:%[0-9]+]]:_(s64) = G_ANYEXT [[UV]](s8)
18     ; CHECK: $x0 = COPY [[ANYEXT]](s64)
19     %0:_(s8) = G_CONSTANT i8 0
20     %1:_(s4), %2:_(s4)= G_UNMERGE_VALUES %0
21     %3:_(s64) = G_ANYEXT %1
22     $x0 = COPY %3
24 ...