return (lhs != rhs);
}
+// ----
+
sv_sreg_t sv_proc_t::sv_reg_to_sreg(sv_reg_t const& v)
{
uint64_t x = v;
return sv_reg_t((uint64_t)x);
}
+// ----
+
sv_float32_t (sv_proc_t::f32)(sv_freg_t x)
{
switch (x.get_elwidth())
return ::f64(x);
}
+sv_float128_t sv_proc_t::f128( float128_t a)
+{
+ return ::f128(a);
+}
+
+// ----
+
sv_reg_t (sv_proc_t::f32_classify)(sv_float32_t a)
{
return sv_reg_t(::f32_classify(a));
return ::f32_to_f128(a);
}
-sv_float128_t sv_proc_t::f128( float128_t a)
-{
- return ::f128(a);
-}
-
sv_float128_t sv_proc_t::f64_to_f128( sv_float64_t a)
{
return ::f64_to_f128(a);