static BaseSemantics::RiscOperatorsPtr make_ops() {
MultiSemantics::RiscOperatorsPtr ops = MultiSemantics::RiscOperators::instance(regdict);
ops->add_subdomain(PartialSymbolicSemantics::RiscOperators::instance(regdict), "PartialSymbolic");
ops->add_subdomain(SymbolicSemantics::RiscOperators::instance(regdict), "Symbolic");
ops->add_subdomain(IntervalSemantics::RiscOperators::instance(regdict), "Interval");
return ops;
}
static BaseSemantics::RiscOperatorsPtr make_ops() {
MultiSemantics::RiscOperatorsPtr ops = MultiSemantics::RiscOperators::instance(regdict);
PartialSymbolicSemantics::RiscOperatorsPtr s1 = PartialSymbolicSemantics::RiscOperators::instance(regdict);
SymbolicSemantics::RiscOperatorsPtr s2 = SymbolicSemantics::RiscOperators::instance(regdict);
s2->set_compute_usedef();
IntervalSemantics::RiscOperatorsPtr s3 = IntervalSemantics::RiscOperators::instance(regdict);
ops->add_subdomain(s1, "PartialSymbolic");
ops->add_subdomain(s2, "Symbolic");
ops->add_subdomain(s3, "Interval");
return ops;
}