Lines Matching refs:IRExpr_BBPTR
1939 contain an IRExpr_VECRET(), although not IRExpr_BBPTR(). However,
2024 extern IRExpr* IRExpr_BBPTR ( void );
2176 However, if IRExpr_BBPTR() is present in the argument list (at most
2179 invalid for .nFxState to be zero but IRExpr_BBPTR() to be present,
2216 /* The args vector may contain IRExpr_BBPTR() and/or
