data/full_repos/permissive/143278/ivltests/pr1784984.v
data/verilator_xmls/d51bd130-4379-4441-91b9-9632a4eed406.xml
module signed_test;

   reg [31:0] a;

   initial begin
      a = (32'h80000000);
      a = a / 2;
      $display ("Current Value of a = %h", a);
      if (a !== 32'h40000000) begin
	 $display("FAILED");
	 $finish;
      end

      a = a * 2;
      $display("Current value of a = %h", a);
      if (a !== 32'h80000000) begin
	 $display("FAILED");
	 $finish;
      end

      a = (32'h80000000)/2;
      $display ("Current Value of a = %h", a);
      if (a !== 32'h40000000) begin
	 $display("FAILED");
	 $finish;
      end

      a = (32'h40000000)*2;
      $display ("Current Value of a = %h", a);
      if (a !== 32'h80000000) begin
	 $display("FAILED");
	 $finish;
      end

      $display("PASSED");
   end

endmodule
module signed_test;


   reg [31:0] a;

   initial begin
      a = (32'h80000000);
      a = a / 2;
      $display ("Current Value of a = %h", a);
      if (a !== 32'h40000000) begin
	 $display("FAILED");
	 $finish;
      end

      a = a * 2;
      $display("Current value of a = %h", a);
      if (a !== 32'h80000000) begin
	 $display("FAILED");
	 $finish;
      end

      a = (32'h80000000)/2;
      $display ("Current Value of a = %h", a);
      if (a !== 32'h40000000) begin
	 $display("FAILED");
	 $finish;
      end

      a = (32'h40000000)*2;
      $display ("Current Value of a = %h", a);
      if (a !== 32'h80000000) begin
	 $display("FAILED");
	 $finish;
      end

      $display("PASSED");
   end

endmodule