1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
|
(* M2AsmUtil.mod provides utilities relating symbols in the SymbolTable.
Copyright (C) 2001-2025 Free Software Foundation, Inc.
Contributed by Gaius Mulley <gaius.mulley@southwales.ac.uk>.
This file is part of GNU Modula-2.
GNU Modula-2 is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 3, or (at your option)
any later version.
GNU Modula-2 is distributed in the hope that it will be useful, but
WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
General Public License for more details.
You should have received a copy of the GNU General Public License
along with GNU Modula-2; see the file COPYING3. If not see
<http://www.gnu.org/licenses/>. *)
IMPLEMENTATION MODULE M2AsmUtil ;
FROM SFIO IMPORT WriteS ;
FROM FIO IMPORT StdOut ;
FROM DynamicStrings IMPORT String, string, ConCat, KillString, InitString, Mark, InitStringCharStar, ConCatChar, EqualArray ;
FROM StdIO IMPORT Write ;
FROM StrIO IMPORT WriteString ;
FROM NameKey IMPORT WriteKey, GetKey, MakeKey, makekey, KeyToCharStar, NulName ;
FROM M2Options IMPORT WholeProgram ;
FROM M2Printf IMPORT printf1 ;
FROM SymbolTable IMPORT NulSym,
GetSymName, GetLibName,
GetScope,
GetBaseModule,
IsInnerModule,
IsVar,
IsProcedure,
IsModule,
IsDefImp,
IsExportQualified, IsExportUnQualified,
IsExported, IsPublic, IsExtern, IsMonoName,
IsDefinitionForC ;
FROM M2Error IMPORT InternalError ;
FROM m2configure IMPORT UseUnderscoreForC ;
CONST
Debugging = FALSE ;
(*
StringToKey - returns a Name, from a string and destroys the string.
*)
PROCEDURE StringToKey (s: String) : Name ;
VAR
k: Name ;
BEGIN
k := makekey (string (s)) ;
s := KillString (s) ;
RETURN k
END StringToKey ;
(*
GetFullScopeAsmName - returns the fully qualified name for the symbol.
This will take the format
[DefImpModule|Module]_{InnerModule}_{Procedure}_SymbolName
*)
PROCEDURE GetFullScopeAsmName (sym: CARDINAL) : Name ;
VAR
leader: String ;
scope : CARDINAL ;
BEGIN
scope := GetScope (sym) ;
IF UseUnderscoreForC
THEN
leader := InitString ('_')
ELSE
leader := InitString ('')
END ;
IF IsProcedure (sym) AND IsMonoName (sym)
THEN
RETURN StringToKey (ConCat (leader, InitStringCharStar (KeyToCharStar (GetSymName (sym)))))
ELSE
RETURN StringToKey (ConCat (GetFullScopePrefix (leader, scope, sym),
InitStringCharStar (KeyToCharStar (GetSymName (sym)))))
END
END GetFullScopeAsmName ;
(*
GetFullSymName - returns the NameKey for the symbol name (which also
may contain the module name).
*)
PROCEDURE GetFullSymName (sym: CARDINAL) : Name ;
VAR
libname,
fullsymname,
module : String ;
scope : CARDINAL ;
BEGIN
IF IsProcedure (sym) AND IsMonoName (sym)
THEN
RETURN GetSymName (sym)
ELSE
scope := GetScope (sym) ;
module := GetModulePrefix (InitString (''), sym, scope) ;
fullsymname := ConCat (module, InitStringCharStar (KeyToCharStar (GetSymName (sym)))) ;
IF (IsVar (sym) OR IsProcedure (sym)) AND IsExportQualified (sym)
THEN
WHILE NOT IsDefImp (scope) DO
scope := GetScope (scope)
END ;
IF GetLibName (scope) # NulName
THEN
IF Debugging
THEN
printf1 ("before sym = %s , ", fullsymname)
END ;
libname := InitStringCharStar (KeyToCharStar (GetLibName (scope))) ;
IF NOT EqualArray (libname, '')
THEN
IF Debugging
THEN
printf1 ("libname = %s , ", libname)
END ;
fullsymname := ConCat (ConCatChar (libname, '_'), fullsymname) ;
END ;
IF Debugging
THEN
printf1 ("after sym = %s\n", fullsymname)
END
END
END ;
RETURN StringToKey (fullsymname)
END
END GetFullSymName ;
(*
SymNeedsModulePrefix - return TRUE if symbol mod is required to have a prefix.
*)
PROCEDURE SymNeedsModulePrefix (sym, mod: CARDINAL) : BOOLEAN ;
BEGIN
IF IsDefImp (mod)
THEN
IF IsExportUnQualified (sym)
THEN
RETURN FALSE
ELSE
(* We need to force the prefix if whole program is used otherwise
local symbols from multipl modules might conflict. *)
RETURN WholeProgram OR IsExportQualified (sym)
END
ELSIF IsModule (mod)
THEN
RETURN WholeProgram
END ;
RETURN FALSE
END SymNeedsModulePrefix ;
(*
GetModulePrefix - returns a String containing the module prefix
for module, ModSym, providing symbol, Sym, is exported.
Name is marked if it is appended onto the new string.
*)
PROCEDURE GetModulePrefix (Name: String; Sym, ModSym: CARDINAL) : String ;
BEGIN
IF (ModSym#NulSym) AND (ModSym#GetBaseModule())
THEN
IF IsInnerModule(Sym) OR IsInnerModule(ModSym)
THEN
RETURN( ConCat(ConCatChar(InitStringCharStar(KeyToCharStar(GetSymName(ModSym))), '_'),
GetModulePrefix(Name, ModSym, GetScope(ModSym))) )
ELSIF SymNeedsModulePrefix (Sym, ModSym)
THEN
RETURN( ConCatChar(ConCat(InitStringCharStar(KeyToCharStar(GetSymName(ModSym))), Mark(Name)), '_') )
END
END ;
RETURN( Name )
END GetModulePrefix ;
(*
GetFullScopePrefix - returns a String containing the full scope prefix
for symbol, Sym. It honours IsExportQualified.
Name is marked if it is appended onto the new string.
*)
PROCEDURE GetFullScopePrefix (Name: String; Scope, Sym: CARDINAL) : String ;
BEGIN
IF Sym#NulSym
THEN
IF IsInnerModule(Scope)
THEN
RETURN( ConCat(ConCatChar(InitStringCharStar(KeyToCharStar(GetSymName(Scope))), '_'),
GetFullScopePrefix(Name, GetScope(Scope), Sym)) )
ELSIF IsDefImp(Scope) AND IsExportQualified(Sym)
THEN
RETURN( ConCatChar(ConCat(InitStringCharStar(KeyToCharStar(GetSymName(Scope))), Mark(Name)), '_') )
ELSIF IsProcedure(Scope)
THEN
RETURN( ConCatChar(ConCat(InitStringCharStar(KeyToCharStar(GetSymName(Scope))), Mark(Name)), '_') )
END
END ;
RETURN( Name )
END GetFullScopePrefix ;
END M2AsmUtil.
|
