Lines Matching refs:Ity_I64
544 else if (aTy == Ity_I64) {
600 else if (aTy == Ity_I64) {
668 case Ity_I64:
701 Suppose the arg types are (Ity_I32, Ity_I64). Then we will have
1918 vassert(typeOfIRExpr(env->type_env,e) == Ity_I64);
1953 vassert(e->Iex.Load.ty == Ity_I64);
2180 vassert(ty == Ity_I64);
2198 vassert(ty == Ity_I64);
2207 vassert(ty == Ity_I64);
4296 typeOfIRExpr(env->type_env, e->Iex.Binop.arg1) == Ity_I64 &&
4297 typeOfIRExpr(env->type_env, e->Iex.Binop.arg2) == Ity_I64 &&
5706 if (tyd == Ity_I64) {
5837 if (tyd == Ity_I64) {
5912 if (ty == Ity_I64) {
5960 case Ity_I64: case Ity_I32: case Ity_I16: case Ity_I8:
5986 case Ity_I64: {
6065 if (ty == Ity_I64) {
6104 vassert(tyd == Ity_I64);
6371 case Ity_I64:
