From d50999ea45dec45146fd34cb28cc23f38a7bd509 Mon Sep 17 00:00:00 2001 From: Leo Moser Date: Wed, 24 Jun 2026 15:15:05 +0200 Subject: [PATCH] fabulous: format using clang Signed-off-by: Leo Moser --- techlibs/fabulous/synth_fabulous.cc | 83 ++++++++++++----------------- 1 file changed, 35 insertions(+), 48 deletions(-) diff --git a/techlibs/fabulous/synth_fabulous.cc b/techlibs/fabulous/synth_fabulous.cc index e174da3ab..525a2e2e8 100644 --- a/techlibs/fabulous/synth_fabulous.cc +++ b/techlibs/fabulous/synth_fabulous.cc @@ -17,17 +17,16 @@ * */ -#include "kernel/register.h" #include "kernel/celltypes.h" -#include "kernel/rtlil.h" #include "kernel/log.h" +#include "kernel/register.h" +#include "kernel/rtlil.h" USING_YOSYS_NAMESPACE PRIVATE_NAMESPACE_BEGIN -struct SynthPass : public ScriptPass -{ - SynthPass() : ScriptPass("synth_fabulous", "FABulous synthesis script") { } +struct SynthPass : public ScriptPass { + SynthPass() : ScriptPass("synth_fabulous", "FABulous synthesis script") {} void help() override { @@ -143,28 +142,27 @@ struct SynthPass : public ScriptPass clear_flags(); size_t argidx; - for (argidx = 1; argidx < args.size(); argidx++) - { - if (args[argidx] == "-top" && argidx+1 < args.size()) { + for (argidx = 1; argidx < args.size(); argidx++) { + if (args[argidx] == "-top" && argidx + 1 < args.size()) { top_module = args[++argidx]; continue; } - if (args[argidx] == "-json" && argidx+1 < args.size()) { + if (args[argidx] == "-json" && argidx + 1 < args.size()) { json_file = args[++argidx]; continue; } - if (args[argidx] == "-blif" && argidx+1 < args.size()) { + if (args[argidx] == "-blif" && argidx + 1 < args.size()) { blif_file = args[++argidx]; continue; } - if (args[argidx] == "-run" && argidx+1 < args.size()) { - size_t pos = args[argidx+1].find(':'); + if (args[argidx] == "-run" && argidx + 1 < args.size()) { + size_t pos = args[argidx + 1].find(':'); if (pos == std::string::npos) { run_from = args[++argidx]; run_to = args[argidx]; } else { run_from = args[++argidx].substr(0, pos); - run_to = args[argidx].substr(pos+1); + run_to = args[argidx].substr(pos + 1); } continue; } @@ -172,21 +170,21 @@ struct SynthPass : public ScriptPass autotop = true; continue; } - if (args[argidx] == "-lut" && argidx+1 < args.size()) { + if (args[argidx] == "-lut" && argidx + 1 < args.size()) { lut = atoi(args[++argidx].c_str()); continue; } - if (args[argidx] == "-ff" && argidx+2 < args.size()) { + if (args[argidx] == "-ff" && argidx + 2 < args.size()) { string cell = args[++argidx]; string init = args[++argidx]; extra_ffs.push_back({cell, init}); continue; } - if (args[argidx] == "-clkbuf-map" && argidx+1 < args.size()) { + if (args[argidx] == "-clkbuf-map" && argidx + 1 < args.size()) { clkbuf_map = args[++argidx]; continue; } - if (args[argidx] == "-multiplier-map" && argidx+6 < args.size()) { + if (args[argidx] == "-multiplier-map" && argidx + 6 < args.size()) { multiplier_map = args[++argidx]; multiplier_a_max = atoi(args[++argidx].c_str()); multiplier_b_max = atoi(args[++argidx].c_str()); @@ -195,15 +193,15 @@ struct SynthPass : public ScriptPass multiplier_y_min = atoi(args[++argidx].c_str()); continue; } - if (args[argidx] == "-extra-plib" && argidx+1 < args.size()) { + if (args[argidx] == "-extra-plib" && argidx + 1 < args.size()) { extra_plib.push_back(args[++argidx]); continue; } - if (args[argidx] == "-extra-map" && argidx+1 < args.size()) { + if (args[argidx] == "-extra-map" && argidx + 1 < args.size()) { extra_map.push_back(args[++argidx]); continue; } - if (args[argidx] == "-extra-mlibmap" && argidx+1 < args.size()) { + if (args[argidx] == "-extra-mlibmap" && argidx + 1 < args.size()) { extra_mlibmap.push_back(args[++argidx]); continue; } @@ -231,7 +229,7 @@ struct SynthPass : public ScriptPass noiopad = true; continue; } - if (args[argidx] == "-carry" && argidx+1 < args.size()) { + if (args[argidx] == "-carry" && argidx + 1 < args.size()) { carry_mode = args[++argidx]; if (carry_mode != "none" && carry_mode != "ha") log_cmd_error("Unsupported carry style: %s\n", carry_mode); @@ -260,9 +258,10 @@ struct SynthPass : public ScriptPass { if (help_mode) { run("read_verilog -lib ", "(for each -extra-plib)"); - } else for (auto lib : extra_plib) { - run("read_verilog -lib " + lib); - } + } else + for (auto lib : extra_plib) { + run("read_verilog -lib " + lib); + } if (check_label("begin")) { if (top_module.empty()) { @@ -275,9 +274,7 @@ struct SynthPass : public ScriptPass run("proc"); } - - if (check_label("flatten", "(unless -noflatten)")) - { + if (check_label("flatten", "(unless -noflatten)")) { if (flatten) { run("check"); run("flatten"); @@ -287,7 +284,7 @@ struct SynthPass : public ScriptPass } if (check_label("coarse")) { - run("tribuf -logic"); + run("tribuf -logic"); run("deminout"); // synth pass @@ -309,21 +306,16 @@ struct SynthPass : public ScriptPass run("wreduce t:$mul"); if (help_mode) { run("techmap -map +/mul2dsp.v -map -D DSP_A_MAXWIDTH= -D DSP_B_MAXWIDTH= " - "-D DSP_A_MINWIDTH= -D DSP_B_MINWIDTH= -D DSP_Y_MINWIDTH= " - "-D DSP_NAME=$__FABULOUS_MUL", "(if -multiplier-map)"); + "-D DSP_A_MINWIDTH= -D DSP_B_MINWIDTH= -D DSP_Y_MINWIDTH= " + "-D DSP_NAME=$__FABULOUS_MUL", + "(if -multiplier-map)"); } else { run(stringf("techmap -map +/mul2dsp.v -map %s -D DSP_A_MAXWIDTH=%d -D DSP_B_MAXWIDTH=%d " "-D DSP_A_MINWIDTH=%d -D DSP_B_MINWIDTH=%d -D DSP_Y_MINWIDTH=%d " "-D DSP_NAME=$__FABULOUS_MUL", - multiplier_map.c_str(), - multiplier_a_max, - multiplier_b_max, - multiplier_a_min, - multiplier_b_min, - multiplier_y_min - ) - ); - } + multiplier_map.c_str(), multiplier_a_max, multiplier_b_max, multiplier_a_min, multiplier_b_min, + multiplier_y_min)); + } run("select a:mul2dsp", " (if -multiplier-map)"); run("setattr -unset mul2dsp", " (if -multiplier-map)"); run("opt_expr -fine", " (if -multiplier-map)"); @@ -370,7 +362,6 @@ struct SynthPass : public ScriptPass "-tinoutpad $__FABULOUS_IOBUF EN:OUT:IN:PAD"); } - if (check_label("map_ffs")) { if (help_mode) { run("dfflegalize -cell ...", "(for each -ff)"); @@ -423,18 +414,14 @@ struct SynthPass : public ScriptPass run("stat"); } - if (check_label("blif")) - { - if (!blif_file.empty() || help_mode) - { + if (check_label("blif")) { + if (!blif_file.empty() || help_mode) { run("opt_clean -purge"); - run(stringf("write_blif -attr -cname -conn -param %s", - help_mode ? "" : blif_file.c_str())); + run(stringf("write_blif -attr -cname -conn -param %s", help_mode ? "" : blif_file.c_str())); } } - if (check_label("json")) - { + if (check_label("json")) { if (!json_file.empty() || help_mode) run(stringf("write_json %s", help_mode ? "" : json_file)); }