Fix our tailcall parsing; we've observed conditional tailcalls in the wild and weren...
[dyninst.git] / parseAPI / src / IA_InstrucIter.h
1 /*
2  * See the dyninst/COPYRIGHT file for copyright information.
3  * 
4  * We provide the Paradyn Tools (below described as "Paradyn")
5  * on an AS IS basis, and do not warrant its validity or performance.
6  * We reserve the right to update, modify, or discontinue this
7  * software at any time.  We shall have no obligation to supply such
8  * updates or modifications or any other form of support to you.
9  * 
10  * By your use of Paradyn, you understand and agree that we (or any
11  * other person or entity with proprietary rights in Paradyn) are
12  * under no obligation to provide either maintenance services,
13  * update services, notices of latent defects, or correction of
14  * defects for Paradyn.
15  * 
16  * This library is free software; you can redistribute it and/or
17  * modify it under the terms of the GNU Lesser General Public
18  * License as published by the Free Software Foundation; either
19  * version 2.1 of the License, or (at your option) any later version.
20  * 
21  * This library is distributed in the hope that it will be useful,
22  * but WITHOUT ANY WARRANTY; without even the implied warranty of
23  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
24  * Lesser General Public License for more details.
25  * 
26  * You should have received a copy of the GNU Lesser General Public
27  * License along with this library; if not, write to the Free Software
28  * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
29  */
30
31 #if !defined(IA_INSTRUCITER_H)
32 #define IA_INSTRUCITER_H
33
34 #include "parseAPI/h/InstructionAdapter.h"
35 #include "parseAPI/h/CFG.h"
36
37 #include "InstrucIter.h"
38
39 namespace Dyninst {
40 namespace InsnAdapter {
41
42 class IA_InstrucIter : public InstructionAdapter
43 {
44     public:
45         IA_InstrucIter(InstrucIter from, 
46                        Dyninst::ParseAPI::CodeObject * o,
47                        Dyninst::ParseAPI::CodeRegion * r,
48                        Dyninst::InstructionSource * isrc);
49         virtual ~IA_InstrucIter() { }
50         instruction getInstruction();
51
52         virtual bool hasCFT() const;
53         virtual size_t getSize() const;
54         virtual bool isFrameSetupInsn() const;
55         virtual bool isAbort() const;
56         virtual bool isInvalidInsn() const;
57
58         virtual void
59                 getNewEdges(std::vector<std::pair< Address, 
60                 Dyninst::ParseAPI::EdgeTypeEnum> >&
61                 outEdges, 
62                 Dyninst::ParseAPI::Function* context,
63                 Dyninst::ParseAPI::Block* currBlk,
64                 unsigned int num_insns,
65                 dyn_hash_map<Address, std::string> *pltFuncs) const;
66         virtual bool isDynamicCall() const;
67         virtual bool isAbsoluteCall() const;
68         virtual bool simulateJump() const;
69         virtual bool isRelocatable(InstrumentableLevel lvl) const;
70         virtual void advance();
71         virtual void retreat();
72         virtual bool isNop() const;
73         virtual bool isLeave() const;
74         virtual bool isDelaySlot() const;
75         virtual bool isTailCall(Dyninst::ParseAPI::Function*, Dyninst::ParseAPI::EdgeTypeEnum, unsigned int num_insns) const;
76         virtual Address getCFT() const;
77         virtual bool isStackFramePreamble() const;
78         virtual bool savesFP() const;
79         virtual bool cleansStack() const;
80         virtual bool isConditional() const;
81         virtual bool isBranch() const;
82         virtual bool isInterruptOrSyscall() const;
83         virtual bool isCall() const;
84         virtual bool isReturnAddrSave() const;   
85     private:
86         virtual bool isRealCall() const;
87         virtual bool isReturn() const;
88         
89         mutable InstrucIter ii;
90         
91 };
92
93 }
94 }
95
96
97 #endif // !defined(IA_INSTRUCITER_H)