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

summary refs log tree commit diff

path: root/tests/20optimizer_optimizations/absneq0

blob: bec8155f24ad63b2323c66cc86e902bb48c7ccf9 (plain)

T=d li cd
V=x
R=0,1,1
F=(abs(x)=if(1,0,1)) + (if(1,0,1)=abs(x))
C=fp_equal(fp_abs(x),0) + fp_equal(0,fp_abs(x))