2021-08-12 21:07:06 +03:00
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
< html >
< head >
< title > C Namespace< / title >
< link href = "../docs-assets/Breadcrumbs.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
< meta name = "viewport" content = "width=device-width initial-scale=1" >
< meta http-equiv = "Content-Type" content = "text/html; charset=utf-8" >
< meta http-equiv = "Content-Language" content = "en-gb" >
< link href = "../docs-assets/Contents.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
< link href = "../docs-assets/Progress.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
< link href = "../docs-assets/Navigation.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
< link href = "../docs-assets/Fonts.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
< link href = "../docs-assets/Base.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
< script >
function togglePopup(material_id) {
var popup = document.getElementById(material_id);
popup.classList.toggle("show");
}
< / script >
< link href = "../docs-assets/Popups.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
< link href = "../docs-assets/Colours.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
< / head >
< body class = "commentary-font" >
< nav role = "navigation" >
< h1 > < a href = "../index.html" >
< img src = "../docs-assets/Inform.png" height = 72" >
< / a > < / h1 >
2022-04-04 20:31:44 +03:00
< ul > < li > < a href = "../index.html" > home< / a > < / li >
< / ul > < h2 > Compiler< / h2 > < ul >
< li > < a href = "../structure.html" > structure< / a > < / li >
< li > < a href = "../inbuildn.html" > inbuild< / a > < / li >
< li > < a href = "../inform7n.html" > inform7< / a > < / li >
< li > < a href = "../intern.html" > inter< / a > < / li >
< li > < a href = "../services.html" > services< / a > < / li >
< / ul > < h2 > Other Tools< / h2 > < ul >
< li > < a href = "../inblorbn.html" > inblorb< / a > < / li >
< li > < a href = "../indocn.html" > indoc< / a > < / li >
< li > < a href = "../inform6.html" > inform6< / a > < / li >
< li > < a href = "../inpolicyn.html" > inpolicy< / a > < / li >
< li > < a href = "../inrtpsn.html" > inrtps< / a > < / li >
2022-04-09 12:16:11 +03:00
< / ul > < h2 > Resources< / h2 > < ul >
< li > < a href = "../extensions.html" > extensions< / a > < / li >
< li > < a href = "../kits.html" > kits< / a > < / li >
2022-04-04 20:31:44 +03:00
< / ul > < h2 > Repository< / h2 > < ul >
< li > < a href = "https://github.com/ganelson/inform" > < img src = "../docs-assets/github.png" height = 18 > github< / a > < / li >
< / ul > < h2 > Related Projects< / h2 > < ul >
< li > < a href = "../../../inweb/docs/index.html" > inweb< / a > < / li >
< li > < a href = "../../../intest/docs/index.html" > intest< / a > < / li >
2021-08-12 21:07:06 +03:00
< / ul >
< / nav >
< main role = "main" >
<!-- Weave of 'C Namespace' generated by Inweb -->
< div class = "breadcrumbs" >
2022-04-04 20:31:44 +03:00
< ul class = "crumbs" > < li > < a href = "../index.html" > Home< / a > < / li > < li > < a href = "../intern.html" > Inter Modules< / a > < / li > < li > < a href = "index.html" > final< / a > < / li > < li > < a href = "index.html#5" > Chapter 5: C< / a > < / li > < li > < b > C Namespace< / b > < / li > < / ul > < / div >
2021-08-12 21:07:06 +03:00
< p class = "purpose" > How identifiers are used in the C code we generate.< / p >
< p class = "commentary firstcommentary" > < a id = "SP1" class = "paragraph-anchor" > < / a > < b > § 1. < / b > < / p >
< pre class = "displayed-code all-displayed-code code-font" >
2021-11-12 01:32:10 +02:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > CNamespace::initialise< / span > < button class = "popup" onclick = "togglePopup('usagePopup1')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup1" > Usage of < span class = "code-font" > < span class = "function-syntax" > CNamespace::initialise< / span > < / span > :< br / > Final C - < a href = "5-fnc.html#SP1" > § 1< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > code_generator< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > gtr< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > METHOD_ADD< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > gtr< / span > < span class = "plain-syntax" > , < / span > < span class = "constant-syntax" > MANGLE_IDENTIFIER_MTID< / span > < span class = "plain-syntax" > , < / span > < a href = "5-cnm.html#SP3" class = "function-link" > < span class = "function-syntax" > CNamespace::mangle< / span > < / a > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > METHOD_ADD< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > gtr< / span > < span class = "plain-syntax" > , < / span > < span class = "constant-syntax" > DECLARE_CONSTANT_MTID< / span > < span class = "plain-syntax" > , < / span > < a href = "5-cnm.html#SP7" class = "function-link" > < span class = "function-syntax" > CNamespace::declare_constant< / span > < / a > < span class = "plain-syntax" > );< / span >
2021-08-12 21:07:06 +03:00
< span class = "plain-syntax" > }< / span >
2021-10-25 02:03:03 +03:00
< / pre >
< p class = "commentary firstcommentary" > < a id = "SP2" class = "paragraph-anchor" > < / a > < b > § 2. < / b > A fundamental decision we have to make here is what namespace of identifiers
we will use in the code we generate. If an Inter function is called < span class = "extract" > < span class = "extract-syntax" > example< / span > < / span > ,
we are going to need to compile that to some C function: what should this be
called?
< / p >
< p class = "commentary" > It seems unwise to call it just < span class = "extract" > < span class = "extract-syntax" > example< / span > < / span > , that is, to compile Inter identifiers
directly into C ones. What if the Inter code used the identifier < span class = "extract" > < span class = "extract-syntax" > printf< / span > < / span > for
something, for example, or indeed the identifiers < span class = "extract" > < span class = "extract-syntax" > struct< / span > < / span > or < span class = "extract" > < span class = "extract-syntax" > unsigned< / span > < / span > ? Moreover,
unlike the Inform 6 generator, this one is expecting the compile code which will
only be part of a larger program. We want to avoid hogging the entire namespace;
in fact, we want our code to use only names beginning < span class = "extract" > < span class = "extract-syntax" > i7_< / span > < / span > or < span class = "extract" > < span class = "extract-syntax" > glulx_< / span > < / span > , with
the single exception of < span class = "extract" > < span class = "extract-syntax" > main< / span > < / span > , and even that only when < span class = "extract" > < span class = "extract-syntax" > main< / span > < / span > is compiled.
< / p >
2021-08-12 21:07:06 +03:00
2021-10-25 02:03:03 +03:00
< p class = "commentary firstcommentary" > < a id = "SP3" class = "paragraph-anchor" > < / a > < b > § 3. < / b > To that end, we "mangle" identifier names, and this is how. Examples:
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "plain-syntax" > example i7_mgl_example< / span >
< span class = "plain-syntax" > ##Attack i7_ss_Attack< / span >
< span class = "plain-syntax" > #g$self i7_ss_gself< / span >
< / pre >
< p class = "commentary" > This is not quite a faithful scheme because, say, < span class = "extract" > < span class = "extract-syntax" > #a#a< / span > < / span > and < span class = "extract" > < span class = "extract-syntax" > #aa< / span > < / span > both mangle
to the same result, < span class = "extract" > < span class = "extract-syntax" > i7_ss_aa< / span > < / span > . But < span class = "extract" > < span class = "extract-syntax" > #< / span > < / span > and < span class = "extract" > < span class = "extract-syntax" > $< / span > < / span > characters are used extremely
sparingly in Inter, and these can never arise.
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
2022-03-03 13:05:03 +02:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > CNamespace::mangle< / span > < button class = "popup" onclick = "togglePopup('usagePopup2')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup2" > Usage of < span class = "code-font" > < span class = "function-syntax" > CNamespace::mangle< / span > < / span > :< br / > < a href = "5-cnm.html#SP1" > § 1< / a > , < a href = "5-cnm.html#SP7" > § 7< / a > < br / > C Memory Model - < a href = "5-cmm.html#SP4_2_2" > § 4.2.2< / a > , < a href = "5-cmm.html#SP4_2_3" > § 4.2.3< / a > , < a href = "5-cmm.html#SP6" > § 6< / a > < br / > C Literals - < a href = "5-clt.html#SP8" > § 8< / a > , < a href = "5-clt.html#SP10" > § 10< / a > < br / > C Function Model - < a href = "5-cfm.html#SP4" > § 4< / a > , < a href = "5-cfm.html#SP6" > § 6< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > code_generator< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > gtr< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > OUTPUT_STREAM< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > text_stream< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > identifier< / span > < span class = "plain-syntax" > ) {< / span >
2021-10-25 02:03:03 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Str::get_first_char< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > identifier< / span > < span class = "plain-syntax" > ) == < / span > < span class = "character-syntax" > '#'< / span > < span class = "plain-syntax" > ) {< / span >
2021-08-22 16:13:10 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "i7_ss_"< / span > < span class = "plain-syntax" > );< / span >
2021-08-12 21:07:06 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOOP_THROUGH_TEXT< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > pos< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > identifier< / span > < span class = "plain-syntax" > )< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > Str::get< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > pos< / span > < span class = "plain-syntax" > ) != < / span > < span class = "character-syntax" > '#'< / span > < span class = "plain-syntax" > ) & & (< / span > < span class = "identifier-syntax" > Str::get< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > pos< / span > < span class = "plain-syntax" > ) != < / span > < span class = "character-syntax" > '$'< / span > < span class = "plain-syntax" > ))< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Str::get< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > pos< / span > < span class = "plain-syntax" > ));< / span >
< span class = "plain-syntax" > } < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "i7_mgl_%S"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > identifier< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > }< / span >
2021-11-12 11:51:46 +02:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > CNamespace::mangle_with< / span > < button class = "popup" onclick = "togglePopup('usagePopup3')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup3" > Usage of < span class = "code-font" > < span class = "function-syntax" > CNamespace::mangle_with< / span > < / span > :< br / > C Function Model - < a href = "5-cfm.html#SP3" > § 3< / a > , < a href = "5-cfm.html#SP7" > § 7< / a > , < a href = "5-cfm.html#SP13" > § 13< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > code_generator< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > gtr< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > OUTPUT_STREAM< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > text_stream< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > identifier< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > text_stream< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > modifier< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "i7_%S_%S"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > modifier< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > identifier< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > }< / span >
2021-10-25 02:03:03 +03:00
< / pre >
< p class = "commentary firstcommentary" > < a id = "SP4" class = "paragraph-anchor" > < / a > < b > § 4. < / b > Opcode names are also mangled. Each assembly language opcode will use a
corresponding C function, whose name is mangled from that of the opcode. For
example:
< / p >
2021-08-12 21:07:06 +03:00
2021-10-25 02:03:03 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2021-10-30 15:04:16 +03:00
< span class = "plain-syntax" > @jz i7_opcode_jz< / span >
< span class = "plain-syntax" > @streamnum i7_opcode_streamnum< / span >
2021-10-25 02:03:03 +03:00
< / pre >
< pre class = "displayed-code all-displayed-code code-font" >
2021-11-12 11:51:46 +02:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > CNamespace::mangle_opcode< / span > < button class = "popup" onclick = "togglePopup('usagePopup4')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup4" > Usage of < span class = "code-font" > < span class = "function-syntax" > CNamespace::mangle_opcode< / span > < / span > :< br / > C Assembly - < a href = "5-cas.html#SP5_2" > § 5.2< / a > , < a href = "5-cas.html#SP6_3" > § 6.3< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUTPUT_STREAM< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > text_stream< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > opcode< / span > < span class = "plain-syntax" > ) {< / span >
2021-10-30 15:04:16 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "i7_opcode_"< / span > < span class = "plain-syntax" > );< / span >
2021-08-12 21:07:06 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOOP_THROUGH_TEXT< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > pos< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > opcode< / span > < span class = "plain-syntax" > )< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Str::get< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > pos< / span > < span class = "plain-syntax" > ) != < / span > < span class = "character-syntax" > '@'< / span > < span class = "plain-syntax" > )< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Str::get< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > pos< / span > < span class = "plain-syntax" > ));< / span >
< span class = "plain-syntax" > }< / span >
< / pre >
2021-10-25 23:44:15 +03:00
< p class = "commentary firstcommentary" > < a id = "SP5" class = "paragraph-anchor" > < / a > < b > § 5. < / b > Global variable names are similarly mangled:
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "plain-syntax" > howmayyou i7_var_howmayyou< / span >
< / pre >
< pre class = "displayed-code all-displayed-code code-font" >
2021-11-12 11:51:46 +02:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > CNamespace::mangle_variable< / span > < button class = "popup" onclick = "togglePopup('usagePopup5')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup5" > Usage of < span class = "code-font" > < span class = "function-syntax" > CNamespace::mangle_variable< / span > < / span > :< br / > C Global Variables - < a href = "5-cgv.html#SP3_1" > § 3.1< / a > , < a href = "5-cgv.html#SP3_2" > § 3.2< / a > , < a href = "5-cgv.html#SP5" > § 5< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUTPUT_STREAM< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > text_stream< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > var< / span > < span class = "plain-syntax" > ) {< / span >
2021-10-25 23:44:15 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "i7_var_%S"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > var< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > }< / span >
< / pre >
< p class = "commentary firstcommentary" > < a id = "SP6" class = "paragraph-anchor" > < / a > < b > § 6. < / b > Local variable names have to be handled slightly differently. This is because
2021-10-25 02:03:03 +03:00
Inter frequently makes use of local variables whose identifiers are also used
for some global construct. Of course, C also allows for this: for example —
< / p >
2021-08-12 21:07:06 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2021-10-25 02:03:03 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > xerxes< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 1< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > govern_Sophene< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > xerxes< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 2< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > printf< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "%d\n"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > xerxes< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > }< / span >
< / pre >
< p class = "commentary" > ...is legal, and prints 2 when the function is called. So at first sight, there's
no problem giving a local variable the same name as some global construct.
< / p >
< p class = "commentary" > But that does not work if the global definition is made by the C preprocessor
rather than its syntax analyser. Consider:
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "plain-syntax" > #< / span > < span class = "identifier-syntax" > define< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > xerxes< / span > < span class = "plain-syntax" > < / span > < span class = "constant-syntax" > 1< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > govern_Sophene< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > xerxes< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 2< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > printf< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "%d\n"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > xerxes< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > }< / span >
< / pre >
< p class = "commentary" > This throws an error message: < span class = "extract" > < span class = "extract-syntax" > int xerxes = 2;< / span > < / span > then reads as < span class = "extract" > < span class = "extract-syntax" > int 1 = 2;< / span > < / span > . And
since some of our Inter constructs will indeed result in < span class = "extract" > < span class = "extract-syntax" > #define< / span > < / span > d values
rather than named C variables, we cannot allow a local variable name to coincide
with the name of anything else (after mangling).
< / p >
< p class = "commentary" > We avoid this by changing the pre-mangled identifiers for all local variables
to begin with < span class = "extract" > < span class = "extract-syntax" > local_< / span > < / span > :
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "plain-syntax" > original translation mangled translation< / span >
< span class = "plain-syntax" > "xerxes" "local_xerxes" "i7_mgl_local_xerxes"< / span >
< / pre >
< p class = "commentary" > This is not an elegant trick, but it works nicely enough.
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
2021-11-12 11:51:46 +02:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > CNamespace::fix_locals< / span > < button class = "popup" onclick = "togglePopup('usagePopup6')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup6" > Usage of < span class = "code-font" > < span class = "function-syntax" > CNamespace::fix_locals< / span > < / span > :< br / > Final C - < a href = "5-fnc.html#SP5" > § 5< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > code_generation< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > gen< / span > < span class = "plain-syntax" > ) {< / span >
2021-10-25 23:44:15 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > InterTree::traverse< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > gen< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > from< / span > < span class = "plain-syntax" > , < / span > < a href = "5-cnm.html#SP6" class = "function-link" > < span class = "function-syntax" > CNamespace::sweep_for_locals< / span > < / a > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > gen< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > LOCAL_IST< / span > < span class = "plain-syntax" > );< / span >
2021-08-12 21:07:06 +03:00
< span class = "plain-syntax" > }< / span >
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > CNamespace::sweep_for_locals< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > inter_tree< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > inter_tree_node< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > P< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > state< / span > < span class = "plain-syntax" > ) {< / span >
2022-03-13 13:28:33 +02:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > inter_symbol< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > var_name< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > LocalInstruction::variable< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > P< / span > < span class = "plain-syntax" > );< / span >
2021-08-12 21:07:06 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > TEMPORARY_TEXT< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > )< / span >
2022-02-14 01:44:50 +02:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE_TO< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "local_%S"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > InterSymbol::identifier< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > var_name< / span > < span class = "plain-syntax" > ));< / span >
2022-02-04 02:55:12 +02:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > InterSymbol::set_translate< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > var_name< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > );< / span >
2021-08-12 21:07:06 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > DISCARD_TEXT< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > )< / span >
< span class = "plain-syntax" > }< / span >
< / pre >
2021-10-25 23:44:15 +03:00
< p class = "commentary firstcommentary" > < a id = "SP7" class = "paragraph-anchor" > < / a > < b > § 7. < / b > Constants in Inter are indeed directly converted to < span class = "extract" > < span class = "extract-syntax" > #define< / span > < / span > d constants in C,
2021-10-26 01:59:20 +03:00
but with their names of course mangled.
< / p >
< p class = "commentary" > For the reason why < span class = "extract" > < span class = "extract-syntax" > Serial< / span > < / span > and < span class = "extract" > < span class = "extract-syntax" > Release< / span > < / span > are placed higher-up in the file, see
< a href = "5-cmm.html" class = "internal" > C Memory Model< / a > .
2021-10-25 02:03:03 +03:00
< / p >
2021-08-13 01:31:23 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2021-11-12 11:51:46 +02:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > CNamespace::declare_constant< / span > < button class = "popup" onclick = "togglePopup('usagePopup7')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup7" > Usage of < span class = "code-font" > < span class = "function-syntax" > CNamespace::declare_constant< / span > < / span > :< br / > < a href = "5-cnm.html#SP1" > § 1< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > code_generator< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > gtr< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > code_generation< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > gen< / span > < span class = "plain-syntax" > ,< / span >
2021-10-25 02:03:03 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > inter_symbol< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > const_s< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > form< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > text_stream< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > val< / span > < span class = "plain-syntax" > ) {< / span >
2022-02-04 02:55:12 +02:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > text_stream< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > name< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > InterSymbol::trans< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > const_s< / span > < span class = "plain-syntax" > );< / span >
2021-10-26 01:59:20 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > seg< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > c_constants_I7CGS< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Str::eq< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > name< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "Serial"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > seg< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > c_ids_and_maxima_I7CGS< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Str::eq< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > name< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "Release"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > seg< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > c_ids_and_maxima_I7CGS< / span > < span class = "plain-syntax" > ;< / span >
2022-02-08 13:37:44 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Str::eq< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > name< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "BASICINFORMKIT"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > seg< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > c_ids_and_maxima_I7CGS< / span > < span class = "plain-syntax" > ;< / span >
2022-03-20 15:41:13 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > segmentation_pos< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > saved< / span > < span class = "plain-syntax" > = < / span > < a href = "2-cg.html#SP12" class = "function-link" > < span class = "function-syntax" > CodeGen::select_layered< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > gen< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > seg< / span > < span class = "plain-syntax" > ,< / span >
2022-03-01 02:41:22 +02:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > ConstantInstruction::constant_depth< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > const_s< / span > < span class = "plain-syntax" > ));< / span >
2022-03-20 15:41:13 +02:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > text_stream< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > = < / span > < a href = "2-cg.html#SP14" class = "function-link" > < span class = "function-syntax" > CodeGen::current< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > gen< / span > < span class = "plain-syntax" > );< / span >
2021-08-13 01:31:23 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "#define "< / span > < span class = "plain-syntax" > );< / span >
2021-11-12 01:32:10 +02:00
< span class = "plain-syntax" > < / span > < a href = "5-cnm.html#SP3" class = "function-link" > < span class = "function-syntax" > CNamespace::mangle< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > gtr< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > name< / span > < span class = "plain-syntax" > );< / span >
2021-09-26 13:01:13 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > " "< / span > < span class = "plain-syntax" > );< / span >
2021-10-25 02:03:03 +03:00
< span class = "plain-syntax" > < / span > < a href = "2-vc.html#SP2" class = "function-link" > < span class = "function-syntax" > VanillaConstants::definition_value< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > gen< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > form< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > const_s< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > val< / span > < span class = "plain-syntax" > );< / span >
2021-08-13 01:31:23 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "\n"< / span > < span class = "plain-syntax" > );< / span >
2022-03-20 15:41:13 +02:00
< span class = "plain-syntax" > < / span > < a href = "2-cg.html#SP12" class = "function-link" > < span class = "function-syntax" > CodeGen::deselect< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > gen< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > saved< / span > < span class = "plain-syntax" > );< / span >
2021-08-13 01:31:23 +03:00
< span class = "plain-syntax" > }< / span >
< / pre >
2021-08-12 21:07:06 +03:00
< nav role = "progress" > < div class = "progresscontainer" >
2021-11-12 01:32:10 +02:00
< ul class = "progressbar" > < li class = "progressprev" > < a href = "5-fnc.html" > ❮ < / a > < / li > < li class = "progresschapter" > < a href = "P-wtmd.html" > P< / a > < / li > < li class = "progresschapter" > < a href = "1-fm.html" > 1< / a > < / li > < li class = "progresschapter" > < a href = "2-cg.html" > 2< / a > < / li > < li class = "progresschapter" > < a href = "3-fti.html" > 3< / a > < / li > < li class = "progresschapter" > < a href = "4-fi6.html" > 4< / a > < / li > < li class = "progresscurrentchapter" > 5< / li > < li class = "progresssection" > < a href = "5-fnc.html" > fnc< / a > < / li > < li class = "progresscurrent" > cnm< / li > < li class = "progresssection" > < a href = "5-crf.html" > crf< / a > < / li > < li class = "progresssection" > < a href = "5-cgv.html" > cgv< / a > < / li > < li class = "progresssection" > < a href = "5-cmm.html" > cmm< / a > < / li > < li class = "progresssection" > < a href = "5-cas.html" > cas< / a > < / li > < li class = "progresssection" > < a href = "5-car.html" > car< / a > < / li > < li class = "progresssection" > < a href = "5-cpc.html" > cpc< / a > < / li > < li class = "progresssection" > < a href = "5-ccn.html" > ccn< / a > < / li > < li class = "progresssection" > < a href = "5-clt.html" > clt< / a > < / li > < li class = "progresssection" > < a href = "5-com.html" > com< / a > < / li > < li class = "progresssection" > < a href = "5-cfm.html" > cfm< / a > < / li > < li class = "progresssection" > < a href = "5-cim.html" > cim< / a > < / li > < li class = "progresssection" > < a href = "5-cmn.html" > cmn< / a > < / li > < li class = "progresssection" > < a href = "5-cuf.html" > cuf< / a > < / li > < li class = "progressnext" > < a href = "5-crf.html" > ❯ < / a > < / li > < / ul > < / div >
2021-08-12 21:07:06 +03:00
< / nav > <!-- End of weave -->
< / main >
< / body >
< / html >