[polly] [InstCombine] Canonicalise SextADD + GEP (PR #69581)
via llvm-commits
llvm-commits at lists.llvm.org
Thu Oct 19 23:16:50 PDT 2023
LiqinWeng wrote:
> Can you add alive2 proof?
Alive2: https://alive2.llvm.org/ce/z/VYoq5-
https://github.com/llvm/llvm-project/pull/69581
More information about the llvm-commits
mailing list