Home | History | Annotate | Download | only in exp-sgcheck

Lines Matching defs:env

2188    struct _SGEnv * env = sg_malloc("di.sg_main.sii.1",
2190 tl_assert(env);
2191 env->curr_IP = 0;
2192 env->curr_IP_known = False;
2193 env->firstRef = True;
2194 env->newIRTemp_cb = newIRTemp_cb;
2195 env->newIRTemp_opaque = newIRTemp_opaque;
2196 return env;
2199 void sg_instrument_fini ( struct _SGEnv * env )
2201 sg_free(env);
2204 /* Add instrumentation for 'st' to 'sbOut', and possibly modify 'env'
2207 void sg_instrument_IRStmt ( /*MOD*/struct _SGEnv * env,
2233 env->curr_IP_known = True;
2234 env->curr_IP = st->Ist.IMark.addr;
2235 env->firstRef = True;
2239 tl_assert(env->curr_IP_known);
2240 if (env->firstRef) {
2242 env, sbOut,
2247 env->curr_IP, layout
2249 env->firstRef = False;
2256 tl_assert(env->curr_IP_known);
2257 if (env->firstRef) {
2259 env, sbOut,
2264 env->curr_IP, layout
2266 env->firstRef = False;
2278 tl_assert(env->curr_IP_known);
2279 if (env->firstRef) {
2285 env, sbOut, d->mAddr, dataSize, False/*!isStore*/,
2286 sizeofIRType(hWordTy), env->curr_IP, layout
2291 env, sbOut, d->mAddr, dataSize, True/*isStore*/,
2292 sizeofIRType(hWordTy), env->curr_IP, layout
2295 env->firstRef = False;
2310 if (env->firstRef) {
2319 env, sbOut, cas->addr, dataSize, False/*!isStore*/,
2320 sizeofIRType(hWordTy), env->curr_IP, layout
2323 env, sbOut, cas->addr, dataSize, True/*isStore*/,
2324 sizeofIRType(hWordTy), env->curr_IP, layout
2326 env->firstRef = False;
2339 possibly modify 'env' as required. This must be the last
2341 void sg_instrument_final_jump ( /*MOD*/struct _SGEnv * env,
2358 = gen_Get_SP( env, sbOut, layout, sizeofIRType(hWordTy) );
2360 = gen_Get_FP( env, sbOut, layout, sizeofIRType(hWordTy) );
2361 tl_assert(env->curr_IP_known);
2362 frameBlocks = get_StackBlocks_for_IP( env->curr_IP );