[InstCombine] Signed saturation patterns
[llvm-core.git] / test / CodeGen / Mips / msa / 2rf_exup.ll
blob20560fb3f3eb9eaeddd032dbcf2e1d7213b1093b
1 ; Test the MSA floating point conversion intrinsics (e.g. float->double) that
2 ; are encoded with the 2RF instruction format.
4 ; RUN: llc -march=mips -mattr=+msa,+fp64,+mips32r2 < %s | FileCheck %s
5 ; RUN: llc -march=mipsel -mattr=+msa,+fp64,+mips32r2 < %s | FileCheck %s
7 @llvm_mips_fexupl_w_ARG1 = global <8 x half> <half 0.000000e+00, half 1.000000e+00, half 2.000000e+00, half 3.000000e+00, half 4.000000e+00, half 5.000000e+00, half 6.000000e+00, half 7.000000e+00>, align 16
8 @llvm_mips_fexupl_w_RES  = global <4 x float> <float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00>, align 16
10 define void @llvm_mips_fexupl_w_test() nounwind {
11 entry:
12   %0 = load <8 x half>, <8 x half>* @llvm_mips_fexupl_w_ARG1
13   %1 = tail call <4 x float> @llvm.mips.fexupl.w(<8 x half> %0)
14   store <4 x float> %1, <4 x float>* @llvm_mips_fexupl_w_RES
15   ret void
18 declare <4 x float> @llvm.mips.fexupl.w(<8 x half>) nounwind
20 ; CHECK: llvm_mips_fexupl_w_test:
21 ; CHECK: ld.h
22 ; CHECK: fexupl.w
23 ; CHECK: st.w
24 ; CHECK: .size llvm_mips_fexupl_w_test
26 @llvm_mips_fexupl_d_ARG1 = global <4 x float> <float 0.000000e+00, float 1.000000e+00, float 2.000000e+00, float 3.000000e+00>, align 16
27 @llvm_mips_fexupl_d_RES  = global <2 x double> <double 0.000000e+00, double 0.000000e+00>, align 16
29 define void @llvm_mips_fexupl_d_test() nounwind {
30 entry:
31   %0 = load <4 x float>, <4 x float>* @llvm_mips_fexupl_d_ARG1
32   %1 = tail call <2 x double> @llvm.mips.fexupl.d(<4 x float> %0)
33   store <2 x double> %1, <2 x double>* @llvm_mips_fexupl_d_RES
34   ret void
37 declare <2 x double> @llvm.mips.fexupl.d(<4 x float>) nounwind
39 ; CHECK: llvm_mips_fexupl_d_test:
40 ; CHECK: ld.w
41 ; CHECK: fexupl.d
42 ; CHECK: st.d
43 ; CHECK: .size llvm_mips_fexupl_d_test
45 @llvm_mips_fexupr_w_ARG1 = global <8 x half> <half 0.000000e+00, half 1.000000e+00, half 2.000000e+00, half 3.000000e+00, half 4.000000e+00, half 5.000000e+00, half 6.000000e+00, half 7.000000e+00>, align 16
46 @llvm_mips_fexupr_w_RES  = global <4 x float> <float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00>, align 16
48 define void @llvm_mips_fexupr_w_test() nounwind {
49 entry:
50   %0 = load <8 x half>, <8 x half>* @llvm_mips_fexupr_w_ARG1
51   %1 = tail call <4 x float> @llvm.mips.fexupr.w(<8 x half> %0)
52   store <4 x float> %1, <4 x float>* @llvm_mips_fexupr_w_RES
53   ret void
56 declare <4 x float> @llvm.mips.fexupr.w(<8 x half>) nounwind
58 ; CHECK: llvm_mips_fexupr_w_test:
59 ; CHECK: ld.h
60 ; CHECK: fexupr.w
61 ; CHECK: st.w
62 ; CHECK: .size llvm_mips_fexupr_w_test
64 @llvm_mips_fexupr_d_ARG1 = global <4 x float> <float 0.000000e+00, float 1.000000e+00, float 2.000000e+00, float 3.000000e+00>, align 16
65 @llvm_mips_fexupr_d_RES  = global <2 x double> <double 0.000000e+00, double 0.000000e+00>, align 16
67 define void @llvm_mips_fexupr_d_test() nounwind {
68 entry:
69   %0 = load <4 x float>, <4 x float>* @llvm_mips_fexupr_d_ARG1
70   %1 = tail call <2 x double> @llvm.mips.fexupr.d(<4 x float> %0)
71   store <2 x double> %1, <2 x double>* @llvm_mips_fexupr_d_RES
72   ret void
75 declare <2 x double> @llvm.mips.fexupr.d(<4 x float>) nounwind
77 ; CHECK: llvm_mips_fexupr_d_test:
78 ; CHECK: ld.w
79 ; CHECK: fexupr.d
80 ; CHECK: st.d
81 ; CHECK: .size llvm_mips_fexupr_d_test