[llvm] [DA] Rewrite BanerjeeMIV test with safe APInt interval arithmetic (PR #207662)

Ruoyu Qiu via llvm-commits llvm-commits at lists.llvm.org
Thu Jul 16 03:11:06 PDT 2026

Previous message: [llvm] [DA] Rewrite BanerjeeMIV test with safe APInt interval arithmetic (PR #207662)
Next message: [llvm] [DA] Rewrite BanerjeeMIV test with safe APInt interval arithmetic (PR #207662)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

cabbaken wrote:

The mathematical proof of WideBits' size is on the way.

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

Previous message: [llvm] [DA] Rewrite BanerjeeMIV test with safe APInt interval arithmetic (PR #207662)
Next message: [llvm] [DA] Rewrite BanerjeeMIV test with safe APInt interval arithmetic (PR #207662)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list