Lines Matching refs:Ity_I64
378 vassert(typeOfIRExpr(env->type_env, e) == Ity_I64);
399 vassert(e->Iex.Get.ty == Ity_I64);
569 vassert(typeOfIRExpr(env->type_env, args[i]) == Ity_I64);
627 vassert(typeOfIRExpr(env->type_env, args[i]) == Ity_I64);
674 case Ity_I64: case Ity_I32: case Ity_I16: case Ity_I8:
926 case Ity_I64: case Ity_I32: case Ity_I16: case Ity_I8: break;
946 if (ty == Ity_I64) {
1778 if (ty == Ity_I64) {
1810 if (ty == Ity_I64) {
1824 if (e->Iex.CCall.retty != Ity_I64 && e->Iex.CCall.retty != Ity_I32)
1838 if (e->Iex.CCall.retty == Ity_I64)
1849 if (ty == Ity_I64) {
1862 if ((ty == Ity_I64 || ty == Ity_I32 || ty == Ity_I16 || ty == Ity_I8)
1951 vassert(ty == Ity_I64);
2050 vassert(ty == Ity_I64 || ty == Ity_I32
2073 if (e->tag == Iex_Get && ty == Ity_I64) {
2079 if (e->tag == Iex_Load && ty == Ity_I64
2119 vassert(ty == Ity_I64 || ty == Ity_I32
2176 vassert(ty == Ity_I64 || ty == Ity_I32 || ty == Ity_I16 || ty == Ity_I8);
2179 if (e->tag == Iex_Get && ty == Ity_I64) {
2376 vassert(cal->Iex.CCall.retty == Ity_I64); /* else ill-typed IR */
4297 if (tya != Ity_I64 || end != Iend_LE)
4300 if (tyd == Ity_I64) {
4348 if (ty == Ity_I64) {
4424 if (ty == Ity_I64) {
4443 if (ty == Ity_I64
4460 if (ty == Ity_I64 || ty == Ity_I32
4523 case Ity_I64: case Ity_I32: case Ity_I16: case Ity_I8:
4549 case Ity_I64: case Ity_I32: case Ity_I16: case Ity_I8: {
4620 case Ity_I64: sz = 8; break;
4646 case Ity_I64:
4908 case Ity_I8: case Ity_I16: case Ity_I32: case Ity_I64: