retdec
gcc_general_semantics.h
Go to the documentation of this file.
1 
7 #ifndef RETDEC_LLVMIR2HLL_SEMANTICS_SEMANTICS_GCC_GENERAL_SEMANTICS_H
8 #define RETDEC_LLVMIR2HLL_SEMANTICS_SEMANTICS_GCC_GENERAL_SEMANTICS_H
9 
10 #include <optional>
11 #include <string>
12 
15 
16 namespace retdec {
17 namespace llvmir2hll {
18 
30 public:
31  static ShPtr<Semantics> create();
32 
35  virtual std::string getId() const override;
36  virtual std::optional<std::string> getCHeaderFileForFunc(
37  const std::string &funcName) const override;
38  virtual std::optional<std::string> getNameOfVarStoringResult(
39  const std::string &funcName) const override;
40  virtual std::optional<std::string> getNameOfParam(const std::string &funcName,
41  unsigned paramPos) const override;
42  virtual std::optional<IntStringMap> getSymbolicNamesForParam(
43  const std::string &funcName, unsigned paramPos) const override;
45 
46 protected:
48 };
49 
50 } // namespace llvmir2hll
51 } // namespace retdec
52 
53 #endif
A default semantics which doesn't know anything.
Definition: default_semantics.h:28
A general semantics for the GCC compiler.
Definition: gcc_general_semantics.h:29
virtual std::string getId() const override
Returns the ID of the semantics.
Definition: gcc_general_semantics.cpp:34
virtual std::optional< std::string > getNameOfParam(const std::string &funcName, unsigned paramPos) const override
Returns an appropriate name of the given function's parameter.
Definition: gcc_general_semantics.cpp:48
virtual std::optional< IntStringMap > getSymbolicNamesForParam(const std::string &funcName, unsigned paramPos) const override
Returns a mapping of integers into their symbolic names for the given parameter of the given function...
Definition: gcc_general_semantics.cpp:53
GCCGeneralSemantics()
Constructs the semantics.
Definition: gcc_general_semantics.cpp:25
virtual std::optional< std::string > getCHeaderFileForFunc(const std::string &funcName) const override
Returns the C header file for the given function.
Definition: gcc_general_semantics.cpp:38
static ShPtr< Semantics > create()
Creates a new semantics.
Definition: gcc_general_semantics.cpp:30
virtual std::optional< std::string > getNameOfVarStoringResult(const std::string &funcName) const override
Returns an appropriate name of the variable that stores the result of calls to the given function.
Definition: gcc_general_semantics.cpp:43
A default semantics which doesn't know anything.
A library providing API for working with back-end IR.
std::shared_ptr< T > ShPtr
An alias for a shared pointer.
Definition: smart_ptr.h:18
Definition: archive_wrapper.h:19
Declarations, aliases, macros, etc. for the use of smart pointers.