Cranelift: add simplification rules

[myunbin]

Add simplification rules:

• -C --> (compile time) -C
• -(X * C) = X * (-C)
• x >=_u (x & y), and (x & y) <=_u x --> true
• (x | y) >=_u x, and x <=_u (x | y) --> true
• x >=_u (x - y) --> x >=_u y
• x >=_u (x >>_u y) --> true

[github-actions]

Subscribe to Label Action

cc @cfallin, @fitzgen

Details

This issue or pull request has been labeled: "cranelift", "isle"

Thus the following users have been cc'd because of the following labels:

• cfallin: isle
• fitzgen: isle

To subscribe or unsubscribe from this label, edit the .github/subscribe-to-label.json configuration file.

Learn more.