Definition at line 28 of file remove_asm.cpp.
◆ remove_asmt()
◆ gcc_asm_function_call()
Adds a call to a library function that implements the given gcc-style inline assembly statement.
- Parameters
-
function_base_name | Name of the function to call |
code | gcc-style inline assembly statement to translate to function call |
dest | Goto program to append the function call to |
Definition at line 74 of file remove_asm.cpp.
◆ msc_asm_function_call()
Adds a call to a library function that implements the given msc-style inline assembly statement.
- Parameters
-
function_base_name | Name of the function to call |
code | msc-style inline assembly statement to translate to function call |
dest | Goto program to append the function call to |
Definition at line 144 of file remove_asm.cpp.
◆ operator()()
void remove_asmt::operator() |
( |
| ) |
|
|
inline |
◆ process_function()
Replaces inline assembly instructions in the goto function by non-assembly goto program instructions.
- Parameters
-
goto_function | The goto function |
Definition at line 483 of file remove_asm.cpp.
◆ process_instruction()
Translates the given inline assembly code (which must be in either gcc or msc style) to non-assembly goto program instructions.
- Parameters
-
instruction | The goto program instruction containing the inline assembly statements |
dest | The goto program to append the new instructions to |
Definition at line 191 of file remove_asm.cpp.
◆ process_instruction_gcc()
Translates the given inline assembly code (in gcc style) to non-assembly goto program instructions.
- Parameters
-
code | The inline assembly code statement to translate |
dest | The goto program to append the new instructions to |
Definition at line 212 of file remove_asm.cpp.
◆ process_instruction_msc()
Translates the given inline assembly code (in msc style) to non-assembly goto program instructions.
- Parameters
-
code | The inline assembly code statement to translate |
dest | The goto program to append the new instructions to |
Definition at line 381 of file remove_asm.cpp.
◆ goto_functions
◆ symbol_table
The documentation for this class was generated from the following file:
- /home/runner/work/cbmc-documentation/cbmc-documentation/src/assembler/remove_asm.cpp