Skip to content

Commit

Permalink
More mlir-cpu-runner to mlir-runner.
Browse files Browse the repository at this point in the history
  • Loading branch information
mikeurbach committed Feb 12, 2025
1 parent f6559a2 commit b6e1f34
Show file tree
Hide file tree
Showing 2 changed files with 6 additions and 6 deletions.
6 changes: 3 additions & 3 deletions integration_test/Dialect/SMT/basic.mlir
Original file line number Diff line number Diff line change
@@ -1,13 +1,13 @@
// RUN: circt-opt %s --lower-smt-to-z3-llvm --canonicalize | \
// RUN: mlir-cpu-runner -e entry -entry-point-result=void --shared-libs=%libz3 | \
// RUN: mlir-runner -e entry -entry-point-result=void --shared-libs=%libz3 | \
// RUN: FileCheck %s

// RUN: circt-opt %s --lower-smt-to-z3-llvm=debug=true --canonicalize | \
// RUN: mlir-cpu-runner -e entry -entry-point-result=void --shared-libs=%libz3 | \
// RUN: mlir-runner -e entry -entry-point-result=void --shared-libs=%libz3 | \
// RUN: FileCheck %s

// REQUIRES: libz3
// REQUIRES: mlir-cpu-runner
// REQUIRES: mlir-runner

func.func @entry() {
%false = llvm.mlir.constant(0 : i1) : i1
Expand Down
6 changes: 3 additions & 3 deletions integration_test/lit.cfg.py
Original file line number Diff line number Diff line change
Expand Up @@ -217,12 +217,12 @@
tools.append(ToolSubst(f"%libz3", config.z3_library))
config.available_features.add('libz3')

# Add mlir-cpu-runner if the execution engine is built.
# Add mlir-runner if the execution engine is built.
if config.mlir_enable_execution_engine:
config.available_features.add('mlir-cpu-runner')
config.available_features.add('mlir-runner')
config.available_features.add('circt-lec-jit')
config.available_features.add('circt-bmc-jit')
tools.append('mlir-cpu-runner')
tools.append('mlir-runner')

# Add circt-verilog if the Slang frontend is enabled.
if config.slang_frontend_enabled:
Expand Down

0 comments on commit b6e1f34

Please sign in to comment.