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

xo-procedure2: add apply_nocheck() utest on gco multiply

Browse source
This commit is contained in:
Roland Conybeare 2026-01-26 17:08:25 -05:00
commit c5a782d01c
2 changed files with 84 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

82
utest/DPrimitive.test.cpp
View file

@ -5,10 +5,29 @@
#include <xo/procedure2/init_procedure2.hpp>
#include <xo/procedure2/init_primitives.hpp>
#include <xo/procedure2/DSimpleRcx.hpp>
#include <xo/procedure2/detail/IRuntimeContext_DSimpleRcx.hpp>
#include <xo/object2/DFloat.hpp>
#include <xo/object2/DInteger.hpp>
#include <xo/object2/DArray.hpp>
#include <xo/object2/number/IGCObject_DFloat.hpp>
#include <xo/object2/number/IGCObject_DInteger.hpp>
#include <xo/alloc2/arena/IAllocator_DArena.hpp>
#include <catch2/catch.hpp>
namespace xo {
using xo::scm::Primitives;
using xo::scm::DSimpleRcx;
using xo::scm::ARuntimeContext;
using xo::scm::DFloat;
using xo::scm::DInteger;
using xo::scm::DArray;
using xo::mm::AAllocator;
using xo::mm::AGCObject;
using xo::mm::DArena;
using xo::mm::ArenaConfig;
using xo::facet::with_facet;
using xo::facet::obj;
namespace ut {
static InitEvidence s_init = InitSubsys<S_procedure2_tag>::require();
@ -29,6 +48,69 @@ namespace xo {
REQUIRE(Primitives::s_mul_gco_gco_pm.is_nary() == false);
}
TEST_CASE("DPrimitive-apply_nocheck-float-float", "[procedure2][DPrimitive]")
{
ArenaConfig cfg { .name_ = "testarena", .size_ = 4*1024 };
DArena arena = DArena::map(cfg);
auto alloc = with_facet<AAllocator>::mkobj(&arena);
DSimpleRcx rcx_data(alloc);
obj<ARuntimeContext> rcx = with_facet<ARuntimeContext>::mkobj(&rcx_data);
// 3.0 * 7.0 = 21.0
obj<AGCObject> x = DFloat::box<AGCObject>(alloc, 3.0);
obj<AGCObject> y = DFloat::box<AGCObject>(alloc, 7.0);
DArray * args = DArray::array(alloc, x, y);
obj<AGCObject> result = Primitives::s_mul_gco_gco_pm.apply_nocheck(rcx, args);
auto result_float = obj<AGCObject,DFloat>::from(result);
REQUIRE(result_float);
REQUIRE(result_float.data()->value() == 21.0);
}
TEST_CASE("DPrimitive-apply_nocheck-int-int", "[procedure2][DPrimitive]")
{
ArenaConfig cfg { .name_ = "testarena", .size_ = 4*1024 };
DArena arena = DArena::map(cfg);
auto alloc = with_facet<AAllocator>::mkobj(&arena);
DSimpleRcx rcx_data(alloc);
obj<ARuntimeContext> rcx = with_facet<ARuntimeContext>::mkobj(&rcx_data);
// 3 * 7 = 21
obj<AGCObject> x = DInteger::box<AGCObject>(alloc, 3L);
obj<AGCObject> y = DInteger::box<AGCObject>(alloc, 7L);
DArray * args = DArray::array(alloc, x, y);
obj<AGCObject> result = Primitives::s_mul_gco_gco_pm.apply_nocheck(rcx, args);
auto result_int = obj<AGCObject,DInteger>::from(result);
REQUIRE(result_int);
REQUIRE(result_int.data()->value() == 21L);
}
TEST_CASE("DPrimitive-apply_nocheck-int-float", "[procedure2][DPrimitive]")
{
ArenaConfig cfg { .name_ = "testarena", .size_ = 4*1024 };
DArena arena = DArena::map(cfg);
auto alloc = with_facet<AAllocator>::mkobj(&arena);
DSimpleRcx rcx_data(alloc);
obj<ARuntimeContext> rcx = with_facet<ARuntimeContext>::mkobj(&rcx_data);
// 3 * 7.0 = 21.0 (mixed: result is float)
obj<AGCObject> x = DInteger::box<AGCObject>(alloc, 3L);
obj<AGCObject> y = DFloat::box<AGCObject>(alloc, 7.0);
DArray * args = DArray::array(alloc, x, y);
obj<AGCObject> result = Primitives::s_mul_gco_gco_pm.apply_nocheck(rcx, args);
auto result_float = obj<AGCObject,DFloat>::from(result);
REQUIRE(result_float);
REQUIRE(result_float.data()->value() == 21.0);
}
} /*namespace ut*/
} /*namespace xo*/