// Test for Bug 1401

(* synthesize *)
module sysRuleBetweenMethods_TwoRulesDisjoint ();

   SubIfc sub <- mkRuleBetweenMethods_TwoRulesDisjoint_Sub;

   // condition for top_rule_1 and top_rule_3
   Reg#(Bool) p <- mkRegU;

   // register which makes top_rule_3 execute after top_rule_2
   Reg#(Bool) rg23 <- mkRegU;
   // register which makes top_rule_2 execute after top_rule_1
   Reg#(Bool) rg12 <- mkRegU;

   rule top_rule_3 (p);
      // call the method
      $display(sub.method1);
      // execute after top_rule_2
      rg23 <= True;
   endrule

   rule top_rule_2;
      // execute after top_rule_1, before top_rule_3
      rg12 <= rg23;
   endrule

   // condition is exclusive with top_rule_3, the conflicts between
   // sub.method1 and sub.method2 are ignored
   rule top_rule_1 (!p);
      // call the method
      sub.method2;
      // execute before top_rule_1
      $display(rg12);
   endrule

endmodule

interface SubIfc;
   method Bool   method1();
   method Action method2();
endinterface

(* synthesize *)
module mkRuleBetweenMethods_TwoRulesDisjoint_Sub ( SubIfc );

   Reg#(Bool) rg1 <- mkRegU;
   Reg#(Bool) rg2 <- mkRegU;

   // Exec order:  method1, sub_rule, method2

   rule sub_rule;
        rg1 <= rg2;
   endrule

   method Action method2();
      rg2 <= True;
   endmethod

   method Bool method1 = rg1;

endmodule