mirror of https://github.com/llvm/circt.git
[Handshake] Only enable integration test with Vivado.
These were having issues with Quests. Tested with Vivado v2020.2.
This commit is contained in:
parent
238e8da2c7
commit
18bf7f2cfe
|
@ -1,8 +1,8 @@
|
|||
// REQUIRES: ieee-sim
|
||||
// REQUIRES: vivado
|
||||
// RUN: circt-opt %s --create-dataflow --simple-canonicalizer --cse --handshake-insert-buffer=strategies=all > %loop-handshake.mlir
|
||||
// RUN: circt-opt %loop-handshake.mlir --lower-handshake-to-firrtl --firrtl-lower-types --firrtl-imconstprop --lower-firrtl-to-rtl --rtl-cleanup --simple-canonicalizer --cse --rtl-legalize-names > %loop-rtl.mlir
|
||||
// RUN: circt-translate %loop-rtl.mlir --export-verilog > %loop-export.sv
|
||||
// RUN: circt-rtl-sim.py %loop-export.sv %S/driver.sv --sim %ieee-sim --no-default-driver --top driver | FileCheck %s
|
||||
// RUN: circt-rtl-sim.py %loop-export.sv %S/driver.sv --sim %xsim% --no-default-driver --top driver | FileCheck %s
|
||||
// CHECK: Result={{.*}}42
|
||||
|
||||
module {
|
||||
|
|
|
@ -1,8 +1,8 @@
|
|||
// REQUIRES: ieee-sim
|
||||
// REQUIRES: vivado
|
||||
// RUN: circt-opt %s --create-dataflow --simple-canonicalizer --cse --handshake-insert-buffer > %mac-handshake.mlir
|
||||
// RUN: circt-opt %mac-handshake.mlir --lower-handshake-to-firrtl --firrtl-lower-types --firrtl-imconstprop --lower-firrtl-to-rtl --rtl-memory-sim --rtl-cleanup --simple-canonicalizer --cse --rtl-legalize-names > %mac-rtl.mlir
|
||||
// RUN: circt-translate %mac-rtl.mlir --export-verilog > %mac-export.sv
|
||||
// RUN: circt-rtl-sim.py %mac-export.sv %S/driver.sv --sim %ieee-sim --no-default-driver --top driver | FileCheck %s
|
||||
// RUN: circt-rtl-sim.py %mac-export.sv %S/driver.sv --sim %xsim% --no-default-driver --top driver | FileCheck %s
|
||||
// CHECK: Result={{.*}}912
|
||||
|
||||
module {
|
||||
|
|
|
@ -1,8 +1,8 @@
|
|||
// REQUIRES: ieee-sim
|
||||
// REQUIRES: vivado
|
||||
// RUN: circt-opt %s --create-dataflow --simple-canonicalizer --cse --handshake-insert-buffer > %memory-handshake.mlir
|
||||
// RUN: circt-opt %memory-handshake.mlir --lower-handshake-to-firrtl --firrtl-lower-types --firrtl-imconstprop --lower-firrtl-to-rtl --rtl-memory-sim --rtl-cleanup --simple-canonicalizer --cse --rtl-legalize-names > %memory-rtl.mlir
|
||||
// RUN: circt-translate %memory-rtl.mlir --export-verilog > %memory-export.sv
|
||||
// RUN: circt-rtl-sim.py %memory-export.sv %S/driver.sv --sim %ieee-sim --no-default-driver --top driver | FileCheck %s
|
||||
// RUN: circt-rtl-sim.py %memory-export.sv %S/driver.sv --sim %xsim% --no-default-driver --top driver | FileCheck %s
|
||||
// CHECK: Result={{.*}}34
|
||||
|
||||
module {
|
||||
|
|
Loading…
Reference in New Issue