First pass at lowering stuff to an untyped CFG. Very raw.

Yeah, just is really the right name there.

On Mon Nov 10 2014 at 3:01:29 AM Nelson Elhage <notifications@github.com>
wrote:

> In bagel/cfg.py:
>
> > +
> > +# enum type Value:
> > +#     case LocalVariable(name: Text)
> > +#     case GlobalName(name: Text)
> > +#     case ConstantInt(value: Int)
> > +
> > +
> > +# class type Instruction:
> > +#     op: Opcode
> > +#     arguments: List[Value]
> > +#     result: Option[Value]
> > +
> > +
> > +# enum type ExitCondition:
> > +#     case ReturnValue(Option[Value])
> > +#     case Fallthrough(Block)
>
> Should this be "fallthrough" or "jump"? I'd imagine you want to be able to
> have unconditional backwards edges, especially post-optimization, so I'd be
> inclined to make this a general "jump" or "branch"
>
> —
> Reply to this email directly or view it on GitHub
> <https://github.com/alex/bagel/pull/69/files#r20133376>.
>