Example #1
0
 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;
 }
Example #2
0
 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;
 }