Searched refs:t_res (Results 1 – 2 of 2) sorted by relevance
2862 /*OUT*/IRType* t_res,
3377 /*OUT*/IRType* t_res, /*OUT*/IRType* t_arg ) in typeOfIRLoadGOp() argument3381 *t_res = Ity_I32; *t_arg = Ity_I32; break; in typeOfIRLoadGOp()3383 *t_res = Ity_I32; *t_arg = Ity_I16; break; in typeOfIRLoadGOp()3385 *t_res = Ity_I32; *t_arg = Ity_I8; break; in typeOfIRLoadGOp()