Rename lean opt to keymemrt-opt

eymay · eymay · commit 89ba46a8d230 · 2026-04-29T15:42:12.000+01:00
diff --git a/tests/BUILD b/tests/BUILD
@@ -12,8 +12,8 @@ filegroup(
     testonly = True,
     data = [
         ":lit.cfg.py",
-        "@heir//tools:heir-opt",
-        "@heir//tools:heir-translate",
+        "@heir//tools:keymemrt-opt",
+        "@heir//tools:keymemrt-translate",
         "@llvm-project//llvm:FileCheck",
         "@llvm-project//llvm:count",
         "@llvm-project//llvm:lit",
diff --git a/tests/Dialect/KMRT/Emitters/emit_kmrt_rotation_keys.mlir b/tests/Dialect/KMRT/Emitters/emit_kmrt_rotation_keys.mlir
@@ -1,4 +1,4 @@
-// RUN: heir-translate %s --emit-openfhe-pke --split-input-file | FileCheck %s
+// RUN: keymemrt-translate %s --emit-openfhe-pke --split-input-file | FileCheck %s
 
 #ring_Z65537_i64_1_x32_ = #polynomial.ring<coefficientType = !mod_arith.int<65537 : i64>, polynomialModulus = <1 + x**32>>
 !rns_L0_ = !rns.rns<!mod_arith.int<1095233372161 : i64>>
diff --git a/tests/Dialect/KMRT/Transforms/configure_crypto_context_bsgs.mlir b/tests/Dialect/KMRT/Transforms/configure_crypto_context_bsgs.mlir
@@ -1,4 +1,4 @@
-// RUN: heir-opt --openfhe-configure-crypto-context=entry-function=linear_transform %s | FileCheck %s
+// RUN: keymemrt-opt --openfhe-configure-crypto-context=entry-function=linear_transform %s | FileCheck %s
 
 // This test uses the output of BSGS decomposition directly to verify that
 // ConfigureCryptoContext can find all rotation indices from dynamic rotation keys.
diff --git a/tests/Dialect/KMRT/Transforms/key_prefetching_affine.mlir b/tests/Dialect/KMRT/Transforms/key_prefetching_affine.mlir
@@ -1,4 +1,4 @@
-// RUN: heir-opt --kmrt-key-prefetching="prefetch-threshold=30" %s | FileCheck %s
+// RUN: keymemrt-opt --kmrt-key-prefetching="prefetch-threshold=30" %s | FileCheck %s
 
 !Z536903681_i64 = !mod_arith.int<536903681 : i64>
 !Z66813953_i64 = !mod_arith.int<66813953 : i64>
diff --git a/tests/Dialect/KMRT/Transforms/key_prefetching_bsgs.mlir b/tests/Dialect/KMRT/Transforms/key_prefetching_bsgs.mlir
@@ -1,4 +1,4 @@
-// RUN: heir-opt --kmrt-key-prefetching="prefetch-threshold=30" %s | FileCheck %s
+// RUN: keymemrt-opt --kmrt-key-prefetching="prefetch-threshold=30" %s | FileCheck %s
 
 !Z536903681_i64 = !mod_arith.int<536903681 : i64>
 !Z66813953_i64 = !mod_arith.int<66813953 : i64>
diff --git a/tests/Dialect/KMRT/Transforms/key_prefetching_constant.mlir b/tests/Dialect/KMRT/Transforms/key_prefetching_constant.mlir
@@ -1,4 +1,4 @@
-// RUN: heir-opt --kmrt-key-prefetching="prefetch-threshold=50" %s | FileCheck %s
+// RUN: keymemrt-opt --kmrt-key-prefetching="prefetch-threshold=50" %s | FileCheck %s
 
 !Z536903681_i64 = !mod_arith.int<536903681 : i64>
 !Z66813953_i64 = !mod_arith.int<66813953 : i64>
diff --git a/tests/Dialect/KMRT/Transforms/key_prefetching_index_type.mlir b/tests/Dialect/KMRT/Transforms/key_prefetching_index_type.mlir
@@ -1,4 +1,4 @@
-// RUN: heir-opt --kmrt-key-prefetching="prefetch-threshold=30" %s | FileCheck %s
+// RUN: keymemrt-opt --kmrt-key-prefetching="prefetch-threshold=30" %s | FileCheck %s
 
 !Z536903681_i64 = !mod_arith.int<536903681 : i64>
 !Z66813953_i64 = !mod_arith.int<66813953 : i64>
diff --git a/tests/Dialect/KMRT/Transforms/key_prefetching_trivial.mlir b/tests/Dialect/KMRT/Transforms/key_prefetching_trivial.mlir
@@ -1,4 +1,4 @@
-// RUN: heir-opt --kmrt-key-prefetching %s | FileCheck %s
+// RUN: keymemrt-opt --kmrt-key-prefetching %s | FileCheck %s
 
 !Z536903681_i64 = !mod_arith.int<536903681 : i64>
 !Z66813953_i64 = !mod_arith.int<66813953 : i64>
diff --git a/tests/Dialect/KMRT/Transforms/merge_rotation_keys_basic.mlir b/tests/Dialect/KMRT/Transforms/merge_rotation_keys_basic.mlir
@@ -1,4 +1,4 @@
-// RUN: heir-opt --kmrt-merge-rotation-keys %s | FileCheck %s
+// RUN: keymemrt-opt --kmrt-merge-rotation-keys %s | FileCheck %s
 
 !Z536903681_i64 = !mod_arith.int<536903681 : i64>
 !Z66813953_i64 = !mod_arith.int<66813953 : i64>
diff --git a/tests/Dialect/KMRT/Transforms/merge_rotation_keys_bootstrap.mlir b/tests/Dialect/KMRT/Transforms/merge_rotation_keys_bootstrap.mlir
@@ -1,4 +1,4 @@
-// RUN: heir-opt --bootstrap-rotation-analysis --kmrt-merge-rotation-keys %s | FileCheck %s
+// RUN: keymemrt-opt --bootstrap-rotation-analysis --kmrt-merge-rotation-keys %s | FileCheck %s
 
 !Z1095233372161_i64 = !mod_arith.int<1095233372161 : i64>
 !Z65537_i64 = !mod_arith.int<65537 : i64>
diff --git a/tests/Dialect/KMRT/Transforms/merge_rotation_keys_bootstrap_loop_bootstrap.mlir b/tests/Dialect/KMRT/Transforms/merge_rotation_keys_bootstrap_loop_bootstrap.mlir
@@ -1,4 +1,4 @@
-// RUN: heir-opt --bootstrap-rotation-analysis --kmrt-merge-rotation-keys %s | FileCheck %s
+// RUN: keymemrt-opt --bootstrap-rotation-analysis --kmrt-merge-rotation-keys %s | FileCheck %s
 
 !Z1095233372161_i64 = !mod_arith.int<1095233372161 : i64>
 !Z65537_i64 = !mod_arith.int<65537 : i64>
diff --git a/tests/Dialect/KMRT/Transforms/merge_rotation_keys_bsgs.mlir b/tests/Dialect/KMRT/Transforms/merge_rotation_keys_bsgs.mlir
@@ -1,4 +1,4 @@
-// RUN: heir-opt --symbolic-bsgs-decomposition --kmrt-merge-rotation-keys %s | FileCheck %s
+// RUN: keymemrt-opt --symbolic-bsgs-decomposition --kmrt-merge-rotation-keys %s | FileCheck %s
 
 !Z536903681_i64 = !mod_arith.int<536903681 : i64>
 !Z66813953_i64 = !mod_arith.int<66813953 : i64>
diff --git a/tests/Dialect/KMRT/Transforms/merge_rotation_keys_postloop.mlir b/tests/Dialect/KMRT/Transforms/merge_rotation_keys_postloop.mlir
@@ -1,4 +1,4 @@
-// RUN: heir-opt --kmrt-merge-rotation-keys %s | FileCheck %s
+// RUN: keymemrt-opt --kmrt-merge-rotation-keys %s | FileCheck %s
 
 !Z536903681_i64 = !mod_arith.int<536903681 : i64>
 !Z66813953_i64 = !mod_arith.int<66813953 : i64>
diff --git a/tests/Dialect/KMRT/Transforms/merge_rotation_keys_preloop.mlir b/tests/Dialect/KMRT/Transforms/merge_rotation_keys_preloop.mlir
@@ -1,4 +1,4 @@
-// RUN: heir-opt --symbolic-bsgs-decomposition --kmrt-merge-rotation-keys %s | FileCheck %s
+// RUN: keymemrt-opt --symbolic-bsgs-decomposition --kmrt-merge-rotation-keys %s | FileCheck %s
 
 !Z536903681_i64 = !mod_arith.int<536903681 : i64>
 !Z66813953_i64 = !mod_arith.int<66813953 : i64>
diff --git a/tests/Dialect/KMRT/Transforms/merge_rotation_keys_prepost.mlir b/tests/Dialect/KMRT/Transforms/merge_rotation_keys_prepost.mlir
@@ -1,4 +1,4 @@
-// RUN: heir-opt --kmrt-merge-rotation-keys %s | FileCheck %s
+// RUN: keymemrt-opt --kmrt-merge-rotation-keys %s | FileCheck %s
 
 !Z536903681_i64 = !mod_arith.int<536903681 : i64>
 !Z66813953_i64 = !mod_arith.int<66813953 : i64>
diff --git a/tests/Dialect/KMRT/Transforms/merge_rotation_keys_two_bootstraps.mlir b/tests/Dialect/KMRT/Transforms/merge_rotation_keys_two_bootstraps.mlir
@@ -1,4 +1,4 @@
-// RUN: heir-opt --bootstrap-rotation-analysis --kmrt-merge-rotation-keys %s | FileCheck %s
+// RUN: keymemrt-opt --bootstrap-rotation-analysis --kmrt-merge-rotation-keys %s | FileCheck %s
 
 !Z1095233372161_i64 = !mod_arith.int<1095233372161 : i64>
 !Z65537_i64 = !mod_arith.int<65537 : i64>
diff --git a/tests/Dialect/Openfhe/Transforms/fast_rotation_precompute_affine.mlir b/tests/Dialect/Openfhe/Transforms/fast_rotation_precompute_affine.mlir
@@ -1,4 +1,4 @@
-// RUN: heir-opt --openfhe-fast-rotation-precompute %s | FileCheck %s
+// RUN: keymemrt-opt --openfhe-fast-rotation-precompute %s | FileCheck %s
 
 !Z1032955396097_i64 = !mod_arith.int<1032955396097 : i64>
 !Z1095233372161_i64 = !mod_arith.int<1095233372161 : i64>
diff --git a/tests/Dialect/Openfhe/Transforms/insert_clear_ops.mlir b/tests/Dialect/Openfhe/Transforms/insert_clear_ops.mlir
@@ -1,4 +1,4 @@
-// RUN: heir-opt --openfhe-insert-clear-ops %s | FileCheck %s
+// RUN: keymemrt-opt --openfhe-insert-clear-ops %s | FileCheck %s
 
 !Z1095233372161_i64_ = !mod_arith.int<1095233372161 : i64>
 !Z65537_i64_ = !mod_arith.int<65537 : i64>
diff --git a/tests/Transforms/lower_linear_transform/test_linear_transform.mlir b/tests/Transforms/lower_linear_transform/test_linear_transform.mlir
@@ -1,4 +1,4 @@
-// RUN: heir-opt --lower-linear-transform %s | FileCheck %s
+// RUN: keymemrt-opt --lower-linear-transform %s | FileCheck %s
 
 !Z536903681_i64 = !mod_arith.int<536903681 : i64>
 !Z66813953_i64 = !mod_arith.int<66813953 : i64>
diff --git a/tests/Transforms/symbolic_bsgs_decomposition/test_symbolic_bsgs_decomposition.mlir b/tests/Transforms/symbolic_bsgs_decomposition/test_symbolic_bsgs_decomposition.mlir
@@ -1,4 +1,4 @@
-// RUN: heir-opt --symbolic-bsgs-decomposition %s | FileCheck %s
+// RUN: keymemrt-opt --symbolic-bsgs-decomposition %s | FileCheck %s
 
 !Z536903681_i64 = !mod_arith.int<536903681 : i64>
 !Z66813953_i64 = !mod_arith.int<66813953 : i64>
diff --git a/tools/BUILD b/tools/BUILD

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-// RUN: heir-translate %s --emit-openfhe-pke --split-input-file \| FileCheck %s`
	`1`	`+// RUN: keymemrt-translate %s --emit-openfhe-pke --split-input-file \| FileCheck %s`
`2`	`2`
`3`	`3`	`#ring_Z65537_i64_1_x32_ = #polynomial.ring<coefficientType = !mod_arith.int<65537 : i64>, polynomialModulus = <1 + x**32>>`
`4`	`4`	`!rns_L0_ = !rns.rns<!mod_arith.int<1095233372161 : i64>>`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-// RUN: heir-opt --openfhe-configure-crypto-context=entry-function=linear_transform %s \| FileCheck %s`
	`1`	`+// RUN: keymemrt-opt --openfhe-configure-crypto-context=entry-function=linear_transform %s \| FileCheck %s`
`2`	`2`
`3`	`3`	`// This test uses the output of BSGS decomposition directly to verify that`
`4`	`4`	`// ConfigureCryptoContext can find all rotation indices from dynamic rotation keys.`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-// RUN: heir-opt --kmrt-key-prefetching="prefetch-threshold=30" %s \| FileCheck %s`
	`1`	`+// RUN: keymemrt-opt --kmrt-key-prefetching="prefetch-threshold=30" %s \| FileCheck %s`
`2`	`2`
`3`	`3`	`!Z536903681_i64 = !mod_arith.int<536903681 : i64>`
`4`	`4`	`!Z66813953_i64 = !mod_arith.int<66813953 : i64>`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-// RUN: heir-opt --kmrt-merge-rotation-keys %s \| FileCheck %s`
	`1`	`+// RUN: keymemrt-opt --kmrt-merge-rotation-keys %s \| FileCheck %s`
`2`	`2`
`3`	`3`	`!Z536903681_i64 = !mod_arith.int<536903681 : i64>`
`4`	`4`	`!Z66813953_i64 = !mod_arith.int<66813953 : i64>`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-// RUN: heir-opt --bootstrap-rotation-analysis --kmrt-merge-rotation-keys %s \| FileCheck %s`
	`1`	`+// RUN: keymemrt-opt --bootstrap-rotation-analysis --kmrt-merge-rotation-keys %s \| FileCheck %s`
`2`	`2`
`3`	`3`	`!Z1095233372161_i64 = !mod_arith.int<1095233372161 : i64>`
`4`	`4`	`!Z65537_i64 = !mod_arith.int<65537 : i64>`