silt icon indicating copy to clipboard operation
silt copied to clipboard

Point References to Top-Level Continuations to the first BB-Like Continuation

Open CodaFi opened this issue 7 years ago • 0 comments

The GIR Parser currently requires the entry block be named the same as the function, but the GIRWriter renumbers it as bb0 anyways. While parsing, references to the function name should just point at the top-level continuation.

@foo : A -> B -> C -> ... -> _ {
bb0(%0 : A ; %1 : B ; %2 : C ; ... ; %return : (Z -> _)):
 -- etc.

bbN:
  %k = function_ref @foo -- points to bb0
}

CodaFi avatar Mar 05 '18 04:03 CodaFi