[PATCH] D144840: [ConstraintElimination] Add tests to check for type bounds optimisation from zext instructions

[Zain Jaffal via Phabricator via llvm-commits]

zjaffal updated this revision to Diff 500795.
zjaffal added a comment.

Add additional tests where we don't have the inital condition for the function argument. The entry check is 
unecessary because the typebounds can be optimised if the constraint system already contained the function 
arguemnts.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D144840/new/

https://reviews.llvm.org/D144840

Files:
  llvm/test/Transforms/ConstraintElimination/type-bounds.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D144840.500795.patch
Type: text/x-patch
Size: 14012 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20230227/6eb32b38/attachment.bin>