RPCS3/llvm
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm.git synced 2026-08-26 18:26:51 -04:00
Code Issues Packages Projects Releases 10 Wiki Activity
Files
fd0862123da4aba99851e66045c44869ecbcf53d
llvm/test/Transforms
T
History
Sanjay Patel fd0862123d [ValueTracking] fix maxnum miscompile for cannotBeOrderedLessThanZero (PR37776) 
This adds the NAN checks suggested in PR37776:
https://bugs.llvm.org/show_bug.cgi?id=37776

If both operands to maxnum are NAN, that should get constant folded, so we don't 
have to handle that case. This is the same assumption as other FP ops in this
function. Returning 'false' is always conservatively correct.

Copying from the bug report:

Currently, we have this for "when is cannotBeOrderedLessThanZero 
(mustBePositiveOrNaN) true for maxnum":
               L
        -------------------
        | Pos | Neg | NaN |
   ------------------------
   |Pos |  x  |  x  |  x  |
   ------------------------
 R |Neg |  x  |     |  x  |
   ------------------------
   |NaN |  x  |  x  |  x  |
   ------------------------


The cases with (Neg & NaN) are wrong. We should have:

                L
        -------------------
        | Pos | Neg | NaN |
   ------------------------
   |Pos |  x  |  x  |  x  |
   ------------------------
 R |Neg |  x  |     |     |
   ------------------------
   |NaN |  x  |     |  x  |
   ------------------------

Differential Revision: https://reviews.llvm.org/D50081



git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@338716 91177308-0d34-0410-b5e6-96231b3b80d8
2018-08-02 13:46:20 +00:00
..
ADCE
[DebugInfo] Add DILabel metadata and intrinsic llvm.dbg.label.
2018-05-09 02:40:45 +00:00
AddDiscriminators
[DebugInfo] Add DILabel metadata and intrinsic llvm.dbg.label.
2018-05-09 02:40:45 +00:00
AggressiveInstCombine
[AggressiveInstCombine] avoid crashing on unsimplified code (PR37446)
2018-05-14 13:43:32 +00:00
AlignmentFromAssumptions
[AlignmentFromAssumptions] Set source and dest alignments of memory intrinsiscs separately
2018-02-22 18:55:59 +00:00
ArgumentPromotion
[ArgumentPromotion] don't break musttail invariant PR36543
2018-03-02 00:59:27 +00:00
AtomicExpand
Add address space mangling to lifetime intrinsics
2017-04-10 20:18:21 +00:00
BDCE
[DebugInfo] Add DILabel metadata and intrinsic llvm.dbg.label.
2018-05-09 02:40:45 +00:00
BlockExtractor
BlockExtractor: Don’t delete functions directly
2018-03-12 22:28:18 +00:00
BranchFolding
Move branch folding test to a better location.
2015-12-03 19:41:25 +00:00
CalledValuePropagation
Add CalledValuePropagation pass
2017-10-25 13:40:08 +00:00
CallSiteSplitting
[CallSiteSplit] Make sure we remove nonnull if the parameter turns out to be a constant.
2018-04-23 20:09:08 +00:00
CodeExtractor
[CodeExtractor] Allow extracting blocks with exception handling
2018-05-11 22:49:49 +00:00
CodeGenPrepare
Make llvm.objectsize more conservative with null
2018-07-09 22:21:16 +00:00
ConstantHoisting
[DebugInfo] Add DILabel metadata and intrinsic llvm.dbg.label.
2018-05-09 02:40:45 +00:00
ConstantMerge
Canonicalize the representation of empty an expression in DIGlobalVariableExpression
2017-08-30 18:06:51 +00:00
ConstProp
[ConstProp] Fix calls-math-finite.ll on FreeBSD
2018-07-26 06:24:11 +00:00
Coroutines
[Coroutines] PR34897: Fix incorrect elisions
2018-05-11 03:12:28 +00:00
CorrelatedValuePropagation
llvm: Add support for "-fno-delete-null-pointer-checks"
2018-07-09 22:27:23 +00:00
CrossDSOCFI
[cfi] Build __cfi_check as Thumb when applicable.
2017-08-29 22:29:15 +00:00
DCE
[DCE] Salvage debug info from dead insts
2018-02-15 22:26:18 +00:00
DeadArgElim
[DebugInfo] Add DILabel metadata and intrinsic llvm.dbg.label.
2018-05-09 02:40:45 +00:00
DeadStoreElimination
Implement strip.invariant.group
2018-07-02 04:49:30 +00:00
DivRemPairs
[DivRemPairs] split tests per target to account for bots that don't build for all targets
2017-09-09 14:10:59 +00:00
EarlyCSE
[EarlyCSE] Propagate conditions of AND and OR instructions
2018-06-14 13:02:13 +00:00
EliminateAvailableExternally
[PM] Port EliminateAvailableExternally pass to the new pass manager.
2016-05-05 02:37:32 +00:00
EntryExitInstrumenter
[DebugInfo] Add DILabel metadata and intrinsic llvm.dbg.label.
2018-05-09 02:40:45 +00:00
ExpandMemCmp/X86
[x86, MemCmpExpansion] allow 2 pairs of loads per block (PR33325)
2018-01-06 16:16:04 +00:00
Float2Int
[PM] Port float2int to the new pass manager
2016-06-24 23:32:02 +00:00
ForcedFunctionAttrs
[attrs] Split off the forced attributes utility into its own pass that
2015-12-27 08:13:45 +00:00
FunctionAttrs
llvm: Add support for "-fno-delete-null-pointer-checks"
2018-07-09 22:27:23 +00:00
FunctionImport
Restore "[ThinLTO] Ensure we always select the same function copy to import"
2018-07-16 15:30:27 +00:00
GCOVProfiling
[DebugInfo] Add DILabel metadata and intrinsic llvm.dbg.label.
2018-05-09 02:40:45 +00:00
GlobalDCE
[PM] Teach the PGO instrumentation pasess to run GlobalDCE before
2017-05-25 07:15:09 +00:00
GlobalMerge
[GlobalMerge] Handle llvm.compiler.used correctly.
2018-07-25 22:03:35 +00:00
GlobalOpt
[GlobalOpt] Test array indices inside structs for out-of-bounds accesses
2018-07-28 08:20:10 +00:00
GlobalSplit
Fix one-after-the-end type metadata handling in globalsplit.
2017-03-07 22:18:48 +00:00
GuardWidening
[LoopGuardWidening] Make PostDomTree optional
2018-04-27 23:15:56 +00:00
GVN
[MemDep] Use PhiValuesAnalysis to improve alias analysis results
2018-07-31 14:19:29 +00:00
GVNHoist
[MemorySSAUpdater] Update Phi operands after trivial Phi elimination
2018-07-23 10:56:30 +00:00
GVNSink
Add an @llvm.sideeffect intrinsic
2017-11-08 21:59:51 +00:00
IndirectBrExpand
Introduce the "retpoline" x86 mitigation technique for variant #2 of the speculative execution vulnerabilities disclosed today, specifically identified by CVE-2017-5715, "Branch Target Injection", and is one of the two halves to Spectre..
2018-01-22 22:05:25 +00:00
IndVarSimplify
[SimplifyIndVar] Canonicalize comparisons to unsigned while eliminating truncs
2018-07-27 09:43:39 +00:00
InferAddressSpaces
[AMDGPU] Switch to the new addr space mapping by default
2018-02-02 16:07:16 +00:00
InferFunctionAttrs
[SimplifyLibcalls] Replace locked IO with unlocked IO
2018-05-16 11:39:52 +00:00
Inline
Revert "Enrich inline messages", tests fail
2018-08-01 08:02:40 +00:00
InstCombine
[InstSimplify] move minnum/maxnum with same arg fold from instcombine
2018-08-01 23:05:55 +00:00
InstMerge
[MergedLoadStoreMotion] Fix a debug invariant bug in mergeStores
2018-05-09 06:52:12 +00:00
InstNamer
Add basic test case for -instnamer
2017-05-08 23:18:46 +00:00
InstSimplify
[ValueTracking] fix maxnum miscompile for cannotBeOrderedLessThanZero (PR37776)
2018-08-02 13:46:20 +00:00
InterleavedAccess
[X86][LLVM]Expanding Supports lowerInterleaved{store|load}() in X86InterleavedAccess (VF64 stride 3-4)
2017-10-02 07:35:25 +00:00
Internalize
[Internalize] Test that __stack_chk_{guard, fail} are not internalized.
2016-06-05 19:08:54 +00:00
IPConstantProp
Revert r337904: [IPSCCP] Use PredicateInfo to propagate facts from cmp instructions.
2018-07-25 19:44:19 +00:00
IRCE
[IRCE] Fix miscompile with range checks against negative values
2018-05-19 13:06:37 +00:00
JumpThreading
[JumpThreading] Don't try to rewrite a use if it's already valid.
2018-06-26 22:19:48 +00:00
LCSSA
[DebugInfo][LCSSA] Preserve debug location in lcssa phis
2018-07-31 14:54:52 +00:00
LICM
[LICM] Expand tests to highlight an oddity in sinking implementation
2018-08-02 03:54:29 +00:00
LoadStoreVectorizer
[LSV] Look through selects for consecutive addresses
2018-07-25 21:33:00 +00:00
LoopDataPrefetch
[DebugInfo] Add DILabel metadata and intrinsic llvm.dbg.label.
2018-05-09 02:40:45 +00:00
LoopDeletion
[LoopDeletion] Handle users in unreachable block
2018-01-12 07:24:43 +00:00
LoopDistribute
[DebugInfo] Add DILabel metadata and intrinsic llvm.dbg.label.
2018-05-09 02:40:45 +00:00
LoopIdiom
[LoopIdiomRecognize] Don't convert a do while loop to ctlz.
2018-07-11 22:35:28 +00:00
LoopInstSimplify
[LoopInstSimplify] Re-implement the core logic of loop-instsimplify to
2018-05-29 20:15:38 +00:00
LoopInterchange
NFC - Various typo fixes in tests
2018-07-04 13:28:39 +00:00
LoopLoadElim
[PM] Port LoopLoadElimination to the new pass manager and wire it into
2017-01-27 01:32:26 +00:00
LoopPredication
[LoopPredication] Add profitability check based on BPI
2018-03-22 16:03:59 +00:00
LoopReroll
[LoopReroll] Rewrite induction variable rewriting.
2018-06-22 22:58:55 +00:00
LoopRotate
[DebugInfo] Add DILabel metadata and intrinsic llvm.dbg.label.
2018-05-09 02:40:45 +00:00
LoopSimplify
[DebugInfo] Add DILabel metadata and intrinsic llvm.dbg.label.
2018-05-09 02:40:45 +00:00
LoopSimplifyCFG
Generalize MergeBlockIntoPredecessor. Replace uses of MergeBasicBlockIntoOnlyPred.
2018-06-20 22:01:04 +00:00
LoopStrengthReduce
SCEVExpander::expandAddRecExprLiterally(): check before casting as Instruction
2018-06-29 07:44:20 +00:00
LoopUnroll
LoopUnroll: Allow analyzing intrinsic call costs
2018-06-26 18:51:17 +00:00
LoopUnrollAndJam
[UnrollAndJam] New Unroll and Jam pass
2018-07-01 12:47:30 +00:00
LoopUnswitch
[LoopUnswitch] Fix SCEV invalidation in unswitching
2018-05-23 10:09:53 +00:00
LoopVectorize
Revert "[LV][DebugInfo] Set DL to the middle block Icmp instruction"
2018-07-27 08:22:54 +00:00
LoopVersioning
Re-apply "[SCEV] Strengthen StrengthenNoWrapFlags (reapply r334428)."
2018-07-13 23:58:46 +00:00
LoopVersioningLICM
[LAA] Correctly return a half-open range in expandBounds
2017-04-05 09:24:26 +00:00
LowerAtomic
LowerAtomic: Don't skip optnone functions; atomic still need lowering (PR34020)
2017-08-23 15:43:28 +00:00
LowerExpectIntrinsic
Fix builin_expect lowering bug
2017-06-07 18:32:24 +00:00
LowerGuardIntrinsic
[PM] Port LowerGuardIntrinsic to the new PM.
2016-07-28 22:08:41 +00:00
LowerInvoke
[PM] Port LowerInvoke to the new pass manager
2016-08-12 17:28:27 +00:00
LowerSwitch
LowerSwitch: Fix producing invalid IR on unreachable code
2017-04-21 23:54:12 +00:00
LowerTypeTests
[LowerTypeTests] Limit when icall jumptable entries are emitted
2018-07-13 19:57:39 +00:00
Mem2Reg
Improve ConvertDebugDeclareToDebugValue
2018-06-26 06:17:00 +00:00
MemCpyOpt
[MemCpyOpt] Skip optimizing basic blocks not reachable from entry
2018-04-23 19:55:04 +00:00
MergeFunc
[MergeFunctions] Fix merging of small weak functions
2018-05-15 11:31:07 +00:00
MergeICmps
[MergeICmps] Don't crash when memcmp is not available
2018-05-19 12:51:59 +00:00
MetaRenamer
Remove alignment argument from memcpy/memmove/memset in favour of alignment attributes (Step 1)
2018-01-19 17:13:12 +00:00
NameAnonGlobals
[ThinLTO] Ensure anonymous globals renamed even at -O0
2016-09-17 20:40:16 +00:00
NaryReassociate
[NaryReassociate] Detect deleted instr with WeakVH
2018-05-24 06:09:02 +00:00
NewGVN
[InstSimplify] tests for D48828: fold extraction from std::pair
2018-07-27 07:21:02 +00:00
ObjCARC
[ObjCARC] Prevent code motion into a catchswitch
2018-05-16 04:52:18 +00:00
PartiallyInlineLibCalls
[PartiallyInlineLibCalls][x86] add TTI hook to allow sqrt inlining to depend on arg rather than result
2017-11-27 21:15:43 +00:00
PGOProfile
[InstrProf] Use comdats on COFF for available_externally functions
2018-07-26 22:59:17 +00:00
PhaseOrdering
[PhaseOrdering] remove stale comments; NFC
2018-05-09 23:10:46 +00:00
PlaceSafepoints
Remove alignment argument from memcpy/memmove/memset in favour of alignment attributes (Step 1)
2018-01-19 17:13:12 +00:00
PreISelIntrinsicLowering
[PM] Port PreISelIntrinsicLowering to the new PM
2016-06-24 20:13:42 +00:00
PruneEH
[PM][FunctionAttrs] add NoUnwind attribute inference to PostOrderFunctionAttrs pass
2018-03-23 21:46:16 +00:00
Reassociate
[Constants] add identity constants for fadd/fmul
2018-07-03 17:12:59 +00:00
Reg2Mem
Move the personality function from LandingPadInst to Function
2015-06-17 20:52:32 +00:00
RewriteStatepointsForGC
NFC - Various typo fixes in tests
2018-07-04 13:28:39 +00:00
SafeStack
[DebugInfo] Add DILabel metadata and intrinsic llvm.dbg.label.
2018-05-09 02:40:45 +00:00
SampleProfile
[SampleFDO] Add a new compact binary format for sample profile.
2018-06-11 22:40:43 +00:00
Scalarizer
[DebugInfo] Add DILabel metadata and intrinsic llvm.dbg.label.
2018-05-09 02:40:45 +00:00
SCCP
[BasicAA] Use PhiValuesAnalysis if available when handling phi alias
2018-07-30 11:52:08 +00:00
SeparateConstOffsetFromGEP
[Split GEP] handle trunc() in separate-const-offset-from-gep pass.
2018-05-11 21:13:19 +00:00
SimpleLoopUnswitch
[PM/Unswitch] Fix a collection of closely related issues with trivial
2018-07-10 08:36:05 +00:00
SimplifyCFG
[InstCombine] Fold Select with binary op
2018-07-30 20:38:53 +00:00
Sink
[Sink] Really really fix predicate in legality check
2018-01-11 21:28:57 +00:00
SLPVectorizer
[SLP] Fix PR38339: Instruction does not dominate all uses!
2018-07-31 14:02:43 +00:00
SpeculateAroundPHIs
Add a new pass to speculate around PHI nodes with constant (integer) operands when profitable.
2017-11-28 11:32:31 +00:00
SpeculativeExecution
Revert r301950: SpeculativeExecution: Stop using whitelist for costs
2017-05-10 12:30:07 +00:00
SROA
[SROA] Preserve DebugLoc when rewriting alloca partitions
2018-06-28 18:58:30 +00:00
StraightLineStrengthReduce
AMDGPU: Mark all unspecified CC functions in tests as amdgpu_kernel
2017-03-21 21:39:51 +00:00
StripDeadPrototypes
[PM] Port StripDeadPrototypes to the new pass manager
2015-10-30 23:28:12 +00:00
StripSymbols
Canonicalize the representation of empty an expression in DIGlobalVariableExpression
2017-08-30 18:06:51 +00:00
StructurizeCFG
StructurizeCFG: Adjust the loop depth for a subregion to order the nodes correctly
2018-05-23 18:34:48 +00:00
SyntheticCountsPropagation
Add a pass to generate synthetic function entry counts.
2018-01-09 19:39:35 +00:00
TailCallElim
[DebugInfo] Add DILabel metadata and intrinsic llvm.dbg.label.
2018-05-09 02:40:45 +00:00
ThinLTOBitcodeWriter
[ThinLTOBitcodeWriter] Emit summaries for regular LTO modules
2018-06-01 15:20:47 +00:00
Util
[PredicateInfo] Use custom mangling to support ssa_copy with unnamed types.
2018-07-24 14:49:52 +00:00
WholeProgramDevirt
Runtime flag to control branch funnel threshold
2018-04-06 21:32:36 +00:00