Skip to content

Commit e011d79

Browse files
rotaterightrotateright
committed
[InstSimplify] regenerate checks; NFC
llvm-svn: 327553
1 parent bee500b commit e011d79

File tree

1 file changed

+24
-24
lines changed

1 file changed

+24
-24
lines changed

‎llvm/test/Transforms/InstSimplify/fast-math.ll

Lines changed: 24 additions & 24 deletions
Original file line numberDiff line numberDiff line change
@@ -1,18 +1,18 @@
1-
; NOTE: Assertions have been autogenerated by update_test_checks.py
1+
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
22
; RUN: opt < %s -instsimplify -S | FileCheck %s
33

44
;; x * 0 ==> 0 when no-nans and no-signed-zero
55
define float @mul_zero_1(float %a) {
66
; CHECK-LABEL: @mul_zero_1(
7-
; CHECK: ret float 0.000000e+00
7+
; CHECK-NEXT: ret float 0.000000e+00
88
;
99
%b = fmul nsz nnan float %a, 0.0
1010
ret float %b
1111
}
1212

1313
define float @mul_zero_2(float %a) {
1414
; CHECK-LABEL: @mul_zero_2(
15-
; CHECK: ret float 0.000000e+00
15+
; CHECK-NEXT: ret float 0.000000e+00
1616
;
1717
%b = fmul fast float 0.0, %a
1818
ret float %b
@@ -21,7 +21,7 @@ define float @mul_zero_2(float %a) {
2121
;; x * 0 =/=> 0 when there could be nans or -0
2222
define float @no_mul_zero_1(float %a) {
2323
; CHECK-LABEL: @no_mul_zero_1(
24-
; CHECK: [[B:%.*]] = fmul nsz float %a, 0.000000e+00
24+
; CHECK-NEXT: [[B:%.*]] = fmul nsz float [[A:%.*]], 0.000000e+00
2525
; CHECK-NEXT: ret float [[B]]
2626
;
2727
%b = fmul nsz float %a, 0.0
@@ -30,7 +30,7 @@ define float @no_mul_zero_1(float %a) {
3030

3131
define float @no_mul_zero_2(float %a) {
3232
; CHECK-LABEL: @no_mul_zero_2(
33-
; CHECK: [[B:%.*]] = fmul nnan float %a, 0.000000e+00
33+
; CHECK-NEXT: [[B:%.*]] = fmul nnan float [[A:%.*]], 0.000000e+00
3434
; CHECK-NEXT: ret float [[B]]
3535
;
3636
%b = fmul nnan float %a, 0.0
@@ -39,7 +39,7 @@ define float @no_mul_zero_2(float %a) {
3939

4040
define float @no_mul_zero_3(float %a) {
4141
; CHECK-LABEL: @no_mul_zero_3(
42-
; CHECK: [[B:%.*]] = fmul float %a, 0.000000e+00
42+
; CHECK-NEXT: [[B:%.*]] = fmul float [[A:%.*]], 0.000000e+00
4343
; CHECK-NEXT: ret float [[B]]
4444
;
4545
%b = fmul float %a, 0.0
@@ -51,8 +51,8 @@ define float @no_mul_zero_3(float %a) {
5151
; expression
5252
define float @fadd_fsub_0(float %a) {
5353
; CHECK-LABEL: @fadd_fsub_0(
54-
; CHECK: [[NOFOLD:%.*]] = fsub float 0.000000e+00, %a
55-
; CHECK-NEXT: [[NO_ZERO:%.*]] = fadd nnan float [[NOFOLD]], %a
54+
; CHECK-NEXT: [[NOFOLD:%.*]] = fsub float 0.000000e+00, [[A:%.*]]
55+
; CHECK-NEXT: [[NO_ZERO:%.*]] = fadd nnan float [[NOFOLD]], [[A]]
5656
; CHECK-NEXT: ret float [[NO_ZERO]]
5757
;
5858
; X + -X ==> 0
@@ -86,9 +86,9 @@ define float @fadd_fsub_0(float %a) {
8686
; fsub nnan x, x ==> 0.0
8787
define float @fsub_x_x(float %a) {
8888
; CHECK-LABEL: @fsub_x_x(
89-
; CHECK: [[NO_ZERO1:%.*]] = fsub ninf float %a, %a
90-
; CHECK-NEXT: [[NO_ZERO2:%.*]] = fsub float %a, %a
91-
; CHECK-NEXT: [[NO_ZERO:%.*]] = fadd float [[NO_ZERO1:%.*]], [[NO_ZERO2:%.*]]
89+
; CHECK-NEXT: [[NO_ZERO1:%.*]] = fsub ninf float [[A:%.*]], [[A]]
90+
; CHECK-NEXT: [[NO_ZERO2:%.*]] = fsub float [[A]], [[A]]
91+
; CHECK-NEXT: [[NO_ZERO:%.*]] = fadd float [[NO_ZERO1]], [[NO_ZERO2]]
9292
; CHECK-NEXT: ret float [[NO_ZERO]]
9393
;
9494
; X - X ==> 0
@@ -108,7 +108,7 @@ define float @fsub_x_x(float %a) {
108108
; fsub nsz 0.0, (fsub 0.0, X) ==> X
109109
define float @fsub_0_0_x(float %a) {
110110
; CHECK-LABEL: @fsub_0_0_x(
111-
; CHECK: ret float %a
111+
; CHECK-NEXT: ret float [[A:%.*]]
112112
;
113113
%t1 = fsub float 0.0, %a
114114
%ret = fsub nsz float 0.0, %t1
@@ -118,9 +118,9 @@ define float @fsub_0_0_x(float %a) {
118118
; fadd nsz X, 0 ==> X
119119
define float @nofold_fadd_x_0(float %a) {
120120
; CHECK-LABEL: @nofold_fadd_x_0(
121-
; CHECK: [[NO_ZERO1:%.*]] = fadd ninf float %a, 0.000000e+00
122-
; CHECK-NEXT: [[NO_ZERO2:%.*]] = fadd nnan float %a, 0.000000e+00
123-
; CHECK-NEXT: [[NO_ZERO:%.*]] = fadd float [[NO_ZERO1:%.*]], [[NO_ZERO2:%.*]]
121+
; CHECK-NEXT: [[NO_ZERO1:%.*]] = fadd ninf float [[A:%.*]], 0.000000e+00
122+
; CHECK-NEXT: [[NO_ZERO2:%.*]] = fadd nnan float [[A]], 0.000000e+00
123+
; CHECK-NEXT: [[NO_ZERO:%.*]] = fadd float [[NO_ZERO1]], [[NO_ZERO2]]
124124
; CHECK-NEXT: ret float [[NO_ZERO]]
125125
;
126126
; Dont fold
@@ -133,7 +133,7 @@ define float @nofold_fadd_x_0(float %a) {
133133
; fdiv nsz nnan 0, X ==> 0
134134
define double @fdiv_zero_by_x(double %X) {
135135
; CHECK-LABEL: @fdiv_zero_by_x(
136-
; CHECK: ret double 0.000000e+00
136+
; CHECK-NEXT: ret double 0.000000e+00
137137
;
138138
; 0 / X -> 0
139139
%r = fdiv nnan nsz double 0.0, %X
@@ -142,15 +142,15 @@ define double @fdiv_zero_by_x(double %X) {
142142

143143
define float @fdiv_self(float %f) {
144144
; CHECK-LABEL: @fdiv_self(
145-
; CHECK: ret float 1.000000e+00
145+
; CHECK-NEXT: ret float 1.000000e+00
146146
;
147147
%div = fdiv nnan float %f, %f
148148
ret float %div
149149
}
150150

151151
define float @fdiv_self_invalid(float %f) {
152152
; CHECK-LABEL: @fdiv_self_invalid(
153-
; CHECK: [[DIV:%.*]] = fdiv float %f, %f
153+
; CHECK-NEXT: [[DIV:%.*]] = fdiv float [[F:%.*]], [[F]]
154154
; CHECK-NEXT: ret float [[DIV]]
155155
;
156156
%div = fdiv float %f, %f
@@ -159,7 +159,7 @@ define float @fdiv_self_invalid(float %f) {
159159

160160
define float @fdiv_neg1(float %f) {
161161
; CHECK-LABEL: @fdiv_neg1(
162-
; CHECK: ret float -1.000000e+00
162+
; CHECK-NEXT: ret float -1.000000e+00
163163
;
164164
%neg = fsub fast float -0.000000e+00, %f
165165
%div = fdiv nnan float %neg, %f
@@ -168,7 +168,7 @@ define float @fdiv_neg1(float %f) {
168168

169169
define float @fdiv_neg2(float %f) {
170170
; CHECK-LABEL: @fdiv_neg2(
171-
; CHECK: ret float -1.000000e+00
171+
; CHECK-NEXT: ret float -1.000000e+00
172172
;
173173
%neg = fsub fast float 0.000000e+00, %f
174174
%div = fdiv nnan float %neg, %f
@@ -177,8 +177,8 @@ define float @fdiv_neg2(float %f) {
177177

178178
define float @fdiv_neg_invalid(float %f) {
179179
; CHECK-LABEL: @fdiv_neg_invalid(
180-
; CHECK: [[NEG:%.*]] = fsub fast float -0.000000e+00, %f
181-
; CHECK-NEXT: [[DIV:%.*]] = fdiv float [[NEG]], %f
180+
; CHECK-NEXT: [[NEG:%.*]] = fsub fast float -0.000000e+00, [[F:%.*]]
181+
; CHECK-NEXT: [[DIV:%.*]] = fdiv float [[NEG]], [[F]]
182182
; CHECK-NEXT: ret float [[DIV]]
183183
;
184184
%neg = fsub fast float -0.000000e+00, %f
@@ -188,7 +188,7 @@ define float @fdiv_neg_invalid(float %f) {
188188

189189
define float @fdiv_neg_swapped1(float %f) {
190190
; CHECK-LABEL: @fdiv_neg_swapped1(
191-
; CHECK: ret float -1.000000e+00
191+
; CHECK-NEXT: ret float -1.000000e+00
192192
;
193193
%neg = fsub float -0.000000e+00, %f
194194
%div = fdiv nnan float %f, %neg
@@ -197,7 +197,7 @@ define float @fdiv_neg_swapped1(float %f) {
197197

198198
define float @fdiv_neg_swapped2(float %f) {
199199
; CHECK-LABEL: @fdiv_neg_swapped2(
200-
; CHECK: ret float -1.000000e+00
200+
; CHECK-NEXT: ret float -1.000000e+00
201201
;
202202
%neg = fsub float 0.000000e+00, %f
203203
%div = fdiv nnan float %f, %neg

0 commit comments

Comments
 (0)