Skip to content
GitLab
Commit aa7f8200 authored by Noah Goldstein's avatar Noah Goldstein
Browse files

[IR] Add helpers for `NUWAddLike` and `NSWAddLike` to also match `or disjoint`; NFC 

`or disjoint` implies `add nuw nsw`: https://alive2.llvm.org/ce/z/VABhDA
parent 32185706
Hide whitespace changes
Inline Side-by-side
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment