diff --git a/integration_test/Dialect/SMT/basic.mlir b/integration_test/Dialect/SMT/basic.mlir index 496e09e4ec3c..96fad9464918 100644 --- a/integration_test/Dialect/SMT/basic.mlir +++ b/integration_test/Dialect/SMT/basic.mlir @@ -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 diff --git a/integration_test/lit.cfg.py b/integration_test/lit.cfg.py index e1500df039b4..7b4cae00964a 100644 --- a/integration_test/lit.cfg.py +++ b/integration_test/lit.cfg.py @@ -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: