Lines Matching refs:Ity_I64
366 //.. if (arg_ty == Ity_I64) {
386 vassert(typeOfIRExpr(env->type_env, e) == Ity_I64);
407 vassert(e->Iex.Get.ty == Ity_I64);
544 vassert(typeOfIRExpr(env->type_env, args[i]) == Ity_I64);
583 vassert(typeOfIRExpr(env->type_env, args[i]) == Ity_I64);
867 case Ity_I64: case Ity_I32: case Ity_I16: case Ity_I8: break;
887 if (ty == Ity_I64) {
1712 if (ty == Ity_I64) {
1744 if (ty == Ity_I64) {
1758 if (e->Iex.CCall.retty != Ity_I64 && e->Iex.CCall.retty != Ity_I32)
1766 if (e->Iex.CCall.retty == Ity_I64)
1777 if (ty == Ity_I64) {
1790 if ((ty == Ity_I64 || ty == Ity_I32 || ty == Ity_I16 || ty == Ity_I8)
1880 vassert(ty == Ity_I64);
1979 vassert(ty == Ity_I64 || ty == Ity_I32
2002 if (e->tag == Iex_Get && ty == Ity_I64) {
2008 if (e->tag == Iex_Load && ty == Ity_I64
2048 vassert(ty == Ity_I64 || ty == Ity_I32
2105 vassert(ty == Ity_I64 || ty == Ity_I32 || ty == Ity_I16 || ty == Ity_I8);
2108 if (e->tag == Iex_Get && ty == Ity_I64) {
2286 vassert(cal->Iex.CCall.retty == Ity_I64); /* else ill-typed IR */
2404 //.. vassert(e->Iex.LDle.ty == Ity_I64);
3817 if (tya != Ity_I64 || end != Iend_LE)
3820 if (tyd == Ity_I64) {
3858 if (ty == Ity_I64) {
3922 if (ty == Ity_I64) {
3941 if (ty == Ity_I64
3958 if (ty == Ity_I64 || ty == Ity_I32
4020 if (retty == Ity_I64 || retty == Ity_I32
4060 case Ity_I64: sz = 8; break;
4086 case Ity_I64:
4222 case Ity_I64: hreg = mkHReg(j++, HRcInt64, True); break;