From 2605767b1baff6cee1abe9be9a805623cd224735 Mon Sep 17 00:00:00 2001 From: Han Wang Date: Fri, 25 Oct 2024 14:28:57 -0700 Subject: [PATCH] Contributing Intel Tofino compiler backend to p4c (#4964) * Add licenses and top level scripts Co-authored-by: Glen Gibb Co-authored-by: Prathima Kotikalapudi Co-authored-by: Han Wang Signed-off-by: Han Wang * Add files in top level directory Co-authored-by: Glen Gibb Co-authored-by: Prathima Kotikalapudi Co-authored-by: Han Wang Signed-off-by: Han Wang * Add files under backends/tofino/bf-p4c/arch for handling tna/t2na/v1model architectures Co-authored-by: Glen Gibb Co-authored-by: Prathima Kotikalapudi Co-authored-by: Han Wang Signed-off-by: Han Wang * Add files under backends/tofino/bf-p4c/arch/psa for handling psa to tna translation Co-authored-by: Glen Gibb Co-authored-by: Prathima Kotikalapudi Co-authored-by: Han Wang Signed-off-by: Han Wang * Add files under backends/tofino/bf-p4c/arch/tna Co-authored-by: Glen Gibb Co-authored-by: Prathima Kotikalapudi Co-authored-by: Han Wang Signed-off-by: Han Wang * Add files under backends/tofino/bf-p4c/common Co-authored-by: Glen Gibb Co-authored-by: Prathima Kotikalapudi Co-authored-by: Han Wang Signed-off-by: Han Wang * Add files under backends/tofino/bf-p4c/pragma Co-authored-by: Glen Gibb Co-authored-by: Prathima Kotikalapudi Co-authored-by: Han Wang Signed-off-by: Han Wang * Add files under backends/tofino/bf-p4c/control-plane for bfrt support Co-authored-by: Glen Gibb Co-authored-by: Prathima Kotikalapudi Co-authored-by: Han Wang Signed-off-by: Han Wang * Add files under backends/tofino/bf-p4c/driver for compiler driver Co-authored-by: Glen Gibb Co-authored-by: Prathima Kotikalapudi Co-authored-by: Han Wang Signed-off-by: Han Wang * Add files under backends/tofino/bf-p4c/ir for tofino-specific IR Co-authored-by: Glen Gibb Co-authored-by: Prathima Kotikalapudi Co-authored-by: Han Wang Signed-off-by: Han Wang * Add files under backends/tofino/bf-p4c/lib Co-authored-by: Glen Gibb Co-authored-by: Prathima Kotikalapudi Co-authored-by: Han Wang Signed-off-by: Han Wang * Add files under backends/tofino/bf-p4c/logging Co-authored-by: Glen Gibb Co-authored-by: Prathima Kotikalapudi Co-authored-by: Han Wang Signed-off-by: Han Wang * Add files under backends/tofino/bf-p4c/mau Core algorithms to allocate resource in MAU Co-authored-by: Glen Gibb Co-authored-by: Prathima Kotikalapudi Co-authored-by: Han Wang Signed-off-by: Han Wang * Add files under backends/tofino/bf-p4c/p4include Co-authored-by: Glen Gibb Co-authored-by: Prathima Kotikalapudi Co-authored-by: Han Wang Signed-off-by: Han Wang * Add files under backends/tofino/bf-p4c/parde Core algorithms for Parser and Deparser allocation Co-authored-by: Glen Gibb Co-authored-by: Prathima Kotikalapudi Co-authored-by: Han Wang Signed-off-by: Han Wang * Add files under backends/tofino/bf-p4c/parde/clot clot stands for Checksum-Length-Offset-Tag Co-authored-by: Glen Gibb Co-authored-by: Prathima Kotikalapudi Co-authored-by: Han Wang Signed-off-by: Han Wang * Add files under backends/tofino/bf-p4c/parde/lowered, common and mirror Co-authored-by: Glen Gibb Co-authored-by: Prathima Kotikalapudi Co-authored-by: Han Wang Signed-off-by: Han Wang * Add files under backends/tofino/bf-p4c/parde/phv (part 1) Co-authored-by: Glen Gibb Co-authored-by: Prathima Kotikalapudi Co-authored-by: Han Wang Signed-off-by: Han Wang * Add files under backends/tofino/bf-p4c/parde/phv/analysis (part 2) Co-authored-by: Glen Gibb Co-authored-by: Prathima Kotikalapudi Co-authored-by: Han Wang Signed-off-by: Han Wang * Add files under backends/tofino/bf-p4c/parde/phv/pragma (part 3) Co-authored-by: Glen Gibb Co-authored-by: Prathima Kotikalapudi Co-authored-by: Han Wang Signed-off-by: Han Wang * Add files under backends/tofino/bf-p4c/parde/phv/* (part 4) Co-authored-by: Glen Gibb Co-authored-by: Prathima Kotikalapudi Co-authored-by: Han Wang Signed-off-by: Han Wang * Add files under backends/tofino/bf-p4c/parde/phv/v2 (part 5) V2 algorithm for phv allocation Co-authored-by: Glen Gibb Co-authored-by: Prathima Kotikalapudi Co-authored-by: Han Wang Signed-off-by: Han Wang * Add files under backends/tofino/bf-p4c/test/gtest Co-authored-by: Glen Gibb Co-authored-by: Prathima Kotikalapudi Co-authored-by: Han Wang Signed-off-by: Han Wang * Add files under backends/tofino/bf-utils for dynamic_hash library Co-authored-by: Glen Gibb Co-authored-by: Prathima Kotikalapudi Co-authored-by: Han Wang Signed-off-by: Han Wang * Add files under backends/tofino/compiler-interfaces Co-authored-by: Glen Gibb Co-authored-by: Prathima Kotikalapudi Co-authored-by: Han Wang Signed-off-by: Han Wang * Add files under backends/tofino/scripts for misc scripts Co-authored-by: Glen Gibb Co-authored-by: Prathima Kotikalapudi Co-authored-by: Han Wang Signed-off-by: Han Wang * Changes to other backend to fix compilation error Co-authored-by: Glen Gibb Co-authored-by: Prathima Kotikalapudi Co-authored-by: Han Wang Signed-off-by: Han Wang * Changes to top level CMakeLists.txt to add tofino backend Co-authored-by: Glen Gibb Co-authored-by: Prathima Kotikalapudi Co-authored-by: Han Wang Signed-off-by: Han Wang * fix compilation issues Co-authored-by: Glen Gibb Co-authored-by: Prathima Kotikalapudi Co-authored-by: Han Wang Signed-off-by: Han Wang * CI script fixes - fix ci-build.sh - add pyinstaller to requirement.txt - link ${P4C_LIB_DEPS} to bf_gtest_support target - link ${P4C_LIB_DEPS} to tofinobackend target Co-authored-by: Glen Gibb Co-authored-by: Prathima Kotikalapudi Co-authored-by: Han Wang Signed-off-by: Han Wang * Fixes for coding-style issues - clang-format - black format - isort errors - ifdefs name fixes Co-authored-by: Glen Gibb Co-authored-by: Prathima Kotikalapudi Co-authored-by: Han Wang Signed-off-by: Han Wang * switch ENABLE_TOFINO to OFF by default Co-authored-by: Glen Gibb Co-authored-by: Prathima Kotikalapudi Co-authored-by: Han Wang Signed-off-by: Han Wang * try 20.04 build Co-authored-by: Glen Gibb Co-authored-by: Prathima Kotikalapudi Co-authored-by: Han Wang Signed-off-by: Han Wang * add FindZ3.cmake for bf-p4c Co-authored-by: Glen Gibb Co-authored-by: Prathima Kotikalapudi Co-authored-by: Han Wang Signed-off-by: Han Wang * Fix p4c driver issues - remove duplicated bmv2/psa.p4 and dpdk/psa.p4 - remove calling bfas in p4c-driver - disable a few driver tests Co-authored-by: Glen Gibb Co-authored-by: Prathima Kotikalapudi Co-authored-by: Han Wang Signed-off-by: Han Wang * Addressing review comments Co-authored-by: Glen Gibb Co-authored-by: Prathima Kotikalapudi Co-authored-by: Han Wang Signed-off-by: Han Wang * Update licenses to Apache 2.0 Co-authored-by: Glen Gibb Co-authored-by: Prathima Kotikalapudi Co-authored-by: Han Wang Signed-off-by: Han Wang * Create new test runner for tofino backend Co-authored-by: Glen Gibb Co-authored-by: Prathima Kotikalapudi Co-authored-by: Han Wang Signed-off-by: Han Wang * reenable driver tests Co-authored-by: Glen Gibb Co-authored-by: Prathima Kotikalapudi Co-authored-by: Han Wang Signed-off-by: Han Wang * address review comments Co-authored-by: Glen Gibb Co-authored-by: Prathima Kotikalapudi Co-authored-by: Han Wang Signed-off-by: Han Wang --------- Signed-off-by: Han Wang Co-authored-by: Glen Gibb Co-authored-by: Prathima Kotikalapudi Co-authored-by: Han Wang --- .github/workflows/ci-test-debian.yml | 33 + .gitignore | 3 + CMakeLists.txt | 32 +- CPPLINT.cfg | 1 + backends/common/psaProgramStructure.h | 8 +- backends/p4tools/cmake/common.cmake | 68 - backends/p4tools/common/CMakeLists.txt | 1 + backends/tofino/CMakeLists.txt | 268 + backends/tofino/CPackOptions.cmake | 19 + backends/tofino/Doxyfile.in | 2484 +++++++ backends/tofino/LICENSE | 14 + backends/tofino/LICENSE.in | 18 + backends/tofino/LICENSES.txt | 336 + backends/tofino/bf-p4c/.gdbinit | 731 ++ backends/tofino/bf-p4c/CMakeLists.txt | 1510 ++++ backends/tofino/bf-p4c/README.md | 396 + backends/tofino/bf-p4c/arch/add_t2na_meta.cpp | 78 + backends/tofino/bf-p4c/arch/add_t2na_meta.h | 37 + backends/tofino/bf-p4c/arch/arch.cpp | 527 ++ backends/tofino/bf-p4c/arch/arch.h | 489 ++ backends/tofino/bf-p4c/arch/arch_spec.cpp | 154 + backends/tofino/bf-p4c/arch/arch_spec.h | 160 + .../tofino/bf-p4c/arch/bridge_metadata.cpp | 394 + backends/tofino/bf-p4c/arch/bridge_metadata.h | 48 + .../bf-p4c/arch/check_extern_invocation.cpp | 146 + .../bf-p4c/arch/check_extern_invocation.h | 75 + .../bf-p4c/arch/collect_bridged_fields.cpp | 374 + .../bf-p4c/arch/collect_bridged_fields.h | 99 + .../collect_hardware_constrained_fields.cpp | 150 + .../collect_hardware_constrained_fields.h | 50 + .../fromv1.0/add_metadata_parser_states.cpp | 98 + .../fromv1.0/add_metadata_parser_states.h | 54 + .../tofino/bf-p4c/arch/fromv1.0/checksum.cpp | 34 + .../tofino/bf-p4c/arch/fromv1.0/checksum.h | 818 +++ .../arch/fromv1.0/egress_packet_length.cpp | 163 + .../arch/fromv1.0/egress_packet_length.h | 61 + .../bf-p4c/arch/fromv1.0/field_list.cpp | 92 + .../tofino/bf-p4c/arch/fromv1.0/field_list.h | 40 + backends/tofino/bf-p4c/arch/fromv1.0/lpf.cpp | 122 + backends/tofino/bf-p4c/arch/fromv1.0/lpf.h | 45 + .../tofino/bf-p4c/arch/fromv1.0/meter.cpp | 155 + backends/tofino/bf-p4c/arch/fromv1.0/meter.h | 45 + .../tofino/bf-p4c/arch/fromv1.0/mirror.cpp | 310 + backends/tofino/bf-p4c/arch/fromv1.0/mirror.h | 61 + .../bf-p4c/arch/fromv1.0/parser_counter.cpp | 286 + .../bf-p4c/arch/fromv1.0/parser_counter.h | 45 + .../tofino/bf-p4c/arch/fromv1.0/phase0.cpp | 958 +++ backends/tofino/bf-p4c/arch/fromv1.0/phase0.h | 207 + .../bf-p4c/arch/fromv1.0/primitives.cpp | 428 ++ .../bf-p4c/arch/fromv1.0/programStructure.cpp | 2719 +++++++ .../bf-p4c/arch/fromv1.0/programStructure.h | 1493 ++++ .../tofino/bf-p4c/arch/fromv1.0/resubmit.cpp | 248 + .../tofino/bf-p4c/arch/fromv1.0/resubmit.h | 50 + .../bf-p4c/arch/fromv1.0/stateful_alu.cpp | 1109 +++ .../bf-p4c/arch/fromv1.0/stateful_alu.h | 57 + .../bf-p4c/arch/fromv1.0/v1_converters.cpp | 750 ++ .../bf-p4c/arch/fromv1.0/v1_converters.h | 302 + .../arch/fromv1.0/v1_program_structure.cpp | 178 + .../arch/fromv1.0/v1_program_structure.h | 54 + backends/tofino/bf-p4c/arch/fromv1.0/wred.cpp | 137 + backends/tofino/bf-p4c/arch/fromv1.0/wred.h | 45 + backends/tofino/bf-p4c/arch/helpers.cpp | 187 + backends/tofino/bf-p4c/arch/helpers.h | 55 + .../tofino/bf-p4c/arch/intrinsic_metadata.cpp | 187 + .../tofino/bf-p4c/arch/intrinsic_metadata.h | 323 + .../tofino/bf-p4c/arch/program_structure.cpp | 163 + .../tofino/bf-p4c/arch/program_structure.h | 192 + .../bf-p4c/arch/psa/programStructure.cpp | 154 + .../tofino/bf-p4c/arch/psa/programStructure.h | 142 + backends/tofino/bf-p4c/arch/psa/psa.cpp | 1098 +++ backends/tofino/bf-p4c/arch/psa/psa.h | 59 + .../tofino/bf-p4c/arch/psa/psa_converters.cpp | 726 ++ .../tofino/bf-p4c/arch/psa/psa_converters.h | 257 + backends/tofino/bf-p4c/arch/psa/psa_model.cpp | 29 + backends/tofino/bf-p4c/arch/psa/psa_model.h | 528 ++ .../arch/psa/rewrite_bridge_metadata.cpp | 326 + .../bf-p4c/arch/psa/rewrite_bridge_metadata.h | 34 + .../bf-p4c/arch/psa/rewrite_packet_path.cpp | 691 ++ .../bf-p4c/arch/psa/rewrite_packet_path.h | 40 + .../bf-p4c/arch/remove_set_metadata.cpp | 93 + .../tofino/bf-p4c/arch/remove_set_metadata.h | 69 + .../bf-p4c/arch/rewrite_action_selector.cpp | 164 + .../bf-p4c/arch/rewrite_action_selector.h | 55 + backends/tofino/bf-p4c/arch/t2na.cpp | 63 + backends/tofino/bf-p4c/arch/t2na.h | 52 + backends/tofino/bf-p4c/arch/tna.cpp | 65 + backends/tofino/bf-p4c/arch/tna.h | 79 + .../tofino/bf-p4c/arch/tna/primitives.cpp | 608 ++ backends/tofino/bf-p4c/arch/v1model.cpp | 2536 +++++++ backends/tofino/bf-p4c/arch/v1model.h | 80 + backends/tofino/bf-p4c/asm.cpp | 130 + backends/tofino/bf-p4c/asm.h | 87 + backends/tofino/bf-p4c/backend.cpp | 510 ++ backends/tofino/bf-p4c/backend.h | 127 + backends/tofino/bf-p4c/bf-p4c-options.cpp | 956 +++ backends/tofino/bf-p4c/bf-p4c-options.h | 228 + backends/tofino/bf-p4c/common/alias.cpp | 218 + backends/tofino/bf-p4c/common/alias.h | 146 + backends/tofino/bf-p4c/common/alloc.h | 247 + backends/tofino/bf-p4c/common/asm_output.cpp | 216 + backends/tofino/bf-p4c/common/asm_output.h | 262 + backends/tofino/bf-p4c/common/autoindent.h | 38 + .../tofino/bf-p4c/common/bridged_packing.cpp | 2525 +++++++ .../tofino/bf-p4c/common/bridged_packing.h | 1044 +++ .../bf-p4c/common/check_field_corruption.cpp | 206 + .../bf-p4c/common/check_field_corruption.h | 64 + .../check_for_unimplemented_features.cpp | 45 + .../common/check_for_unimplemented_features.h | 66 + .../tofino/bf-p4c/common/check_header_refs.h | 41 + .../common/check_uninitialized_read.cpp | 291 + .../bf-p4c/common/check_uninitialized_read.h | 88 + backends/tofino/bf-p4c/common/debug_info.h | 44 + backends/tofino/bf-p4c/common/dump_pipe.cpp | 46 + backends/tofino/bf-p4c/common/elim_unused.cpp | 296 + backends/tofino/bf-p4c/common/elim_unused.h | 73 + .../tofino/bf-p4c/common/empty_tableseq.cpp | 50 + .../tofino/bf-p4c/common/empty_tableseq.h | 36 + .../tofino/bf-p4c/common/extract_maupipe.cpp | 2095 ++++++ .../tofino/bf-p4c/common/extract_maupipe.h | 245 + .../tofino/bf-p4c/common/field_defuse.cpp | 798 +++ backends/tofino/bf-p4c/common/field_defuse.h | 297 + .../tofino/bf-p4c/common/front_end_policy.h | 44 + .../tofino/bf-p4c/common/header_stack.cpp | 283 + backends/tofino/bf-p4c/common/header_stack.h | 185 + backends/tofino/bf-p4c/common/ir_utils.cpp | 52 + backends/tofino/bf-p4c/common/ir_utils.h | 63 + .../bf-p4c/common/map_tables_to_actions.cpp | 87 + .../bf-p4c/common/map_tables_to_actions.h | 62 + .../tofino/bf-p4c/common/merge_pov_bits.cpp | 419 ++ .../tofino/bf-p4c/common/merge_pov_bits.h | 72 + .../tofino/bf-p4c/common/multiple_apply.cpp | 381 + .../tofino/bf-p4c/common/multiple_apply.h | 207 + .../tofino/bf-p4c/common/parse_annotations.h | 191 + backends/tofino/bf-p4c/common/pragma.h | 116 + .../tofino/bf-p4c/common/pragma/all_pragmas.h | 141 + .../common/pragma/collect_global_pragma.cpp | 130 + .../common/pragma/collect_global_pragma.h | 59 + backends/tofino/bf-p4c/common/pragma/pragma.h | 122 + .../tofino/bf-p4c/common/pragma/pragmas.cpp | 1395 ++++ backends/tofino/bf-p4c/common/run_id.cpp | 38 + backends/tofino/bf-p4c/common/run_id.h | 41 + .../tofino/bf-p4c/common/scc_toposort.cpp | 188 + backends/tofino/bf-p4c/common/scc_toposort.h | 70 + backends/tofino/bf-p4c/common/size_of.cpp | 131 + backends/tofino/bf-p4c/common/size_of.h | 91 + backends/tofino/bf-p4c/common/slice.cpp | 185 + backends/tofino/bf-p4c/common/slice.h | 75 + backends/tofino/bf-p4c/common/table_printer.h | 131 + backends/tofino/bf-p4c/common/tofino_model.h | 104 + backends/tofino/bf-p4c/common/utils.cpp | 100 + backends/tofino/bf-p4c/common/utils.h | 90 + .../tofino/bf-p4c/control-plane/bfruntime.cpp | 996 +++ .../tofino/bf-p4c/control-plane/bfruntime.h | 428 ++ .../control-plane/bfruntime_arch_handler.h | 2471 +++++++ .../bf-p4c/control-plane/bfruntime_ext.cpp | 1497 ++++ .../bf-p4c/control-plane/bfruntime_ext.h | 306 + .../control-plane/p4runtime_force_std.cpp | 408 ++ .../control-plane/p4runtime_force_std.h | 37 + .../control-plane/proto/barefoot/p4info.proto | 223 + .../tofino/bf-p4c/control-plane/runtime.cpp | 161 + .../tofino/bf-p4c/control-plane/runtime.h | 73 + backends/tofino/bf-p4c/device.cpp | 61 + backends/tofino/bf-p4c/device.h | 333 + backends/tofino/bf-p4c/driver/barefoot.py | 1336 ++++ backends/tofino/bf-p4c/driver/bfn_version.in | 27 + backends/tofino/bf-p4c/driver/p4c.tofino.cfg | 45 + backends/tofino/bf-p4c/driver/p4c.tofino2.cfg | 53 + .../tofino/bf-p4c/driver/requirements.txt | 18 + backends/tofino/bf-p4c/frontend.cpp | 129 + backends/tofino/bf-p4c/frontend.h | 26 + backends/tofino/bf-p4c/ir/arch.def | 122 + backends/tofino/bf-p4c/ir/bitrange.cpp | 34 + backends/tofino/bf-p4c/ir/bitrange.h | 33 + .../tofino/bf-p4c/ir/control_flow_visitor.cpp | 49 + .../tofino/bf-p4c/ir/control_flow_visitor.h | 68 + backends/tofino/bf-p4c/ir/dbprint-tofino.cpp | 485 ++ .../tofino/bf-p4c/ir/gateway_control_flow.cpp | 57 + .../tofino/bf-p4c/ir/gateway_control_flow.h | 63 + backends/tofino/bf-p4c/ir/gress.cpp | 83 + backends/tofino/bf-p4c/ir/gress.h | 50 + backends/tofino/bf-p4c/ir/ir_enums.cpp | 258 + backends/tofino/bf-p4c/ir/ir_enums.h | 122 + backends/tofino/bf-p4c/ir/mau.cpp | 1046 +++ backends/tofino/bf-p4c/ir/mau.def | 1234 ++++ backends/tofino/bf-p4c/ir/parde-lowered.def | 579 ++ backends/tofino/bf-p4c/ir/parde.def | 751 ++ backends/tofino/bf-p4c/ir/table_tree.h | 128 + backends/tofino/bf-p4c/ir/thread_visitor.cpp | 41 + backends/tofino/bf-p4c/ir/thread_visitor.h | 35 + backends/tofino/bf-p4c/ir/tofino.cpp | 88 + backends/tofino/bf-p4c/ir/tofino.def | 558 ++ .../tofino/bf-p4c/ir/tofino_write_context.cpp | 199 + .../tofino/bf-p4c/ir/tofino_write_context.h | 47 + backends/tofino/bf-p4c/ir/unique_id.cpp | 101 + backends/tofino/bf-p4c/ir/unique_id.h | 203 + backends/tofino/bf-p4c/lib/assoc.h | 558 ++ backends/tofino/bf-p4c/lib/autoclone.h | 44 + backends/tofino/bf-p4c/lib/boost_graph.h | 148 + backends/tofino/bf-p4c/lib/cmp.h | 126 + backends/tofino/bf-p4c/lib/dyn_vector.h | 45 + backends/tofino/bf-p4c/lib/error_macros.h | 46 + backends/tofino/bf-p4c/lib/error_type.cpp | 53 + backends/tofino/bf-p4c/lib/error_type.h | 66 + backends/tofino/bf-p4c/lib/log_fixup.h | 40 + backends/tofino/bf-p4c/lib/pad_alignment.h | 29 + backends/tofino/bf-p4c/lib/pointer_wrapper.h | 45 + backends/tofino/bf-p4c/lib/safe_width.h | 36 + backends/tofino/bf-p4c/lib/union_find.hpp | 237 + backends/tofino/bf-p4c/logging/CMakeLists.txt | 57 + .../bf-p4c/logging/bf_error_reporter.cpp | 181 + .../tofino/bf-p4c/logging/bf_error_reporter.h | 88 + .../logging/collect_diagnostic_checks.cpp | 154 + .../logging/collect_diagnostic_checks.h | 66 + .../bf-p4c/logging/constrained_fields.cpp | 134 + .../bf-p4c/logging/constrained_fields.h | 151 + .../logging/container_size_extractor.cpp | 149 + .../bf-p4c/logging/container_size_extractor.h | 56 + .../tofino/bf-p4c/logging/event_logger.cpp | 306 + backends/tofino/bf-p4c/logging/event_logger.h | 268 + backends/tofino/bf-p4c/logging/filelog.cpp | 46 + backends/tofino/bf-p4c/logging/filelog.h | 116 + .../tofino/bf-p4c/logging/generate_logging.py | 1268 ++++ .../logging/group_constraint_extractor.cpp | 94 + .../logging/group_constraint_extractor.h | 80 + backends/tofino/bf-p4c/logging/logging.h | 75 + backends/tofino/bf-p4c/logging/manifest.cpp | 417 ++ backends/tofino/bf-p4c/logging/manifest.h | 173 + .../tofino/bf-p4c/logging/pass_manager.cpp | 21 + backends/tofino/bf-p4c/logging/pass_manager.h | 82 + .../tofino/bf-p4c/logging/phv_logging.cpp | 981 +++ backends/tofino/bf-p4c/logging/phv_logging.h | 351 + .../tofino/bf-p4c/logging/rapidjson_adapter.h | 87 + backends/tofino/bf-p4c/logging/resources.cpp | 941 +++ backends/tofino/bf-p4c/logging/resources.h | 255 + .../tofino/bf-p4c/logging/resources_clot.cpp | 237 + .../tofino/bf-p4c/logging/resources_clot.h | 75 + .../bf-p4c/logging/resources_parser.cpp | 230 + .../tofino/bf-p4c/logging/resources_parser.h | 100 + .../bf-p4c/logging/source_info_logging.cpp | 348 + .../bf-p4c/logging/source_info_logging.h | 144 + backends/tofino/bf-p4c/logging/test_phv.cpp | 165 + .../tofino/bf-p4c/mau/action_analysis.cpp | 2989 ++++++++ backends/tofino/bf-p4c/mau/action_analysis.h | 688 ++ .../tofino/bf-p4c/mau/action_data_bus.cpp | 115 + backends/tofino/bf-p4c/mau/action_data_bus.h | 178 + backends/tofino/bf-p4c/mau/action_format.cpp | 3754 ++++++++++ backends/tofino/bf-p4c/mau/action_format.h | 1160 +++ backends/tofino/bf-p4c/mau/action_mutex.cpp | 103 + backends/tofino/bf-p4c/mau/action_mutex.h | 65 + backends/tofino/bf-p4c/mau/add_always_run.cpp | 300 + backends/tofino/bf-p4c/mau/add_always_run.h | 133 + .../tofino/bf-p4c/mau/adjust_byte_count.cpp | 127 + .../tofino/bf-p4c/mau/adjust_byte_count.h | 62 + backends/tofino/bf-p4c/mau/asm_format_hash.h | 454 ++ .../tofino/bf-p4c/mau/asm_hash_output.cpp | 524 ++ backends/tofino/bf-p4c/mau/asm_hash_output.h | 105 + backends/tofino/bf-p4c/mau/asm_output.cpp | 3618 ++++++++++ backends/tofino/bf-p4c/mau/asm_output.h | 263 + backends/tofino/bf-p4c/mau/attached_entries.h | 59 + backends/tofino/bf-p4c/mau/attached_info.cpp | 680 ++ backends/tofino/bf-p4c/mau/attached_info.h | 357 + .../tofino/bf-p4c/mau/attached_output.cpp | 283 + backends/tofino/bf-p4c/mau/attached_output.h | 87 + .../tofino/bf-p4c/mau/build_power_graph.cpp | 151 + .../tofino/bf-p4c/mau/build_power_graph.h | 72 + backends/tofino/bf-p4c/mau/check_duplicate.h | 68 + backends/tofino/bf-p4c/mau/db-gateway.cpp | 67 + backends/tofino/bf-p4c/mau/default_next.h | 213 + .../bf-p4c/mau/determine_power_usage.cpp | 516 ++ .../tofino/bf-p4c/mau/determine_power_usage.h | 143 + .../tofino/bf-p4c/mau/dump_json_graph.cpp | 33 + backends/tofino/bf-p4c/mau/dump_json_graph.h | 40 + .../tofino/bf-p4c/mau/dynamic_dep_metrics.cpp | 191 + .../tofino/bf-p4c/mau/dynamic_dep_metrics.h | 57 + backends/tofino/bf-p4c/mau/dynhash.cpp | 648 ++ backends/tofino/bf-p4c/mau/dynhash.h | 156 + backends/tofino/bf-p4c/mau/empty_controls.h | 44 + backends/tofino/bf-p4c/mau/field_use.cpp | 111 + backends/tofino/bf-p4c/mau/field_use.h | 68 + .../mau/finalize_mau_pred_deps_power.cpp | 78 + .../bf-p4c/mau/finalize_mau_pred_deps_power.h | 77 + backends/tofino/bf-p4c/mau/gateway.cpp | 1440 ++++ backends/tofino/bf-p4c/mau/gateway.h | 222 + backends/tofino/bf-p4c/mau/gen_prim_json.cpp | 474 ++ backends/tofino/bf-p4c/mau/gen_prim_json.h | 116 + backends/tofino/bf-p4c/mau/handle_assign.cpp | 234 + backends/tofino/bf-p4c/mau/handle_assign.h | 133 + backends/tofino/bf-p4c/mau/hash_function.cpp | 598 ++ backends/tofino/bf-p4c/mau/hash_function.h | 143 + .../tofino/bf-p4c/mau/hash_mask_annotations.h | 88 + backends/tofino/bf-p4c/mau/input_xbar.cpp | 870 +++ backends/tofino/bf-p4c/mau/input_xbar.h | 563 ++ .../bf-p4c/mau/instruction_adjustment.cpp | 1810 +++++ .../bf-p4c/mau/instruction_adjustment.h | 348 + .../tofino/bf-p4c/mau/instruction_memory.cpp | 410 ++ .../tofino/bf-p4c/mau/instruction_memory.h | 182 + .../bf-p4c/mau/instruction_selection.cpp | 3260 +++++++++ .../tofino/bf-p4c/mau/instruction_selection.h | 717 ++ backends/tofino/bf-p4c/mau/ixbar_expr.cpp | 371 + backends/tofino/bf-p4c/mau/ixbar_expr.h | 336 + backends/tofino/bf-p4c/mau/ixbar_info.cpp | 97 + backends/tofino/bf-p4c/mau/ixbar_info.h | 55 + backends/tofino/bf-p4c/mau/ixbar_realign.cpp | 125 + backends/tofino/bf-p4c/mau/ixbar_realign.h | 46 + .../tofino/bf-p4c/mau/jbay_next_table.cpp | 1060 +++ backends/tofino/bf-p4c/mau/jbay_next_table.h | 268 + backends/tofino/bf-p4c/mau/mau_alloc.cpp | 65 + backends/tofino/bf-p4c/mau/mau_alloc.h | 50 + backends/tofino/bf-p4c/mau/mau_power.cpp | 768 ++ backends/tofino/bf-p4c/mau/mau_power.h | 505 ++ backends/tofino/bf-p4c/mau/mau_spec.cpp | 177 + backends/tofino/bf-p4c/mau/mau_spec.h | 188 + backends/tofino/bf-p4c/mau/mau_visitor.h | 80 + backends/tofino/bf-p4c/mau/memories.cpp | 62 + backends/tofino/bf-p4c/mau/memories.h | 295 + backends/tofino/bf-p4c/mau/next_table.h | 66 + .../tofino/bf-p4c/mau/payload_gateway.cpp | 620 ++ backends/tofino/bf-p4c/mau/payload_gateway.h | 88 + backends/tofino/bf-p4c/mau/power_spec.h | 244 + backends/tofino/bf-p4c/mau/push_pop.h | 177 + backends/tofino/bf-p4c/mau/reduction_or.cpp | 76 + backends/tofino/bf-p4c/mau/reduction_or.h | 73 + .../tofino/bf-p4c/mau/remove_act_tables.cpp | 27 + .../tofino/bf-p4c/mau/remove_act_tables.h | 69 + .../tofino/bf-p4c/mau/remove_noop_gateway.h | 57 + backends/tofino/bf-p4c/mau/resource.cpp | 159 + backends/tofino/bf-p4c/mau/resource.h | 93 + .../tofino/bf-p4c/mau/resource_estimate.cpp | 1704 +++++ .../tofino/bf-p4c/mau/resource_estimate.h | 235 + .../tofino/bf-p4c/mau/selector_update.cpp | 47 + backends/tofino/bf-p4c/mau/selector_update.h | 62 + .../tofino/bf-p4c/mau/simple_power_graph.cpp | 423 ++ .../tofino/bf-p4c/mau/simple_power_graph.h | 237 + backends/tofino/bf-p4c/mau/split_gateways.cpp | 118 + backends/tofino/bf-p4c/mau/split_gateways.h | 56 + backends/tofino/bf-p4c/mau/stateful_alu.cpp | 2690 +++++++ backends/tofino/bf-p4c/mau/stateful_alu.h | 465 ++ .../bf-p4c/mau/static_entries_const_prop.h | 147 + .../tofino/bf-p4c/mau/table_control_deps.cpp | 54 + .../tofino/bf-p4c/mau/table_control_deps.h | 54 + .../bf-p4c/mau/table_dependency_graph.cpp | 2723 +++++++ .../bf-p4c/mau/table_dependency_graph.h | 1105 +++ .../tofino/bf-p4c/mau/table_flow_graph.cpp | 343 + backends/tofino/bf-p4c/mau/table_flow_graph.h | 397 ++ backends/tofino/bf-p4c/mau/table_format.cpp | 2844 ++++++++ backends/tofino/bf-p4c/mau/table_format.h | 393 + .../tofino/bf-p4c/mau/table_injected_deps.cpp | 661 ++ .../tofino/bf-p4c/mau/table_injected_deps.h | 239 + backends/tofino/bf-p4c/mau/table_layout.cpp | 1709 +++++ backends/tofino/bf-p4c/mau/table_layout.h | 352 + backends/tofino/bf-p4c/mau/table_mutex.cpp | 261 + backends/tofino/bf-p4c/mau/table_mutex.h | 201 + .../tofino/bf-p4c/mau/table_placement.cpp | 6345 +++++++++++++++++ backends/tofino/bf-p4c/mau/table_placement.h | 422 ++ backends/tofino/bf-p4c/mau/table_seqdeps.cpp | 67 + backends/tofino/bf-p4c/mau/table_seqdeps.h | 36 + backends/tofino/bf-p4c/mau/table_summary.cpp | 1123 +++ backends/tofino/bf-p4c/mau/table_summary.h | 448 ++ .../bf-p4c/mau/tofino/action_data_bus.cpp | 1213 ++++ .../bf-p4c/mau/tofino/action_data_bus.h | 218 + .../tofino/bf-p4c/mau/tofino/asm_output.cpp | 444 ++ .../tofino/bf-p4c/mau/tofino/asm_output.h | 44 + .../tofino/bf-p4c/mau/tofino/input_xbar.cpp | 4497 ++++++++++++ .../tofino/bf-p4c/mau/tofino/input_xbar.h | 748 ++ .../bf-p4c/mau/tofino/instruction_memory.h | 51 + .../tofino/bf-p4c/mau/tofino/mau_spec.cpp | 31 + .../tofino/bf-p4c/mau/tofino/memories.cpp | 4498 ++++++++++++ backends/tofino/bf-p4c/mau/tofino/memories.h | 743 ++ .../tofino/bf-p4c/mau/validate_actions.cpp | 72 + backends/tofino/bf-p4c/mau/validate_actions.h | 50 + .../tofino/bf-p4c/mau/walk_power_graph.cpp | 1121 +++ backends/tofino/bf-p4c/mau/walk_power_graph.h | 182 + backends/tofino/bf-p4c/midend.cpp | 472 ++ backends/tofino/bf-p4c/midend.h | 46 + .../bf-p4c/midend/action_synthesis_policy.h | 206 + backends/tofino/bf-p4c/midend/alpm.cpp | 816 +++ backends/tofino/bf-p4c/midend/alpm.h | 205 + .../bf-p4c/midend/annotate_with_in_hash.cpp | 270 + .../bf-p4c/midend/annotate_with_in_hash.h | 99 + backends/tofino/bf-p4c/midend/blockmap.h | 86 + .../bf-p4c/midend/check_design_pattern.cpp | 169 + .../bf-p4c/midend/check_design_pattern.h | 164 + .../bf-p4c/midend/check_header_alignment.cpp | 269 + .../bf-p4c/midend/check_header_alignment.h | 165 + .../bf-p4c/midend/check_register_actions.cpp | 90 + .../bf-p4c/midend/check_register_actions.h | 46 + .../bf-p4c/midend/check_unsupported.cpp | 165 + .../tofino/bf-p4c/midend/check_unsupported.h | 47 + .../bf-p4c/midend/collect_pipelines.cpp | 133 + .../tofino/bf-p4c/midend/collect_pipelines.h | 121 + .../bf-p4c/midend/copy_block_pragmas.cpp | 63 + .../tofino/bf-p4c/midend/copy_block_pragmas.h | 44 + backends/tofino/bf-p4c/midend/copy_header.cpp | 271 + backends/tofino/bf-p4c/midend/copy_header.h | 39 + backends/tofino/bf-p4c/midend/defuse.cpp | 616 ++ backends/tofino/bf-p4c/midend/defuse.h | 177 + .../bf-p4c/midend/desugar_varbit_extract.cpp | 1488 ++++ .../bf-p4c/midend/desugar_varbit_extract.h | 159 + .../midend/detect_multiple_pipelines.cpp | 44 + .../bf-p4c/midend/detect_multiple_pipelines.h | 44 + .../midend/drop_packet_with_mirror_engine.cpp | 139 + .../midend/drop_packet_with_mirror_engine.h | 106 + backends/tofino/bf-p4c/midend/elim_cast.cpp | 565 ++ backends/tofino/bf-p4c/midend/elim_cast.h | 255 + .../tofino/bf-p4c/midend/eliminate_tuples.cpp | 43 + .../tofino/bf-p4c/midend/eliminate_tuples.h | 83 + .../bf-p4c/midend/fold_constant_hashes.cpp | 443 ++ .../bf-p4c/midend/fold_constant_hashes.h | 134 + .../midend/initialize_mirror_io_select.cpp | 88 + .../midend/initialize_mirror_io_select.h | 85 + .../tofino/bf-p4c/midend/move_to_egress.cpp | 92 + .../tofino/bf-p4c/midend/move_to_egress.h | 38 + .../bf-p4c/midend/normalize_hash_list.cpp | 457 ++ .../bf-p4c/midend/normalize_hash_list.h | 105 + .../tofino/bf-p4c/midend/normalize_params.cpp | 94 + .../tofino/bf-p4c/midend/normalize_params.h | 100 + .../tofino/bf-p4c/midend/param_binding.cpp | 48 + backends/tofino/bf-p4c/midend/param_binding.h | 70 + .../midend/parser_enforce_depth_req.cpp | 1272 ++++ .../bf-p4c/midend/parser_enforce_depth_req.h | 89 + .../tofino/bf-p4c/midend/parser_graph.cpp | 102 + backends/tofino/bf-p4c/midend/parser_graph.h | 152 + .../tofino/bf-p4c/midend/path_linearizer.cpp | 111 + .../tofino/bf-p4c/midend/path_linearizer.h | 101 + .../bf-p4c/midend/ping_pong_generation.cpp | 731 ++ .../bf-p4c/midend/ping_pong_generation.h | 242 + .../bf-p4c/midend/register_read_write.cpp | 621 ++ .../bf-p4c/midend/register_read_write.h | 216 + .../bf-p4c/midend/remove_action_params.h | 197 + .../bf-p4c/midend/remove_select_booleans.h | 85 + ...rewrite_egress_intrinsic_metadata_header.h | 166 + .../bf-p4c/midend/rewrite_flexible_header.h | 75 + .../bf-p4c/midend/simplifyIfStatement.cpp | 66 + .../bf-p4c/midend/simplifyIfStatement.h | 79 + .../tofino/bf-p4c/midend/simplify_args.cpp | 682 ++ backends/tofino/bf-p4c/midend/simplify_args.h | 337 + .../bf-p4c/midend/simplify_key_policy.h | 92 + .../bf-p4c/midend/simplify_nested_if.cpp | 244 + .../tofino/bf-p4c/midend/simplify_nested_if.h | 218 + .../bf-p4c/midend/simplify_references.cpp | 308 + .../bf-p4c/midend/simplify_references.h | 65 + backends/tofino/bf-p4c/midend/table_mutex.cpp | 145 + backends/tofino/bf-p4c/midend/table_mutex.h | 51 + .../tofino/bf-p4c/midend/type_categories.cpp | 145 + .../tofino/bf-p4c/midend/type_categories.h | 119 + .../tofino/bf-p4c/midend/type_checker.cpp | 127 + backends/tofino/bf-p4c/midend/type_checker.h | 76 + .../bf-p4c/p4_14include/tofino/constants.p4 | 71 + .../p4_14include/tofino/intrinsic_metadata.p4 | 461 ++ .../p4_14include/tofino/lpf_blackbox.p4 | 72 + .../p4_14include/tofino/meter_blackbox.p4 | 154 + .../p4_14include/tofino/pktgen_headers.p4 | 75 + .../bf-p4c/p4_14include/tofino/primitives.p4 | 45 + .../tofino/stateful_alu_blackbox.p4 | 295 + .../p4_14include/tofino/wred_blackbox.p4 | 83 + .../tofino2/intrinsic_metadata.p4 | 499 ++ .../tofino3/intrinsic_metadata.p4 | 497 ++ backends/tofino/bf-p4c/p4c-barefoot.cpp | 673 ++ backends/tofino/bf-p4c/p4include/t2na.p4 | 31 + backends/tofino/bf-p4c/p4include/tna.p4 | 33 + .../tofino/bf-p4c/p4include/tofino/lpf.p4 | 30 + .../tofino/bf-p4c/p4include/tofino/meter.p4 | 37 + .../bf-p4c/p4include/tofino/p4_14_prim.p4 | 51 + .../tofino/bf-p4c/p4include/tofino/psa.p4 | 876 +++ .../bf-p4c/p4include/tofino/stateful_alu.p4 | 66 + .../tofino/bf-p4c/p4include/tofino/stratum.p4 | 115 + .../tofino/bf-p4c/p4include/tofino/wred.p4 | 30 + .../tofino/bf-p4c/p4include/tofino1_arch.p4 | 159 + .../tofino/bf-p4c/p4include/tofino1_base.p4 | 846 +++ .../tofino/bf-p4c/p4include/tofino1_specs.p4 | 72 + .../tofino/bf-p4c/p4include/tofino2_arch.p4 | 107 + .../tofino/bf-p4c/p4include/tofino2_base.p4 | 1254 ++++ .../tofino/bf-p4c/p4include/tofino2_specs.p4 | 75 + backends/tofino/bf-p4c/p4include/tofino5.p4 | 1148 +++ .../tofino/bf-p4c/parde/add_metadata_pov.cpp | 134 + .../tofino/bf-p4c/parde/add_metadata_pov.h | 56 + .../bf-p4c/parde/add_parde_metadata.cpp | 207 + .../tofino/bf-p4c/parde/add_parde_metadata.h | 80 + .../tofino/bf-p4c/parde/adjust_extract.cpp | 189 + backends/tofino/bf-p4c/parde/adjust_extract.h | 54 + .../bf-p4c/parde/allocate_parser_checksum.cpp | 860 +++ .../bf-p4c/parde/allocate_parser_checksum.h | 188 + .../parde/allocate_parser_match_register.cpp | 2055 ++++++ .../parde/allocate_parser_match_register.h | 56 + backends/tofino/bf-p4c/parde/asm_output.h | 72 + .../tofino/bf-p4c/parde/characterize_parser.h | 310 + .../bf-p4c/parde/check_parser_multi_write.cpp | 1124 +++ .../bf-p4c/parde/check_parser_multi_write.h | 116 + backends/tofino/bf-p4c/parde/clot/README.md | 267 + .../bf-p4c/parde/clot/allocate_clot.cpp | 1621 +++++ .../tofino/bf-p4c/parde/clot/allocate_clot.h | 52 + .../bf-p4c/parde/clot/check_clot_groups.cpp | 106 + .../bf-p4c/parde/clot/check_clot_groups.h | 58 + backends/tofino/bf-p4c/parde/clot/clot.cpp | 222 + backends/tofino/bf-p4c/parde/clot/clot.h | 191 + .../bf-p4c/parde/clot/clot_candidate.cpp | 262 + .../tofino/bf-p4c/parde/clot/clot_candidate.h | 154 + .../tofino/bf-p4c/parde/clot/clot_info.cpp | 1489 ++++ backends/tofino/bf-p4c/parde/clot/clot_info.h | 498 ++ .../bf-p4c/parde/clot/deparse_graph.cpp | 84 + .../tofino/bf-p4c/parde/clot/deparse_graph.h | 103 + .../bf-p4c/parde/clot/field_pov_analysis.cpp | 112 + .../bf-p4c/parde/clot/field_pov_analysis.h | 75 + .../parde/clot/field_slice_extract_info.cpp | 282 + .../parde/clot/field_slice_extract_info.h | 262 + .../bf-p4c/parde/clot/field_slice_set.h | 80 + .../parde/clot/header_validity_analysis.cpp | 243 + .../parde/clot/header_validity_analysis.h | 123 + .../clot/merge_desugared_varbit_valids.cpp | 173 + .../clot/merge_desugared_varbit_valids.h | 40 + .../parde/clot/pragma/do_not_use_clot.cpp | 116 + .../parde/clot/pragma/do_not_use_clot.h | 67 + .../tofino/bf-p4c/parde/clot/pseudoheader.cpp | 21 + .../tofino/bf-p4c/parde/clot/pseudoheader.h | 50 + .../tofino/bf-p4c/parde/coalesce_learning.cpp | 59 + .../tofino/bf-p4c/parde/coalesce_learning.h | 43 + .../bf-p4c/parde/collect_parser_usedef.h | 772 ++ .../tofino/bf-p4c/parde/common/allocators.h | 464 ++ .../bf-p4c/parde/common/match_reducer.h | 104 + .../parde/count_strided_header_refs.cpp | 28 + .../bf-p4c/parde/count_strided_header_refs.h | 32 + .../bf-p4c/parde/create_pov_encoder.cpp | 110 + .../tofino/bf-p4c/parde/create_pov_encoder.h | 38 + backends/tofino/bf-p4c/parde/decaf.cpp | 1786 +++++ backends/tofino/bf-p4c/parde/decaf.h | 780 ++ .../bf-p4c/parde/deparser_checksum_update.cpp | 1090 +++ .../bf-p4c/parde/deparser_checksum_update.h | 63 + .../tofino/bf-p4c/parde/deparser_output.cpp | 457 ++ backends/tofino/bf-p4c/parde/dump_parser.h | 335 + .../tofino/bf-p4c/parde/extract_deparser.cpp | 573 ++ .../tofino/bf-p4c/parde/extract_deparser.h | 157 + .../tofino/bf-p4c/parde/extract_parser.cpp | 1862 +++++ backends/tofino/bf-p4c/parde/extract_parser.h | 88 + .../tofino/bf-p4c/parde/field_packing.cpp | 129 + backends/tofino/bf-p4c/parde/field_packing.h | 168 + .../tofino/bf-p4c/parde/header_output.cpp | 17 + .../bf-p4c/parde/infer_payload_offset.cpp | 747 ++ .../bf-p4c/parde/infer_payload_offset.h | 113 + backends/tofino/bf-p4c/parde/lower_parser.cpp | 445 ++ backends/tofino/bf-p4c/parde/lower_parser.h | 65 + .../lowered/compute_buffer_requirements.cpp | 64 + .../lowered/compute_buffer_requirements.h | 37 + .../lowered/compute_init_zero_containers.cpp | 89 + .../lowered/compute_init_zero_containers.h | 55 + .../lowered/compute_lowered_deparser_ir.cpp | 407 ++ .../lowered/compute_lowered_deparser_ir.h | 94 + .../lowered/compute_lowered_parser_ir.cpp | 379 + .../parde/lowered/compute_lowered_parser_ir.h | 94 + .../compute_multi_write_containers.cpp | 174 + .../lowered/compute_multi_write_containers.h | 70 + .../parde/lowered/eliminate_empty_states.cpp | 78 + .../parde/lowered/eliminate_empty_states.h | 48 + .../parde/lowered/extract_simplifier.cpp | 404 ++ .../bf-p4c/parde/lowered/extract_simplifier.h | 86 + .../tofino/bf-p4c/parde/lowered/helpers.cpp | 389 + .../tofino/bf-p4c/parde/lowered/helpers.h | 137 + .../lowered/hoist_common_match_operations.cpp | 501 ++ .../lowered/hoist_common_match_operations.h | 80 + .../lowered/merge_lowered_parser_states.cpp | 232 + .../lowered/merge_lowered_parser_states.h | 91 + .../parde/lowered/rewrite_emit_clot.cpp | 258 + .../bf-p4c/parde/lowered/rewrite_emit_clot.h | 48 + .../lowered/split_greedy_parser_states.cpp | 289 + .../lowered/split_greedy_parser_states.h | 142 + backends/tofino/bf-p4c/parde/marshal.cpp | 35 + backends/tofino/bf-p4c/parde/marshal.h | 72 + .../tofino/bf-p4c/parde/match_register.cpp | 57 + backends/tofino/bf-p4c/parde/match_register.h | 65 + .../bf-p4c/parde/merge_parser_state.cpp | 283 + .../tofino/bf-p4c/parde/merge_parser_state.h | 39 + .../parde/mirror/const_mirror_session_opt.cpp | 57 + .../parde/mirror/const_mirror_session_opt.h | 69 + backends/tofino/bf-p4c/parde/parde_spec.h | 675 ++ backends/tofino/bf-p4c/parde/parde_utils.h | 129 + backends/tofino/bf-p4c/parde/parde_visitor.h | 165 + .../bf-p4c/parde/parser_dominator_builder.cpp | 156 + .../bf-p4c/parde/parser_dominator_builder.h | 231 + .../bf-p4c/parde/parser_header_sequences.cpp | 174 + .../bf-p4c/parde/parser_header_sequences.h | 75 + backends/tofino/bf-p4c/parde/parser_info.h | 890 +++ .../tofino/bf-p4c/parde/parser_loops_info.cpp | 228 + .../tofino/bf-p4c/parde/parser_loops_info.h | 75 + .../tofino/bf-p4c/parde/parser_output.cpp | 500 ++ backends/tofino/bf-p4c/parde/parser_query.cpp | 124 + backends/tofino/bf-p4c/parde/parser_query.h | 79 + backends/tofino/bf-p4c/parde/phase0.cpp | 141 + backends/tofino/bf-p4c/parde/phase0.h | 33 + .../reset_invalidated_checksum_headers.h | 345 + .../bf-p4c/parde/resolve_negative_extract.h | 776 ++ .../bf-p4c/parde/rewrite_parser_locals.cpp | 58 + .../bf-p4c/parde/rewrite_parser_locals.h | 71 + .../bf-p4c/parde/split_parser_state.cpp | 1574 ++++ .../tofino/bf-p4c/parde/split_parser_state.h | 49 + .../tofino/bf-p4c/parde/stack_push_shims.h | 75 + .../bf-p4c/parde/update_parser_write_mode.h | 44 + .../phv/action_packing_validator_interface.h | 75 + .../bf-p4c/phv/action_phv_constraints.cpp | 4588 ++++++++++++ .../bf-p4c/phv/action_phv_constraints.h | 1158 +++ .../bf-p4c/phv/action_source_tracker.cpp | 208 + .../tofino/bf-p4c/phv/action_source_tracker.h | 99 + .../bf-p4c/phv/add_alias_allocation.cpp | 99 + .../tofino/bf-p4c/phv/add_alias_allocation.h | 53 + .../tofino/bf-p4c/phv/add_initialization.cpp | 985 +++ .../tofino/bf-p4c/phv/add_initialization.h | 242 + .../bf-p4c/phv/add_special_constraints.cpp | 137 + .../bf-p4c/phv/add_special_constraints.h | 76 + backends/tofino/bf-p4c/phv/alloc_setting.h | 41 + backends/tofino/bf-p4c/phv/allocate_phv.cpp | 5873 +++++++++++++++ backends/tofino/bf-p4c/phv/allocate_phv.h | 896 +++ .../allocate_temps_and_finalize_liverange.cpp | 171 + .../allocate_temps_and_finalize_liverange.h | 103 + .../bf-p4c/phv/analysis/build_mutex.cpp | 104 + .../tofino/bf-p4c/phv/analysis/build_mutex.h | 111 + .../phv/analysis/critical_path_clusters.cpp | 59 + .../phv/analysis/critical_path_clusters.h | 56 + backends/tofino/bf-p4c/phv/analysis/dark.cpp | 150 + backends/tofino/bf-p4c/phv/analysis/dark.h | 94 + .../bf-p4c/phv/analysis/dark_live_range.cpp | 1755 +++++ .../bf-p4c/phv/analysis/dark_live_range.h | 434 ++ .../bf-p4c/phv/analysis/deparser_zero.cpp | 210 + .../bf-p4c/phv/analysis/deparser_zero.h | 100 + .../bf-p4c/phv/analysis/dominator_tree.cpp | 362 + .../bf-p4c/phv/analysis/dominator_tree.h | 129 + .../bf-p4c/phv/analysis/header_mutex.cpp | 1527 ++++ .../tofino/bf-p4c/phv/analysis/header_mutex.h | 433 ++ .../bf-p4c/phv/analysis/jbay_phv_analysis.cpp | 637 ++ .../bf-p4c/phv/analysis/jbay_phv_analysis.h | 128 + .../phv/analysis/live_range_shrinking.cpp | 1098 +++ .../phv/analysis/live_range_shrinking.h | 233 + .../bf-p4c/phv/analysis/memoize_min_stage.cpp | 41 + .../bf-p4c/phv/analysis/memoize_min_stage.h | 42 + .../bf-p4c/phv/analysis/meta_live_range.cpp | 291 + .../bf-p4c/phv/analysis/meta_live_range.h | 157 + backends/tofino/bf-p4c/phv/analysis/mocha.cpp | 128 + backends/tofino/bf-p4c/phv/analysis/mocha.h | 66 + .../bf-p4c/phv/analysis/mutex_overlay.cpp | 318 + .../bf-p4c/phv/analysis/mutex_overlay.h | 324 + .../phv/analysis/non_mocha_dark_fields.cpp | 140 + .../phv/analysis/non_mocha_dark_fields.h | 77 + .../bf-p4c/phv/analysis/pack_conflicts.cpp | 382 + .../bf-p4c/phv/analysis/pack_conflicts.h | 117 + .../phv/analysis/parser_critical_path.cpp | 118 + .../phv/analysis/parser_critical_path.h | 179 + backends/tofino/bf-p4c/phv/asm_output.cpp | 370 + backends/tofino/bf-p4c/phv/asm_output.h | 84 + .../tofino/bf-p4c/phv/auto_init_metadata.cpp | 241 + .../tofino/bf-p4c/phv/auto_init_metadata.h | 87 + .../tofino/bf-p4c/phv/check_unallocated.cpp | 84 + .../tofino/bf-p4c/phv/check_unallocated.h | 49 + .../bf-p4c/phv/cluster_phv_operations.cpp | 507 ++ .../bf-p4c/phv/cluster_phv_operations.h | 106 + .../bf-p4c/phv/collect_strided_headers.h | 74 + .../tofino/bf-p4c/phv/collect_table_keys.cpp | 67 + .../tofino/bf-p4c/phv/collect_table_keys.h | 57 + .../bf-p4c/phv/constraints/constraints.cpp | 36 + .../bf-p4c/phv/constraints/constraints.h | 295 + .../phv/create_thread_local_instances.cpp | 211 + .../phv/create_thread_local_instances.h | 36 + .../tofino/bf-p4c/phv/dump_table_flow_graph.h | 131 + backends/tofino/bf-p4c/phv/error.h | 47 + .../bf-p4c/phv/fieldslice_live_range.cpp | 577 ++ .../tofino/bf-p4c/phv/fieldslice_live_range.h | 254 + .../phv/finalize_physical_liverange.cpp | 558 ++ .../bf-p4c/phv/finalize_physical_liverange.h | 123 + .../bf-p4c/phv/finalize_stage_allocation.cpp | 398 ++ .../bf-p4c/phv/finalize_stage_allocation.h | 99 + backends/tofino/bf-p4c/phv/init_in_mau.h | 236 + .../phv/legacy_action_packing_validator.cpp | 655 ++ .../phv/legacy_action_packing_validator.h | 54 + .../tofino/bf-p4c/phv/live_range_split.cpp | 698 ++ backends/tofino/bf-p4c/phv/live_range_split.h | 225 + backends/tofino/bf-p4c/phv/make_clusters.cpp | 1691 +++++ backends/tofino/bf-p4c/phv/make_clusters.h | 558 ++ .../tofino/bf-p4c/phv/mau_backtracker.cpp | 185 + backends/tofino/bf-p4c/phv/mau_backtracker.h | 140 + backends/tofino/bf-p4c/phv/optimize_phv.cpp | 400 ++ backends/tofino/bf-p4c/phv/optimize_phv.h | 118 + .../bf-p4c/phv/parde_phv_constraints.cpp | 219 + .../tofino/bf-p4c/phv/parde_phv_constraints.h | 78 + .../bf-p4c/phv/parser_extract_balance_score.h | 270 + .../phv/parser_packing_validator_interface.h | 36 + backends/tofino/bf-p4c/phv/phv.cpp | 285 + backends/tofino/bf-p4c/phv/phv.h | 339 + backends/tofino/bf-p4c/phv/phv_analysis.cpp | 280 + backends/tofino/bf-p4c/phv/phv_analysis.h | 159 + backends/tofino/bf-p4c/phv/phv_fields.cpp | 2609 +++++++ backends/tofino/bf-p4c/phv/phv_fields.h | 1847 +++++ .../tofino/bf-p4c/phv/phv_parde_mau_use.cpp | 331 + .../tofino/bf-p4c/phv/phv_parde_mau_use.h | 166 + backends/tofino/bf-p4c/phv/phv_spec.cpp | 793 ++ backends/tofino/bf-p4c/phv/phv_spec.h | 401 ++ .../tofino/bf-p4c/phv/pragma/pa_alias.cpp | 336 + backends/tofino/bf-p4c/phv/pragma/pa_alias.h | 104 + .../tofino/bf-p4c/phv/pragma/pa_atomic.cpp | 130 + backends/tofino/bf-p4c/phv/pragma/pa_atomic.h | 61 + .../tofino/bf-p4c/phv/pragma/pa_byte_pack.cpp | 198 + .../tofino/bf-p4c/phv/pragma/pa_byte_pack.h | 95 + .../bf-p4c/phv/pragma/pa_container_size.cpp | 305 + .../bf-p4c/phv/pragma/pa_container_size.h | 121 + .../bf-p4c/phv/pragma/pa_container_type.cpp | 161 + .../bf-p4c/phv/pragma/pa_container_type.h | 72 + .../bf-p4c/phv/pragma/pa_deparser_zero.cpp | 134 + .../bf-p4c/phv/pragma/pa_deparser_zero.h | 64 + .../phv/pragma/pa_mutually_exclusive.cpp | 144 + .../bf-p4c/phv/pragma/pa_mutually_exclusive.h | 71 + .../tofino/bf-p4c/phv/pragma/pa_no_init.cpp | 122 + .../tofino/bf-p4c/phv/pragma/pa_no_init.h | 66 + .../bf-p4c/phv/pragma/pa_no_overlay.cpp | 159 + .../tofino/bf-p4c/phv/pragma/pa_no_overlay.h | 73 + .../tofino/bf-p4c/phv/pragma/pa_no_pack.cpp | 107 + .../tofino/bf-p4c/phv/pragma/pa_no_pack.h | 56 + .../tofino/bf-p4c/phv/pragma/pa_solitary.cpp | 106 + .../tofino/bf-p4c/phv/pragma/pa_solitary.h | 41 + .../tofino/bf-p4c/phv/pragma/phv_pragmas.cpp | 176 + .../tofino/bf-p4c/phv/pragma/phv_pragmas.h | 158 + .../tofino/bf-p4c/phv/pragma/pretty_print.h | 36 + backends/tofino/bf-p4c/phv/slicing/README.md | 510 ++ .../phv/slicing/phv_slicing_dfs_iterator.cpp | 2239 ++++++ .../phv/slicing/phv_slicing_dfs_iterator.h | 384 + .../phv/slicing/phv_slicing_iterator.cpp | 38 + .../bf-p4c/phv/slicing/phv_slicing_iterator.h | 67 + .../bf-p4c/phv/slicing/phv_slicing_split.cpp | 502 ++ .../bf-p4c/phv/slicing/phv_slicing_split.h | 59 + backends/tofino/bf-p4c/phv/slicing/types.h | 124 + backends/tofino/bf-p4c/phv/solver/README.md | 120 + .../phv/solver/action_constraint_solver.cpp | 785 ++ .../phv/solver/action_constraint_solver.h | 360 + .../bf-p4c/phv/solver/symbolic_bitvec.cpp | 256 + .../bf-p4c/phv/solver/symbolic_bitvec.h | 106 + backends/tofino/bf-p4c/phv/split_padding.cpp | 93 + backends/tofino/bf-p4c/phv/split_padding.h | 45 + .../bf-p4c/phv/table_phv_constraints.cpp | 359 + .../tofino/bf-p4c/phv/table_phv_constraints.h | 117 + .../bf-p4c/phv/transforms/auto_alias.cpp | 238 + .../tofino/bf-p4c/phv/transforms/auto_alias.h | 116 + .../phv/utils/container_equivalence.cpp | 74 + .../bf-p4c/phv/utils/container_equivalence.h | 122 + .../bf-p4c/phv/utils/live_range_report.cpp | 222 + .../bf-p4c/phv/utils/live_range_report.h | 72 + .../bf-p4c/phv/utils/liverange_opti_utils.cpp | 198 + .../bf-p4c/phv/utils/liverange_opti_utils.h | 55 + backends/tofino/bf-p4c/phv/utils/report.cpp | 670 ++ backends/tofino/bf-p4c/phv/utils/report.h | 246 + .../tofino/bf-p4c/phv/utils/slice_alloc.cpp | 657 ++ .../tofino/bf-p4c/phv/utils/slice_alloc.h | 387 + .../tofino/bf-p4c/phv/utils/tables_to_ids.h | 66 + backends/tofino/bf-p4c/phv/utils/utils.cpp | 2137 ++++++ backends/tofino/bf-p4c/phv/utils/utils.h | 1280 ++++ backends/tofino/bf-p4c/phv/v2/README.md | 102 + .../phv/v2/action_packing_validator.cpp | 850 +++ .../bf-p4c/phv/v2/action_packing_validator.h | 54 + .../tofino/bf-p4c/phv/v2/allocator_base.cpp | 1934 +++++ .../tofino/bf-p4c/phv/v2/allocator_base.h | 339 + .../tofino/bf-p4c/phv/v2/allocator_metrics.h | 116 + backends/tofino/bf-p4c/phv/v2/copacker.cpp | 559 ++ backends/tofino/bf-p4c/phv/v2/copacker.h | 158 + .../tofino/bf-p4c/phv/v2/greedy_allocator.cpp | 718 ++ .../tofino/bf-p4c/phv/v2/greedy_allocator.h | 113 + .../tofino/bf-p4c/phv/v2/greedy_tx_score.cpp | 741 ++ .../tofino/bf-p4c/phv/v2/greedy_tx_score.h | 242 + .../bf-p4c/phv/v2/kind_size_indexed_map.cpp | 55 + .../bf-p4c/phv/v2/kind_size_indexed_map.h | 43 + .../bf-p4c/phv/v2/metadata_initialization.cpp | 800 +++ .../bf-p4c/phv/v2/metadata_initialization.h | 42 + .../phv/v2/parser_packing_validator.cpp | 300 + .../bf-p4c/phv/v2/parser_packing_validator.h | 117 + .../bf-p4c/phv/v2/phv_allocation_v2.cpp | 84 + .../tofino/bf-p4c/phv/v2/phv_allocation_v2.h | 46 + backends/tofino/bf-p4c/phv/v2/phv_kit.cpp | 422 ++ backends/tofino/bf-p4c/phv/v2/phv_kit.h | 213 + .../tofino/bf-p4c/phv/v2/smart_packing.cpp | 494 ++ backends/tofino/bf-p4c/phv/v2/smart_packing.h | 94 + backends/tofino/bf-p4c/phv/v2/sort_macros.h | 28 + .../v2/table_replay_friendly_constraints.cpp | 252 + .../v2/table_replay_friendly_constraints.h | 125 + .../bf-p4c/phv/v2/trivial_allocator.cpp | 449 ++ .../tofino/bf-p4c/phv/v2/trivial_allocator.h | 130 + backends/tofino/bf-p4c/phv/v2/tx_score.cpp | 64 + backends/tofino/bf-p4c/phv/v2/tx_score.h | 75 + backends/tofino/bf-p4c/phv/v2/types.cpp | 37 + backends/tofino/bf-p4c/phv/v2/types.h | 50 + backends/tofino/bf-p4c/phv/v2/utils_v2.cpp | 260 + backends/tofino/bf-p4c/phv/v2/utils_v2.h | 282 + .../tofino/bf-p4c/phv/validate_allocation.cpp | 915 +++ .../tofino/bf-p4c/phv/validate_allocation.h | 75 + backends/tofino/bf-p4c/replace_namespace.py | 133 + backends/tofino/bf-p4c/test/gtest/README.md | 49 + .../bf-p4c/test/gtest/action_analysis.cpp | 456 ++ .../test/gtest/action_format_helper.cpp | 912 +++ .../tofino/bf-p4c/test/gtest/action_mutex.cpp | 535 ++ .../tofino/bf-p4c/test/gtest/action_phv.cpp | 315 + .../bf-p4c/test/gtest/add_always_run.cpp | 714 ++ .../test/gtest/annotate_with_in_hash.cpp | 105 + .../bf-p4c/test/gtest/attached_info.cpp | 91 + .../bf-p4c/test/gtest/bf_gtest_helpers.cpp | 742 ++ .../bf-p4c/test/gtest/bf_gtest_helpers.h | 336 + .../tofino/bf-p4c/test/gtest/bfrt_pvs.cpp | 411 ++ .../tofino/bf-p4c/test/gtest/bitrange.cpp | 1470 ++++ .../bf-p4c/test/gtest/build_super_cluster.cpp | 103 + .../tofino/bf-p4c/test/gtest/checksum.cpp | 420 ++ backends/tofino/bf-p4c/test/gtest/clot.cpp | 1789 +++++ .../gtest/constrained_field_map_builder.cpp | 132 + .../bf-p4c/test/gtest/container_action.cpp | 780 ++ .../test/gtest/container_size_extractor.cpp | 166 + .../tofino/bf-p4c/test/gtest/copy_header.cpp | 234 + .../test/gtest/critical_path_clusters.cpp | 243 + .../test/gtest/custom_header_stack_name.cpp | 169 + .../bf-p4c/test/gtest/dominator_tree.cpp | 337 + .../bf-p4c/test/gtest/dynamic_dep_metrics.cpp | 413 ++ .../tofino/bf-p4c/test/gtest/elim_cast.cpp | 550 ++ .../test/gtest/equiv_align_extractor.cpp | 101 + .../bf-p4c/test/gtest/error_reporter.cpp | 420 ++ .../tofino/bf-p4c/test/gtest/event_logger.cpp | 365 + .../bf-p4c/test/gtest/field_alignment.cpp | 237 + .../tofino/bf-p4c/test/gtest/field_defuse.cpp | 535 ++ .../bf-p4c/test/gtest/field_packing.cpp | 360 + .../bf-p4c/test/gtest/flatrock_hdr_asm.cpp | 17 + .../test/gtest/flatrock_metadata_packer.cpp | 17 + .../bf-p4c/test/gtest/flatrock_parser.cpp | 17 + .../test/gtest/fold_constant_hashes.cpp | 186 + .../test/gtest/gateway_control_flow.cpp | 301 + .../bf-p4c/test/gtest/hidden_merged.cpp | 76 + .../gtest/initialize_mirror_io_select.cpp | 186 + .../tofino/bf-p4c/test/gtest/input_xbar.cpp | 158 + .../tofino/bf-p4c/test/gtest/ir_utils.cpp | 68 + .../bf-p4c/test/gtest/jbay_next_table.cpp | 2422 +++++++ .../test/gtest/mask_exact_match_hash_bits.cpp | 649 ++ .../test/gtest/mau_control_flow_visitor.cpp | 118 + .../bf-p4c/test/gtest/mau_group_extractor.cpp | 218 + .../mau_indirect_externs_single_action.cpp | 146 + .../bf-p4c/test/gtest/meta_live_range.cpp | 232 + .../tofino/bf-p4c/test/gtest/mocha_dark.cpp | 204 + .../test/gtest/multipipe_bf_runtime.cpp | 189 + .../bf-p4c/test/gtest/multiple_apply.cpp | 756 ++ .../tofino/bf-p4c/test/gtest/no_co_pack.cpp | 143 + .../bf-p4c/test/gtest/normalize_hash_list.cpp | 205 + .../tofino/bf-p4c/test/gtest/pa_atomic.cpp | 117 + .../tofino/bf-p4c/test/gtest/pa_byte_pack.cpp | 256 + .../bf-p4c/test/gtest/pa_container_size.cpp | 131 + .../bf-p4c/test/gtest/pa_container_type.cpp | 128 + .../gtest/pa_mutually_exclusive_pragma.cpp | 281 + .../bf-p4c/test/gtest/pa_no_overlay.cpp | 136 + .../tofino/bf-p4c/test/gtest/pa_solitary.cpp | 126 + .../test/gtest/parser_constant_extract.cpp | 224 + .../test/gtest/parser_container_valid.cpp | 167 + .../test/gtest/parser_critical_path.cpp | 167 + .../parser_elim_lowered_zero_extracts.cpp | 269 + .../test/gtest/parser_enforce_depth_req.cpp | 278 + .../test/gtest/parser_extract_overlay.cpp | 277 + .../test/gtest/parser_extract_reorder.cpp | 357 + .../bf-p4c/test/gtest/parser_state_merge.cpp | 616 ++ .../bf-p4c/test/gtest/path_linearizer.cpp | 126 + .../bf-p4c/test/gtest/payload_gateway.cpp | 176 + .../test/gtest/phv/action_source_tracker.cpp | 174 + .../test/gtest/phv/fieldslice_live_range.cpp | 315 + .../bf-p4c/test/gtest/phv/greedy_tx_score.cpp | 51 + .../test/gtest/phv/slicing/iterator.cpp | 142 + .../phv/solver/action_constraint_solver.cpp | 509 ++ .../test/gtest/phv/solver/symbolic_bitvec.cpp | 151 + .../tofino/bf-p4c/test/gtest/phv_crush.cpp | 500 ++ .../tofino/bf-p4c/test/gtest/phv_field.cpp | 203 + .../tofino/bf-p4c/test/gtest/phv_jbay.cpp | 204 + .../tofino/bf-p4c/test/gtest/phv_tofino.cpp | 266 + .../gtest/post_midend_constant_folding.cpp | 138 + .../test/gtest/power_schema_dot_prefix.cpp | 104 + .../test/gtest/pragma_eg_intr_md_opt.cpp | 106 + .../gtest/pragma_no_gateway_conversion.cpp | 112 + .../bf-p4c/test/gtest/pragma_sep_gat.cpp | 153 + .../tofino/bf-p4c/test/gtest/pragma_stage.cpp | 90 + .../pragmas_backward_quick_phv_bandwidth.cpp | 150 + .../bf-p4c/test/gtest/register_actions.cpp | 170 + .../bf-p4c/test/gtest/register_read_write.cpp | 399 ++ .../tofino/bf-p4c/test/gtest/scc_toposort.cpp | 96 + .../test/gtest/simplify_key_elim_casts.cpp | 316 + backends/tofino/bf-p4c/test/gtest/slice.cpp | 44 + .../bf-p4c/test/gtest/slice_comparison.cpp | 96 + .../test/gtest/static_entries_const_prop.cpp | 298 + .../test/gtest/table_dependency_graph.cpp | 3366 +++++++++ .../bf-p4c/test/gtest/table_flow_graph.cpp | 1148 +++ .../tofino/bf-p4c/test/gtest/table_mutex.cpp | 738 ++ .../test/gtest/test_bf_gtest_helpers.cpp | 406 ++ .../bf-p4c/test/gtest/tofino_gtest_utils.cpp | 138 + .../bf-p4c/test/gtest/tofino_gtest_utils.h | 94 + .../test/gtest/tofino_write_context.cpp | 169 + .../tofino/bf-p4c/test/gtest/tphv_slice.cpp | 132 + .../bf-p4c/test/gtest/type_categories.cpp | 101 + .../tofino/bf-p4c/test/gtest/union_find.cpp | 139 + .../bf-p4c/test/gtest/v1model_translate.cpp | 231 + .../test/utils/super_cluster_builder.cpp | 489 ++ .../bf-p4c/test/utils/super_cluster_builder.h | 106 + .../bf-p4c/update_string_default_all.py | 161 + backends/tofino/bf-p4c/version.h | 24 + .../include/dynamic_hash/bfn_hash_algorithm.h | 430 ++ .../include/dynamic_hash/dynamic_hash.h | 216 + .../bf-utils/src/dynamic_hash/CMakeLists.txt | 10 + .../src/dynamic_hash/bfn_hash_algorithm.c | 281 + .../bf-utils/src/dynamic_hash/dynamic_hash.c | 831 +++ backends/tofino/bootstrap_bfn_compilers.sh | 217 + backends/tofino/bootstrap_bfn_env.sh | 396 + backends/tofino/bootstrap_ptf.sh | 17 + backends/tofino/cmake/spdlog.cmake | 21 + .../tofino/compiler_interfaces/.gitignore | 15 + .../tofino/compiler_interfaces/CODEOWNERS | 3 + backends/tofino/compiler_interfaces/LICENSE | 16 + .../tofino/compiler_interfaces/LICENSES.txt | 27 + backends/tofino/compiler_interfaces/README.md | 87 + .../tofino/compiler_interfaces/__init__.py | 0 .../tofino/compiler_interfaces/p4c-build-logs | 189 + .../compiler_interfaces/p4c-build-logs.spec | 31 + .../compiler_interfaces/requirements.txt | 2 + .../compiler_interfaces/schemas/__init__.py | 0 .../schemas/bfrt_schema.py | 435 ++ .../schemas/context_schema.py | 3783 ++++++++++ .../schemas/event_log_schema.py | 308 + .../compiler_interfaces/schemas/jgf_schema.py | 121 + .../schemas/manifest_schema.py | 260 + .../compiler_interfaces/schemas/mau_schema.py | 397 ++ .../schemas/metrics_schema.py | 297 + .../compiler_interfaces/schemas/phv_schema.py | 572 ++ .../schemas/power_schema.py | 256 + .../schemas/requirements.txt | 2 + .../schemas/resources_schema.py | 1350 ++++ .../schemas/schema_enum_values.py | 155 + .../schemas/schema_keys.py | 269 + .../schemas/source_info_schema.py | 86 + .../schemas/table_graph_schema.py | 441 ++ .../compiler_interfaces/schemas_version.py | 11 + .../compiler_interfaces/tools/__init__.py | 0 .../tools/create_mau_characterize.py | 1218 ++++ .../tools/create_mau_json.py | 937 +++ .../tools/create_mau_resources.py | 732 ++ .../tools/create_metrics.py | 862 +++ .../tools/create_pa_characterize.py | 621 ++ .../tools/create_pa_results.py | 620 ++ .../tools/create_phv_json.py | 481 ++ .../tools/create_schema_json.py | 72 + .../tofino/compiler_interfaces/tools/utils.py | 137 + backends/tofino/doc.Jenkinsfile | 68 + backends/tofino/git_sha_version.h.in | 6 + backends/tofino/scripts/README.md | 30 + backends/tofino/scripts/check-git-submodules | 64 + backends/tofino/scripts/dot2pdf | 46 + .../tofino/scripts/extract_schema_versions.sh | 37 + .../tofino/scripts/format-project-for-p4c.py | 77 + backends/tofino/scripts/generate-license.sh | 26 + .../tofino/scripts/install_boost_static.sh | 66 + .../install_source_release_clean_prereqs.sh | 20 + backends/tofino/scripts/jbay_rename.sh | 39 + backends/tofino/scripts/jsonvalidator.py | 92 + .../scripts/make_and_install_dynhash.sh | 89 + backends/tofino/scripts/p4_14-to-p4_16 | 22 + backends/tofino/scripts/p4c-gen-bfrt-conf | 123 + backends/tofino/scripts/p4c-gen-conf | 196 + backends/tofino/scripts/p4c-manifest-config | 51 + backends/tofino/scripts/p4c_build_for_arch.sh | 39 + .../tofino/scripts/package_p4c_for_tofino.sh | 138 + backends/tofino/scripts/package_sources.sh | 157 + backends/tofino/scripts/packaging/README.md | 1 + .../tofino/scripts/packaging/copyright-stamp | 286 + backends/tofino/scripts/primitives.json | 536 ++ backends/tofino/scripts/ptf_hugepage_setup.sh | 21 + backends/tofino/scripts/report_overlays.py | 386 + backends/tofino/scripts/requirements.txt | 3 + backends/tofino/scripts/run-docker | 19 + .../tofino/scripts/source_release_clean.py | 436 ++ backends/tofino/scripts/test_p4c_driver.py | 889 +++ backends/tofino/scripts/travis_test | 37 + backends/tofino/scripts/validate_context_json | 24 + .../tofino/scripts/validate_depgraph_json | 24 + backends/tofino/scripts/validate_manifest | 17 + backends/tofino/scripts/validate_output.sh | 102 + backends/tofino/scripts/validate_phv_json | 24 + backends/tofino/scripts/validate_power_json | 24 + .../tofino/scripts/validate_resources_json | 24 + backends/tofino/scripts/validate_source_json | 24 + cmake/Linters.cmake | 1 + cmake/Z3.cmake | 68 + requirements.txt | 2 + tools/ci-build.sh | 45 +- tools/driver/CMakeLists.txt | 2 + 980 files changed, 332078 insertions(+), 84 deletions(-) create mode 100644 backends/tofino/CMakeLists.txt create mode 100644 backends/tofino/CPackOptions.cmake create mode 100644 backends/tofino/Doxyfile.in create mode 100644 backends/tofino/LICENSE create mode 100644 backends/tofino/LICENSE.in create mode 100644 backends/tofino/LICENSES.txt create mode 100644 backends/tofino/bf-p4c/.gdbinit create mode 100644 backends/tofino/bf-p4c/CMakeLists.txt create mode 100644 backends/tofino/bf-p4c/README.md create mode 100644 backends/tofino/bf-p4c/arch/add_t2na_meta.cpp create mode 100644 backends/tofino/bf-p4c/arch/add_t2na_meta.h create mode 100644 backends/tofino/bf-p4c/arch/arch.cpp create mode 100644 backends/tofino/bf-p4c/arch/arch.h create mode 100644 backends/tofino/bf-p4c/arch/arch_spec.cpp create mode 100644 backends/tofino/bf-p4c/arch/arch_spec.h create mode 100644 backends/tofino/bf-p4c/arch/bridge_metadata.cpp create mode 100644 backends/tofino/bf-p4c/arch/bridge_metadata.h create mode 100644 backends/tofino/bf-p4c/arch/check_extern_invocation.cpp create mode 100644 backends/tofino/bf-p4c/arch/check_extern_invocation.h create mode 100644 backends/tofino/bf-p4c/arch/collect_bridged_fields.cpp create mode 100644 backends/tofino/bf-p4c/arch/collect_bridged_fields.h create mode 100644 backends/tofino/bf-p4c/arch/collect_hardware_constrained_fields.cpp create mode 100644 backends/tofino/bf-p4c/arch/collect_hardware_constrained_fields.h create mode 100644 backends/tofino/bf-p4c/arch/fromv1.0/add_metadata_parser_states.cpp create mode 100644 backends/tofino/bf-p4c/arch/fromv1.0/add_metadata_parser_states.h create mode 100644 backends/tofino/bf-p4c/arch/fromv1.0/checksum.cpp create mode 100644 backends/tofino/bf-p4c/arch/fromv1.0/checksum.h create mode 100644 backends/tofino/bf-p4c/arch/fromv1.0/egress_packet_length.cpp create mode 100644 backends/tofino/bf-p4c/arch/fromv1.0/egress_packet_length.h create mode 100644 backends/tofino/bf-p4c/arch/fromv1.0/field_list.cpp create mode 100644 backends/tofino/bf-p4c/arch/fromv1.0/field_list.h create mode 100644 backends/tofino/bf-p4c/arch/fromv1.0/lpf.cpp create mode 100644 backends/tofino/bf-p4c/arch/fromv1.0/lpf.h create mode 100644 backends/tofino/bf-p4c/arch/fromv1.0/meter.cpp create mode 100644 backends/tofino/bf-p4c/arch/fromv1.0/meter.h create mode 100644 backends/tofino/bf-p4c/arch/fromv1.0/mirror.cpp create mode 100644 backends/tofino/bf-p4c/arch/fromv1.0/mirror.h create mode 100644 backends/tofino/bf-p4c/arch/fromv1.0/parser_counter.cpp create mode 100644 backends/tofino/bf-p4c/arch/fromv1.0/parser_counter.h create mode 100644 backends/tofino/bf-p4c/arch/fromv1.0/phase0.cpp create mode 100644 backends/tofino/bf-p4c/arch/fromv1.0/phase0.h create mode 100644 backends/tofino/bf-p4c/arch/fromv1.0/primitives.cpp create mode 100644 backends/tofino/bf-p4c/arch/fromv1.0/programStructure.cpp create mode 100644 backends/tofino/bf-p4c/arch/fromv1.0/programStructure.h create mode 100644 backends/tofino/bf-p4c/arch/fromv1.0/resubmit.cpp create mode 100644 backends/tofino/bf-p4c/arch/fromv1.0/resubmit.h create mode 100644 backends/tofino/bf-p4c/arch/fromv1.0/stateful_alu.cpp create mode 100644 backends/tofino/bf-p4c/arch/fromv1.0/stateful_alu.h create mode 100644 backends/tofino/bf-p4c/arch/fromv1.0/v1_converters.cpp create mode 100644 backends/tofino/bf-p4c/arch/fromv1.0/v1_converters.h create mode 100644 backends/tofino/bf-p4c/arch/fromv1.0/v1_program_structure.cpp create mode 100644 backends/tofino/bf-p4c/arch/fromv1.0/v1_program_structure.h create mode 100644 backends/tofino/bf-p4c/arch/fromv1.0/wred.cpp create mode 100644 backends/tofino/bf-p4c/arch/fromv1.0/wred.h create mode 100644 backends/tofino/bf-p4c/arch/helpers.cpp create mode 100644 backends/tofino/bf-p4c/arch/helpers.h create mode 100644 backends/tofino/bf-p4c/arch/intrinsic_metadata.cpp create mode 100644 backends/tofino/bf-p4c/arch/intrinsic_metadata.h create mode 100644 backends/tofino/bf-p4c/arch/program_structure.cpp create mode 100644 backends/tofino/bf-p4c/arch/program_structure.h create mode 100644 backends/tofino/bf-p4c/arch/psa/programStructure.cpp create mode 100644 backends/tofino/bf-p4c/arch/psa/programStructure.h create mode 100644 backends/tofino/bf-p4c/arch/psa/psa.cpp create mode 100644 backends/tofino/bf-p4c/arch/psa/psa.h create mode 100644 backends/tofino/bf-p4c/arch/psa/psa_converters.cpp create mode 100644 backends/tofino/bf-p4c/arch/psa/psa_converters.h create mode 100644 backends/tofino/bf-p4c/arch/psa/psa_model.cpp create mode 100644 backends/tofino/bf-p4c/arch/psa/psa_model.h create mode 100644 backends/tofino/bf-p4c/arch/psa/rewrite_bridge_metadata.cpp create mode 100644 backends/tofino/bf-p4c/arch/psa/rewrite_bridge_metadata.h create mode 100644 backends/tofino/bf-p4c/arch/psa/rewrite_packet_path.cpp create mode 100644 backends/tofino/bf-p4c/arch/psa/rewrite_packet_path.h create mode 100644 backends/tofino/bf-p4c/arch/remove_set_metadata.cpp create mode 100644 backends/tofino/bf-p4c/arch/remove_set_metadata.h create mode 100644 backends/tofino/bf-p4c/arch/rewrite_action_selector.cpp create mode 100644 backends/tofino/bf-p4c/arch/rewrite_action_selector.h create mode 100644 backends/tofino/bf-p4c/arch/t2na.cpp create mode 100644 backends/tofino/bf-p4c/arch/t2na.h create mode 100644 backends/tofino/bf-p4c/arch/tna.cpp create mode 100644 backends/tofino/bf-p4c/arch/tna.h create mode 100644 backends/tofino/bf-p4c/arch/tna/primitives.cpp create mode 100644 backends/tofino/bf-p4c/arch/v1model.cpp create mode 100644 backends/tofino/bf-p4c/arch/v1model.h create mode 100644 backends/tofino/bf-p4c/asm.cpp create mode 100644 backends/tofino/bf-p4c/asm.h create mode 100644 backends/tofino/bf-p4c/backend.cpp create mode 100644 backends/tofino/bf-p4c/backend.h create mode 100644 backends/tofino/bf-p4c/bf-p4c-options.cpp create mode 100644 backends/tofino/bf-p4c/bf-p4c-options.h create mode 100644 backends/tofino/bf-p4c/common/alias.cpp create mode 100644 backends/tofino/bf-p4c/common/alias.h create mode 100644 backends/tofino/bf-p4c/common/alloc.h create mode 100644 backends/tofino/bf-p4c/common/asm_output.cpp create mode 100644 backends/tofino/bf-p4c/common/asm_output.h create mode 100644 backends/tofino/bf-p4c/common/autoindent.h create mode 100644 backends/tofino/bf-p4c/common/bridged_packing.cpp create mode 100644 backends/tofino/bf-p4c/common/bridged_packing.h create mode 100644 backends/tofino/bf-p4c/common/check_field_corruption.cpp create mode 100644 backends/tofino/bf-p4c/common/check_field_corruption.h create mode 100644 backends/tofino/bf-p4c/common/check_for_unimplemented_features.cpp create mode 100644 backends/tofino/bf-p4c/common/check_for_unimplemented_features.h create mode 100644 backends/tofino/bf-p4c/common/check_header_refs.h create mode 100644 backends/tofino/bf-p4c/common/check_uninitialized_read.cpp create mode 100644 backends/tofino/bf-p4c/common/check_uninitialized_read.h create mode 100644 backends/tofino/bf-p4c/common/debug_info.h create mode 100644 backends/tofino/bf-p4c/common/dump_pipe.cpp create mode 100644 backends/tofino/bf-p4c/common/elim_unused.cpp create mode 100644 backends/tofino/bf-p4c/common/elim_unused.h create mode 100644 backends/tofino/bf-p4c/common/empty_tableseq.cpp create mode 100644 backends/tofino/bf-p4c/common/empty_tableseq.h create mode 100644 backends/tofino/bf-p4c/common/extract_maupipe.cpp create mode 100644 backends/tofino/bf-p4c/common/extract_maupipe.h create mode 100644 backends/tofino/bf-p4c/common/field_defuse.cpp create mode 100644 backends/tofino/bf-p4c/common/field_defuse.h create mode 100644 backends/tofino/bf-p4c/common/front_end_policy.h create mode 100644 backends/tofino/bf-p4c/common/header_stack.cpp create mode 100644 backends/tofino/bf-p4c/common/header_stack.h create mode 100644 backends/tofino/bf-p4c/common/ir_utils.cpp create mode 100644 backends/tofino/bf-p4c/common/ir_utils.h create mode 100644 backends/tofino/bf-p4c/common/map_tables_to_actions.cpp create mode 100644 backends/tofino/bf-p4c/common/map_tables_to_actions.h create mode 100644 backends/tofino/bf-p4c/common/merge_pov_bits.cpp create mode 100644 backends/tofino/bf-p4c/common/merge_pov_bits.h create mode 100644 backends/tofino/bf-p4c/common/multiple_apply.cpp create mode 100644 backends/tofino/bf-p4c/common/multiple_apply.h create mode 100644 backends/tofino/bf-p4c/common/parse_annotations.h create mode 100644 backends/tofino/bf-p4c/common/pragma.h create mode 100644 backends/tofino/bf-p4c/common/pragma/all_pragmas.h create mode 100644 backends/tofino/bf-p4c/common/pragma/collect_global_pragma.cpp create mode 100644 backends/tofino/bf-p4c/common/pragma/collect_global_pragma.h create mode 100644 backends/tofino/bf-p4c/common/pragma/pragma.h create mode 100644 backends/tofino/bf-p4c/common/pragma/pragmas.cpp create mode 100644 backends/tofino/bf-p4c/common/run_id.cpp create mode 100644 backends/tofino/bf-p4c/common/run_id.h create mode 100644 backends/tofino/bf-p4c/common/scc_toposort.cpp create mode 100644 backends/tofino/bf-p4c/common/scc_toposort.h create mode 100644 backends/tofino/bf-p4c/common/size_of.cpp create mode 100644 backends/tofino/bf-p4c/common/size_of.h create mode 100644 backends/tofino/bf-p4c/common/slice.cpp create mode 100644 backends/tofino/bf-p4c/common/slice.h create mode 100644 backends/tofino/bf-p4c/common/table_printer.h create mode 100644 backends/tofino/bf-p4c/common/tofino_model.h create mode 100644 backends/tofino/bf-p4c/common/utils.cpp create mode 100644 backends/tofino/bf-p4c/common/utils.h create mode 100644 backends/tofino/bf-p4c/control-plane/bfruntime.cpp create mode 100644 backends/tofino/bf-p4c/control-plane/bfruntime.h create mode 100644 backends/tofino/bf-p4c/control-plane/bfruntime_arch_handler.h create mode 100644 backends/tofino/bf-p4c/control-plane/bfruntime_ext.cpp create mode 100644 backends/tofino/bf-p4c/control-plane/bfruntime_ext.h create mode 100644 backends/tofino/bf-p4c/control-plane/p4runtime_force_std.cpp create mode 100644 backends/tofino/bf-p4c/control-plane/p4runtime_force_std.h create mode 100644 backends/tofino/bf-p4c/control-plane/proto/barefoot/p4info.proto create mode 100644 backends/tofino/bf-p4c/control-plane/runtime.cpp create mode 100644 backends/tofino/bf-p4c/control-plane/runtime.h create mode 100644 backends/tofino/bf-p4c/device.cpp create mode 100644 backends/tofino/bf-p4c/device.h create mode 100755 backends/tofino/bf-p4c/driver/barefoot.py create mode 100644 backends/tofino/bf-p4c/driver/bfn_version.in create mode 100644 backends/tofino/bf-p4c/driver/p4c.tofino.cfg create mode 100644 backends/tofino/bf-p4c/driver/p4c.tofino2.cfg create mode 100644 backends/tofino/bf-p4c/driver/requirements.txt create mode 100644 backends/tofino/bf-p4c/frontend.cpp create mode 100644 backends/tofino/bf-p4c/frontend.h create mode 100644 backends/tofino/bf-p4c/ir/arch.def create mode 100644 backends/tofino/bf-p4c/ir/bitrange.cpp create mode 100644 backends/tofino/bf-p4c/ir/bitrange.h create mode 100644 backends/tofino/bf-p4c/ir/control_flow_visitor.cpp create mode 100644 backends/tofino/bf-p4c/ir/control_flow_visitor.h create mode 100644 backends/tofino/bf-p4c/ir/dbprint-tofino.cpp create mode 100644 backends/tofino/bf-p4c/ir/gateway_control_flow.cpp create mode 100644 backends/tofino/bf-p4c/ir/gateway_control_flow.h create mode 100644 backends/tofino/bf-p4c/ir/gress.cpp create mode 100644 backends/tofino/bf-p4c/ir/gress.h create mode 100644 backends/tofino/bf-p4c/ir/ir_enums.cpp create mode 100644 backends/tofino/bf-p4c/ir/ir_enums.h create mode 100644 backends/tofino/bf-p4c/ir/mau.cpp create mode 100644 backends/tofino/bf-p4c/ir/mau.def create mode 100644 backends/tofino/bf-p4c/ir/parde-lowered.def create mode 100644 backends/tofino/bf-p4c/ir/parde.def create mode 100644 backends/tofino/bf-p4c/ir/table_tree.h create mode 100644 backends/tofino/bf-p4c/ir/thread_visitor.cpp create mode 100644 backends/tofino/bf-p4c/ir/thread_visitor.h create mode 100644 backends/tofino/bf-p4c/ir/tofino.cpp create mode 100644 backends/tofino/bf-p4c/ir/tofino.def create mode 100644 backends/tofino/bf-p4c/ir/tofino_write_context.cpp create mode 100644 backends/tofino/bf-p4c/ir/tofino_write_context.h create mode 100644 backends/tofino/bf-p4c/ir/unique_id.cpp create mode 100644 backends/tofino/bf-p4c/ir/unique_id.h create mode 100644 backends/tofino/bf-p4c/lib/assoc.h create mode 100644 backends/tofino/bf-p4c/lib/autoclone.h create mode 100644 backends/tofino/bf-p4c/lib/boost_graph.h create mode 100644 backends/tofino/bf-p4c/lib/cmp.h create mode 100644 backends/tofino/bf-p4c/lib/dyn_vector.h create mode 100644 backends/tofino/bf-p4c/lib/error_macros.h create mode 100644 backends/tofino/bf-p4c/lib/error_type.cpp create mode 100644 backends/tofino/bf-p4c/lib/error_type.h create mode 100644 backends/tofino/bf-p4c/lib/log_fixup.h create mode 100644 backends/tofino/bf-p4c/lib/pad_alignment.h create mode 100644 backends/tofino/bf-p4c/lib/pointer_wrapper.h create mode 100644 backends/tofino/bf-p4c/lib/safe_width.h create mode 100644 backends/tofino/bf-p4c/lib/union_find.hpp create mode 100644 backends/tofino/bf-p4c/logging/CMakeLists.txt create mode 100644 backends/tofino/bf-p4c/logging/bf_error_reporter.cpp create mode 100644 backends/tofino/bf-p4c/logging/bf_error_reporter.h create mode 100644 backends/tofino/bf-p4c/logging/collect_diagnostic_checks.cpp create mode 100644 backends/tofino/bf-p4c/logging/collect_diagnostic_checks.h create mode 100644 backends/tofino/bf-p4c/logging/constrained_fields.cpp create mode 100644 backends/tofino/bf-p4c/logging/constrained_fields.h create mode 100644 backends/tofino/bf-p4c/logging/container_size_extractor.cpp create mode 100644 backends/tofino/bf-p4c/logging/container_size_extractor.h create mode 100644 backends/tofino/bf-p4c/logging/event_logger.cpp create mode 100644 backends/tofino/bf-p4c/logging/event_logger.h create mode 100644 backends/tofino/bf-p4c/logging/filelog.cpp create mode 100644 backends/tofino/bf-p4c/logging/filelog.h create mode 100755 backends/tofino/bf-p4c/logging/generate_logging.py create mode 100644 backends/tofino/bf-p4c/logging/group_constraint_extractor.cpp create mode 100644 backends/tofino/bf-p4c/logging/group_constraint_extractor.h create mode 100644 backends/tofino/bf-p4c/logging/logging.h create mode 100644 backends/tofino/bf-p4c/logging/manifest.cpp create mode 100644 backends/tofino/bf-p4c/logging/manifest.h create mode 100644 backends/tofino/bf-p4c/logging/pass_manager.cpp create mode 100644 backends/tofino/bf-p4c/logging/pass_manager.h create mode 100644 backends/tofino/bf-p4c/logging/phv_logging.cpp create mode 100644 backends/tofino/bf-p4c/logging/phv_logging.h create mode 100644 backends/tofino/bf-p4c/logging/rapidjson_adapter.h create mode 100644 backends/tofino/bf-p4c/logging/resources.cpp create mode 100644 backends/tofino/bf-p4c/logging/resources.h create mode 100644 backends/tofino/bf-p4c/logging/resources_clot.cpp create mode 100644 backends/tofino/bf-p4c/logging/resources_clot.h create mode 100644 backends/tofino/bf-p4c/logging/resources_parser.cpp create mode 100644 backends/tofino/bf-p4c/logging/resources_parser.h create mode 100644 backends/tofino/bf-p4c/logging/source_info_logging.cpp create mode 100644 backends/tofino/bf-p4c/logging/source_info_logging.h create mode 100644 backends/tofino/bf-p4c/logging/test_phv.cpp create mode 100644 backends/tofino/bf-p4c/mau/action_analysis.cpp create mode 100644 backends/tofino/bf-p4c/mau/action_analysis.h create mode 100644 backends/tofino/bf-p4c/mau/action_data_bus.cpp create mode 100644 backends/tofino/bf-p4c/mau/action_data_bus.h create mode 100644 backends/tofino/bf-p4c/mau/action_format.cpp create mode 100644 backends/tofino/bf-p4c/mau/action_format.h create mode 100644 backends/tofino/bf-p4c/mau/action_mutex.cpp create mode 100644 backends/tofino/bf-p4c/mau/action_mutex.h create mode 100644 backends/tofino/bf-p4c/mau/add_always_run.cpp create mode 100644 backends/tofino/bf-p4c/mau/add_always_run.h create mode 100644 backends/tofino/bf-p4c/mau/adjust_byte_count.cpp create mode 100644 backends/tofino/bf-p4c/mau/adjust_byte_count.h create mode 100644 backends/tofino/bf-p4c/mau/asm_format_hash.h create mode 100644 backends/tofino/bf-p4c/mau/asm_hash_output.cpp create mode 100644 backends/tofino/bf-p4c/mau/asm_hash_output.h create mode 100644 backends/tofino/bf-p4c/mau/asm_output.cpp create mode 100644 backends/tofino/bf-p4c/mau/asm_output.h create mode 100644 backends/tofino/bf-p4c/mau/attached_entries.h create mode 100644 backends/tofino/bf-p4c/mau/attached_info.cpp create mode 100644 backends/tofino/bf-p4c/mau/attached_info.h create mode 100644 backends/tofino/bf-p4c/mau/attached_output.cpp create mode 100644 backends/tofino/bf-p4c/mau/attached_output.h create mode 100644 backends/tofino/bf-p4c/mau/build_power_graph.cpp create mode 100644 backends/tofino/bf-p4c/mau/build_power_graph.h create mode 100644 backends/tofino/bf-p4c/mau/check_duplicate.h create mode 100644 backends/tofino/bf-p4c/mau/db-gateway.cpp create mode 100644 backends/tofino/bf-p4c/mau/default_next.h create mode 100644 backends/tofino/bf-p4c/mau/determine_power_usage.cpp create mode 100644 backends/tofino/bf-p4c/mau/determine_power_usage.h create mode 100644 backends/tofino/bf-p4c/mau/dump_json_graph.cpp create mode 100644 backends/tofino/bf-p4c/mau/dump_json_graph.h create mode 100644 backends/tofino/bf-p4c/mau/dynamic_dep_metrics.cpp create mode 100644 backends/tofino/bf-p4c/mau/dynamic_dep_metrics.h create mode 100644 backends/tofino/bf-p4c/mau/dynhash.cpp create mode 100644 backends/tofino/bf-p4c/mau/dynhash.h create mode 100644 backends/tofino/bf-p4c/mau/empty_controls.h create mode 100644 backends/tofino/bf-p4c/mau/field_use.cpp create mode 100644 backends/tofino/bf-p4c/mau/field_use.h create mode 100644 backends/tofino/bf-p4c/mau/finalize_mau_pred_deps_power.cpp create mode 100644 backends/tofino/bf-p4c/mau/finalize_mau_pred_deps_power.h create mode 100644 backends/tofino/bf-p4c/mau/gateway.cpp create mode 100644 backends/tofino/bf-p4c/mau/gateway.h create mode 100644 backends/tofino/bf-p4c/mau/gen_prim_json.cpp create mode 100644 backends/tofino/bf-p4c/mau/gen_prim_json.h create mode 100644 backends/tofino/bf-p4c/mau/handle_assign.cpp create mode 100644 backends/tofino/bf-p4c/mau/handle_assign.h create mode 100644 backends/tofino/bf-p4c/mau/hash_function.cpp create mode 100644 backends/tofino/bf-p4c/mau/hash_function.h create mode 100644 backends/tofino/bf-p4c/mau/hash_mask_annotations.h create mode 100644 backends/tofino/bf-p4c/mau/input_xbar.cpp create mode 100644 backends/tofino/bf-p4c/mau/input_xbar.h create mode 100644 backends/tofino/bf-p4c/mau/instruction_adjustment.cpp create mode 100644 backends/tofino/bf-p4c/mau/instruction_adjustment.h create mode 100644 backends/tofino/bf-p4c/mau/instruction_memory.cpp create mode 100644 backends/tofino/bf-p4c/mau/instruction_memory.h create mode 100644 backends/tofino/bf-p4c/mau/instruction_selection.cpp create mode 100644 backends/tofino/bf-p4c/mau/instruction_selection.h create mode 100644 backends/tofino/bf-p4c/mau/ixbar_expr.cpp create mode 100644 backends/tofino/bf-p4c/mau/ixbar_expr.h create mode 100644 backends/tofino/bf-p4c/mau/ixbar_info.cpp create mode 100644 backends/tofino/bf-p4c/mau/ixbar_info.h create mode 100644 backends/tofino/bf-p4c/mau/ixbar_realign.cpp create mode 100644 backends/tofino/bf-p4c/mau/ixbar_realign.h create mode 100644 backends/tofino/bf-p4c/mau/jbay_next_table.cpp create mode 100644 backends/tofino/bf-p4c/mau/jbay_next_table.h create mode 100644 backends/tofino/bf-p4c/mau/mau_alloc.cpp create mode 100644 backends/tofino/bf-p4c/mau/mau_alloc.h create mode 100644 backends/tofino/bf-p4c/mau/mau_power.cpp create mode 100644 backends/tofino/bf-p4c/mau/mau_power.h create mode 100644 backends/tofino/bf-p4c/mau/mau_spec.cpp create mode 100644 backends/tofino/bf-p4c/mau/mau_spec.h create mode 100644 backends/tofino/bf-p4c/mau/mau_visitor.h create mode 100644 backends/tofino/bf-p4c/mau/memories.cpp create mode 100644 backends/tofino/bf-p4c/mau/memories.h create mode 100644 backends/tofino/bf-p4c/mau/next_table.h create mode 100644 backends/tofino/bf-p4c/mau/payload_gateway.cpp create mode 100644 backends/tofino/bf-p4c/mau/payload_gateway.h create mode 100644 backends/tofino/bf-p4c/mau/power_spec.h create mode 100644 backends/tofino/bf-p4c/mau/push_pop.h create mode 100644 backends/tofino/bf-p4c/mau/reduction_or.cpp create mode 100644 backends/tofino/bf-p4c/mau/reduction_or.h create mode 100644 backends/tofino/bf-p4c/mau/remove_act_tables.cpp create mode 100644 backends/tofino/bf-p4c/mau/remove_act_tables.h create mode 100644 backends/tofino/bf-p4c/mau/remove_noop_gateway.h create mode 100644 backends/tofino/bf-p4c/mau/resource.cpp create mode 100644 backends/tofino/bf-p4c/mau/resource.h create mode 100644 backends/tofino/bf-p4c/mau/resource_estimate.cpp create mode 100644 backends/tofino/bf-p4c/mau/resource_estimate.h create mode 100644 backends/tofino/bf-p4c/mau/selector_update.cpp create mode 100644 backends/tofino/bf-p4c/mau/selector_update.h create mode 100644 backends/tofino/bf-p4c/mau/simple_power_graph.cpp create mode 100644 backends/tofino/bf-p4c/mau/simple_power_graph.h create mode 100644 backends/tofino/bf-p4c/mau/split_gateways.cpp create mode 100644 backends/tofino/bf-p4c/mau/split_gateways.h create mode 100644 backends/tofino/bf-p4c/mau/stateful_alu.cpp create mode 100644 backends/tofino/bf-p4c/mau/stateful_alu.h create mode 100644 backends/tofino/bf-p4c/mau/static_entries_const_prop.h create mode 100644 backends/tofino/bf-p4c/mau/table_control_deps.cpp create mode 100644 backends/tofino/bf-p4c/mau/table_control_deps.h create mode 100644 backends/tofino/bf-p4c/mau/table_dependency_graph.cpp create mode 100644 backends/tofino/bf-p4c/mau/table_dependency_graph.h create mode 100644 backends/tofino/bf-p4c/mau/table_flow_graph.cpp create mode 100644 backends/tofino/bf-p4c/mau/table_flow_graph.h create mode 100644 backends/tofino/bf-p4c/mau/table_format.cpp create mode 100644 backends/tofino/bf-p4c/mau/table_format.h create mode 100644 backends/tofino/bf-p4c/mau/table_injected_deps.cpp create mode 100644 backends/tofino/bf-p4c/mau/table_injected_deps.h create mode 100644 backends/tofino/bf-p4c/mau/table_layout.cpp create mode 100644 backends/tofino/bf-p4c/mau/table_layout.h create mode 100644 backends/tofino/bf-p4c/mau/table_mutex.cpp create mode 100644 backends/tofino/bf-p4c/mau/table_mutex.h create mode 100644 backends/tofino/bf-p4c/mau/table_placement.cpp create mode 100644 backends/tofino/bf-p4c/mau/table_placement.h create mode 100644 backends/tofino/bf-p4c/mau/table_seqdeps.cpp create mode 100644 backends/tofino/bf-p4c/mau/table_seqdeps.h create mode 100644 backends/tofino/bf-p4c/mau/table_summary.cpp create mode 100644 backends/tofino/bf-p4c/mau/table_summary.h create mode 100644 backends/tofino/bf-p4c/mau/tofino/action_data_bus.cpp create mode 100644 backends/tofino/bf-p4c/mau/tofino/action_data_bus.h create mode 100644 backends/tofino/bf-p4c/mau/tofino/asm_output.cpp create mode 100644 backends/tofino/bf-p4c/mau/tofino/asm_output.h create mode 100644 backends/tofino/bf-p4c/mau/tofino/input_xbar.cpp create mode 100644 backends/tofino/bf-p4c/mau/tofino/input_xbar.h create mode 100644 backends/tofino/bf-p4c/mau/tofino/instruction_memory.h create mode 100644 backends/tofino/bf-p4c/mau/tofino/mau_spec.cpp create mode 100644 backends/tofino/bf-p4c/mau/tofino/memories.cpp create mode 100644 backends/tofino/bf-p4c/mau/tofino/memories.h create mode 100644 backends/tofino/bf-p4c/mau/validate_actions.cpp create mode 100644 backends/tofino/bf-p4c/mau/validate_actions.h create mode 100644 backends/tofino/bf-p4c/mau/walk_power_graph.cpp create mode 100644 backends/tofino/bf-p4c/mau/walk_power_graph.h create mode 100644 backends/tofino/bf-p4c/midend.cpp create mode 100644 backends/tofino/bf-p4c/midend.h create mode 100644 backends/tofino/bf-p4c/midend/action_synthesis_policy.h create mode 100644 backends/tofino/bf-p4c/midend/alpm.cpp create mode 100644 backends/tofino/bf-p4c/midend/alpm.h create mode 100644 backends/tofino/bf-p4c/midend/annotate_with_in_hash.cpp create mode 100644 backends/tofino/bf-p4c/midend/annotate_with_in_hash.h create mode 100644 backends/tofino/bf-p4c/midend/blockmap.h create mode 100644 backends/tofino/bf-p4c/midend/check_design_pattern.cpp create mode 100644 backends/tofino/bf-p4c/midend/check_design_pattern.h create mode 100644 backends/tofino/bf-p4c/midend/check_header_alignment.cpp create mode 100644 backends/tofino/bf-p4c/midend/check_header_alignment.h create mode 100644 backends/tofino/bf-p4c/midend/check_register_actions.cpp create mode 100644 backends/tofino/bf-p4c/midend/check_register_actions.h create mode 100644 backends/tofino/bf-p4c/midend/check_unsupported.cpp create mode 100644 backends/tofino/bf-p4c/midend/check_unsupported.h create mode 100644 backends/tofino/bf-p4c/midend/collect_pipelines.cpp create mode 100644 backends/tofino/bf-p4c/midend/collect_pipelines.h create mode 100644 backends/tofino/bf-p4c/midend/copy_block_pragmas.cpp create mode 100644 backends/tofino/bf-p4c/midend/copy_block_pragmas.h create mode 100644 backends/tofino/bf-p4c/midend/copy_header.cpp create mode 100644 backends/tofino/bf-p4c/midend/copy_header.h create mode 100644 backends/tofino/bf-p4c/midend/defuse.cpp create mode 100644 backends/tofino/bf-p4c/midend/defuse.h create mode 100644 backends/tofino/bf-p4c/midend/desugar_varbit_extract.cpp create mode 100644 backends/tofino/bf-p4c/midend/desugar_varbit_extract.h create mode 100644 backends/tofino/bf-p4c/midend/detect_multiple_pipelines.cpp create mode 100644 backends/tofino/bf-p4c/midend/detect_multiple_pipelines.h create mode 100644 backends/tofino/bf-p4c/midend/drop_packet_with_mirror_engine.cpp create mode 100644 backends/tofino/bf-p4c/midend/drop_packet_with_mirror_engine.h create mode 100644 backends/tofino/bf-p4c/midend/elim_cast.cpp create mode 100644 backends/tofino/bf-p4c/midend/elim_cast.h create mode 100644 backends/tofino/bf-p4c/midend/eliminate_tuples.cpp create mode 100644 backends/tofino/bf-p4c/midend/eliminate_tuples.h create mode 100644 backends/tofino/bf-p4c/midend/fold_constant_hashes.cpp create mode 100644 backends/tofino/bf-p4c/midend/fold_constant_hashes.h create mode 100644 backends/tofino/bf-p4c/midend/initialize_mirror_io_select.cpp create mode 100644 backends/tofino/bf-p4c/midend/initialize_mirror_io_select.h create mode 100644 backends/tofino/bf-p4c/midend/move_to_egress.cpp create mode 100644 backends/tofino/bf-p4c/midend/move_to_egress.h create mode 100644 backends/tofino/bf-p4c/midend/normalize_hash_list.cpp create mode 100644 backends/tofino/bf-p4c/midend/normalize_hash_list.h create mode 100644 backends/tofino/bf-p4c/midend/normalize_params.cpp create mode 100644 backends/tofino/bf-p4c/midend/normalize_params.h create mode 100644 backends/tofino/bf-p4c/midend/param_binding.cpp create mode 100644 backends/tofino/bf-p4c/midend/param_binding.h create mode 100644 backends/tofino/bf-p4c/midend/parser_enforce_depth_req.cpp create mode 100644 backends/tofino/bf-p4c/midend/parser_enforce_depth_req.h create mode 100644 backends/tofino/bf-p4c/midend/parser_graph.cpp create mode 100644 backends/tofino/bf-p4c/midend/parser_graph.h create mode 100644 backends/tofino/bf-p4c/midend/path_linearizer.cpp create mode 100644 backends/tofino/bf-p4c/midend/path_linearizer.h create mode 100644 backends/tofino/bf-p4c/midend/ping_pong_generation.cpp create mode 100644 backends/tofino/bf-p4c/midend/ping_pong_generation.h create mode 100644 backends/tofino/bf-p4c/midend/register_read_write.cpp create mode 100644 backends/tofino/bf-p4c/midend/register_read_write.h create mode 100644 backends/tofino/bf-p4c/midend/remove_action_params.h create mode 100644 backends/tofino/bf-p4c/midend/remove_select_booleans.h create mode 100644 backends/tofino/bf-p4c/midend/rewrite_egress_intrinsic_metadata_header.h create mode 100644 backends/tofino/bf-p4c/midend/rewrite_flexible_header.h create mode 100644 backends/tofino/bf-p4c/midend/simplifyIfStatement.cpp create mode 100644 backends/tofino/bf-p4c/midend/simplifyIfStatement.h create mode 100644 backends/tofino/bf-p4c/midend/simplify_args.cpp create mode 100644 backends/tofino/bf-p4c/midend/simplify_args.h create mode 100644 backends/tofino/bf-p4c/midend/simplify_key_policy.h create mode 100644 backends/tofino/bf-p4c/midend/simplify_nested_if.cpp create mode 100644 backends/tofino/bf-p4c/midend/simplify_nested_if.h create mode 100644 backends/tofino/bf-p4c/midend/simplify_references.cpp create mode 100644 backends/tofino/bf-p4c/midend/simplify_references.h create mode 100644 backends/tofino/bf-p4c/midend/table_mutex.cpp create mode 100644 backends/tofino/bf-p4c/midend/table_mutex.h create mode 100644 backends/tofino/bf-p4c/midend/type_categories.cpp create mode 100644 backends/tofino/bf-p4c/midend/type_categories.h create mode 100644 backends/tofino/bf-p4c/midend/type_checker.cpp create mode 100644 backends/tofino/bf-p4c/midend/type_checker.h create mode 100644 backends/tofino/bf-p4c/p4_14include/tofino/constants.p4 create mode 100644 backends/tofino/bf-p4c/p4_14include/tofino/intrinsic_metadata.p4 create mode 100644 backends/tofino/bf-p4c/p4_14include/tofino/lpf_blackbox.p4 create mode 100644 backends/tofino/bf-p4c/p4_14include/tofino/meter_blackbox.p4 create mode 100644 backends/tofino/bf-p4c/p4_14include/tofino/pktgen_headers.p4 create mode 100644 backends/tofino/bf-p4c/p4_14include/tofino/primitives.p4 create mode 100644 backends/tofino/bf-p4c/p4_14include/tofino/stateful_alu_blackbox.p4 create mode 100644 backends/tofino/bf-p4c/p4_14include/tofino/wred_blackbox.p4 create mode 100644 backends/tofino/bf-p4c/p4_14include/tofino2/intrinsic_metadata.p4 create mode 100644 backends/tofino/bf-p4c/p4_14include/tofino3/intrinsic_metadata.p4 create mode 100644 backends/tofino/bf-p4c/p4c-barefoot.cpp create mode 100644 backends/tofino/bf-p4c/p4include/t2na.p4 create mode 100644 backends/tofino/bf-p4c/p4include/tna.p4 create mode 100644 backends/tofino/bf-p4c/p4include/tofino/lpf.p4 create mode 100644 backends/tofino/bf-p4c/p4include/tofino/meter.p4 create mode 100644 backends/tofino/bf-p4c/p4include/tofino/p4_14_prim.p4 create mode 100644 backends/tofino/bf-p4c/p4include/tofino/psa.p4 create mode 100644 backends/tofino/bf-p4c/p4include/tofino/stateful_alu.p4 create mode 100644 backends/tofino/bf-p4c/p4include/tofino/stratum.p4 create mode 100644 backends/tofino/bf-p4c/p4include/tofino/wred.p4 create mode 100644 backends/tofino/bf-p4c/p4include/tofino1_arch.p4 create mode 100644 backends/tofino/bf-p4c/p4include/tofino1_base.p4 create mode 100644 backends/tofino/bf-p4c/p4include/tofino1_specs.p4 create mode 100644 backends/tofino/bf-p4c/p4include/tofino2_arch.p4 create mode 100644 backends/tofino/bf-p4c/p4include/tofino2_base.p4 create mode 100644 backends/tofino/bf-p4c/p4include/tofino2_specs.p4 create mode 100644 backends/tofino/bf-p4c/p4include/tofino5.p4 create mode 100644 backends/tofino/bf-p4c/parde/add_metadata_pov.cpp create mode 100644 backends/tofino/bf-p4c/parde/add_metadata_pov.h create mode 100644 backends/tofino/bf-p4c/parde/add_parde_metadata.cpp create mode 100644 backends/tofino/bf-p4c/parde/add_parde_metadata.h create mode 100644 backends/tofino/bf-p4c/parde/adjust_extract.cpp create mode 100644 backends/tofino/bf-p4c/parde/adjust_extract.h create mode 100644 backends/tofino/bf-p4c/parde/allocate_parser_checksum.cpp create mode 100644 backends/tofino/bf-p4c/parde/allocate_parser_checksum.h create mode 100644 backends/tofino/bf-p4c/parde/allocate_parser_match_register.cpp create mode 100644 backends/tofino/bf-p4c/parde/allocate_parser_match_register.h create mode 100644 backends/tofino/bf-p4c/parde/asm_output.h create mode 100644 backends/tofino/bf-p4c/parde/characterize_parser.h create mode 100644 backends/tofino/bf-p4c/parde/check_parser_multi_write.cpp create mode 100644 backends/tofino/bf-p4c/parde/check_parser_multi_write.h create mode 100644 backends/tofino/bf-p4c/parde/clot/README.md create mode 100644 backends/tofino/bf-p4c/parde/clot/allocate_clot.cpp create mode 100644 backends/tofino/bf-p4c/parde/clot/allocate_clot.h create mode 100644 backends/tofino/bf-p4c/parde/clot/check_clot_groups.cpp create mode 100644 backends/tofino/bf-p4c/parde/clot/check_clot_groups.h create mode 100644 backends/tofino/bf-p4c/parde/clot/clot.cpp create mode 100644 backends/tofino/bf-p4c/parde/clot/clot.h create mode 100644 backends/tofino/bf-p4c/parde/clot/clot_candidate.cpp create mode 100644 backends/tofino/bf-p4c/parde/clot/clot_candidate.h create mode 100644 backends/tofino/bf-p4c/parde/clot/clot_info.cpp create mode 100644 backends/tofino/bf-p4c/parde/clot/clot_info.h create mode 100644 backends/tofino/bf-p4c/parde/clot/deparse_graph.cpp create mode 100644 backends/tofino/bf-p4c/parde/clot/deparse_graph.h create mode 100644 backends/tofino/bf-p4c/parde/clot/field_pov_analysis.cpp create mode 100644 backends/tofino/bf-p4c/parde/clot/field_pov_analysis.h create mode 100644 backends/tofino/bf-p4c/parde/clot/field_slice_extract_info.cpp create mode 100644 backends/tofino/bf-p4c/parde/clot/field_slice_extract_info.h create mode 100644 backends/tofino/bf-p4c/parde/clot/field_slice_set.h create mode 100644 backends/tofino/bf-p4c/parde/clot/header_validity_analysis.cpp create mode 100644 backends/tofino/bf-p4c/parde/clot/header_validity_analysis.h create mode 100644 backends/tofino/bf-p4c/parde/clot/merge_desugared_varbit_valids.cpp create mode 100644 backends/tofino/bf-p4c/parde/clot/merge_desugared_varbit_valids.h create mode 100644 backends/tofino/bf-p4c/parde/clot/pragma/do_not_use_clot.cpp create mode 100644 backends/tofino/bf-p4c/parde/clot/pragma/do_not_use_clot.h create mode 100644 backends/tofino/bf-p4c/parde/clot/pseudoheader.cpp create mode 100644 backends/tofino/bf-p4c/parde/clot/pseudoheader.h create mode 100644 backends/tofino/bf-p4c/parde/coalesce_learning.cpp create mode 100644 backends/tofino/bf-p4c/parde/coalesce_learning.h create mode 100644 backends/tofino/bf-p4c/parde/collect_parser_usedef.h create mode 100644 backends/tofino/bf-p4c/parde/common/allocators.h create mode 100644 backends/tofino/bf-p4c/parde/common/match_reducer.h create mode 100644 backends/tofino/bf-p4c/parde/count_strided_header_refs.cpp create mode 100644 backends/tofino/bf-p4c/parde/count_strided_header_refs.h create mode 100644 backends/tofino/bf-p4c/parde/create_pov_encoder.cpp create mode 100644 backends/tofino/bf-p4c/parde/create_pov_encoder.h create mode 100644 backends/tofino/bf-p4c/parde/decaf.cpp create mode 100644 backends/tofino/bf-p4c/parde/decaf.h create mode 100644 backends/tofino/bf-p4c/parde/deparser_checksum_update.cpp create mode 100644 backends/tofino/bf-p4c/parde/deparser_checksum_update.h create mode 100644 backends/tofino/bf-p4c/parde/deparser_output.cpp create mode 100644 backends/tofino/bf-p4c/parde/dump_parser.h create mode 100644 backends/tofino/bf-p4c/parde/extract_deparser.cpp create mode 100644 backends/tofino/bf-p4c/parde/extract_deparser.h create mode 100644 backends/tofino/bf-p4c/parde/extract_parser.cpp create mode 100644 backends/tofino/bf-p4c/parde/extract_parser.h create mode 100644 backends/tofino/bf-p4c/parde/field_packing.cpp create mode 100644 backends/tofino/bf-p4c/parde/field_packing.h create mode 100644 backends/tofino/bf-p4c/parde/header_output.cpp create mode 100644 backends/tofino/bf-p4c/parde/infer_payload_offset.cpp create mode 100644 backends/tofino/bf-p4c/parde/infer_payload_offset.h create mode 100644 backends/tofino/bf-p4c/parde/lower_parser.cpp create mode 100644 backends/tofino/bf-p4c/parde/lower_parser.h create mode 100644 backends/tofino/bf-p4c/parde/lowered/compute_buffer_requirements.cpp create mode 100644 backends/tofino/bf-p4c/parde/lowered/compute_buffer_requirements.h create mode 100644 backends/tofino/bf-p4c/parde/lowered/compute_init_zero_containers.cpp create mode 100644 backends/tofino/bf-p4c/parde/lowered/compute_init_zero_containers.h create mode 100644 backends/tofino/bf-p4c/parde/lowered/compute_lowered_deparser_ir.cpp create mode 100644 backends/tofino/bf-p4c/parde/lowered/compute_lowered_deparser_ir.h create mode 100644 backends/tofino/bf-p4c/parde/lowered/compute_lowered_parser_ir.cpp create mode 100644 backends/tofino/bf-p4c/parde/lowered/compute_lowered_parser_ir.h create mode 100644 backends/tofino/bf-p4c/parde/lowered/compute_multi_write_containers.cpp create mode 100644 backends/tofino/bf-p4c/parde/lowered/compute_multi_write_containers.h create mode 100644 backends/tofino/bf-p4c/parde/lowered/eliminate_empty_states.cpp create mode 100644 backends/tofino/bf-p4c/parde/lowered/eliminate_empty_states.h create mode 100644 backends/tofino/bf-p4c/parde/lowered/extract_simplifier.cpp create mode 100644 backends/tofino/bf-p4c/parde/lowered/extract_simplifier.h create mode 100644 backends/tofino/bf-p4c/parde/lowered/helpers.cpp create mode 100644 backends/tofino/bf-p4c/parde/lowered/helpers.h create mode 100644 backends/tofino/bf-p4c/parde/lowered/hoist_common_match_operations.cpp create mode 100644 backends/tofino/bf-p4c/parde/lowered/hoist_common_match_operations.h create mode 100644 backends/tofino/bf-p4c/parde/lowered/merge_lowered_parser_states.cpp create mode 100644 backends/tofino/bf-p4c/parde/lowered/merge_lowered_parser_states.h create mode 100644 backends/tofino/bf-p4c/parde/lowered/rewrite_emit_clot.cpp create mode 100644 backends/tofino/bf-p4c/parde/lowered/rewrite_emit_clot.h create mode 100644 backends/tofino/bf-p4c/parde/lowered/split_greedy_parser_states.cpp create mode 100644 backends/tofino/bf-p4c/parde/lowered/split_greedy_parser_states.h create mode 100644 backends/tofino/bf-p4c/parde/marshal.cpp create mode 100644 backends/tofino/bf-p4c/parde/marshal.h create mode 100644 backends/tofino/bf-p4c/parde/match_register.cpp create mode 100644 backends/tofino/bf-p4c/parde/match_register.h create mode 100644 backends/tofino/bf-p4c/parde/merge_parser_state.cpp create mode 100644 backends/tofino/bf-p4c/parde/merge_parser_state.h create mode 100644 backends/tofino/bf-p4c/parde/mirror/const_mirror_session_opt.cpp create mode 100644 backends/tofino/bf-p4c/parde/mirror/const_mirror_session_opt.h create mode 100644 backends/tofino/bf-p4c/parde/parde_spec.h create mode 100644 backends/tofino/bf-p4c/parde/parde_utils.h create mode 100644 backends/tofino/bf-p4c/parde/parde_visitor.h create mode 100644 backends/tofino/bf-p4c/parde/parser_dominator_builder.cpp create mode 100644 backends/tofino/bf-p4c/parde/parser_dominator_builder.h create mode 100644 backends/tofino/bf-p4c/parde/parser_header_sequences.cpp create mode 100644 backends/tofino/bf-p4c/parde/parser_header_sequences.h create mode 100644 backends/tofino/bf-p4c/parde/parser_info.h create mode 100644 backends/tofino/bf-p4c/parde/parser_loops_info.cpp create mode 100644 backends/tofino/bf-p4c/parde/parser_loops_info.h create mode 100644 backends/tofino/bf-p4c/parde/parser_output.cpp create mode 100644 backends/tofino/bf-p4c/parde/parser_query.cpp create mode 100644 backends/tofino/bf-p4c/parde/parser_query.h create mode 100644 backends/tofino/bf-p4c/parde/phase0.cpp create mode 100644 backends/tofino/bf-p4c/parde/phase0.h create mode 100644 backends/tofino/bf-p4c/parde/reset_invalidated_checksum_headers.h create mode 100644 backends/tofino/bf-p4c/parde/resolve_negative_extract.h create mode 100644 backends/tofino/bf-p4c/parde/rewrite_parser_locals.cpp create mode 100644 backends/tofino/bf-p4c/parde/rewrite_parser_locals.h create mode 100644 backends/tofino/bf-p4c/parde/split_parser_state.cpp create mode 100644 backends/tofino/bf-p4c/parde/split_parser_state.h create mode 100644 backends/tofino/bf-p4c/parde/stack_push_shims.h create mode 100644 backends/tofino/bf-p4c/parde/update_parser_write_mode.h create mode 100644 backends/tofino/bf-p4c/phv/action_packing_validator_interface.h create mode 100644 backends/tofino/bf-p4c/phv/action_phv_constraints.cpp create mode 100644 backends/tofino/bf-p4c/phv/action_phv_constraints.h create mode 100644 backends/tofino/bf-p4c/phv/action_source_tracker.cpp create mode 100644 backends/tofino/bf-p4c/phv/action_source_tracker.h create mode 100644 backends/tofino/bf-p4c/phv/add_alias_allocation.cpp create mode 100644 backends/tofino/bf-p4c/phv/add_alias_allocation.h create mode 100644 backends/tofino/bf-p4c/phv/add_initialization.cpp create mode 100644 backends/tofino/bf-p4c/phv/add_initialization.h create mode 100644 backends/tofino/bf-p4c/phv/add_special_constraints.cpp create mode 100644 backends/tofino/bf-p4c/phv/add_special_constraints.h create mode 100644 backends/tofino/bf-p4c/phv/alloc_setting.h create mode 100644 backends/tofino/bf-p4c/phv/allocate_phv.cpp create mode 100644 backends/tofino/bf-p4c/phv/allocate_phv.h create mode 100644 backends/tofino/bf-p4c/phv/allocate_temps_and_finalize_liverange.cpp create mode 100644 backends/tofino/bf-p4c/phv/allocate_temps_and_finalize_liverange.h create mode 100644 backends/tofino/bf-p4c/phv/analysis/build_mutex.cpp create mode 100644 backends/tofino/bf-p4c/phv/analysis/build_mutex.h create mode 100644 backends/tofino/bf-p4c/phv/analysis/critical_path_clusters.cpp create mode 100644 backends/tofino/bf-p4c/phv/analysis/critical_path_clusters.h create mode 100644 backends/tofino/bf-p4c/phv/analysis/dark.cpp create mode 100644 backends/tofino/bf-p4c/phv/analysis/dark.h create mode 100644 backends/tofino/bf-p4c/phv/analysis/dark_live_range.cpp create mode 100644 backends/tofino/bf-p4c/phv/analysis/dark_live_range.h create mode 100644 backends/tofino/bf-p4c/phv/analysis/deparser_zero.cpp create mode 100644 backends/tofino/bf-p4c/phv/analysis/deparser_zero.h create mode 100644 backends/tofino/bf-p4c/phv/analysis/dominator_tree.cpp create mode 100644 backends/tofino/bf-p4c/phv/analysis/dominator_tree.h create mode 100644 backends/tofino/bf-p4c/phv/analysis/header_mutex.cpp create mode 100644 backends/tofino/bf-p4c/phv/analysis/header_mutex.h create mode 100644 backends/tofino/bf-p4c/phv/analysis/jbay_phv_analysis.cpp create mode 100644 backends/tofino/bf-p4c/phv/analysis/jbay_phv_analysis.h create mode 100644 backends/tofino/bf-p4c/phv/analysis/live_range_shrinking.cpp create mode 100644 backends/tofino/bf-p4c/phv/analysis/live_range_shrinking.h create mode 100644 backends/tofino/bf-p4c/phv/analysis/memoize_min_stage.cpp create mode 100644 backends/tofino/bf-p4c/phv/analysis/memoize_min_stage.h create mode 100644 backends/tofino/bf-p4c/phv/analysis/meta_live_range.cpp create mode 100644 backends/tofino/bf-p4c/phv/analysis/meta_live_range.h create mode 100644 backends/tofino/bf-p4c/phv/analysis/mocha.cpp create mode 100644 backends/tofino/bf-p4c/phv/analysis/mocha.h create mode 100644 backends/tofino/bf-p4c/phv/analysis/mutex_overlay.cpp create mode 100644 backends/tofino/bf-p4c/phv/analysis/mutex_overlay.h create mode 100644 backends/tofino/bf-p4c/phv/analysis/non_mocha_dark_fields.cpp create mode 100644 backends/tofino/bf-p4c/phv/analysis/non_mocha_dark_fields.h create mode 100644 backends/tofino/bf-p4c/phv/analysis/pack_conflicts.cpp create mode 100644 backends/tofino/bf-p4c/phv/analysis/pack_conflicts.h create mode 100644 backends/tofino/bf-p4c/phv/analysis/parser_critical_path.cpp create mode 100644 backends/tofino/bf-p4c/phv/analysis/parser_critical_path.h create mode 100644 backends/tofino/bf-p4c/phv/asm_output.cpp create mode 100644 backends/tofino/bf-p4c/phv/asm_output.h create mode 100644 backends/tofino/bf-p4c/phv/auto_init_metadata.cpp create mode 100644 backends/tofino/bf-p4c/phv/auto_init_metadata.h create mode 100644 backends/tofino/bf-p4c/phv/check_unallocated.cpp create mode 100644 backends/tofino/bf-p4c/phv/check_unallocated.h create mode 100644 backends/tofino/bf-p4c/phv/cluster_phv_operations.cpp create mode 100644 backends/tofino/bf-p4c/phv/cluster_phv_operations.h create mode 100644 backends/tofino/bf-p4c/phv/collect_strided_headers.h create mode 100644 backends/tofino/bf-p4c/phv/collect_table_keys.cpp create mode 100644 backends/tofino/bf-p4c/phv/collect_table_keys.h create mode 100644 backends/tofino/bf-p4c/phv/constraints/constraints.cpp create mode 100644 backends/tofino/bf-p4c/phv/constraints/constraints.h create mode 100644 backends/tofino/bf-p4c/phv/create_thread_local_instances.cpp create mode 100644 backends/tofino/bf-p4c/phv/create_thread_local_instances.h create mode 100644 backends/tofino/bf-p4c/phv/dump_table_flow_graph.h create mode 100644 backends/tofino/bf-p4c/phv/error.h create mode 100644 backends/tofino/bf-p4c/phv/fieldslice_live_range.cpp create mode 100644 backends/tofino/bf-p4c/phv/fieldslice_live_range.h create mode 100644 backends/tofino/bf-p4c/phv/finalize_physical_liverange.cpp create mode 100644 backends/tofino/bf-p4c/phv/finalize_physical_liverange.h create mode 100644 backends/tofino/bf-p4c/phv/finalize_stage_allocation.cpp create mode 100644 backends/tofino/bf-p4c/phv/finalize_stage_allocation.h create mode 100644 backends/tofino/bf-p4c/phv/init_in_mau.h create mode 100644 backends/tofino/bf-p4c/phv/legacy_action_packing_validator.cpp create mode 100644 backends/tofino/bf-p4c/phv/legacy_action_packing_validator.h create mode 100644 backends/tofino/bf-p4c/phv/live_range_split.cpp create mode 100644 backends/tofino/bf-p4c/phv/live_range_split.h create mode 100644 backends/tofino/bf-p4c/phv/make_clusters.cpp create mode 100644 backends/tofino/bf-p4c/phv/make_clusters.h create mode 100644 backends/tofino/bf-p4c/phv/mau_backtracker.cpp create mode 100644 backends/tofino/bf-p4c/phv/mau_backtracker.h create mode 100644 backends/tofino/bf-p4c/phv/optimize_phv.cpp create mode 100644 backends/tofino/bf-p4c/phv/optimize_phv.h create mode 100644 backends/tofino/bf-p4c/phv/parde_phv_constraints.cpp create mode 100644 backends/tofino/bf-p4c/phv/parde_phv_constraints.h create mode 100644 backends/tofino/bf-p4c/phv/parser_extract_balance_score.h create mode 100644 backends/tofino/bf-p4c/phv/parser_packing_validator_interface.h create mode 100644 backends/tofino/bf-p4c/phv/phv.cpp create mode 100644 backends/tofino/bf-p4c/phv/phv.h create mode 100644 backends/tofino/bf-p4c/phv/phv_analysis.cpp create mode 100644 backends/tofino/bf-p4c/phv/phv_analysis.h create mode 100644 backends/tofino/bf-p4c/phv/phv_fields.cpp create mode 100644 backends/tofino/bf-p4c/phv/phv_fields.h create mode 100644 backends/tofino/bf-p4c/phv/phv_parde_mau_use.cpp create mode 100644 backends/tofino/bf-p4c/phv/phv_parde_mau_use.h create mode 100644 backends/tofino/bf-p4c/phv/phv_spec.cpp create mode 100644 backends/tofino/bf-p4c/phv/phv_spec.h create mode 100644 backends/tofino/bf-p4c/phv/pragma/pa_alias.cpp create mode 100644 backends/tofino/bf-p4c/phv/pragma/pa_alias.h create mode 100644 backends/tofino/bf-p4c/phv/pragma/pa_atomic.cpp create mode 100644 backends/tofino/bf-p4c/phv/pragma/pa_atomic.h create mode 100644 backends/tofino/bf-p4c/phv/pragma/pa_byte_pack.cpp create mode 100644 backends/tofino/bf-p4c/phv/pragma/pa_byte_pack.h create mode 100644 backends/tofino/bf-p4c/phv/pragma/pa_container_size.cpp create mode 100644 backends/tofino/bf-p4c/phv/pragma/pa_container_size.h create mode 100644 backends/tofino/bf-p4c/phv/pragma/pa_container_type.cpp create mode 100644 backends/tofino/bf-p4c/phv/pragma/pa_container_type.h create mode 100644 backends/tofino/bf-p4c/phv/pragma/pa_deparser_zero.cpp create mode 100644 backends/tofino/bf-p4c/phv/pragma/pa_deparser_zero.h create mode 100644 backends/tofino/bf-p4c/phv/pragma/pa_mutually_exclusive.cpp create mode 100644 backends/tofino/bf-p4c/phv/pragma/pa_mutually_exclusive.h create mode 100644 backends/tofino/bf-p4c/phv/pragma/pa_no_init.cpp create mode 100644 backends/tofino/bf-p4c/phv/pragma/pa_no_init.h create mode 100644 backends/tofino/bf-p4c/phv/pragma/pa_no_overlay.cpp create mode 100644 backends/tofino/bf-p4c/phv/pragma/pa_no_overlay.h create mode 100644 backends/tofino/bf-p4c/phv/pragma/pa_no_pack.cpp create mode 100644 backends/tofino/bf-p4c/phv/pragma/pa_no_pack.h create mode 100644 backends/tofino/bf-p4c/phv/pragma/pa_solitary.cpp create mode 100644 backends/tofino/bf-p4c/phv/pragma/pa_solitary.h create mode 100644 backends/tofino/bf-p4c/phv/pragma/phv_pragmas.cpp create mode 100644 backends/tofino/bf-p4c/phv/pragma/phv_pragmas.h create mode 100644 backends/tofino/bf-p4c/phv/pragma/pretty_print.h create mode 100644 backends/tofino/bf-p4c/phv/slicing/README.md create mode 100644 backends/tofino/bf-p4c/phv/slicing/phv_slicing_dfs_iterator.cpp create mode 100644 backends/tofino/bf-p4c/phv/slicing/phv_slicing_dfs_iterator.h create mode 100644 backends/tofino/bf-p4c/phv/slicing/phv_slicing_iterator.cpp create mode 100644 backends/tofino/bf-p4c/phv/slicing/phv_slicing_iterator.h create mode 100644 backends/tofino/bf-p4c/phv/slicing/phv_slicing_split.cpp create mode 100644 backends/tofino/bf-p4c/phv/slicing/phv_slicing_split.h create mode 100644 backends/tofino/bf-p4c/phv/slicing/types.h create mode 100644 backends/tofino/bf-p4c/phv/solver/README.md create mode 100644 backends/tofino/bf-p4c/phv/solver/action_constraint_solver.cpp create mode 100644 backends/tofino/bf-p4c/phv/solver/action_constraint_solver.h create mode 100644 backends/tofino/bf-p4c/phv/solver/symbolic_bitvec.cpp create mode 100644 backends/tofino/bf-p4c/phv/solver/symbolic_bitvec.h create mode 100644 backends/tofino/bf-p4c/phv/split_padding.cpp create mode 100644 backends/tofino/bf-p4c/phv/split_padding.h create mode 100644 backends/tofino/bf-p4c/phv/table_phv_constraints.cpp create mode 100644 backends/tofino/bf-p4c/phv/table_phv_constraints.h create mode 100644 backends/tofino/bf-p4c/phv/transforms/auto_alias.cpp create mode 100644 backends/tofino/bf-p4c/phv/transforms/auto_alias.h create mode 100644 backends/tofino/bf-p4c/phv/utils/container_equivalence.cpp create mode 100644 backends/tofino/bf-p4c/phv/utils/container_equivalence.h create mode 100644 backends/tofino/bf-p4c/phv/utils/live_range_report.cpp create mode 100644 backends/tofino/bf-p4c/phv/utils/live_range_report.h create mode 100644 backends/tofino/bf-p4c/phv/utils/liverange_opti_utils.cpp create mode 100644 backends/tofino/bf-p4c/phv/utils/liverange_opti_utils.h create mode 100644 backends/tofino/bf-p4c/phv/utils/report.cpp create mode 100644 backends/tofino/bf-p4c/phv/utils/report.h create mode 100644 backends/tofino/bf-p4c/phv/utils/slice_alloc.cpp create mode 100644 backends/tofino/bf-p4c/phv/utils/slice_alloc.h create mode 100644 backends/tofino/bf-p4c/phv/utils/tables_to_ids.h create mode 100644 backends/tofino/bf-p4c/phv/utils/utils.cpp create mode 100644 backends/tofino/bf-p4c/phv/utils/utils.h create mode 100644 backends/tofino/bf-p4c/phv/v2/README.md create mode 100644 backends/tofino/bf-p4c/phv/v2/action_packing_validator.cpp create mode 100644 backends/tofino/bf-p4c/phv/v2/action_packing_validator.h create mode 100644 backends/tofino/bf-p4c/phv/v2/allocator_base.cpp create mode 100644 backends/tofino/bf-p4c/phv/v2/allocator_base.h create mode 100644 backends/tofino/bf-p4c/phv/v2/allocator_metrics.h create mode 100644 backends/tofino/bf-p4c/phv/v2/copacker.cpp create mode 100644 backends/tofino/bf-p4c/phv/v2/copacker.h create mode 100644 backends/tofino/bf-p4c/phv/v2/greedy_allocator.cpp create mode 100644 backends/tofino/bf-p4c/phv/v2/greedy_allocator.h create mode 100644 backends/tofino/bf-p4c/phv/v2/greedy_tx_score.cpp create mode 100644 backends/tofino/bf-p4c/phv/v2/greedy_tx_score.h create mode 100644 backends/tofino/bf-p4c/phv/v2/kind_size_indexed_map.cpp create mode 100644 backends/tofino/bf-p4c/phv/v2/kind_size_indexed_map.h create mode 100644 backends/tofino/bf-p4c/phv/v2/metadata_initialization.cpp create mode 100644 backends/tofino/bf-p4c/phv/v2/metadata_initialization.h create mode 100644 backends/tofino/bf-p4c/phv/v2/parser_packing_validator.cpp create mode 100644 backends/tofino/bf-p4c/phv/v2/parser_packing_validator.h create mode 100644 backends/tofino/bf-p4c/phv/v2/phv_allocation_v2.cpp create mode 100644 backends/tofino/bf-p4c/phv/v2/phv_allocation_v2.h create mode 100644 backends/tofino/bf-p4c/phv/v2/phv_kit.cpp create mode 100644 backends/tofino/bf-p4c/phv/v2/phv_kit.h create mode 100644 backends/tofino/bf-p4c/phv/v2/smart_packing.cpp create mode 100644 backends/tofino/bf-p4c/phv/v2/smart_packing.h create mode 100644 backends/tofino/bf-p4c/phv/v2/sort_macros.h create mode 100644 backends/tofino/bf-p4c/phv/v2/table_replay_friendly_constraints.cpp create mode 100644 backends/tofino/bf-p4c/phv/v2/table_replay_friendly_constraints.h create mode 100644 backends/tofino/bf-p4c/phv/v2/trivial_allocator.cpp create mode 100644 backends/tofino/bf-p4c/phv/v2/trivial_allocator.h create mode 100644 backends/tofino/bf-p4c/phv/v2/tx_score.cpp create mode 100644 backends/tofino/bf-p4c/phv/v2/tx_score.h create mode 100644 backends/tofino/bf-p4c/phv/v2/types.cpp create mode 100644 backends/tofino/bf-p4c/phv/v2/types.h create mode 100644 backends/tofino/bf-p4c/phv/v2/utils_v2.cpp create mode 100644 backends/tofino/bf-p4c/phv/v2/utils_v2.h create mode 100644 backends/tofino/bf-p4c/phv/validate_allocation.cpp create mode 100644 backends/tofino/bf-p4c/phv/validate_allocation.h create mode 100644 backends/tofino/bf-p4c/replace_namespace.py create mode 100644 backends/tofino/bf-p4c/test/gtest/README.md create mode 100644 backends/tofino/bf-p4c/test/gtest/action_analysis.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/action_format_helper.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/action_mutex.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/action_phv.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/add_always_run.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/annotate_with_in_hash.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/attached_info.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/bf_gtest_helpers.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/bf_gtest_helpers.h create mode 100644 backends/tofino/bf-p4c/test/gtest/bfrt_pvs.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/bitrange.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/build_super_cluster.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/checksum.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/clot.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/constrained_field_map_builder.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/container_action.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/container_size_extractor.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/copy_header.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/critical_path_clusters.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/custom_header_stack_name.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/dominator_tree.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/dynamic_dep_metrics.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/elim_cast.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/equiv_align_extractor.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/error_reporter.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/event_logger.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/field_alignment.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/field_defuse.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/field_packing.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/flatrock_hdr_asm.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/flatrock_metadata_packer.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/flatrock_parser.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/fold_constant_hashes.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/gateway_control_flow.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/hidden_merged.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/initialize_mirror_io_select.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/input_xbar.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/ir_utils.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/jbay_next_table.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/mask_exact_match_hash_bits.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/mau_control_flow_visitor.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/mau_group_extractor.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/mau_indirect_externs_single_action.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/meta_live_range.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/mocha_dark.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/multipipe_bf_runtime.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/multiple_apply.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/no_co_pack.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/normalize_hash_list.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/pa_atomic.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/pa_byte_pack.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/pa_container_size.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/pa_container_type.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/pa_mutually_exclusive_pragma.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/pa_no_overlay.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/pa_solitary.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/parser_constant_extract.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/parser_container_valid.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/parser_critical_path.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/parser_elim_lowered_zero_extracts.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/parser_enforce_depth_req.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/parser_extract_overlay.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/parser_extract_reorder.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/parser_state_merge.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/path_linearizer.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/payload_gateway.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/phv/action_source_tracker.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/phv/fieldslice_live_range.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/phv/greedy_tx_score.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/phv/slicing/iterator.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/phv/solver/action_constraint_solver.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/phv/solver/symbolic_bitvec.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/phv_crush.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/phv_field.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/phv_jbay.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/phv_tofino.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/post_midend_constant_folding.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/power_schema_dot_prefix.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/pragma_eg_intr_md_opt.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/pragma_no_gateway_conversion.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/pragma_sep_gat.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/pragma_stage.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/pragmas_backward_quick_phv_bandwidth.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/register_actions.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/register_read_write.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/scc_toposort.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/simplify_key_elim_casts.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/slice.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/slice_comparison.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/static_entries_const_prop.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/table_dependency_graph.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/table_flow_graph.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/table_mutex.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/test_bf_gtest_helpers.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/tofino_gtest_utils.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/tofino_gtest_utils.h create mode 100644 backends/tofino/bf-p4c/test/gtest/tofino_write_context.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/tphv_slice.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/type_categories.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/union_find.cpp create mode 100644 backends/tofino/bf-p4c/test/gtest/v1model_translate.cpp create mode 100644 backends/tofino/bf-p4c/test/utils/super_cluster_builder.cpp create mode 100644 backends/tofino/bf-p4c/test/utils/super_cluster_builder.h create mode 100644 backends/tofino/bf-p4c/update_string_default_all.py create mode 100644 backends/tofino/bf-p4c/version.h create mode 100644 backends/tofino/bf-utils/include/dynamic_hash/bfn_hash_algorithm.h create mode 100644 backends/tofino/bf-utils/include/dynamic_hash/dynamic_hash.h create mode 100644 backends/tofino/bf-utils/src/dynamic_hash/CMakeLists.txt create mode 100644 backends/tofino/bf-utils/src/dynamic_hash/bfn_hash_algorithm.c create mode 100644 backends/tofino/bf-utils/src/dynamic_hash/dynamic_hash.c create mode 100755 backends/tofino/bootstrap_bfn_compilers.sh create mode 100755 backends/tofino/bootstrap_bfn_env.sh create mode 100755 backends/tofino/bootstrap_ptf.sh create mode 100644 backends/tofino/cmake/spdlog.cmake create mode 100644 backends/tofino/compiler_interfaces/.gitignore create mode 100644 backends/tofino/compiler_interfaces/CODEOWNERS create mode 100644 backends/tofino/compiler_interfaces/LICENSE create mode 100644 backends/tofino/compiler_interfaces/LICENSES.txt create mode 100644 backends/tofino/compiler_interfaces/README.md create mode 100644 backends/tofino/compiler_interfaces/__init__.py create mode 100755 backends/tofino/compiler_interfaces/p4c-build-logs create mode 100644 backends/tofino/compiler_interfaces/p4c-build-logs.spec create mode 100644 backends/tofino/compiler_interfaces/requirements.txt create mode 100644 backends/tofino/compiler_interfaces/schemas/__init__.py create mode 100755 backends/tofino/compiler_interfaces/schemas/bfrt_schema.py create mode 100755 backends/tofino/compiler_interfaces/schemas/context_schema.py create mode 100644 backends/tofino/compiler_interfaces/schemas/event_log_schema.py create mode 100644 backends/tofino/compiler_interfaces/schemas/jgf_schema.py create mode 100644 backends/tofino/compiler_interfaces/schemas/manifest_schema.py create mode 100644 backends/tofino/compiler_interfaces/schemas/mau_schema.py create mode 100644 backends/tofino/compiler_interfaces/schemas/metrics_schema.py create mode 100644 backends/tofino/compiler_interfaces/schemas/phv_schema.py create mode 100644 backends/tofino/compiler_interfaces/schemas/power_schema.py create mode 100644 backends/tofino/compiler_interfaces/schemas/requirements.txt create mode 100644 backends/tofino/compiler_interfaces/schemas/resources_schema.py create mode 100644 backends/tofino/compiler_interfaces/schemas/schema_enum_values.py create mode 100644 backends/tofino/compiler_interfaces/schemas/schema_keys.py create mode 100644 backends/tofino/compiler_interfaces/schemas/source_info_schema.py create mode 100644 backends/tofino/compiler_interfaces/schemas/table_graph_schema.py create mode 100644 backends/tofino/compiler_interfaces/schemas_version.py create mode 100644 backends/tofino/compiler_interfaces/tools/__init__.py create mode 100755 backends/tofino/compiler_interfaces/tools/create_mau_characterize.py create mode 100755 backends/tofino/compiler_interfaces/tools/create_mau_json.py create mode 100755 backends/tofino/compiler_interfaces/tools/create_mau_resources.py create mode 100755 backends/tofino/compiler_interfaces/tools/create_metrics.py create mode 100755 backends/tofino/compiler_interfaces/tools/create_pa_characterize.py create mode 100755 backends/tofino/compiler_interfaces/tools/create_pa_results.py create mode 100755 backends/tofino/compiler_interfaces/tools/create_phv_json.py create mode 100755 backends/tofino/compiler_interfaces/tools/create_schema_json.py create mode 100644 backends/tofino/compiler_interfaces/tools/utils.py create mode 100644 backends/tofino/doc.Jenkinsfile create mode 100644 backends/tofino/git_sha_version.h.in create mode 100644 backends/tofino/scripts/README.md create mode 100755 backends/tofino/scripts/check-git-submodules create mode 100755 backends/tofino/scripts/dot2pdf create mode 100755 backends/tofino/scripts/extract_schema_versions.sh create mode 100644 backends/tofino/scripts/format-project-for-p4c.py create mode 100755 backends/tofino/scripts/generate-license.sh create mode 100755 backends/tofino/scripts/install_boost_static.sh create mode 100755 backends/tofino/scripts/install_source_release_clean_prereqs.sh create mode 100755 backends/tofino/scripts/jbay_rename.sh create mode 100755 backends/tofino/scripts/jsonvalidator.py create mode 100755 backends/tofino/scripts/make_and_install_dynhash.sh create mode 100644 backends/tofino/scripts/p4_14-to-p4_16 create mode 100755 backends/tofino/scripts/p4c-gen-bfrt-conf create mode 100755 backends/tofino/scripts/p4c-gen-conf create mode 100755 backends/tofino/scripts/p4c-manifest-config create mode 100755 backends/tofino/scripts/p4c_build_for_arch.sh create mode 100755 backends/tofino/scripts/package_p4c_for_tofino.sh create mode 100755 backends/tofino/scripts/package_sources.sh create mode 100644 backends/tofino/scripts/packaging/README.md create mode 100755 backends/tofino/scripts/packaging/copyright-stamp create mode 100644 backends/tofino/scripts/primitives.json create mode 100755 backends/tofino/scripts/ptf_hugepage_setup.sh create mode 100755 backends/tofino/scripts/report_overlays.py create mode 100644 backends/tofino/scripts/requirements.txt create mode 100755 backends/tofino/scripts/run-docker create mode 100755 backends/tofino/scripts/source_release_clean.py create mode 100755 backends/tofino/scripts/test_p4c_driver.py create mode 100755 backends/tofino/scripts/travis_test create mode 100755 backends/tofino/scripts/validate_context_json create mode 100755 backends/tofino/scripts/validate_depgraph_json create mode 100755 backends/tofino/scripts/validate_manifest create mode 100755 backends/tofino/scripts/validate_output.sh create mode 100755 backends/tofino/scripts/validate_phv_json create mode 100755 backends/tofino/scripts/validate_power_json create mode 100755 backends/tofino/scripts/validate_resources_json create mode 100755 backends/tofino/scripts/validate_source_json create mode 100644 cmake/Z3.cmake diff --git a/.github/workflows/ci-test-debian.yml b/.github/workflows/ci-test-debian.yml index 65bac9c9442..ac2b2d5e4be 100644 --- a/.github/workflows/ci-test-debian.yml +++ b/.github/workflows/ci-test-debian.yml @@ -42,6 +42,39 @@ jobs: run: sudo -E ctest --output-on-failure --schedule-random working-directory: ./build + # Build with GCC and test Tofino backend on Ubuntu 22.04. + test-ubuntu22-tofino: + runs-on: ubuntu-22.04 + env: + CTEST_PARALLEL_LEVEL: 4 + IMAGE_TYPE: test + BUILD_GENERATOR: Ninja + ENABLE_GTESTS: ON + ENABLE_TOFINO: ON + ENABLE_BMV2: OFF + ENABLE_EBPF: OFF + ENABLE_UBPF: OFF + ENABLE_DPDK: OFF + ENABLE_P4TC: OFF + ENABLE_P4FMT: OFF + ENABLE_P4TEST: OFF + ENABLE_P4C_GRAPHS: OFF + steps: + - uses: actions/checkout@v4 + with: + submodules: recursive + fetch-depth: 0 + + - name: ccache + uses: hendrikmuhs/ccache-action@v1 + with: + key: test-${{ runner.os }}-gcc + max-size: 1000M + + - name: Build (Ubuntu 22.04, GCC) + run: | + tools/ci-build.sh + # Build with GCC and test P4C on Ubuntu 20.04. test-ubuntu20: name: test-ubuntu20 (Unity ${{ matrix.unity }}, GTest ${{ matrix.gtest }}) diff --git a/.gitignore b/.gitignore index 3fa0a3f58f0..7772b8a5d40 100644 --- a/.gitignore +++ b/.gitignore @@ -49,3 +49,6 @@ docs/doxygen/p4c-doxygen-warn.log # Local Documentation build theme files docs/doxygen/awesome_css/ + +# thirdparty +backends/tofino/third_party/ diff --git a/CMakeLists.txt b/CMakeLists.txt index 7ddf63af630..71382677c50 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -1,16 +1,17 @@ -# Copyright 2013-present Barefoot Networks, Inc. -# -# Licensed under the Apache License, Version 2.0 (the "License"); -# you may not use this file except in compliance with the License. -# You may obtain a copy of the License at -# -# http://www.apache.org/licenses/LICENSE-2.0 -# -# Unless required by applicable law or agreed to in writing, software -# distributed under the License is distributed on an "AS IS" BASIS, -# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. -# See the License for the specific language governing permissions and -# limitations under the License. +# Copyright (C) 2024 Intel Corporation +# +# Licensed under the Apache License, Version 2.0 (the "License"); you may not +# use this file except in compliance with the License. You may obtain a copy +# of the License at +# +# http://www.apache.org/licenses/LICENSE-2.0 +# +# Unless required by applicable law or agreed to in writing, software distributed +# under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR +# CONDITIONS OF ANY KIND, either express or implied. See the License for the +# specific language governing permissions and limitations under the License. +# +# SPDX-License-Identifier: Apache-2.0 # This is the CMake version supplied by Ubuntu 20.04. cmake_minimum_required (VERSION 3.16.3 FATAL_ERROR) @@ -39,6 +40,7 @@ OPTION (ENABLE_BMV2 "Build the BMV2 backend (required for the full test suite)" OPTION (ENABLE_EBPF "Build the EBPF backend (required for the full test suite)" ON) OPTION (ENABLE_UBPF "Build the uBPF backend (required for the full test suite)" ON) OPTION (ENABLE_DPDK "Build the DPDK backend (required for the full test suite)" ON) +OPTION (ENABLE_TOFINO "Build the TOFINO backend (required for the full test suite)" OFF) OPTION (ENABLE_P4TC "Build the P4TC backend" ON) OPTION (ENABLE_P4FMT "Build the P4FMT backend" ON) OPTION (ENABLE_P4TEST "Build the P4Test backend (required for the full test suite)" ON) @@ -374,6 +376,7 @@ include_directories ( ${P4C_SOURCE_DIR} ${P4C_BINARY_DIR} ${P4C_SOURCE_DIR}/extensions + ${P4C_SOURCE_DIR}/backends/tofino ## FIXME ) add_definitions (-DCONFIG_PREFIX="${CMAKE_INSTALL_PREFIX}") add_definitions (-DCONFIG_PKGDATADIR="${CMAKE_INSTALL_PREFIX}/${P4C_ARTIFACTS_OUTPUT_DIRECTORY}") @@ -487,6 +490,9 @@ endif () if (ENABLE_UBPF) add_subdirectory (backends/ubpf) endif () +if (ENABLE_TOFINO) + add_subdirectory (backends/tofino) +endif () if (ENABLE_GTESTS) add_subdirectory (test) endif () diff --git a/CPPLINT.cfg b/CPPLINT.cfg index 6c3204273cd..930bab741a2 100644 --- a/CPPLINT.cfg +++ b/CPPLINT.cfg @@ -9,6 +9,7 @@ filter=-runtime/references filter=-readability/todo filter=-readability/function filter=-readability/casting +filter=-readability/fn_size linelength=100 # Do not use 'p4c' as the cpp header guard prefix. root=. diff --git a/backends/common/psaProgramStructure.h b/backends/common/psaProgramStructure.h index 00527ebb563..46dcc6b5b79 100644 --- a/backends/common/psaProgramStructure.h +++ b/backends/common/psaProgramStructure.h @@ -22,7 +22,11 @@ limitations under the License. namespace P4 { -enum gress_t { INGRESS, EGRESS }; +enum psa_gress_t { + INGRESS, + EGRESS, +}; + enum block_t { PARSER, PIPELINE, @@ -32,7 +36,7 @@ enum block_t { class PsaProgramStructure : public PortableProgramStructure { public: /// Architecture related information. - ordered_map> block_type; + ordered_map> block_type; public: PsaProgramStructure(P4::ReferenceMap *refMap, P4::TypeMap *typeMap) diff --git a/backends/p4tools/cmake/common.cmake b/backends/p4tools/cmake/common.cmake index 0cde58e8584..ed8f15de194 100644 --- a/backends/p4tools/cmake/common.cmake +++ b/backends/p4tools/cmake/common.cmake @@ -13,71 +13,3 @@ function(add_p4tools_executable target source) install(TARGETS ${target} RUNTIME DESTINATION ${P4C_RUNTIME_OUTPUT_DIRECTORY}) endfunction(add_p4tools_executable) -macro(p4tools_obtain_z3) - option(TOOLS_USE_PREINSTALLED_Z3 "Look for a preinstalled version of Z3 instead of installing a prebuilt binary using FetchContent." OFF) - - if(TOOLS_USE_PREINSTALLED_Z3) - # We need a fairly recent version of Z3. - set(Z3_MIN_VERSION "4.8.14") - # But 4.12+ is currently broken with libGC - set(Z3_MAX_VERSION_EXCL "4.12") - find_package(Z3 ${Z3_MIN_VERSION} REQUIRED) - - if(NOT DEFINED Z3_VERSION_STRING OR ${Z3_VERSION_STRING} VERSION_LESS ${Z3_MIN_VERSION}) - message(FATAL_ERROR "The minimum required Z3 version is ${Z3_MIN_VERSION}. Has ${Z3_VERSION_STRING}.") - endif() - if(${Z3_VERSION_STRING} VERSION_GREATER_EQUAL ${Z3_MAX_VERSION_EXCL}) - message(FATAL_ERROR "The Z3 version has to be lower than ${Z3_MAX_VERSION_EXCL} (the latter currently does no work with libGC). Has ${Z3_VERSION_STRING}.") - endif() - # Set variables for later consumption. - set(P4TOOLS_Z3_LIB z3::z3) - set(P4TOOLS_Z3_INCLUDE_DIR ${Z3_INCLUDE_DIR}) - else() - # Pull in a specific version of Z3 and link against it. - set(P4TOOLS_Z3_VERSION "4.11.2") - message("Fetching Z3 version ${P4TOOLS_Z3_VERSION} for P4Tools...") - - # Determine platform to fetch pre-built Z3 - if (CMAKE_HOST_SYSTEM_PROCESSOR STREQUAL "x86_64") - set(Z3_ARCH "x64") - if (APPLE) - set(Z3_PLATFORM_SUFFIX "osx-10.16") - set(Z3_ZIP_HASH "a56b6c40d9251a963aabe1f15731dd88ad1cb801d0e7b16e45f8b232175e165c") - elseif (UNIX) - set(Z3_PLATFORM_SUFFIX "glibc-2.31") - set(Z3_ZIP_HASH "9d0f70e61e82b321f35e6cad1343615d2dead6f2c54337a24293725de2900fb6") - else() - message(FATAL_ERROR "Unsupported system platform") - endif() - elseif(CMAKE_HOST_SYSTEM_PROCESSOR STREQUAL "arm64") - set(Z3_ARCH "arm64") - if (APPLE) - set(Z3_PLATFORM_SUFFIX "osx-11.0") - set(Z3_ZIP_HASH "c021f381fa3169b1f7fb3b4fae81a1d1caf0dd8aa4aa773f4ab9d5e28c6657a4") - else() - message(FATAL_ERROR "Unsupported system platform") - endif() - else() - message(FATAL_ERROR "Unsupported system processor") - endif() - - # Print out download state while setting up Z3. - set(FETCHCONTENT_QUIET_PREV ${FETCHCONTENT_QUIET}) - set(FETCHCONTENT_QUIET OFF) - fetchcontent_declare( - z3 - URL https://github.com/Z3Prover/z3/releases/download/z3-${P4TOOLS_Z3_VERSION}/z3-${P4TOOLS_Z3_VERSION}-${Z3_ARCH}-${Z3_PLATFORM_SUFFIX}.zip - URL_HASH SHA256=${Z3_ZIP_HASH} - USES_TERMINAL_DOWNLOAD TRUE - GIT_PROGRESS TRUE - ) - fetchcontent_makeavailable(z3) - set(FETCHCONTENT_QUIET ${FETCHCONTENT_QUIET_PREV}) - message("Done with setting up Z3 for P4Tools.") - - # Other projects may also pull in Z3. - # We have to make sure we only include our local version with P4Tools. - set(P4TOOLS_Z3_LIB ${z3_SOURCE_DIR}/bin/libz3${CMAKE_STATIC_LIBRARY_SUFFIX}) - set(P4TOOLS_Z3_INCLUDE_DIR ${z3_SOURCE_DIR}/include) - endif() -endmacro(p4tools_obtain_z3) diff --git a/backends/p4tools/common/CMakeLists.txt b/backends/p4tools/common/CMakeLists.txt index 480215b13dc..30a2baa1efd 100644 --- a/backends/p4tools/common/CMakeLists.txt +++ b/backends/p4tools/common/CMakeLists.txt @@ -1,4 +1,5 @@ # Handle the Z3 installation with this macro. Users have the option to supply their own Z3. +include(${P4C_SOURCE_DIR}/cmake/Z3.cmake) p4tools_obtain_z3() # Generate version information. diff --git a/backends/tofino/CMakeLists.txt b/backends/tofino/CMakeLists.txt new file mode 100644 index 00000000000..b1756912b64 --- /dev/null +++ b/backends/tofino/CMakeLists.txt @@ -0,0 +1,268 @@ +####### Barefoot Compilers Toolchain +MESSAGE("-- Adding p4c-barefoot") + +include(${CMAKE_CURRENT_SOURCE_DIR}/cmake/spdlog.cmake) +include(${P4C_SOURCE_DIR}/cmake/Z3.cmake) + +p4tools_obtain_z3() + +set (BFN_P4C_SOURCE_DIR ${PROJECT_SOURCE_DIR}/backends/tofino) + +OPTION(ENABLE_STATIC_LIBS OFF) +OPTION(ENABLE_BAREFOOT_INTERNAL "Enable Barefoot Internal" ON) +OPTION(ENABLE_ASSERTIONS "Enable assertions" ON) + +# BUILD_STATIC_BFP4C_LIBS should never be used directly, see BUILD_STATIC_BFP4C_LIBS_INTERNAL below +OPTION(BUILD_STATIC_BFP4C_LIBS OFF "Build static libs (archives) of bf-p4c components \ + (tofinobackend, bfn_p4runtime) for external usage. If not set, the \ + libraries are build only as object and cannot be used easily by \ + other projects compiled alongside. Building static libraries slows \ + down compilation.") + +if (CMAKE_BUILD_TYPE STREQUAL Release OR CMAKE_BUILD_TYPE STREQUAL RelWithDebInfo) + add_definitions("-DRELEASE_BUILD=1") +endif() + +# JBay is always enabled, the preprocessor guard is deprecated +add_definitions("-DHAVE_JBAY=1") + +list(APPEND CMAKE_MODULE_PATH "${PROJECT_SOURCE_DIR}/cmake") + +if (ENABLE_STATIC_LIBS) + # Look for static libraries when using find_library + set(CMAKE_FIND_LIBRARY_SUFFIXES .a) + # Force linking libstdc++ statically. Note that dependencies may bring in + # dynamic versions of it, so that's why we look above for .a + set(CMAKE_EXE_LINKER_FLAGS "-static-libgcc -static-libstdc++ -Wl,-z,muldefs") + + # Link Boost statically + set(Boost_USE_STATIC_LIBS ON) + set(Boost_USE_STATIC_RUNTIME OFF) +endif() + + +if (ENABLE_ASSERTIONS) + # NDEBUG is automatically defined on non-Debug builds by CMake. + # To enable assertions, we need to explicitly undefine NDEBUG. + if (NOT CMAKE_BUILD_TYPE STREQUAL "Debug") + add_definitions( -UNDEBUG ) + endif() +endif() + +if (ENABLE_TESTING) + enable_testing() +endif() + +set(BOOST_MIN_VERSION "1.58.0") +find_package(Boost ${BOOST_MIN_VERSION} REQUIRED) + +# Get the version from bf-p4c/version.h +file (STRINGS "${BFN_P4C_SOURCE_DIR}/bf-p4c/version.h" + __version + REGEX "#define BF_P4C_VERSION.*" + ) +string (REGEX MATCH ".*BF_P4C_VERSION.*([0-9]+)\\.([0-9]+)\\.([0-9]+)([-0-9a-z\\.]*).*" + __bfn_p4c_version ${__version}) +set (BFN_P4C_VERSION_MAJOR ${CMAKE_MATCH_1}) +set (BFN_P4C_VERSION_MINOR ${CMAKE_MATCH_2}) +set (BFN_P4C_VERSION_PATCH ${CMAKE_MATCH_3}) +set (BFN_P4C_VERSION_RC ${CMAKE_MATCH_4}) +set (BFN_P4C_VERSION + "${BFN_P4C_VERSION_MAJOR}.${BFN_P4C_VERSION_MINOR}.${BFN_P4C_VERSION_PATCH}") +if (BFN_P4C_VERSION_RC) + set (BFN_P4C_VERSION "${BFN_P4C_VERSION}${BFN_P4C_VERSION_RC}") +endif() +if (EXISTS ${CMAKE_CURRENT_SOURCE_DIR}/.git) + execute_process (COMMAND git rev-parse --short HEAD + OUTPUT_VARIABLE BFN_P4C_GIT_SHA + OUTPUT_STRIP_TRAILING_WHITESPACE + RESULT_VARIABLE rc + WORKING_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR}) +else() + if(NOT DEFINED ENV{BFN_P4C_GIT_SHA}) + set (BFN_P4C_GIT_SHA "Unknown") + else() + set (BFN_P4C_GIT_SHA $ENV{BFN_P4C_GIT_SHA}) + endif() +endif() +set (ENV{P4C_VERSION} "${BFN_P4C_VERSION} (SHA: ${BFN_P4C_GIT_SHA})") +MESSAGE(STATUS "p4c-barefoot version: $ENV{P4C_VERSION}") + +# Generate the sha specific version file. It includes the GIT SHA. +# Because this version changes frequently, we include it separately from the normal version files. +configure_file("${CMAKE_CURRENT_SOURCE_DIR}/git_sha_version.h.in" + "${CMAKE_CURRENT_BINARY_DIR}/bf-p4c/git_sha_version.h" @ONLY) + + +macro(get_schema_version schema_file schema_var) + execute_process( + COMMAND python3 -c "from ${schema_file} import get_schema_version;print(get_schema_version(), end='', flush=True)" + OUTPUT_VARIABLE __schema_version + RESULT_VARIABLE __schema_errcode + ERROR_VARIABLE __schema_errstr + WORKING_DIRECTORY ${BFN_P4C_SOURCE_DIR}/compiler_interfaces/schemas) + if (${__schema_errcode}) + MESSAGE(FATAL_ERROR "Error retrieving ${schema_file} version ${__schema_errstr}") + endif() + set(${schema_var} ${__schema_version}) +endmacro(get_schema_version) +# Now force cmake to rerun if any of the files that we depend on versions for +# change: context and manifest for now +# We generate a pair of dummy dependency files will be ignored +set(SCHEMA_FILES + compiler_interfaces/schemas/context_schema.py + compiler_interfaces/schemas/manifest_schema.py + compiler_interfaces/schemas/phv_schema.py + compiler_interfaces/schemas/power_schema.py + compiler_interfaces/schemas/resources_schema.py + ) +foreach (f ${SCHEMA_FILES}) + configure_file(${BFN_P4C_SOURCE_DIR}/${f} ${CMAKE_BINARY_DIR}/${f}.dep) +endforeach() + +if (ENABLE_WERROR) + # fixme: we do want implicit-fallthrough to be an error, but we have to + # supress in in p4c and in generated code somehow + set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -Werror -Wno-error=implicit-fallthrough") +endif() + +# # Gtest needs additional includes, add them here. +# if (ENABLE_GTESTS) +# target_include_directories(gtestp4c +# PRIVATE "${BFN_P4C_SOURCE_DIR}/p4c/test/frameworks/gtest/googlemock/include" +# PRIVATE "${BFN_P4C_SOURCE_DIR}/p4c/test/frameworks/gtest/googletest/include" +# PRIVATE "${P4C_BINARY_DIR}/extensions/bf-p4c/logging" +# PRIVATE "bf-p4c/logging" +# PRIVATE "${P4C_BINARY_DIR}/control-plane/" +# ) +# # -Wdeprecated-copy warns in gtest, so out of our control +# # TODO: -Wno-unused-function warns in p4c, should be possible to fix it +# target_compile_options(gtestp4c PUBLIC -Wno-unused-function -Wno-deprecated-copy) +# endif() + +add_custom_target(ctags-all + COMMAND cd ${BFN_P4C_SOURCE_DIR}/bf-p4c && + ctags -R --langmap=C++:+.def,Flex:+.l,YACC:+.ypp + ${P4C_SOURCE_DIR}/frontends ${P4C_SOURCE_DIR}/ir + ${P4C_SOURCE_DIR}/midend/ ${P4C_SOURCE_DIR}/lib . + DEPENDS ctags-asm ctags + COMMENT "Building ctags") + +add_custom_target(cpplint-all + DEPENDS cpplint-asm cpplint + COMMENT "cpplint everything" + ) + +if (ENABLE_DOXYGEN) + find_package(Doxygen QUIET COMPONENTS dot) + if(DOXYGEN_FOUND) + set (doxyfile_in ${CMAKE_CURRENT_SOURCE_DIR}/Doxyfile.in) + set (doxyfile ${CMAKE_CURRENT_BINARY_DIR}/Doxyfile) + configure_file(${doxyfile_in} ${doxyfile} @ONLY) + + add_custom_target(doc + COMMAND ${DOXYGEN_EXECUTABLE} ${doxyfile} + DEPENDS genIR # Generate ir-generated.h + WORKING_DIRECTORY ${CMAKE_CURRENT_BINARY_DIR} + COMMENT "Building Doxygen documentation" + VERBATIM) + + add_custom_target(doc-install + # Place a symlink to the generated documentation to the /var/www/html + # directory use cmake's create_symlink which must exist always and + # overrides the target (`ls -sf` creates a link as bf-p4c-compiles/html if + # bf-p4c-compiles already exists) + COMMAND ${CMAKE_COMMAND} -E create_symlink ${CMAKE_CURRENT_BINARY_DIR}/html /var/www/html/bf-p4c-compilers + COMMENT "Installing Doxygen documentation" + VERBATIM) + else() + message(WARNING "Doxygen and dot are needed to build the documentation.") + endif() +endif() + +# Generate the LICENSE file. Do this before generating the build system so +# that CPack detects that the file exists. +execute_process(COMMAND "${BFN_P4C_SOURCE_DIR}/scripts/generate-license.sh") + +set (CPACK_RESOURCE_FILE_LICENSE "${BFN_P4C_SOURCE_DIR}/LICENSE") +set (THIRD_PARTY_LICENSES "${BFN_P4C_SOURCE_DIR}/LICENSES.txt") +install (FILES ${CPACK_RESOURCE_FILE_LICENSE} + ${THIRD_PARTY_LICENSES} + DESTINATION share/p4c) + +set (CPACK_GENERATOR "TBZ2") +set (CPACK_PACKAGE_NAME "p4c") +set (CPACK_PACKAGE_VERSION_MAJOR ${BFN_P4C_VERSION_MAJOR}) +set (CPACK_PACKAGE_VERSION_MINOR ${BFN_P4C_VERSION_MINOR}) +set (CPACK_PACKAGE_VERSION_PATCH ${BFN_P4C_VERSION_PATCH}) +set (CPACK_PACKAGE_VERSION "${BFN_P4C_VERSION}") +set (CPACK_PACKAGE_CONTACT "Barefoot Networks, Inc. ") +set (CPACK_PACKAGE_VENDOR "Barefoot Networks, Inc.") +set (CPACK_PACKAGE_DESCRIPTION_SUMMARY "P4C compilers for P4_14 and P4_16") +set (CPACK_PACKAGE_DESCRIPTION "P4C compilers for the Barefoot Networks Tofino architecture") +set (CPACK_PROJECT_CONFIG_FILE "${BFN_P4C_SOURCE_DIR}/CPackOptions.cmake") +set (CPACK_STRIP_FILES TRUE) + +include (CPack) + +set (BF_P4C_IR_DEF_FILES + ${CMAKE_CURRENT_SOURCE_DIR}/bf-p4c/ir/tofino.def + ${CMAKE_CURRENT_SOURCE_DIR}/bf-p4c/ir/arch.def + ${CMAKE_CURRENT_SOURCE_DIR}/bf-p4c/ir/mau.def + ${CMAKE_CURRENT_SOURCE_DIR}/bf-p4c/ir/parde.def + ${CMAKE_CURRENT_SOURCE_DIR}/bf-p4c/ir/parde-lowered.def + ) + +# publish IR_DEF_FILES upstream +set (IR_DEF_FILES ${IR_DEF_FILES} ${BF_P4C_IR_DEF_FILES} PARENT_SCOPE) + +set (BF_P4C_IR_SRCS + bf-p4c/midend/path_linearizer.cpp + bf-p4c/ir/dbprint-tofino.cpp + bf-p4c/ir/bitrange.cpp + bf-p4c/ir/control_flow_visitor.cpp + bf-p4c/ir/ir_enums.cpp + bf-p4c/ir/gateway_control_flow.cpp + bf-p4c/ir/gress.cpp + bf-p4c/ir/mau.cpp + bf-p4c/ir/thread_visitor.cpp + bf-p4c/ir/tofino.cpp + bf-p4c/ir/tofino_write_context.cpp + bf-p4c/ir/unique_id.cpp + bf-p4c/mau/hash_function.cpp + bf-p4c/parde/marshal.cpp + bf-p4c/parde/match_register.cpp + bf-p4c/parde/clot/clot.cpp + bf-p4c/phv/phv.cpp + bf-utils/src/dynamic_hash/dynamic_hash.c + bf-utils/src/dynamic_hash/bfn_hash_algorithm.c + ) +add_cpplint_files(${CMAKE_CURRENT_SOURCE_DIR} "${BF_P4C_IR_SRCS}") + +set (BF_P4C_IR_HDRS + bf-p4c/midend/path_linearizer.h + bf-p4c/ir/bitrange.h + bf-p4c/ir/control_flow_visitor.h + bf-p4c/ir/gateway_control_flow.h + bf-p4c/ir/gress.h + bf-p4c/ir/ir_enums.h + bf-p4c/ir/thread_visitor.h + bf-p4c/ir/tofino_write_context.h + bf-p4c/ir/unique_id.h + bf-p4c/mau/hash_function.h + bf-p4c/parde/marshal.h + bf-p4c/parde/match_register.h + bf-p4c/parde/clot/clot.h + bf-p4c/phv/phv.h + bf-utils/include/dynamic_hash/dynamic_hash.h + bf-utils/include/dynamic_hash/bfn_hash_algorithm.h + ) +add_cpplint_files(${CMAKE_CURRENT_SOURCE_DIR} "${BF_P4C_IR_HDRS}") + +set(QUAL_BF_P4C_IR_SRCS) +foreach(src IN LISTS BF_P4C_IR_SRCS) + set(QUAL_BF_P4C_IR_SRCS ${QUAL_BF_P4C_IR_SRCS} ${CMAKE_CURRENT_SOURCE_DIR}/${src}) +endforeach() +set(EXTENSION_IR_SOURCES ${EXTENSION_IR_SOURCES} ${QUAL_BF_P4C_IR_SRCS} PARENT_SCOPE) + +add_subdirectory(bf-p4c) diff --git a/backends/tofino/CPackOptions.cmake b/backends/tofino/CPackOptions.cmake new file mode 100644 index 00000000000..58ca5621dca --- /dev/null +++ b/backends/tofino/CPackOptions.cmake @@ -0,0 +1,19 @@ +execute_process (COMMAND uname -m OUTPUT_VARIABLE __machine_arch + OUTPUT_STRIP_TRAILING_WHITESPACE + RESULT_VARIABLE rc) +# set the package name for all generators +set (CPACK_PACKAGE_FILE_NAME "${CPACK_PACKAGE_NAME}-${CPACK_PACKAGE_VERSION}.${__machine_arch}") + +#if (CPACK_GENERATOR MATCHES "TBZ2") +# options specific to binary tar +#endif() + +if (CPACK_GENERATOR MATCHES "DEB") + if (${__machine_arch} STREQUAL "x86_64") + set (CPACK_DEBIAN_PACKAGE_ARCHITECTURE "amd64") + else() + set (CPACK_DEBIAN_PACKAGE_ARCHITECTURE "i386") + endif() + + set (CPACK_DEBIAN_PACKAGE_DEPENDS "cpp (>= 4.8), libboost-iostreams1.58.0, libgmp10, libgmpxx4ldbl, libgc1c2, libstdc++6, libc6, libbz2-1.0, libssl1.0.0, python (>= 2.7)") +endif() diff --git a/backends/tofino/Doxyfile.in b/backends/tofino/Doxyfile.in new file mode 100644 index 00000000000..5f9a584b380 --- /dev/null +++ b/backends/tofino/Doxyfile.in @@ -0,0 +1,2484 @@ +# Doxyfile 1.8.13 + +# This file describes the settings to be used by the documentation system +# doxygen (www.doxygen.org) for a project. +# +# All text after a double hash (##) is considered a comment and is placed in +# front of the TAG it is preceding. +# +# All text after a single hash (#) is considered a comment and will be ignored. +# The format is: +# TAG = value [value, ...] +# For lists, items can also be appended using: +# TAG += value [value, ...] +# Values that contain spaces should be placed between quotes (\" \"). + +#--------------------------------------------------------------------------- +# Project related configuration options +#--------------------------------------------------------------------------- + +# This tag specifies the encoding used for all characters in the config file +# that follow. The default is UTF-8 which is also the encoding used for all text +# before the first occurrence of this tag. Doxygen uses libiconv (or the iconv +# built into libc) for the transcoding. See http://www.gnu.org/software/libiconv +# for the list of possible encodings. +# The default value is: UTF-8. + +DOXYFILE_ENCODING = UTF-8 + +# The PROJECT_NAME tag is a single word (or a sequence of words surrounded by +# double-quotes, unless you are using Doxywizard) that should identify the +# project for which the documentation is generated. This name is used in the +# title of most generated pages and in a few other places. +# The default value is: My Project. + +PROJECT_NAME = "bf-p4c-compilers" + +# The PROJECT_NUMBER tag can be used to enter a project or revision number. This +# could be handy for archiving the generated documentation or if some version +# control system is used. + +PROJECT_NUMBER = + +# Using the PROJECT_BRIEF tag one can provide an optional one line description +# for a project that appears at the top of each page and should give viewer a +# quick idea about the purpose of the project. Keep the description short. + +PROJECT_BRIEF = + +# With the PROJECT_LOGO tag one can specify a logo or an icon that is included +# in the documentation. The maximum height of the logo should not exceed 55 +# pixels and the maximum width should not exceed 200 pixels. Doxygen will copy +# the logo to the output directory. + +PROJECT_LOGO = + +# The OUTPUT_DIRECTORY tag is used to specify the (relative or absolute) path +# into which the generated documentation will be written. If a relative path is +# entered, it will be relative to the location where doxygen was started. If +# left blank the current directory will be used. + +OUTPUT_DIRECTORY = + +# If the CREATE_SUBDIRS tag is set to YES then doxygen will create 4096 sub- +# directories (in 2 levels) under the output directory of each output format and +# will distribute the generated files over these directories. Enabling this +# option can be useful when feeding doxygen a huge amount of source files, where +# putting all generated files in the same directory would otherwise causes +# performance problems for the file system. +# The default value is: NO. + +CREATE_SUBDIRS = NO + +# If the ALLOW_UNICODE_NAMES tag is set to YES, doxygen will allow non-ASCII +# characters to appear in the names of generated files. If set to NO, non-ASCII +# characters will be escaped, for example _xE3_x81_x84 will be used for Unicode +# U+3044. +# The default value is: NO. + +ALLOW_UNICODE_NAMES = NO + +# The OUTPUT_LANGUAGE tag is used to specify the language in which all +# documentation generated by doxygen is written. Doxygen will use this +# information to generate all constant output in the proper language. +# Possible values are: Afrikaans, Arabic, Armenian, Brazilian, Catalan, Chinese, +# Chinese-Traditional, Croatian, Czech, Danish, Dutch, English (United States), +# Esperanto, Farsi (Persian), Finnish, French, German, Greek, Hungarian, +# Indonesian, Italian, Japanese, Japanese-en (Japanese with English messages), +# Korean, Korean-en (Korean with English messages), Latvian, Lithuanian, +# Macedonian, Norwegian, Persian (Farsi), Polish, Portuguese, Romanian, Russian, +# Serbian, Serbian-Cyrillic, Slovak, Slovene, Spanish, Swedish, Turkish, +# Ukrainian and Vietnamese. +# The default value is: English. + +OUTPUT_LANGUAGE = English + +# If the BRIEF_MEMBER_DESC tag is set to YES, doxygen will include brief member +# descriptions after the members that are listed in the file and class +# documentation (similar to Javadoc). Set to NO to disable this. +# The default value is: YES. + +BRIEF_MEMBER_DESC = YES + +# If the REPEAT_BRIEF tag is set to YES, doxygen will prepend the brief +# description of a member or function before the detailed description +# +# Note: If both HIDE_UNDOC_MEMBERS and BRIEF_MEMBER_DESC are set to NO, the +# brief descriptions will be completely suppressed. +# The default value is: YES. + +REPEAT_BRIEF = NO + +# This tag implements a quasi-intelligent brief description abbreviator that is +# used to form the text in various listings. Each string in this list, if found +# as the leading text of the brief description, will be stripped from the text +# and the result, after processing the whole list, is used as the annotated +# text. Otherwise, the brief description is used as-is. If left blank, the +# following values are used ($name is automatically replaced with the name of +# the entity):The $name class, The $name widget, The $name file, is, provides, +# specifies, contains, represents, a, an and the. + +ABBREVIATE_BRIEF = "The $name class" \ + "The $name widget" \ + "The $name file" \ + is \ + provides \ + specifies \ + contains \ + represents \ + a \ + an \ + the + +# If the ALWAYS_DETAILED_SEC and REPEAT_BRIEF tags are both set to YES then +# doxygen will generate a detailed section even if there is only a brief +# description. +# The default value is: NO. + +ALWAYS_DETAILED_SEC = NO + +# If the INLINE_INHERITED_MEMB tag is set to YES, doxygen will show all +# inherited members of a class in the documentation of that class as if those +# members were ordinary class members. Constructors, destructors and assignment +# operators of the base classes will not be shown. +# The default value is: NO. + +INLINE_INHERITED_MEMB = NO + +# If the FULL_PATH_NAMES tag is set to YES, doxygen will prepend the full path +# before files name in the file list and in the header files. If set to NO the +# shortest path that makes the file name unique will be used +# The default value is: YES. + +FULL_PATH_NAMES = YES + +# The STRIP_FROM_PATH tag can be used to strip a user-defined part of the path. +# Stripping is only done if one of the specified strings matches the left-hand +# part of the path. The tag can be used to show relative paths in the file list. +# If left blank the directory from which doxygen is run is used as the path to +# strip. +# +# Note that you can specify absolute paths here, but also relative paths, which +# will be relative from the directory where doxygen is started. +# This tag requires that the tag FULL_PATH_NAMES is set to YES. + +STRIP_FROM_PATH = + +# The STRIP_FROM_INC_PATH tag can be used to strip a user-defined part of the +# path mentioned in the documentation of a class, which tells the reader which +# header file to include in order to use a class. If left blank only the name of +# the header file containing the class definition is used. Otherwise one should +# specify the list of include paths that are normally passed to the compiler +# using the -I flag. + +STRIP_FROM_INC_PATH = + +# If the SHORT_NAMES tag is set to YES, doxygen will generate much shorter (but +# less readable) file names. This can be useful is your file systems doesn't +# support long names like on DOS, Mac, or CD-ROM. +# The default value is: NO. + +SHORT_NAMES = NO + +# If the JAVADOC_AUTOBRIEF tag is set to YES then doxygen will interpret the +# first line (until the first dot) of a Javadoc-style comment as the brief +# description. If set to NO, the Javadoc-style will behave just like regular Qt- +# style comments (thus requiring an explicit @brief command for a brief +# description.) +# The default value is: NO. + +JAVADOC_AUTOBRIEF = NO + +# If the QT_AUTOBRIEF tag is set to YES then doxygen will interpret the first +# line (until the first dot) of a Qt-style comment as the brief description. If +# set to NO, the Qt-style will behave just like regular Qt-style comments (thus +# requiring an explicit \brief command for a brief description.) +# The default value is: NO. + +QT_AUTOBRIEF = NO + +# The MULTILINE_CPP_IS_BRIEF tag can be set to YES to make doxygen treat a +# multi-line C++ special comment block (i.e. a block of //! or /// comments) as +# a brief description. This used to be the default behavior. The new default is +# to treat a multi-line C++ comment block as a detailed description. Set this +# tag to YES if you prefer the old behavior instead. +# +# Note that setting this tag to YES also means that rational rose comments are +# not recognized any more. +# The default value is: NO. + +MULTILINE_CPP_IS_BRIEF = NO + +# If the INHERIT_DOCS tag is set to YES then an undocumented member inherits the +# documentation from any documented member that it re-implements. +# The default value is: YES. + +INHERIT_DOCS = YES + +# If the SEPARATE_MEMBER_PAGES tag is set to YES then doxygen will produce a new +# page for each member. If set to NO, the documentation of a member will be part +# of the file/class/namespace that contains it. +# The default value is: NO. + +SEPARATE_MEMBER_PAGES = NO + +# The TAB_SIZE tag can be used to set the number of spaces in a tab. Doxygen +# uses this value to replace tabs by spaces in code fragments. +# Minimum value: 1, maximum value: 16, default value: 4. + +TAB_SIZE = 4 + +# This tag can be used to specify a number of aliases that act as commands in +# the documentation. An alias has the form: +# name=value +# For example adding +# "sideeffect=@par Side Effects:\n" +# will allow you to put the command \sideeffect (or @sideeffect) in the +# documentation, which will result in a user-defined paragraph with heading +# "Side Effects:". You can put \n's in the value part of an alias to insert +# newlines. + +ALIASES = + +# This tag can be used to specify a number of word-keyword mappings (TCL only). +# A mapping has the form "name=value". For example adding "class=itcl::class" +# will allow you to use the command class in the itcl::class meaning. + +TCL_SUBST = + +# Set the OPTIMIZE_OUTPUT_FOR_C tag to YES if your project consists of C sources +# only. Doxygen will then generate output that is more tailored for C. For +# instance, some of the names that are used will be different. The list of all +# members will be omitted, etc. +# The default value is: NO. + +OPTIMIZE_OUTPUT_FOR_C = NO + +# Set the OPTIMIZE_OUTPUT_JAVA tag to YES if your project consists of Java or +# Python sources only. Doxygen will then generate output that is more tailored +# for that language. For instance, namespaces will be presented as packages, +# qualified scopes will look different, etc. +# The default value is: NO. + +OPTIMIZE_OUTPUT_JAVA = NO + +# Set the OPTIMIZE_FOR_FORTRAN tag to YES if your project consists of Fortran +# sources. Doxygen will then generate output that is tailored for Fortran. +# The default value is: NO. + +OPTIMIZE_FOR_FORTRAN = NO + +# Set the OPTIMIZE_OUTPUT_VHDL tag to YES if your project consists of VHDL +# sources. Doxygen will then generate output that is tailored for VHDL. +# The default value is: NO. + +OPTIMIZE_OUTPUT_VHDL = NO + +# Doxygen selects the parser to use depending on the extension of the files it +# parses. With this tag you can assign which parser to use for a given +# extension. Doxygen has a built-in mapping, but you can override or extend it +# using this tag. The format is ext=language, where ext is a file extension, and +# language is one of the parsers supported by doxygen: IDL, Java, Javascript, +# C#, C, C++, D, PHP, Objective-C, Python, Fortran (fixed format Fortran: +# FortranFixed, free formatted Fortran: FortranFree, unknown formatted Fortran: +# Fortran. In the later case the parser tries to guess whether the code is fixed +# or free formatted code, this is the default for Fortran type files), VHDL. For +# instance to make doxygen treat .inc files as Fortran files (default is PHP), +# and .f files as C (default is Fortran), use: inc=Fortran f=C. +# +# Note: For files without extension you can use no_extension as a placeholder. +# +# Note that for custom extensions you also need to set FILE_PATTERNS otherwise +# the files are not read by doxygen. + +EXTENSION_MAPPING = + +# If the MARKDOWN_SUPPORT tag is enabled then doxygen pre-processes all comments +# according to the Markdown format, which allows for more readable +# documentation. See http://daringfireball.net/projects/markdown/ for details. +# The output of markdown processing is further processed by doxygen, so you can +# mix doxygen, HTML, and XML commands with Markdown formatting. Disable only in +# case of backward compatibilities issues. +# The default value is: YES. + +MARKDOWN_SUPPORT = YES + +# When the TOC_INCLUDE_HEADINGS tag is set to a non-zero value, all headings up +# to that level are automatically included in the table of contents, even if +# they do not have an id attribute. +# Note: This feature currently applies only to Markdown headings. +# Minimum value: 0, maximum value: 99, default value: 0. +# This tag requires that the tag MARKDOWN_SUPPORT is set to YES. + +#TOC_INCLUDE_HEADINGS = 0 + +# When enabled doxygen tries to link words that correspond to documented +# classes, or namespaces to their corresponding documentation. Such a link can +# be prevented in individual cases by putting a % sign in front of the word or +# globally by setting AUTOLINK_SUPPORT to NO. +# The default value is: YES. + +AUTOLINK_SUPPORT = YES + +# If you use STL classes (i.e. std::string, std::vector, etc.) but do not want +# to include (a tag file for) the STL sources as input, then you should set this +# tag to YES in order to let doxygen match functions declarations and +# definitions whose arguments contain STL classes (e.g. func(std::string); +# versus func(std::string) {}). This also make the inheritance and collaboration +# diagrams that involve STL classes more complete and accurate. +# The default value is: NO. + +BUILTIN_STL_SUPPORT = NO + +# If you use Microsoft's C++/CLI language, you should set this option to YES to +# enable parsing support. +# The default value is: NO. + +CPP_CLI_SUPPORT = NO + +# Set the SIP_SUPPORT tag to YES if your project consists of sip (see: +# http://www.riverbankcomputing.co.uk/software/sip/intro) sources only. Doxygen +# will parse them like normal C++ but will assume all classes use public instead +# of private inheritance when no explicit protection keyword is present. +# The default value is: NO. + +SIP_SUPPORT = NO + +# For Microsoft's IDL there are propget and propput attributes to indicate +# getter and setter methods for a property. Setting this option to YES will make +# doxygen to replace the get and set methods by a property in the documentation. +# This will only work if the methods are indeed getting or setting a simple +# type. If this is not the case, or you want to show the methods anyway, you +# should set this option to NO. +# The default value is: YES. + +IDL_PROPERTY_SUPPORT = YES + +# If member grouping is used in the documentation and the DISTRIBUTE_GROUP_DOC +# tag is set to YES then doxygen will reuse the documentation of the first +# member in the group (if any) for the other members of the group. By default +# all members of a group must be documented explicitly. +# The default value is: NO. + +DISTRIBUTE_GROUP_DOC = NO + +# If one adds a struct or class to a group and this option is enabled, then also +# any nested class or struct is added to the same group. By default this option +# is disabled and one has to add nested compounds explicitly via \ingroup. +# The default value is: NO. + +GROUP_NESTED_COMPOUNDS = NO + +# Set the SUBGROUPING tag to YES to allow class member groups of the same type +# (for instance a group of public functions) to be put as a subgroup of that +# type (e.g. under the Public Functions section). Set it to NO to prevent +# subgrouping. Alternatively, this can be done per class using the +# \nosubgrouping command. +# The default value is: YES. + +SUBGROUPING = YES + +# When the INLINE_GROUPED_CLASSES tag is set to YES, classes, structs and unions +# are shown inside the group in which they are included (e.g. using \ingroup) +# instead of on a separate page (for HTML and Man pages) or section (for LaTeX +# and RTF). +# +# Note that this feature does not work in combination with +# SEPARATE_MEMBER_PAGES. +# The default value is: NO. + +INLINE_GROUPED_CLASSES = NO + +# When the INLINE_SIMPLE_STRUCTS tag is set to YES, structs, classes, and unions +# with only public data fields or simple typedef fields will be shown inline in +# the documentation of the scope in which they are defined (i.e. file, +# namespace, or group documentation), provided this scope is documented. If set +# to NO, structs, classes, and unions are shown on a separate page (for HTML and +# Man pages) or section (for LaTeX and RTF). +# The default value is: NO. + +INLINE_SIMPLE_STRUCTS = NO + +# When TYPEDEF_HIDES_STRUCT tag is enabled, a typedef of a struct, union, or +# enum is documented as struct, union, or enum with the name of the typedef. So +# typedef struct TypeS {} TypeT, will appear in the documentation as a struct +# with name TypeT. When disabled the typedef will appear as a member of a file, +# namespace, or class. And the struct will be named TypeS. This can typically be +# useful for C code in case the coding convention dictates that all compound +# types are typedef'ed and only the typedef is referenced, never the tag name. +# The default value is: NO. + +TYPEDEF_HIDES_STRUCT = NO + +# The size of the symbol lookup cache can be set using LOOKUP_CACHE_SIZE. This +# cache is used to resolve symbols given their name and scope. Since this can be +# an expensive process and often the same symbol appears multiple times in the +# code, doxygen keeps a cache of pre-resolved symbols. If the cache is too small +# doxygen will become slower. If the cache is too large, memory is wasted. The +# cache size is given by this formula: 2^(16+LOOKUP_CACHE_SIZE). The valid range +# is 0..9, the default is 0, corresponding to a cache size of 2^16=65536 +# symbols. At the end of a run doxygen will report the cache usage and suggest +# the optimal cache size from a speed point of view. +# Minimum value: 0, maximum value: 9, default value: 0. + +LOOKUP_CACHE_SIZE = 2 + +#--------------------------------------------------------------------------- +# Build related configuration options +#--------------------------------------------------------------------------- + +# If the EXTRACT_ALL tag is set to YES, doxygen will assume all entities in +# documentation are documented, even if no documentation was available. Private +# class members and static file members will be hidden unless the +# EXTRACT_PRIVATE respectively EXTRACT_STATIC tags are set to YES. +# Note: This will also disable the warnings about undocumented members that are +# normally produced when WARNINGS is set to YES. +# The default value is: NO. + +EXTRACT_ALL = NO + +# If the EXTRACT_PRIVATE tag is set to YES, all private members of a class will +# be included in the documentation. +# The default value is: NO. + +EXTRACT_PRIVATE = YES + +# If the EXTRACT_PACKAGE tag is set to YES, all members with package or internal +# scope will be included in the documentation. +# The default value is: NO. + +EXTRACT_PACKAGE = NO + +# If the EXTRACT_STATIC tag is set to YES, all static members of a file will be +# included in the documentation. +# The default value is: NO. + +EXTRACT_STATIC = NO + +# If the EXTRACT_LOCAL_CLASSES tag is set to YES, classes (and structs) defined +# locally in source files will be included in the documentation. If set to NO, +# only classes defined in header files are included. Does not have any effect +# for Java sources. +# The default value is: YES. + +EXTRACT_LOCAL_CLASSES = YES + +# This flag is only useful for Objective-C code. If set to YES, local methods, +# which are defined in the implementation section but not in the interface are +# included in the documentation. If set to NO, only methods in the interface are +# included. +# The default value is: NO. + +EXTRACT_LOCAL_METHODS = NO + +# If this flag is set to YES, the members of anonymous namespaces will be +# extracted and appear in the documentation as a namespace called +# 'anonymous_namespace{file}', where file will be replaced with the base name of +# the file that contains the anonymous namespace. By default anonymous namespace +# are hidden. +# The default value is: NO. + +EXTRACT_ANON_NSPACES = YES + +# If the HIDE_UNDOC_MEMBERS tag is set to YES, doxygen will hide all +# undocumented members inside documented classes or files. If set to NO these +# members will be included in the various overviews, but no documentation +# section is generated. This option has no effect if EXTRACT_ALL is enabled. +# The default value is: NO. + +HIDE_UNDOC_MEMBERS = NO + +# If the HIDE_UNDOC_CLASSES tag is set to YES, doxygen will hide all +# undocumented classes that are normally visible in the class hierarchy. If set +# to NO, these classes will be included in the various overviews. This option +# has no effect if EXTRACT_ALL is enabled. +# The default value is: NO. + +HIDE_UNDOC_CLASSES = NO + +# If the HIDE_FRIEND_COMPOUNDS tag is set to YES, doxygen will hide all friend +# (class|struct|union) declarations. If set to NO, these declarations will be +# included in the documentation. +# The default value is: NO. + +HIDE_FRIEND_COMPOUNDS = NO + +# If the HIDE_IN_BODY_DOCS tag is set to YES, doxygen will hide any +# documentation blocks found inside the body of a function. If set to NO, these +# blocks will be appended to the function's detailed documentation block. +# The default value is: NO. + +HIDE_IN_BODY_DOCS = NO + +# The INTERNAL_DOCS tag determines if documentation that is typed after a +# \internal command is included. If the tag is set to NO then the documentation +# will be excluded. Set it to YES to include the internal documentation. +# The default value is: NO. + +INTERNAL_DOCS = NO + +# If the CASE_SENSE_NAMES tag is set to NO then doxygen will only generate file +# names in lower-case letters. If set to YES, upper-case letters are also +# allowed. This is useful if you have classes or files whose names only differ +# in case and if your file system supports case sensitive file names. Windows +# and Mac users are advised to set this option to NO. +# The default value is: system dependent. + +CASE_SENSE_NAMES = YES + +# If the HIDE_SCOPE_NAMES tag is set to NO then doxygen will show members with +# their full class and namespace scopes in the documentation. If set to YES, the +# scope will be hidden. +# The default value is: NO. + +HIDE_SCOPE_NAMES = NO + +# If the HIDE_COMPOUND_REFERENCE tag is set to NO (default) then doxygen will +# append additional text to a page's title, such as Class Reference. If set to +# YES the compound reference will be hidden. +# The default value is: NO. + +HIDE_COMPOUND_REFERENCE= NO + +# If the SHOW_INCLUDE_FILES tag is set to YES then doxygen will put a list of +# the files that are included by a file in the documentation of that file. +# The default value is: YES. + +SHOW_INCLUDE_FILES = YES + +# If the SHOW_GROUPED_MEMB_INC tag is set to YES then Doxygen will add for each +# grouped member an include statement to the documentation, telling the reader +# which file to include in order to use the member. +# The default value is: NO. + +SHOW_GROUPED_MEMB_INC = NO + +# If the FORCE_LOCAL_INCLUDES tag is set to YES then doxygen will list include +# files with double quotes in the documentation rather than with sharp brackets. +# The default value is: NO. + +FORCE_LOCAL_INCLUDES = NO + +# If the INLINE_INFO tag is set to YES then a tag [inline] is inserted in the +# documentation for inline members. +# The default value is: YES. + +INLINE_INFO = YES + +# If the SORT_MEMBER_DOCS tag is set to YES then doxygen will sort the +# (detailed) documentation of file and class members alphabetically by member +# name. If set to NO, the members will appear in declaration order. +# The default value is: YES. + +SORT_MEMBER_DOCS = YES + +# If the SORT_BRIEF_DOCS tag is set to YES then doxygen will sort the brief +# descriptions of file, namespace and class members alphabetically by member +# name. If set to NO, the members will appear in declaration order. Note that +# this will also influence the order of the classes in the class list. +# The default value is: NO. + +SORT_BRIEF_DOCS = NO + +# If the SORT_MEMBERS_CTORS_1ST tag is set to YES then doxygen will sort the +# (brief and detailed) documentation of class members so that constructors and +# destructors are listed first. If set to NO the constructors will appear in the +# respective orders defined by SORT_BRIEF_DOCS and SORT_MEMBER_DOCS. +# Note: If SORT_BRIEF_DOCS is set to NO this option is ignored for sorting brief +# member documentation. +# Note: If SORT_MEMBER_DOCS is set to NO this option is ignored for sorting +# detailed member documentation. +# The default value is: NO. + +SORT_MEMBERS_CTORS_1ST = NO + +# If the SORT_GROUP_NAMES tag is set to YES then doxygen will sort the hierarchy +# of group names into alphabetical order. If set to NO the group names will +# appear in their defined order. +# The default value is: NO. + +SORT_GROUP_NAMES = NO + +# If the SORT_BY_SCOPE_NAME tag is set to YES, the class list will be sorted by +# fully-qualified names, including namespaces. If set to NO, the class list will +# be sorted only by class name, not including the namespace part. +# Note: This option is not very useful if HIDE_SCOPE_NAMES is set to YES. +# Note: This option applies only to the class list, not to the alphabetical +# list. +# The default value is: NO. + +SORT_BY_SCOPE_NAME = NO + +# If the STRICT_PROTO_MATCHING option is enabled and doxygen fails to do proper +# type resolution of all parameters of a function it will reject a match between +# the prototype and the implementation of a member function even if there is +# only one candidate or it is obvious which candidate to choose by doing a +# simple string match. By disabling STRICT_PROTO_MATCHING doxygen will still +# accept a match between prototype and implementation in such cases. +# The default value is: NO. + +STRICT_PROTO_MATCHING = NO + +# The GENERATE_TODOLIST tag can be used to enable (YES) or disable (NO) the todo +# list. This list is created by putting \todo commands in the documentation. +# The default value is: YES. + +GENERATE_TODOLIST = YES + +# The GENERATE_TESTLIST tag can be used to enable (YES) or disable (NO) the test +# list. This list is created by putting \test commands in the documentation. +# The default value is: YES. + +GENERATE_TESTLIST = YES + +# The GENERATE_BUGLIST tag can be used to enable (YES) or disable (NO) the bug +# list. This list is created by putting \bug commands in the documentation. +# The default value is: YES. + +GENERATE_BUGLIST = YES + +# The GENERATE_DEPRECATEDLIST tag can be used to enable (YES) or disable (NO) +# the deprecated list. This list is created by putting \deprecated commands in +# the documentation. +# The default value is: YES. + +GENERATE_DEPRECATEDLIST= YES + +# The ENABLED_SECTIONS tag can be used to enable conditional documentation +# sections, marked by \if ... \endif and \cond +# ... \endcond blocks. + +ENABLED_SECTIONS = + +# The MAX_INITIALIZER_LINES tag determines the maximum number of lines that the +# initial value of a variable or macro / define can have for it to appear in the +# documentation. If the initializer consists of more lines than specified here +# it will be hidden. Use a value of 0 to hide initializers completely. The +# appearance of the value of individual variables and macros / defines can be +# controlled using \showinitializer or \hideinitializer command in the +# documentation regardless of this setting. +# Minimum value: 0, maximum value: 10000, default value: 30. + +MAX_INITIALIZER_LINES = 30 + +# Set the SHOW_USED_FILES tag to NO to disable the list of files generated at +# the bottom of the documentation of classes and structs. If set to YES, the +# list will mention the files that were used to generate the documentation. +# The default value is: YES. + +SHOW_USED_FILES = YES + +# Set the SHOW_FILES tag to NO to disable the generation of the Files page. This +# will remove the Files entry from the Quick Index and from the Folder Tree View +# (if specified). +# The default value is: YES. + +SHOW_FILES = YES + +# Set the SHOW_NAMESPACES tag to NO to disable the generation of the Namespaces +# page. This will remove the Namespaces entry from the Quick Index and from the +# Folder Tree View (if specified). +# The default value is: YES. + +SHOW_NAMESPACES = YES + +# The FILE_VERSION_FILTER tag can be used to specify a program or script that +# doxygen should invoke to get the current version for each file (typically from +# the version control system). Doxygen will invoke the program by executing (via +# popen()) the command command input-file, where command is the value of the +# FILE_VERSION_FILTER tag, and input-file is the name of an input file provided +# by doxygen. Whatever the program writes to standard output is used as the file +# version. For an example see the documentation. + +FILE_VERSION_FILTER = + +# The LAYOUT_FILE tag can be used to specify a layout file which will be parsed +# by doxygen. The layout file controls the global structure of the generated +# output files in an output format independent way. To create the layout file +# that represents doxygen's defaults, run doxygen with the -l option. You can +# optionally specify a file name after the option, if omitted DoxygenLayout.xml +# will be used as the name of the layout file. +# +# Note that if you run doxygen from a directory containing a file called +# DoxygenLayout.xml, doxygen will parse it automatically even if the LAYOUT_FILE +# tag is left empty. + +LAYOUT_FILE = + +# The CITE_BIB_FILES tag can be used to specify one or more bib files containing +# the reference definitions. This must be a list of .bib files. The .bib +# extension is automatically appended if omitted. This requires the bibtex tool +# to be installed. See also http://en.wikipedia.org/wiki/BibTeX for more info. +# For LaTeX the style of the bibliography can be controlled using +# LATEX_BIB_STYLE. To use this feature you need bibtex and perl available in the +# search path. See also \cite for info how to create references. + +CITE_BIB_FILES = + +#--------------------------------------------------------------------------- +# Configuration options related to warning and progress messages +#--------------------------------------------------------------------------- + +# The QUIET tag can be used to turn on/off the messages that are generated to +# standard output by doxygen. If QUIET is set to YES this implies that the +# messages are off. +# The default value is: NO. + +QUIET = NO + +# The WARNINGS tag can be used to turn on/off the warning messages that are +# generated to standard error (stderr) by doxygen. If WARNINGS is set to YES +# this implies that the warnings are on. +# +# Tip: Turn warnings on while writing the documentation. +# The default value is: YES. + +WARNINGS = YES + +# If the WARN_IF_UNDOCUMENTED tag is set to YES then doxygen will generate +# warnings for undocumented members. If EXTRACT_ALL is set to YES then this flag +# will automatically be disabled. +# The default value is: YES. + +WARN_IF_UNDOCUMENTED = NO + +# If the WARN_IF_DOC_ERROR tag is set to YES, doxygen will generate warnings for +# potential errors in the documentation, such as not documenting some parameters +# in a documented function, or documenting parameters that don't exist or using +# markup commands wrongly. +# The default value is: YES. + +WARN_IF_DOC_ERROR = YES + +# This WARN_NO_PARAMDOC option can be enabled to get warnings for functions that +# are documented, but have no documentation for their parameters or return +# value. If set to NO, doxygen will only warn about wrong or incomplete +# parameter documentation, but not about the absence of documentation. +# The default value is: NO. + +WARN_NO_PARAMDOC = NO + +# If the WARN_AS_ERROR tag is set to YES then doxygen will immediately stop when +# a warning is encountered. +# The default value is: NO. + +WARN_AS_ERROR = NO + +# The WARN_FORMAT tag determines the format of the warning messages that doxygen +# can produce. The string should contain the $file, $line, and $text tags, which +# will be replaced by the file and line number from which the warning originated +# and the warning text. Optionally the format may contain $version, which will +# be replaced by the version of the file (if it could be obtained via +# FILE_VERSION_FILTER) +# The default value is: $file:$line: $text. + +WARN_FORMAT = "$file:$line: $text" + +# The WARN_LOGFILE tag can be used to specify a file to which warning and error +# messages should be written. If left blank the output is written to standard +# error (stderr). + +WARN_LOGFILE = + +#--------------------------------------------------------------------------- +# Configuration options related to the input files +#--------------------------------------------------------------------------- + +# The INPUT tag is used to specify the files and/or directories that contain +# documented source files. You may enter file names like myfile.cpp or +# directories like /usr/src/myproject. Separate the files or directories with +# spaces. See also FILE_PATTERNS and EXTENSION_MAPPING +# Note: If this tag is empty the current directory is searched. + +INPUT = @CMAKE_CURRENT_SOURCE_DIR@/README.md +INPUT += @CMAKE_CURRENT_SOURCE_DIR@/bf-asm +INPUT += @CMAKE_CURRENT_SOURCE_DIR@/bf-p4c +INPUT += @CMAKE_CURRENT_BINARY_DIR@/p4c/ir/ir-generated.h +# from p4c doxyfile (except for parts not relevant to/misleading in bf-p4c, +# including backends) +INPUT += @CMAKE_CURRENT_SOURCE_DIR@/p4c/docs/IR.md \ + @CMAKE_CURRENT_SOURCE_DIR@/p4c/ir \ + @CMAKE_CURRENT_SOURCE_DIR@/p4c/frontends \ + @CMAKE_CURRENT_SOURCE_DIR@/p4c/midend \ + @CMAKE_CURRENT_SOURCE_DIR@/p4c/lib \ + @CMAKE_CURRENT_SOURCE_DIR@/p4c/control-plane + +# This tag can be used to specify the character encoding of the source files +# that doxygen parses. Internally doxygen uses the UTF-8 encoding. Doxygen uses +# libiconv (or the iconv built into libc) for the transcoding. See the libiconv +# documentation (see: http://www.gnu.org/software/libiconv) for the list of +# possible encodings. +# The default value is: UTF-8. + +INPUT_ENCODING = UTF-8 + +# If the value of the INPUT tag contains directories, you can use the +# FILE_PATTERNS tag to specify one or more wildcard patterns (like *.cpp and +# *.h) to filter out the source-files in the directories. +# +# Note that for custom extensions or not directly supported extensions you also +# need to set EXTENSION_MAPPING for the extension otherwise the files are not +# read by doxygen. +# +# If left blank the following patterns are tested:*.c, *.cc, *.cxx, *.cpp, +# *.c++, *.java, *.ii, *.ixx, *.ipp, *.i++, *.inl, *.idl, *.ddl, *.odl, *.h, +# *.hh, *.hxx, *.hpp, *.h++, *.cs, *.d, *.php, *.php4, *.php5, *.phtml, *.inc, +# *.m, *.markdown, *.md, *.mm, *.dox, *.py, *.pyw, *.f90, *.f95, *.f03, *.f08, +# *.f, *.for, *.tcl, *.vhd, *.vhdl, *.ucf and *.qsf. + +FILE_PATTERNS = *.c \ + *.cc \ + *.cxx \ + *.cpp \ + *.c++ \ + *.h \ + *.hh \ + *.hxx \ + *.hpp \ + *.h++ \ + *.md \ + *.py + +# The RECURSIVE tag can be used to specify whether or not subdirectories should +# be searched for input files as well. +# The default value is: NO. + +RECURSIVE = YES + +# The EXCLUDE tag can be used to specify files and/or directories that should be +# excluded from the INPUT source files. This way you can easily exclude a +# subdirectory from a directory tree whose root is specified with the INPUT tag. +# +# Note that relative paths are relative to the directory from which doxygen is +# run. + +# from p4c doxyfile +EXCLUDE = @CMAKE_CURRENT_SOURCE_DIR@/p4c/frontends/p4/README.md \ + @CMAKE_CURRENT_SOURCE_DIR@/p4c/midend/README.md \ + @CMAKE_CURRENT_SOURCE_DIR@/p4c/extensions/p4_tests \ + @CMAKE_CURRENT_SOURCE_DIR@/p4c/control-plane/PI + +# The EXCLUDE_SYMLINKS tag can be used to select whether or not files or +# directories that are symbolic links (a Unix file system feature) are excluded +# from the input. +# The default value is: NO. + +EXCLUDE_SYMLINKS = YES + +# If the value of the INPUT tag contains directories, you can use the +# EXCLUDE_PATTERNS tag to specify one or more wildcard patterns to exclude +# certain files from those directories. +# +# Note that the wildcards are matched against the file with absolute path, so to +# exclude all test directories for example use the pattern */test/* + +# remove p4c things mostly irelevant or bf-p4c or that might by misleading if +# put it in top-level by Doxygen +EXCLUDE_PATTERNS = *BAZEL* \ + *bazel* \ + */p4c/*/CONTRIBUTING* \ + */p4c/*/README.md \ + */p4c/control-plane/*/*.md + + +# The EXCLUDE_SYMBOLS tag can be used to specify one or more symbol names +# (namespaces, classes, functions, etc.) that should be excluded from the +# output. The symbol name can be a fully qualified name, a word, or if the +# wildcard * is used, a substring. Examples: ANamespace, AClass, +# AClass::ANamespace, ANamespace::*Test +# +# Note that the wildcards are matched against the file with absolute path, so to +# exclude all test directories use the pattern */test/* + +EXCLUDE_SYMBOLS = + +# The EXAMPLE_PATH tag can be used to specify one or more files or directories +# that contain example code fragments that are included (see the \include +# command). + +EXAMPLE_PATH = + +# If the value of the EXAMPLE_PATH tag contains directories, you can use the +# EXAMPLE_PATTERNS tag to specify one or more wildcard pattern (like *.cpp and +# *.h) to filter out the source-files in the directories. If left blank all +# files are included. + +EXAMPLE_PATTERNS = * + +# If the EXAMPLE_RECURSIVE tag is set to YES then subdirectories will be +# searched for input files to be used with the \include or \dontinclude commands +# irrespective of the value of the RECURSIVE tag. +# The default value is: NO. + +EXAMPLE_RECURSIVE = NO + +# The IMAGE_PATH tag can be used to specify one or more files or directories +# that contain images that are to be included in the documentation (see the +# \image command). + +IMAGE_PATH = + +# The INPUT_FILTER tag can be used to specify a program that doxygen should +# invoke to filter for each input file. Doxygen will invoke the filter program +# by executing (via popen()) the command: +# +# +# +# where is the value of the INPUT_FILTER tag, and is the +# name of an input file. Doxygen will then use the output that the filter +# program writes to standard output. If FILTER_PATTERNS is specified, this tag +# will be ignored. +# +# Note that the filter must not add or remove lines; it is applied before the +# code is scanned, but not when the output code is generated. If lines are added +# or removed, the anchors will not be placed correctly. +# +# Note that for custom extensions or not directly supported extensions you also +# need to set EXTENSION_MAPPING for the extension otherwise the files are not +# properly processed by doxygen. + +INPUT_FILTER = + +# The FILTER_PATTERNS tag can be used to specify filters on a per file pattern +# basis. Doxygen will compare the file name with each pattern and apply the +# filter if there is a match. The filters are a list of the form: pattern=filter +# (like *.cpp=my_cpp_filter). See INPUT_FILTER for further information on how +# filters are used. If the FILTER_PATTERNS tag is empty or if none of the +# patterns match the file name, INPUT_FILTER is applied. +# +# Note that for custom extensions or not directly supported extensions you also +# need to set EXTENSION_MAPPING for the extension otherwise the files are not +# properly processed by doxygen. + +FILTER_PATTERNS = + +# If the FILTER_SOURCE_FILES tag is set to YES, the input filter (if set using +# INPUT_FILTER) will also be used to filter the input files that are used for +# producing the source files to browse (i.e. when SOURCE_BROWSER is set to YES). +# The default value is: NO. + +FILTER_SOURCE_FILES = NO + +# The FILTER_SOURCE_PATTERNS tag can be used to specify source filters per file +# pattern. A pattern will override the setting for FILTER_PATTERN (if any) and +# it is also possible to disable source filtering for a specific pattern using +# *.ext= (so without naming a filter). +# This tag requires that the tag FILTER_SOURCE_FILES is set to YES. + +FILTER_SOURCE_PATTERNS = + +# If the USE_MDFILE_AS_MAINPAGE tag refers to the name of a markdown file that +# is part of the input, its contents will be placed on the main page +# (index.html). This can be useful if you have a project on for instance GitHub +# and want to reuse the introduction page also for the doxygen output. + +USE_MDFILE_AS_MAINPAGE = @CMAKE_CURRENT_SOURCE_DIR@/README.md + +#--------------------------------------------------------------------------- +# Configuration options related to source browsing +#--------------------------------------------------------------------------- + +# If the SOURCE_BROWSER tag is set to YES then a list of source files will be +# generated. Documented entities will be cross-referenced with these sources. +# +# Note: To get rid of all source code in the generated output, make sure that +# also VERBATIM_HEADERS is set to NO. +# The default value is: NO. + +SOURCE_BROWSER = YES + +# Setting the INLINE_SOURCES tag to YES will include the body of functions, +# classes and enums directly into the documentation. +# The default value is: NO. + +INLINE_SOURCES = NO + +# Setting the STRIP_CODE_COMMENTS tag to YES will instruct doxygen to hide any +# special comment blocks from generated source code fragments. Normal C, C++ and +# Fortran comments will always remain visible. +# The default value is: YES. + +STRIP_CODE_COMMENTS = YES + +# If the REFERENCED_BY_RELATION tag is set to YES then for each documented +# function all documented functions referencing it will be listed. +# The default value is: NO. + +REFERENCED_BY_RELATION = NO + +# If the REFERENCES_RELATION tag is set to YES then for each documented function +# all documented entities called/used by that function will be listed. +# The default value is: NO. + +REFERENCES_RELATION = NO + +# If the REFERENCES_LINK_SOURCE tag is set to YES and SOURCE_BROWSER tag is set +# to YES then the hyperlinks from functions in REFERENCES_RELATION and +# REFERENCED_BY_RELATION lists will link to the source code. Otherwise they will +# link to the documentation. +# The default value is: YES. + +REFERENCES_LINK_SOURCE = YES + +# If SOURCE_TOOLTIPS is enabled (the default) then hovering a hyperlink in the +# source code will show a tooltip with additional information such as prototype, +# brief description and links to the definition and documentation. Since this +# will make the HTML file larger and loading of large files a bit slower, you +# can opt to disable this feature. +# The default value is: YES. +# This tag requires that the tag SOURCE_BROWSER is set to YES. + +SOURCE_TOOLTIPS = YES + +# If the USE_HTAGS tag is set to YES then the references to source code will +# point to the HTML generated by the htags(1) tool instead of doxygen built-in +# source browser. The htags tool is part of GNU's global source tagging system +# (see http://www.gnu.org/software/global/global.html). You will need version +# 4.8.6 or higher. +# +# To use it do the following: +# - Install the latest version of global +# - Enable SOURCE_BROWSER and USE_HTAGS in the config file +# - Make sure the INPUT points to the root of the source tree +# - Run doxygen as normal +# +# Doxygen will invoke htags (and that will in turn invoke gtags), so these +# tools must be available from the command line (i.e. in the search path). +# +# The result: instead of the source browser generated by doxygen, the links to +# source code will now point to the output of htags. +# The default value is: NO. +# This tag requires that the tag SOURCE_BROWSER is set to YES. + +USE_HTAGS = NO + +# If the VERBATIM_HEADERS tag is set the YES then doxygen will generate a +# verbatim copy of the header file for each class for which an include is +# specified. Set to NO to disable this. +# See also: Section \class. +# The default value is: YES. + +VERBATIM_HEADERS = YES + +# If the CLANG_ASSISTED_PARSING tag is set to YES then doxygen will use the +# clang parser (see: http://clang.llvm.org/) for more accurate parsing at the +# cost of reduced performance. This can be particularly helpful with template +# rich C++ code for which doxygen's built-in parser lacks the necessary type +# information. +# Note: The availability of this option depends on whether or not doxygen was +# generated with the -Duse-libclang=ON option for CMake. +# The default value is: NO. + +CLANG_ASSISTED_PARSING = NO + +# If clang assisted parsing is enabled you can provide the compiler with command +# line options that you would normally use when invoking the compiler. Note that +# the include paths will already be set by doxygen for the files and directories +# specified with INPUT and INCLUDE_PATH. +# This tag requires that the tag CLANG_ASSISTED_PARSING is set to YES. + +CLANG_OPTIONS = + +#--------------------------------------------------------------------------- +# Configuration options related to the alphabetical class index +#--------------------------------------------------------------------------- + +# If the ALPHABETICAL_INDEX tag is set to YES, an alphabetical index of all +# compounds will be generated. Enable this if the project contains a lot of +# classes, structs, unions or interfaces. +# The default value is: YES. + +ALPHABETICAL_INDEX = YES + +# The COLS_IN_ALPHA_INDEX tag can be used to specify the number of columns in +# which the alphabetical index list will be split. +# Minimum value: 1, maximum value: 20, default value: 5. +# This tag requires that the tag ALPHABETICAL_INDEX is set to YES. + +COLS_IN_ALPHA_INDEX = 5 + +# In case all classes in a project start with a common prefix, all classes will +# be put under the same header in the alphabetical index. The IGNORE_PREFIX tag +# can be used to specify a prefix (or a list of prefixes) that should be ignored +# while generating the index headers. +# This tag requires that the tag ALPHABETICAL_INDEX is set to YES. + +IGNORE_PREFIX = + +#--------------------------------------------------------------------------- +# Configuration options related to the HTML output +#--------------------------------------------------------------------------- + +# If the GENERATE_HTML tag is set to YES, doxygen will generate HTML output +# The default value is: YES. + +GENERATE_HTML = YES + +# The HTML_OUTPUT tag is used to specify where the HTML docs will be put. If a +# relative path is entered the value of OUTPUT_DIRECTORY will be put in front of +# it. +# The default directory is: html. +# This tag requires that the tag GENERATE_HTML is set to YES. + +HTML_OUTPUT = html + +# The HTML_FILE_EXTENSION tag can be used to specify the file extension for each +# generated HTML page (for example: .htm, .php, .asp). +# The default value is: .html. +# This tag requires that the tag GENERATE_HTML is set to YES. + +HTML_FILE_EXTENSION = .html + +# The HTML_HEADER tag can be used to specify a user-defined HTML header file for +# each generated HTML page. If the tag is left blank doxygen will generate a +# standard header. +# +# To get valid HTML the header file that includes any scripts and style sheets +# that doxygen needs, which is dependent on the configuration options used (e.g. +# the setting GENERATE_TREEVIEW). It is highly recommended to start with a +# default header using +# doxygen -w html new_header.html new_footer.html new_stylesheet.css +# YourConfigFile +# and then modify the file new_header.html. See also section "Doxygen usage" +# for information on how to generate the default header that doxygen normally +# uses. +# Note: The header is subject to change so you typically have to regenerate the +# default header when upgrading to a newer version of doxygen. For a description +# of the possible markers and block names see the documentation. +# This tag requires that the tag GENERATE_HTML is set to YES. + +HTML_HEADER = + +# The HTML_FOOTER tag can be used to specify a user-defined HTML footer for each +# generated HTML page. If the tag is left blank doxygen will generate a standard +# footer. See HTML_HEADER for more information on how to generate a default +# footer and what special commands can be used inside the footer. See also +# section "Doxygen usage" for information on how to generate the default footer +# that doxygen normally uses. +# This tag requires that the tag GENERATE_HTML is set to YES. + +HTML_FOOTER = + +# The HTML_STYLESHEET tag can be used to specify a user-defined cascading style +# sheet that is used by each HTML page. It can be used to fine-tune the look of +# the HTML output. If left blank doxygen will generate a default style sheet. +# See also section "Doxygen usage" for information on how to generate the style +# sheet that doxygen normally uses. +# Note: It is recommended to use HTML_EXTRA_STYLESHEET instead of this tag, as +# it is more robust and this tag (HTML_STYLESHEET) will in the future become +# obsolete. +# This tag requires that the tag GENERATE_HTML is set to YES. + +HTML_STYLESHEET = + +# The HTML_EXTRA_STYLESHEET tag can be used to specify additional user-defined +# cascading style sheets that are included after the standard style sheets +# created by doxygen. Using this option one can overrule certain style aspects. +# This is preferred over using HTML_STYLESHEET since it does not replace the +# standard style sheet and is therefore more robust against future updates. +# Doxygen will copy the style sheet files to the output directory. +# Note: The order of the extra style sheet files is of importance (e.g. the last +# style sheet in the list overrules the setting of the previous ones in the +# list). For an example see the documentation. +# This tag requires that the tag GENERATE_HTML is set to YES. + +HTML_EXTRA_STYLESHEET = + +# The HTML_EXTRA_FILES tag can be used to specify one or more extra images or +# other source files which should be copied to the HTML output directory. Note +# that these files will be copied to the base HTML output directory. Use the +# $relpath^ marker in the HTML_HEADER and/or HTML_FOOTER files to load these +# files. In the HTML_STYLESHEET file, use the file name only. Also note that the +# files will be copied as-is; there are no commands or markers available. +# This tag requires that the tag GENERATE_HTML is set to YES. + +HTML_EXTRA_FILES = + +# The HTML_COLORSTYLE_HUE tag controls the color of the HTML output. Doxygen +# will adjust the colors in the style sheet and background images according to +# this color. Hue is specified as an angle on a colorwheel, see +# http://en.wikipedia.org/wiki/Hue for more information. For instance the value +# 0 represents red, 60 is yellow, 120 is green, 180 is cyan, 240 is blue, 300 +# purple, and 360 is red again. +# Minimum value: 0, maximum value: 359, default value: 220. +# This tag requires that the tag GENERATE_HTML is set to YES. + +HTML_COLORSTYLE_HUE = 220 + +# The HTML_COLORSTYLE_SAT tag controls the purity (or saturation) of the colors +# in the HTML output. For a value of 0 the output will use grayscales only. A +# value of 255 will produce the most vivid colors. +# Minimum value: 0, maximum value: 255, default value: 100. +# This tag requires that the tag GENERATE_HTML is set to YES. + +HTML_COLORSTYLE_SAT = 100 + +# The HTML_COLORSTYLE_GAMMA tag controls the gamma correction applied to the +# luminance component of the colors in the HTML output. Values below 100 +# gradually make the output lighter, whereas values above 100 make the output +# darker. The value divided by 100 is the actual gamma applied, so 80 represents +# a gamma of 0.8, The value 220 represents a gamma of 2.2, and 100 does not +# change the gamma. +# Minimum value: 40, maximum value: 240, default value: 80. +# This tag requires that the tag GENERATE_HTML is set to YES. + +HTML_COLORSTYLE_GAMMA = 80 + +# If the HTML_TIMESTAMP tag is set to YES then the footer of each generated HTML +# page will contain the date and time when the page was generated. Setting this +# to YES can help to show when doxygen was last run and thus if the +# documentation is up to date. +# The default value is: NO. +# This tag requires that the tag GENERATE_HTML is set to YES. + +HTML_TIMESTAMP = NO + +# If the HTML_DYNAMIC_SECTIONS tag is set to YES then the generated HTML +# documentation will contain sections that can be hidden and shown after the +# page has loaded. +# The default value is: NO. +# This tag requires that the tag GENERATE_HTML is set to YES. + +HTML_DYNAMIC_SECTIONS = NO + +# With HTML_INDEX_NUM_ENTRIES one can control the preferred number of entries +# shown in the various tree structured indices initially; the user can expand +# and collapse entries dynamically later on. Doxygen will expand the tree to +# such a level that at most the specified number of entries are visible (unless +# a fully collapsed tree already exceeds this amount). So setting the number of +# entries 1 will produce a full collapsed tree by default. 0 is a special value +# representing an infinite number of entries and will result in a full expanded +# tree by default. +# Minimum value: 0, maximum value: 9999, default value: 100. +# This tag requires that the tag GENERATE_HTML is set to YES. + +HTML_INDEX_NUM_ENTRIES = 100 + +# If the GENERATE_DOCSET tag is set to YES, additional index files will be +# generated that can be used as input for Apple's Xcode 3 integrated development +# environment (see: http://developer.apple.com/tools/xcode/), introduced with +# OSX 10.5 (Leopard). To create a documentation set, doxygen will generate a +# Makefile in the HTML output directory. Running make will produce the docset in +# that directory and running make install will install the docset in +# ~/Library/Developer/Shared/Documentation/DocSets so that Xcode will find it at +# startup. See http://developer.apple.com/tools/creatingdocsetswithdoxygen.html +# for more information. +# The default value is: NO. +# This tag requires that the tag GENERATE_HTML is set to YES. + +GENERATE_DOCSET = NO + +# This tag determines the name of the docset feed. A documentation feed provides +# an umbrella under which multiple documentation sets from a single provider +# (such as a company or product suite) can be grouped. +# The default value is: Doxygen generated docs. +# This tag requires that the tag GENERATE_DOCSET is set to YES. + +DOCSET_FEEDNAME = "Doxygen generated docs" + +# This tag specifies a string that should uniquely identify the documentation +# set bundle. This should be a reverse domain-name style string, e.g. +# com.mycompany.MyDocSet. Doxygen will append .docset to the name. +# The default value is: org.doxygen.Project. +# This tag requires that the tag GENERATE_DOCSET is set to YES. + +DOCSET_BUNDLE_ID = org.doxygen.Project + +# The DOCSET_PUBLISHER_ID tag specifies a string that should uniquely identify +# the documentation publisher. This should be a reverse domain-name style +# string, e.g. com.mycompany.MyDocSet.documentation. +# The default value is: org.doxygen.Publisher. +# This tag requires that the tag GENERATE_DOCSET is set to YES. + +DOCSET_PUBLISHER_ID = org.doxygen.Publisher + +# The DOCSET_PUBLISHER_NAME tag identifies the documentation publisher. +# The default value is: Publisher. +# This tag requires that the tag GENERATE_DOCSET is set to YES. + +DOCSET_PUBLISHER_NAME = Publisher + +# If the GENERATE_HTMLHELP tag is set to YES then doxygen generates three +# additional HTML index files: index.hhp, index.hhc, and index.hhk. The +# index.hhp is a project file that can be read by Microsoft's HTML Help Workshop +# (see: http://www.microsoft.com/en-us/download/details.aspx?id=21138) on +# Windows. +# +# The HTML Help Workshop contains a compiler that can convert all HTML output +# generated by doxygen into a single compiled HTML file (.chm). Compiled HTML +# files are now used as the Windows 98 help format, and will replace the old +# Windows help format (.hlp) on all Windows platforms in the future. Compressed +# HTML files also contain an index, a table of contents, and you can search for +# words in the documentation. The HTML workshop also contains a viewer for +# compressed HTML files. +# The default value is: NO. +# This tag requires that the tag GENERATE_HTML is set to YES. + +GENERATE_HTMLHELP = NO + +# The CHM_FILE tag can be used to specify the file name of the resulting .chm +# file. You can add a path in front of the file if the result should not be +# written to the html output directory. +# This tag requires that the tag GENERATE_HTMLHELP is set to YES. + +CHM_FILE = + +# The HHC_LOCATION tag can be used to specify the location (absolute path +# including file name) of the HTML help compiler (hhc.exe). If non-empty, +# doxygen will try to run the HTML help compiler on the generated index.hhp. +# The file has to be specified with full path. +# This tag requires that the tag GENERATE_HTMLHELP is set to YES. + +HHC_LOCATION = + +# The GENERATE_CHI flag controls if a separate .chi index file is generated +# (YES) or that it should be included in the master .chm file (NO). +# The default value is: NO. +# This tag requires that the tag GENERATE_HTMLHELP is set to YES. + +GENERATE_CHI = NO + +# The CHM_INDEX_ENCODING is used to encode HtmlHelp index (hhk), content (hhc) +# and project file content. +# This tag requires that the tag GENERATE_HTMLHELP is set to YES. + +CHM_INDEX_ENCODING = + +# The BINARY_TOC flag controls whether a binary table of contents is generated +# (YES) or a normal table of contents (NO) in the .chm file. Furthermore it +# enables the Previous and Next buttons. +# The default value is: NO. +# This tag requires that the tag GENERATE_HTMLHELP is set to YES. + +BINARY_TOC = NO + +# The TOC_EXPAND flag can be set to YES to add extra items for group members to +# the table of contents of the HTML help documentation and to the tree view. +# The default value is: NO. +# This tag requires that the tag GENERATE_HTMLHELP is set to YES. + +TOC_EXPAND = NO + +# If the GENERATE_QHP tag is set to YES and both QHP_NAMESPACE and +# QHP_VIRTUAL_FOLDER are set, an additional index file will be generated that +# can be used as input for Qt's qhelpgenerator to generate a Qt Compressed Help +# (.qch) of the generated HTML documentation. +# The default value is: NO. +# This tag requires that the tag GENERATE_HTML is set to YES. + +GENERATE_QHP = NO + +# If the QHG_LOCATION tag is specified, the QCH_FILE tag can be used to specify +# the file name of the resulting .qch file. The path specified is relative to +# the HTML output folder. +# This tag requires that the tag GENERATE_QHP is set to YES. + +QCH_FILE = + +# The QHP_NAMESPACE tag specifies the namespace to use when generating Qt Help +# Project output. For more information please see Qt Help Project / Namespace +# (see: http://qt-project.org/doc/qt-4.8/qthelpproject.html#namespace). +# The default value is: org.doxygen.Project. +# This tag requires that the tag GENERATE_QHP is set to YES. + +QHP_NAMESPACE = org.doxygen.Project + +# The QHP_VIRTUAL_FOLDER tag specifies the namespace to use when generating Qt +# Help Project output. For more information please see Qt Help Project / Virtual +# Folders (see: http://qt-project.org/doc/qt-4.8/qthelpproject.html#virtual- +# folders). +# The default value is: doc. +# This tag requires that the tag GENERATE_QHP is set to YES. + +QHP_VIRTUAL_FOLDER = doc + +# If the QHP_CUST_FILTER_NAME tag is set, it specifies the name of a custom +# filter to add. For more information please see Qt Help Project / Custom +# Filters (see: http://qt-project.org/doc/qt-4.8/qthelpproject.html#custom- +# filters). +# This tag requires that the tag GENERATE_QHP is set to YES. + +QHP_CUST_FILTER_NAME = + +# The QHP_CUST_FILTER_ATTRS tag specifies the list of the attributes of the +# custom filter to add. For more information please see Qt Help Project / Custom +# Filters (see: http://qt-project.org/doc/qt-4.8/qthelpproject.html#custom- +# filters). +# This tag requires that the tag GENERATE_QHP is set to YES. + +QHP_CUST_FILTER_ATTRS = + +# The QHP_SECT_FILTER_ATTRS tag specifies the list of the attributes this +# project's filter section matches. Qt Help Project / Filter Attributes (see: +# http://qt-project.org/doc/qt-4.8/qthelpproject.html#filter-attributes). +# This tag requires that the tag GENERATE_QHP is set to YES. + +QHP_SECT_FILTER_ATTRS = + +# The QHG_LOCATION tag can be used to specify the location of Qt's +# qhelpgenerator. If non-empty doxygen will try to run qhelpgenerator on the +# generated .qhp file. +# This tag requires that the tag GENERATE_QHP is set to YES. + +QHG_LOCATION = + +# If the GENERATE_ECLIPSEHELP tag is set to YES, additional index files will be +# generated, together with the HTML files, they form an Eclipse help plugin. To +# install this plugin and make it available under the help contents menu in +# Eclipse, the contents of the directory containing the HTML and XML files needs +# to be copied into the plugins directory of eclipse. The name of the directory +# within the plugins directory should be the same as the ECLIPSE_DOC_ID value. +# After copying Eclipse needs to be restarted before the help appears. +# The default value is: NO. +# This tag requires that the tag GENERATE_HTML is set to YES. + +GENERATE_ECLIPSEHELP = NO + +# A unique identifier for the Eclipse help plugin. When installing the plugin +# the directory name containing the HTML and XML files should also have this +# name. Each documentation set should have its own identifier. +# The default value is: org.doxygen.Project. +# This tag requires that the tag GENERATE_ECLIPSEHELP is set to YES. + +ECLIPSE_DOC_ID = org.doxygen.Project + +# If you want full control over the layout of the generated HTML pages it might +# be necessary to disable the index and replace it with your own. The +# DISABLE_INDEX tag can be used to turn on/off the condensed index (tabs) at top +# of each HTML page. A value of NO enables the index and the value YES disables +# it. Since the tabs in the index contain the same information as the navigation +# tree, you can set this option to YES if you also set GENERATE_TREEVIEW to YES. +# The default value is: NO. +# This tag requires that the tag GENERATE_HTML is set to YES. + +DISABLE_INDEX = NO + +# The GENERATE_TREEVIEW tag is used to specify whether a tree-like index +# structure should be generated to display hierarchical information. If the tag +# value is set to YES, a side panel will be generated containing a tree-like +# index structure (just like the one that is generated for HTML Help). For this +# to work a browser that supports JavaScript, DHTML, CSS and frames is required +# (i.e. any modern browser). Windows users are probably better off using the +# HTML help feature. Via custom style sheets (see HTML_EXTRA_STYLESHEET) one can +# further fine-tune the look of the index. As an example, the default style +# sheet generated by doxygen has an example that shows how to put an image at +# the root of the tree instead of the PROJECT_NAME. Since the tree basically has +# the same information as the tab index, you could consider setting +# DISABLE_INDEX to YES when enabling this option. +# The default value is: NO. +# This tag requires that the tag GENERATE_HTML is set to YES. + +GENERATE_TREEVIEW = YES + +# The ENUM_VALUES_PER_LINE tag can be used to set the number of enum values that +# doxygen will group on one line in the generated HTML documentation. +# +# Note that a value of 0 will completely suppress the enum values from appearing +# in the overview section. +# Minimum value: 0, maximum value: 20, default value: 4. +# This tag requires that the tag GENERATE_HTML is set to YES. + +ENUM_VALUES_PER_LINE = 4 + +# If the treeview is enabled (see GENERATE_TREEVIEW) then this tag can be used +# to set the initial width (in pixels) of the frame in which the tree is shown. +# Minimum value: 0, maximum value: 1500, default value: 250. +# This tag requires that the tag GENERATE_HTML is set to YES. + +TREEVIEW_WIDTH = 250 + +# If the EXT_LINKS_IN_WINDOW option is set to YES, doxygen will open links to +# external symbols imported via tag files in a separate window. +# The default value is: NO. +# This tag requires that the tag GENERATE_HTML is set to YES. + +EXT_LINKS_IN_WINDOW = NO + +# Use this tag to change the font size of LaTeX formulas included as images in +# the HTML documentation. When you change the font size after a successful +# doxygen run you need to manually remove any form_*.png images from the HTML +# output directory to force them to be regenerated. +# Minimum value: 8, maximum value: 50, default value: 10. +# This tag requires that the tag GENERATE_HTML is set to YES. + +FORMULA_FONTSIZE = 10 + +# Use the FORMULA_TRANPARENT tag to determine whether or not the images +# generated for formulas are transparent PNGs. Transparent PNGs are not +# supported properly for IE 6.0, but are supported on all modern browsers. +# +# Note that when changing this option you need to delete any form_*.png files in +# the HTML output directory before the changes have effect. +# The default value is: YES. +# This tag requires that the tag GENERATE_HTML is set to YES. + +FORMULA_TRANSPARENT = YES + +# Enable the USE_MATHJAX option to render LaTeX formulas using MathJax (see +# http://www.mathjax.org) which uses client side Javascript for the rendering +# instead of using pre-rendered bitmaps. Use this if you do not have LaTeX +# installed or if you want to formulas look prettier in the HTML output. When +# enabled you may also need to install MathJax separately and configure the path +# to it using the MATHJAX_RELPATH option. +# The default value is: NO. +# This tag requires that the tag GENERATE_HTML is set to YES. + +USE_MATHJAX = NO + +# When MathJax is enabled you can set the default output format to be used for +# the MathJax output. See the MathJax site (see: +# http://docs.mathjax.org/en/latest/output.html) for more details. +# Possible values are: HTML-CSS (which is slower, but has the best +# compatibility), NativeMML (i.e. MathML) and SVG. +# The default value is: HTML-CSS. +# This tag requires that the tag USE_MATHJAX is set to YES. + +MATHJAX_FORMAT = HTML-CSS + +# When MathJax is enabled you need to specify the location relative to the HTML +# output directory using the MATHJAX_RELPATH option. The destination directory +# should contain the MathJax.js script. For instance, if the mathjax directory +# is located at the same level as the HTML output directory, then +# MATHJAX_RELPATH should be ../mathjax. The default value points to the MathJax +# Content Delivery Network so you can quickly see the result without installing +# MathJax. However, it is strongly recommended to install a local copy of +# MathJax from http://www.mathjax.org before deployment. +# The default value is: http://cdn.mathjax.org/mathjax/latest. +# This tag requires that the tag USE_MATHJAX is set to YES. + +MATHJAX_RELPATH = http://cdn.mathjax.org/mathjax/latest + +# The MATHJAX_EXTENSIONS tag can be used to specify one or more MathJax +# extension names that should be enabled during MathJax rendering. For example +# MATHJAX_EXTENSIONS = TeX/AMSmath TeX/AMSsymbols +# This tag requires that the tag USE_MATHJAX is set to YES. + +MATHJAX_EXTENSIONS = + +# The MATHJAX_CODEFILE tag can be used to specify a file with javascript pieces +# of code that will be used on startup of the MathJax code. See the MathJax site +# (see: http://docs.mathjax.org/en/latest/output.html) for more details. For an +# example see the documentation. +# This tag requires that the tag USE_MATHJAX is set to YES. + +MATHJAX_CODEFILE = + +# When the SEARCHENGINE tag is enabled doxygen will generate a search box for +# the HTML output. The underlying search engine uses javascript and DHTML and +# should work on any modern browser. Note that when using HTML help +# (GENERATE_HTMLHELP), Qt help (GENERATE_QHP), or docsets (GENERATE_DOCSET) +# there is already a search function so this one should typically be disabled. +# For large projects the javascript based search engine can be slow, then +# enabling SERVER_BASED_SEARCH may provide a better solution. It is possible to +# search using the keyboard; to jump to the search box use + S +# (what the is depends on the OS and browser, but it is typically +# , /