Lines Matching refs:Ity_I64
377 vassert(typeOfIRExpr(env->type_env, e) == Ity_I64);
398 vassert(e->Iex.Get.ty == Ity_I64);
568 vassert(typeOfIRExpr(env->type_env, args[i]) == Ity_I64);
626 vassert(typeOfIRExpr(env->type_env, args[i]) == Ity_I64);
673 case Ity_I64: case Ity_I32: case Ity_I16: case Ity_I8:
925 case Ity_I64: case Ity_I32: case Ity_I16: case Ity_I8: break;
945 if (ty == Ity_I64) {
1777 if (ty == Ity_I64) {
1809 if (ty == Ity_I64) {
1823 if (e->Iex.CCall.retty != Ity_I64 && e->Iex.CCall.retty != Ity_I32)
1837 if (e->Iex.CCall.retty == Ity_I64)
1848 if (ty == Ity_I64) {
1861 if ((ty == Ity_I64 || ty == Ity_I32 || ty == Ity_I16 || ty == Ity_I8)
1950 vassert(ty == Ity_I64);
2049 vassert(ty == Ity_I64 || ty == Ity_I32
2072 if (e->tag == Iex_Get && ty == Ity_I64) {
2078 if (e->tag == Iex_Load && ty == Ity_I64
2118 vassert(ty == Ity_I64 || ty == Ity_I32
2175 vassert(ty == Ity_I64 || ty == Ity_I32 || ty == Ity_I16 || ty == Ity_I8);
2178 if (e->tag == Iex_Get && ty == Ity_I64) {
2375 vassert(cal->Iex.CCall.retty == Ity_I64); /* else ill-typed IR */
4328 case Ity_I64: szB = 8; break;
4347 if (tya != Ity_I64 || end != Iend_LE)
4350 if (tyd == Ity_I64) {
4398 if (ty == Ity_I64) {
4474 if (ty == Ity_I64) {
4493 if (ty == Ity_I64
4510 if (ty == Ity_I64 || ty == Ity_I32
4573 case Ity_I64: case Ity_I32: case Ity_I16: case Ity_I8:
4599 case Ity_I64: case Ity_I32: case Ity_I16: case Ity_I8: {
4670 case Ity_I64: sz = 8; break;
4695 case Ity_I64:
4956 case Ity_I8: case Ity_I16: case Ity_I32: case Ity_I64:
