diff options
Diffstat (limited to 'tests/20optimizer_optimizations/mulnor2plus')
| -rw-r--r-- | tests/20optimizer_optimizations/mulnor2plus | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/tests/20optimizer_optimizations/mulnor2plus b/tests/20optimizer_optimizations/mulnor2plus new file mode 100644 index 0000000..f4ee408 --- /dev/null +++ b/tests/20optimizer_optimizations/mulnor2plus @@ -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) * z + +# Expected result: z * !(x | y) hence NOR |