nand2 « 20optimizer_optimizations « tests - fparserc++ - Debian dgit repo for package fparserc++

summary refs log tree commit diff

path: root/tests/20optimizer_optimizations/nand2

blob: 1346b09a88b75e07f2543de12618a20fb321893e (plain)

T=d ld f mf li gi cd cf cld
V=x,y
R=0,1,1
F=!x | !y
C=fp_or(fp_not(x),fp_not(y))

# Expected result: !(x & y)   hence NAND