[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