data/full_repos/permissive/195227969/work/cold_store/yosys_carry_packing_is_bad/other.v
1: b"%Error: data/full_repos/permissive/195227969/work/cold_store/yosys_carry_packing_is_bad/other.v:61: Cannot find file containing module: 'SB_LUT4'\n   SB_LUT4 #(.LUT_INIT(16'haaaa)) l_border   ( .O(cmb_loop[0]),   .I3(1'b0),  .I2(1'b0), .I1(1'b0     ), .I0(PIN_13) );   \n   ^~~~~~~\n        ... Looked in:\n             data/full_repos/permissive/195227969/work/cold_store/yosys_carry_packing_is_bad,data/full_repos/permissive/195227969/SB_LUT4\n             data/full_repos/permissive/195227969/work/cold_store/yosys_carry_packing_is_bad,data/full_repos/permissive/195227969/SB_LUT4.v\n             data/full_repos/permissive/195227969/work/cold_store/yosys_carry_packing_is_bad,data/full_repos/permissive/195227969/SB_LUT4.sv\n             SB_LUT4\n             SB_LUT4.v\n             SB_LUT4.sv\n             obj_dir/SB_LUT4\n             obj_dir/SB_LUT4.v\n             obj_dir/SB_LUT4.sv\n%Error: data/full_repos/permissive/195227969/work/cold_store/yosys_carry_packing_is_bad/other.v:63: Cannot find file containing module: 'SB_DFF'\n   SB_DFF                         r_sh0 (      .Q(    loop[0]), .C(CLK), .D(cmb_loop[0]) );\n   ^~~~~~\n%Error: data/full_repos/permissive/195227969/work/cold_store/yosys_carry_packing_is_bad/other.v:67: Cannot find file containing module: 'SB_LUT4'\n   SB_LUT4 #(.LUT_INIT(16'hcaca)) l_sh1 ( .O(cmb_loop[1]), .I3(PIN_13),  .I2(1'b1), .I1(loop[0]), .I0(PIN[1]) );\n   ^~~~~~~\n%Error: data/full_repos/permissive/195227969/work/cold_store/yosys_carry_packing_is_bad/other.v:69: Cannot find file containing module: 'SB_CARRY'\n   SB_CARRY                       l_cy1 ( .CO(     cy[1]),   .CI(cy[0]), .I1(1'b1), .I0(loop[0])           );\n   ^~~~~~~~\n%Error: data/full_repos/permissive/195227969/work/cold_store/yosys_carry_packing_is_bad/other.v:71: Cannot find file containing module: 'SB_DFF'\n   SB_DFF                         r_sh1 ( .Q(    loop[1]), .C(CLK), .D(cmb_loop[1]) );\n   ^~~~~~\n%Error: data/full_repos/permissive/195227969/work/cold_store/yosys_carry_packing_is_bad/other.v:74: Cannot find file containing module: 'SB_LUT4'\n   SB_LUT4 #(.LUT_INIT(16'hcaca)) l_sh2 ( .O(cmb_loop[2]), .I3(PIN_13),  .I2(1'b1), .I1(loop[1]), .I0(PIN[2]) );\n   ^~~~~~~\n%Error: data/full_repos/permissive/195227969/work/cold_store/yosys_carry_packing_is_bad/other.v:76: Cannot find file containing module: 'SB_CARRY'\n   SB_CARRY                       l_cy2 ( .CO(     cy[2]),   .CI(cy[1]), .I1(1'b1), .I0(loop[1])           );\n   ^~~~~~~~\n%Error: data/full_repos/permissive/195227969/work/cold_store/yosys_carry_packing_is_bad/other.v:78: Cannot find file containing module: 'SB_DFF'\n   SB_DFF                         r_sh2 ( .Q(    loop[2]), .C(CLK), .D(cmb_loop[2]) );\n   ^~~~~~\n%Error: data/full_repos/permissive/195227969/work/cold_store/yosys_carry_packing_is_bad/other.v:81: Cannot find file containing module: 'SB_LUT4'\n   SB_LUT4 #(.LUT_INIT(16'hcaca)) l_sh3 ( .O(cmb_loop[3]), .I3(PIN_13),  .I2(1'b1), .I1(loop[2]), .I0(PIN[3]) );\n   ^~~~~~~\n%Error: data/full_repos/permissive/195227969/work/cold_store/yosys_carry_packing_is_bad/other.v:83: Cannot find file containing module: 'SB_CARRY'\n   SB_CARRY                       l_cy3 ( .CO(     cy[3]),   .CI(cy[2]), .I1(1'b1), .I0(loop[2])           );\n   ^~~~~~~~\n%Error: data/full_repos/permissive/195227969/work/cold_store/yosys_carry_packing_is_bad/other.v:85: Cannot find file containing module: 'SB_DFF'\n   SB_DFF                         r_sh3 ( .Q(    loop[3]), .C(CLK), .D(cmb_loop[3]) );\n   ^~~~~~\n%Error: data/full_repos/permissive/195227969/work/cold_store/yosys_carry_packing_is_bad/other.v:88: Cannot find file containing module: 'SB_LUT4'\n   SB_LUT4 #(.LUT_INIT(16'hcaca)) l_sh4 ( .O(cmb_loop[4]), .I3(PIN_13),  .I2(1'b1), .I1(loop[3]), .I0(PIN[4]) );\n   ^~~~~~~\n%Error: data/full_repos/permissive/195227969/work/cold_store/yosys_carry_packing_is_bad/other.v:90: Cannot find file containing module: 'SB_CARRY'\n   SB_CARRY                       l_cy4 ( .CO(     cy[4]),   .CI(cy[3]), .I1(1'b1), .I0(loop[3])           );\n   ^~~~~~~~\n%Error: data/full_repos/permissive/195227969/work/cold_store/yosys_carry_packing_is_bad/other.v:92: Cannot find file containing module: 'SB_DFF'\n   SB_DFF                         r_sh4 ( .Q(    loop[4]), .C(CLK), .D(cmb_loop[4]) );\n   ^~~~~~\n%Error: data/full_repos/permissive/195227969/work/cold_store/yosys_carry_packing_is_bad/other.v:95: Cannot find file containing module: 'SB_LUT4'\n   SB_LUT4 #(.LUT_INIT(16'hcaca)) l_sh5 ( .O(cmb_loop[5]), .I3(PIN_13),  .I2(1'b1), .I1(loop[4]), .I0(PIN[5]) );\n   ^~~~~~~\n%Error: data/full_repos/permissive/195227969/work/cold_store/yosys_carry_packing_is_bad/other.v:97: Cannot find file containing module: 'SB_CARRY'\n   SB_CARRY                       l_cy5 ( .CO(     cy[5]),   .CI(cy[4]), .I1(1'b1), .I0(loop[4])           );\n   ^~~~~~~~\n%Error: data/full_repos/permissive/195227969/work/cold_store/yosys_carry_packing_is_bad/other.v:99: Cannot find file containing module: 'SB_DFF'\n   SB_DFF                         r_sh5 ( .Q(    loop[5]), .C(CLK), .D(cmb_loop[5]) );\n   ^~~~~~\n%Error: data/full_repos/permissive/195227969/work/cold_store/yosys_carry_packing_is_bad/other.v:117: Cannot find file containing module: 'SB_LUT4'\n   SB_LUT4 #(.LUT_INIT(16'hff00)) l_empty    ( .O(PIN_22), .I3(cy[5]), .I2(1'b0), .I1(1'b0), .I0(1'b0));\n   ^~~~~~~\n%Error: Exiting due to 18 error(s)\n"
module top 
  (
   output      PIN_22,
   output      PIN_24,
   input       CLK,
   input       PIN_13,
   input [5:1] PIN
   );
   wire [5:0] loop, cy;

   assign cy[0] = 1'b0;

`define SHOULD_WORK 0
`ifdef SHOULD_WORK





   wire [5:0] cmb_loop;
   (* BEL="X2/Y2/lc0" *) 
   SB_LUT4 #(.LUT_INIT(16'haaaa)) l_border   ( .O(cmb_loop[0]),   .I3(1'b0),  .I2(1'b0), .I1(1'b0     ), .I0(PIN_13) );   
   (* BEL="X2/Y2/lc0" *) 
   SB_DFF                         r_sh0 (      .Q(    loop[0]), .C(CLK), .D(cmb_loop[0]) );


   (* BEL="X2/Y2/lc1" *) 
   SB_LUT4 #(.LUT_INIT(16'hcaca)) l_sh1 ( .O(cmb_loop[1]), .I3(PIN_13),  .I2(1'b1), .I1(loop[0]), .I0(PIN[1]) );
   (* BEL="X2/Y2/lc1" *) 
   SB_CARRY                       l_cy1 ( .CO(     cy[1]),   .CI(cy[0]), .I1(1'b1), .I0(loop[0])           );
   (* BEL="X2/Y2/lc1" *) 
   SB_DFF                         r_sh1 ( .Q(    loop[1]), .C(CLK), .D(cmb_loop[1]) );
   
   (* BEL="X2/Y2/lc2" *) 
   SB_LUT4 #(.LUT_INIT(16'hcaca)) l_sh2 ( .O(cmb_loop[2]), .I3(PIN_13),  .I2(1'b1), .I1(loop[1]), .I0(PIN[2]) );
   (* BEL="X2/Y2/lc2" *) 
   SB_CARRY                       l_cy2 ( .CO(     cy[2]),   .CI(cy[1]), .I1(1'b1), .I0(loop[1])           );
   (* BEL="X2/Y2/lc2" *) 
   SB_DFF                         r_sh2 ( .Q(    loop[2]), .C(CLK), .D(cmb_loop[2]) );

   (* BEL="X2/Y2/lc3" *) 
   SB_LUT4 #(.LUT_INIT(16'hcaca)) l_sh3 ( .O(cmb_loop[3]), .I3(PIN_13),  .I2(1'b1), .I1(loop[2]), .I0(PIN[3]) );
   (* BEL="X2/Y2/lc3" *) 
   SB_CARRY                       l_cy3 ( .CO(     cy[3]),   .CI(cy[2]), .I1(1'b1), .I0(loop[2])           );
   (* BEL="X2/Y2/lc3" *) 
   SB_DFF                         r_sh3 ( .Q(    loop[3]), .C(CLK), .D(cmb_loop[3]) );

   (* BEL="X2/Y2/lc4" *) 
   SB_LUT4 #(.LUT_INIT(16'hcaca)) l_sh4 ( .O(cmb_loop[4]), .I3(PIN_13),  .I2(1'b1), .I1(loop[3]), .I0(PIN[4]) );
   (* BEL="X2/Y2/lc4" *) 
   SB_CARRY                       l_cy4 ( .CO(     cy[4]),   .CI(cy[3]), .I1(1'b1), .I0(loop[3])           );
   (* BEL="X2/Y2/lc4" *) 
   SB_DFF                         r_sh4 ( .Q(    loop[4]), .C(CLK), .D(cmb_loop[4]) );

   (* BEL="X2/Y2/lc5" *) 
   SB_LUT4 #(.LUT_INIT(16'hcaca)) l_sh5 ( .O(cmb_loop[5]), .I3(PIN_13),  .I2(1'b1), .I1(loop[4]), .I0(PIN[5]) );
   (* BEL="X2/Y2/lc5" *) 
   SB_CARRY                       l_cy5 ( .CO(     cy[5]),   .CI(cy[4]), .I1(1'b1), .I0(loop[4])           );
   (* BEL="X2/Y2/lc5" *) 
   SB_DFF                         r_sh5 ( .Q(    loop[5]), .C(CLK), .D(cmb_loop[5]) );




   
`else
   wire       cmbloop0;
   SB_LUT4 #(.LUT_INIT(16'haaaa)) l_border ( .O(cmbloop0), .I3(1'b0), .I2(1'b0), .I1(1'b0 ), .I0(PIN_13) );
(* BEL="X2/Y2/lc0" *)    SB_DFF r_border( .Q(loop[0]), .C(CLK), .D(cmbloop0) );

(* BEL="X2/Y2/lc1" *)    ICESTORM_LC #(.LUT_INIT(16'hcaca),.CARRY_ENABLE(1),.DFF_ENABLE(1)) l_shcyreg0 ( .I0(PIN[1]),.I1(loop[0]),.I2(1'b1),.I3(PIN_13),.CIN(cy[0]),.CLK(CLK),.O(loop[1]),.COUT(cy[1]));
(* BEL="X2/Y2/lc2" *)    ICESTORM_LC #(.LUT_INIT(16'hcaca),.CARRY_ENABLE(1),.DFF_ENABLE(1)) l_shcyreg1 ( .I0(PIN[2]),.I1(loop[1]),.I2(1'b1),.I3(PIN_13),.CIN(cy[1]),.CLK(CLK),.O(loop[2]),.COUT(cy[2]));
(* BEL="X2/Y2/lc3" *)    ICESTORM_LC #(.LUT_INIT(16'hcaca),.CARRY_ENABLE(1),.DFF_ENABLE(1)) l_shcyreg2 ( .I0(PIN[3]),.I1(loop[2]),.I2(1'b1),.I3(PIN_13),.CIN(cy[2]),.CLK(CLK),.O(loop[3]),.COUT(cy[3]));
(* BEL="X2/Y2/lc4" *)    ICESTORM_LC #(.LUT_INIT(16'hcaca),.CARRY_ENABLE(1),.DFF_ENABLE(1)) l_shcyreg3 ( .I0(PIN[4]),.I1(loop[3]),.I2(1'b1),.I3(PIN_13),.CIN(cy[3]),.CLK(CLK),.O(loop[4]),.COUT(cy[4]));
(* BEL="X2/Y2/lc5" *)    ICESTORM_LC #(.LUT_INIT(16'hcaca),.CARRY_ENABLE(1),.DFF_ENABLE(1)) l_shcyreg4 ( .I0(PIN[5]),.I1(loop[4]),.I2(1'b1),.I3(PIN_13),.CIN(cy[4]),.CLK(CLK),.O(loop[5]),.COUT(cy[5]));
`endif
   
   SB_LUT4 #(.LUT_INIT(16'hff00)) l_empty    ( .O(PIN_22), .I3(cy[5]), .I2(1'b0), .I1(1'b0), .I0(1'b0));
   
   assign PIN_24 = loop[5];
endmodule
module top 
  (
   output      PIN_22,
   output      PIN_24,
   input       CLK,
   input       PIN_13,
   input [5:1] PIN
   );

   wire [5:0] loop, cy;

   assign cy[0] = 1'b0;

`define SHOULD_WORK 0
`ifdef SHOULD_WORK





   wire [5:0] cmb_loop;
   (* BEL="X2/Y2/lc0" *) 
   SB_LUT4 #(.LUT_INIT(16'haaaa)) l_border   ( .O(cmb_loop[0]),   .I3(1'b0),  .I2(1'b0), .I1(1'b0     ), .I0(PIN_13) );   
   (* BEL="X2/Y2/lc0" *) 
   SB_DFF                         r_sh0 (      .Q(    loop[0]), .C(CLK), .D(cmb_loop[0]) );


   (* BEL="X2/Y2/lc1" *) 
   SB_LUT4 #(.LUT_INIT(16'hcaca)) l_sh1 ( .O(cmb_loop[1]), .I3(PIN_13),  .I2(1'b1), .I1(loop[0]), .I0(PIN[1]) );
   (* BEL="X2/Y2/lc1" *) 
   SB_CARRY                       l_cy1 ( .CO(     cy[1]),   .CI(cy[0]), .I1(1'b1), .I0(loop[0])           );
   (* BEL="X2/Y2/lc1" *) 
   SB_DFF                         r_sh1 ( .Q(    loop[1]), .C(CLK), .D(cmb_loop[1]) );
   
   (* BEL="X2/Y2/lc2" *) 
   SB_LUT4 #(.LUT_INIT(16'hcaca)) l_sh2 ( .O(cmb_loop[2]), .I3(PIN_13),  .I2(1'b1), .I1(loop[1]), .I0(PIN[2]) );
   (* BEL="X2/Y2/lc2" *) 
   SB_CARRY                       l_cy2 ( .CO(     cy[2]),   .CI(cy[1]), .I1(1'b1), .I0(loop[1])           );
   (* BEL="X2/Y2/lc2" *) 
   SB_DFF                         r_sh2 ( .Q(    loop[2]), .C(CLK), .D(cmb_loop[2]) );

   (* BEL="X2/Y2/lc3" *) 
   SB_LUT4 #(.LUT_INIT(16'hcaca)) l_sh3 ( .O(cmb_loop[3]), .I3(PIN_13),  .I2(1'b1), .I1(loop[2]), .I0(PIN[3]) );
   (* BEL="X2/Y2/lc3" *) 
   SB_CARRY                       l_cy3 ( .CO(     cy[3]),   .CI(cy[2]), .I1(1'b1), .I0(loop[2])           );
   (* BEL="X2/Y2/lc3" *) 
   SB_DFF                         r_sh3 ( .Q(    loop[3]), .C(CLK), .D(cmb_loop[3]) );

   (* BEL="X2/Y2/lc4" *) 
   SB_LUT4 #(.LUT_INIT(16'hcaca)) l_sh4 ( .O(cmb_loop[4]), .I3(PIN_13),  .I2(1'b1), .I1(loop[3]), .I0(PIN[4]) );
   (* BEL="X2/Y2/lc4" *) 
   SB_CARRY                       l_cy4 ( .CO(     cy[4]),   .CI(cy[3]), .I1(1'b1), .I0(loop[3])           );
   (* BEL="X2/Y2/lc4" *) 
   SB_DFF                         r_sh4 ( .Q(    loop[4]), .C(CLK), .D(cmb_loop[4]) );

   (* BEL="X2/Y2/lc5" *) 
   SB_LUT4 #(.LUT_INIT(16'hcaca)) l_sh5 ( .O(cmb_loop[5]), .I3(PIN_13),  .I2(1'b1), .I1(loop[4]), .I0(PIN[5]) );
   (* BEL="X2/Y2/lc5" *) 
   SB_CARRY                       l_cy5 ( .CO(     cy[5]),   .CI(cy[4]), .I1(1'b1), .I0(loop[4])           );
   (* BEL="X2/Y2/lc5" *) 
   SB_DFF                         r_sh5 ( .Q(    loop[5]), .C(CLK), .D(cmb_loop[5]) );




   
`else
   wire       cmbloop0;
   SB_LUT4 #(.LUT_INIT(16'haaaa)) l_border ( .O(cmbloop0), .I3(1'b0), .I2(1'b0), .I1(1'b0 ), .I0(PIN_13) );
(* BEL="X2/Y2/lc0" *)    SB_DFF r_border( .Q(loop[0]), .C(CLK), .D(cmbloop0) );

(* BEL="X2/Y2/lc1" *)    ICESTORM_LC #(.LUT_INIT(16'hcaca),.CARRY_ENABLE(1),.DFF_ENABLE(1)) l_shcyreg0 ( .I0(PIN[1]),.I1(loop[0]),.I2(1'b1),.I3(PIN_13),.CIN(cy[0]),.CLK(CLK),.O(loop[1]),.COUT(cy[1]));
(* BEL="X2/Y2/lc2" *)    ICESTORM_LC #(.LUT_INIT(16'hcaca),.CARRY_ENABLE(1),.DFF_ENABLE(1)) l_shcyreg1 ( .I0(PIN[2]),.I1(loop[1]),.I2(1'b1),.I3(PIN_13),.CIN(cy[1]),.CLK(CLK),.O(loop[2]),.COUT(cy[2]));
(* BEL="X2/Y2/lc3" *)    ICESTORM_LC #(.LUT_INIT(16'hcaca),.CARRY_ENABLE(1),.DFF_ENABLE(1)) l_shcyreg2 ( .I0(PIN[3]),.I1(loop[2]),.I2(1'b1),.I3(PIN_13),.CIN(cy[2]),.CLK(CLK),.O(loop[3]),.COUT(cy[3]));
(* BEL="X2/Y2/lc4" *)    ICESTORM_LC #(.LUT_INIT(16'hcaca),.CARRY_ENABLE(1),.DFF_ENABLE(1)) l_shcyreg3 ( .I0(PIN[4]),.I1(loop[3]),.I2(1'b1),.I3(PIN_13),.CIN(cy[3]),.CLK(CLK),.O(loop[4]),.COUT(cy[4]));
(* BEL="X2/Y2/lc5" *)    ICESTORM_LC #(.LUT_INIT(16'hcaca),.CARRY_ENABLE(1),.DFF_ENABLE(1)) l_shcyreg4 ( .I0(PIN[5]),.I1(loop[4]),.I2(1'b1),.I3(PIN_13),.CIN(cy[4]),.CLK(CLK),.O(loop[5]),.COUT(cy[5]));
`endif
   
   SB_LUT4 #(.LUT_INIT(16'hff00)) l_empty    ( .O(PIN_22), .I3(cy[5]), .I2(1'b0), .I1(1'b0), .I0(1'b0));
   
   assign PIN_24 = loop[5];
endmodule