Lines Matching refs:typeOfIRExpr
534 aTy = typeOfIRExpr(env->type_env, arg);
591 aTy = typeOfIRExpr(env->type_env, arg);
775 IRType ty = typeOfIRExpr(env->type_env,e);
841 IRType ty = typeOfIRExpr(env->type_env,e);
895 IRType ty = typeOfIRExpr(env->type_env,e);
969 IRType ty = typeOfIRExpr(env->type_env,e);
1025 IRType ty = typeOfIRExpr(env->type_env,e);
1067 vassert(typeOfIRExpr(env->type_env,e) == Ity_I1);
1196 IRType ty = typeOfIRExpr(env->type_env,e);
1380 typeOfIRExpr(env->type_env, e->Iex.Binop.arg2) != Ity_I8) {
1405 typeOfIRExpr(env->type_env, e->Iex.Binop.arg2) != Ity_I8) {
1918 vassert(typeOfIRExpr(env->type_env,e) == Ity_I64);
2128 tyC = typeOfIRExpr(env->type_env,e->Iex.ITE.cond);
2177 IRType ty = typeOfIRExpr(env->type_env, e);
2683 typeOfIRExpr(env->type_env, e->Iex.Binop.arg2) != Ity_I8) {
2707 typeOfIRExpr(env->type_env, e->Iex.Binop.arg2) != Ity_I8) {
2731 typeOfIRExpr(env->type_env, e->Iex.Binop.arg2) != Ity_I8) {
3112 typeOfIRExpr(env->type_env, e->Iex.Binop.arg2) != Ity_I8) {
3140 typeOfIRExpr(env->type_env, e->Iex.Binop.arg2) != Ity_I8) {
3314 typeOfIRExpr(env->type_env, mi.bindee[1]) == Ity_I8) {
3333 typeOfIRExpr(env->type_env, mi.bindee[1]) == Ity_I8) {
3352 typeOfIRExpr(env->type_env, mi.bindee[1]) == Ity_I8) {
3719 typeOfIRExpr(env->type_env, triop->arg3) != Ity_I8) {
3740 typeOfIRExpr(env->type_env, triop->arg2) != Ity_I8) {
3787 IRType ty = typeOfIRExpr(env->type_env, e);
3944 typeOfIRExpr(env->type_env, mi.bindee[1]) == Ity_I8) {
3963 typeOfIRExpr(env->type_env, mi.bindee[1]) == Ity_I8) {
3982 typeOfIRExpr(env->type_env, mi.bindee[1]) == Ity_I8) {
4296 typeOfIRExpr(env->type_env, e->Iex.Binop.arg1) == Ity_I64 &&
4297 typeOfIRExpr(env->type_env, e->Iex.Binop.arg2) == Ity_I64 &&
4853 typeOfIRExpr(env->type_env, e->Iex.Binop.arg2) != Ity_I8) {
4877 typeOfIRExpr(env->type_env, e->Iex.Binop.arg2) != Ity_I8) {
4901 typeOfIRExpr(env->type_env, e->Iex.Binop.arg2) != Ity_I8) {
5220 typeOfIRExpr(env->type_env, e->Iex.Binop.arg2) != Ity_I8) {
5247 typeOfIRExpr(env->type_env, e->Iex.Binop.arg2) != Ity_I8) {
5300 typeOfIRExpr(env->type_env, triop->arg3) != Ity_I8) {
5374 IRType ty = typeOfIRExpr(env->type_env,e);
5504 && typeOfIRExpr(env->type_env,e->Iex.ITE.cond) == Ity_I1) {
5543 IRType ty = typeOfIRExpr(env->type_env,e);
5646 && typeOfIRExpr(env->type_env,e->Iex.ITE.cond) == Ity_I1) {
5679 IRType tya = typeOfIRExpr(env->type_env, stmt->Ist.Store.addr);
5680 IRType tyd = typeOfIRExpr(env->type_env, stmt->Ist.Store.data);
5748 IRType tya = typeOfIRExpr(env->type_env, sg->addr);
5749 IRType tyd = typeOfIRExpr(env->type_env, sg->data);
5784 IRType tya = typeOfIRExpr(env->type_env, lg->addr);
5829 IRType tyd = typeOfIRExpr(env->type_env, stmt->Ist.Put.data);
6089 IRType tyd = typeOfIRExpr(env->type_env, stmt->Ist.LLSC.storedata);
