cprover
|
Public Member Functions | |
remove_asmt (symbol_tablet &_symbol_table, goto_functionst &_goto_functions) | |
void | operator() () |
removes assembler More... | |
Protected Member Functions | |
void | process_instruction (goto_programt::instructiont &instruction, goto_programt &dest) |
removes assembler More... | |
void | process_function (goto_functionst::goto_functiont &) |
removes assembler More... | |
void | gcc_asm_function_call (const irep_idt &function_base_name, const codet &code, goto_programt &dest) |
Protected Attributes | |
symbol_tablet & | symbol_table |
goto_functionst & | goto_functions |
Definition at line 25 of file remove_asm.cpp.
|
inline |
|
protected |
Definition at line 55 of file remove_asm.cpp.
References symbol_tablet::add(), goto_program_templatet< codeT, guardT >::add_instruction(), code_function_callt::arguments(), symbolt::base_name, forall_operands, code_function_callt::function(), FUNCTION_CALL, symbol_tablet::has_symbol(), code_function_callt::lhs(), code_typet::make_ellipsis(), irept::make_nil(), symbolt::name, exprt::op1(), exprt::op2(), pointer_type(), code_typet::return_type(), exprt::source_location(), symbol_table, symbolt::type, and symbolt::value.
Referenced by process_instruction().
void remove_asmt::operator() | ( | void | ) |
removes assembler
Definition at line 308 of file remove_asm.cpp.
References Forall_goto_functions, goto_functions, and process_function().
Referenced by remove_asmt().
|
protected |
removes assembler
Definition at line 288 of file remove_asm.cpp.
References Forall_goto_program_instructions, and process_instruction().
Referenced by operator()().
|
protected |
removes assembler
Definition at line 115 of file remove_asm.cpp.
References goto_program_templatet< codeT, guardT >::add_instruction(), assembler_parser, ATOMIC_BEGIN, ATOMIC_END, assembler_parsert::clear(), goto_program_templatet< codeT, guardT >::destructive_append(), gcc_asm_function_call(), code_asmt::get_flavor(), id2string(), parsert::in, assembler_parsert::instructions, exprt::op0(), OTHER, assembler_parsert::parse(), pos(), irept::set(), exprt::source_location(), to_code_asm(), and to_string_constant().
Referenced by process_function().
|
protected |
Definition at line 40 of file remove_asm.cpp.
Referenced by operator()().
|
protected |
Definition at line 39 of file remove_asm.cpp.
Referenced by gcc_asm_function_call().