[M3commit] [modula3/cm3] 48584a: Document a peculiarity in CM3 IR that reflects cal...
noreply at github.com
Sun Nov 5 02:46:32 CET 2017
Author: Rodney Bates <rodney.m.bates at acm.org>
Date: 2017-11-04 (Sat, 04 Nov 2017)
Document a peculiarity in CM3 IR that reflects call-site copy.
For parameters of struct types, (which could be any static sized
in-memory aggregate, but used only for records and arrays), only the
call site has IR operators that indicate that a copy should be made,
thus effectively passing by value. There is no IR indication of
by-value passing at procedure entry, making it easy for a back end to
do call site copy and, at best, subtle to do it at procedure entry.
Document this is M3CG_Ops.i3.
More information about the M3commit