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
- Repository
- rG LLVM Github Monorepo