| |
| /*---------------------------------------------------------------*/ |
| /*--- ---*/ |
| /*--- This file (ir/irmatch.h) is ---*/ |
| /*--- Copyright (C) OpenWorks LLP. All rights reserved. ---*/ |
| /*--- ---*/ |
| /*---------------------------------------------------------------*/ |
| |
| /* |
| This file is part of LibVEX, a library for dynamic binary |
| instrumentation and translation. |
| |
| Copyright (C) 2004-2006 OpenWorks LLP. All rights reserved. |
| |
| This library is made available under a dual licensing scheme. |
| |
| If you link LibVEX against other code all of which is itself |
| licensed under the GNU General Public License, version 2 dated June |
| 1991 ("GPL v2"), then you may use LibVEX under the terms of the GPL |
| v2, as appearing in the file LICENSE.GPL. If the file LICENSE.GPL |
| is missing, you can obtain a copy of the GPL v2 from the Free |
| Software Foundation Inc., 51 Franklin St, Fifth Floor, Boston, MA |
| 02110-1301, USA. |
| |
| For any other uses of LibVEX, you must first obtain a commercial |
| license from OpenWorks LLP. Please contact info@open-works.co.uk |
| for information about commercial licensing. |
| |
| This software is provided by OpenWorks LLP "as is" and any express |
| or implied warranties, including, but not limited to, the implied |
| warranties of merchantability and fitness for a particular purpose |
| are disclaimed. In no event shall OpenWorks LLP be liable for any |
| direct, indirect, incidental, special, exemplary, or consequential |
| damages (including, but not limited to, procurement of substitute |
| goods or services; loss of use, data, or profits; or business |
| interruption) however caused and on any theory of liability, |
| whether in contract, strict liability, or tort (including |
| negligence or otherwise) arising in any way out of the use of this |
| software, even if advised of the possibility of such damage. |
| |
| Neither the names of the U.S. Department of Energy nor the |
| University of California nor the names of its contributors may be |
| used to endorse or promote products derived from this software |
| without prior written permission. |
| */ |
| |
| /* Provides a facility for doing IR tree matching. */ |
| |
| #ifndef __LIBVEX_IRMATCH_H |
| #define __LIBVEX_IRMATCH_H |
| |
| #include "libvex_basictypes.h" |
| #include "libvex_ir.h" |
| |
| |
| /* Patterns are simply IRExpr* trees, with IRExpr_Binder nodes at the |
| leaves, indicating binding points. Use these magic macros to |
| declare and define patterns. */ |
| |
| #define DECLARE_PATTERN(_patt) \ |
| static IRExpr* _patt = NULL |
| |
| #define DEFINE_PATTERN(_patt,_expr) \ |
| do { \ |
| if (!(_patt)) { \ |
| vassert(vexGetAllocMode() == VexAllocModeTEMP); \ |
| vexSetAllocMode(VexAllocModePERM); \ |
| _patt = (_expr); \ |
| vexSetAllocMode(VexAllocModeTEMP); \ |
| vassert(vexGetAllocMode() == VexAllocModeTEMP); \ |
| } \ |
| } while (0) |
| |
| |
| /* This type returns the result of a match -- it records what |
| the binders got instantiated to. */ |
| |
| #define N_IRMATCH_BINDERS 4 |
| |
| typedef |
| struct { |
| IRExpr* bindee[N_IRMATCH_BINDERS]; |
| } |
| MatchInfo; |
| |
| |
| /* The matching function. p is expected to have zero or more |
| IRExpr_Binds in it, numbered 0, 1, 2 ... Returns True if a match |
| succeeded. */ |
| |
| extern |
| Bool matchIRExpr ( MatchInfo* mi, IRExpr* p/*attern*/, IRExpr* e/*xpr*/ ); |
| |
| |
| #endif /* ndef __LIBVEX_IRMATCH_H */ |
| |
| |
| |
| /*---------------------------------------------------------------*/ |
| /*--- end ir/irmatch.h ---*/ |
| /*---------------------------------------------------------------*/ |