diff --git a/eval_tree.cc b/eval_tree.cc index c088e20fe..50fdaf02b 100644 --- a/eval_tree.cc +++ b/eval_tree.cc @@ -472,19 +472,6 @@ NetEConst* NetEBComp::eval_gt_() return tmp; } - /* Compare with a real value. Do it as double precision. */ - if (right_->expr_type() == IVL_VT_REAL) { - NetECReal*tmp = dynamic_cast(right_); - if (tmp == 0) - return 0; - - double rr = tmp->value().as_double(); - double ll = lv.has_sign()? lv.as_long() : lv.as_ulong(); - - verinum result ((ll > rr)? verinum::V1 : verinum::V0, 1, true); - return new NetEConst(result); - } - /* Now go on to the normal test of the values. */ NetEConst*r = dynamic_cast(right_); if (r == 0) return 0; @@ -523,19 +510,6 @@ NetEConst* NetEBComp::eval_gteq_() return tmp; } - /* Compare with a real value. Do it as double precision. */ - if (right_->expr_type() == IVL_VT_REAL) { - NetECReal*tmp = dynamic_cast(right_); - if (tmp == 0) - return 0; - - double rr = tmp->value().as_double(); - double ll = lv.has_sign()? lv.as_long() : lv.as_ulong(); - - verinum result ((ll >= rr)? verinum::V1 : verinum::V0, 1, true); - return new NetEConst(result); - } - /* Now go on to the normal test of the values. */ NetEConst*r = dynamic_cast(right_); if (r == 0) return 0;