[llvm-bugs] [Bug 38021] [ValueTracking] try harder to find 'nuw'

[via llvm-bugs]

https://bugs.llvm.org/show_bug.cgi?id=38021

Simon Pilgrim <llvm-dev at redking.me.uk> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |FIXED

--- Comment #1 from Simon Pilgrim <llvm-dev at redking.me.uk> ---
Fixed in trunk - test case added at a7dc71130ffb41195e2efac2221692875144c18f

define i8 @no_overflow(i8 %x) {
  %clear_top_3_bits = lshr i8 %x, 3
  %add = add nuw nsw i8 %clear_top_3_bits, -63
  ret i8 %add
}

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20210816/54b95152/attachment.html>