Lines Matching refs:typeOfIRExpr
526 aTy = typeOfIRExpr(env->type_env, arg);
583 aTy = typeOfIRExpr(env->type_env, arg);
767 IRType ty = typeOfIRExpr(env->type_env,e);
833 IRType ty = typeOfIRExpr(env->type_env,e);
887 IRType ty = typeOfIRExpr(env->type_env,e);
961 IRType ty = typeOfIRExpr(env->type_env,e);
1017 IRType ty = typeOfIRExpr(env->type_env,e);
1059 vassert(typeOfIRExpr(env->type_env,e) == Ity_I1);
1188 IRType ty = typeOfIRExpr(env->type_env,e);
1373 typeOfIRExpr(env->type_env, e->Iex.Binop.arg2) != Ity_I8) {
1415 typeOfIRExpr(env->type_env, e->Iex.Binop.arg2) != Ity_I8) {
1929 vassert(typeOfIRExpr(env->type_env,e) == Ity_I64);
2139 tyC = typeOfIRExpr(env->type_env,e->Iex.ITE.cond);
2190 IRType ty = typeOfIRExpr(env->type_env, e);
2696 typeOfIRExpr
2720 typeOfIRExpr(env->type_env, e->Iex.Binop.arg2) != Ity_I8) {
2744 typeOfIRExpr(env->type_env, e->Iex.Binop.arg2) != Ity_I8) {
3125 typeOfIRExpr(env->type_env, e->Iex.Binop.arg2) != Ity_I8) {
3153 typeOfIRExpr(env->type_env, e->Iex.Binop.arg2) != Ity_I8) {
3327 typeOfIRExpr(env->type_env, mi.bindee[1]) == Ity_I8) {
3346 typeOfIRExpr(env->type_env, mi.bindee[1]) == Ity_I8) {
3365 typeOfIRExpr(env->type_env, mi.bindee[1]) == Ity_I8) {
3732 typeOfIRExpr(env->type_env, triop->arg3) != Ity_I8) {
3753 typeOfIRExpr(env->type_env, triop->arg2) != Ity_I8) {
3803 IRType ty = typeOfIRExpr(env->type_env, e);
3960 typeOfIRExpr(env->type_env, mi.bindee[1]) == Ity_I8) {
3979 typeOfIRExpr(env->type_env, mi.bindee[1]) == Ity_I8) {
3998 typeOfIRExpr(env->type_env, mi.bindee[1]) == Ity_I8) {
4312 typeOfIRExpr(env->type_env, e->Iex.Binop.arg1) == Ity_I64 &&
4313 typeOfIRExpr(env->type_env, e->Iex.Binop.arg2) == Ity_I64 &&
4869 typeOfIRExpr(env->type_env, e->Iex.Binop.arg2) != Ity_I8) {
4893 typeOfIRExpr(env->type_env, e->Iex.Binop.arg2) != Ity_I8) {
4917 typeOfIRExpr(env->type_env, e->Iex.Binop.arg2) != Ity_I8) {
5236 typeOfIRExpr(env->type_env, e->Iex.Binop.arg2) != Ity_I8) {
5263 typeOfIRExpr(env->type_env, e->Iex.Binop.arg2) != Ity_I8) {
5316 typeOfIRExpr(env->type_env, triop->arg3) != Ity_I8) {
5390 IRType ty = typeOfIRExpr(env->type_env,e);
5520 && typeOfIRExpr(env->type_env,e->Iex.ITE.cond) == Ity_I1) {
5559 IRType ty = typeOfIRExpr(env->type_env,e);
5662 && typeOfIRExpr(env->type_env,e->Iex.ITE.cond) == Ity_I1) {
5695 IRType tya = typeOfIRExpr(env->type_env, stmt->Ist.Store.addr);
5696 IRType tyd = typeOfIRExpr(env->type_env, stmt->Ist.Store.data);
5764 IRType tya = typeOfIRExpr(env->type_env, sg->addr);
5765 IRType tyd = typeOfIRExpr(env->type_env, sg->data);
5800 IRType tya = typeOfIRExpr(env->type_env, lg->addr);
5845 IRType tyd = typeOfIRExpr(env->type_env, stmt->Ist.Put.data);
6105 IRType tyd = typeOfIRExpr(env->type_env, stmt->Ist.LLSC.storedata);
