mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2025-01-31 20:51:52 +01:00
271 lines
7.0 KiB
LLVM
271 lines
7.0 KiB
LLVM
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
|
; RUN: opt < %s -instsimplify -S | FileCheck %s
|
|
|
|
;; x * 0 ==> 0 when no-nans and no-signed-zero
|
|
define float @mul_zero_1(float %a) {
|
|
; CHECK-LABEL: @mul_zero_1(
|
|
; CHECK-NEXT: ret float 0.000000e+00
|
|
;
|
|
%b = fmul nsz nnan float %a, 0.0
|
|
ret float %b
|
|
}
|
|
|
|
define float @mul_zero_2(float %a) {
|
|
; CHECK-LABEL: @mul_zero_2(
|
|
; CHECK-NEXT: ret float 0.000000e+00
|
|
;
|
|
%b = fmul fast float 0.0, %a
|
|
ret float %b
|
|
}
|
|
|
|
;; x * 0 =/=> 0 when there could be nans or -0
|
|
define float @no_mul_zero_1(float %a) {
|
|
; CHECK-LABEL: @no_mul_zero_1(
|
|
; CHECK-NEXT: [[B:%.*]] = fmul nsz float [[A:%.*]], 0.000000e+00
|
|
; CHECK-NEXT: ret float [[B]]
|
|
;
|
|
%b = fmul nsz float %a, 0.0
|
|
ret float %b
|
|
}
|
|
|
|
define float @no_mul_zero_2(float %a) {
|
|
; CHECK-LABEL: @no_mul_zero_2(
|
|
; CHECK-NEXT: [[B:%.*]] = fmul nnan float [[A:%.*]], 0.000000e+00
|
|
; CHECK-NEXT: ret float [[B]]
|
|
;
|
|
%b = fmul nnan float %a, 0.0
|
|
ret float %b
|
|
}
|
|
|
|
define float @no_mul_zero_3(float %a) {
|
|
; CHECK-LABEL: @no_mul_zero_3(
|
|
; CHECK-NEXT: [[B:%.*]] = fmul float [[A:%.*]], 0.000000e+00
|
|
; CHECK-NEXT: ret float [[B]]
|
|
;
|
|
%b = fmul float %a, 0.0
|
|
ret float %b
|
|
}
|
|
|
|
; FIXME: -X + X --> 0.0 (with nnan on the fadd)
|
|
|
|
define float @fadd_fnegx(float %x) {
|
|
; CHECK-LABEL: @fadd_fnegx(
|
|
; CHECK-NEXT: [[NEGX:%.*]] = fsub float -0.000000e+00, [[X:%.*]]
|
|
; CHECK-NEXT: [[R:%.*]] = fadd nnan float [[NEGX]], [[X]]
|
|
; CHECK-NEXT: ret float [[R]]
|
|
;
|
|
%negx = fsub float -0.0, %x
|
|
%r = fadd nnan float %negx, %x
|
|
ret float %r
|
|
}
|
|
|
|
; FIXME: X + -X --> 0.0 (with nnan on the fadd)
|
|
|
|
define <2 x float> @fadd_fnegx_commute_vec(<2 x float> %x) {
|
|
; CHECK-LABEL: @fadd_fnegx_commute_vec(
|
|
; CHECK-NEXT: [[NEGX:%.*]] = fsub <2 x float> <float -0.000000e+00, float -0.000000e+00>, [[X:%.*]]
|
|
; CHECK-NEXT: [[R:%.*]] = fadd nnan <2 x float> [[X]], [[NEGX]]
|
|
; CHECK-NEXT: ret <2 x float> [[R]]
|
|
;
|
|
%negx = fsub <2 x float> <float -0.0, float -0.0>, %x
|
|
%r = fadd nnan <2 x float> %x, %negx
|
|
ret <2 x float> %r
|
|
}
|
|
|
|
; FIXME: Could be NaN.
|
|
; https://bugs.llvm.org/show_bug.cgi?id=26958
|
|
; https://bugs.llvm.org/show_bug.cgi?id=27151
|
|
|
|
define float @fadd_fneg_nan(float %x) {
|
|
; CHECK-LABEL: @fadd_fneg_nan(
|
|
; CHECK-NEXT: ret float 0.000000e+00
|
|
;
|
|
%t = fsub nnan float -0.0, %x
|
|
%could_be_nan = fadd ninf float %t, %x
|
|
ret float %could_be_nan
|
|
}
|
|
|
|
; FIXME: Could be NaN.
|
|
|
|
define float @fadd_fneg_nan_commute(float %x) {
|
|
; CHECK-LABEL: @fadd_fneg_nan_commute(
|
|
; CHECK-NEXT: ret float 0.000000e+00
|
|
;
|
|
%t = fsub nnan ninf float -0.0, %x
|
|
%could_be_nan = fadd float %x, %t
|
|
ret float %could_be_nan
|
|
}
|
|
|
|
; X + (0.0 - X) --> 0.0 (with nnan on the fadd)
|
|
|
|
define float @fadd_fsub_nnan_ninf(float %x) {
|
|
; CHECK-LABEL: @fadd_fsub_nnan_ninf(
|
|
; CHECK-NEXT: ret float 0.000000e+00
|
|
;
|
|
%sub = fsub float 0.0, %x
|
|
%zero = fadd nnan ninf float %x, %sub
|
|
ret float %zero
|
|
}
|
|
|
|
; (0.0 - X) + X --> 0.0 (with nnan on the fadd)
|
|
|
|
define <2 x float> @fadd_fsub_nnan_ninf_commute_vec(<2 x float> %x) {
|
|
; CHECK-LABEL: @fadd_fsub_nnan_ninf_commute_vec(
|
|
; CHECK-NEXT: ret <2 x float> zeroinitializer
|
|
;
|
|
%sub = fsub <2 x float> zeroinitializer, %x
|
|
%zero = fadd nnan ninf <2 x float> %sub, %x
|
|
ret <2 x float> %zero
|
|
}
|
|
|
|
; FIXME: Do fold this.
|
|
; 'ninf' is not required because 'nnan' allows us to assume
|
|
; that X is not INF/-INF (adding opposite INFs would be NaN).
|
|
|
|
define float @fadd_fsub_nnan(float %x) {
|
|
; CHECK-LABEL: @fadd_fsub_nnan(
|
|
; CHECK-NEXT: [[SUB:%.*]] = fsub float 0.000000e+00, [[X:%.*]]
|
|
; CHECK-NEXT: [[ZERO:%.*]] = fadd nnan float [[SUB]], [[X]]
|
|
; CHECK-NEXT: ret float [[ZERO]]
|
|
;
|
|
%sub = fsub float 0.0, %x
|
|
%zero = fadd nnan float %sub, %x
|
|
ret float %zero
|
|
}
|
|
|
|
; fsub nnan x, x ==> 0.0
|
|
define float @fsub_x_x(float %a) {
|
|
; CHECK-LABEL: @fsub_x_x(
|
|
; CHECK-NEXT: [[NO_ZERO1:%.*]] = fsub ninf float [[A:%.*]], [[A]]
|
|
; CHECK-NEXT: [[NO_ZERO2:%.*]] = fsub float [[A]], [[A]]
|
|
; CHECK-NEXT: [[NO_ZERO:%.*]] = fadd float [[NO_ZERO1]], [[NO_ZERO2]]
|
|
; CHECK-NEXT: ret float [[NO_ZERO]]
|
|
;
|
|
; X - X ==> 0
|
|
%zero1 = fsub nnan float %a, %a
|
|
|
|
; Dont fold
|
|
%no_zero1 = fsub ninf float %a, %a
|
|
%no_zero2 = fsub float %a, %a
|
|
%no_zero = fadd float %no_zero1, %no_zero2
|
|
|
|
; Should get folded
|
|
%ret = fadd nsz float %no_zero, %zero1
|
|
|
|
ret float %ret
|
|
}
|
|
|
|
; fsub nsz 0.0, (fsub 0.0, X) ==> X
|
|
define float @fsub_0_0_x(float %a) {
|
|
; CHECK-LABEL: @fsub_0_0_x(
|
|
; CHECK-NEXT: ret float [[A:%.*]]
|
|
;
|
|
%t1 = fsub float 0.0, %a
|
|
%ret = fsub nsz float 0.0, %t1
|
|
ret float %ret
|
|
}
|
|
|
|
; fadd nsz X, 0 ==> X
|
|
define float @nofold_fadd_x_0(float %a) {
|
|
; CHECK-LABEL: @nofold_fadd_x_0(
|
|
; CHECK-NEXT: [[NO_ZERO1:%.*]] = fadd ninf float [[A:%.*]], 0.000000e+00
|
|
; CHECK-NEXT: [[NO_ZERO2:%.*]] = fadd nnan float [[A]], 0.000000e+00
|
|
; CHECK-NEXT: [[NO_ZERO:%.*]] = fadd float [[NO_ZERO1]], [[NO_ZERO2]]
|
|
; CHECK-NEXT: ret float [[NO_ZERO]]
|
|
;
|
|
; Dont fold
|
|
%no_zero1 = fadd ninf float %a, 0.0
|
|
%no_zero2 = fadd nnan float %a, 0.0
|
|
%no_zero = fadd float %no_zero1, %no_zero2
|
|
ret float %no_zero
|
|
}
|
|
|
|
; fdiv nsz nnan 0, X ==> 0
|
|
define double @fdiv_zero_by_x(double %X) {
|
|
; CHECK-LABEL: @fdiv_zero_by_x(
|
|
; CHECK-NEXT: ret double 0.000000e+00
|
|
;
|
|
; 0 / X -> 0
|
|
%r = fdiv nnan nsz double 0.0, %X
|
|
ret double %r
|
|
}
|
|
|
|
define float @fdiv_self(float %f) {
|
|
; CHECK-LABEL: @fdiv_self(
|
|
; CHECK-NEXT: ret float 1.000000e+00
|
|
;
|
|
%div = fdiv nnan float %f, %f
|
|
ret float %div
|
|
}
|
|
|
|
define float @fdiv_self_invalid(float %f) {
|
|
; CHECK-LABEL: @fdiv_self_invalid(
|
|
; CHECK-NEXT: [[DIV:%.*]] = fdiv float [[F:%.*]], [[F]]
|
|
; CHECK-NEXT: ret float [[DIV]]
|
|
;
|
|
%div = fdiv float %f, %f
|
|
ret float %div
|
|
}
|
|
|
|
define float @fdiv_neg1(float %f) {
|
|
; CHECK-LABEL: @fdiv_neg1(
|
|
; CHECK-NEXT: ret float -1.000000e+00
|
|
;
|
|
%neg = fsub fast float -0.000000e+00, %f
|
|
%div = fdiv nnan float %neg, %f
|
|
ret float %div
|
|
}
|
|
|
|
define float @fdiv_neg2(float %f) {
|
|
; CHECK-LABEL: @fdiv_neg2(
|
|
; CHECK-NEXT: ret float -1.000000e+00
|
|
;
|
|
%neg = fsub fast float 0.000000e+00, %f
|
|
%div = fdiv nnan float %neg, %f
|
|
ret float %div
|
|
}
|
|
|
|
define float @fdiv_neg_invalid(float %f) {
|
|
; CHECK-LABEL: @fdiv_neg_invalid(
|
|
; CHECK-NEXT: [[NEG:%.*]] = fsub fast float -0.000000e+00, [[F:%.*]]
|
|
; CHECK-NEXT: [[DIV:%.*]] = fdiv float [[NEG]], [[F]]
|
|
; CHECK-NEXT: ret float [[DIV]]
|
|
;
|
|
%neg = fsub fast float -0.000000e+00, %f
|
|
%div = fdiv float %neg, %f
|
|
ret float %div
|
|
}
|
|
|
|
define float @fdiv_neg_swapped1(float %f) {
|
|
; CHECK-LABEL: @fdiv_neg_swapped1(
|
|
; CHECK-NEXT: ret float -1.000000e+00
|
|
;
|
|
%neg = fsub float -0.000000e+00, %f
|
|
%div = fdiv nnan float %f, %neg
|
|
ret float %div
|
|
}
|
|
|
|
define float @fdiv_neg_swapped2(float %f) {
|
|
; CHECK-LABEL: @fdiv_neg_swapped2(
|
|
; CHECK-NEXT: ret float -1.000000e+00
|
|
;
|
|
%neg = fsub float 0.000000e+00, %f
|
|
%div = fdiv nnan float %f, %neg
|
|
ret float %div
|
|
}
|
|
|
|
; PR21126: http://llvm.org/bugs/show_bug.cgi?id=21126
|
|
; With unsafe/fast math, sqrt(X) * sqrt(X) is just X.
|
|
|
|
declare double @llvm.sqrt.f64(double)
|
|
|
|
define double @sqrt_squared(double %f) {
|
|
; CHECK-LABEL: @sqrt_squared(
|
|
; CHECK-NEXT: ret double [[F:%.*]]
|
|
;
|
|
%sqrt = call double @llvm.sqrt.f64(double %f)
|
|
%mul = fmul fast double %sqrt, %sqrt
|
|
ret double %mul
|
|
}
|
|
|