[llvm] [InstCombine] Canonicalise SextADD + GEP (PR #69581)

via llvm-commits llvm-commits at lists.llvm.org
Thu Oct 19 10:46:11 PDT 2023

Previous message: [llvm] [InstCombine] Canonicalise SextADD + GEP (PR #69581)
Next message: [llvm] [InstCombine] Canonicalise SextADD + GEP (PR #69581)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

goldsteinn wrote:

Can you add alive2 proof?

https://github.com/llvm/llvm-project/pull/69581

Previous message: [llvm] [InstCombine] Canonicalise SextADD + GEP (PR #69581)
Next message: [llvm] [InstCombine] Canonicalise SextADD + GEP (PR #69581)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list