- env : Environment
- modName : Name
- jpMap : JPParamsMap
- mainFn : FunId
Instances For
def
Lean.IR.EmitC.emitExternCall
(f : FunId)
(ps : Array Param)
(extData : ExternAttrData)
(ys : Array Arg)
:
Equations
Instances For
Given [p_0, ..., p_{n-1}]
, [y_0, ..., y_{n-1}]
, representing the assignments
p_0 := y_0,
...
p_{n-1} := y_{n-1}
Return true iff we have (i, j)
where j > i
, and y_j == p_i
.
That is, we have
p_i := y_i,
...
p_j := p_i, -- p_i was overwritten above
Equations
Instances For
@[export lean_ir_emit_c]