Lines Matching refs:typeOfIRExpr
414 vassert(typeOfIRExpr(env->type_env,mode) == Ity_I32);
422 vassert(typeOfIRExpr(env->type_env, env->previous_rm) == Ity_I32);
675 aTy = typeOfIRExpr(env->type_env, args[i]);
714 aTy = typeOfIRExpr(env->type_env, args[i]);
885 IRType ty = typeOfIRExpr(env->type_env,e);
969 //ZZ IRType ty = typeOfIRExpr(env->type_env,e);
1043 //ZZ IRType ty = typeOfIRExpr(env->type_env,e);
1101 IRType ty = typeOfIRExpr(env->type_env,e);
1365 typeOfIRExpr(env->type_env,e);
1424 IRType ty = typeOfIRExpr(env->type_env,e);
1466 vassert(typeOfIRExpr(env->type_env,e) == Ity_I1);
1620 IRType ty = typeOfIRExpr(env->type_env,e);
1868 //ZZ typeOfIRExpr(env->type_env, e->Iex.Binop.arg2) != Ity_I8) {
1893 //ZZ typeOfIRExpr(env->type_env, e->Iex.Binop.arg2) != Ity_I8) {
2404 vassert(typeOfIRExpr(env->type_env,e) == Ity_I128);
2463 //ZZ vassert(typeOfIRExpr(env->type_env,e) == Ity_I64);
2673 //ZZ tyC = typeOfIRExpr(env->type_env,e->Iex.ITE.cond);
2722 //ZZ IRType ty = typeOfIRExpr(env->type_env, e);
3228 //ZZ typeOfIRExpr(env->type_env, e->Iex.Binop.arg2) != Ity_I8) {
3252 //ZZ typeOfIRExpr(env->type_env, e->Iex.Binop.arg2) != Ity_I8) {
3276 //ZZ typeOfIRExpr(env->type_env, e->Iex.Binop.arg2) != Ity_I8) {
3657 //ZZ typeOfIRExpr(env->type_env, e->Iex.Binop.arg2) != Ity_I8) {
3685 //ZZ typeOfIRExpr(env->type_env, e->Iex.Binop.arg2) != Ity_I8) {
3859 //ZZ typeOfIRExpr(env->type_env, mi.bindee[1]) == Ity_I8) {
3878 //ZZ typeOfIRExpr(env->type_env, mi.bindee[1]) == Ity_I8) {
3897 //ZZ typeOfIRExpr(env->type_env, mi.bindee[1]) == Ity_I8) {
4264 //ZZ typeOfIRExpr(env->type_env, triop->arg3) != Ity_I8) {
4285 //ZZ typeOfIRExpr(env->type_env, triop->arg2) != Ity_I8) {
4337 IRType ty = typeOfIRExpr(env->type_env, e);
4587 //ZZ typeOfIRExpr(env->type_env, mi.bindee[1]) == Ity_I8) {
4606 //ZZ typeOfIRExpr(env->type_env, mi.bindee[1]) == Ity_I8) {
4625 //ZZ typeOfIRExpr(env->type_env, mi.bindee[1]) == Ity_I8) {
5454 //ZZ typeOfIRExpr(env->type_env, e->Iex.Binop.arg2) != Ity_I8) {
5478 //ZZ typeOfIRExpr(env->type_env, e->Iex.Binop.arg2) != Ity_I8) {
5502 //ZZ typeOfIRExpr(env->type_env, e->Iex.Binop.arg2) != Ity_I8) {
5824 //ZZ typeOfIRExpr(env->type_env, e->Iex.Binop.arg2) != Ity_I8) {
5851 //ZZ typeOfIRExpr(env->type_env, e->Iex.Binop.arg2) != Ity_I8) {
5924 //ZZ typeOfIRExpr(env->type_env, triop->arg3) != Ity_I8) {
5982 IRType ty = typeOfIRExpr(env->type_env,e);
6120 //ZZ && typeOfIRExpr(env->type_env,e->Iex.ITE.cond) == Ity_I1) {
6160 IRType ty = typeOfIRExpr(env->type_env,e);
6296 //ZZ && typeOfIRExpr(env->type_env,e->Iex.ITE.cond) == Ity_I1) {
6329 IRType tya = typeOfIRExpr(env->type_env, stmt->Ist.Store.addr);
6330 IRType tyd = typeOfIRExpr(env->type_env, stmt->Ist.Store.data);
6435 //ZZ IRType tya = typeOfIRExpr(env->type_env, sg->addr);
6436 //ZZ IRType tyd = typeOfIRExpr(env->type_env, sg->data);
6471 //ZZ IRType tya = typeOfIRExpr(env->type_env, lg->addr);
6516 IRType tyd = typeOfIRExpr(env->type_env, stmt->Ist.Put.data);
6755 IRType tyd = typeOfIRExpr(env->type_env, stmt->Ist.LLSC.storedata);
