diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-08-24 08:20:41 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-08-24 08:20:41 +0200 |
| commit | dc49365a8026fad63297ffde53ca72e4252f4959 (patch) | |
| tree | df4cd43fec83ee0c312d005d5fb9cf32049d3582 /validation/optim/and-or-bfu.c | |
| parent | 24e2b3800cc5451a509b53e8120f0e009da6f582 (diff) | |
| parent | 1d78043467a769ccf2d81d55f898fb37f158b14f (diff) | |
| download | sparse-dev-dc49365a8026fad63297ffde53ca72e4252f4959.tar.gz | |
Merge branches 'optim-trunc-or' and 'optim-mask-shift-or' into tip
* simplify TRUNC((x & M') | y, N)
* simplify AND(SHIFT(a | b, S), M)
* simplify TRUNC(SHIFT(a | b, S), N)
Diffstat (limited to 'validation/optim/and-or-bfu.c')
| -rw-r--r-- | validation/optim/and-or-bfu.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/validation/optim/and-or-bfu.c b/validation/optim/and-or-bfu.c index c9dcfc33..b6a080bd 100644 --- a/validation/optim/and-or-bfu.c +++ b/validation/optim/and-or-bfu.c @@ -12,7 +12,6 @@ int bfu(struct u s, int a) /* * check-name: and-or-bfu * check-command: test-linearize -Wno-decl $file - * check-known-to-fail * * check-output-ignore * check-output-pattern(1): and\\. |