VLOG() is now provided by absl. Use that directly.

This leaves xls/common/logging/logging.h empty; it will be
removed in an upcoming change.

PiperOrigin-RevId: 617024346

Author: hzeller

transpiler/BUILD

@@ -359,6 +359,8 @@ cc_library(
         ":abstract_xls_transpiler",
         "@com_google_absl//absl/container:flat_hash_map",
         "@com_google_absl//absl/container:flat_hash_set",
+        "@com_google_absl//absl/log",
+        "@com_google_absl//absl/log:check",
         "@com_google_absl//absl/status",
         "@com_google_absl//absl/status:statusor",
         "@com_google_absl//absl/strings",

transpiler/abstract_xls_runner.h

@@ -43,6 +43,8 @@
 
 #include "absl/container/flat_hash_map.h"
 #include "absl/container/flat_hash_set.h"
+#include "absl/log/check.h"
+#include "absl/log/log.h"
 #include "absl/status/status.h"
 #include "absl/status/statusor.h"
 #include "absl/strings/string_view.h"

transpiler/examples/sqrt/sqrt_cleartext_testbench.cc

@@ -37,8 +37,8 @@ Encoded<short> TimedYosysSqrt(Encoded<short>& ciphertext) {
   std::cout << "Starting!" << std::endl;
   Encoded<short> result;
   XLS_CHECK_OK(isqrt(result, ciphertext));
-  std::cout << "\t\t\t\t\tTotal time "
-            << ": " << (clock() - start_time) / 1000000 << " secs" << std::endl;
+  std::cout << "\t\t\t\t\tTotal time " << ": "
+            << (clock() - start_time) / 1000000 << " secs" << std::endl;
   return result;
 }
 

transpiler/examples/string_cap/string_cap_cleartext_testbench.cc

@@ -37,8 +37,8 @@ void BoolStringCap(EncodedArray<char>& ciphertext) {
   double start_time = clock();
   std::cout << "Starting!" << std::endl;
   XLS_CHECK_OK(CapitalizeString(ciphertext));
-  std::cout << "\t\t\t\t\tTotal time "
-            << ": " << (clock() - start_time) / 1000000 << " secs" << std::endl;
+  std::cout << "\t\t\t\t\tTotal time " << ": "
+            << (clock() - start_time) / 1000000 << " secs" << std::endl;
 }
 
 int main(int argc, char** argv) {

transpiler/examples/string_cap_char/string_cap_char_cleartext_testbench.cc

@@ -48,8 +48,8 @@ void BoolStringCap(EncodedArray<char>& cipherresult,
               << " secs" << std::endl;
     total_time += char_time;
   }
-  std::cout << "\t\t\t\t\tTotal time "
-            << ": " << total_time / 1000000 << " secs" << std::endl;
+  std::cout << "\t\t\t\t\tTotal time " << ": " << total_time / 1000000
+            << " secs" << std::endl;
 }
 
 int main(int argc, char** argv) {

transpiler/examples/string_reverse/string_reverse_cleartext_testbench.cc

@@ -28,8 +28,8 @@ void BoolStringReverse(EncodedArray<char>& ciphertext) {
   double start_time = clock();
   std::cout << "Starting!" << std::endl;
   XLS_CHECK_OK(ReverseString(ciphertext));
-  std::cout << "\t\t\t\t\tTotal time "
-            << ": " << (clock() - start_time) / 1000000 << " secs" << std::endl;
+  std::cout << "\t\t\t\t\tTotal time " << ": "
+            << (clock() - start_time) / 1000000 << " secs" << std::endl;
 }
 
 int main(int argc, char** argv) {