[llvm] [IR] Add zext nneg flag (PR #67982)
Nikita Popov via llvm-commits
llvm-commits at lists.llvm.org
Tue Oct 10 01:16:48 PDT 2023
================
@@ -11156,6 +11156,9 @@ until it reaches the size of the destination type, ``ty2``.
When zero extending from i1, the result will always be either 0 or 1.
+If the ``nneg`` flag is set, and the ``zext`` argument is negative, the result
----------------
nikic wrote:
Done! (I dropped the "semantically equivalent" bit because it's a refinement, not an equivalence.)
https://github.com/llvm/llvm-project/pull/67982
More information about the llvm-commits
mailing list