cprover
|
Public Member Functions | |
remove_asmt (symbol_tablet &_symbol_table, goto_functionst &_goto_functions) | |
void | operator() () |
Protected Member Functions | |
void | process_function (goto_functionst::goto_functiont &) |
removes assembler More... | |
void | process_instruction (goto_programt::instructiont &instruction, goto_programt &dest) |
removes assembler More... | |
void | process_instruction_gcc (const code_asmt &, goto_programt &dest) |
removes gcc assembler More... | |
void | process_instruction_msc (const code_asmt &, goto_programt &dest) |
removes msc assembler More... | |
void | gcc_asm_function_call (const irep_idt &function_base_name, const code_asmt &code, goto_programt &dest) |
void | msc_asm_function_call (const irep_idt &function_base_name, const code_asmt &code, goto_programt &dest) |
Protected Attributes | |
symbol_tablet & | symbol_table |
goto_functionst & | goto_functions |
Definition at line 25 of file remove_asm.cpp.
|
inline |
Definition at line 28 of file remove_asm.cpp.
|
protected |
Definition at line 64 of file remove_asm.cpp.
References symbol_table_baset::add(), goto_programt::add_instruction(), code_function_callt::arguments(), symbolt::base_name, forall_operands, code_function_callt::function(), FUNCTION_CALL, goto_functionst::function_map, goto_functions, symbol_table_baset::has_symbol(), code_function_callt::lhs(), code_typet::make_ellipsis(), irept::make_nil(), symbolt::mode, symbolt::name, exprt::op1(), exprt::op2(), pointer_type(), exprt::source_location(), symbol_table, symbolt::type, and symbolt::value.
Referenced by process_instruction_gcc().
|
protected |
Definition at line 131 of file remove_asm.cpp.
References symbol_table_baset::add(), goto_programt::add_instruction(), symbolt::base_name, code_function_callt::function(), FUNCTION_CALL, goto_functionst::function_map, goto_functions, symbol_table_baset::has_symbol(), code_function_callt::lhs(), code_typet::make_ellipsis(), irept::make_nil(), symbolt::mode, symbolt::name, pointer_type(), exprt::source_location(), symbol_table, symbolt::type, and symbolt::value.
Referenced by process_instruction_msc().
|
inline |
Definition at line 33 of file remove_asm.cpp.
References goto_functionst::function_map, goto_functions, and process_function().
|
protected |
removes assembler
Definition at line 456 of file remove_asm.cpp.
References Forall_goto_program_instructions, process_instruction(), and remove_skip().
Referenced by operator()().
|
protected |
removes assembler
Definition at line 178 of file remove_asm.cpp.
References goto_programt::instructiont::code, DATA_INVARIANT, code_asmt::get_flavor(), process_instruction_gcc(), process_instruction_msc(), and to_code_asm().
Referenced by process_function().
|
protected |
removes gcc assembler
Definition at line 195 of file remove_asm.cpp.
References goto_programt::add_instruction(), assembler_parser, ATOMIC_BEGIN, ATOMIC_END, assembler_parsert::clear(), goto_programt::destructive_append(), gcc_asm_function_call(), id2string(), parsert::in, assembler_parsert::instructions, exprt::op0(), OTHER, assembler_parsert::parse(), pos(), irept::set(), exprt::source_location(), and to_string_constant().
Referenced by process_instruction().
|
protected |
removes msc assembler
Definition at line 356 of file remove_asm.cpp.
References goto_programt::add_instruction(), assembler_parser, ATOMIC_BEGIN, ATOMIC_END, assembler_parsert::clear(), goto_programt::destructive_append(), id2string(), parsert::in, assembler_parsert::instructions, msc_asm_function_call(), exprt::op0(), OTHER, assembler_parsert::parse(), pos(), irept::set(), exprt::source_location(), and to_string_constant().
Referenced by process_instruction().
|
protected |
Definition at line 41 of file remove_asm.cpp.
Referenced by gcc_asm_function_call(), msc_asm_function_call(), and operator()().
|
protected |
Definition at line 40 of file remove_asm.cpp.
Referenced by gcc_asm_function_call(), and msc_asm_function_call().