IWYU: Fix missing includes

Addressing the top missing includes:
  * xls/ir/value.h
  * xls/ir/bits.h
  * xls/ir/node.h
  * xls/ir/source_location.h
  * absl/types/span.h

Should fix at least around 1600 misc-include-cleaner warnings.

PiperOrigin-RevId: 629910777

xls/codegen/BUILD

@@ -146,13 +146,15 @@ cc_library(
         ":vast",
         "//xls/common:casts",
         "//xls/common/status:status_macros",
+        "//xls/ir:bits",
         "//xls/ir:source_location",
         "@com_google_absl//absl/algorithm:container",
         "@com_google_absl//absl/container:flat_hash_map",
         "@com_google_absl//absl/log:check",
         "@com_google_absl//absl/status",
         "@com_google_absl//absl/status:statusor",
         "@com_google_absl//absl/strings",
+        "@com_google_absl//absl/types:span",
     ],
 )
 
@@ -163,6 +165,7 @@ cc_test(
         ":vast",
         "//xls/common:xls_gunit_main",
         "//xls/common/status:matchers",
+        "//xls/ir:bits",
         "//xls/ir:number_parser",
         "//xls/ir:source_location",
         "@com_google_absl//absl/status",
@@ -180,6 +183,7 @@ cc_test(
         ":vast",
         "//xls/common:xls_gunit_main",
         "//xls/common/status:matchers",
+        "//xls/ir:source_location",
         "//xls/simulation:verilog_test_base",
         "@com_google_absl//absl/log",
         "@com_google_absl//absl/status",
@@ -276,6 +280,7 @@ cc_library(
         "//xls/ir",
         "//xls/ir:bits",
         "//xls/ir:bits_ops",
+        "//xls/ir:source_location",
         "//xls/ir:type",
         "//xls/ir:value",
         "//xls/ir:xls_type_cc_proto",
@@ -416,8 +421,10 @@ cc_library(
         ":op_override",
         ":ram_configuration",
         "//xls/common:proto_adaptor_utils",
+        "//xls/ir:bits",
         "//xls/ir:op",
         "//xls/ir:register",
+        "//xls/ir:value",
         "@com_google_absl//absl/container:flat_hash_map",
         "@com_google_absl//absl/types:span",
     ],
@@ -828,8 +835,11 @@ cc_test(
         ":flattening",
         "//xls/common:xls_gunit_main",
         "//xls/common/status:matchers",
+        "//xls/ir:bits",
         "//xls/ir:ir_test_base",
+        "//xls/ir:source_location",
         "//xls/ir:type",
+        "//xls/ir:value",
         "@com_google_googletest//:gtest",
     ],
 )
@@ -847,10 +857,12 @@ cc_test(
         "//xls/ir",
         "//xls/ir:bits",
         "//xls/ir:function_builder",
+        "//xls/ir:source_location",
         "//xls/ir:type",
         "//xls/ir:value",
         "//xls/simulation:verilog_test_base",
         "@com_google_absl//absl/status",
+        "@com_google_absl//absl/types:span",
         "@com_google_googletest//:gtest",
     ],
 )
@@ -1112,8 +1124,11 @@ cc_test(
         "//xls/common/status:matchers",
         "//xls/delay_model:delay_estimators",
         "//xls/ir",
+        "//xls/ir:bits",
         "//xls/ir:function_builder",
+        "//xls/ir:source_location",
         "//xls/ir:type",
+        "//xls/ir:value",
         "//xls/scheduling:pipeline_schedule",
         "//xls/scheduling:run_pipeline_schedule",
         "//xls/scheduling:scheduling_options",
@@ -1147,6 +1162,7 @@ cc_test(
         "//xls/ir:bits",
         "//xls/ir:function_builder",
         "//xls/ir:ir_test_base",
+        "//xls/ir:value",
         "@com_google_googletest//:gtest",
     ],
 )

xls/codegen/bdd_io_analysis_test.cc

@@ -22,6 +22,7 @@
 #include "xls/ir/function_builder.h"
 #include "xls/ir/ir_test_base.h"
 #include "xls/ir/package.h"
+#include "xls/ir/value.h"
 
 namespace xls {
 namespace {

xls/codegen/block_metrics.cc

@@ -25,6 +25,7 @@
 #include "xls/codegen/xls_metrics.pb.h"
 #include "xls/common/status/status_macros.h"
 #include "xls/ir/block.h"
+#include "xls/ir/node.h"
 #include "xls/ir/topo_sort.h"
 
 namespace xls::verilog {

xls/codegen/block_metrics_test.cc

@@ -21,10 +21,13 @@
 #include "xls/codegen/xls_metrics.pb.h"
 #include "xls/common/status/matchers.h"
 #include "xls/delay_model/delay_estimators.h"
+#include "xls/ir/bits.h"
 #include "xls/ir/block.h"
 #include "xls/ir/function_builder.h"
 #include "xls/ir/package.h"
+#include "xls/ir/source_location.h"
 #include "xls/ir/type.h"
+#include "xls/ir/value.h"
 #include "xls/scheduling/pipeline_schedule.h"
 #include "xls/scheduling/run_pipeline_schedule.h"
 #include "xls/scheduling/scheduling_options.h"

xls/codegen/codegen_options.cc

@@ -20,7 +20,10 @@
 #include <string_view>
 #include <utility>
 
+#include "absl/types/span.h"
 #include "xls/common/proto_adaptor_utils.h"
+#include "xls/ir/bits.h"
+#include "xls/ir/value.h"
 
 namespace xls::verilog {
 

xls/codegen/finite_state_machine.cc

@@ -27,8 +27,10 @@
 #include "absl/status/status.h"
 #include "absl/status/statusor.h"
 #include "absl/strings/str_cat.h"
+#include "absl/types/span.h"
 #include "xls/codegen/vast.h"
 #include "xls/common/status/status_macros.h"
+#include "xls/ir/bits.h"
 #include "xls/ir/source_location.h"
 
 namespace xls {

xls/codegen/finite_state_machine.h

@@ -31,6 +31,7 @@
 #include "absl/status/statusor.h"
 #include "xls/codegen/vast.h"
 #include "xls/common/casts.h"
+#include "xls/ir/source_location.h"
 
 namespace xls {
 namespace verilog {

xls/codegen/finite_state_machine_test.cc

@@ -20,6 +20,7 @@
 #include "absl/status/status.h"
 #include "xls/codegen/vast.h"
 #include "xls/common/status/matchers.h"
+#include "xls/ir/source_location.h"
 #include "xls/simulation/verilog_test_base.h"
 
 namespace xls {

xls/codegen/flattening.cc

@@ -21,10 +21,13 @@
 #include "absl/log/log.h"
 #include "absl/status/status.h"
 #include "absl/status/statusor.h"
+#include "absl/types/span.h"
 #include "xls/common/status/ret_check.h"
 #include "xls/common/status/status_macros.h"
 #include "xls/ir/bits_ops.h"
 #include "xls/ir/package.h"
+#include "xls/ir/source_location.h"
+#include "xls/ir/value.h"
 
 namespace xls {
 

xls/codegen/flattening.h

@@ -24,6 +24,7 @@
 #include "absl/types/span.h"
 #include "xls/codegen/vast.h"
 #include "xls/ir/bits.h"
+#include "xls/ir/source_location.h"
 #include "xls/ir/type.h"
 #include "xls/ir/value.h"
 #include "xls/ir/xls_type.pb.h"

xls/codegen/flattening_test.cc

@@ -17,8 +17,11 @@
 #include "gmock/gmock.h"
 #include "gtest/gtest.h"
 #include "xls/common/status/matchers.h"
+#include "xls/ir/bits.h"
 #include "xls/ir/ir_test_base.h"
+#include "xls/ir/source_location.h"
 #include "xls/ir/type.h"
+#include "xls/ir/value.h"
 
 namespace xls {
 namespace {

xls/codegen/module_builder_test.cc

@@ -20,11 +20,13 @@
 #include "gmock/gmock.h"
 #include "gtest/gtest.h"
 #include "absl/status/status.h"
+#include "absl/types/span.h"
 #include "xls/codegen/vast.h"
 #include "xls/common/status/matchers.h"
 #include "xls/ir/bits.h"
 #include "xls/ir/function_builder.h"
 #include "xls/ir/package.h"
+#include "xls/ir/source_location.h"
 #include "xls/ir/type.h"
 #include "xls/ir/value.h"
 #include "xls/simulation/verilog_test_base.h"

xls/codegen/op_override_impls.cc

@@ -25,8 +25,10 @@
 
 #include "absl/log/check.h"
 #include "absl/strings/str_replace.h"
+#include "absl/types/span.h"
 #include "xls/codegen/vast.h"
 #include "xls/common/status/status_macros.h"
+#include "xls/ir/node.h"
 #include "re2/re2.h"
 
 namespace xls::verilog {

xls/codegen/vast_test.cc

@@ -25,6 +25,7 @@
 #include "absl/status/status.h"
 #include "absl/strings/str_cat.h"
 #include "xls/common/status/matchers.h"
+#include "xls/ir/bits.h"
 #include "xls/ir/number_parser.h"
 #include "xls/ir/source_location.h"
 

xls/common/BUILD

@@ -27,6 +27,7 @@ cc_library(
     hdrs = ["bits_util.h"],
     deps = [
         "@com_google_absl//absl/log:check",
+        "@com_google_absl//absl/types:span",
     ],
 )
 
@@ -423,6 +424,7 @@ cc_test(
         ":comparison_utils",
         ":xls_gunit_main",
         "@com_google_absl//absl/strings",
+        "@com_google_absl//absl/types:span",
         "@com_google_googletest//:gtest",
     ],
 )

xls/common/bits_util.h

@@ -19,6 +19,7 @@
 #include <cstdint>
 
 #include "absl/log/check.h"
+#include "absl/types/span.h"
 
 namespace xls {
 

xls/common/comparison_utils_test.cc

@@ -27,6 +27,7 @@
 #include "gmock/gmock.h"
 #include "gtest/gtest.h"
 #include "absl/strings/str_cat.h"
+#include "absl/types/span.h"
 
 namespace xls {
 namespace {

xls/common/math_util.cc

@@ -18,6 +18,8 @@
 #include <functional>
 #include <vector>
 
+#include "absl/types/span.h"
+
 namespace xls {
 namespace {
 

xls/contrib/ice40/BUILD

@@ -30,9 +30,11 @@ cc_library(
         "//xls/common:math_util",
         "//xls/common/status:ret_check",
         "//xls/common/status:status_macros",
+        "//xls/ir:bits",
         "//xls/ir:source_location",
         "@com_google_absl//absl/status",
         "@com_google_absl//absl/status:statusor",
+        "@com_google_absl//absl/types:span",
     ],
 )
 
@@ -68,6 +70,7 @@ cc_library(
         "//xls/common/file:filesystem",
         "//xls/common/file:get_runfile_path",
         "//xls/common/status:status_macros",
+        "//xls/ir:source_location",
         "//xls/tools:verilog_include",
         "@com_google_absl//absl/status",
         "@com_google_absl//absl/status:statusor",
@@ -86,6 +89,7 @@ cc_binary(
         "//xls/common:exit_status",
         "//xls/common:init_xls",
         "//xls/common/file:filesystem",
+        "//xls/ir:source_location",
         "@com_google_absl//absl/flags:flag",
         "@com_google_absl//absl/log:check",
         "@com_google_absl//absl/status",
@@ -115,6 +119,7 @@ cc_binary(
         "//xls/common:init_xls",
         "//xls/ir:format_preference",
         "//xls/ir:ir_parser",
+        "//xls/ir:value",
         "@com_google_absl//absl/flags:flag",
         "@com_google_absl//absl/status",
         "@com_google_absl//absl/status:statusor",
@@ -133,11 +138,14 @@ cc_library(
         "//xls/common/file:filesystem",
         "//xls/common/status:ret_check",
         "//xls/common/status:status_macros",
+        "//xls/ir:bits",
+        "//xls/ir:value",
         "@com_google_absl//absl/log",
         "@com_google_absl//absl/status",
         "@com_google_absl//absl/status:statusor",
         "@com_google_absl//absl/strings",
         "@com_google_absl//absl/strings:str_format",
+        "@com_google_absl//absl/types:span",
     ],
 )
 
@@ -159,6 +167,7 @@ cc_library(
     deps = [
         ":io_strategy",
         "//xls/codegen:vast",
+        "//xls/ir:source_location",
         "@com_google_absl//absl/status",
         "@com_google_absl//absl/status:statusor",
     ],

xls/contrib/ice40/drpc_main.cc

@@ -37,6 +37,7 @@
 #include "xls/contrib/ice40/device_rpc_strategy_factory.h"
 #include "xls/ir/format_preference.h"
 #include "xls/ir/ir_parser.h"
+#include "xls/ir/value.h"
 
 ABSL_FLAG(std::string, target_device, "",
           "Target (category of) device for DRPC targeting; e.g. ice40.");

xls/contrib/ice40/ice40_device_rpc_strategy.cc

@@ -32,11 +32,14 @@
 #include "absl/strings/str_cat.h"
 #include "absl/strings/str_format.h"
 #include "absl/strings/str_join.h"
+#include "absl/types/span.h"
 #include "xls/common/file/filesystem.h"
 #include "xls/common/math_util.h"
 #include "xls/common/status/ret_check.h"
 #include "xls/common/status/status_macros.h"
 #include "xls/common/strerror.h"
+#include "xls/ir/bits.h"
+#include "xls/ir/value.h"
 
 namespace xls {
 namespace {

xls/contrib/ice40/ice40_device_rpc_strategy.h

@@ -20,7 +20,9 @@
 
 #include "absl/status/status.h"
 #include "absl/status/statusor.h"
+#include "absl/types/span.h"
 #include "xls/contrib/ice40/device_rpc_strategy.h"
+#include "xls/ir/value.h"
 
 namespace xls {
 

xls/contrib/ice40/ice40_io_strategy.cc

@@ -23,6 +23,7 @@
 #include "xls/common/file/filesystem.h"
 #include "xls/common/file/get_runfile_path.h"
 #include "xls/common/status/status_macros.h"
+#include "xls/ir/source_location.h"
 
 namespace xls {
 namespace verilog {

xls/contrib/ice40/null_io_strategy.cc

@@ -15,6 +15,7 @@
 #include "xls/contrib/ice40/null_io_strategy.h"
 
 #include "absl/status/status.h"
+#include "xls/ir/source_location.h"
 
 namespace xls {
 namespace verilog {

xls/contrib/ice40/wrap_io.cc

@@ -21,11 +21,13 @@
 
 #include "absl/status/status.h"
 #include "absl/status/statusor.h"
+#include "absl/types/span.h"
 #include "xls/codegen/finite_state_machine.h"
 #include "xls/codegen/vast.h"
 #include "xls/common/math_util.h"
 #include "xls/common/status/ret_check.h"
 #include "xls/common/status/status_macros.h"
+#include "xls/ir/bits.h"
 #include "xls/ir/source_location.h"
 
 namespace xls {