mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-23 03:02:36 +01:00
e59e06d663
Current implementation of division estimation isn't correct for some cases like 1.0/0.0 (result is nan, not expected inf). And this change exposes a potential infinite loop: we use isConstOrConstSplatFP in combineRepeatedFPDivisors to look up if the divisor is some constant. But it doesn't work after legalized on some platforms. This patch restricts the method to act before LegalDAG. Reviewed By: spatel Differential Revision: https://reviews.llvm.org/D80542
25 lines
776 B
LLVM
25 lines
776 B
LLVM
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
|
|
; RUN: llc -verify-machineinstrs < %s -mtriple=powerpc64le-unknown-linux-gnu -mcpu=pwr8 | FileCheck %s
|
|
|
|
define dso_local float @foo_nosw(float %0, float %1) local_unnamed_addr {
|
|
; CHECK-LABEL: foo_nosw:
|
|
; CHECK: # %bb.0:
|
|
; CHECK-NEXT: xsdivsp 1, 1, 2
|
|
; CHECK-NEXT: blr
|
|
%3 = fdiv reassoc arcp nsz float %0, %1
|
|
ret float %3
|
|
}
|
|
|
|
define dso_local float @foo(float %0, float %1) local_unnamed_addr {
|
|
; CHECK-LABEL: foo:
|
|
; CHECK: # %bb.0:
|
|
; CHECK-NEXT: xsresp 3, 2
|
|
; CHECK-NEXT: xsmulsp 0, 1, 3
|
|
; CHECK-NEXT: xsnmsubasp 1, 2, 0
|
|
; CHECK-NEXT: xsmaddasp 0, 3, 1
|
|
; CHECK-NEXT: fmr 1, 0
|
|
; CHECK-NEXT: blr
|
|
%3 = fdiv reassoc arcp nsz ninf float %0, %1
|
|
ret float %3
|
|
}
|