data/full_repos/permissive/445357518/shifter.v
data/verilator_xmls/995e7790-f4cb-4ee6-b110-9469c666828b.xml
module shifter(in,shift,sout);


input [15:0] in;
input [1:0] shift;
output [15:0] sout;
reg [15:0] sout;


always @* begin
	case(shift)

		2'b00: sout = in;

		2'b01: sout = in<<1;

		2'b10: sout = in>>1;

		2'b11: sout = $signed(in) >>> 1;

		default: sout = 16'bxxxxxxxxxxxxxxxx;

	endcase

end
endmodule
module shifter(in,shift,sout);



input [15:0] in;
input [1:0] shift;
output [15:0] sout;
reg [15:0] sout;


always @* begin
	case(shift)

		2'b00: sout = in;

		2'b01: sout = in<<1;

		2'b10: sout = in>>1;

		2'b11: sout = $signed(in) >>> 1;

		default: sout = 16'bxxxxxxxxxxxxxxxx;

	endcase

end
endmodule