[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / AArch64 / GlobalISel / select-sextload.mir
blob0e2c3077bfc98954cb48aec6cca5dac6f5822b20
1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
2 # RUN: llc -mtriple=aarch64-- -run-pass=instruction-select -verify-machineinstrs %s -o - | FileCheck %s
4 --- |
5   target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128"
7   define void @sextload_s32_from_s16(i16 *%addr) { ret void }
8   define void @sextload_s32_from_s16_not_combined(i16 *%addr) { ret void }
9 ...
11 ---
12 name:            sextload_s32_from_s16
13 legalized:       true
14 regBankSelected: true
16 body:             |
17   bb.0:
18     liveins: $x0
20     ; CHECK-LABEL: name: sextload_s32_from_s16
21     ; CHECK: [[COPY:%[0-9]+]]:gpr64sp = COPY $x0
22     ; CHECK: [[T0:%[0-9]+]]:gpr32 = LDRSHWui [[COPY]], 0 :: (load 2 from %ir.addr)
23     ; CHECK: $w0 = COPY [[T0]]
24     %0:gpr(p0) = COPY $x0
25     %1:gpr(s32) = G_SEXTLOAD %0 :: (load 2 from %ir.addr)
26     $w0 = COPY %1(s32)
27 ...
29 ---
30 name:            sextload_s32_from_s16_not_combined
31 legalized:       true
32 regBankSelected: true
34 body:             |
35   bb.0:
36     liveins: $x0
38     ; CHECK-LABEL: name: sextload_s32_from_s16_not_combined
39     ; CHECK: [[COPY:%[0-9]+]]:gpr64sp = COPY $x0
40     ; CHECK: [[T0:%[0-9]+]]:gpr32 = LDRHHui [[COPY]], 0 :: (load 2 from %ir.addr)
41     ; CHECK: [[T1:%[0-9]+]]:gpr32 = SBFMWri [[T0]], 0, 15
42     ; CHECK: $w0 = COPY [[T1]]
43     %0:gpr(p0) = COPY $x0
44     %1:gpr(s16) = G_LOAD %0 :: (load 2 from %ir.addr)
45     %2:gpr(s32) = G_SEXT %1
46     $w0 = COPY %2(s32)
47 ...