diff options
| author | Albert Chen | 2020-05-18 10:47:41 -0700 |
|---|---|---|
| committer | GitHub | 2020-05-18 17:47:41 +0000 |
| commit | 87d3f8200ab7e05e07bdf36fa518219b8bd08513 (patch) | |
| tree | 3411ed2a52788d9f3a17bb92e367bef8c71e8f86 /src/test/scala/firrtlTests/IntegrationSpec.scala | |
| parent | 1cf446ce675208e739bf7b2b06f69cee7784ad52 (diff) | |
Fix equivalence tests (#853)
* - modify firrtlEquivalenceTest to use yosys equiv_simple/equiv_induct instead of miter
- add RemoveValidIf pass to MinimumLowFirrtlOptimization
* add EquivalenceTest to FirrtlSpec.scala, make classes in IntegrationSpec.scala abstract
* change types of inputForm/outputForm to CircuitForm
* change EquivalenceTest message
* remove ICache equivalence tests
* fix rebase errors
* Add Ops scalatests to LEC suite
* Only run compiler-path-comparison LEC tests on Ops design
* Fixup issues with merge
Co-authored-by: Albert Magyar <albert.magyar@gmail.com>
Diffstat (limited to 'src/test/scala/firrtlTests/IntegrationSpec.scala')
| -rw-r--r-- | src/test/scala/firrtlTests/IntegrationSpec.scala | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/test/scala/firrtlTests/IntegrationSpec.scala b/src/test/scala/firrtlTests/IntegrationSpec.scala index 352a5e52..b399923f 100644 --- a/src/test/scala/firrtlTests/IntegrationSpec.scala +++ b/src/test/scala/firrtlTests/IntegrationSpec.scala @@ -52,3 +52,17 @@ class RocketCoreCompilationTest extends CompilationTest("RocketCore", "/regress" class ICacheCompilationTest extends CompilationTest("ICache", "/regress") class FPUCompilationTest extends CompilationTest("FPU", "/regress") class HwachaSequencerCompilationTest extends CompilationTest("HwachaSequencer", "/regress") + +abstract class CommonSubexprEliminationEquivTest(name: String, dir: String) extends + EquivalenceTest(Seq(firrtl.passes.CommonSubexpressionElimination), name, dir) +abstract class DeadCodeEliminationEquivTest(name: String, dir: String) extends + EquivalenceTest(Seq(new firrtl.transforms.DeadCodeElimination), name, dir) +abstract class ConstantPropagationEquivTest(name: String, dir: String) extends + EquivalenceTest(Seq(new firrtl.transforms.ConstantPropagation), name, dir) +abstract class LowFirrtlOptimizationEquivTest(name: String, dir: String) extends + EquivalenceTest(Seq(new LowFirrtlOptimization), name, dir) + +class OpsCommonSubexprEliminationTest extends CommonSubexprEliminationEquivTest("Ops", "/regress") +class OpsDeadCodeEliminationTest extends DeadCodeEliminationEquivTest("Ops", "/regress") +class OpsConstantPropagationTest extends ConstantPropagationEquivTest("Ops", "/regress") +class OpsLowFirrtlOptimizationTest extends LowFirrtlOptimizationEquivTest("Ops", "/regress") |