tests/20optimizer_optimizations/gt0_abs


1
2
3
4
5
6
7
8
9
10
11

T=d f ld li cd cf cld
V=x
R=-1,1,1
F=(abs(x) > if(1,0,0)) + \
  2*(if(1,0,0) < abs(x)) + \
  4*(abs(x) < if(1,0,0)) + \
  8*(if(1,0,0) > abs(x))
C=fp_greater(fp_abs(x), 0) + \
  2*fp_less(0, fp_abs(x)) + \
  4*fp_less(fp_abs(x), 0) + \
  8*fp_greater(0, fp_abs(x))