[clang] [clang][CodeGen] Add range metadata for atomic load of boolean type. #131476 (PR #133546)

[Eli Friedman via cfe-commits]

Jan =?utf-8?q?Górski?= <jan.a.gorski at wp.pl>,
Jan =?utf-8?q?Górski?= <jan.a.gorski at wp.pl>,
Jan =?utf-8?q?Górski?= <jan.a.gorski at wp.pl>,
Jan =?utf-8?q?Górski?= <jan.a.gorski at wp.pl>,
Jan =?utf-8?q?Górski?= <jan.a.gorski at wp.pl>
Message-ID:
In-Reply-To: <llvm.org/llvm/llvm-project/pull/133546 at github.com>


efriedma-quic wrote:

I don't really understand what the new version of the patch is doing... instcombine can infer `nuw` on `trunc` if the operand has range metadata.  There isn't any reason to duplicate that code.

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