1 ; RUN: opt < %s -instsimplify -S | FileCheck %s
3 ;; x * 0 ==> 0 when no-nans and no-signed-zero
5 define float @mul_zero_1(float %a) {
6 %b = fmul nsz nnan float %a, 0.0
11 define float @mul_zero_2(float %a) {
12 %b = fmul fast float 0.0, %a
13 ; CHECK: ret float 0.0
17 ;; x * 0 =/=> 0 when there could be nans or -0
18 ; CHECK: no_mul_zero_1
19 define float @no_mul_zero_1(float %a) {
20 %b = fmul nsz float %a, 0.0
24 ; CHECK: no_mul_zero_2
25 define float @no_mul_zero_2(float %a) {
26 %b = fmul nnan float %a, 0.0
30 ; CHECK: no_mul_zero_3
31 define float @no_mul_zero_3(float %a) {
32 %b = fmul float %a, 0.0
37 ; fadd [nnan ninf] X, (fsub [nnan ninf] 0, X) ==> 0
38 ; where nnan and ninf have to occur at least once somewhere in this
41 define float @fadd_fsub_0(float %a) {
43 %t1 = fsub nnan ninf float 0.0, %a
44 %zero1 = fadd nnan ninf float %t1, %a
46 %t2 = fsub nnan float 0.0, %a
47 %zero2 = fadd ninf float %t2, %a
49 %t3 = fsub nnan ninf float 0.0, %a
50 %zero3 = fadd float %t3, %a
52 %t4 = fsub float 0.0, %a
53 %zero4 = fadd nnan ninf float %t4, %a
56 ; CHECK: %nofold = fsub float 0.0
57 %nofold = fsub float 0.0, %a
58 ; CHECK: %no_zero = fadd nnan float %nofold, %a
59 %no_zero = fadd nnan float %nofold, %a
61 ; Coalesce the folded zeros
62 %zero5 = fadd float %zero1, %zero2
63 %zero6 = fadd float %zero3, %zero4
64 %zero7 = fadd float %zero5, %zero6
67 %ret = fadd nsz float %no_zero, %zero7
69 ; CHECK: ret float %no_zero
73 ; fsub nnan x, x ==> 0.0
74 ; CHECK-LABEL: @fsub_x_x(
75 define float @fsub_x_x(float %a) {
77 %zero1 = fsub nnan float %a, %a
80 ; CHECK: %no_zero1 = fsub
81 %no_zero1 = fsub ninf float %a, %a
82 ; CHECK: %no_zero2 = fsub
83 %no_zero2 = fsub float %a, %a
84 ; CHECK: %no_zero = fadd
85 %no_zero = fadd float %no_zero1, %no_zero2
88 %ret = fadd nsz float %no_zero, %zero1
90 ; CHECK: ret float %no_zero
95 ; CHECK-LABEL: @nofold_fadd_x_0(
96 define float @nofold_fadd_x_0(float %a) {
98 ; CHECK: %no_zero1 = fadd
99 %no_zero1 = fadd ninf float %a, 0.0
100 ; CHECK: %no_zero2 = fadd
101 %no_zero2 = fadd nnan float %a, 0.0
102 ; CHECK: %no_zero = fadd
103 %no_zero = fadd float %no_zero1, %no_zero2
105 ; CHECK: ret float %no_zero
109 ; fdiv nsz nnan 0, X ==> 0
110 define double @fdiv_zero_by_x(double %X) {
111 ; CHECK-LABEL: @fdiv_zero_by_x(
113 %r = fdiv nnan nsz double 0.0, %X
115 ; CHECK: ret double 0
118 define float @fdiv_self(float %f) {
119 %div = fdiv nnan ninf float %f, %f
121 ; CHECK-LABEL: fdiv_self
122 ; CHECK: ret float 1.000000e+00
125 define float @fdiv_self_invalid1(float %f) {
126 %div = fdiv ninf float %f, %f
128 ; CHECK-LABEL: fdiv_self_invalid1
129 ; CHECK: %div = fdiv ninf float %f, %f
130 ; CHECK-NEXT: ret float %div
133 define float @fdiv_self_invalid2(float %f) {
134 %div = fdiv nnan float %f, %f
136 ; CHECK-LABEL: fdiv_self_invalid2
137 ; CHECK: %div = fdiv nnan float %f, %f
138 ; CHECK-NEXT: ret float %div
141 define float @fdiv_self_invalid3(float %f) {
142 %div = fdiv float %f, %f
144 ; CHECK-LABEL: fdiv_self_invalid3
145 ; CHECK: %div = fdiv float %f, %f
146 ; CHECK-NEXT: ret float %div
149 define float @fdiv_neg(float %f) {
150 %neg = fsub fast float -0.000000e+00, %f
151 %div = fdiv nnan ninf float %neg, %f
153 ; CHECK-LABEL: fdiv_neg
154 ; CHECK: ret float -1.000000e+00
157 define float @fdiv_neg_invalid1(float %f) {
158 %neg = fsub fast float -0.000000e+00, %f
159 %div = fdiv ninf float %neg, %f
161 ; CHECK-LABEL: fdiv_neg_invalid1
162 ; CHECK: %neg = fsub fast float -0.000000e+00, %f
163 ; CHECK-NEXT: %div = fdiv ninf float %neg, %f
164 ; CHECK-NEXT: ret float %div
167 define float @fdiv_neg_invalid2(float %f) {
168 %neg = fsub fast float -0.000000e+00, %f
169 %div = fdiv nnan float %neg, %f
171 ; CHECK-LABEL: fdiv_neg_invalid2
172 ; CHECK: %neg = fsub fast float -0.000000e+00, %f
173 ; CHECK-NEXT: %div = fdiv nnan float %neg, %f
174 ; CHECK-NEXT: ret float %div
177 define float @fdiv_neg_invalid3(float %f) {
178 %neg = fsub fast float -0.000000e+00, %f
179 %div = fdiv float %neg, %f
181 ; CHECK-LABEL: fdiv_neg_invalid3
182 ; CHECK: %neg = fsub fast float -0.000000e+00, %f
183 ; CHECK-NEXT: %div = fdiv float %neg, %f
184 ; CHECK-NEXT: ret float %div
187 define float @fdiv_neg_swapped(float %f) {
188 %neg = fsub float 0.000000e+00, %f
189 %div = fdiv nnan ninf float %f, %neg
191 ; CHECK-LABEL: fdiv_neg_swapped
192 ; CHECK: ret float -1.000000e+00