This is an archive of the discontinued LLVM Phabricator instance.

[InstCombine] Add baseline tests for nsw/nuw (NFC)
ClosedPublic

Authored by emgullufsen on Apr 4 2023, 1:19 PM.

Details

Summary

nsw/nuw flags are currently not preserved when canonicalizing,
adding baseline tests here and subsequent patch will fix.
Alive2 verification for add,or -> or,add where add has nsw flag

Diff Detail

Event Timeline

emgullufsen created this revision.Apr 4 2023, 1:19 PM
Herald added a project: Restricted Project. · View Herald TranscriptApr 4 2023, 1:19 PM
Herald added a subscriber: StephenFan. · View Herald Transcript
emgullufsen requested review of this revision.Apr 4 2023, 1:19 PM
Herald added a project: Restricted Project. · View Herald TranscriptApr 4 2023, 1:19 PM
emgullufsen set the repository for this revision to rG LLVM Github Monorepo.Apr 4 2023, 1:49 PM
nikic accepted this revision.Apr 5 2023, 5:55 AM
nikic added a subscriber: nikic.

LGTM

This revision is now accepted and ready to land.Apr 5 2023, 5:55 AM
This revision was automatically updated to reflect the committed changes.