Run DCE after a LoopFlatten test to reduce spurious output [nfc]
[llvm-project.git] / llvm / test / CodeGen / LoongArch / lsx / intrinsic-sat.ll
blob4286842a63b98e2a9cb879fe07a434c28b67140d
1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2 ; RUN: llc --mtriple=loongarch64 --mattr=+lsx < %s | FileCheck %s
4 declare <16 x i8> @llvm.loongarch.lsx.vsat.b(<16 x i8>, i32)
6 define <16 x i8> @lsx_vsat_b(<16 x i8> %va) nounwind {
7 ; CHECK-LABEL: lsx_vsat_b:
8 ; CHECK:       # %bb.0: # %entry
9 ; CHECK-NEXT:    vsat.b $vr0, $vr0, 1
10 ; CHECK-NEXT:    ret
11 entry:
12   %res = call <16 x i8> @llvm.loongarch.lsx.vsat.b(<16 x i8> %va, i32 1)
13   ret <16 x i8> %res
16 declare <8 x i16> @llvm.loongarch.lsx.vsat.h(<8 x i16>, i32)
18 define <8 x i16> @lsx_vsat_h(<8 x i16> %va) nounwind {
19 ; CHECK-LABEL: lsx_vsat_h:
20 ; CHECK:       # %bb.0: # %entry
21 ; CHECK-NEXT:    vsat.h $vr0, $vr0, 1
22 ; CHECK-NEXT:    ret
23 entry:
24   %res = call <8 x i16> @llvm.loongarch.lsx.vsat.h(<8 x i16> %va, i32 1)
25   ret <8 x i16> %res
28 declare <4 x i32> @llvm.loongarch.lsx.vsat.w(<4 x i32>, i32)
30 define <4 x i32> @lsx_vsat_w(<4 x i32> %va) nounwind {
31 ; CHECK-LABEL: lsx_vsat_w:
32 ; CHECK:       # %bb.0: # %entry
33 ; CHECK-NEXT:    vsat.w $vr0, $vr0, 1
34 ; CHECK-NEXT:    ret
35 entry:
36   %res = call <4 x i32> @llvm.loongarch.lsx.vsat.w(<4 x i32> %va, i32 1)
37   ret <4 x i32> %res
40 declare <2 x i64> @llvm.loongarch.lsx.vsat.d(<2 x i64>, i32)
42 define <2 x i64> @lsx_vsat_d(<2 x i64> %va) nounwind {
43 ; CHECK-LABEL: lsx_vsat_d:
44 ; CHECK:       # %bb.0: # %entry
45 ; CHECK-NEXT:    vsat.d $vr0, $vr0, 1
46 ; CHECK-NEXT:    ret
47 entry:
48   %res = call <2 x i64> @llvm.loongarch.lsx.vsat.d(<2 x i64> %va, i32 1)
49   ret <2 x i64> %res
52 declare <16 x i8> @llvm.loongarch.lsx.vsat.bu(<16 x i8>, i32)
54 define <16 x i8> @lsx_vsat_bu(<16 x i8> %va) nounwind {
55 ; CHECK-LABEL: lsx_vsat_bu:
56 ; CHECK:       # %bb.0: # %entry
57 ; CHECK-NEXT:    vsat.bu $vr0, $vr0, 7
58 ; CHECK-NEXT:    ret
59 entry:
60   %res = call <16 x i8> @llvm.loongarch.lsx.vsat.bu(<16 x i8> %va, i32 7)
61   ret <16 x i8> %res
64 declare <8 x i16> @llvm.loongarch.lsx.vsat.hu(<8 x i16>, i32)
66 define <8 x i16> @lsx_vsat_hu(<8 x i16> %va) nounwind {
67 ; CHECK-LABEL: lsx_vsat_hu:
68 ; CHECK:       # %bb.0: # %entry
69 ; CHECK-NEXT:    vsat.hu $vr0, $vr0, 15
70 ; CHECK-NEXT:    ret
71 entry:
72   %res = call <8 x i16> @llvm.loongarch.lsx.vsat.hu(<8 x i16> %va, i32 15)
73   ret <8 x i16> %res
76 declare <4 x i32> @llvm.loongarch.lsx.vsat.wu(<4 x i32>, i32)
78 define <4 x i32> @lsx_vsat_wu(<4 x i32> %va) nounwind {
79 ; CHECK-LABEL: lsx_vsat_wu:
80 ; CHECK:       # %bb.0: # %entry
81 ; CHECK-NEXT:    vsat.wu $vr0, $vr0, 31
82 ; CHECK-NEXT:    ret
83 entry:
84   %res = call <4 x i32> @llvm.loongarch.lsx.vsat.wu(<4 x i32> %va, i32 31)
85   ret <4 x i32> %res
88 declare <2 x i64> @llvm.loongarch.lsx.vsat.du(<2 x i64>, i32)
90 define <2 x i64> @lsx_vsat_du(<2 x i64> %va) nounwind {
91 ; CHECK-LABEL: lsx_vsat_du:
92 ; CHECK:       # %bb.0: # %entry
93 ; CHECK-NEXT:    vsat.du $vr0, $vr0, 63
94 ; CHECK-NEXT:    ret
95 entry:
96   %res = call <2 x i64> @llvm.loongarch.lsx.vsat.du(<2 x i64> %va, i32 63)
97   ret <2 x i64> %res