44 const std::ostringstream &s,
48 std::istringstream in(s.str());
53 ansi_c_parser.for_has_scope=
config.ansi_c.for_has_scope;
54 ansi_c_parser.ts_18661_3_Floatn_types =
config.ansi_c.ts_18661_3_Floatn_types;
55 ansi_c_parser.__float128_is_keyword =
config.ansi_c.__float128_is_keyword;
56 ansi_c_parser.float16_type =
config.ansi_c.float16_type;
57 ansi_c_parser.bf16_type =
config.ansi_c.bf16_type;
58 ansi_c_parser.fp16_type =
config.ansi_c.fp16_type;
59 ansi_c_parser.cpp98=
false;
60 ansi_c_parser.cpp11=
false;
61 ansi_c_parser.mode=
config.ansi_c.mode;
65 if(ansi_c_parser.parse())
73 ansi_c_parser.parse_tree,
82 symbol_tablet::symbolst::const_iterator s_it=
83 new_symbol_table.
symbols.find(identifier);
85 if(s_it==new_symbol_table.
symbols.end())
88 message.
error() <<
"failed to produce built-in symbol '" << identifier
94 symbol_table.
add(s_it->second);
104 bool support_float16_type,
109 const std::string pattern=
' '+
id2string(identifier)+
'(';
111 std::ostringstream s;
119 return convert(identifier, s, symbol_table, mh);
125 return convert(identifier, s, symbol_table, mh);
132 return convert(identifier, s, symbol_table, mh);
139 return convert(identifier, s, symbol_table, mh);
149 return convert(identifier, s, symbol_table, mh);
152 return convert(identifier, s, symbol_table, mh);
155 return convert(identifier, s, symbol_table, mh);
158 return convert(identifier, s, symbol_table, mh);
161 return convert(identifier, s, symbol_table, mh);
164 return convert(identifier, s, symbol_table, mh);
167 return convert(identifier, s, symbol_table, mh);
169 if(
config.ansi_c.arch==
"i386" ||
170 config.ansi_c.arch==
"x86_64" ||
171 config.ansi_c.arch==
"x32")
174 return convert(identifier, s, symbol_table, mh);
177 return convert(identifier, s, symbol_table, mh);
180 return convert(identifier, s, symbol_table, mh);
183 return convert(identifier, s, symbol_table, mh);
186 return convert(identifier, s, symbol_table, mh);
189 return convert(identifier, s, symbol_table, mh);
192 return convert(identifier, s, symbol_table, mh);
195 return convert(identifier, s, symbol_table, mh);
198 return convert(identifier, s, symbol_table, mh);
200 else if(
config.ansi_c.arch==
"arm64" ||
201 config.ansi_c.arch==
"armel" ||
202 config.ansi_c.arch==
"armhf" ||
203 config.ansi_c.arch==
"arm")
206 return convert(identifier, s, symbol_table, mh);
208 else if(
config.ansi_c.arch==
"mips64el" ||
209 config.ansi_c.arch==
"mipsn32el" ||
210 config.ansi_c.arch==
"mipsel" ||
211 config.ansi_c.arch==
"mips64" ||
212 config.ansi_c.arch==
"mipsn32" ||
213 config.ansi_c.arch==
"mips")
216 return convert(identifier, s, symbol_table, mh);
218 else if(
config.ansi_c.arch==
"powerpc" ||
219 config.ansi_c.arch==
"ppc64" ||
220 config.ansi_c.arch==
"ppc64le")
223 return convert(identifier, s, symbol_table, mh);
bool builtin_factory(const irep_idt &identifier, bool support_float16_type, symbol_table_baset &symbol_table, message_handlert &mh)
Check whether given identifier is a compiler built-in.