Searched refs:t_res (Results 1 – 2 of 2) sorted by relevance
3527 /*OUT*/IRType* t_res, /*OUT*/IRType* t_arg ) in typeOfIRLoadGOp() argument3531 *t_res = Ity_V128; *t_arg = Ity_V128; break; in typeOfIRLoadGOp()3533 *t_res = Ity_I64; *t_arg = Ity_I64; break; in typeOfIRLoadGOp()3535 *t_res = Ity_I32; *t_arg = Ity_I32; break; in typeOfIRLoadGOp()3537 *t_res = Ity_I32; *t_arg = Ity_I16; break; in typeOfIRLoadGOp()3539 *t_res = Ity_I32; *t_arg = Ity_I8; break; in typeOfIRLoadGOp()
3020 /*OUT*/IRType* t_res,