Help with compiling switchml P4 code：internal compile error

[YUANCHUANYING]

I am currently compiling switchml.p4 on a programmable switch using the command "p4_build-9.x.y.sh switchml.p4". However, I encountered some issues while compiling the code. The console printed the following messages: The number of P4 compiler-proper Errors is 0, and the number of P4 compiler-proper WARNINGs is 28. The crucial part is that it shows "Internal compiler error. Please submit a bug with your code."

I searched online and found that this could be due to insufficient memory. However, I did not observe any lack of available memory during the actual compilation (e.g., available memory less than 1G). I would like to know how to resolve this issue. Could you please provide some assistance? I sincerely hope to receive your reply. Thanks in advance!@AmedeoSapio

My environment is:

Platform:X308P-T

Switch Unit: intel Tofino 1 BFN-T10-032D

SDE:9.7.4

GCC:debian 6.3.0-18+deb9u1

[hiyouqian]

Hello, is this problem solved? I also encountered this problem.

[fengkeyleaf]

Hi all, I have the same problem when compiling the program with bf-sde-9.12.0. It seems that only the sde, which is 9.9.0, they're using can properly compile their program without errors, but I haven't tried running it on a real hardware switch unit. I don't know why, it's very strange.

And here is my error message using bf-sde-9.12.0:

$ make SwitchML
Scanning dependencies of target bf-p4c
[ 0%] Built target bf-p4c
Scanning dependencies of target driver
[ 0%] Built target driver
Scanning dependencies of target SwitchML-tofino
[100%] Generating SwitchML/tofino/bf-rt.json
/home/p4app-switchML/dev_root/p4/build/../rdma_sender.p4(37): [--Wwarn=unused] warning: 'message_length' is unused
bit<31> message_length,
^^^^^^^^^^^^^^
/home/p4app-switchML/dev_root/p4/build/../rdma_sender.p4(38): [--Wwarn=unused] warning: 'first_last_mask' is unused
pool_index_t first_last_mask) {
^^^^^^^^^^^^^^^
/home/p4app-switchML/dev_root/p4/build/../parsers.p4(26): [--Wwarn=uninitialized_out_param] warning: out parameter 'ig_md' may be uninitialized when 'IngressParser' terminates
out ingress_metadata_t ig_md,
^^^^^
/home/p4app-switchML/dev_root/p4/build/../parsers.p4(23)
parser IngressParser(
^^^^^^^^^^^^^
/home/p4app-switchML/dev_root/p4/build/../parsers.p4(245): [--Wwarn=uninitialized_out_param] warning: out parameter 'eg_md' may be uninitialized when 'EgressParser' terminates
out egress_metadata_t eg_md,
^^^^^
/home/p4app-switchML/dev_root/p4/build/../parsers.p4(242)
parser EgressParser(
^^^^^^^^^^^^
/home/p4app-switchML/dev_root/p4/build/../rdma_receiver.p4(179): [--Wwarn=invalid_header] warning: accessing a field of an invalid header hdr.ib_bth
return_t result = receiver_reset_action.execute((hdr.ib_bth.dst_qp[16+max_num_workers_log2-1:16] ++ hdr.ib_bth.dst_qp[max_num_queue_pairs_per_worker_log2-1:0]));
^^^^^^^^^^
/home/p4app-switchML/dev_root/p4/build/../rdma_receiver.p4(179): [--Wwarn=invalid_header] warning: accessing a field of an invalid header hdr.ib_bth
return_t result = receiver_reset_action.execute((hdr.ib_bth.dst_qp[16+max_num_workers_log2-1:16] ++ hdr.ib_bth.dst_qp[max_num_queue_pairs_per_worker_log2-1:0]));
^^^^^^^^^^
/home/p4app-switchML/dev_root/p4/build/../rdma_receiver.p4(64): [--Wwarn=invalid_header] warning: accessing a field of an invalid header hdr.ib_bth
if ((bit<32>) hdr.ib_bth.psn == 0x00ffffff) { // PSNs are 24 bits. Do we need to wrap around?
^^^^^^^^^^
/home/p4app-switchML/dev_root/p4/build/../rdma_receiver.p4(69): [--Wwarn=invalid_header] warning: accessing a field of an invalid header hdr.ib_bth
value.next_sequence_number = (bit<32>) hdr.ib_bth.psn + 1;
^^^^^^^^^^
/home/p4app-switchML/dev_root/p4/build/../rdma_receiver.p4(73): [--Wwarn=invalid_header] warning: accessing a field of an invalid header hdr.ib_reth
value.pool_index = (bit<32>) (hdr.ib_reth.r_key);
^^^^^^^^^^^
/home/p4app-switchML/dev_root/p4/build/../rdma_receiver.p4(217): [--Wwarn=invalid_header] warning: accessing a field of an invalid header hdr.ib_bth
return_t result = receiver_reset_action.execute((hdr.ib_bth.dst_qp[16+max_num_workers_log2-1:16] ++ hdr.ib_bth.dst_qp[max_num_queue_pairs_per_worker_log2-1:0]));
^^^^^^^^^^
/home/p4app-switchML/dev_root/p4/build/../rdma_receiver.p4(217): [--Wwarn=invalid_header] warning: accessing a field of an invalid header hdr.ib_bth
return_t result = receiver_reset_action.execute((hdr.ib_bth.dst_qp[16+max_num_workers_log2-1:16] ++ hdr.ib_bth.dst_qp[max_num_queue_pairs_per_worker_log2-1:0]));
^^^^^^^^^^
/home/p4app-switchML/dev_root/p4/build/../rdma_receiver.p4(243): [--Wwarn=invalid_header] warning: accessing a field of an invalid header hdr.ib_bth
return_t result = receiver_increment_action.execute((hdr.ib_bth.dst_qp[16+max_num_workers_log2-1:16] ++ hdr.ib_bth.dst_qp[max_num_queue_pairs_per_worker_log2-1:0]));
^^^^^^^^^^
/home/p4app-switchML/dev_root/p4/build/../rdma_receiver.p4(243): [--Wwarn=invalid_header] warning: accessing a field of an invalid header hdr.ib_bth
return_t result = receiver_increment_action.execute((hdr.ib_bth.dst_qp[16+max_num_workers_log2-1:16] ++ hdr.ib_bth.dst_qp[max_num_queue_pairs_per_worker_log2-1:0]));
^^^^^^^^^^
/home/p4app-switchML/dev_root/p4/build/../rdma_receiver.p4(84): [--Wwarn=invalid_header] warning: accessing a field of an invalid header hdr.ib_bth
if ((bit<32>) hdr.ib_bth.psn == value.next_sequence_number) {
^^^^^^^^^^
/home/p4app-switchML/dev_root/p4/build/../rdma_receiver.p4(269): [--Wwarn=invalid_header] warning: accessing a field of an invalid header hdr.ib_bth
return_t result = receiver_increment_action.execute((hdr.ib_bth.dst_qp[16+max_num_workers_log2-1:16] ++ hdr.ib_bth.dst_qp[max_num_queue_pairs_per_worker_log2-1:0]));
^^^^^^^^^^
/home/p4app-switchML/dev_root/p4/build/../rdma_receiver.p4(269): [--Wwarn=invalid_header] warning: accessing a field of an invalid header hdr.ib_bth
return_t result = receiver_increment_action.execute((hdr.ib_bth.dst_qp[16+max_num_workers_log2-1:16] ++ hdr.ib_bth.dst_qp[max_num_queue_pairs_per_worker_log2-1:0]));
^^^^^^^^^^
/home/p4app-switchML/dev_root/p4/build/../rdma_receiver.p4(343): [--Wwarn=uninitialized_use] warning: sequence_violation may be uninitialized
if (sequence_violation) {
^^^^^^^^^^^^^^^^^^
/home/p4app-switchML/dev_root/p4/build/../rdma_receiver.p4(347): [--Wwarn=uninitialized_use] warning: message_possibly_received may be uninitialized
} else if (message_possibly_received) {
^^^^^^^^^^^^^^^^^^^^^^^^^
/home/p4app-switchML/dev_root/p4/build/../rdma_sender.p4(59): [--Wwarn=uninitialized_use] warning: rdma_switch_mac may be uninitialized
hdr.ethernet.src_addr = rdma_switch_mac;
^^^^^^^^^^^^^^^
/home/p4app-switchML/dev_root/p4/build/../rdma_sender.p4(72): [--Wwarn=uninitialized_use] warning: rdma_switch_ip may be uninitialized
hdr.ipv4.src_addr = rdma_switch_ip;
^^^^^^^^^^^^^^
/home/p4app-switchML/dev_root/p4/build/../rdma_sender.p4(186): [--Wwarn=uninitialized_use] warning: rdma_rkey may be uninitialized
hdr.ib_reth.r_key = rdma_rkey;
^^^^^^^^^
/home/p4app-switchML/dev_root/p4/build/../exponents.p4(28): [--Wwarn=uninitialized_out_param] warning: out parameter 'max_exponent0' may be uninitialized when 'Exponents' terminates
out exponent_t max_exponent0,
^^^^^^^^^^^^^
/home/p4app-switchML/dev_root/p4/build/../exponents.p4(25)
control Exponents(
^^^^^^^^^
/home/p4app-switchML/dev_root/p4/build/../exponents.p4(29): [--Wwarn=uninitialized_out_param] warning: out parameter 'max_exponent1' may be uninitialized when 'Exponents' terminates
out exponent_t max_exponent1,
^^^^^^^^^^^^^
/home/p4app-switchML/dev_root/p4/build/../exponents.p4(25)
control Exponents(
^^^^^^^^^
/home/p4app-switchML/dev_root/p4/build/../processor.p4(28): [--Wwarn=uninitialized_out_param] warning: out parameter 'value0_out' may be uninitialized when 'Processor' terminates
out value_t value0_out,
^^^^^^^^^^
/home/p4app-switchML/dev_root/p4/build/../processor.p4(25)
control Processor(
^^^^^^^^^
/home/p4app-switchML/dev_root/p4/build/../processor.p4(29): [--Wwarn=uninitialized_out_param] warning: out parameter 'value1_out' may be uninitialized when 'Processor' terminates
out value_t value1_out,
^^^^^^^^^^
/home/p4app-switchML/dev_root/p4/build/../processor.p4(25)
control Processor(
^^^^^^^^^
warning: No size defined for table 'workers_counter_count_workers', setting default size to 512
warning: No size defined for table 'reconstruct_worker_bitmap_reconstruct_worker_bitmap', setting default size to 512
warning: No size defined for table 'update_and_check_worker_bitmap_update_and_check_worker_bitmap', setting default size to 512

1 error, 28 warnings generated.

Internal compiler error. Please submit a bug report with your code.
make[3]: *** [CMakeFiles/SwitchML-tofino.dir/build.make:61: SwitchML/tofino/bf-rt.json] Error 4
make[3]: *** Deleting file 'SwitchML/tofino/bf-rt.json'
make[2]: *** [CMakeFiles/Makefile2:81: CMakeFiles/SwitchML-tofino.dir/all] Error 2
make[1]: *** [CMakeFiles/Makefile2:142: CMakeFiles/SwitchML.dir/rule] Error 2
make: *** [Makefile:190: SwitchML] Error 2