[llvm] [InstCombine] Fix UB in align-assume check (PR #201985)
Sudharsan Veeravalli via llvm-commits
llvm-commits at lists.llvm.org
Fri Jun 5 21:19:38 PDT 2026
================
@@ -210,6 +210,19 @@ define ptr @assume_align_16_via_align_metadata(ptr %p) {
ret ptr %p2
}
+define ptr @assume_align_6_via_align_metadata(ptr %p) {
----------------
svs-quic wrote:
This test was initially added to test` Log2_64_Ceil` so that `RK.ArgValue` values that are not a pow-of-2 are handled. I now notice that we have a `!isPowerOf2_64(RK.ArgValue)` on line `3676` so the values will always be a pow-of-2. Removing the test.
https://github.com/llvm/llvm-project/pull/201985
More information about the llvm-commits
mailing list