en Copyright 2015 Java http://src.rcs.uwaterloo.ca:8080/source/history/llvm-project/llvm/test/Transforms/PhaseOrdering/AArch64/quant_4x4.ll#29441e4f5fa5f5c7709f7cf180815ba97f611297 [IR] Convert from nocapture to captures(none) (#123181)This PR removes the old `nocapture` attribute, replacing it with the new `captures` attribute introduced in #116990. This change is intended to be essentially NFC, replacing existing uses of `nocapture` with `captures(none)` without adding any new analysis capabilities. Making use of non-`none` values is left for a followup. Some notes: * `nocapture` will be upgraded to `captures(none)` by the bitcode reader. * `nocapture` will also be upgraded by the textual IR reader. This is to make it easier to use old IR files and somewhat reduce the test churn in this PR. * Helper APIs like `doesNotCapture()` will check for `captures(none)`. * MLIR import will convert `captures(none)` into an `llvm.nocapture` attribute. The representation in the LLVM IR dialect should be updated separately. List of files: /llvm-project/llvm/test/Transforms/PhaseOrdering/AArch64/quant_4x4.ll Wed, 29 Jan 2025 15:56:47 +0000 Nikita Popov <npopov@redhat.com> http://src.rcs.uwaterloo.ca:8080/source/history/llvm-project/llvm/test/Transforms/PhaseOrdering/AArch64/quant_4x4.ll#462cb3cd6cecd0511ecaf0e3ebcaba455ece587d [InstCombine] Infer nusw + nneg -> nuw for getelementptr (#111144)If the gep is nusw (usually via inbounds) and the offset is non-negative, we can infer nuw. Proof: https://alive2.llvm.org/ce/z/ihztLy List of files: /llvm-project/llvm/test/Transforms/PhaseOrdering/AArch64/quant_4x4.ll Thu, 05 Dec 2024 13:36:40 +0000 Nikita Popov <npopov@redhat.com> http://src.rcs.uwaterloo.ca:8080/source/history/llvm-project/llvm/test/Transforms/PhaseOrdering/AArch64/quant_4x4.ll#38fffa630ee80163dc65e759392ad29798905679 [LLVM][IR] Use splat syntax when printing Constant[Data]Vector. (#112548) List of files: /llvm-project/llvm/test/Transforms/PhaseOrdering/AArch64/quant_4x4.ll Wed, 06 Nov 2024 11:53:33 +0000 Paul Walker <paul.walker@arm.com> http://src.rcs.uwaterloo.ca:8080/source/history/llvm-project/llvm/test/Transforms/PhaseOrdering/AArch64/quant_4x4.ll#a105877646d68e48cdeeeadd9d1e075dc3c5d68d [InstCombine] Remove some of the complexity-based canonicalization (#91185)The idea behind this canonicalization is that it allows us to handle less patterns, because we know that some will be canonicalized away. This is indeed very useful to e.g. know that constants are always on the right. However, this is only useful if the canonicalization is actually reliable. This is the case for constants, but not for arguments: Moving these to the right makes it look like the "more complex" expression is guaranteed to be on the left, but this is not actually the case in practice. It fails as soon as you replace the argument with another instruction. The end result is that it looks like things correctly work in tests, while they actually don't. We use the "thwart complexity-based canonicalization" trick to handle this in tests, but it's often a challenge for new contributors to get this right, and based on the regressions this PR originally exposed, we clearly don't get this right in many cases. For this reason, I think that it's better to remove this complexity canonicalization. It will make it much easier to write tests for commuted cases and make sure that they are handled. List of files: /llvm-project/llvm/test/Transforms/PhaseOrdering/AArch64/quant_4x4.ll Wed, 21 Aug 2024 10:02:54 +0000 Nikita Popov <npopov@redhat.com> http://src.rcs.uwaterloo.ca:8080/source/history/llvm-project/llvm/test/Transforms/PhaseOrdering/AArch64/quant_4x4.ll#93de97d750548cd90c53efd4367dbd0367aa30fd [SCCP] Swap out range metadata to range attribute (#90134)Also moved the range from the function's call sites to the functions return value as that is possible now. List of files: /llvm-project/llvm/test/Transforms/PhaseOrdering/AArch64/quant_4x4.ll Fri, 26 Apr 2024 02:04:47 +0000 Andreas Jonson <andjo403@hotmail.com> http://src.rcs.uwaterloo.ca:8080/source/history/llvm-project/llvm/test/Transforms/PhaseOrdering/AArch64/quant_4x4.ll#b1094776152b68efa05f69b7b833f9cbc0727efc [InstCombine] Infer nsw/nuw for trunc (#87910)This patch adds support for inferring trunc's nsw/nuw flags. List of files: /llvm-project/llvm/test/Transforms/PhaseOrdering/AArch64/quant_4x4.ll Thu, 11 Apr 2024 11:10:53 +0000 Yingwei Zheng <dtcxzyw2333@gmail.com> http://src.rcs.uwaterloo.ca:8080/source/history/llvm-project/llvm/test/Transforms/PhaseOrdering/AArch64/quant_4x4.ll#c1c5b854adc9414ee3d8c55ddd07bdb4cc5b7171 [LV] Remove loop trip count threshold for deciding whether to interleave a loop (#67725)A set of microbenchmarks (https://github.com/llvm/llvm-test-suite/pull/26) showed that loop interleaving can be beneficial for loops with low trip count as well. Loop interleaving count computation is updated accordingly in prior patches while this patch removes the loop trip count threshold for interleaving. List of files: /llvm-project/llvm/test/Transforms/PhaseOrdering/AArch64/quant_4x4.ll Tue, 06 Feb 2024 01:23:58 +0000 Nilanjana Basu <n_basu@apple.com> http://src.rcs.uwaterloo.ca:8080/source/history/llvm-project/llvm/test/Transforms/PhaseOrdering/AArch64/quant_4x4.ll#90ba33099cbb17e7c159e9ebc5a512037db99d6d [InstCombine] Canonicalize constant GEPs to i8 source element type (#68882)This patch canonicalizes getelementptr instructions with constant indices to use the `i8` source element type. This makes it easier for optimizations to recognize that two GEPs are identical, because they don't need to see past many different ways to express the same offset. This is a first step towards https://discourse.llvm.org/t/rfc-replacing-getelementptr-with-ptradd/68699. This is limited to constant GEPs only for now, as they have a clear canonical form, while we're not yet sure how exactly to deal with variable indices. The test llvm/test/Transforms/PhaseOrdering/switch_with_geps.ll gives two representative examples of the kind of optimization improvement we expect from this change. In the first test SimplifyCFG can now realize that all switch branches are actually the same. In the second test it can convert it into simple arithmetic. These are representative of common optimization failures we see in Rust. Fixes https://github.com/llvm/llvm-project/issues/69841. List of files: /llvm-project/llvm/test/Transforms/PhaseOrdering/AArch64/quant_4x4.ll Wed, 24 Jan 2024 14:25:29 +0000 Nikita Popov <npopov@redhat.com> http://src.rcs.uwaterloo.ca:8080/source/history/llvm-project/llvm/test/Transforms/PhaseOrdering/AArch64/quant_4x4.ll#b92711931daf45426a23c082c732ddfbf6d02814 [PhaseOrdering] Add test for quant_4x4 vectorization (NFC)Failure to vectorize this led to a revert of D156532, so adda PhaseOrdering test to prevent this from happening again. List of files: /llvm-project/llvm/test/Transforms/PhaseOrdering/AArch64/quant_4x4.ll Tue, 08 Aug 2023 15:34:54 +0000 Nikita Popov <npopov@redhat.com>