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

Ryotaro Kasuga via llvm-commits llvm-commits at lists.llvm.org
Thu Jul 16 03:17:45 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 ]

kasuga-fj wrote:

> The mathematical proof of WideBits' size is on the way, I will upload it tonight or tomorrow.

I don't think you need such a formal proof. Just remaining some inline comment about the calculation of `WIdeBits` would be enough.

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