[InstSimplify] Teach decomposeBitTestICmp to handle non-canonical compares
ClosedPublic

Authored by craig.topper on Sat, Aug 12, 1:04 PM.

Details

Summary

This adds support non-canonical compare predicates. InstSimplify can't rely on canonicalization to have occurred.

Diff Detail

Repository
rL LLVM

Make sure I'm seeing this correctly: this patch should contain additional tests for ule/uge; ult/ugt should be added to the step before this (D36593)?

Agreed. I'll go back and add the ugt and ult tests to the previous patch.

Add test changes for uge and ule.

spatel accepted this revision.Mon, Aug 14, 3:06 PM

LGTM.

This revision is now accepted and ready to land.Mon, Aug 14, 3:06 PM
This revision was automatically updated to reflect the committed changes.