rmp:tidy fixes

Signed-off-by: Bartłomiej Chmiel <[email protected]>

Author: b-chmiel

src/rmp/BUILD

@@ -58,6 +58,7 @@ cc_library(
         "@boost.optional",
         "@boost.phoenix",
         "@boost.spirit",
+        "@com_google_absl//absl/base:core_headers",
         "@com_google_absl//absl/hash",
         "@com_google_absl//absl/random",
     ],

src/rmp/src/genetic_strategy.cpp

@@ -5,6 +5,7 @@
 
 #include <algorithm>
 #include <cstddef>
+#include <functional>
 #include <iterator>
 #include <ranges>
 #include <unordered_set>

src/rmp/src/slack_tuning_strategy.cpp

@@ -3,8 +3,6 @@
 
 #include "slack_tuning_strategy.h"
 
-#include <absl/base/optimization.h>
-
 #include <cassert>
 #include <cstddef>
 #include <cstdint>
@@ -16,6 +14,7 @@
 #include <utility>
 #include <vector>
 
+#include "absl/base/optimization.h"
 #include "absl/random/random.h"
 #include "cut/abc_library_factory.h"
 #include "db_sta/dbNetwork.hh"

src/rmp/src/utils.cpp

@@ -7,7 +7,8 @@
 
 #include <vector>
 
-#include "aig/gia/giaAig.h"
+#include "aig/aig/aig.h"
+#include "aig/gia/gia.h"
 #include "base/abc/abc.h"
 #include "cut/abc_library_factory.h"
 #include "cut/logic_cut.h"

src/rmp/test/aes_genetic.tcl

@@ -27,7 +27,15 @@ report_wns
 report_tns
 
 puts "-- After --\n"
-resynth_genetic -corner slow -initial_ops 5 -iters 15 -pop_size 50 -mut_prob 0.25 -cross_prob 0.25 -tourn_size 9 -tourn_prob 0.8
+resynth_genetic \
+  -corner slow \
+  -initial_ops 5 \
+  -iters 15 \
+  -pop_size 50 \
+  -mut_prob 0.25 \
+  -cross_prob 0.25 \
+  -tourn_size 9 \
+  -tourn_prob 0.8
 report_timing_histogram
 report_cell_usage
 report_checks

src/rmp/test/gcd_genetic.tcl

@@ -41,7 +41,15 @@ report_tns
 write_verilog_for_eqy $test_name before "None"
 
 puts "-- After --\n"
-resynth_genetic -corner slow -initial_ops 5 -iters 15 -pop_size 100 -mut_prob 0.25 -cross_prob 0.75 -tourn_size 9 -tourn_prob 0.9
+resynth_genetic \
+  -corner slow \
+  -initial_ops 5 \
+  -iters 15 \
+  -pop_size 100 \
+  -mut_prob 0.25 \
+  -cross_prob 0.75 \
+  -tourn_size 9 \
+  -tourn_prob 0.9
 report_timing_histogram
 report_cell_usage
 report_checks