roland/xo-alloc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

xo-numeric: streamline using Numeirc::dispatch aux fn

Browse source
This commit is contained in:
Roland Conybeare 2026-02-23 07:04:13 +11:00
commit fdad923183
1 changed files with 40 additions and 22 deletions
Download patch file Download diff file Expand all files Collapse all files

62
src/numeric/NumericDispatch.cpp
View file

@ -54,6 +54,13 @@ namespace xo {
obj<AGCObject> x, obj<AGCObject> x,
obj<AGCObject> y) obj<AGCObject> y)
{ {
return dispatch(rcx,
"NumericDispatch::multiply",
"incomparable types in x*y",
&AnonymizedNumericOps::multiply_,
x, y);
#ifdef OBSOLETE
KeyType key(x._typeseq(), y._typeseq()); KeyType key(x._typeseq(), y._typeseq());
auto target_fn auto target_fn
@ -63,6 +70,7 @@ namespace xo {
assert(false); assert(false);
return (*target_fn)(rcx, x.data(), y.data()); return (*target_fn)(rcx, x.data(), y.data());
#endif
} }
obj<AGCObject> obj<AGCObject>
@ -70,6 +78,13 @@ namespace xo {
obj<AGCObject> x, obj<AGCObject> x,
obj<AGCObject> y) obj<AGCObject> y)
{ {
return dispatch(rcx,
"NumericDispatch::divide",
"incomparable types in x/y",
&AnonymizedNumericOps::divide_,
x, y);
#ifdef OBSOLETE
KeyType key(x._typeseq(), y._typeseq()); KeyType key(x._typeseq(), y._typeseq());
auto target_fn auto target_fn
@ -79,6 +94,7 @@ namespace xo {
assert(false); assert(false);
return (*target_fn)(rcx, x.data(), y.data()); return (*target_fn)(rcx, x.data(), y.data());
#endif
} }
obj<AGCObject> obj<AGCObject>
@ -86,6 +102,13 @@ namespace xo {
obj<AGCObject> x, obj<AGCObject> x,
obj<AGCObject> y) obj<AGCObject> y)
{ {
return dispatch(rcx,
"NumericDispatch::add",
"incomparable types in x+y",
&AnonymizedNumericOps::add_,
x, y);
#ifdef OBSOLETE
KeyType key(x._typeseq(), y._typeseq()); KeyType key(x._typeseq(), y._typeseq());
auto target_fn auto target_fn
@ -95,6 +118,7 @@ namespace xo {
assert(false); assert(false);
return (*target_fn)(rcx, x.data(), y.data()); return (*target_fn)(rcx, x.data(), y.data());
#endif
} }
obj<AGCObject> obj<AGCObject>
@ -102,6 +126,13 @@ namespace xo {
obj<AGCObject> x, obj<AGCObject> x,
obj<AGCObject> y) obj<AGCObject> y)
{ {
return dispatch(rcx,
"NumericDispatch::subtract",
"incomparable types in x-y",
&AnonymizedNumericOps::subtract_,
x, y);
#ifdef OBSOLETE
KeyType key(x._typeseq(), y._typeseq()); KeyType key(x._typeseq(), y._typeseq());
auto target_fn auto target_fn
@ -111,6 +142,7 @@ namespace xo {
assert(false); assert(false);
return (*target_fn)(rcx, x.data(), y.data()); return (*target_fn)(rcx, x.data(), y.data());
#endif
} }
obj<AGCObject> obj<AGCObject>
@ -118,6 +150,13 @@ namespace xo {
obj<AGCObject> x, obj<AGCObject> x,
obj<AGCObject> y) obj<AGCObject> y)
{ {
return dispatch(rcx,
"NumericDispatch::cmp_equal",
"incomparable types in x==y",
&AnonymizedNumericOps::cmpeq_,
x, y);
#ifdef OBSOLETE
KeyType key(x._typeseq(), y._typeseq()); KeyType key(x._typeseq(), y._typeseq());
auto target_fn auto target_fn
@ -137,6 +176,7 @@ namespace xo {
} }
return (*target_fn)(rcx, x.data(), y.data()); return (*target_fn)(rcx, x.data(), y.data());
#endif
} }
obj<AGCObject> obj<AGCObject>
@ -149,28 +189,6 @@ namespace xo {
"incomparable types in x!=y", "incomparable types in x!=y",
&AnonymizedNumericOps::cmpne_, &AnonymizedNumericOps::cmpne_,
x, y); x, y);
#ifdef OBSOLETE
KeyType key(x._typeseq(), y._typeseq());
auto target_fn
= NumericDispatch::instance().dispatch_[key].cmpne_;
if (!target_fn) {
// FIXME: use {fmt} here
std::stringstream ss;
tosn(ss,
"incomparable types in x==y",
xtag("x.type", TypeRegistry::id2name(x._typeseq())),
xtag("y.type", TypeRegistry::id2name(y._typeseq())));
return DRuntimeError::make(rcx.allocator(),
"NumericDispatch::cmp_notequal",
ss.str().c_str());
}
return (*target_fn)(rcx, x.data(), y.data());
#endif
} }
} /*namespace scm*/ } /*namespace scm*/