cprover
remove_asm.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Remove 'asm' statements by compiling them into suitable
4
standard goto program instructions
5
6
Author: Daniel Kroening
7
8
Date: December 2014
9
10
\*******************************************************************/
11
15
51
52
#ifndef CPROVER_ASSEMBLER_REMOVE_ASM_H
53
#define CPROVER_ASSEMBLER_REMOVE_ASM_H
54
55
#include <
goto-programs/goto_functions.h
>
56
57
class
goto_modelt
;
58
class
symbol_tablet
;
59
60
void
remove_asm
(
goto_functionst
&,
symbol_tablet
&);
61
62
void
remove_asm
(
goto_modelt
&);
63
64
#endif // CPROVER_ASSEMBLER_REMOVE_ASM_H
symbol_tablet
The symbol table.
Definition:
symbol_table.h:20
goto_modelt
Definition:
goto_model.h:26
remove_asm
void remove_asm(goto_functionst &, symbol_tablet &)
Replaces inline assembly instructions in the goto program (i.e., instructions of kind OTHER with a co...
Definition:
remove_asm.cpp:512
goto_functionst
A collection of goto functions.
Definition:
goto_functions.h:23
goto_functions.h
Goto Programs with Functions.
assembler
remove_asm.h
Generated by
1.8.20