public abstract class RiscvBranchDataGenerator
extends ru.ispras.microtesk.test.engine.branch.BranchDataGenerator
RiscvBranchDataGenerator
is a base class for the RISC-V branch instructions' generators.Constructor and Description |
---|
RiscvBranchDataGenerator() |
Modifier and Type | Method and Description |
---|---|
protected static long |
distinctValue(long x) |
protected static ru.ispras.testbase.knowledge.iterator.Iterator<ru.ispras.testbase.TestData> |
generate(ru.ispras.testbase.TestBaseQuery query,
long rs) |
protected static ru.ispras.testbase.knowledge.iterator.Iterator<ru.ispras.testbase.TestData> |
generate(ru.ispras.testbase.TestBaseQuery query,
long rs,
long rt) |
protected static ru.ispras.fortress.util.Pair<java.lang.Long,java.lang.Long> |
generateDistinct(java.lang.Long rs1,
java.lang.Long rs2) |
protected static java.lang.Long |
generateEqual(java.lang.Long rs1,
java.lang.Long rs2) |
protected static java.lang.Long |
getValue(java.lang.String name,
ru.ispras.testbase.TestBaseQuery query) |
protected static ru.ispras.fortress.data.types.bitvector.BitVector |
getValueAsBitVector(java.lang.String name,
ru.ispras.testbase.TestBaseQuery query) |
protected static long |
negativeValue() |
protected static long |
nonNegativeValue() |
protected static long |
nonPositiveValue() |
protected static long |
positiveValue() |
protected static long positiveValue()
protected static long negativeValue()
protected static long nonPositiveValue()
protected static long nonNegativeValue()
protected static java.lang.Long generateEqual(java.lang.Long rs1, java.lang.Long rs2)
protected static ru.ispras.fortress.util.Pair<java.lang.Long,java.lang.Long> generateDistinct(java.lang.Long rs1, java.lang.Long rs2)
protected static long distinctValue(long x)
protected static ru.ispras.testbase.knowledge.iterator.Iterator<ru.ispras.testbase.TestData> generate(ru.ispras.testbase.TestBaseQuery query, long rs)
protected static java.lang.Long getValue(java.lang.String name, ru.ispras.testbase.TestBaseQuery query)
protected static ru.ispras.fortress.data.types.bitvector.BitVector getValueAsBitVector(java.lang.String name, ru.ispras.testbase.TestBaseQuery query)
protected static ru.ispras.testbase.knowledge.iterator.Iterator<ru.ispras.testbase.TestData> generate(ru.ispras.testbase.TestBaseQuery query, long rs, long rt)