[all-commits] [llvm/llvm-project] 274f83: [RISCV] Don't attempt PRE if available info is SEW...
Fangrui Song via All-commits
all-commits at lists.llvm.org
Sun Jan 7 09:43:22 PST 2024
Branch: refs/heads/users/MaskRay/spr/asan-enable-stacksafetyanalysis-by-default
Home: https://github.com/llvm/llvm-project
Commit: 274f8332b9d1d460d38516f2c685692a46a93c7a
https://github.com/llvm/llvm-project/commit/274f8332b9d1d460d38516f2c685692a46a93c7a
Author: Luke Lau <luke at igalia.com>
Date: 2024-01-07 (Sun, 07 Jan 2024)
Changed paths:
M llvm/lib/Target/RISCV/RISCVInsertVSETVLI.cpp
M llvm/test/CodeGen/RISCV/rvv/vsetvli-insert.mir
Log Message:
-----------
[RISCV] Don't attempt PRE if available info is SEW/LMUL ratio only (#77063)
Commit: 780a5116ba68ec8c53b65008b3407479478b2d5e
https://github.com/llvm/llvm-project/commit/780a5116ba68ec8c53b65008b3407479478b2d5e
Author: David Green <david.green at arm.com>
Date: 2024-01-07 (Sun, 07 Jan 2024)
Changed paths:
M llvm/lib/Target/AArch64/AArch64ISelLowering.cpp
M llvm/test/CodeGen/AArch64/vecreduce-add.ll
Log Message:
-----------
[AArch64] Fix condition for combining UADDV and Add. (#76809)
This should have been checking that the transform was valid, but used
incorrect conditions letting through invalid combinations of lo/hi
extracts.
Hopefully fixes #76769
Commit: c82c54a1ef89ebd4903adfd977dabd34718a136e
https://github.com/llvm/llvm-project/commit/c82c54a1ef89ebd4903adfd977dabd34718a136e
Author: cor3ntin <corentinjabot at gmail.com>
Date: 2024-01-07 (Sun, 07 Jan 2024)
Changed paths:
M clang/docs/ReleaseNotes.rst
Log Message:
-----------
[Clang][NFC] Fix trailing whitespace in ReleaseNotes.rst
Commit: 4c8dbb68138959477d9fccbae3669663260dfe31
https://github.com/llvm/llvm-project/commit/4c8dbb68138959477d9fccbae3669663260dfe31
Author: Abhinav271828 <71174780+Abhinav271828 at users.noreply.github.com>
Date: 2024-01-07 (Sun, 07 Jan 2024)
Changed paths:
A mlir/include/mlir/Analysis/Presburger/Barvinok.h
A mlir/lib/Analysis/Presburger/Barvinok.cpp
M mlir/lib/Analysis/Presburger/CMakeLists.txt
A mlir/unittests/Analysis/Presburger/BarvinokTest.cpp
M mlir/unittests/Analysis/Presburger/CMakeLists.txt
Log Message:
-----------
[MLIR][Presburger] Definitions for basic functions related to cones (#76650)
We add some basic type aliases and function definitions relating to
cones for Barvinok's algorithm.
These include functions to get the dual of a cone and find its index.
Commit: 2835be82db2037367154bc3226473947abbf661f
https://github.com/llvm/llvm-project/commit/2835be82db2037367154bc3226473947abbf661f
Author: Abhinav271828 <71174780+Abhinav271828 at users.noreply.github.com>
Date: 2024-01-07 (Sun, 07 Jan 2024)
Changed paths:
M mlir/include/mlir/Analysis/Presburger/GeneratingFunction.h
M mlir/unittests/Analysis/Presburger/GeneratingFunctionTest.cpp
Log Message:
-----------
[MLIR][Presburger] Fix ParamPoint to be column-wise instead of row-wise (#77232)
The ParamPoint datatype has each column representing an affine function.
The code for generating functions is modified to reflect this.
Commit: 3eb9fd8ac8bb7524b45912115dc212b7e80be588
https://github.com/llvm/llvm-project/commit/3eb9fd8ac8bb7524b45912115dc212b7e80be588
Author: Bharathi Ramana Joshi <joshibharathiramana at gmail.com>
Date: 2024-01-07 (Sun, 07 Jan 2024)
Changed paths:
M mlir/include/mlir/Analysis/Presburger/IntegerRelation.h
M mlir/lib/Analysis/Presburger/IntegerRelation.cpp
M mlir/unittests/Analysis/Presburger/IntegerRelationTest.cpp
Log Message:
-----------
[MLIR][Presburger] Implement IntegerRelation::mergeAndAlignSymbols (#76736)
Commit: 0903d992cc961281a0bffc8704796f27f8c2e696
https://github.com/llvm/llvm-project/commit/0903d992cc961281a0bffc8704796f27f8c2e696
Author: Bill Wendling <morbo at google.com>
Date: 2024-01-07 (Sun, 07 Jan 2024)
Changed paths:
M llvm/include/llvm/Analysis/MemoryBuiltins.h
Log Message:
-----------
[NFC][ObjectSizeOffset] Add template stuff for Visual Studio
Visual Studio needs the class template stuff.
C:\llvm\include\llvm/Analysis/MemoryBuiltins.h(217): error C2990: 'llvm::SizeOffsetType': non-class template has already been declared as a class template
C:\llvm\include\llvm/Analysis/MemoryBuiltins.h(193): note: see declaration of 'llvm::SizeOffsetType'
Commit: fd1c156e5d6584684ce58c0536dca96cedcc41f0
https://github.com/llvm/llvm-project/commit/fd1c156e5d6584684ce58c0536dca96cedcc41f0
Author: Bill Wendling <morbo at google.com>
Date: 2024-01-07 (Sun, 07 Jan 2024)
Changed paths:
M llvm/include/llvm/Analysis/MemoryBuiltins.h
Log Message:
-----------
Revert "[NFC][ObjectSizeOffset] Add template stuff for Visual Studio"
This reverts commit 0903d992cc961281a0bffc8704796f27f8c2e696.
This is causing all non-Visual Studio builds fail.
Commit: 2eb7a82af3b66f9448f9d2843b438fa8ec4ff53f
https://github.com/llvm/llvm-project/commit/2eb7a82af3b66f9448f9d2843b438fa8ec4ff53f
Author: Yingwei Zheng <dtcxzyw2333 at gmail.com>
Date: 2024-01-07 (Sun, 07 Jan 2024)
Changed paths:
M llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp
M llvm/test/Transforms/InstCombine/icmp.ll
Log Message:
-----------
[InstCombine] Relax the one-use constraints for `icmp pred (binop X, Z), (binop Y, Z)` (#76384)
This patch relaxes the one-use constraints for `icmp pred (binop X, Z),
(binop Y, Z)`. It will enable more optimizations with pointer
arithmetic.
One example in `boost::match_results::set_size`:
```
declare void @use(i64)
define i1 @src(ptr %a1, ptr %a2, ptr %add.ptr.i66, i64 %sub.ptr.rhs.cast.i) {
%sub.ptr.lhs.cast.i = ptrtoint ptr %a1 to i64
%sub.ptr.rhs.cast.i = ptrtoint ptr %a2 to i64
%sub.ptr.sub.i = sub i64 %sub.ptr.lhs.cast.i, %sub.ptr.rhs.cast.i
%sub.ptr.div.i = sdiv exact i64 %sub.ptr.sub.i, 24
call void @use(i64 %sub.ptr.div.i)
%sub.ptr.lhs.cast.i.i = ptrtoint ptr %add.ptr.i66 to i64
%sub.ptr.sub.i.i = sub i64 %sub.ptr.lhs.cast.i.i, %sub.ptr.rhs.cast.i
%sub.ptr.div.i.i = sdiv exact i64 %sub.ptr.sub.i.i, 24
%cmp.i.not.i.i = icmp eq i64 %sub.ptr.div.i.i, %sub.ptr.div.i
ret i1 %cmp.i.not.i.i
}
define i1 @tgt(ptr %a1, ptr %a2, ptr %add.ptr.i66, i64 %sub.ptr.rhs.cast.i) {
%sub.ptr.lhs.cast.i = ptrtoint ptr %a1 to i64
%sub.ptr.rhs.cast.i = ptrtoint ptr %a2 to i64
%sub.ptr.sub.i = sub i64 %sub.ptr.lhs.cast.i, %sub.ptr.rhs.cast.i
%sub.ptr.div.i = sdiv exact i64 %sub.ptr.sub.i, 24
call void @use(i64 %sub.ptr.div.i)
%cmp.i.not.i.i = icmp eq i64 %sub.ptr.sub.i.i, %sub.ptr.sub.i
ret i1 %cmp.i.not.i.i
}
```
Commit: dd450f08cfeb9da372cbe459058bc9ae9425f862
https://github.com/llvm/llvm-project/commit/dd450f08cfeb9da372cbe459058bc9ae9425f862
Author: Matthias Springer <me at m-sp.org>
Date: 2024-01-07 (Sun, 07 Jan 2024)
Changed paths:
M mlir/include/mlir/Dialect/Bufferization/Transforms/BufferUtils.h
M mlir/include/mlir/Interfaces/ControlFlowInterfaces.td
M mlir/lib/Dialect/Bufferization/Transforms/BufferOptimizations.cpp
M mlir/lib/Dialect/Bufferization/Transforms/BufferUtils.cpp
M mlir/lib/Interfaces/ControlFlowInterfaces.cpp
Log Message:
-----------
[mlir][Interfaces][NFC] Move region loop detection to `RegionBranchOpInterface` (#77090)
`BufferPlacementTransformationBase::isLoop` checks if there a loop in
the region branching graph of an operation. This algorithm is similar to
`isRegionReachable` in the `RegionBranchOpInterface`. To avoid duplicate
code, `isRegionReachable` is generalized, so that it can be used to
detect region loops. A helper function
`RegionBranchOpInterface::hasLoop` is added.
This change also turns a recursive implementation into an iterative one,
which is the preferred implementation strategy in LLVM.
Also move the `isLoop` to `BufferOptimizations.cpp`, so that we can
gradually retire `BufferPlacementTransformationBase`. (This is so that
proper error handling can be added to `BufferViewFlowAnalysis`.)
Commit: 752df2bc0b606127efea80023b0dfd8a7a36bf8c
https://github.com/llvm/llvm-project/commit/752df2bc0b606127efea80023b0dfd8a7a36bf8c
Author: Matthias Springer <me at m-sp.org>
Date: 2024-01-07 (Sun, 07 Jan 2024)
Changed paths:
M mlir/include/mlir/Dialect/Bufferization/Transforms/BufferUtils.h
M mlir/include/mlir/IR/Dominance.h
Log Message:
-----------
[mlir][IR] `DominanceInfo`: Add function to query dominator of a range of block (#77098)
Also improve the implementation of `findCommonDominator` (skip duplicate
blocks) and extract it from `BufferPlacementTransformationBase` (so that
`BufferPlacementTransformationBase` can be retired eventually).
Commit: 1f9c2ddd8c1c5ff013c1f3b5570a0af0657311a8
https://github.com/llvm/llvm-project/commit/1f9c2ddd8c1c5ff013c1f3b5570a0af0657311a8
Author: Mark de Wever <koraq at xs4all.nl>
Date: 2024-01-07 (Sun, 07 Jan 2024)
Changed paths:
M libcxx/test/libcxx/utilities/expected/expected.expected/transform_error.mandates.verify.cpp
M libcxx/test/libcxx/utilities/expected/expected.void/transform_error.mandates.verify.cpp
Log Message:
-----------
[libc++][test] Improves suspurious clang diagnostics. (#77234)
As suggested by @philnik777 this is a better fix than
02a33b72fd21cdbf476d6bda72faa462e073e510
Fixes: https://github.com/llvm/llvm-project/issues/77123
Commit: 249d2ccb1d8475d3ff4ead9566a83fc0adf476db
https://github.com/llvm/llvm-project/commit/249d2ccb1d8475d3ff4ead9566a83fc0adf476db
Author: Florian Hahn <flo at fhahn.com>
Date: 2024-01-07 (Sun, 07 Jan 2024)
Changed paths:
M llvm/test/Transforms/LoopVectorize/X86/drop-poison-generating-flags.ll
Log Message:
-----------
[LV] Add test showing overly aggressive dropping of inbounds.
As %B.gep.0 executes unconditionally in the latch, inbounds could
be preserved in the vector version.
https://alive2.llvm.org/ce/z/XWbMuD
Commit: 18ec3304a9e4aed25d998180728faaf02236205d
https://github.com/llvm/llvm-project/commit/18ec3304a9e4aed25d998180728faaf02236205d
Author: Florian Hahn <flo at fhahn.com>
Date: 2024-01-07 (Sun, 07 Jan 2024)
Changed paths:
M llvm/lib/Transforms/Vectorize/LoopVectorize.cpp
M llvm/lib/Transforms/Vectorize/VPlan.h
M llvm/lib/Transforms/Vectorize/VPlanRecipes.cpp
M llvm/test/Transforms/LoopVectorize/X86/drop-poison-generating-flags.ll
M llvm/test/Transforms/PhaseOrdering/AArch64/hoisting-sinking-required-for-vectorization.ll
Log Message:
-----------
[VPlan] Manage InBounds via VPRecipeWithIRFlags for VectorPtrRecipe.
As suggested as follow-up in
https://github.com/llvm/llvm-project/pull/72164, manage inbounds via
VPRecipeWithIRFlags.
Note that in some cases we can now preserve inbounds in a few more
cases.
Commit: e497f689236dc2f14f08f09e1af8c2b10820952a
https://github.com/llvm/llvm-project/commit/e497f689236dc2f14f08f09e1af8c2b10820952a
Author: Mark de Wever <koraq at xs4all.nl>
Date: 2024-01-07 (Sun, 07 Jan 2024)
Changed paths:
M libcxx/include/tuple
Log Message:
-----------
[NFC][libc++] Formats tuple.
The fix used macros that confuses clang-format. This is formatted with
clang-format and then excluded from formatting.
Commit: 3e498b3db5bdd6b0e8cbebb1d8ac88a59b4eef7a
https://github.com/llvm/llvm-project/commit/3e498b3db5bdd6b0e8cbebb1d8ac88a59b4eef7a
Author: Mark de Wever <koraq at xs4all.nl>
Date: 2024-01-07 (Sun, 07 Jan 2024)
Changed paths:
M libcxx/docs/ReleaseNotes/18.rst
Log Message:
-----------
[libc++][doc] Minor release notes style fixes.
Commit: 8f76f1816ea63b7cc28e150ba319ffbfe6351f9e
https://github.com/llvm/llvm-project/commit/8f76f1816ea63b7cc28e150ba319ffbfe6351f9e
Author: Joseph Huber <huberjn at outlook.com>
Date: 2024-01-07 (Sun, 07 Jan 2024)
Changed paths:
M clang/test/Driver/linker-wrapper-image.c
Log Message:
-----------
[OpenMP][Obvious] Fix test failing on BE architectures
Summary:
This accidentally included a byte past the magic, which was out of order
on big endian architectures.
Commit: b306a9c9986f254d0aff5eb892da9359e2588f54
https://github.com/llvm/llvm-project/commit/b306a9c9986f254d0aff5eb892da9359e2588f54
Author: natanelh-mobileye <155897558+natanelh-mobileye at users.noreply.github.com>
Date: 2024-01-07 (Sun, 07 Jan 2024)
Changed paths:
M llvm/include/llvm/IR/PatternMatch.h
Log Message:
-----------
[PatternMatch] Fix typo in comment (NFC) (#77240)
Tiny spelling mistake fixup. please review the two lines of code below
to see the correctness of this PR.
Commit: 535d8e8b92e3f8cf4107d9431012310c9a72c8d3
https://github.com/llvm/llvm-project/commit/535d8e8b92e3f8cf4107d9431012310c9a72c8d3
Author: Amara Emerson <amara at apple.com>
Date: 2024-01-07 (Sun, 07 Jan 2024)
Changed paths:
M llvm/include/llvm/CodeGen/SwitchLoweringUtils.h
M llvm/lib/CodeGen/SelectionDAG/SelectionDAGBuilder.cpp
M llvm/lib/CodeGen/SelectionDAG/SelectionDAGBuilder.h
M llvm/lib/CodeGen/SwitchLoweringUtils.cpp
Log Message:
-----------
NFC: Extract switch lowering binary tree splitting code from DAG into SwitchLoweringUtils.
This will help re-use this code with the upcoming GlobalISel implementation of
this optimization.
Commit: 92e243173c09fc78c25814a7d7e392971034f5be
https://github.com/llvm/llvm-project/commit/92e243173c09fc78c25814a7d7e392971034f5be
Author: Hristo Hristov <hristo.goshev.hristov at gmail.com>
Date: 2024-01-07 (Sun, 07 Jan 2024)
Changed paths:
M libcxx/docs/FeatureTestMacroTable.rst
M libcxx/docs/ReleaseNotes/18.rst
M libcxx/docs/Status/Cxx2cPapers.csv
M libcxx/include/fstream
M libcxx/include/version
M libcxx/src/CMakeLists.txt
A libcxx/src/fstream.cpp
A libcxx/test/std/input.output/file.streams/fstreams/filebuf.members/native_handle.assert.pass.cpp
A libcxx/test/std/input.output/file.streams/fstreams/filebuf.members/native_handle.pass.cpp
M libcxx/test/std/input.output/file.streams/fstreams/filebuf/types.pass.cpp
A libcxx/test/std/input.output/file.streams/fstreams/fstream.members/native_handle.assert.pass.cpp
A libcxx/test/std/input.output/file.streams/fstreams/fstream.members/native_handle.pass.cpp
M libcxx/test/std/input.output/file.streams/fstreams/fstream/types.pass.cpp
A libcxx/test/std/input.output/file.streams/fstreams/ifstream.members/native_handle.assert.pass.cpp
A libcxx/test/std/input.output/file.streams/fstreams/ifstream.members/native_handle.pass.cpp
M libcxx/test/std/input.output/file.streams/fstreams/ifstream/types.pass.cpp
A libcxx/test/std/input.output/file.streams/fstreams/native_handle_assert_test_helpers.h
A libcxx/test/std/input.output/file.streams/fstreams/native_handle_test_helpers.h
A libcxx/test/std/input.output/file.streams/fstreams/ofstream.members/native_handle.assert.pass.cpp
A libcxx/test/std/input.output/file.streams/fstreams/ofstream.members/native_handle.pass.cpp
M libcxx/test/std/input.output/file.streams/fstreams/ofstream/types.pass.cpp
M libcxx/test/std/input.output/file.streams/fstreams/types.h
M libcxx/test/std/language.support/support.limits/support.limits.general/fstream.version.compile.pass.cpp
M libcxx/test/std/language.support/support.limits/support.limits.general/version.version.compile.pass.cpp
M libcxx/utils/generate_feature_test_macro_components.py
Log Message:
-----------
Reapply "[libc++][streams] P1759R6: Native handles and file streams" (#77190)
Fixes build on Windows in C++26 mode.
Reverted in:
https://github.com/llvm/llvm-project/commit/40c07b559aa6ab4bac074c943967d3207bc07ae0
Original PR: https://github.com/llvm/llvm-project/pull/76632
---------
Co-authored-by: Zingam <zingam at outlook.com>
Commit: ae7898223ac26b246a2e513ccfdfecea82716170
https://github.com/llvm/llvm-project/commit/ae7898223ac26b246a2e513ccfdfecea82716170
Author: Fangrui Song <i at maskray.me>
Date: 2024-01-07 (Sun, 07 Jan 2024)
Changed paths:
M clang/docs/ReleaseNotes.rst
M clang/test/Driver/linker-wrapper-image.c
M libcxx/docs/FeatureTestMacroTable.rst
M libcxx/docs/ReleaseNotes/18.rst
M libcxx/docs/Status/Cxx2cPapers.csv
M libcxx/include/fstream
M libcxx/include/tuple
M libcxx/include/version
M libcxx/src/CMakeLists.txt
A libcxx/src/fstream.cpp
M libcxx/test/libcxx/utilities/expected/expected.expected/transform_error.mandates.verify.cpp
M libcxx/test/libcxx/utilities/expected/expected.void/transform_error.mandates.verify.cpp
A libcxx/test/std/input.output/file.streams/fstreams/filebuf.members/native_handle.assert.pass.cpp
A libcxx/test/std/input.output/file.streams/fstreams/filebuf.members/native_handle.pass.cpp
M libcxx/test/std/input.output/file.streams/fstreams/filebuf/types.pass.cpp
A libcxx/test/std/input.output/file.streams/fstreams/fstream.members/native_handle.assert.pass.cpp
A libcxx/test/std/input.output/file.streams/fstreams/fstream.members/native_handle.pass.cpp
M libcxx/test/std/input.output/file.streams/fstreams/fstream/types.pass.cpp
A libcxx/test/std/input.output/file.streams/fstreams/ifstream.members/native_handle.assert.pass.cpp
A libcxx/test/std/input.output/file.streams/fstreams/ifstream.members/native_handle.pass.cpp
M libcxx/test/std/input.output/file.streams/fstreams/ifstream/types.pass.cpp
A libcxx/test/std/input.output/file.streams/fstreams/native_handle_assert_test_helpers.h
A libcxx/test/std/input.output/file.streams/fstreams/native_handle_test_helpers.h
A libcxx/test/std/input.output/file.streams/fstreams/ofstream.members/native_handle.assert.pass.cpp
A libcxx/test/std/input.output/file.streams/fstreams/ofstream.members/native_handle.pass.cpp
M libcxx/test/std/input.output/file.streams/fstreams/ofstream/types.pass.cpp
M libcxx/test/std/input.output/file.streams/fstreams/types.h
M libcxx/test/std/language.support/support.limits/support.limits.general/fstream.version.compile.pass.cpp
M libcxx/test/std/language.support/support.limits/support.limits.general/version.version.compile.pass.cpp
M libcxx/utils/generate_feature_test_macro_components.py
M llvm/include/llvm/CodeGen/SwitchLoweringUtils.h
M llvm/include/llvm/IR/PatternMatch.h
M llvm/lib/CodeGen/SelectionDAG/SelectionDAGBuilder.cpp
M llvm/lib/CodeGen/SelectionDAG/SelectionDAGBuilder.h
M llvm/lib/CodeGen/SwitchLoweringUtils.cpp
M llvm/lib/Target/AArch64/AArch64ISelLowering.cpp
M llvm/lib/Target/RISCV/RISCVInsertVSETVLI.cpp
M llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp
M llvm/lib/Transforms/Vectorize/LoopVectorize.cpp
M llvm/lib/Transforms/Vectorize/VPlan.h
M llvm/lib/Transforms/Vectorize/VPlanRecipes.cpp
M llvm/test/CodeGen/AArch64/vecreduce-add.ll
M llvm/test/CodeGen/RISCV/rvv/vsetvli-insert.mir
M llvm/test/Transforms/InstCombine/icmp.ll
M llvm/test/Transforms/LoopVectorize/X86/drop-poison-generating-flags.ll
M llvm/test/Transforms/PhaseOrdering/AArch64/hoisting-sinking-required-for-vectorization.ll
A mlir/include/mlir/Analysis/Presburger/Barvinok.h
M mlir/include/mlir/Analysis/Presburger/GeneratingFunction.h
M mlir/include/mlir/Analysis/Presburger/IntegerRelation.h
M mlir/include/mlir/Dialect/Bufferization/Transforms/BufferUtils.h
M mlir/include/mlir/IR/Dominance.h
M mlir/include/mlir/Interfaces/ControlFlowInterfaces.td
A mlir/lib/Analysis/Presburger/Barvinok.cpp
M mlir/lib/Analysis/Presburger/CMakeLists.txt
M mlir/lib/Analysis/Presburger/IntegerRelation.cpp
M mlir/lib/Dialect/Bufferization/Transforms/BufferOptimizations.cpp
M mlir/lib/Dialect/Bufferization/Transforms/BufferUtils.cpp
M mlir/lib/Interfaces/ControlFlowInterfaces.cpp
A mlir/unittests/Analysis/Presburger/BarvinokTest.cpp
M mlir/unittests/Analysis/Presburger/CMakeLists.txt
M mlir/unittests/Analysis/Presburger/GeneratingFunctionTest.cpp
M mlir/unittests/Analysis/Presburger/IntegerRelationTest.cpp
Log Message:
-----------
Test spr diff with a clean repo https://discourse.llvm.org/t/using-getcord-spr/76097
Created using spr 1.3.4
Compare: https://github.com/llvm/llvm-project/compare/af33fcdf5a46...ae7898223ac2
More information about the All-commits
mailing list