def mapToIR(self, ctx: EmitterContext):
def _mapToIRRec(cb: CondBlock):
cond = ctx.getRef(cb.when.cond)
[ctx.getRef(i) for i in cb.when.block]
conseq = low_ir.Block(ctx.getScopeStatements(cb.when.ownScope))
if len(cb.elsewhens) == 0:
if cb.otherwise is None:
alt = low_ir.EmptyStmt()
else:
[ctx.getRef(i) for i in cb.otherwise.block]
alt = low_ir.Block(
ctx.getScopeStatements(cb.otherwise.ownScope))
return low_ir.Conditionally(cond, conseq, alt)
else:
elif_ = cb.elsewhens[0]
a = When(elif_.cond, elif_.block)
a.ownScope = elif_.ownScope
ncb = CondBlock(a)
for i in cb.elsewhens[1:]:
ncb.withElsewhen(i)
ncb.withOtherwise(cb.otherwise)
alt = _mapToIRRec(ncb)
return low_ir.Conditionally(cond, conseq, alt)
stmt = _mapToIRRec(self)
ctx.appendFinalStatement(stmt, self.scopeId)
return stmt
def mapToIR(self, ctx: EmitterContext):
name = ctx.getName(self)
mtyp = self.typ.mapToIR(ctx)
defm = low_ir.DefMemory(name, mtyp)
ctx.appendFinalStatement(defm, self.scopeId)
ref = low_ir.Reference(name, mtyp)
ctx.updateRef(self, ref)
return ref
def mapToIR(self, ctx: EmitterContext):
typ = self.typ.mapToIR(ctx)
name = ctx.getName(self)
w = low_ir.DefRegister(name, typ, ctx.getClock())
ctx.appendFinalStatement(w, self.scopeId)
ref = low_ir.Reference(name, typ)
ctx.updateRef(self, ref)
return ref
def mapToIR(self, ctx: EmitterContext):
typ = ctx.getRef(self.typ)
name = ctx.getName(self)
w = low_ir.DefWire(name, typ)
ctx.appendFinalStatement(w, self.scopeId)
ref = low_ir.Reference(name, typ)
ctx.updateRef(self, ref)
return ref
def mapToIR(self, ctx: EmitterContext):
val = ctx.getRef(self.initValue)
name = ctx.getName(self)
w = low_ir.DefRegister(name, val.typ, ctx.getClock(), ctx.getReset(),
val)
ctx.appendFinalStatement(w, self.scopeId)
ref = low_ir.Reference(name, val.typ)
ctx.updateRef(self, ref)
return ref
def mapToIR(self, ctx: EmitterContext):
name = ctx.getName(self)
cond = ctx.getRef(self.cond)
conseq = ctx.getRef(self.conseq)
alt = ctx.getRef(self.alt)
m = low_ir.Mux(cond, conseq, alt, conseq.typ)
n = low_ir.DefNode(name, m)
ctx.appendFinalStatement(n, self.scopeId)
ref = low_ir.Reference(name, conseq.typ)
ctx.updateRef(self, ref)
return ref
def _primMap(ctx: EmitterContext, obj, op, args, consts, tranFormFunc):
if consts is None:
consts = []
# get items' reference and do checking
ars = [ctx.getRef(a) for a in args]
newArgs, typ = tranFormFunc(*ars)
e = low_ir.DoPrim(op, newArgs, consts, typ)
name = ctx.getName(obj)
node = low_ir.DefNode(name, e)
ctx.appendFinalStatement(node, obj.scopeId)
ref = low_ir.Reference(name, typ)
ctx.updateRef(obj, ref)
return ref
def mapToIR(self, ctx: EmitterContext):
# Define Wire
name = ctx.getName(self)
typ = self.typ.mapToIR(ctx)
wire = low_ir.DefWire(name, typ)
ctx.appendFinalStatement(wire, self.scopeId)
ref = low_ir.Reference(name, typ)
ctx.updateRef(self, ref)
# Connect Elements
for i, node in enumerate(self.lst):
for idx, elem in self.subIdxs(low_ir.SubIndex(ref, i, typ.typ),
node, ctx):
con = low_ir.Connect(idx, elem)
ctx.appendFinalStatement(con, self.scopeId)
return ref