add warning if no output exists

Author: ValKmjolnir

godel-script/godel-frontend/src/engine.cpp

@@ -400,6 +400,12 @@ void engine::run_souffle(const std::string& souffle_content,
         argv.push_back("--index-stats");
     }
 
+    // magic set, it's not suggested to use it on all the predicates
+    // argv.push_back("--magic-transform=*");
+
+    // need latest version of souffle to make it more efficient
+    // argv.push_back("--jobs=4");
+
     // enable souffle auto schedule, for experimental use only
     // argv.push_back("--auto-schedule=souffle.prof.log");
 

godel-script/godel-frontend/src/ir/ir_gen.cpp

@@ -538,11 +538,23 @@ void ir_gen::emit_schema_get_field() {
                 );
                 call->add_arg(lir::inst_value_t::variable("self"));
                 call->add_arg(lir::inst_value_t::default_value());
+
+                // enable particular index
+                // for z in pred(_, _, z, _, _)
+                // it's better to use pred(x, y, z, _, _) to auto generate index in souffle
+                int count = 0;
+                bool reach_field = false;
                 for(const auto& f : sc.second.ordered_fields) {
-                    call->add_arg(f==field?
-                        lir::inst_value_t::variable("ret?result"):
-                        lir::inst_value_t::default_value()
+                    if (f == field) {
+                        reach_field = true;
+                    }
+                    call->add_arg(f==field
+                        ? lir::inst_value_t::variable("ret?result")
+                        : reach_field
+                            ? lir::inst_value_t::default_value()
+                            : lir::inst_value_t::variable("?" + std::to_string(count))
                     );
+                    ++count;
                 }
                 rule_impl->get_block()->add_new_content(call);
             }
@@ -1102,6 +1114,16 @@ void ir_gen::report_ignored_DO_schema_data_constraint() {
     err.warn_ignored_DO_schema(ignored_DO_schema);
 }
 
+void ir_gen::report_no_output_predicate() {
+    if (irc.souffle_output.size() || irc.annotated_output.size()) {
+        return;
+    }
+    err.warn(
+        "no output predicate is found, "
+        "execution will not generate any outputs or output files."
+    );
+}
+
 bool ir_gen::visit_number_literal(number_literal* node) {
     value_stack.push_back({
         data_kind::literal,
@@ -2488,6 +2510,7 @@ void ir_gen::generate(const cli::configure& config, ast_root* root) {
     root->accept(this);
 
     report_ignored_DO_schema_data_constraint();
+    report_no_output_predicate();
 }
 
 }

godel-script/godel-frontend/src/ir/ir_gen.h

@@ -202,6 +202,7 @@ class ir_gen: public ast_visitor {
 private:
     std::unordered_set<std::string> ignored_DO_schema;
     void report_ignored_DO_schema_data_constraint();
+    void report_no_output_predicate();
 
 private:
     bool visit_number_literal(number_literal*) override;