diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-10-31 17:20:36 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-11-07 22:53:05 +0100 |
| commit | 467fce3048571227e49beee068f783fb1c76a1e7 (patch) | |
| tree | f00a14248b0c6dd4066149efba9454b7f724144f /validation/arch | |
| parent | c25293e689b0b408c6228676536e928e4f042dfe (diff) | |
| download | sparse-dev-467fce3048571227e49beee068f783fb1c76a1e7.tar.gz | |
simplify SEL(x == y, x, y) and friends
If the condition of a select instruction is a equality test of the
select's operands, then the result of the select is always the same as
its second operand. Same for the first operand with an inequality test.
Simplify away these selects.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/arch')
0 files changed, 0 insertions, 0 deletions