data/full_repos/permissive/188068190/ridecore-src-buggy/arf.v
1: b'%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/arf.v:1: Cannot find include file: constants.vh\n`include "constants.vh" \n         ^~~~~~~~~~~~~~\n        ... Looked in:\n             data/full_repos/permissive/188068190/ridecore-src-buggy,data/full_repos/permissive/188068190/constants.vh\n             data/full_repos/permissive/188068190/ridecore-src-buggy,data/full_repos/permissive/188068190/constants.vh.v\n             data/full_repos/permissive/188068190/ridecore-src-buggy,data/full_repos/permissive/188068190/constants.vh.sv\n             constants.vh\n             constants.vh.v\n             constants.vh.sv\n             obj_dir/constants.vh\n             obj_dir/constants.vh.v\n             obj_dir/constants.vh.sv\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/arf.v:7: Define or directive not defined: \'`REG_SEL\'\n   input wire [`REG_SEL-1:0]   rs1_1,  \n               ^~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/arf.v:8: Define or directive not defined: \'`REG_SEL\'\n   input wire [`REG_SEL-1:0]   rs2_1,\n               ^~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/arf.v:9: Define or directive not defined: \'`REG_SEL\'\n   input wire [`REG_SEL-1:0]   rs1_2,\n               ^~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/arf.v:10: Define or directive not defined: \'`REG_SEL\'\n   input wire [`REG_SEL-1:0]   rs2_2,\n               ^~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/arf.v:11: Define or directive not defined: \'`DATA_LEN\'\n   output wire [`DATA_LEN-1:0]   rs1_1data,\n                ^~~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/arf.v:12: Define or directive not defined: \'`DATA_LEN\'\n   output wire [`DATA_LEN-1:0]   rs2_1data,\n                ^~~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/arf.v:13: Define or directive not defined: \'`DATA_LEN\'\n   output wire [`DATA_LEN-1:0]   rs1_2data,\n                ^~~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/arf.v:14: Define or directive not defined: \'`DATA_LEN\'\n   output wire [`DATA_LEN-1:0]   rs2_2data,  \n                ^~~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/arf.v:15: Define or directive not defined: \'`REG_SEL\'\n   input wire [`REG_SEL-1:0]   wreg1,  \n               ^~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/arf.v:16: Define or directive not defined: \'`REG_SEL\'\n   input wire [`REG_SEL-1:0]   wreg2,  \n               ^~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/arf.v:17: Define or directive not defined: \'`DATA_LEN\'\n   input wire [`DATA_LEN-1:0]   wdata1,  \n               ^~~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/arf.v:18: Define or directive not defined: \'`DATA_LEN\'\n   input wire [`DATA_LEN-1:0]   wdata2,  \n               ^~~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/arf.v:21: Define or directive not defined: \'`RRF_SEL\'\n   input wire [`RRF_SEL-1:0]   wrrfent1,  \n               ^~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/arf.v:22: Define or directive not defined: \'`RRF_SEL\'\n   input wire [`RRF_SEL-1:0]   wrrfent2,  \n               ^~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/arf.v:23: Define or directive not defined: \'`RRF_SEL\'\n   output wire [`RRF_SEL-1:0]   rs1_1tag,  \n                ^~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/arf.v:24: Define or directive not defined: \'`RRF_SEL\'\n   output wire [`RRF_SEL-1:0]   rs2_1tag,\n                ^~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/arf.v:25: Define or directive not defined: \'`RRF_SEL\'\n   output wire [`RRF_SEL-1:0]   rs1_2tag,\n                ^~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/arf.v:26: Define or directive not defined: \'`RRF_SEL\'\n   output wire [`RRF_SEL-1:0]   rs2_2tag,\n                ^~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/arf.v:27: Define or directive not defined: \'`REG_SEL\'\n   input wire [`REG_SEL-1:0]   tagbusy1_addr,\n               ^~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/arf.v:28: Define or directive not defined: \'`REG_SEL\'\n   input wire [`REG_SEL-1:0]   tagbusy2_addr,\n               ^~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/arf.v:31: Define or directive not defined: \'`RRF_SEL\'\n   input wire [`RRF_SEL-1:0]   settag1,\n               ^~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/arf.v:32: Define or directive not defined: \'`RRF_SEL\'\n   input wire [`RRF_SEL-1:0]   settag2,\n               ^~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/arf.v:33: Define or directive not defined: \'`SPECTAG_LEN\'\n   input wire [`SPECTAG_LEN-1:0] tagbusy1_spectag,\n               ^~~~~~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/arf.v:34: Define or directive not defined: \'`SPECTAG_LEN\'\n   input wire [`SPECTAG_LEN-1:0] tagbusy2_spectag,\n               ^~~~~~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/arf.v:41: Define or directive not defined: \'`SPECTAG_LEN\'\n   input wire [`SPECTAG_LEN-1:0] prtag,\n               ^~~~~~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/arf.v:42: Define or directive not defined: \'`SPECTAG_LEN\'\n   input wire [`SPECTAG_LEN-1:0] mpft_valid1,\n               ^~~~~~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/arf.v:43: Define or directive not defined: \'`SPECTAG_LEN\'\n   input wire [`SPECTAG_LEN-1:0] mpft_valid2\n               ^~~~~~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/arf.v:48: Define or directive not defined: \'`RRF_SEL\'\n   wire [`RRF_SEL-1:0]    comreg1_tag;\n         ^~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/arf.v:49: Define or directive not defined: \'`RRF_SEL\'\n   wire [`RRF_SEL-1:0]    comreg2_tag;\n         ^~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/arf.v:54: Define or directive not defined: \'`REG_SEL\'\n     (wreg1 != `REG_SEL\'b0);\n               ^~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/arf.v:57: Define or directive not defined: \'`REG_SEL\'\n     (wreg2 != `REG_SEL\'b0);\n               ^~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/arf.v:66: Define or directive not defined: \'`REG_SEL\'\n     #(`REG_SEL, `DATA_LEN, `REG_NUM)\n       ^~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/arf.v:66: Define or directive not defined: \'`DATA_LEN\'\n     #(`REG_SEL, `DATA_LEN, `REG_NUM)\n                 ^~~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/arf.v:66: Define or directive not defined: \'`REG_NUM\'\n     #(`REG_SEL, `DATA_LEN, `REG_NUM)\n                            ^~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/arf.v:132: Define or directive not defined: \'`SPECTAG_LEN\'\n       input wire [`SPECTAG_LEN-1:0] spectag,\n                   ^~~~~~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/arf.v:133: Define or directive not defined: \'`REG_NUM\'\n       input wire [`REG_NUM-1:0]     dat0,\n                   ^~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/arf.v:134: Define or directive not defined: \'`REG_NUM\'\n       input wire [`REG_NUM-1:0]     dat1,\n                   ^~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/arf.v:135: Define or directive not defined: \'`REG_NUM\'\n       input wire [`REG_NUM-1:0]     dat2,\n                   ^~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/arf.v:136: Define or directive not defined: \'`REG_NUM\'\n       input wire [`REG_NUM-1:0]     dat3,\n                   ^~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/arf.v:137: Define or directive not defined: \'`REG_NUM\'\n       input wire [`REG_NUM-1:0]     dat4,\n                   ^~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/arf.v:138: Define or directive not defined: \'`REG_NUM\'\n       output reg [`REG_NUM-1:0]     out\n                   ^~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/arf.v:158: Define or directive not defined: \'`REG_SEL\'\n   input wire [`REG_SEL-1:0]   rs1_1,\n               ^~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/arf.v:159: Define or directive not defined: \'`REG_SEL\'\n   input wire [`REG_SEL-1:0]   rs2_1,\n               ^~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/arf.v:160: Define or directive not defined: \'`REG_SEL\'\n   input wire [`REG_SEL-1:0]   rs1_2,\n               ^~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/arf.v:161: Define or directive not defined: \'`REG_SEL\'\n   input wire [`REG_SEL-1:0]   rs2_2,\n               ^~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/arf.v:162: Define or directive not defined: \'`REG_SEL\'\n   input wire [`REG_SEL-1:0]   comreg1,  \n               ^~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/arf.v:163: Define or directive not defined: \'`REG_SEL\'\n   input wire [`REG_SEL-1:0]   comreg2,  \n               ^~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/arf.v:166: Define or directive not defined: \'`RRF_SEL\'\n   input wire [`RRF_SEL-1:0]   wrrfent1,\n               ^~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/arf.v:167: Define or directive not defined: \'`RRF_SEL\'\n   input wire [`RRF_SEL-1:0]   wrrfent2, \n               ^~~~~~~~\n%Error: Exiting due to too many errors encountered; --error-limit=50\n'
module select_vector(
		     input wire [`SPECTAG_LEN-1:0] spectag,
		     input wire [`REG_NUM-1:0] 	   dat0,
		     input wire [`REG_NUM-1:0] 	   dat1,
		     input wire [`REG_NUM-1:0] 	   dat2,
		     input wire [`REG_NUM-1:0] 	   dat3,
		     input wire [`REG_NUM-1:0] 	   dat4,
		     output reg [`REG_NUM-1:0] 	   out
		     );

   always @ (*) begin
      out = 0;
      case (spectag)
	5'b00001 : out = dat1;
	5'b00010 : out = dat2;
	5'b00100 : out = dat3;
	5'b01000 : out = dat4;
	5'b10000 : out = dat0;
	default : out = 0;
      endcase
   end
endmodule
module select_vector(
		     input wire [`SPECTAG_LEN-1:0] spectag,
		     input wire [`REG_NUM-1:0] 	   dat0,
		     input wire [`REG_NUM-1:0] 	   dat1,
		     input wire [`REG_NUM-1:0] 	   dat2,
		     input wire [`REG_NUM-1:0] 	   dat3,
		     input wire [`REG_NUM-1:0] 	   dat4,
		     output reg [`REG_NUM-1:0] 	   out
		     );


   always @ (*) begin
      out = 0;
      case (spectag)
	5'b00001 : out = dat1;
	5'b00010 : out = dat2;
	5'b00100 : out = dat3;
	5'b01000 : out = dat4;
	5'b10000 : out = dat0;
	default : out = 0;
      endcase
   end
endmodule