data/full_repos/permissive/421450529/EXT.v
data/verilator_xmls/54321b43-0535-464d-901b-ac83bc247092.xml
module EXT(
   input[15:0] imm,
	input[1:0] Extop,
	output reg[31:0] after_ext
    );
	 initial begin
	   after_ext=0;
	 end
    always@(imm or Extop)begin
	   case(Extop)
		  2'b00:after_ext={{16{1'b0}},imm};
		  2'b01:after_ext={{16{imm[15]}},imm};
		  2'b10:after_ext={imm,{16{1'b0}}};
		  default:after_ext={{16{1'b0}},imm};
		endcase
	 end

endmodule
module EXT(
   input[15:0] imm,
	input[1:0] Extop,
	output reg[31:0] after_ext
    );

	 initial begin
	   after_ext=0;
	 end
    always@(imm or Extop)begin
	   case(Extop)
		  2'b00:after_ext={{16{1'b0}},imm};
		  2'b01:after_ext={{16{imm[15]}},imm};
		  2'b10:after_ext={imm,{16{1'b0}}};
		  default:after_ext={{16{1'b0}},imm};
		endcase
	 end

endmodule