extern "C" closure builtin_function_new_random_modifiable(OperationArgs& Args)
{
// assert(not Args.evaluate_changeables());
reg_heap& M = Args.memory();
int R1 = Args.reg_for_slot(0);
int R2 = Args.reg_for_slot(1);
int V = Args.reg_for_slot(2);
int rate = Args.reg_for_slot(3);
// Allocate a reg, and fill it with a modifiable of the correct index
expression_ref E(new expression(modifiable(),{index_var(2),index_var(1),index_var(0)}));
closure C{E,{R2,R1,rate}};
int r = Args.allocate(std::move(C));
M.make_reg_changeable(r);
M.set_shared_value(r,V);
M.add_random_modifiable(r);
// Return a reference to the new modifiable.
return {index_var(0),{r}};
}
extern "C" closure builtin_function_get_modifiable_index(OperationArgs& Args)
{
assert(not Args.evaluate_changeables());
int R1 = Args.evaluate_slot_to_reg(0);
const reg_heap& M = Args.memory();
assert(is_modifiable(M.access(R1).C.exp));
return {R1};
}
extern "C" closure builtin_function_is_modifiable(OperationArgs& Args)
{
assert(not Args.evaluate_changeables());
int R1 = Args.evaluate_slot_to_reg(0);
const reg_heap& M = Args.memory();
if (M.access(R1).C.exp.head().type() == modifiable_type)
return constructor("Prelude.True",0);
else
return constructor("Prelude.False",0);
}
extern "C" closure builtin_function_is_changeable(OperationArgs& Args)
{
assert(not Args.evaluate_changeables());
int R1 = Args.evaluate_slot_to_reg(0);
const reg_heap& M = Args.memory();
if (M.reg_is_changeable(R1))
return constructor("Prelude.True",0);
else
return constructor("Prelude.False",0);
}
extern "C" closure builtin_function_trigger(OperationArgs& Args)
{
int i = Args.evaluate(0).as_int();
reg_heap& M = Args.memory();
// We should be executing in the root token
M.triggers().push_back(i);
return constructor("()",0);
}
extern "C" closure builtin_function_register_probability(OperationArgs& Args)
{
assert(not Args.evaluate_changeables());
int R = Args.reg_for_slot(0);
auto& M = Args.memory();
M.register_probability(R);
return constructor("()",0);
}
extern "C" closure builtin_function_set_modifiable_value(OperationArgs& Args)
{
assert(not Args.evaluate_changeables());
int c = Args.evaluate(0).as_int();
int R1 = Args.evaluate_slot_to_reg(1);
int R2 = Args.evaluate_slot_to_reg(2);
Args.memory().set_reg_value_in_context(R1, {index_var(0),{R2}}, c);
return constructor("()",0);
}
extern "C" closure builtin_function_add_parameter(OperationArgs& Args)
{
assert(not Args.evaluate_changeables());
const std::string name = Args.evaluate(0).as_<String>();
int R = Args.evaluate_slot_to_reg(1);
auto& M = Args.memory();
M.parameters.push_back({name,R});
return constructor("()",0);
}
extern "C" closure builtin_function_get_modifiable_value(OperationArgs& Args)
{
assert(not Args.evaluate_changeables());
int c = Args.evaluate(0).as_int();
int R1 = Args.evaluate_slot_to_reg(1);
int R2 = Args.memory().get_modifiable_value_in_context(R1, c);
assert( R2 );
return {index_var(0),{R2}};
}
extern "C" closure builtin_function_new_modifiable(OperationArgs& Args)
{
assert(not Args.evaluate_changeables());
reg_heap& M = Args.memory();
int D = Args.reg_for_slot(0);
// Allocate a reg, and fill it with a modifiable of the correct index
expression_ref E(new expression(modifiable(),{index_var(0)}));
closure C{E,{D}};
int R1 = Args.allocate(std::move(C));
M.make_reg_changeable(R1);
// Return a reference to the new modifiable.
return {index_var(0),{R1}};
}
extern "C" closure builtin_function_evaluate(OperationArgs& Args)
{
auto& M = Args.memory();
int c = Args.evaluate(0).as_int();
#ifndef NDEBUG
if (Args.evaluate_changeables() and c >= 0)
throw myexception()<<"Calling builtin_function_evaluate( ) when evaluate_changeables=true and c >= 0";
#endif
int R1 = Args.reg_for_slot(1);
int R2 = 0;
if (c < 0)
R2 = M.incremental_evaluate_unchangeable(R1);
else
R2 = M.incremental_evaluate_in_context(R1, c).first;
assert( R2 );
return {index_var(0),{R2}};
}
