RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2025-03-02 01:06:25 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

[InstSimplify] simplify FP ops harder with FMF (part 2)

Browse Source 
This is part of the IR sibling for:
D75576

Related transform committed with:
rG8ec71585719d
This commit is contained in:
Sanjay Patel 2020-03-12 09:52:06 -04:00
parent 49fae1d6d3
commit e208d8fad2
2 changed files with 13 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
lib/Analysis/InstructionSimplify.cpp
View File

@ -4611,11 +4611,11 @@ static Constant *simplifyFPOp(ArrayRef<Value *> Ops,
bool IsUndef = match(V, m_Undef());
// If this operation has 'nnan' or 'ninf' and at least 1 disallowed operand
// (TODO: an undef operand can be chosen to be Nan/Inf), then the result of
// (an undef operand can be chosen to be Nan/Inf), then the result of
// this operation is poison. That result can be relaxed to undef.
if (FMF.noNaNs() && IsNan)
if (FMF.noNaNs() && (IsNan || IsUndef))
return UndefValue::get(V->getType());
if (FMF.noInfs() && IsInf)
if (FMF.noInfs() && (IsInf || IsUndef))
return UndefValue::get(V->getType());
if (IsUndef || IsNan)

20
test/Transforms/InstSimplify/fp-undef.ll
View File

@ -85,7 +85,7 @@ define float @frem_undef_op1(float %x) {
define float @fadd_undef_op0_nnan(float %x) {
; CHECK-LABEL: @fadd_undef_op0_nnan(
; CHECK-NEXT: ret float 0x7FF8000000000000
; CHECK-NEXT: ret float undef
;
%r = fadd nnan float undef, %x
ret float %r
@ -93,7 +93,7 @@ define float @fadd_undef_op0_nnan(float %x) {
define float @fadd_undef_op1_fast(float %x) {
; CHECK-LABEL: @fadd_undef_op1_fast(
; CHECK-NEXT: ret float 0x7FF8000000000000
; CHECK-NEXT: ret float undef
;
%r = fadd fast float %x, undef
ret float %r
@ -101,7 +101,7 @@ define float @fadd_undef_op1_fast(float %x) {
define float @fsub_undef_op0_fast(float %x) {
; CHECK-LABEL: @fsub_undef_op0_fast(
; CHECK-NEXT: ret float 0x7FF8000000000000
; CHECK-NEXT: ret float undef
;
%r = fsub fast float undef, %x
ret float %r
@ -109,7 +109,7 @@ define float @fsub_undef_op0_fast(float %x) {
define float @fsub_undef_op1_nnan(float %x) {
; CHECK-LABEL: @fsub_undef_op1_nnan(
; CHECK-NEXT: ret float 0x7FF8000000000000
; CHECK-NEXT: ret float undef
;
%r = fsub nnan float %x, undef
ret float %r
@ -117,7 +117,7 @@ define float @fsub_undef_op1_nnan(float %x) {
define float @fmul_undef_op0_nnan(float %x) {
; CHECK-LABEL: @fmul_undef_op0_nnan(
; CHECK-NEXT: ret float 0x7FF8000000000000
; CHECK-NEXT: ret float undef
;
%r = fmul nnan float undef, %x
ret float %r
@ -125,7 +125,7 @@ define float @fmul_undef_op0_nnan(float %x) {
define float @fmul_undef_op1_fast(float %x) {
; CHECK-LABEL: @fmul_undef_op1_fast(
; CHECK-NEXT: ret float 0x7FF8000000000000
; CHECK-NEXT: ret float undef
;
%r = fmul fast float %x, undef
ret float %r
@ -133,7 +133,7 @@ define float @fmul_undef_op1_fast(float %x) {
define float @fdiv_undef_op0_fast(float %x) {
; CHECK-LABEL: @fdiv_undef_op0_fast(
; CHECK-NEXT: ret float 0x7FF8000000000000
; CHECK-NEXT: ret float undef
;
%r = fdiv fast float undef, %x
ret float %r
@ -141,7 +141,7 @@ define float @fdiv_undef_op0_fast(float %x) {
define float @fdiv_undef_op1_nnan(float %x) {
; CHECK-LABEL: @fdiv_undef_op1_nnan(
; CHECK-NEXT: ret float 0x7FF8000000000000
; CHECK-NEXT: ret float undef
;
%r = fdiv nnan float %x, undef
ret float %r
@ -149,7 +149,7 @@ define float @fdiv_undef_op1_nnan(float %x) {
define float @frem_undef_op0_nnan(float %x) {
; CHECK-LABEL: @frem_undef_op0_nnan(
; CHECK-NEXT: ret float 0x7FF8000000000000
; CHECK-NEXT: ret float undef
;
%r = frem nnan float undef, %x
ret float %r
@ -157,7 +157,7 @@ define float @frem_undef_op0_nnan(float %x) {
define float @frem_undef_op1_fast(float %x) {
; CHECK-LABEL: @frem_undef_op1_fast(
; CHECK-NEXT: ret float 0x7FF8000000000000
; CHECK-NEXT: ret float undef
;
%r = frem fast float %x, undef
ret float %r