[Cranelift] add simplification rules

[myunbin]

This PR adds several simplification rules:

arithmetic.isle

• min/max(x,x) --> x
• max(max(x, y), x) --> max(x, y)
• min(min(x, y), x) --> min(x, y)
• min(max(x, y), y) --> y ; max(min(x, y), y) --> y
• min(min(x, y), max(x, y)) --> min(x,y)
• max(min(x, y), max(x, y)) --> max(x, y)
• x > max(x, y) --> 0

[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.