Finch Logic (High-Level IR)

immediate(val)

Logical AST expression for the literal value val.

deferred(ex, [type])

Logical AST expression for an expression ex of type type, yet to be evaluated.

field(name)

Logical AST expression for an field named name.

alias(name)

Logical AST expression for an alias named name.

table(tns, idxs...)

Logical AST expression for a tensor object tns, indexed by fields idxs....

mapjoin(op, args...)

Logical AST expression for mapping the function op across args.... The order of fields in the mapjoin is unique(vcat(map(getfields, args)...))

aggregate(op, init, arg, idxs...)

Logical AST statement that reduces arg using op, starting with init. idxs are the dimensions to reduce. May happen in any order.

reorder(arg, idxs...)

Logical AST statement that reorders the dimensions of arg to be idxs.... Dimensions known to be length 1 may be dropped. Dimensions that do not exist in arg may be added. Dimensions added in this way are known as "extruded" dimensions. These dimensions have length 1, but may be broadcasted along dimensions which are not 1 in a mapjoin.

relabel(arg, idxs...)

Logical AST statement that relabels the dimensions of arg to be idxs...

reformat(tns, arg)

Logical AST statement that reformats arg into the tensor tns.

subquery(lhs, arg)

Logical AST statement that evaluates arg, binding the result to lhs, and returns arg.

query(lhs, rhs)

Logical AST statement that evaluates rhs, binding the result to lhs.

produces(args...)

Logical AST statement that returns args... from the current plan. Halts execution of the program.

plan(bodies...)

Logical AST statement that executes a sequence of statements bodies....

LogicNode

A Finch Logic IR node. Finch uses a variant of Concrete Field Notation as an intermediate representation.

The LogicNode struct represents many different Finch IR nodes. The nodes are differentiated by a FinchLogic.LogicNodeKind enum.

logic_leaf(x)

Return a terminal finch node wrapper around x. A convenience function to determine whether x should be understood by default as a immediate or value.

isimmediate(node)

Returns true if the node is a finch immediate

isdeferred(node)

Returns true if the node is a finch immediate

isalias(node)

Returns true if the node is a finch alias

isfield(node)

Returns true if the node is a finch field