diff options
Diffstat (limited to 'tests/20optimizer_optimizations/nor2')
-rw-r--r-- | tests/20optimizer_optimizations/nor2 | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/tests/20optimizer_optimizations/nor2 b/tests/20optimizer_optimizations/nor2 new file mode 100644 index 0000000..1610185 --- /dev/null +++ b/tests/20optimizer_optimizations/nor2 @@ -0,0 +1,7 @@ +T=d ld f mf li gi cd cf cld +V=x,y +R=0,1,1 +F=!x & !y +C=fp_and(fp_not(x),fp_not(y)) + +# Expected result: !(x | y) hence NOR |