Revert " [LoongArch][ISel] Check the number of sign bits in `PatGprGpr_32` (#107432)"
[llvm-project.git] / llvm / test / CodeGen / VE / Scalar / fp_add.ll
blobfa93a3290192402ab053b4d26187b2affa995193
1 ; RUN: llc < %s -mtriple=ve-unknown-unknown | FileCheck %s
3 define float @func1(float %a, float %b) {
4 ; CHECK-LABEL: func1:
5 ; CHECK:       # %bb.0:
6 ; CHECK-NEXT:    fadd.s %s0, %s0, %s1
7 ; CHECK-NEXT:    b.l.t (, %s10)
8   %r = fadd float %a, %b
9   ret float %r
12 define double @func2(double %a, double %b) {
13 ; CHECK-LABEL: func2:
14 ; CHECK:       # %bb.0:
15 ; CHECK-NEXT:    fadd.d %s0, %s0, %s1
16 ; CHECK-NEXT:    b.l.t (, %s10)
17   %r = fadd double %a, %b
18   ret double %r
21 define fp128 @func3(fp128 %a, fp128 %b) {
22 ; CHECK-LABEL: func3:
23 ; CHECK:       # %bb.0:
24 ; CHECK-NEXT:    fadd.q %s0, %s0, %s2
25 ; CHECK-NEXT:    b.l.t (, %s10)
26   %r = fadd fp128 %a, %b
27   ret fp128 %r
30 define float @func4(float %a) {
31 ; CHECK-LABEL: func4:
32 ; CHECK:       # %bb.0:
33 ; CHECK-NEXT:    lea.sl %s1, 1084227584
34 ; CHECK-NEXT:    fadd.s %s0, %s0, %s1
35 ; CHECK-NEXT:    b.l.t (, %s10)
36   %r = fadd float %a, 5.000000e+00
37   ret float %r
40 define double @func5(double %a) {
41 ; CHECK-LABEL: func5:
42 ; CHECK:       # %bb.0:
43 ; CHECK-NEXT:    lea.sl %s1, 1075052544
44 ; CHECK-NEXT:    fadd.d %s0, %s0, %s1
45 ; CHECK-NEXT:    b.l.t (, %s10)
46   %r = fadd double %a, 5.000000e+00
47   ret double %r
50 define fp128 @func6(fp128 %a) {
51 ; CHECK-LABEL: func6:
52 ; CHECK:       # %bb.0:
53 ; CHECK-NEXT:    lea %s2, .LCPI{{[0-9]+}}_0@lo
54 ; CHECK-NEXT:    and %s2, %s2, (32)0
55 ; CHECK-NEXT:    lea.sl %s2, .LCPI{{[0-9]+}}_0@hi(, %s2)
56 ; CHECK-NEXT:    ld %s4, 8(, %s2)
57 ; CHECK-NEXT:    ld %s5, (, %s2)
58 ; CHECK-NEXT:    fadd.q %s0, %s0, %s4
59 ; CHECK-NEXT:    b.l.t (, %s10)
60   %r = fadd fp128 %a, 0xL00000000000000004001400000000000
61   ret fp128 %r
64 define float @func7(float %a) {
65 ; CHECK-LABEL: func7:
66 ; CHECK:       # %bb.0:
67 ; CHECK-NEXT:    lea.sl %s1, 2139095039
68 ; CHECK-NEXT:    fadd.s %s0, %s0, %s1
69 ; CHECK-NEXT:    b.l.t (, %s10)
70   %r = fadd float %a, 0x47EFFFFFE0000000
71   ret float %r
74 define double @func8(double %a) {
75 ; CHECK-LABEL: func8:
76 ; CHECK:       # %bb.0:
77 ; CHECK-NEXT:    lea %s1, -1
78 ; CHECK-NEXT:    and %s1, %s1, (32)0
79 ; CHECK-NEXT:    lea.sl %s1, 2146435071(, %s1)
80 ; CHECK-NEXT:    fadd.d %s0, %s0, %s1
81 ; CHECK-NEXT:    b.l.t (, %s10)
82   %r = fadd double %a, 0x7FEFFFFFFFFFFFFF
83   ret double %r
86 define fp128 @func9(fp128 %a) {
87 ; CHECK-LABEL: func9:
88 ; CHECK:       # %bb.0:
89 ; CHECK-NEXT:    lea %s2, .LCPI{{[0-9]+}}_0@lo
90 ; CHECK-NEXT:    and %s2, %s2, (32)0
91 ; CHECK-NEXT:    lea.sl %s2, .LCPI{{[0-9]+}}_0@hi(, %s2)
92 ; CHECK-NEXT:    ld %s4, 8(, %s2)
93 ; CHECK-NEXT:    ld %s5, (, %s2)
94 ; CHECK-NEXT:    fadd.q %s0, %s0, %s4
95 ; CHECK-NEXT:    b.l.t (, %s10)
96   %r = fadd fp128 %a, 0xLFFFFFFFFFFFFFFFF7FFEFFFFFFFFFFFF
97   ret fp128 %r
100 define float @fadds_imm(float %a) {
101 ; CHECK-LABEL: fadds_imm:
102 ; CHECK:       # %bb.0:
103 ; CHECK-NEXT:    fadd.s %s0, %s0, (2)1
104 ; CHECK-NEXT:    b.l.t (, %s10)
105   %r = fadd float %a, -2.e+00
106   ret float %r
109 define double @faddd_imm(double %a) {
110 ; CHECK-LABEL: faddd_imm:
111 ; CHECK:       # %bb.0:
112 ; CHECK-NEXT:    fadd.d %s0, %s0, (2)1
113 ; CHECK-NEXT:    b.l.t (, %s10)
114   %r = fadd double %a, -2.e+00
115   ret double %r
118 define fp128 @faddq_imm(fp128 %a) {
119 ; CHECK-LABEL: faddq_imm:
120 ; CHECK:       # %bb.0:
121 ; CHECK-NEXT:    lea %s2, .LCPI{{[0-9]+}}_0@lo
122 ; CHECK-NEXT:    and %s2, %s2, (32)0
123 ; CHECK-NEXT:    lea.sl %s2, .LCPI{{[0-9]+}}_0@hi(, %s2)
124 ; CHECK-NEXT:    ld %s4, 8(, %s2)
125 ; CHECK-NEXT:    ld %s5, (, %s2)
126 ; CHECK-NEXT:    fadd.q %s0, %s0, %s4
127 ; CHECK-NEXT:    b.l.t (, %s10)
128   %r = fadd fp128 %a, 0xLA0000000000000000000000000000000
129   ret fp128 %r