p14

type BitInsn ¶

type BitInsn struct {
	// contains filtered or unexported fields
}

type BitMemory ¶

type BitMemory interface {
	Write(address uint64, value uint64, setMask uint64, clrMask uint64)
	Sum() uint64
	Addresses() uint64
}

type BitSystem ¶

type BitSystem struct {
	// contains filtered or unexported fields
}

Bit system.

Can execute simple instructions such as INSN_WRITE and INSN_MASK. The backing Memory decides what to do with the current mask on writes.

func NewBitSystem(memory interface{ BitMemory }) *BitSystem

func (s *BitSystem) Exec(insn *BitInsn) error

func (s *BitSystem) ExecAll(insns []BitInsn) error

func (s *BitSystem) MemorySum() uint64

func (s *BitSystem) SetMask(setMask uint64, clrMask uint64)

func (s *BitSystem) Write(address uint64, value uint64)

type FlatMemory ¶

type FlatMemory struct {
	// contains filtered or unexported fields
}

Flat sparse memory.

Writes will mask the value being written.

func NewFlatMemory() *FlatMemory

func (m *FlatMemory) Addresses() uint64

func (m *FlatMemory) Sum() uint64

func (m *FlatMemory) Write(addr uint64, value uint64, set uint64, clr uint64)

type FloatMemory ¶

type FloatMemory struct {
	// contains filtered or unexported fields
}

Floating-address sparse memory.

Writes will mask the address, potentially causing writes to many addresses. The don't-care bits cause the address to assume all possible combinations.

func NewFloatMemory(maskWidth int) *FloatMemory

func (m *FloatMemory) Addresses() uint64

func (m *FloatMemory) Sum() uint64

func (m *FloatMemory) Write(addr uint64, value uint64, set uint64, clr uint64)