diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-11-07 20:26:15 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-11-08 02:31:18 +0100 |
| commit | b5bbdc9c3835b62c1e67bbd1b69017bb07f57823 (patch) | |
| tree | c88fb0f11177072dfa8d93ab3a7a0109e1010122 /validation/optim/select-self-zero.c | |
| parent | 29c405153720add05185351a13dcc68a5f39d3ff (diff) | |
| download | sparse-dev-b5bbdc9c3835b62c1e67bbd1b69017bb07f57823.tar.gz | |
select: simplify select(x, x, 0) --> x
The dual simplification select(x, 0, x) --> 0 was already
done but this one was forgotten, so add it now.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/optim/select-self-zero.c')
| -rw-r--r-- | validation/optim/select-self-zero.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/validation/optim/select-self-zero.c b/validation/optim/select-self-zero.c index ea309894..73b3a3dc 100644 --- a/validation/optim/select-self-zero.c +++ b/validation/optim/select-self-zero.c @@ -1,4 +1,5 @@ int sel_self0x(int x) { return (x ? 0 : x) == 0; } +int sel_selfx0(int x) { return (x ? x : 0) == x; } /* * check-name: select-self-zero |