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
Details
Details
Diff Detail
Diff Detail
Paths 
  |  Differential  D147566  
[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, 
Diff Detail Event Timelineemgullufsen added a child revision: D147568: [InstCombine] Preserve nsw/nuw flags in canonicalization.Apr 4 2023, 1:27 PM This revision is now accepted and ready to land.Apr 5 2023, 5:55 AM Closed by commit rGe63902128f88: [InstCombine] Add baseline tests for nsw/nuw (NFC) (authored by emgullufsen).  ·  Explain WhyApr 5 2023, 7:13 AM This revision was automatically updated to reflect the committed changes. 
Revision Contents 
 
 
Diff 510908 llvm/test/Transforms/InstCombine/and-xor-or.ll
  | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||