meheff
meheff
Related issue: https://github.com/google/xls/issues/733 I'm guessing this issue can be fixed by putting ir_text into an anonymous namespace.
Channel queues in the jit and interpreter now all derive from the same base class and support this feature.
We do support this operation in the IR so it just needs to be added to the DSLX frontend.
Great writeup! I agree this is something we need. I think initially we could support this with annotations on a channel indicating that the channel is single-value and just use...
I think this might be gated on #869 which will represent the hierarchy properly in the IR.
Without solving the halting problem, one relatively easy case to catch would be: no data sent on channels, all procs blocked or iterating without changing state.
One complexity here is that we ideally want identical test behavior at each level which will take a lot of work. The biggest problem is likely that the DSLX type...
Not exactly a fix for this particular bug, but we should probably switch to a default format of hex rather than decimal for these messages.
I like the idea. About channel declarations being nodes, I don't think it makes sense for them to be actual xls::Nodes, rather they could be a proc-scoped construct similar to...
Spit balling a possible syntax: ``` proc foo(tok: token, state: State) { ... } proc bar(tok: token, state: State) { // Declare proc-scoped channels and spawning of other procs. chan...