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

PiperOrigin-RevId: 616336113
google · Mar 19, 2024 · 268373b · 268373b
1 parent ca42d00
commit 268373b
Show file tree

Hide file tree

Showing 6 changed files with 12 additions and 8 deletions.
diff --git a/transpiler/BUILD b/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",

diff --git a/transpiler/abstract_xls_runner.h b/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"

diff --git a/transpiler/examples/sqrt/sqrt_cleartext_testbench.cc b/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;
 }
 

diff --git a/transpiler/examples/string_cap/string_cap_cleartext_testbench.cc b/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) {

diff --git a/transpiler/examples/string_cap_char/string_cap_char_cleartext_testbench.cc b/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) {

diff --git a/transpiler/examples/string_reverse/string_reverse_cleartext_testbench.cc b/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) {