diff options
author | Ruben Undheim <ruben.undheim@gmail.com> | 2018-08-25 21:08:35 +0200 |
---|---|---|
committer | Ruben Undheim <ruben.undheim@gmail.com> | 2018-08-25 21:08:35 +0200 |
commit | 8f8b19149d0136d58f0ebc6928fe7cbd376ef8bc (patch) | |
tree | 587ac9c23581f81a9bc8e21a7ba8019fa0c4c696 /tests/20optimizer_optimizations/mulnor3 |
Import fparserc++_4.5.2.orig.tar.gz
[dgit import orig fparserc++_4.5.2.orig.tar.gz]
Diffstat (limited to 'tests/20optimizer_optimizations/mulnor3')
-rw-r--r-- | tests/20optimizer_optimizations/mulnor3 | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/tests/20optimizer_optimizations/mulnor3 b/tests/20optimizer_optimizations/mulnor3 new file mode 100644 index 0000000..ef7c83d --- /dev/null +++ b/tests/20optimizer_optimizations/mulnor3 @@ -0,0 +1,7 @@ +T=d ld f mf cd cf cld +V=x,y,z +R=-1,1,0.5 +F=!x * !y * !z +C=fp_not(x) * fp_not(y) * fp_not(z) + +# Expected result: !(x | y | z) hence NOR |