LLVM/project 16601e1 — llvm/include/llvm/Support KnownFPClass.h

by Matt Arsenault on ⎇
Fix comment
DeltaFile
+1-1llvm/include/llvm/Support/KnownFPClass.h
+1-11 files

LLVM/project 3860147 — llvm/include/llvm/CodeGen TargetLowering.h, llvm/lib/Target/AArch64 AArch64ISelLowering.cpp

by Akshay Deodhar via GitHub on ⎇
[NFC][TargetLowering] Make shouldExpandAtomicRMWInIR and shouldExpandAtomicCmpXchgInIR take a const Instruction pointer (#176073)

Splits out change from https://github.com/llvm/llvm-project/pull/176015

Changes shouldExpandAtomicRMWInIR to take a constant argument: This is
to allow some other TargetLowering constant-argument functions to call
it. This change touches several backends. An alternative solution
exists, but to me, this seems the "right" way.
DeltaFile
+9-7llvm/lib/Target/X86/X86ISelLowering.cpp
+4-3llvm/lib/Target/AMDGPU/SIISelLowering.cpp
+3-2llvm/lib/Target/AArch64/AArch64ISelLowering.cpp
+3-2llvm/lib/Target/LoongArch/LoongArchISelLowering.cpp
+3-2llvm/include/llvm/CodeGen/TargetLowering.h
+3-2llvm/lib/Target/PowerPC/PPCISelLowering.cpp
+25-1827 files not shown
+70-5533 files

LLVM/project 8eb5761 — llvm/lib/Transforms/InstCombine InstCombineSimplifyDemanded.cpp, llvm/test/Transforms/InstCombine simplify-demanded-fpclass-fdiv.ll

by Matt Arsenault on ⎇
Address comment nan lhs
DeltaFile
+4-2llvm/test/Transforms/InstCombine/simplify-demanded-fpclass-fdiv.ll
+1-1llvm/lib/Transforms/InstCombine/InstCombineSimplifyDemanded.cpp
+5-32 files

LLVM/project d2a6c03 — llvm/include/llvm/Support KnownFPClass.h, llvm/lib/Analysis ValueTracking.cpp

by Matt Arsenault on ⎇
frem self
DeltaFile
+17-1llvm/lib/Support/KnownFPClass.cpp
+5-6llvm/lib/Analysis/ValueTracking.cpp
+5-0llvm/include/llvm/Support/KnownFPClass.h
+27-73 files

LLVM/project bb07630 — llvm/include/llvm/Support KnownFPClass.h, llvm/lib/Analysis ValueTracking.cpp

by Matt Arsenault on ⎇
InstCombine: Handle fdiv in SimplifyDemandedFPClass
DeltaFile
+127-148llvm/test/Transforms/InstCombine/simplify-demanded-fpclass-fdiv.ll
+130-0llvm/lib/Transforms/InstCombine/InstCombineSimplifyDemanded.cpp
+46-0llvm/lib/Support/KnownFPClass.cpp
+3-33llvm/lib/Analysis/ValueTracking.cpp
+10-0llvm/include/llvm/Support/KnownFPClass.h
+316-1815 files

LLVM/project c5a0b64 — llvm/test/Transforms/InstCombine simplify-demanded-fpclass-fdiv.ll

by Matt Arsenault via GitHub on ⎇
InstCombine: Add baseline fdiv SimplifyDemandedFPClass tests (#175945)
DeltaFile
+2,321-0llvm/test/Transforms/InstCombine/simplify-demanded-fpclass-fdiv.ll
+2,321-01 files

LLVM/project 0a37981 — llvm/include/llvm/Support KnownFPClass.h, llvm/lib/Analysis ValueTracking.cpp

by Matt Arsenault on ⎇
InstCombine: Handle fptrunc in SimplifyDemandedFPClass

Also handle llvm.fptrunc.round since it's the same.
DeltaFile
+60-30llvm/test/Transforms/InstCombine/simplify-demanded-fpclass-fptrunc.ll
+60-28llvm/test/Transforms/InstCombine/simplify-demanded-fpclass-fptrunc-round.ll
+41-0llvm/lib/Transforms/InstCombine/InstCombineSimplifyDemanded.cpp
+14-0llvm/lib/Support/KnownFPClass.cpp
+1-9llvm/lib/Analysis/ValueTracking.cpp
+3-0llvm/include/llvm/Support/KnownFPClass.h
+179-676 files

LLVM/project f14577f — llvm/lib/Transforms/Vectorize VPlanTransforms.cpp, llvm/test/Transforms/LoopVectorize select-folds.ll

by Florian Hahn on ⎇
[VPlan] Fold boolean select to xor if possible.

Fold select c, false, true -> not c. This allows for more accurate cost
estimation and fixes the underlying issue for the cost divergence
between legacy and VPlan-based cost model that caused the revert of
01d34eb38fa058 in ed004cf42bf57c.

https://alive2.llvm.org/ce/z/yVuSgW.
DeltaFile
+5-1llvm/lib/Transforms/Vectorize/VPlanTransforms.cpp
+1-1llvm/test/Transforms/LoopVectorize/select-folds.ll
+6-22 files

LLVM/project c061ddb — lldb/source/Plugins/Language/CPlusPlus MsvcStlVariant.cpp, lldb/test/API/functionalities/data-formatter/data-formatter-stl/generic/variant TestDataFormatterStdVariant.py main.cpp

by Nerixyz via GitHub on ⎇
Reland [LLDB] Fix MS STL variant with non-trivial types and PDB (#176189)

Relands #171489 which was reverted due to a test failure on GreenDragon.

As suggested in
https://github.com/llvm/llvm-project/pull/171489#issuecomment-3754098800,
I'm checking for `std::string` on Darwin and `std::basic_string<char>`
otherwise, however I can't test that locally.
DeltaFile
+25-0lldb/test/API/functionalities/data-formatter/data-formatter-stl/generic/variant/TestDataFormatterStdVariant.py
+11-5lldb/source/Plugins/Language/CPlusPlus/MsvcStlVariant.cpp
+5-0lldb/test/API/functionalities/data-formatter/data-formatter-stl/generic/variant/main.cpp
+41-53 files

LLVM/project 9d04ddc — llvm/lib/Target/AMDGPU AMDGPURegBankLegalizeRules.cpp, llvm/test/CodeGen/AMDGPU/GlobalISel ssubsat.ll saddsat.ll

by Vang Thao on ⎇
[AMDGPU][GlobalISel] Add RegBankLegalize rules for [us]addsat/[us]subsat
DeltaFile
+836-1,089llvm/test/CodeGen/AMDGPU/GlobalISel/ssubsat.ll
+795-1,060llvm/test/CodeGen/AMDGPU/GlobalISel/saddsat.ll
+332-221llvm/test/CodeGen/AMDGPU/GlobalISel/uaddsat.ll
+332-221llvm/test/CodeGen/AMDGPU/GlobalISel/usubsat.ll
+8-0llvm/lib/Target/AMDGPU/AMDGPURegBankLegalizeRules.cpp
+2,303-2,5915 files

LLVM/project ddcc558 — llvm/lib/Target/AMDGPU AMDGPURegBankLegalizeRules.cpp AMDGPURegBankLegalizeHelper.cpp

by Vang Thao on ⎇
Fix formatting
DeltaFile
+2-1llvm/lib/Target/AMDGPU/AMDGPURegBankLegalizeRules.cpp
+0-1llvm/lib/Target/AMDGPU/AMDGPURegBankLegalizeHelper.cpp
+2-22 files

LLVM/project 071bd59 — llvm/lib/Transforms/InstCombine InstructionCombining.cpp, llvm/test/Transforms/InstCombine gep-fold-chained-const-select.ll

by Mircea Trofin via GitHub on ⎇
[profcheck][instcombine] Propagate branch weigths in folded GEP (#176247)

Patch following #170439. The branch weigths of the new select are the same as of the original's.

Issue #147390
DeltaFile
+20-13llvm/test/Transforms/InstCombine/gep-fold-chained-const-select.ll
+3-1llvm/lib/Transforms/InstCombine/InstructionCombining.cpp
+23-142 files

LLVM/project 1a1791b — llvm/include/llvm/CAS OnDiskGraphDB.h, llvm/lib/CAS OnDiskGraphDB.cpp ActionCaches.cpp

by Argyrios Kyrtzidis via GitHub on ⎇
[llvm/CAS] Introduce `validateObjectID()` and use it in `UnifiedOnDiskActionCache::validate()` (#176069)

This allows object IDs to be valid even if they do not point to actual
data yet, like in lazy materialization schemes.
DeltaFile
+30-0llvm/lib/CAS/OnDiskGraphDB.cpp
+4-18llvm/lib/CAS/ActionCaches.cpp
+8-0llvm/unittests/CAS/OnDiskGraphDBTest.cpp
+4-0llvm/include/llvm/CAS/OnDiskGraphDB.h
+46-184 files

LLVM/project 1d5baa2 — llvm/lib/Target/AMDGPU SIInstrInfo.cpp

by Stanislav Mekhanoshin on ⎇
[AMDGPU] Use lambda in fmaak/fmamk f16 folding. NFC
DeltaFile
+20-38llvm/lib/Target/AMDGPU/SIInstrInfo.cpp
+20-381 files

LLVM/project b501f66 — llvm/lib/Target/AMDGPU SIInstrInfo.cpp, llvm/test/CodeGen/AMDGPU fma.f16.ll llvm.fmuladd.f16.ll

by Stanislav Mekhanoshin via GitHub on ⎇
[AMDGPU] Fix expensive checks in fmaak/fmamk f16 folding (#176238)

Register classes of sources also has to be restrained to lo128.
There are few regression with register coalescing in true16 mode
though, but otherwise it fails verification.
DeltaFile
+40-2llvm/lib/Target/AMDGPU/SIInstrInfo.cpp
+26-16llvm/test/CodeGen/AMDGPU/fma.f16.ll
+6-2llvm/test/CodeGen/AMDGPU/llvm.fmuladd.f16.ll
+4-2llvm/test/CodeGen/AMDGPU/fmul-to-ldexp.ll
+76-224 files

LLVM/project 4726d80 — llvm/test/TableGen directive1.td directive2.td

by Krzysztof Parzyszek on ⎇
Update tests
DeltaFile
+0-2llvm/test/TableGen/directive1.td
+0-2llvm/test/TableGen/directive2.td
+0-42 files

LLVM/project fb2c741 — llvm/utils/TableGen/Basic DirectiveEmitter.cpp

by Krzysztof Parzyszek on ⎇
Remove extra empty line in output
DeltaFile
+0-1llvm/utils/TableGen/Basic/DirectiveEmitter.cpp
+0-11 files

LLVM/project d3e9e05 — llvm/test/Transforms/Attributor nofpclass-fmul.ll nofpclass-nan-fmul.ll, llvm/unittests/Analysis ValueTrackingTest.cpp

by Matt Arsenault on ⎇
test-diff
DeltaFile
+2-2llvm/test/Transforms/Attributor/nofpclass-fmul.ll
+1-1llvm/unittests/Analysis/ValueTrackingTest.cpp
+1-1llvm/test/Transforms/Attributor/nofpclass-nan-fmul.ll
+1-1llvm/test/Transforms/Attributor/nofpclass.ll
+5-54 files

LLVM/project dfe68e4 — llvm/lib/Transforms/Utils ProfileVerify.cpp, llvm/lib/Transforms/Vectorize VPlan.cpp LoopVectorize.cpp

by Mircea Trofin on ⎇
capture weights
DeltaFile
+28-6llvm/lib/Transforms/Vectorize/VPlan.cpp
+9-6llvm/test/Transforms/LoopVectorize/tripcount.ll
+1-1llvm/lib/Transforms/Utils/ProfileVerify.cpp
+2-0llvm/lib/Transforms/Vectorize/LoopVectorize.cpp
+40-134 files

LLVM/project e107687 — llvm/lib/Target/AMDGPU AMDGPURegBankLegalizeRules.cpp, llvm/test/CodeGen/AMDGPU/GlobalISel ssubsat.ll saddsat.ll

by Vang Thao on ⎇
[AMDGPU][GlobalISel] Add RegBankLegalize rules for [us]addsat/[us]subsat
DeltaFile
+836-1,089llvm/test/CodeGen/AMDGPU/GlobalISel/ssubsat.ll
+795-1,060llvm/test/CodeGen/AMDGPU/GlobalISel/saddsat.ll
+332-221llvm/test/CodeGen/AMDGPU/GlobalISel/usubsat.ll
+332-221llvm/test/CodeGen/AMDGPU/GlobalISel/uaddsat.ll
+8-0llvm/lib/Target/AMDGPU/AMDGPURegBankLegalizeRules.cpp
+2,303-2,5915 files

LLVM/project 7ff75e9 — llvm/utils/TableGen/Basic DirectiveEmitter.cpp

by Krzysztof Parzyszek on ⎇
Apply review comments
DeltaFile
+8-6llvm/utils/TableGen/Basic/DirectiveEmitter.cpp
+8-61 files

LLVM/project 562d8ff — llvm/lib/Transforms/InstCombine InstCombineSimplifyDemanded.cpp

by Matt Arsenault on ⎇
InstCombine: Use SimplifyDemandedFPClass epilog helper function for fma

NFC refactor to use shared code for fold to constant or set fast math
flags.
DeltaFile
+2-14llvm/lib/Transforms/InstCombine/InstCombineSimplifyDemanded.cpp
+2-141 files

LLVM/project 60b377c — llvm/lib/Transforms/InstCombine InstCombineSimplifyDemanded.cpp

by Matt Arsenault on ⎇
Address comments
DeltaFile
+5-5llvm/lib/Transforms/InstCombine/InstCombineSimplifyDemanded.cpp
+5-51 files

LLVM/project d7ada80 — llvm/lib/Transforms/InstCombine InstCombineSimplifyDemanded.cpp, llvm/test/Transforms/InstCombine simplify-demanded-fpclass-sqrt.ll

by Matt Arsenault on ⎇
InstCombine: Infer fast math flags for sqrt
DeltaFile
+60-5llvm/test/Transforms/InstCombine/simplify-demanded-fpclass-sqrt.ll
+36-4llvm/lib/Transforms/InstCombine/InstCombineSimplifyDemanded.cpp
+96-92 files

LLVM/project adab85e — llvm/lib/Transforms/InstCombine InstCombineSimplifyDemanded.cpp, llvm/test/Transforms/InstCombine simplify-demanded-fpclass-fma.ll

by Matt Arsenault on ⎇
InstCombine: Implement SimplifyDemandedFPClass for fma

This can't do much filtering on the sources, except for nans.
We can also attempt to introduce ninf/nnan.
DeltaFile
+72-21llvm/lib/Transforms/InstCombine/InstCombineSimplifyDemanded.cpp
+16-31llvm/test/Transforms/InstCombine/simplify-demanded-fpclass-fma.ll
+88-522 files

LLVM/project 579934b — llvm/test/Transforms/InstCombine simplify-demanded-fpclass-fma.ll

by Matt Arsenault on ⎇
InstCombine: Add baseline fma tests for SimplifyDemandedFPClass
DeltaFile
+316-0llvm/test/Transforms/InstCombine/simplify-demanded-fpclass-fma.ll
+316-01 files

LLVM/project 9a13f3e — llvm/lib/Support KnownFPClass.cpp

by Matt Arsenault on ⎇
Add comment
DeltaFile
+5-1llvm/lib/Support/KnownFPClass.cpp
+5-11 files

LLVM/project 6d01a14 — llvm/lib/Analysis ValueTracking.cpp, llvm/lib/Support KnownFPClass.cpp

by Matt Arsenault on ⎇
ValueTracking: Improve nan tracking for fma square special case

In the square multiply case, we can infer if the add of opposite
sign infinities can occur.
DeltaFile
+11-1llvm/lib/Support/KnownFPClass.cpp
+4-0llvm/lib/Analysis/ValueTracking.cpp
+2-2llvm/test/Transforms/Attributor/nofpclass-fma.ll
+17-33 files

LLVM/project fcd62a0 — llvm/lib/Analysis ValueTracking.cpp, llvm/test/Transforms/Attributor nofpclass-fma.ll

by Matt Arsenault on ⎇
propagate flags into fma queries
DeltaFile
+41-0llvm/test/Transforms/Attributor/nofpclass-fma.ll
+15-0llvm/lib/Analysis/ValueTracking.cpp
+56-02 files

LLVM/project 9f5259b — llvm/lib/Support KnownFPClass.cpp, llvm/test/Transforms/Attributor nofpclass-fma.ll

by Matt Arsenault on ⎇
fix too conservative
DeltaFile
+2-2llvm/test/Transforms/Attributor/nofpclass-fma.ll
+1-3llvm/lib/Support/KnownFPClass.cpp
+3-52 files