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 | |
| 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')
| -rw-r--r-- | validation/optim/and-or-bfs.c | 1 | ||||
| -rw-r--r-- | validation/optim/and-or-bfu.c | 1 | ||||
| -rw-r--r-- | validation/optim/bitfield-store-loads.c | 1 | ||||
| -rw-r--r-- | validation/optim/bitfield-store-loadu.c | 1 |
4 files changed, 0 insertions, 4 deletions
diff --git a/validation/optim/and-or-bfs.c b/validation/optim/and-or-bfs.c index e08b816e..f3f33204 100644 --- a/validation/optim/and-or-bfs.c +++ b/validation/optim/and-or-bfs.c @@ -12,7 +12,6 @@ int bfs(struct s s, int a) /* * check-name: and-or-bfs * check-command: test-linearize -Wno-decl $file - * check-known-to-fail * * check-output-ignore * check-output-pattern(1): trunc\\. 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\\. diff --git a/validation/optim/bitfield-store-loads.c b/validation/optim/bitfield-store-loads.c index 99a0a03a..dc625131 100644 --- a/validation/optim/bitfield-store-loads.c +++ b/validation/optim/bitfield-store-loads.c @@ -12,7 +12,6 @@ int foo(struct s s, int a) /* * check-name: bitfield-store-load signed * check-command: test-linearize -Wno-decl $file - * check-known-to-fail * * check-output-ignore * check-output-excludes: shl\\. diff --git a/validation/optim/bitfield-store-loadu.c b/validation/optim/bitfield-store-loadu.c index 4c289504..7fa1593d 100644 --- a/validation/optim/bitfield-store-loadu.c +++ b/validation/optim/bitfield-store-loadu.c @@ -12,7 +12,6 @@ int foo(struct s s, int a) /* * check-name: bitfield-store-load unsigned * check-command: test-linearize -Wno-decl $file - * check-known-to-fail * * check-output-ignore * check-output-excludes: shl\\. |