
int __gmpf_eq(mpf_srcptr u,mpf_srcptr v,mp_bitcnt_t n_bits)

{
  uint *puVar1;
  mp_limb_t *pmVar2;
  mp_limb_t *pmVar3;
  uint uVar4;
  uint *puVar5;
  uint uVar6;
  int iVar7;
  int iVar8;
  uint uVar9;
  int iVar10;
  uint uVar11;
  uint uVar12;
  
  uVar4 = u->_mp_size;
  uVar6 = v->_mp_size;
  if ((int)(uVar4 ^ uVar6) < 0) {
    return 0;
  }
  if (uVar4 == 0) {
    return (uint)(uVar6 == 0);
  }
  if ((u->_mp_exp == v->_mp_exp) && (uVar6 != 0)) {
    uVar11 = (uVar4 ^ (int)uVar4 >> 0x1f) - ((int)uVar4 >> 0x1f);
    uVar6 = (uVar6 ^ (int)uVar6 >> 0x1f) - ((int)uVar6 >> 0x1f);
    pmVar2 = u->_mp_d;
    pmVar3 = v->_mp_d;
    uVar4 = 0x1f;
    if (pmVar2[uVar11 - 1] != 0) {
      for (; pmVar2[uVar11 - 1] >> uVar4 == 0; uVar4 = uVar4 - 1) {
      }
    }
    if (pmVar3[uVar6 - 1] >> (0x1fU - (char)(uVar4 ^ 0x1f) & 0x1f) != 1) {
      return 0;
    }
    iVar8 = (uVar4 ^ 0x1f) + n_bits;
    uVar4 = iVar8 + 0x1fU >> 5;
    uVar12 = uVar11;
    if ((int)uVar4 < (int)uVar11) {
      uVar12 = uVar4;
    }
    if ((int)uVar6 <= (int)uVar4) {
      uVar4 = uVar6;
    }
    uVar9 = uVar4;
    if ((int)uVar12 <= (int)uVar4) {
      uVar9 = uVar12;
    }
    iVar7 = uVar9 - 1;
    puVar1 = pmVar2 + (uVar11 - uVar9);
    puVar5 = pmVar3 + (uVar6 - uVar9);
    if (iVar7 < 1) {
LAB_0001e9b1:
      iVar10 = (uVar12 + uVar4) - uVar9;
      iVar7 = iVar10 - uVar9;
      if (iVar7 == 0) {
        uVar4 = *puVar5 ^ *puVar1;
      }
      else {
        if (*puVar1 != *puVar5) {
          return 0;
        }
        if ((int)uVar4 < (int)uVar12) {
          puVar5 = puVar1;
        }
        puVar5 = puVar5 + -iVar7;
        iVar7 = iVar7 + -1;
        if (0 < iVar7) {
          if (puVar5[iVar7] != 0) {
            return 0;
          }
          while (iVar7 = iVar7 + -1, iVar7 != 0) {
            if (puVar5[iVar7] != 0) {
              return 0;
            }
          }
        }
        uVar4 = *puVar5;
      }
      if ((uint)(iVar8 + (iVar10 + -1) * -0x20) < 0x20) {
        uVar4 = uVar4 >> (0x20U - (char)iVar8 & 0x1f);
      }
      return (uint)(uVar4 == 0);
    }
    if (pmVar2[uVar11 - 1] != pmVar3[uVar6 - 1]) {
      return 0;
    }
    do {
      iVar7 = iVar7 + -1;
      if (iVar7 == 0) goto LAB_0001e9b1;
    } while (puVar1[iVar7] == puVar5[iVar7]);
  }
  return 0;
}



bool __gmpf_eq(int param_1,int param_2,int param_3)

{
  uint *puVar1;
  uint uVar2;
  uint *puVar3;
  uint uVar4;
  int iVar5;
  int iVar6;
  int iVar7;
  uint uVar8;
  
  uVar2 = *(uint *)(param_1 + 4);
  uVar4 = *(uint *)(param_2 + 4);
  if ((int)(uVar2 ^ uVar4) < 0) {
    return false;
  }
  if (uVar2 == 0) {
    return uVar4 == 0;
  }
  if ((*(int *)(param_1 + 8) == *(int *)(param_2 + 8)) && (uVar4 != 0)) {
    uVar8 = (uVar2 ^ (int)uVar2 >> 0x1f) - ((int)uVar2 >> 0x1f);
    uVar4 = (uVar4 ^ (int)uVar4 >> 0x1f) - ((int)uVar4 >> 0x1f);
    iVar7 = uVar8 * 4 + *(int *)(param_1 + 0xc);
    iVar6 = uVar4 * 4 + *(int *)(param_2 + 0xc);
    uVar2 = 0x1f;
    if (*(uint *)(iVar7 + -4) != 0) {
      for (; *(uint *)(iVar7 + -4) >> uVar2 == 0; uVar2 = uVar2 - 1) {
      }
    }
    if (*(uint *)(iVar6 + -4) >> (0x1fU - (char)(uVar2 ^ 0x1f) & 0x1f) != 1) {
      return false;
    }
    param_3 = (uVar2 ^ 0x1f) + param_3;
    uVar2 = param_3 + 0x1fU >> 5;
    if ((int)uVar2 < (int)uVar8) {
      uVar8 = uVar2;
    }
    if ((int)uVar4 <= (int)uVar2) {
      uVar2 = uVar4;
    }
    uVar4 = uVar2;
    if ((int)uVar8 <= (int)uVar2) {
      uVar4 = uVar8;
    }
    iVar5 = uVar4 - 1;
    puVar1 = (uint *)(iVar7 + uVar4 * -4);
    puVar3 = (uint *)(uVar4 * -4 + iVar6);
    if (iVar5 < 1) {
LAB_0001e9b1:
      iVar7 = (uVar8 + uVar2) - uVar4;
      iVar6 = iVar7 - uVar4;
      if (iVar6 == 0) {
        uVar2 = *puVar3 ^ *puVar1;
      }
      else {
        if (*puVar1 != *puVar3) {
          return false;
        }
        if ((int)uVar2 < (int)uVar8) {
          puVar3 = puVar1;
        }
        puVar3 = puVar3 + -iVar6;
        iVar6 = iVar6 + -1;
        if (0 < iVar6) {
          if (puVar3[iVar6] != 0) {
            return false;
          }
          while (iVar6 = iVar6 + -1, iVar6 != 0) {
            if (puVar3[iVar6] != 0) {
              return false;
            }
          }
        }
        uVar2 = *puVar3;
      }
      if ((uint)(param_3 + (iVar7 + -1) * -0x20) < 0x20) {
        uVar2 = uVar2 >> (0x20U - (char)param_3 & 0x1f);
      }
      return uVar2 == 0;
    }
    if (*(int *)(iVar7 + -4) != *(int *)(iVar6 + -4)) {
      return false;
    }
    do {
      iVar5 = iVar5 + -1;
      if (iVar5 == 0) goto LAB_0001e9b1;
    } while (puVar1[iVar5] == puVar3[iVar5]);
  }
  return false;
}


PUSH EBP
XOR EAX,EAX
PUSH EDI
PUSH ESI
PUSH EBX
SUB ESP,0x10
MOV EBX,dword ptr [ESP + 0x24]
MOV EBP,dword ptr [ESP + 0x28]
MOV EDI,dword ptr [EBX + 0x4]
MOV EDX,dword ptr [EBP + 0x4]
MOV ESI,EDI
XOR ESI,EDX
JS 0x0001e8f8
TEST EDX,EDX
SETZ CL
MOV ESI,ECX
TEST EDI,EDI
JZ 0x0001e900
MOV ECX,dword ptr [EBP + 0x8]
CMP dword ptr [EBX + 0x8],ECX
JNZ 0x0001e8f6
MOV ECX,ESI
TEST CL,CL
JZ 0x0001e910
XOR EAX,EAX
ADD ESP,0x10
POP EBX
POP ESI
POP EDI
POP EBP
RET
ADD ESP,0x10
MOVZX EAX,CL
POP EBX
POP ESI
POP EDI
POP EBP
RET
MOV ESI,EDI
MOV ECX,0x1f
SAR ESI,0x1f
XOR EDI,ESI
SUB EDI,ESI
MOV ESI,EDX
SAR ESI,0x1f
XOR EDX,ESI
SUB EDX,ESI
LEA ESI,[EDI*0x4 + 0x0]
ADD ESI,dword ptr [EBX + 0xc]
LEA EBX,[EDX*0x4 + 0x0]
ADD EBX,dword ptr [EBP + 0xc]
BSR EBP,dword ptr [ESI + -0x4]
MOV dword ptr [ESP],ESI
MOV ESI,dword ptr [EBX + -0x4]
XOR EBP,0x1f
SUB ECX,EBP
SHR ESI,CL
CMP ESI,0x1
JNZ 0x0001e8f8
ADD EBP,dword ptr [ESP + 0x2c]
MOV ESI,dword ptr [ESP]
LEA ECX,[EBP + 0x1f]
MOV dword ptr [ESP + 0xc],EBP
SHR ECX,0x5
CMP EDI,ECX
MOV EBP,ECX
CMOVG EDI,ECX
CMP EDX,ECX
CMOVLE EBP,EDX
MOV dword ptr [ESP + 0x4],EDI
CMP EDI,EBP
MOV dword ptr [ESP + 0x8],EBP
CMOVLE EBP,EDI
LEA ECX,[EBP*0x4 + 0x0]
LEA EDX,[EBP + -0x1]
NEG ECX
LEA EDI,[ESI + ECX*0x1]
ADD ECX,EBX
TEST EDX,EDX
JLE 0x0001e9b1
MOV EBX,dword ptr [EBX + -0x4]
CMP dword ptr [ESI + -0x4],EBX
JZ 0x0001e9ac
JMP 0x0001e8f8
MOV EAX,dword ptr [ECX + EDX*0x4]
CMP dword ptr [EDI + EDX*0x4],EAX
JNZ 0x0001e8f6
SUB EDX,0x1
JNZ 0x0001e9a0
MOV ESI,dword ptr [ESP + 0x4]
ADD ESI,dword ptr [ESP + 0x8]
SUB ESI,EBP
MOV EBX,dword ptr [EDI]
MOV EDX,dword ptr [ECX]
MOV EAX,ESI
SUB EAX,EBP
MOV EBP,EAX
JZ 0x0001ea40
XOR EAX,EAX
CMP EBX,EDX
JNZ 0x0001e8f8
LEA EDX,[EBP*0x4 + 0x0]
NEG EDX
ADD EDI,EDX
ADD EDX,ECX
MOV ECX,dword ptr [ESP + 0x8]
CMP dword ptr [ESP + 0x4],ECX
CMOVG EDX,EDI
SUB EBP,0x1
TEST EBP,EBP
JLE 0x0001ea10
MOV ECX,dword ptr [EDX + EBP*0x4]
TEST ECX,ECX
JZ 0x0001ea0b
JMP 0x0001e8f8
MOV EAX,dword ptr [EDX + EBP*0x4]
TEST EAX,EAX
JNZ 0x0001e8f6
SUB EBP,0x1
JNZ 0x0001ea00
MOV EDX,dword ptr [EDX]
MOV EBX,dword ptr [ESP + 0xc]
SUB ESI,0x1
SHL ESI,0x5
MOV EAX,EBX
SUB EAX,ESI
CMP EAX,0x1f
JA 0x0001ea2c
SUB ESI,EBX
LEA ECX,[ESI + 0x20]
SHR EDX,CL
XOR EAX,EAX
TEST EDX,EDX
SETZ AL
JMP 0x0001e8f8
XOR EDX,EBX
JMP 0x0001ea12
(translation_unit "bool __gmpf_eq(int param_1,int param_2,int param_3)\n\n{\n  uint *puVar1;\n  uint uVar2;\n  uint *puVar3;\n  uint uVar4;\n  int iVar5;\n  int iVar6;\n  int iVar7;\n  uint uVar8;\n  \n  uVar2 = *(uint *)(param_1 + 4);\n  uVar4 = *(uint *)(param_2 + 4);\n  if ((int)(uVar2 ^ uVar4) < 0) {\n    return false;\n  }\n  if (uVar2 == 0) {\n    return uVar4 == 0;\n  }\n  if ((*(int *)(param_1 + 8) == *(int *)(param_2 + 8)) && (uVar4 != 0)) {\n    uVar8 = (uVar2 ^ (int)uVar2 >> 0x1f) - ((int)uVar2 >> 0x1f);\n    uVar4 = (uVar4 ^ (int)uVar4 >> 0x1f) - ((int)uVar4 >> 0x1f);\n    iVar7 = uVar8 * 4 + *(int *)(param_1 + 0xc);\n    iVar6 = uVar4 * 4 + *(int *)(param_2 + 0xc);\n    uVar2 = 0x1f;\n    if (*(uint *)(iVar7 + -4) != 0) {\n      for (; *(uint *)(iVar7 + -4) >> uVar2 == 0; uVar2 = uVar2 - 1) {\n      }\n    }\n    if (*(uint *)(iVar6 + -4) >> (0x1fU - (char)(uVar2 ^ 0x1f) & 0x1f) != 1) {\n      return false;\n    }\n    param_3 = (uVar2 ^ 0x1f) + param_3;\n    uVar2 = param_3 + 0x1fU >> 5;\n    if ((int)uVar2 < (int)uVar8) {\n      uVar8 = uVar2;\n    }\n    if ((int)uVar4 <= (int)uVar2) {\n      uVar2 = uVar4;\n    }\n    uVar4 = uVar2;\n    if ((int)uVar8 <= (int)uVar2) {\n      uVar4 = uVar8;\n    }\n    iVar5 = uVar4 - 1;\n    puVar1 = (uint *)(iVar7 + uVar4 * -4);\n    puVar3 = (uint *)(uVar4 * -4 + iVar6);\n    if (iVar5 < 1) {\nLAB_0001e9b1:\n      iVar7 = (uVar8 + uVar2) - uVar4;\n      iVar6 = iVar7 - uVar4;\n      if (iVar6 == 0) {\n        uVar2 = *puVar3 ^ *puVar1;\n      }\n      else {\n        if (*puVar1 != *puVar3) {\n          return false;\n        }\n        if ((int)uVar2 < (int)uVar8) {\n          puVar3 = puVar1;\n        }\n        puVar3 = puVar3 + -iVar6;\n        iVar6 = iVar6 + -1;\n        if (0 < iVar6) {\n          if (puVar3[iVar6] != 0) {\n            return false;\n          }\n          while (iVar6 = iVar6 + -1, iVar6 != 0) {\n            if (puVar3[iVar6] != 0) {\n              return false;\n            }\n          }\n        }\n        uVar2 = *puVar3;\n      }\n      if ((uint)(param_3 + (iVar7 + -1) * -0x20) < 0x20) {\n        uVar2 = uVar2 >> (0x20U - (char)param_3 & 0x1f);\n      }\n      return uVar2 == 0;\n    }\n    if (*(int *)(iVar7 + -4) != *(int *)(iVar6 + -4)) {\n      return false;\n    }\n    do {\n      iVar5 = iVar5 + -1;\n      if (iVar5 == 0) goto LAB_0001e9b1;\n    } while (puVar1[iVar5] == puVar3[iVar5]);\n  }\n  return false;\n}\n\n" (function_definition "bool __gmpf_eq(int param_1,int param_2,int param_3)\n\n{\n  uint *puVar1;\n  uint uVar2;\n  uint *puVar3;\n  uint uVar4;\n  int iVar5;\n  int iVar6;\n  int iVar7;\n  uint uVar8;\n  \n  uVar2 = *(uint *)(param_1 + 4);\n  uVar4 = *(uint *)(param_2 + 4);\n  if ((int)(uVar2 ^ uVar4) < 0) {\n    return false;\n  }\n  if (uVar2 == 0) {\n    return uVar4 == 0;\n  }\n  if ((*(int *)(param_1 + 8) == *(int *)(param_2 + 8)) && (uVar4 != 0)) {\n    uVar8 = (uVar2 ^ (int)uVar2 >> 0x1f) - ((int)uVar2 >> 0x1f);\n    uVar4 = (uVar4 ^ (int)uVar4 >> 0x1f) - ((int)uVar4 >> 0x1f);\n    iVar7 = uVar8 * 4 + *(int *)(param_1 + 0xc);\n    iVar6 = uVar4 * 4 + *(int *)(param_2 + 0xc);\n    uVar2 = 0x1f;\n    if (*(uint *)(iVar7 + -4) != 0) {\n      for (; *(uint *)(iVar7 + -4) >> uVar2 == 0; uVar2 = uVar2 - 1) {\n      }\n    }\n    if (*(uint *)(iVar6 + -4) >> (0x1fU - (char)(uVar2 ^ 0x1f) & 0x1f) != 1) {\n      return false;\n    }\n    param_3 = (uVar2 ^ 0x1f) + param_3;\n    uVar2 = param_3 + 0x1fU >> 5;\n    if ((int)uVar2 < (int)uVar8) {\n      uVar8 = uVar2;\n    }\n    if ((int)uVar4 <= (int)uVar2) {\n      uVar2 = uVar4;\n    }\n    uVar4 = uVar2;\n    if ((int)uVar8 <= (int)uVar2) {\n      uVar4 = uVar8;\n    }\n    iVar5 = uVar4 - 1;\n    puVar1 = (uint *)(iVar7 + uVar4 * -4);\n    puVar3 = (uint *)(uVar4 * -4 + iVar6);\n    if (iVar5 < 1) {\nLAB_0001e9b1:\n      iVar7 = (uVar8 + uVar2) - uVar4;\n      iVar6 = iVar7 - uVar4;\n      if (iVar6 == 0) {\n        uVar2 = *puVar3 ^ *puVar1;\n      }\n      else {\n        if (*puVar1 != *puVar3) {\n          return false;\n        }\n        if ((int)uVar2 < (int)uVar8) {\n          puVar3 = puVar1;\n        }\n        puVar3 = puVar3 + -iVar6;\n        iVar6 = iVar6 + -1;\n        if (0 < iVar6) {\n          if (puVar3[iVar6] != 0) {\n            return false;\n          }\n          while (iVar6 = iVar6 + -1, iVar6 != 0) {\n            if (puVar3[iVar6] != 0) {\n              return false;\n            }\n          }\n        }\n        uVar2 = *puVar3;\n      }\n      if ((uint)(param_3 + (iVar7 + -1) * -0x20) < 0x20) {\n        uVar2 = uVar2 >> (0x20U - (char)param_3 & 0x1f);\n      }\n      return uVar2 == 0;\n    }\n    if (*(int *)(iVar7 + -4) != *(int *)(iVar6 + -4)) {\n      return false;\n    }\n    do {\n      iVar5 = iVar5 + -1;\n      if (iVar5 == 0) goto LAB_0001e9b1;\n    } while (puVar1[iVar5] == puVar3[iVar5]);\n  }\n  return false;\n}" primitive_type (function_declarator "__gmpf_eq(int param_1,int param_2,int param_3)" identifier (parameter_list "(int param_1,int param_2,int param_3)" ( (parameter_declaration "int param_1" primitive_type identifier) , (parameter_declaration "int param_2" primitive_type identifier) , (parameter_declaration "int param_3" primitive_type identifier) ))) (compound_statement "{\n  uint *puVar1;\n  uint uVar2;\n  uint *puVar3;\n  uint uVar4;\n  int iVar5;\n  int iVar6;\n  int iVar7;\n  uint uVar8;\n  \n  uVar2 = *(uint *)(param_1 + 4);\n  uVar4 = *(uint *)(param_2 + 4);\n  if ((int)(uVar2 ^ uVar4) < 0) {\n    return false;\n  }\n  if (uVar2 == 0) {\n    return uVar4 == 0;\n  }\n  if ((*(int *)(param_1 + 8) == *(int *)(param_2 + 8)) && (uVar4 != 0)) {\n    uVar8 = (uVar2 ^ (int)uVar2 >> 0x1f) - ((int)uVar2 >> 0x1f);\n    uVar4 = (uVar4 ^ (int)uVar4 >> 0x1f) - ((int)uVar4 >> 0x1f);\n    iVar7 = uVar8 * 4 + *(int *)(param_1 + 0xc);\n    iVar6 = uVar4 * 4 + *(int *)(param_2 + 0xc);\n    uVar2 = 0x1f;\n    if (*(uint *)(iVar7 + -4) != 0) {\n      for (; *(uint *)(iVar7 + -4) >> uVar2 == 0; uVar2 = uVar2 - 1) {\n      }\n    }\n    if (*(uint *)(iVar6 + -4) >> (0x1fU - (char)(uVar2 ^ 0x1f) & 0x1f) != 1) {\n      return false;\n    }\n    param_3 = (uVar2 ^ 0x1f) + param_3;\n    uVar2 = param_3 + 0x1fU >> 5;\n    if ((int)uVar2 < (int)uVar8) {\n      uVar8 = uVar2;\n    }\n    if ((int)uVar4 <= (int)uVar2) {\n      uVar2 = uVar4;\n    }\n    uVar4 = uVar2;\n    if ((int)uVar8 <= (int)uVar2) {\n      uVar4 = uVar8;\n    }\n    iVar5 = uVar4 - 1;\n    puVar1 = (uint *)(iVar7 + uVar4 * -4);\n    puVar3 = (uint *)(uVar4 * -4 + iVar6);\n    if (iVar5 < 1) {\nLAB_0001e9b1:\n      iVar7 = (uVar8 + uVar2) - uVar4;\n      iVar6 = iVar7 - uVar4;\n      if (iVar6 == 0) {\n        uVar2 = *puVar3 ^ *puVar1;\n      }\n      else {\n        if (*puVar1 != *puVar3) {\n          return false;\n        }\n        if ((int)uVar2 < (int)uVar8) {\n          puVar3 = puVar1;\n        }\n        puVar3 = puVar3 + -iVar6;\n        iVar6 = iVar6 + -1;\n        if (0 < iVar6) {\n          if (puVar3[iVar6] != 0) {\n            return false;\n          }\n          while (iVar6 = iVar6 + -1, iVar6 != 0) {\n            if (puVar3[iVar6] != 0) {\n              return false;\n            }\n          }\n        }\n        uVar2 = *puVar3;\n      }\n      if ((uint)(param_3 + (iVar7 + -1) * -0x20) < 0x20) {\n        uVar2 = uVar2 >> (0x20U - (char)param_3 & 0x1f);\n      }\n      return uVar2 == 0;\n    }\n    if (*(int *)(iVar7 + -4) != *(int *)(iVar6 + -4)) {\n      return false;\n    }\n    do {\n      iVar5 = iVar5 + -1;\n      if (iVar5 == 0) goto LAB_0001e9b1;\n    } while (puVar1[iVar5] == puVar3[iVar5]);\n  }\n  return false;\n}" { (declaration "uint *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "uint *puVar3;" type_identifier (pointer_declarator "*puVar3" * identifier) ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "int iVar5;" primitive_type identifier ;) (declaration "int iVar6;" primitive_type identifier ;) (declaration "int iVar7;" primitive_type identifier ;) (declaration "uint uVar8;" type_identifier identifier ;) (expression_statement "uVar2 = *(uint *)(param_1 + 4);" (assignment_expression "uVar2 = *(uint *)(param_1 + 4)" identifier = (pointer_expression "*(uint *)(param_1 + 4)" * (cast_expression "(uint *)(param_1 + 4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 4)" ( (binary_expression "param_1 + 4" identifier + number_literal) ))))) ;) (expression_statement "uVar4 = *(uint *)(param_2 + 4);" (assignment_expression "uVar4 = *(uint *)(param_2 + 4)" identifier = (pointer_expression "*(uint *)(param_2 + 4)" * (cast_expression "(uint *)(param_2 + 4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 4)" ( (binary_expression "param_2 + 4" identifier + number_literal) ))))) ;) (if_statement "if ((int)(uVar2 ^ uVar4) < 0) {\n    return false;\n  }" if (parenthesized_expression "((int)(uVar2 ^ uVar4) < 0)" ( (binary_expression "(int)(uVar2 ^ uVar4) < 0" (cast_expression "(int)(uVar2 ^ uVar4)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "(uVar2 ^ uVar4)" ( (binary_expression "uVar2 ^ uVar4" identifier ^ identifier) ))) < number_literal) )) (compound_statement "{\n    return false;\n  }" { (return_statement "return false;" return false ;) })) (if_statement "if (uVar2 == 0) {\n    return uVar4 == 0;\n  }" if (parenthesized_expression "(uVar2 == 0)" ( (binary_expression "uVar2 == 0" identifier == number_literal) )) (compound_statement "{\n    return uVar4 == 0;\n  }" { (return_statement "return uVar4 == 0;" return (binary_expression "uVar4 == 0" identifier == number_literal) ;) })) (if_statement "if ((*(int *)(param_1 + 8) == *(int *)(param_2 + 8)) && (uVar4 != 0)) {\n    uVar8 = (uVar2 ^ (int)uVar2 >> 0x1f) - ((int)uVar2 >> 0x1f);\n    uVar4 = (uVar4 ^ (int)uVar4 >> 0x1f) - ((int)uVar4 >> 0x1f);\n    iVar7 = uVar8 * 4 + *(int *)(param_1 + 0xc);\n    iVar6 = uVar4 * 4 + *(int *)(param_2 + 0xc);\n    uVar2 = 0x1f;\n    if (*(uint *)(iVar7 + -4) != 0) {\n      for (; *(uint *)(iVar7 + -4) >> uVar2 == 0; uVar2 = uVar2 - 1) {\n      }\n    }\n    if (*(uint *)(iVar6 + -4) >> (0x1fU - (char)(uVar2 ^ 0x1f) & 0x1f) != 1) {\n      return false;\n    }\n    param_3 = (uVar2 ^ 0x1f) + param_3;\n    uVar2 = param_3 + 0x1fU >> 5;\n    if ((int)uVar2 < (int)uVar8) {\n      uVar8 = uVar2;\n    }\n    if ((int)uVar4 <= (int)uVar2) {\n      uVar2 = uVar4;\n    }\n    uVar4 = uVar2;\n    if ((int)uVar8 <= (int)uVar2) {\n      uVar4 = uVar8;\n    }\n    iVar5 = uVar4 - 1;\n    puVar1 = (uint *)(iVar7 + uVar4 * -4);\n    puVar3 = (uint *)(uVar4 * -4 + iVar6);\n    if (iVar5 < 1) {\nLAB_0001e9b1:\n      iVar7 = (uVar8 + uVar2) - uVar4;\n      iVar6 = iVar7 - uVar4;\n      if (iVar6 == 0) {\n        uVar2 = *puVar3 ^ *puVar1;\n      }\n      else {\n        if (*puVar1 != *puVar3) {\n          return false;\n        }\n        if ((int)uVar2 < (int)uVar8) {\n          puVar3 = puVar1;\n        }\n        puVar3 = puVar3 + -iVar6;\n        iVar6 = iVar6 + -1;\n        if (0 < iVar6) {\n          if (puVar3[iVar6] != 0) {\n            return false;\n          }\n          while (iVar6 = iVar6 + -1, iVar6 != 0) {\n            if (puVar3[iVar6] != 0) {\n              return false;\n            }\n          }\n        }\n        uVar2 = *puVar3;\n      }\n      if ((uint)(param_3 + (iVar7 + -1) * -0x20) < 0x20) {\n        uVar2 = uVar2 >> (0x20U - (char)param_3 & 0x1f);\n      }\n      return uVar2 == 0;\n    }\n    if (*(int *)(iVar7 + -4) != *(int *)(iVar6 + -4)) {\n      return false;\n    }\n    do {\n      iVar5 = iVar5 + -1;\n      if (iVar5 == 0) goto LAB_0001e9b1;\n    } while (puVar1[iVar5] == puVar3[iVar5]);\n  }" if (parenthesized_expression "((*(int *)(param_1 + 8) == *(int *)(param_2 + 8)) && (uVar4 != 0))" ( (binary_expression "(*(int *)(param_1 + 8) == *(int *)(param_2 + 8)) && (uVar4 != 0)" (parenthesized_expression "(*(int *)(param_1 + 8) == *(int *)(param_2 + 8))" ( (binary_expression "*(int *)(param_1 + 8) == *(int *)(param_2 + 8)" (pointer_expression "*(int *)(param_1 + 8)" * (cast_expression "(int *)(param_1 + 8)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 8)" ( (binary_expression "param_1 + 8" identifier + number_literal) )))) == (pointer_expression "*(int *)(param_2 + 8)" * (cast_expression "(int *)(param_2 + 8)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 8)" ( (binary_expression "param_2 + 8" identifier + number_literal) ))))) )) && (parenthesized_expression "(uVar4 != 0)" ( (binary_expression "uVar4 != 0" identifier != number_literal) ))) )) (compound_statement "{\n    uVar8 = (uVar2 ^ (int)uVar2 >> 0x1f) - ((int)uVar2 >> 0x1f);\n    uVar4 = (uVar4 ^ (int)uVar4 >> 0x1f) - ((int)uVar4 >> 0x1f);\n    iVar7 = uVar8 * 4 + *(int *)(param_1 + 0xc);\n    iVar6 = uVar4 * 4 + *(int *)(param_2 + 0xc);\n    uVar2 = 0x1f;\n    if (*(uint *)(iVar7 + -4) != 0) {\n      for (; *(uint *)(iVar7 + -4) >> uVar2 == 0; uVar2 = uVar2 - 1) {\n      }\n    }\n    if (*(uint *)(iVar6 + -4) >> (0x1fU - (char)(uVar2 ^ 0x1f) & 0x1f) != 1) {\n      return false;\n    }\n    param_3 = (uVar2 ^ 0x1f) + param_3;\n    uVar2 = param_3 + 0x1fU >> 5;\n    if ((int)uVar2 < (int)uVar8) {\n      uVar8 = uVar2;\n    }\n    if ((int)uVar4 <= (int)uVar2) {\n      uVar2 = uVar4;\n    }\n    uVar4 = uVar2;\n    if ((int)uVar8 <= (int)uVar2) {\n      uVar4 = uVar8;\n    }\n    iVar5 = uVar4 - 1;\n    puVar1 = (uint *)(iVar7 + uVar4 * -4);\n    puVar3 = (uint *)(uVar4 * -4 + iVar6);\n    if (iVar5 < 1) {\nLAB_0001e9b1:\n      iVar7 = (uVar8 + uVar2) - uVar4;\n      iVar6 = iVar7 - uVar4;\n      if (iVar6 == 0) {\n        uVar2 = *puVar3 ^ *puVar1;\n      }\n      else {\n        if (*puVar1 != *puVar3) {\n          return false;\n        }\n        if ((int)uVar2 < (int)uVar8) {\n          puVar3 = puVar1;\n        }\n        puVar3 = puVar3 + -iVar6;\n        iVar6 = iVar6 + -1;\n        if (0 < iVar6) {\n          if (puVar3[iVar6] != 0) {\n            return false;\n          }\n          while (iVar6 = iVar6 + -1, iVar6 != 0) {\n            if (puVar3[iVar6] != 0) {\n              return false;\n            }\n          }\n        }\n        uVar2 = *puVar3;\n      }\n      if ((uint)(param_3 + (iVar7 + -1) * -0x20) < 0x20) {\n        uVar2 = uVar2 >> (0x20U - (char)param_3 & 0x1f);\n      }\n      return uVar2 == 0;\n    }\n    if (*(int *)(iVar7 + -4) != *(int *)(iVar6 + -4)) {\n      return false;\n    }\n    do {\n      iVar5 = iVar5 + -1;\n      if (iVar5 == 0) goto LAB_0001e9b1;\n    } while (puVar1[iVar5] == puVar3[iVar5]);\n  }" { (expression_statement "uVar8 = (uVar2 ^ (int)uVar2 >> 0x1f) - ((int)uVar2 >> 0x1f);" (assignment_expression "uVar8 = (uVar2 ^ (int)uVar2 >> 0x1f) - ((int)uVar2 >> 0x1f)" identifier = (binary_expression "(uVar2 ^ (int)uVar2 >> 0x1f) - ((int)uVar2 >> 0x1f)" (parenthesized_expression "(uVar2 ^ (int)uVar2 >> 0x1f)" ( (binary_expression "uVar2 ^ (int)uVar2 >> 0x1f" identifier ^ (binary_expression "(int)uVar2 >> 0x1f" (cast_expression "(int)uVar2" ( (type_descriptor "int" primitive_type) ) identifier) >> number_literal)) )) - (parenthesized_expression "((int)uVar2 >> 0x1f)" ( (binary_expression "(int)uVar2 >> 0x1f" (cast_expression "(int)uVar2" ( (type_descriptor "int" primitive_type) ) identifier) >> number_literal) )))) ;) (expression_statement "uVar4 = (uVar4 ^ (int)uVar4 >> 0x1f) - ((int)uVar4 >> 0x1f);" (assignment_expression "uVar4 = (uVar4 ^ (int)uVar4 >> 0x1f) - ((int)uVar4 >> 0x1f)" identifier = (binary_expression "(uVar4 ^ (int)uVar4 >> 0x1f) - ((int)uVar4 >> 0x1f)" (parenthesized_expression "(uVar4 ^ (int)uVar4 >> 0x1f)" ( (binary_expression "uVar4 ^ (int)uVar4 >> 0x1f" identifier ^ (binary_expression "(int)uVar4 >> 0x1f" (cast_expression "(int)uVar4" ( (type_descriptor "int" primitive_type) ) identifier) >> number_literal)) )) - (parenthesized_expression "((int)uVar4 >> 0x1f)" ( (binary_expression "(int)uVar4 >> 0x1f" (cast_expression "(int)uVar4" ( (type_descriptor "int" primitive_type) ) identifier) >> number_literal) )))) ;) (expression_statement "iVar7 = uVar8 * 4 + *(int *)(param_1 + 0xc);" (assignment_expression "iVar7 = uVar8 * 4 + *(int *)(param_1 + 0xc)" identifier = (binary_expression "uVar8 * 4 + *(int *)(param_1 + 0xc)" (binary_expression "uVar8 * 4" identifier * number_literal) + (pointer_expression "*(int *)(param_1 + 0xc)" * (cast_expression "(int *)(param_1 + 0xc)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0xc)" ( (binary_expression "param_1 + 0xc" identifier + number_literal) )))))) ;) (expression_statement "iVar6 = uVar4 * 4 + *(int *)(param_2 + 0xc);" (assignment_expression "iVar6 = uVar4 * 4 + *(int *)(param_2 + 0xc)" identifier = (binary_expression "uVar4 * 4 + *(int *)(param_2 + 0xc)" (binary_expression "uVar4 * 4" identifier * number_literal) + (pointer_expression "*(int *)(param_2 + 0xc)" * (cast_expression "(int *)(param_2 + 0xc)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 0xc)" ( (binary_expression "param_2 + 0xc" identifier + number_literal) )))))) ;) (expression_statement "uVar2 = 0x1f;" (assignment_expression "uVar2 = 0x1f" identifier = number_literal) ;) (if_statement "if (*(uint *)(iVar7 + -4) != 0) {\n      for (; *(uint *)(iVar7 + -4) >> uVar2 == 0; uVar2 = uVar2 - 1) {\n      }\n    }" if (parenthesized_expression "(*(uint *)(iVar7 + -4) != 0)" ( (binary_expression "*(uint *)(iVar7 + -4) != 0" (pointer_expression "*(uint *)(iVar7 + -4)" * (cast_expression "(uint *)(iVar7 + -4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(iVar7 + -4)" ( (binary_expression "iVar7 + -4" identifier + number_literal) )))) != number_literal) )) (compound_statement "{\n      for (; *(uint *)(iVar7 + -4) >> uVar2 == 0; uVar2 = uVar2 - 1) {\n      }\n    }" { (for_statement "for (; *(uint *)(iVar7 + -4) >> uVar2 == 0; uVar2 = uVar2 - 1) {\n      }" for ( ; (binary_expression "*(uint *)(iVar7 + -4) >> uVar2 == 0" (binary_expression "*(uint *)(iVar7 + -4) >> uVar2" (pointer_expression "*(uint *)(iVar7 + -4)" * (cast_expression "(uint *)(iVar7 + -4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(iVar7 + -4)" ( (binary_expression "iVar7 + -4" identifier + number_literal) )))) >> identifier) == number_literal) ; (assignment_expression "uVar2 = uVar2 - 1" identifier = (binary_expression "uVar2 - 1" identifier - number_literal)) ) (compound_statement "{\n      }" { })) })) (if_statement "if (*(uint *)(iVar6 + -4) >> (0x1fU - (char)(uVar2 ^ 0x1f) & 0x1f) != 1) {\n      return false;\n    }" if (parenthesized_expression "(*(uint *)(iVar6 + -4) >> (0x1fU - (char)(uVar2 ^ 0x1f) & 0x1f) != 1)" ( (binary_expression "*(uint *)(iVar6 + -4) >> (0x1fU - (char)(uVar2 ^ 0x1f) & 0x1f) != 1" (binary_expression "*(uint *)(iVar6 + -4) >> (0x1fU - (char)(uVar2 ^ 0x1f) & 0x1f)" (pointer_expression "*(uint *)(iVar6 + -4)" * (cast_expression "(uint *)(iVar6 + -4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(iVar6 + -4)" ( (binary_expression "iVar6 + -4" identifier + number_literal) )))) >> (parenthesized_expression "(0x1fU - (char)(uVar2 ^ 0x1f) & 0x1f)" ( (binary_expression "0x1fU - (char)(uVar2 ^ 0x1f) & 0x1f" (binary_expression "0x1fU - (char)(uVar2 ^ 0x1f)" number_literal - (cast_expression "(char)(uVar2 ^ 0x1f)" ( (type_descriptor "char" primitive_type) ) (parenthesized_expression "(uVar2 ^ 0x1f)" ( (binary_expression "uVar2 ^ 0x1f" identifier ^ number_literal) )))) & number_literal) ))) != number_literal) )) (compound_statement "{\n      return false;\n    }" { (return_statement "return false;" return false ;) })) (expression_statement "param_3 = (uVar2 ^ 0x1f) + param_3;" (assignment_expression "param_3 = (uVar2 ^ 0x1f) + param_3" identifier = (binary_expression "(uVar2 ^ 0x1f) + param_3" (parenthesized_expression "(uVar2 ^ 0x1f)" ( (binary_expression "uVar2 ^ 0x1f" identifier ^ number_literal) )) + identifier)) ;) (expression_statement "uVar2 = param_3 + 0x1fU >> 5;" (assignment_expression "uVar2 = param_3 + 0x1fU >> 5" identifier = (binary_expression "param_3 + 0x1fU >> 5" (binary_expression "param_3 + 0x1fU" identifier + number_literal) >> number_literal)) ;) (if_statement "if ((int)uVar2 < (int)uVar8) {\n      uVar8 = uVar2;\n    }" if (parenthesized_expression "((int)uVar2 < (int)uVar8)" ( (binary_expression "(int)uVar2 < (int)uVar8" (cast_expression "(int)uVar2" ( (type_descriptor "int" primitive_type) ) identifier) < (cast_expression "(int)uVar8" ( (type_descriptor "int" primitive_type) ) identifier)) )) (compound_statement "{\n      uVar8 = uVar2;\n    }" { (expression_statement "uVar8 = uVar2;" (assignment_expression "uVar8 = uVar2" identifier = identifier) ;) })) (if_statement "if ((int)uVar4 <= (int)uVar2) {\n      uVar2 = uVar4;\n    }" if (parenthesized_expression "((int)uVar4 <= (int)uVar2)" ( (binary_expression "(int)uVar4 <= (int)uVar2" (cast_expression "(int)uVar4" ( (type_descriptor "int" primitive_type) ) identifier) <= (cast_expression "(int)uVar2" ( (type_descriptor "int" primitive_type) ) identifier)) )) (compound_statement "{\n      uVar2 = uVar4;\n    }" { (expression_statement "uVar2 = uVar4;" (assignment_expression "uVar2 = uVar4" identifier = identifier) ;) })) (expression_statement "uVar4 = uVar2;" (assignment_expression "uVar4 = uVar2" identifier = identifier) ;) (if_statement "if ((int)uVar8 <= (int)uVar2) {\n      uVar4 = uVar8;\n    }" if (parenthesized_expression "((int)uVar8 <= (int)uVar2)" ( (binary_expression "(int)uVar8 <= (int)uVar2" (cast_expression "(int)uVar8" ( (type_descriptor "int" primitive_type) ) identifier) <= (cast_expression "(int)uVar2" ( (type_descriptor "int" primitive_type) ) identifier)) )) (compound_statement "{\n      uVar4 = uVar8;\n    }" { (expression_statement "uVar4 = uVar8;" (assignment_expression "uVar4 = uVar8" identifier = identifier) ;) })) (expression_statement "iVar5 = uVar4 - 1;" (assignment_expression "iVar5 = uVar4 - 1" identifier = (binary_expression "uVar4 - 1" identifier - number_literal)) ;) (expression_statement "puVar1 = (uint *)(iVar7 + uVar4 * -4);" (assignment_expression "puVar1 = (uint *)(iVar7 + uVar4 * -4)" identifier = (cast_expression "(uint *)(iVar7 + uVar4 * -4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(iVar7 + uVar4 * -4)" ( (binary_expression "iVar7 + uVar4 * -4" identifier + (binary_expression "uVar4 * -4" identifier * number_literal)) )))) ;) (expression_statement "puVar3 = (uint *)(uVar4 * -4 + iVar6);" (assignment_expression "puVar3 = (uint *)(uVar4 * -4 + iVar6)" identifier = (cast_expression "(uint *)(uVar4 * -4 + iVar6)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(uVar4 * -4 + iVar6)" ( (binary_expression "uVar4 * -4 + iVar6" (binary_expression "uVar4 * -4" identifier * number_literal) + identifier) )))) ;) (if_statement "if (iVar5 < 1) {\nLAB_0001e9b1:\n      iVar7 = (uVar8 + uVar2) - uVar4;\n      iVar6 = iVar7 - uVar4;\n      if (iVar6 == 0) {\n        uVar2 = *puVar3 ^ *puVar1;\n      }\n      else {\n        if (*puVar1 != *puVar3) {\n          return false;\n        }\n        if ((int)uVar2 < (int)uVar8) {\n          puVar3 = puVar1;\n        }\n        puVar3 = puVar3 + -iVar6;\n        iVar6 = iVar6 + -1;\n        if (0 < iVar6) {\n          if (puVar3[iVar6] != 0) {\n            return false;\n          }\n          while (iVar6 = iVar6 + -1, iVar6 != 0) {\n            if (puVar3[iVar6] != 0) {\n              return false;\n            }\n          }\n        }\n        uVar2 = *puVar3;\n      }\n      if ((uint)(param_3 + (iVar7 + -1) * -0x20) < 0x20) {\n        uVar2 = uVar2 >> (0x20U - (char)param_3 & 0x1f);\n      }\n      return uVar2 == 0;\n    }" if (parenthesized_expression "(iVar5 < 1)" ( (binary_expression "iVar5 < 1" identifier < number_literal) )) (compound_statement "{\nLAB_0001e9b1:\n      iVar7 = (uVar8 + uVar2) - uVar4;\n      iVar6 = iVar7 - uVar4;\n      if (iVar6 == 0) {\n        uVar2 = *puVar3 ^ *puVar1;\n      }\n      else {\n        if (*puVar1 != *puVar3) {\n          return false;\n        }\n        if ((int)uVar2 < (int)uVar8) {\n          puVar3 = puVar1;\n        }\n        puVar3 = puVar3 + -iVar6;\n        iVar6 = iVar6 + -1;\n        if (0 < iVar6) {\n          if (puVar3[iVar6] != 0) {\n            return false;\n          }\n          while (iVar6 = iVar6 + -1, iVar6 != 0) {\n            if (puVar3[iVar6] != 0) {\n              return false;\n            }\n          }\n        }\n        uVar2 = *puVar3;\n      }\n      if ((uint)(param_3 + (iVar7 + -1) * -0x20) < 0x20) {\n        uVar2 = uVar2 >> (0x20U - (char)param_3 & 0x1f);\n      }\n      return uVar2 == 0;\n    }" { (labeled_statement "LAB_0001e9b1:\n      iVar7 = (uVar8 + uVar2) - uVar4;" statement_identifier : (expression_statement "iVar7 = (uVar8 + uVar2) - uVar4;" (assignment_expression "iVar7 = (uVar8 + uVar2) - uVar4" identifier = (binary_expression "(uVar8 + uVar2) - uVar4" (parenthesized_expression "(uVar8 + uVar2)" ( (binary_expression "uVar8 + uVar2" identifier + identifier) )) - identifier)) ;)) (expression_statement "iVar6 = iVar7 - uVar4;" (assignment_expression "iVar6 = iVar7 - uVar4" identifier = (binary_expression "iVar7 - uVar4" identifier - identifier)) ;) (if_statement "if (iVar6 == 0) {\n        uVar2 = *puVar3 ^ *puVar1;\n      }\n      else {\n        if (*puVar1 != *puVar3) {\n          return false;\n        }\n        if ((int)uVar2 < (int)uVar8) {\n          puVar3 = puVar1;\n        }\n        puVar3 = puVar3 + -iVar6;\n        iVar6 = iVar6 + -1;\n        if (0 < iVar6) {\n          if (puVar3[iVar6] != 0) {\n            return false;\n          }\n          while (iVar6 = iVar6 + -1, iVar6 != 0) {\n            if (puVar3[iVar6] != 0) {\n              return false;\n            }\n          }\n        }\n        uVar2 = *puVar3;\n      }" if (parenthesized_expression "(iVar6 == 0)" ( (binary_expression "iVar6 == 0" identifier == number_literal) )) (compound_statement "{\n        uVar2 = *puVar3 ^ *puVar1;\n      }" { (expression_statement "uVar2 = *puVar3 ^ *puVar1;" (assignment_expression "uVar2 = *puVar3 ^ *puVar1" identifier = (binary_expression "*puVar3 ^ *puVar1" (pointer_expression "*puVar3" * identifier) ^ (pointer_expression "*puVar1" * identifier))) ;) }) (else_clause "else {\n        if (*puVar1 != *puVar3) {\n          return false;\n        }\n        if ((int)uVar2 < (int)uVar8) {\n          puVar3 = puVar1;\n        }\n        puVar3 = puVar3 + -iVar6;\n        iVar6 = iVar6 + -1;\n        if (0 < iVar6) {\n          if (puVar3[iVar6] != 0) {\n            return false;\n          }\n          while (iVar6 = iVar6 + -1, iVar6 != 0) {\n            if (puVar3[iVar6] != 0) {\n              return false;\n            }\n          }\n        }\n        uVar2 = *puVar3;\n      }" else (compound_statement "{\n        if (*puVar1 != *puVar3) {\n          return false;\n        }\n        if ((int)uVar2 < (int)uVar8) {\n          puVar3 = puVar1;\n        }\n        puVar3 = puVar3 + -iVar6;\n        iVar6 = iVar6 + -1;\n        if (0 < iVar6) {\n          if (puVar3[iVar6] != 0) {\n            return false;\n          }\n          while (iVar6 = iVar6 + -1, iVar6 != 0) {\n            if (puVar3[iVar6] != 0) {\n              return false;\n            }\n          }\n        }\n        uVar2 = *puVar3;\n      }" { (if_statement "if (*puVar1 != *puVar3) {\n          return false;\n        }" if (parenthesized_expression "(*puVar1 != *puVar3)" ( (binary_expression "*puVar1 != *puVar3" (pointer_expression "*puVar1" * identifier) != (pointer_expression "*puVar3" * identifier)) )) (compound_statement "{\n          return false;\n        }" { (return_statement "return false;" return false ;) })) (if_statement "if ((int)uVar2 < (int)uVar8) {\n          puVar3 = puVar1;\n        }" if (parenthesized_expression "((int)uVar2 < (int)uVar8)" ( (binary_expression "(int)uVar2 < (int)uVar8" (cast_expression "(int)uVar2" ( (type_descriptor "int" primitive_type) ) identifier) < (cast_expression "(int)uVar8" ( (type_descriptor "int" primitive_type) ) identifier)) )) (compound_statement "{\n          puVar3 = puVar1;\n        }" { (expression_statement "puVar3 = puVar1;" (assignment_expression "puVar3 = puVar1" identifier = identifier) ;) })) (expression_statement "puVar3 = puVar3 + -iVar6;" (assignment_expression "puVar3 = puVar3 + -iVar6" identifier = (binary_expression "puVar3 + -iVar6" identifier + (unary_expression "-iVar6" - identifier))) ;) (expression_statement "iVar6 = iVar6 + -1;" (assignment_expression "iVar6 = iVar6 + -1" identifier = (binary_expression "iVar6 + -1" identifier + number_literal)) ;) (if_statement "if (0 < iVar6) {\n          if (puVar3[iVar6] != 0) {\n            return false;\n          }\n          while (iVar6 = iVar6 + -1, iVar6 != 0) {\n            if (puVar3[iVar6] != 0) {\n              return false;\n            }\n          }\n        }" if (parenthesized_expression "(0 < iVar6)" ( (binary_expression "0 < iVar6" number_literal < identifier) )) (compound_statement "{\n          if (puVar3[iVar6] != 0) {\n            return false;\n          }\n          while (iVar6 = iVar6 + -1, iVar6 != 0) {\n            if (puVar3[iVar6] != 0) {\n              return false;\n            }\n          }\n        }" { (if_statement "if (puVar3[iVar6] != 0) {\n            return false;\n          }" if (parenthesized_expression "(puVar3[iVar6] != 0)" ( (binary_expression "puVar3[iVar6] != 0" (subscript_expression "puVar3[iVar6]" identifier [ identifier ]) != number_literal) )) (compound_statement "{\n            return false;\n          }" { (return_statement "return false;" return false ;) })) (while_statement "while (iVar6 = iVar6 + -1, iVar6 != 0) {\n            if (puVar3[iVar6] != 0) {\n              return false;\n            }\n          }" while (parenthesized_expression "(iVar6 = iVar6 + -1, iVar6 != 0)" ( (comma_expression "iVar6 = iVar6 + -1, iVar6 != 0" (assignment_expression "iVar6 = iVar6 + -1" identifier = (binary_expression "iVar6 + -1" identifier + number_literal)) , (binary_expression "iVar6 != 0" identifier != number_literal)) )) (compound_statement "{\n            if (puVar3[iVar6] != 0) {\n              return false;\n            }\n          }" { (if_statement "if (puVar3[iVar6] != 0) {\n              return false;\n            }" if (parenthesized_expression "(puVar3[iVar6] != 0)" ( (binary_expression "puVar3[iVar6] != 0" (subscript_expression "puVar3[iVar6]" identifier [ identifier ]) != number_literal) )) (compound_statement "{\n              return false;\n            }" { (return_statement "return false;" return false ;) })) })) })) (expression_statement "uVar2 = *puVar3;" (assignment_expression "uVar2 = *puVar3" identifier = (pointer_expression "*puVar3" * identifier)) ;) }))) (if_statement "if ((uint)(param_3 + (iVar7 + -1) * -0x20) < 0x20) {\n        uVar2 = uVar2 >> (0x20U - (char)param_3 & 0x1f);\n      }" if (parenthesized_expression "((uint)(param_3 + (iVar7 + -1) * -0x20) < 0x20)" ( (binary_expression "(uint)(param_3 + (iVar7 + -1) * -0x20) < 0x20" (call_expression "(uint)(param_3 + (iVar7 + -1) * -0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(param_3 + (iVar7 + -1) * -0x20)" ( (binary_expression "param_3 + (iVar7 + -1) * -0x20" identifier + (binary_expression "(iVar7 + -1) * -0x20" (parenthesized_expression "(iVar7 + -1)" ( (binary_expression "iVar7 + -1" identifier + number_literal) )) * number_literal)) ))) < number_literal) )) (compound_statement "{\n        uVar2 = uVar2 >> (0x20U - (char)param_3 & 0x1f);\n      }" { (expression_statement "uVar2 = uVar2 >> (0x20U - (char)param_3 & 0x1f);" (assignment_expression "uVar2 = uVar2 >> (0x20U - (char)param_3 & 0x1f)" identifier = (binary_expression "uVar2 >> (0x20U - (char)param_3 & 0x1f)" identifier >> (parenthesized_expression "(0x20U - (char)param_3 & 0x1f)" ( (binary_expression "0x20U - (char)param_3 & 0x1f" (binary_expression "0x20U - (char)param_3" number_literal - (cast_expression "(char)param_3" ( (type_descriptor "char" primitive_type) ) identifier)) & number_literal) )))) ;) })) (return_statement "return uVar2 == 0;" return (binary_expression "uVar2 == 0" identifier == number_literal) ;) })) (if_statement "if (*(int *)(iVar7 + -4) != *(int *)(iVar6 + -4)) {\n      return false;\n    }" if (parenthesized_expression "(*(int *)(iVar7 + -4) != *(int *)(iVar6 + -4))" ( (binary_expression "*(int *)(iVar7 + -4) != *(int *)(iVar6 + -4)" (pointer_expression "*(int *)(iVar7 + -4)" * (cast_expression "(int *)(iVar7 + -4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(iVar7 + -4)" ( (binary_expression "iVar7 + -4" identifier + number_literal) )))) != (pointer_expression "*(int *)(iVar6 + -4)" * (cast_expression "(int *)(iVar6 + -4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(iVar6 + -4)" ( (binary_expression "iVar6 + -4" identifier + number_literal) ))))) )) (compound_statement "{\n      return false;\n    }" { (return_statement "return false;" return false ;) })) (do_statement "do {\n      iVar5 = iVar5 + -1;\n      if (iVar5 == 0) goto LAB_0001e9b1;\n    } while (puVar1[iVar5] == puVar3[iVar5]);" do (compound_statement "{\n      iVar5 = iVar5 + -1;\n      if (iVar5 == 0) goto LAB_0001e9b1;\n    }" { (expression_statement "iVar5 = iVar5 + -1;" (assignment_expression "iVar5 = iVar5 + -1" identifier = (binary_expression "iVar5 + -1" identifier + number_literal)) ;) (if_statement "if (iVar5 == 0) goto LAB_0001e9b1;" if (parenthesized_expression "(iVar5 == 0)" ( (binary_expression "iVar5 == 0" identifier == number_literal) )) (goto_statement "goto LAB_0001e9b1;" goto statement_identifier ;)) }) while (parenthesized_expression "(puVar1[iVar5] == puVar3[iVar5])" ( (binary_expression "puVar1[iVar5] == puVar3[iVar5]" (subscript_expression "puVar1[iVar5]" identifier [ identifier ]) == (subscript_expression "puVar3[iVar5]" identifier [ identifier ])) )) ;) })) (return_statement "return false;" return false ;) })))
(translation_unit "int __gmpf_eq(mpf_srcptr u,mpf_srcptr v,mp_bitcnt_t n_bits)\n\n{\n  uint *puVar1;\n  mp_limb_t *pmVar2;\n  mp_limb_t *pmVar3;\n  uint uVar4;\n  uint *puVar5;\n  uint uVar6;\n  int iVar7;\n  int iVar8;\n  uint uVar9;\n  int iVar10;\n  uint uVar11;\n  uint uVar12;\n  \n  uVar4 = u->_mp_size;\n  uVar6 = v->_mp_size;\n  if ((int)(uVar4 ^ uVar6) < 0) {\n    return 0;\n  }\n  if (uVar4 == 0) {\n    return (uint)(uVar6 == 0);\n  }\n  if ((u->_mp_exp == v->_mp_exp) && (uVar6 != 0)) {\n    uVar11 = (uVar4 ^ (int)uVar4 >> 0x1f) - ((int)uVar4 >> 0x1f);\n    uVar6 = (uVar6 ^ (int)uVar6 >> 0x1f) - ((int)uVar6 >> 0x1f);\n    pmVar2 = u->_mp_d;\n    pmVar3 = v->_mp_d;\n    uVar4 = 0x1f;\n    if (pmVar2[uVar11 - 1] != 0) {\n      for (; pmVar2[uVar11 - 1] >> uVar4 == 0; uVar4 = uVar4 - 1) {\n      }\n    }\n    if (pmVar3[uVar6 - 1] >> (0x1fU - (char)(uVar4 ^ 0x1f) & 0x1f) != 1) {\n      return 0;\n    }\n    iVar8 = (uVar4 ^ 0x1f) + n_bits;\n    uVar4 = iVar8 + 0x1fU >> 5;\n    uVar12 = uVar11;\n    if ((int)uVar4 < (int)uVar11) {\n      uVar12 = uVar4;\n    }\n    if ((int)uVar6 <= (int)uVar4) {\n      uVar4 = uVar6;\n    }\n    uVar9 = uVar4;\n    if ((int)uVar12 <= (int)uVar4) {\n      uVar9 = uVar12;\n    }\n    iVar7 = uVar9 - 1;\n    puVar1 = pmVar2 + (uVar11 - uVar9);\n    puVar5 = pmVar3 + (uVar6 - uVar9);\n    if (iVar7 < 1) {\nLAB_0001e9b1:\n      iVar10 = (uVar12 + uVar4) - uVar9;\n      iVar7 = iVar10 - uVar9;\n      if (iVar7 == 0) {\n        uVar4 = *puVar5 ^ *puVar1;\n      }\n      else {\n        if (*puVar1 != *puVar5) {\n          return 0;\n        }\n        if ((int)uVar4 < (int)uVar12) {\n          puVar5 = puVar1;\n        }\n        puVar5 = puVar5 + -iVar7;\n        iVar7 = iVar7 + -1;\n        if (0 < iVar7) {\n          if (puVar5[iVar7] != 0) {\n            return 0;\n          }\n          while (iVar7 = iVar7 + -1, iVar7 != 0) {\n            if (puVar5[iVar7] != 0) {\n              return 0;\n            }\n          }\n        }\n        uVar4 = *puVar5;\n      }\n      if ((uint)(iVar8 + (iVar10 + -1) * -0x20) < 0x20) {\n        uVar4 = uVar4 >> (0x20U - (char)iVar8 & 0x1f);\n      }\n      return (uint)(uVar4 == 0);\n    }\n    if (pmVar2[uVar11 - 1] != pmVar3[uVar6 - 1]) {\n      return 0;\n    }\n    do {\n      iVar7 = iVar7 + -1;\n      if (iVar7 == 0) goto LAB_0001e9b1;\n    } while (puVar1[iVar7] == puVar5[iVar7]);\n  }\n  return 0;\n}\n\n" (function_definition "int __gmpf_eq(mpf_srcptr u,mpf_srcptr v,mp_bitcnt_t n_bits)\n\n{\n  uint *puVar1;\n  mp_limb_t *pmVar2;\n  mp_limb_t *pmVar3;\n  uint uVar4;\n  uint *puVar5;\n  uint uVar6;\n  int iVar7;\n  int iVar8;\n  uint uVar9;\n  int iVar10;\n  uint uVar11;\n  uint uVar12;\n  \n  uVar4 = u->_mp_size;\n  uVar6 = v->_mp_size;\n  if ((int)(uVar4 ^ uVar6) < 0) {\n    return 0;\n  }\n  if (uVar4 == 0) {\n    return (uint)(uVar6 == 0);\n  }\n  if ((u->_mp_exp == v->_mp_exp) && (uVar6 != 0)) {\n    uVar11 = (uVar4 ^ (int)uVar4 >> 0x1f) - ((int)uVar4 >> 0x1f);\n    uVar6 = (uVar6 ^ (int)uVar6 >> 0x1f) - ((int)uVar6 >> 0x1f);\n    pmVar2 = u->_mp_d;\n    pmVar3 = v->_mp_d;\n    uVar4 = 0x1f;\n    if (pmVar2[uVar11 - 1] != 0) {\n      for (; pmVar2[uVar11 - 1] >> uVar4 == 0; uVar4 = uVar4 - 1) {\n      }\n    }\n    if (pmVar3[uVar6 - 1] >> (0x1fU - (char)(uVar4 ^ 0x1f) & 0x1f) != 1) {\n      return 0;\n    }\n    iVar8 = (uVar4 ^ 0x1f) + n_bits;\n    uVar4 = iVar8 + 0x1fU >> 5;\n    uVar12 = uVar11;\n    if ((int)uVar4 < (int)uVar11) {\n      uVar12 = uVar4;\n    }\n    if ((int)uVar6 <= (int)uVar4) {\n      uVar4 = uVar6;\n    }\n    uVar9 = uVar4;\n    if ((int)uVar12 <= (int)uVar4) {\n      uVar9 = uVar12;\n    }\n    iVar7 = uVar9 - 1;\n    puVar1 = pmVar2 + (uVar11 - uVar9);\n    puVar5 = pmVar3 + (uVar6 - uVar9);\n    if (iVar7 < 1) {\nLAB_0001e9b1:\n      iVar10 = (uVar12 + uVar4) - uVar9;\n      iVar7 = iVar10 - uVar9;\n      if (iVar7 == 0) {\n        uVar4 = *puVar5 ^ *puVar1;\n      }\n      else {\n        if (*puVar1 != *puVar5) {\n          return 0;\n        }\n        if ((int)uVar4 < (int)uVar12) {\n          puVar5 = puVar1;\n        }\n        puVar5 = puVar5 + -iVar7;\n        iVar7 = iVar7 + -1;\n        if (0 < iVar7) {\n          if (puVar5[iVar7] != 0) {\n            return 0;\n          }\n          while (iVar7 = iVar7 + -1, iVar7 != 0) {\n            if (puVar5[iVar7] != 0) {\n              return 0;\n            }\n          }\n        }\n        uVar4 = *puVar5;\n      }\n      if ((uint)(iVar8 + (iVar10 + -1) * -0x20) < 0x20) {\n        uVar4 = uVar4 >> (0x20U - (char)iVar8 & 0x1f);\n      }\n      return (uint)(uVar4 == 0);\n    }\n    if (pmVar2[uVar11 - 1] != pmVar3[uVar6 - 1]) {\n      return 0;\n    }\n    do {\n      iVar7 = iVar7 + -1;\n      if (iVar7 == 0) goto LAB_0001e9b1;\n    } while (puVar1[iVar7] == puVar5[iVar7]);\n  }\n  return 0;\n}" primitive_type (function_declarator "__gmpf_eq(mpf_srcptr u,mpf_srcptr v,mp_bitcnt_t n_bits)" identifier (parameter_list "(mpf_srcptr u,mpf_srcptr v,mp_bitcnt_t n_bits)" ( (parameter_declaration "mpf_srcptr u" type_identifier identifier) , (parameter_declaration "mpf_srcptr v" type_identifier identifier) , (parameter_declaration "mp_bitcnt_t n_bits" type_identifier identifier) ))) (compound_statement "{\n  uint *puVar1;\n  mp_limb_t *pmVar2;\n  mp_limb_t *pmVar3;\n  uint uVar4;\n  uint *puVar5;\n  uint uVar6;\n  int iVar7;\n  int iVar8;\n  uint uVar9;\n  int iVar10;\n  uint uVar11;\n  uint uVar12;\n  \n  uVar4 = u->_mp_size;\n  uVar6 = v->_mp_size;\n  if ((int)(uVar4 ^ uVar6) < 0) {\n    return 0;\n  }\n  if (uVar4 == 0) {\n    return (uint)(uVar6 == 0);\n  }\n  if ((u->_mp_exp == v->_mp_exp) && (uVar6 != 0)) {\n    uVar11 = (uVar4 ^ (int)uVar4 >> 0x1f) - ((int)uVar4 >> 0x1f);\n    uVar6 = (uVar6 ^ (int)uVar6 >> 0x1f) - ((int)uVar6 >> 0x1f);\n    pmVar2 = u->_mp_d;\n    pmVar3 = v->_mp_d;\n    uVar4 = 0x1f;\n    if (pmVar2[uVar11 - 1] != 0) {\n      for (; pmVar2[uVar11 - 1] >> uVar4 == 0; uVar4 = uVar4 - 1) {\n      }\n    }\n    if (pmVar3[uVar6 - 1] >> (0x1fU - (char)(uVar4 ^ 0x1f) & 0x1f) != 1) {\n      return 0;\n    }\n    iVar8 = (uVar4 ^ 0x1f) + n_bits;\n    uVar4 = iVar8 + 0x1fU >> 5;\n    uVar12 = uVar11;\n    if ((int)uVar4 < (int)uVar11) {\n      uVar12 = uVar4;\n    }\n    if ((int)uVar6 <= (int)uVar4) {\n      uVar4 = uVar6;\n    }\n    uVar9 = uVar4;\n    if ((int)uVar12 <= (int)uVar4) {\n      uVar9 = uVar12;\n    }\n    iVar7 = uVar9 - 1;\n    puVar1 = pmVar2 + (uVar11 - uVar9);\n    puVar5 = pmVar3 + (uVar6 - uVar9);\n    if (iVar7 < 1) {\nLAB_0001e9b1:\n      iVar10 = (uVar12 + uVar4) - uVar9;\n      iVar7 = iVar10 - uVar9;\n      if (iVar7 == 0) {\n        uVar4 = *puVar5 ^ *puVar1;\n      }\n      else {\n        if (*puVar1 != *puVar5) {\n          return 0;\n        }\n        if ((int)uVar4 < (int)uVar12) {\n          puVar5 = puVar1;\n        }\n        puVar5 = puVar5 + -iVar7;\n        iVar7 = iVar7 + -1;\n        if (0 < iVar7) {\n          if (puVar5[iVar7] != 0) {\n            return 0;\n          }\n          while (iVar7 = iVar7 + -1, iVar7 != 0) {\n            if (puVar5[iVar7] != 0) {\n              return 0;\n            }\n          }\n        }\n        uVar4 = *puVar5;\n      }\n      if ((uint)(iVar8 + (iVar10 + -1) * -0x20) < 0x20) {\n        uVar4 = uVar4 >> (0x20U - (char)iVar8 & 0x1f);\n      }\n      return (uint)(uVar4 == 0);\n    }\n    if (pmVar2[uVar11 - 1] != pmVar3[uVar6 - 1]) {\n      return 0;\n    }\n    do {\n      iVar7 = iVar7 + -1;\n      if (iVar7 == 0) goto LAB_0001e9b1;\n    } while (puVar1[iVar7] == puVar5[iVar7]);\n  }\n  return 0;\n}" { (declaration "uint *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "mp_limb_t *pmVar2;" type_identifier (pointer_declarator "*pmVar2" * identifier) ;) (declaration "mp_limb_t *pmVar3;" type_identifier (pointer_declarator "*pmVar3" * identifier) ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "uint *puVar5;" type_identifier (pointer_declarator "*puVar5" * identifier) ;) (declaration "uint uVar6;" type_identifier identifier ;) (declaration "int iVar7;" primitive_type identifier ;) (declaration "int iVar8;" primitive_type identifier ;) (declaration "uint uVar9;" type_identifier identifier ;) (declaration "int iVar10;" primitive_type identifier ;) (declaration "uint uVar11;" type_identifier identifier ;) (declaration "uint uVar12;" type_identifier identifier ;) (expression_statement "uVar4 = u->_mp_size;" (assignment_expression "uVar4 = u->_mp_size" identifier = (field_expression "u->_mp_size" identifier -> field_identifier)) ;) (expression_statement "uVar6 = v->_mp_size;" (assignment_expression "uVar6 = v->_mp_size" identifier = (field_expression "v->_mp_size" identifier -> field_identifier)) ;) (if_statement "if ((int)(uVar4 ^ uVar6) < 0) {\n    return 0;\n  }" if (parenthesized_expression "((int)(uVar4 ^ uVar6) < 0)" ( (binary_expression "(int)(uVar4 ^ uVar6) < 0" (cast_expression "(int)(uVar4 ^ uVar6)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "(uVar4 ^ uVar6)" ( (binary_expression "uVar4 ^ uVar6" identifier ^ identifier) ))) < number_literal) )) (compound_statement "{\n    return 0;\n  }" { (return_statement "return 0;" return number_literal ;) })) (if_statement "if (uVar4 == 0) {\n    return (uint)(uVar6 == 0);\n  }" if (parenthesized_expression "(uVar4 == 0)" ( (binary_expression "uVar4 == 0" identifier == number_literal) )) (compound_statement "{\n    return (uint)(uVar6 == 0);\n  }" { (return_statement "return (uint)(uVar6 == 0);" return (call_expression "(uint)(uVar6 == 0)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar6 == 0)" ( (binary_expression "uVar6 == 0" identifier == number_literal) ))) ;) })) (if_statement "if ((u->_mp_exp == v->_mp_exp) && (uVar6 != 0)) {\n    uVar11 = (uVar4 ^ (int)uVar4 >> 0x1f) - ((int)uVar4 >> 0x1f);\n    uVar6 = (uVar6 ^ (int)uVar6 >> 0x1f) - ((int)uVar6 >> 0x1f);\n    pmVar2 = u->_mp_d;\n    pmVar3 = v->_mp_d;\n    uVar4 = 0x1f;\n    if (pmVar2[uVar11 - 1] != 0) {\n      for (; pmVar2[uVar11 - 1] >> uVar4 == 0; uVar4 = uVar4 - 1) {\n      }\n    }\n    if (pmVar3[uVar6 - 1] >> (0x1fU - (char)(uVar4 ^ 0x1f) & 0x1f) != 1) {\n      return 0;\n    }\n    iVar8 = (uVar4 ^ 0x1f) + n_bits;\n    uVar4 = iVar8 + 0x1fU >> 5;\n    uVar12 = uVar11;\n    if ((int)uVar4 < (int)uVar11) {\n      uVar12 = uVar4;\n    }\n    if ((int)uVar6 <= (int)uVar4) {\n      uVar4 = uVar6;\n    }\n    uVar9 = uVar4;\n    if ((int)uVar12 <= (int)uVar4) {\n      uVar9 = uVar12;\n    }\n    iVar7 = uVar9 - 1;\n    puVar1 = pmVar2 + (uVar11 - uVar9);\n    puVar5 = pmVar3 + (uVar6 - uVar9);\n    if (iVar7 < 1) {\nLAB_0001e9b1:\n      iVar10 = (uVar12 + uVar4) - uVar9;\n      iVar7 = iVar10 - uVar9;\n      if (iVar7 == 0) {\n        uVar4 = *puVar5 ^ *puVar1;\n      }\n      else {\n        if (*puVar1 != *puVar5) {\n          return 0;\n        }\n        if ((int)uVar4 < (int)uVar12) {\n          puVar5 = puVar1;\n        }\n        puVar5 = puVar5 + -iVar7;\n        iVar7 = iVar7 + -1;\n        if (0 < iVar7) {\n          if (puVar5[iVar7] != 0) {\n            return 0;\n          }\n          while (iVar7 = iVar7 + -1, iVar7 != 0) {\n            if (puVar5[iVar7] != 0) {\n              return 0;\n            }\n          }\n        }\n        uVar4 = *puVar5;\n      }\n      if ((uint)(iVar8 + (iVar10 + -1) * -0x20) < 0x20) {\n        uVar4 = uVar4 >> (0x20U - (char)iVar8 & 0x1f);\n      }\n      return (uint)(uVar4 == 0);\n    }\n    if (pmVar2[uVar11 - 1] != pmVar3[uVar6 - 1]) {\n      return 0;\n    }\n    do {\n      iVar7 = iVar7 + -1;\n      if (iVar7 == 0) goto LAB_0001e9b1;\n    } while (puVar1[iVar7] == puVar5[iVar7]);\n  }" if (parenthesized_expression "((u->_mp_exp == v->_mp_exp) && (uVar6 != 0))" ( (binary_expression "(u->_mp_exp == v->_mp_exp) && (uVar6 != 0)" (parenthesized_expression "(u->_mp_exp == v->_mp_exp)" ( (binary_expression "u->_mp_exp == v->_mp_exp" (field_expression "u->_mp_exp" identifier -> field_identifier) == (field_expression "v->_mp_exp" identifier -> field_identifier)) )) && (parenthesized_expression "(uVar6 != 0)" ( (binary_expression "uVar6 != 0" identifier != number_literal) ))) )) (compound_statement "{\n    uVar11 = (uVar4 ^ (int)uVar4 >> 0x1f) - ((int)uVar4 >> 0x1f);\n    uVar6 = (uVar6 ^ (int)uVar6 >> 0x1f) - ((int)uVar6 >> 0x1f);\n    pmVar2 = u->_mp_d;\n    pmVar3 = v->_mp_d;\n    uVar4 = 0x1f;\n    if (pmVar2[uVar11 - 1] != 0) {\n      for (; pmVar2[uVar11 - 1] >> uVar4 == 0; uVar4 = uVar4 - 1) {\n      }\n    }\n    if (pmVar3[uVar6 - 1] >> (0x1fU - (char)(uVar4 ^ 0x1f) & 0x1f) != 1) {\n      return 0;\n    }\n    iVar8 = (uVar4 ^ 0x1f) + n_bits;\n    uVar4 = iVar8 + 0x1fU >> 5;\n    uVar12 = uVar11;\n    if ((int)uVar4 < (int)uVar11) {\n      uVar12 = uVar4;\n    }\n    if ((int)uVar6 <= (int)uVar4) {\n      uVar4 = uVar6;\n    }\n    uVar9 = uVar4;\n    if ((int)uVar12 <= (int)uVar4) {\n      uVar9 = uVar12;\n    }\n    iVar7 = uVar9 - 1;\n    puVar1 = pmVar2 + (uVar11 - uVar9);\n    puVar5 = pmVar3 + (uVar6 - uVar9);\n    if (iVar7 < 1) {\nLAB_0001e9b1:\n      iVar10 = (uVar12 + uVar4) - uVar9;\n      iVar7 = iVar10 - uVar9;\n      if (iVar7 == 0) {\n        uVar4 = *puVar5 ^ *puVar1;\n      }\n      else {\n        if (*puVar1 != *puVar5) {\n          return 0;\n        }\n        if ((int)uVar4 < (int)uVar12) {\n          puVar5 = puVar1;\n        }\n        puVar5 = puVar5 + -iVar7;\n        iVar7 = iVar7 + -1;\n        if (0 < iVar7) {\n          if (puVar5[iVar7] != 0) {\n            return 0;\n          }\n          while (iVar7 = iVar7 + -1, iVar7 != 0) {\n            if (puVar5[iVar7] != 0) {\n              return 0;\n            }\n          }\n        }\n        uVar4 = *puVar5;\n      }\n      if ((uint)(iVar8 + (iVar10 + -1) * -0x20) < 0x20) {\n        uVar4 = uVar4 >> (0x20U - (char)iVar8 & 0x1f);\n      }\n      return (uint)(uVar4 == 0);\n    }\n    if (pmVar2[uVar11 - 1] != pmVar3[uVar6 - 1]) {\n      return 0;\n    }\n    do {\n      iVar7 = iVar7 + -1;\n      if (iVar7 == 0) goto LAB_0001e9b1;\n    } while (puVar1[iVar7] == puVar5[iVar7]);\n  }" { (expression_statement "uVar11 = (uVar4 ^ (int)uVar4 >> 0x1f) - ((int)uVar4 >> 0x1f);" (assignment_expression "uVar11 = (uVar4 ^ (int)uVar4 >> 0x1f) - ((int)uVar4 >> 0x1f)" identifier = (binary_expression "(uVar4 ^ (int)uVar4 >> 0x1f) - ((int)uVar4 >> 0x1f)" (parenthesized_expression "(uVar4 ^ (int)uVar4 >> 0x1f)" ( (binary_expression "uVar4 ^ (int)uVar4 >> 0x1f" identifier ^ (binary_expression "(int)uVar4 >> 0x1f" (cast_expression "(int)uVar4" ( (type_descriptor "int" primitive_type) ) identifier) >> number_literal)) )) - (parenthesized_expression "((int)uVar4 >> 0x1f)" ( (binary_expression "(int)uVar4 >> 0x1f" (cast_expression "(int)uVar4" ( (type_descriptor "int" primitive_type) ) identifier) >> number_literal) )))) ;) (expression_statement "uVar6 = (uVar6 ^ (int)uVar6 >> 0x1f) - ((int)uVar6 >> 0x1f);" (assignment_expression "uVar6 = (uVar6 ^ (int)uVar6 >> 0x1f) - ((int)uVar6 >> 0x1f)" identifier = (binary_expression "(uVar6 ^ (int)uVar6 >> 0x1f) - ((int)uVar6 >> 0x1f)" (parenthesized_expression "(uVar6 ^ (int)uVar6 >> 0x1f)" ( (binary_expression "uVar6 ^ (int)uVar6 >> 0x1f" identifier ^ (binary_expression "(int)uVar6 >> 0x1f" (cast_expression "(int)uVar6" ( (type_descriptor "int" primitive_type) ) identifier) >> number_literal)) )) - (parenthesized_expression "((int)uVar6 >> 0x1f)" ( (binary_expression "(int)uVar6 >> 0x1f" (cast_expression "(int)uVar6" ( (type_descriptor "int" primitive_type) ) identifier) >> number_literal) )))) ;) (expression_statement "pmVar2 = u->_mp_d;" (assignment_expression "pmVar2 = u->_mp_d" identifier = (field_expression "u->_mp_d" identifier -> field_identifier)) ;) (expression_statement "pmVar3 = v->_mp_d;" (assignment_expression "pmVar3 = v->_mp_d" identifier = (field_expression "v->_mp_d" identifier -> field_identifier)) ;) (expression_statement "uVar4 = 0x1f;" (assignment_expression "uVar4 = 0x1f" identifier = number_literal) ;) (if_statement "if (pmVar2[uVar11 - 1] != 0) {\n      for (; pmVar2[uVar11 - 1] >> uVar4 == 0; uVar4 = uVar4 - 1) {\n      }\n    }" if (parenthesized_expression "(pmVar2[uVar11 - 1] != 0)" ( (binary_expression "pmVar2[uVar11 - 1] != 0" (subscript_expression "pmVar2[uVar11 - 1]" identifier [ (binary_expression "uVar11 - 1" identifier - number_literal) ]) != number_literal) )) (compound_statement "{\n      for (; pmVar2[uVar11 - 1] >> uVar4 == 0; uVar4 = uVar4 - 1) {\n      }\n    }" { (for_statement "for (; pmVar2[uVar11 - 1] >> uVar4 == 0; uVar4 = uVar4 - 1) {\n      }" for ( ; (binary_expression "pmVar2[uVar11 - 1] >> uVar4 == 0" (binary_expression "pmVar2[uVar11 - 1] >> uVar4" (subscript_expression "pmVar2[uVar11 - 1]" identifier [ (binary_expression "uVar11 - 1" identifier - number_literal) ]) >> identifier) == number_literal) ; (assignment_expression "uVar4 = uVar4 - 1" identifier = (binary_expression "uVar4 - 1" identifier - number_literal)) ) (compound_statement "{\n      }" { })) })) (if_statement "if (pmVar3[uVar6 - 1] >> (0x1fU - (char)(uVar4 ^ 0x1f) & 0x1f) != 1) {\n      return 0;\n    }" if (parenthesized_expression "(pmVar3[uVar6 - 1] >> (0x1fU - (char)(uVar4 ^ 0x1f) & 0x1f) != 1)" ( (binary_expression "pmVar3[uVar6 - 1] >> (0x1fU - (char)(uVar4 ^ 0x1f) & 0x1f) != 1" (binary_expression "pmVar3[uVar6 - 1] >> (0x1fU - (char)(uVar4 ^ 0x1f) & 0x1f)" (subscript_expression "pmVar3[uVar6 - 1]" identifier [ (binary_expression "uVar6 - 1" identifier - number_literal) ]) >> (parenthesized_expression "(0x1fU - (char)(uVar4 ^ 0x1f) & 0x1f)" ( (binary_expression "0x1fU - (char)(uVar4 ^ 0x1f) & 0x1f" (binary_expression "0x1fU - (char)(uVar4 ^ 0x1f)" number_literal - (cast_expression "(char)(uVar4 ^ 0x1f)" ( (type_descriptor "char" primitive_type) ) (parenthesized_expression "(uVar4 ^ 0x1f)" ( (binary_expression "uVar4 ^ 0x1f" identifier ^ number_literal) )))) & number_literal) ))) != number_literal) )) (compound_statement "{\n      return 0;\n    }" { (return_statement "return 0;" return number_literal ;) })) (expression_statement "iVar8 = (uVar4 ^ 0x1f) + n_bits;" (assignment_expression "iVar8 = (uVar4 ^ 0x1f) + n_bits" identifier = (binary_expression "(uVar4 ^ 0x1f) + n_bits" (parenthesized_expression "(uVar4 ^ 0x1f)" ( (binary_expression "uVar4 ^ 0x1f" identifier ^ number_literal) )) + identifier)) ;) (expression_statement "uVar4 = iVar8 + 0x1fU >> 5;" (assignment_expression "uVar4 = iVar8 + 0x1fU >> 5" identifier = (binary_expression "iVar8 + 0x1fU >> 5" (binary_expression "iVar8 + 0x1fU" identifier + number_literal) >> number_literal)) ;) (expression_statement "uVar12 = uVar11;" (assignment_expression "uVar12 = uVar11" identifier = identifier) ;) (if_statement "if ((int)uVar4 < (int)uVar11) {\n      uVar12 = uVar4;\n    }" if (parenthesized_expression "((int)uVar4 < (int)uVar11)" ( (binary_expression "(int)uVar4 < (int)uVar11" (cast_expression "(int)uVar4" ( (type_descriptor "int" primitive_type) ) identifier) < (cast_expression "(int)uVar11" ( (type_descriptor "int" primitive_type) ) identifier)) )) (compound_statement "{\n      uVar12 = uVar4;\n    }" { (expression_statement "uVar12 = uVar4;" (assignment_expression "uVar12 = uVar4" identifier = identifier) ;) })) (if_statement "if ((int)uVar6 <= (int)uVar4) {\n      uVar4 = uVar6;\n    }" if (parenthesized_expression "((int)uVar6 <= (int)uVar4)" ( (binary_expression "(int)uVar6 <= (int)uVar4" (cast_expression "(int)uVar6" ( (type_descriptor "int" primitive_type) ) identifier) <= (cast_expression "(int)uVar4" ( (type_descriptor "int" primitive_type) ) identifier)) )) (compound_statement "{\n      uVar4 = uVar6;\n    }" { (expression_statement "uVar4 = uVar6;" (assignment_expression "uVar4 = uVar6" identifier = identifier) ;) })) (expression_statement "uVar9 = uVar4;" (assignment_expression "uVar9 = uVar4" identifier = identifier) ;) (if_statement "if ((int)uVar12 <= (int)uVar4) {\n      uVar9 = uVar12;\n    }" if (parenthesized_expression "((int)uVar12 <= (int)uVar4)" ( (binary_expression "(int)uVar12 <= (int)uVar4" (cast_expression "(int)uVar12" ( (type_descriptor "int" primitive_type) ) identifier) <= (cast_expression "(int)uVar4" ( (type_descriptor "int" primitive_type) ) identifier)) )) (compound_statement "{\n      uVar9 = uVar12;\n    }" { (expression_statement "uVar9 = uVar12;" (assignment_expression "uVar9 = uVar12" identifier = identifier) ;) })) (expression_statement "iVar7 = uVar9 - 1;" (assignment_expression "iVar7 = uVar9 - 1" identifier = (binary_expression "uVar9 - 1" identifier - number_literal)) ;) (expression_statement "puVar1 = pmVar2 + (uVar11 - uVar9);" (assignment_expression "puVar1 = pmVar2 + (uVar11 - uVar9)" identifier = (binary_expression "pmVar2 + (uVar11 - uVar9)" identifier + (parenthesized_expression "(uVar11 - uVar9)" ( (binary_expression "uVar11 - uVar9" identifier - identifier) )))) ;) (expression_statement "puVar5 = pmVar3 + (uVar6 - uVar9);" (assignment_expression "puVar5 = pmVar3 + (uVar6 - uVar9)" identifier = (binary_expression "pmVar3 + (uVar6 - uVar9)" identifier + (parenthesized_expression "(uVar6 - uVar9)" ( (binary_expression "uVar6 - uVar9" identifier - identifier) )))) ;) (if_statement "if (iVar7 < 1) {\nLAB_0001e9b1:\n      iVar10 = (uVar12 + uVar4) - uVar9;\n      iVar7 = iVar10 - uVar9;\n      if (iVar7 == 0) {\n        uVar4 = *puVar5 ^ *puVar1;\n      }\n      else {\n        if (*puVar1 != *puVar5) {\n          return 0;\n        }\n        if ((int)uVar4 < (int)uVar12) {\n          puVar5 = puVar1;\n        }\n        puVar5 = puVar5 + -iVar7;\n        iVar7 = iVar7 + -1;\n        if (0 < iVar7) {\n          if (puVar5[iVar7] != 0) {\n            return 0;\n          }\n          while (iVar7 = iVar7 + -1, iVar7 != 0) {\n            if (puVar5[iVar7] != 0) {\n              return 0;\n            }\n          }\n        }\n        uVar4 = *puVar5;\n      }\n      if ((uint)(iVar8 + (iVar10 + -1) * -0x20) < 0x20) {\n        uVar4 = uVar4 >> (0x20U - (char)iVar8 & 0x1f);\n      }\n      return (uint)(uVar4 == 0);\n    }" if (parenthesized_expression "(iVar7 < 1)" ( (binary_expression "iVar7 < 1" identifier < number_literal) )) (compound_statement "{\nLAB_0001e9b1:\n      iVar10 = (uVar12 + uVar4) - uVar9;\n      iVar7 = iVar10 - uVar9;\n      if (iVar7 == 0) {\n        uVar4 = *puVar5 ^ *puVar1;\n      }\n      else {\n        if (*puVar1 != *puVar5) {\n          return 0;\n        }\n        if ((int)uVar4 < (int)uVar12) {\n          puVar5 = puVar1;\n        }\n        puVar5 = puVar5 + -iVar7;\n        iVar7 = iVar7 + -1;\n        if (0 < iVar7) {\n          if (puVar5[iVar7] != 0) {\n            return 0;\n          }\n          while (iVar7 = iVar7 + -1, iVar7 != 0) {\n            if (puVar5[iVar7] != 0) {\n              return 0;\n            }\n          }\n        }\n        uVar4 = *puVar5;\n      }\n      if ((uint)(iVar8 + (iVar10 + -1) * -0x20) < 0x20) {\n        uVar4 = uVar4 >> (0x20U - (char)iVar8 & 0x1f);\n      }\n      return (uint)(uVar4 == 0);\n    }" { (labeled_statement "LAB_0001e9b1:\n      iVar10 = (uVar12 + uVar4) - uVar9;" statement_identifier : (expression_statement "iVar10 = (uVar12 + uVar4) - uVar9;" (assignment_expression "iVar10 = (uVar12 + uVar4) - uVar9" identifier = (binary_expression "(uVar12 + uVar4) - uVar9" (parenthesized_expression "(uVar12 + uVar4)" ( (binary_expression "uVar12 + uVar4" identifier + identifier) )) - identifier)) ;)) (expression_statement "iVar7 = iVar10 - uVar9;" (assignment_expression "iVar7 = iVar10 - uVar9" identifier = (binary_expression "iVar10 - uVar9" identifier - identifier)) ;) (if_statement "if (iVar7 == 0) {\n        uVar4 = *puVar5 ^ *puVar1;\n      }\n      else {\n        if (*puVar1 != *puVar5) {\n          return 0;\n        }\n        if ((int)uVar4 < (int)uVar12) {\n          puVar5 = puVar1;\n        }\n        puVar5 = puVar5 + -iVar7;\n        iVar7 = iVar7 + -1;\n        if (0 < iVar7) {\n          if (puVar5[iVar7] != 0) {\n            return 0;\n          }\n          while (iVar7 = iVar7 + -1, iVar7 != 0) {\n            if (puVar5[iVar7] != 0) {\n              return 0;\n            }\n          }\n        }\n        uVar4 = *puVar5;\n      }" if (parenthesized_expression "(iVar7 == 0)" ( (binary_expression "iVar7 == 0" identifier == number_literal) )) (compound_statement "{\n        uVar4 = *puVar5 ^ *puVar1;\n      }" { (expression_statement "uVar4 = *puVar5 ^ *puVar1;" (assignment_expression "uVar4 = *puVar5 ^ *puVar1" identifier = (binary_expression "*puVar5 ^ *puVar1" (pointer_expression "*puVar5" * identifier) ^ (pointer_expression "*puVar1" * identifier))) ;) }) (else_clause "else {\n        if (*puVar1 != *puVar5) {\n          return 0;\n        }\n        if ((int)uVar4 < (int)uVar12) {\n          puVar5 = puVar1;\n        }\n        puVar5 = puVar5 + -iVar7;\n        iVar7 = iVar7 + -1;\n        if (0 < iVar7) {\n          if (puVar5[iVar7] != 0) {\n            return 0;\n          }\n          while (iVar7 = iVar7 + -1, iVar7 != 0) {\n            if (puVar5[iVar7] != 0) {\n              return 0;\n            }\n          }\n        }\n        uVar4 = *puVar5;\n      }" else (compound_statement "{\n        if (*puVar1 != *puVar5) {\n          return 0;\n        }\n        if ((int)uVar4 < (int)uVar12) {\n          puVar5 = puVar1;\n        }\n        puVar5 = puVar5 + -iVar7;\n        iVar7 = iVar7 + -1;\n        if (0 < iVar7) {\n          if (puVar5[iVar7] != 0) {\n            return 0;\n          }\n          while (iVar7 = iVar7 + -1, iVar7 != 0) {\n            if (puVar5[iVar7] != 0) {\n              return 0;\n            }\n          }\n        }\n        uVar4 = *puVar5;\n      }" { (if_statement "if (*puVar1 != *puVar5) {\n          return 0;\n        }" if (parenthesized_expression "(*puVar1 != *puVar5)" ( (binary_expression "*puVar1 != *puVar5" (pointer_expression "*puVar1" * identifier) != (pointer_expression "*puVar5" * identifier)) )) (compound_statement "{\n          return 0;\n        }" { (return_statement "return 0;" return number_literal ;) })) (if_statement "if ((int)uVar4 < (int)uVar12) {\n          puVar5 = puVar1;\n        }" if (parenthesized_expression "((int)uVar4 < (int)uVar12)" ( (binary_expression "(int)uVar4 < (int)uVar12" (cast_expression "(int)uVar4" ( (type_descriptor "int" primitive_type) ) identifier) < (cast_expression "(int)uVar12" ( (type_descriptor "int" primitive_type) ) identifier)) )) (compound_statement "{\n          puVar5 = puVar1;\n        }" { (expression_statement "puVar5 = puVar1;" (assignment_expression "puVar5 = puVar1" identifier = identifier) ;) })) (expression_statement "puVar5 = puVar5 + -iVar7;" (assignment_expression "puVar5 = puVar5 + -iVar7" identifier = (binary_expression "puVar5 + -iVar7" identifier + (unary_expression "-iVar7" - identifier))) ;) (expression_statement "iVar7 = iVar7 + -1;" (assignment_expression "iVar7 = iVar7 + -1" identifier = (binary_expression "iVar7 + -1" identifier + number_literal)) ;) (if_statement "if (0 < iVar7) {\n          if (puVar5[iVar7] != 0) {\n            return 0;\n          }\n          while (iVar7 = iVar7 + -1, iVar7 != 0) {\n            if (puVar5[iVar7] != 0) {\n              return 0;\n            }\n          }\n        }" if (parenthesized_expression "(0 < iVar7)" ( (binary_expression "0 < iVar7" number_literal < identifier) )) (compound_statement "{\n          if (puVar5[iVar7] != 0) {\n            return 0;\n          }\n          while (iVar7 = iVar7 + -1, iVar7 != 0) {\n            if (puVar5[iVar7] != 0) {\n              return 0;\n            }\n          }\n        }" { (if_statement "if (puVar5[iVar7] != 0) {\n            return 0;\n          }" if (parenthesized_expression "(puVar5[iVar7] != 0)" ( (binary_expression "puVar5[iVar7] != 0" (subscript_expression "puVar5[iVar7]" identifier [ identifier ]) != number_literal) )) (compound_statement "{\n            return 0;\n          }" { (return_statement "return 0;" return number_literal ;) })) (while_statement "while (iVar7 = iVar7 + -1, iVar7 != 0) {\n            if (puVar5[iVar7] != 0) {\n              return 0;\n            }\n          }" while (parenthesized_expression "(iVar7 = iVar7 + -1, iVar7 != 0)" ( (comma_expression "iVar7 = iVar7 + -1, iVar7 != 0" (assignment_expression "iVar7 = iVar7 + -1" identifier = (binary_expression "iVar7 + -1" identifier + number_literal)) , (binary_expression "iVar7 != 0" identifier != number_literal)) )) (compound_statement "{\n            if (puVar5[iVar7] != 0) {\n              return 0;\n            }\n          }" { (if_statement "if (puVar5[iVar7] != 0) {\n              return 0;\n            }" if (parenthesized_expression "(puVar5[iVar7] != 0)" ( (binary_expression "puVar5[iVar7] != 0" (subscript_expression "puVar5[iVar7]" identifier [ identifier ]) != number_literal) )) (compound_statement "{\n              return 0;\n            }" { (return_statement "return 0;" return number_literal ;) })) })) })) (expression_statement "uVar4 = *puVar5;" (assignment_expression "uVar4 = *puVar5" identifier = (pointer_expression "*puVar5" * identifier)) ;) }))) (if_statement "if ((uint)(iVar8 + (iVar10 + -1) * -0x20) < 0x20) {\n        uVar4 = uVar4 >> (0x20U - (char)iVar8 & 0x1f);\n      }" if (parenthesized_expression "((uint)(iVar8 + (iVar10 + -1) * -0x20) < 0x20)" ( (binary_expression "(uint)(iVar8 + (iVar10 + -1) * -0x20) < 0x20" (call_expression "(uint)(iVar8 + (iVar10 + -1) * -0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(iVar8 + (iVar10 + -1) * -0x20)" ( (binary_expression "iVar8 + (iVar10 + -1) * -0x20" identifier + (binary_expression "(iVar10 + -1) * -0x20" (parenthesized_expression "(iVar10 + -1)" ( (binary_expression "iVar10 + -1" identifier + number_literal) )) * number_literal)) ))) < number_literal) )) (compound_statement "{\n        uVar4 = uVar4 >> (0x20U - (char)iVar8 & 0x1f);\n      }" { (expression_statement "uVar4 = uVar4 >> (0x20U - (char)iVar8 & 0x1f);" (assignment_expression "uVar4 = uVar4 >> (0x20U - (char)iVar8 & 0x1f)" identifier = (binary_expression "uVar4 >> (0x20U - (char)iVar8 & 0x1f)" identifier >> (parenthesized_expression "(0x20U - (char)iVar8 & 0x1f)" ( (binary_expression "0x20U - (char)iVar8 & 0x1f" (binary_expression "0x20U - (char)iVar8" number_literal - (cast_expression "(char)iVar8" ( (type_descriptor "char" primitive_type) ) identifier)) & number_literal) )))) ;) })) (return_statement "return (uint)(uVar4 == 0);" return (call_expression "(uint)(uVar4 == 0)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar4 == 0)" ( (binary_expression "uVar4 == 0" identifier == number_literal) ))) ;) })) (if_statement "if (pmVar2[uVar11 - 1] != pmVar3[uVar6 - 1]) {\n      return 0;\n    }" if (parenthesized_expression "(pmVar2[uVar11 - 1] != pmVar3[uVar6 - 1])" ( (binary_expression "pmVar2[uVar11 - 1] != pmVar3[uVar6 - 1]" (subscript_expression "pmVar2[uVar11 - 1]" identifier [ (binary_expression "uVar11 - 1" identifier - number_literal) ]) != (subscript_expression "pmVar3[uVar6 - 1]" identifier [ (binary_expression "uVar6 - 1" identifier - number_literal) ])) )) (compound_statement "{\n      return 0;\n    }" { (return_statement "return 0;" return number_literal ;) })) (do_statement "do {\n      iVar7 = iVar7 + -1;\n      if (iVar7 == 0) goto LAB_0001e9b1;\n    } while (puVar1[iVar7] == puVar5[iVar7]);" do (compound_statement "{\n      iVar7 = iVar7 + -1;\n      if (iVar7 == 0) goto LAB_0001e9b1;\n    }" { (expression_statement "iVar7 = iVar7 + -1;" (assignment_expression "iVar7 = iVar7 + -1" identifier = (binary_expression "iVar7 + -1" identifier + number_literal)) ;) (if_statement "if (iVar7 == 0) goto LAB_0001e9b1;" if (parenthesized_expression "(iVar7 == 0)" ( (binary_expression "iVar7 == 0" identifier == number_literal) )) (goto_statement "goto LAB_0001e9b1;" goto statement_identifier ;)) }) while (parenthesized_expression "(puVar1[iVar7] == puVar5[iVar7])" ( (binary_expression "puVar1[iVar7] == puVar5[iVar7]" (subscript_expression "puVar1[iVar7]" identifier [ identifier ]) == (subscript_expression "puVar5[iVar7]" identifier [ identifier ])) )) ;) })) (return_statement "return 0;" return number_literal ;) })))
(translation_unit "bool __gmpf_eq(int param_1,int param_2,int param_3)\n\n{\n  uint *puVar1;\n  uint uVar2;\n  uint *puVar3;\n  uint uVar4;\n  int iVar5;\n  int iVar6;\n  int iVar7;\n  uint uVar8;\n  \n  uVar2 = *(uint *)(param_1 + 4);\n  uVar4 = *(uint *)(param_2 + 4);\n  if ((int)(uVar2 ^ uVar4) < 0) {\n    return false;\n  }\n  if (uVar2 == 0) {\n    return uVar4 == 0;\n  }\n  if ((*(int *)(param_1 + 8) == *(int *)(param_2 + 8)) && (uVar4 != 0)) {\n    uVar8 = (uVar2 ^ (int)uVar2 >> 0x1f) - ((int)uVar2 >> 0x1f);\n    uVar4 = (uVar4 ^ (int)uVar4 >> 0x1f) - ((int)uVar4 >> 0x1f);\n    iVar7 = uVar8 * 4 + *(int *)(param_1 + 0xc);\n    iVar6 = uVar4 * 4 + *(int *)(param_2 + 0xc);\n    uVar2 = 0x1f;\n    if (*(uint *)(iVar7 + -4) != 0) {\n      for (; *(uint *)(iVar7 + -4) >> uVar2 == 0; uVar2 = uVar2 - 1) {\n      }\n    }\n    if (*(uint *)(iVar6 + -4) >> (0x1fU - (char)(uVar2 ^ 0x1f) & 0x1f) != 1) {\n      return false;\n    }\n    param_3 = (uVar2 ^ 0x1f) + param_3;\n    uVar2 = param_3 + 0x1fU >> 5;\n    if ((int)uVar2 < (int)uVar8) {\n      uVar8 = uVar2;\n    }\n    if ((int)uVar4 <= (int)uVar2) {\n      uVar2 = uVar4;\n    }\n    uVar4 = uVar2;\n    if ((int)uVar8 <= (int)uVar2) {\n      uVar4 = uVar8;\n    }\n    iVar5 = uVar4 - 1;\n    puVar1 = (uint *)(iVar7 + uVar4 * -4);\n    puVar3 = (uint *)(uVar4 * -4 + iVar6);\n    if (iVar5 < 1) {\nLAB_0001e9b1:\n      iVar7 = (uVar8 + uVar2) - uVar4;\n      iVar6 = iVar7 - uVar4;\n      if (iVar6 == 0) {\n        uVar2 = *puVar3 ^ *puVar1;\n      }\n      else {\n        if (*puVar1 != *puVar3) {\n          return false;\n        }\n        if ((int)uVar2 < (int)uVar8) {\n          puVar3 = puVar1;\n        }\n        puVar3 = puVar3 + -iVar6;\n        iVar6 = iVar6 + -1;\n        if (0 < iVar6) {\n          if (puVar3[iVar6] != 0) {\n            return false;\n          }\n          while (iVar6 = iVar6 + -1, iVar6 != 0) {\n            if (puVar3[iVar6] != 0) {\n              return false;\n            }\n          }\n        }\n        uVar2 = *puVar3;\n      }\n      if ((uint)(param_3 + (iVar7 + -1) * -0x20) < 0x20) {\n        uVar2 = uVar2 >> (0x20U - (char)param_3 & 0x1f);\n      }\n      return uVar2 == 0;\n    }\n    if (*(int *)(iVar7 + -4) != *(int *)(iVar6 + -4)) {\n      return false;\n    }\n    do {\n      iVar5 = iVar5 + -1;\n      if (iVar5 == 0) goto LAB_0001e9b1;\n    } while (puVar1[iVar5] == puVar3[iVar5]);\n  }\n  return false;\n}\n\n" (function_definition "bool __gmpf_eq(int param_1,int param_2,int param_3)\n\n{\n  uint *puVar1;\n  uint uVar2;\n  uint *puVar3;\n  uint uVar4;\n  int iVar5;\n  int iVar6;\n  int iVar7;\n  uint uVar8;\n  \n  uVar2 = *(uint *)(param_1 + 4);\n  uVar4 = *(uint *)(param_2 + 4);\n  if ((int)(uVar2 ^ uVar4) < 0) {\n    return false;\n  }\n  if (uVar2 == 0) {\n    return uVar4 == 0;\n  }\n  if ((*(int *)(param_1 + 8) == *(int *)(param_2 + 8)) && (uVar4 != 0)) {\n    uVar8 = (uVar2 ^ (int)uVar2 >> 0x1f) - ((int)uVar2 >> 0x1f);\n    uVar4 = (uVar4 ^ (int)uVar4 >> 0x1f) - ((int)uVar4 >> 0x1f);\n    iVar7 = uVar8 * 4 + *(int *)(param_1 + 0xc);\n    iVar6 = uVar4 * 4 + *(int *)(param_2 + 0xc);\n    uVar2 = 0x1f;\n    if (*(uint *)(iVar7 + -4) != 0) {\n      for (; *(uint *)(iVar7 + -4) >> uVar2 == 0; uVar2 = uVar2 - 1) {\n      }\n    }\n    if (*(uint *)(iVar6 + -4) >> (0x1fU - (char)(uVar2 ^ 0x1f) & 0x1f) != 1) {\n      return false;\n    }\n    param_3 = (uVar2 ^ 0x1f) + param_3;\n    uVar2 = param_3 + 0x1fU >> 5;\n    if ((int)uVar2 < (int)uVar8) {\n      uVar8 = uVar2;\n    }\n    if ((int)uVar4 <= (int)uVar2) {\n      uVar2 = uVar4;\n    }\n    uVar4 = uVar2;\n    if ((int)uVar8 <= (int)uVar2) {\n      uVar4 = uVar8;\n    }\n    iVar5 = uVar4 - 1;\n    puVar1 = (uint *)(iVar7 + uVar4 * -4);\n    puVar3 = (uint *)(uVar4 * -4 + iVar6);\n    if (iVar5 < 1) {\nLAB_0001e9b1:\n      iVar7 = (uVar8 + uVar2) - uVar4;\n      iVar6 = iVar7 - uVar4;\n      if (iVar6 == 0) {\n        uVar2 = *puVar3 ^ *puVar1;\n      }\n      else {\n        if (*puVar1 != *puVar3) {\n          return false;\n        }\n        if ((int)uVar2 < (int)uVar8) {\n          puVar3 = puVar1;\n        }\n        puVar3 = puVar3 + -iVar6;\n        iVar6 = iVar6 + -1;\n        if (0 < iVar6) {\n          if (puVar3[iVar6] != 0) {\n            return false;\n          }\n          while (iVar6 = iVar6 + -1, iVar6 != 0) {\n            if (puVar3[iVar6] != 0) {\n              return false;\n            }\n          }\n        }\n        uVar2 = *puVar3;\n      }\n      if ((uint)(param_3 + (iVar7 + -1) * -0x20) < 0x20) {\n        uVar2 = uVar2 >> (0x20U - (char)param_3 & 0x1f);\n      }\n      return uVar2 == 0;\n    }\n    if (*(int *)(iVar7 + -4) != *(int *)(iVar6 + -4)) {\n      return false;\n    }\n    do {\n      iVar5 = iVar5 + -1;\n      if (iVar5 == 0) goto LAB_0001e9b1;\n    } while (puVar1[iVar5] == puVar3[iVar5]);\n  }\n  return false;\n}" primitive_type (function_declarator "__gmpf_eq(int param_1,int param_2,int param_3)" identifier (parameter_list "(int param_1,int param_2,int param_3)" ( (parameter_declaration "int param_1" primitive_type identifier) , (parameter_declaration "int param_2" primitive_type identifier) , (parameter_declaration "int param_3" primitive_type identifier) ))) (compound_statement "{\n  uint *puVar1;\n  uint uVar2;\n  uint *puVar3;\n  uint uVar4;\n  int iVar5;\n  int iVar6;\n  int iVar7;\n  uint uVar8;\n  \n  uVar2 = *(uint *)(param_1 + 4);\n  uVar4 = *(uint *)(param_2 + 4);\n  if ((int)(uVar2 ^ uVar4) < 0) {\n    return false;\n  }\n  if (uVar2 == 0) {\n    return uVar4 == 0;\n  }\n  if ((*(int *)(param_1 + 8) == *(int *)(param_2 + 8)) && (uVar4 != 0)) {\n    uVar8 = (uVar2 ^ (int)uVar2 >> 0x1f) - ((int)uVar2 >> 0x1f);\n    uVar4 = (uVar4 ^ (int)uVar4 >> 0x1f) - ((int)uVar4 >> 0x1f);\n    iVar7 = uVar8 * 4 + *(int *)(param_1 + 0xc);\n    iVar6 = uVar4 * 4 + *(int *)(param_2 + 0xc);\n    uVar2 = 0x1f;\n    if (*(uint *)(iVar7 + -4) != 0) {\n      for (; *(uint *)(iVar7 + -4) >> uVar2 == 0; uVar2 = uVar2 - 1) {\n      }\n    }\n    if (*(uint *)(iVar6 + -4) >> (0x1fU - (char)(uVar2 ^ 0x1f) & 0x1f) != 1) {\n      return false;\n    }\n    param_3 = (uVar2 ^ 0x1f) + param_3;\n    uVar2 = param_3 + 0x1fU >> 5;\n    if ((int)uVar2 < (int)uVar8) {\n      uVar8 = uVar2;\n    }\n    if ((int)uVar4 <= (int)uVar2) {\n      uVar2 = uVar4;\n    }\n    uVar4 = uVar2;\n    if ((int)uVar8 <= (int)uVar2) {\n      uVar4 = uVar8;\n    }\n    iVar5 = uVar4 - 1;\n    puVar1 = (uint *)(iVar7 + uVar4 * -4);\n    puVar3 = (uint *)(uVar4 * -4 + iVar6);\n    if (iVar5 < 1) {\nLAB_0001e9b1:\n      iVar7 = (uVar8 + uVar2) - uVar4;\n      iVar6 = iVar7 - uVar4;\n      if (iVar6 == 0) {\n        uVar2 = *puVar3 ^ *puVar1;\n      }\n      else {\n        if (*puVar1 != *puVar3) {\n          return false;\n        }\n        if ((int)uVar2 < (int)uVar8) {\n          puVar3 = puVar1;\n        }\n        puVar3 = puVar3 + -iVar6;\n        iVar6 = iVar6 + -1;\n        if (0 < iVar6) {\n          if (puVar3[iVar6] != 0) {\n            return false;\n          }\n          while (iVar6 = iVar6 + -1, iVar6 != 0) {\n            if (puVar3[iVar6] != 0) {\n              return false;\n            }\n          }\n        }\n        uVar2 = *puVar3;\n      }\n      if ((uint)(param_3 + (iVar7 + -1) * -0x20) < 0x20) {\n        uVar2 = uVar2 >> (0x20U - (char)param_3 & 0x1f);\n      }\n      return uVar2 == 0;\n    }\n    if (*(int *)(iVar7 + -4) != *(int *)(iVar6 + -4)) {\n      return false;\n    }\n    do {\n      iVar5 = iVar5 + -1;\n      if (iVar5 == 0) goto LAB_0001e9b1;\n    } while (puVar1[iVar5] == puVar3[iVar5]);\n  }\n  return false;\n}" { (declaration "uint *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "uint *puVar3;" type_identifier (pointer_declarator "*puVar3" * identifier) ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "int iVar5;" primitive_type identifier ;) (declaration "int iVar6;" primitive_type identifier ;) (declaration "int iVar7;" primitive_type identifier ;) (declaration "uint uVar8;" type_identifier identifier ;) (expression_statement "uVar2 = *(uint *)(param_1 + 4);" (assignment_expression "uVar2 = *(uint *)(param_1 + 4)" identifier = (pointer_expression "*(uint *)(param_1 + 4)" * (cast_expression "(uint *)(param_1 + 4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 4)" ( (binary_expression "param_1 + 4" identifier + number_literal) ))))) ;) (expression_statement "uVar4 = *(uint *)(param_2 + 4);" (assignment_expression "uVar4 = *(uint *)(param_2 + 4)" identifier = (pointer_expression "*(uint *)(param_2 + 4)" * (cast_expression "(uint *)(param_2 + 4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 4)" ( (binary_expression "param_2 + 4" identifier + number_literal) ))))) ;) (if_statement "if ((int)(uVar2 ^ uVar4) < 0) {\n    return false;\n  }" if (parenthesized_expression "((int)(uVar2 ^ uVar4) < 0)" ( (binary_expression "(int)(uVar2 ^ uVar4) < 0" (cast_expression "(int)(uVar2 ^ uVar4)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "(uVar2 ^ uVar4)" ( (binary_expression "uVar2 ^ uVar4" identifier ^ identifier) ))) < number_literal) )) (compound_statement "{\n    return false;\n  }" { (return_statement "return false;" return false ;) })) (if_statement "if (uVar2 == 0) {\n    return uVar4 == 0;\n  }" if (parenthesized_expression "(uVar2 == 0)" ( (binary_expression "uVar2 == 0" identifier == number_literal) )) (compound_statement "{\n    return uVar4 == 0;\n  }" { (return_statement "return uVar4 == 0;" return (binary_expression "uVar4 == 0" identifier == number_literal) ;) })) (if_statement "if ((*(int *)(param_1 + 8) == *(int *)(param_2 + 8)) && (uVar4 != 0)) {\n    uVar8 = (uVar2 ^ (int)uVar2 >> 0x1f) - ((int)uVar2 >> 0x1f);\n    uVar4 = (uVar4 ^ (int)uVar4 >> 0x1f) - ((int)uVar4 >> 0x1f);\n    iVar7 = uVar8 * 4 + *(int *)(param_1 + 0xc);\n    iVar6 = uVar4 * 4 + *(int *)(param_2 + 0xc);\n    uVar2 = 0x1f;\n    if (*(uint *)(iVar7 + -4) != 0) {\n      for (; *(uint *)(iVar7 + -4) >> uVar2 == 0; uVar2 = uVar2 - 1) {\n      }\n    }\n    if (*(uint *)(iVar6 + -4) >> (0x1fU - (char)(uVar2 ^ 0x1f) & 0x1f) != 1) {\n      return false;\n    }\n    param_3 = (uVar2 ^ 0x1f) + param_3;\n    uVar2 = param_3 + 0x1fU >> 5;\n    if ((int)uVar2 < (int)uVar8) {\n      uVar8 = uVar2;\n    }\n    if ((int)uVar4 <= (int)uVar2) {\n      uVar2 = uVar4;\n    }\n    uVar4 = uVar2;\n    if ((int)uVar8 <= (int)uVar2) {\n      uVar4 = uVar8;\n    }\n    iVar5 = uVar4 - 1;\n    puVar1 = (uint *)(iVar7 + uVar4 * -4);\n    puVar3 = (uint *)(uVar4 * -4 + iVar6);\n    if (iVar5 < 1) {\nLAB_0001e9b1:\n      iVar7 = (uVar8 + uVar2) - uVar4;\n      iVar6 = iVar7 - uVar4;\n      if (iVar6 == 0) {\n        uVar2 = *puVar3 ^ *puVar1;\n      }\n      else {\n        if (*puVar1 != *puVar3) {\n          return false;\n        }\n        if ((int)uVar2 < (int)uVar8) {\n          puVar3 = puVar1;\n        }\n        puVar3 = puVar3 + -iVar6;\n        iVar6 = iVar6 + -1;\n        if (0 < iVar6) {\n          if (puVar3[iVar6] != 0) {\n            return false;\n          }\n          while (iVar6 = iVar6 + -1, iVar6 != 0) {\n            if (puVar3[iVar6] != 0) {\n              return false;\n            }\n          }\n        }\n        uVar2 = *puVar3;\n      }\n      if ((uint)(param_3 + (iVar7 + -1) * -0x20) < 0x20) {\n        uVar2 = uVar2 >> (0x20U - (char)param_3 & 0x1f);\n      }\n      return uVar2 == 0;\n    }\n    if (*(int *)(iVar7 + -4) != *(int *)(iVar6 + -4)) {\n      return false;\n    }\n    do {\n      iVar5 = iVar5 + -1;\n      if (iVar5 == 0) goto LAB_0001e9b1;\n    } while (puVar1[iVar5] == puVar3[iVar5]);\n  }" if (parenthesized_expression "((*(int *)(param_1 + 8) == *(int *)(param_2 + 8)) && (uVar4 != 0))" ( (binary_expression "(*(int *)(param_1 + 8) == *(int *)(param_2 + 8)) && (uVar4 != 0)" (parenthesized_expression "(*(int *)(param_1 + 8) == *(int *)(param_2 + 8))" ( (binary_expression "*(int *)(param_1 + 8) == *(int *)(param_2 + 8)" (pointer_expression "*(int *)(param_1 + 8)" * (cast_expression "(int *)(param_1 + 8)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 8)" ( (binary_expression "param_1 + 8" identifier + number_literal) )))) == (pointer_expression "*(int *)(param_2 + 8)" * (cast_expression "(int *)(param_2 + 8)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 8)" ( (binary_expression "param_2 + 8" identifier + number_literal) ))))) )) && (parenthesized_expression "(uVar4 != 0)" ( (binary_expression "uVar4 != 0" identifier != number_literal) ))) )) (compound_statement "{\n    uVar8 = (uVar2 ^ (int)uVar2 >> 0x1f) - ((int)uVar2 >> 0x1f);\n    uVar4 = (uVar4 ^ (int)uVar4 >> 0x1f) - ((int)uVar4 >> 0x1f);\n    iVar7 = uVar8 * 4 + *(int *)(param_1 + 0xc);\n    iVar6 = uVar4 * 4 + *(int *)(param_2 + 0xc);\n    uVar2 = 0x1f;\n    if (*(uint *)(iVar7 + -4) != 0) {\n      for (; *(uint *)(iVar7 + -4) >> uVar2 == 0; uVar2 = uVar2 - 1) {\n      }\n    }\n    if (*(uint *)(iVar6 + -4) >> (0x1fU - (char)(uVar2 ^ 0x1f) & 0x1f) != 1) {\n      return false;\n    }\n    param_3 = (uVar2 ^ 0x1f) + param_3;\n    uVar2 = param_3 + 0x1fU >> 5;\n    if ((int)uVar2 < (int)uVar8) {\n      uVar8 = uVar2;\n    }\n    if ((int)uVar4 <= (int)uVar2) {\n      uVar2 = uVar4;\n    }\n    uVar4 = uVar2;\n    if ((int)uVar8 <= (int)uVar2) {\n      uVar4 = uVar8;\n    }\n    iVar5 = uVar4 - 1;\n    puVar1 = (uint *)(iVar7 + uVar4 * -4);\n    puVar3 = (uint *)(uVar4 * -4 + iVar6);\n    if (iVar5 < 1) {\nLAB_0001e9b1:\n      iVar7 = (uVar8 + uVar2) - uVar4;\n      iVar6 = iVar7 - uVar4;\n      if (iVar6 == 0) {\n        uVar2 = *puVar3 ^ *puVar1;\n      }\n      else {\n        if (*puVar1 != *puVar3) {\n          return false;\n        }\n        if ((int)uVar2 < (int)uVar8) {\n          puVar3 = puVar1;\n        }\n        puVar3 = puVar3 + -iVar6;\n        iVar6 = iVar6 + -1;\n        if (0 < iVar6) {\n          if (puVar3[iVar6] != 0) {\n            return false;\n          }\n          while (iVar6 = iVar6 + -1, iVar6 != 0) {\n            if (puVar3[iVar6] != 0) {\n              return false;\n            }\n          }\n        }\n        uVar2 = *puVar3;\n      }\n      if ((uint)(param_3 + (iVar7 + -1) * -0x20) < 0x20) {\n        uVar2 = uVar2 >> (0x20U - (char)param_3 & 0x1f);\n      }\n      return uVar2 == 0;\n    }\n    if (*(int *)(iVar7 + -4) != *(int *)(iVar6 + -4)) {\n      return false;\n    }\n    do {\n      iVar5 = iVar5 + -1;\n      if (iVar5 == 0) goto LAB_0001e9b1;\n    } while (puVar1[iVar5] == puVar3[iVar5]);\n  }" { (expression_statement "uVar8 = (uVar2 ^ (int)uVar2 >> 0x1f) - ((int)uVar2 >> 0x1f);" (assignment_expression "uVar8 = (uVar2 ^ (int)uVar2 >> 0x1f) - ((int)uVar2 >> 0x1f)" identifier = (binary_expression "(uVar2 ^ (int)uVar2 >> 0x1f) - ((int)uVar2 >> 0x1f)" (parenthesized_expression "(uVar2 ^ (int)uVar2 >> 0x1f)" ( (binary_expression "uVar2 ^ (int)uVar2 >> 0x1f" identifier ^ (binary_expression "(int)uVar2 >> 0x1f" (cast_expression "(int)uVar2" ( (type_descriptor "int" primitive_type) ) identifier) >> number_literal)) )) - (parenthesized_expression "((int)uVar2 >> 0x1f)" ( (binary_expression "(int)uVar2 >> 0x1f" (cast_expression "(int)uVar2" ( (type_descriptor "int" primitive_type) ) identifier) >> number_literal) )))) ;) (expression_statement "uVar4 = (uVar4 ^ (int)uVar4 >> 0x1f) - ((int)uVar4 >> 0x1f);" (assignment_expression "uVar4 = (uVar4 ^ (int)uVar4 >> 0x1f) - ((int)uVar4 >> 0x1f)" identifier = (binary_expression "(uVar4 ^ (int)uVar4 >> 0x1f) - ((int)uVar4 >> 0x1f)" (parenthesized_expression "(uVar4 ^ (int)uVar4 >> 0x1f)" ( (binary_expression "uVar4 ^ (int)uVar4 >> 0x1f" identifier ^ (binary_expression "(int)uVar4 >> 0x1f" (cast_expression "(int)uVar4" ( (type_descriptor "int" primitive_type) ) identifier) >> number_literal)) )) - (parenthesized_expression "((int)uVar4 >> 0x1f)" ( (binary_expression "(int)uVar4 >> 0x1f" (cast_expression "(int)uVar4" ( (type_descriptor "int" primitive_type) ) identifier) >> number_literal) )))) ;) (expression_statement "iVar7 = uVar8 * 4 + *(int *)(param_1 + 0xc);" (assignment_expression "iVar7 = uVar8 * 4 + *(int *)(param_1 + 0xc)" identifier = (binary_expression "uVar8 * 4 + *(int *)(param_1 + 0xc)" (binary_expression "uVar8 * 4" identifier * number_literal) + (pointer_expression "*(int *)(param_1 + 0xc)" * (cast_expression "(int *)(param_1 + 0xc)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0xc)" ( (binary_expression "param_1 + 0xc" identifier + number_literal) )))))) ;) (expression_statement "iVar6 = uVar4 * 4 + *(int *)(param_2 + 0xc);" (assignment_expression "iVar6 = uVar4 * 4 + *(int *)(param_2 + 0xc)" identifier = (binary_expression "uVar4 * 4 + *(int *)(param_2 + 0xc)" (binary_expression "uVar4 * 4" identifier * number_literal) + (pointer_expression "*(int *)(param_2 + 0xc)" * (cast_expression "(int *)(param_2 + 0xc)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 0xc)" ( (binary_expression "param_2 + 0xc" identifier + number_literal) )))))) ;) (expression_statement "uVar2 = 0x1f;" (assignment_expression "uVar2 = 0x1f" identifier = number_literal) ;) (if_statement "if (*(uint *)(iVar7 + -4) != 0) {\n      for (; *(uint *)(iVar7 + -4) >> uVar2 == 0; uVar2 = uVar2 - 1) {\n      }\n    }" if (parenthesized_expression "(*(uint *)(iVar7 + -4) != 0)" ( (binary_expression "*(uint *)(iVar7 + -4) != 0" (pointer_expression "*(uint *)(iVar7 + -4)" * (cast_expression "(uint *)(iVar7 + -4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(iVar7 + -4)" ( (binary_expression "iVar7 + -4" identifier + number_literal) )))) != number_literal) )) (compound_statement "{\n      for (; *(uint *)(iVar7 + -4) >> uVar2 == 0; uVar2 = uVar2 - 1) {\n      }\n    }" { (for_statement "for (; *(uint *)(iVar7 + -4) >> uVar2 == 0; uVar2 = uVar2 - 1) {\n      }" for ( ; (binary_expression "*(uint *)(iVar7 + -4) >> uVar2 == 0" (binary_expression "*(uint *)(iVar7 + -4) >> uVar2" (pointer_expression "*(uint *)(iVar7 + -4)" * (cast_expression "(uint *)(iVar7 + -4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(iVar7 + -4)" ( (binary_expression "iVar7 + -4" identifier + number_literal) )))) >> identifier) == number_literal) ; (assignment_expression "uVar2 = uVar2 - 1" identifier = (binary_expression "uVar2 - 1" identifier - number_literal)) ) (compound_statement "{\n      }" { })) })) (if_statement "if (*(uint *)(iVar6 + -4) >> (0x1fU - (char)(uVar2 ^ 0x1f) & 0x1f) != 1) {\n      return false;\n    }" if (parenthesized_expression "(*(uint *)(iVar6 + -4) >> (0x1fU - (char)(uVar2 ^ 0x1f) & 0x1f) != 1)" ( (binary_expression "*(uint *)(iVar6 + -4) >> (0x1fU - (char)(uVar2 ^ 0x1f) & 0x1f) != 1" (binary_expression "*(uint *)(iVar6 + -4) >> (0x1fU - (char)(uVar2 ^ 0x1f) & 0x1f)" (pointer_expression "*(uint *)(iVar6 + -4)" * (cast_expression "(uint *)(iVar6 + -4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(iVar6 + -4)" ( (binary_expression "iVar6 + -4" identifier + number_literal) )))) >> (parenthesized_expression "(0x1fU - (char)(uVar2 ^ 0x1f) & 0x1f)" ( (binary_expression "0x1fU - (char)(uVar2 ^ 0x1f) & 0x1f" (binary_expression "0x1fU - (char)(uVar2 ^ 0x1f)" number_literal - (cast_expression "(char)(uVar2 ^ 0x1f)" ( (type_descriptor "char" primitive_type) ) (parenthesized_expression "(uVar2 ^ 0x1f)" ( (binary_expression "uVar2 ^ 0x1f" identifier ^ number_literal) )))) & number_literal) ))) != number_literal) )) (compound_statement "{\n      return false;\n    }" { (return_statement "return false;" return false ;) })) (expression_statement "param_3 = (uVar2 ^ 0x1f) + param_3;" (assignment_expression "param_3 = (uVar2 ^ 0x1f) + param_3" identifier = (binary_expression "(uVar2 ^ 0x1f) + param_3" (parenthesized_expression "(uVar2 ^ 0x1f)" ( (binary_expression "uVar2 ^ 0x1f" identifier ^ number_literal) )) + identifier)) ;) (expression_statement "uVar2 = param_3 + 0x1fU >> 5;" (assignment_expression "uVar2 = param_3 + 0x1fU >> 5" identifier = (binary_expression "param_3 + 0x1fU >> 5" (binary_expression "param_3 + 0x1fU" identifier + number_literal) >> number_literal)) ;) (if_statement "if ((int)uVar2 < (int)uVar8) {\n      uVar8 = uVar2;\n    }" if (parenthesized_expression "((int)uVar2 < (int)uVar8)" ( (binary_expression "(int)uVar2 < (int)uVar8" (cast_expression "(int)uVar2" ( (type_descriptor "int" primitive_type) ) identifier) < (cast_expression "(int)uVar8" ( (type_descriptor "int" primitive_type) ) identifier)) )) (compound_statement "{\n      uVar8 = uVar2;\n    }" { (expression_statement "uVar8 = uVar2;" (assignment_expression "uVar8 = uVar2" identifier = identifier) ;) })) (if_statement "if ((int)uVar4 <= (int)uVar2) {\n      uVar2 = uVar4;\n    }" if (parenthesized_expression "((int)uVar4 <= (int)uVar2)" ( (binary_expression "(int)uVar4 <= (int)uVar2" (cast_expression "(int)uVar4" ( (type_descriptor "int" primitive_type) ) identifier) <= (cast_expression "(int)uVar2" ( (type_descriptor "int" primitive_type) ) identifier)) )) (compound_statement "{\n      uVar2 = uVar4;\n    }" { (expression_statement "uVar2 = uVar4;" (assignment_expression "uVar2 = uVar4" identifier = identifier) ;) })) (expression_statement "uVar4 = uVar2;" (assignment_expression "uVar4 = uVar2" identifier = identifier) ;) (if_statement "if ((int)uVar8 <= (int)uVar2) {\n      uVar4 = uVar8;\n    }" if (parenthesized_expression "((int)uVar8 <= (int)uVar2)" ( (binary_expression "(int)uVar8 <= (int)uVar2" (cast_expression "(int)uVar8" ( (type_descriptor "int" primitive_type) ) identifier) <= (cast_expression "(int)uVar2" ( (type_descriptor "int" primitive_type) ) identifier)) )) (compound_statement "{\n      uVar4 = uVar8;\n    }" { (expression_statement "uVar4 = uVar8;" (assignment_expression "uVar4 = uVar8" identifier = identifier) ;) })) (expression_statement "iVar5 = uVar4 - 1;" (assignment_expression "iVar5 = uVar4 - 1" identifier = (binary_expression "uVar4 - 1" identifier - number_literal)) ;) (expression_statement "puVar1 = (uint *)(iVar7 + uVar4 * -4);" (assignment_expression "puVar1 = (uint *)(iVar7 + uVar4 * -4)" identifier = (cast_expression "(uint *)(iVar7 + uVar4 * -4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(iVar7 + uVar4 * -4)" ( (binary_expression "iVar7 + uVar4 * -4" identifier + (binary_expression "uVar4 * -4" identifier * number_literal)) )))) ;) (expression_statement "puVar3 = (uint *)(uVar4 * -4 + iVar6);" (assignment_expression "puVar3 = (uint *)(uVar4 * -4 + iVar6)" identifier = (cast_expression "(uint *)(uVar4 * -4 + iVar6)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(uVar4 * -4 + iVar6)" ( (binary_expression "uVar4 * -4 + iVar6" (binary_expression "uVar4 * -4" identifier * number_literal) + identifier) )))) ;) (if_statement "if (iVar5 < 1) {\nLAB_0001e9b1:\n      iVar7 = (uVar8 + uVar2) - uVar4;\n      iVar6 = iVar7 - uVar4;\n      if (iVar6 == 0) {\n        uVar2 = *puVar3 ^ *puVar1;\n      }\n      else {\n        if (*puVar1 != *puVar3) {\n          return false;\n        }\n        if ((int)uVar2 < (int)uVar8) {\n          puVar3 = puVar1;\n        }\n        puVar3 = puVar3 + -iVar6;\n        iVar6 = iVar6 + -1;\n        if (0 < iVar6) {\n          if (puVar3[iVar6] != 0) {\n            return false;\n          }\n          while (iVar6 = iVar6 + -1, iVar6 != 0) {\n            if (puVar3[iVar6] != 0) {\n              return false;\n            }\n          }\n        }\n        uVar2 = *puVar3;\n      }\n      if ((uint)(param_3 + (iVar7 + -1) * -0x20) < 0x20) {\n        uVar2 = uVar2 >> (0x20U - (char)param_3 & 0x1f);\n      }\n      return uVar2 == 0;\n    }" if (parenthesized_expression "(iVar5 < 1)" ( (binary_expression "iVar5 < 1" identifier < number_literal) )) (compound_statement "{\nLAB_0001e9b1:\n      iVar7 = (uVar8 + uVar2) - uVar4;\n      iVar6 = iVar7 - uVar4;\n      if (iVar6 == 0) {\n        uVar2 = *puVar3 ^ *puVar1;\n      }\n      else {\n        if (*puVar1 != *puVar3) {\n          return false;\n        }\n        if ((int)uVar2 < (int)uVar8) {\n          puVar3 = puVar1;\n        }\n        puVar3 = puVar3 + -iVar6;\n        iVar6 = iVar6 + -1;\n        if (0 < iVar6) {\n          if (puVar3[iVar6] != 0) {\n            return false;\n          }\n          while (iVar6 = iVar6 + -1, iVar6 != 0) {\n            if (puVar3[iVar6] != 0) {\n              return false;\n            }\n          }\n        }\n        uVar2 = *puVar3;\n      }\n      if ((uint)(param_3 + (iVar7 + -1) * -0x20) < 0x20) {\n        uVar2 = uVar2 >> (0x20U - (char)param_3 & 0x1f);\n      }\n      return uVar2 == 0;\n    }" { (labeled_statement "LAB_0001e9b1:\n      iVar7 = (uVar8 + uVar2) - uVar4;" statement_identifier : (expression_statement "iVar7 = (uVar8 + uVar2) - uVar4;" (assignment_expression "iVar7 = (uVar8 + uVar2) - uVar4" identifier = (binary_expression "(uVar8 + uVar2) - uVar4" (parenthesized_expression "(uVar8 + uVar2)" ( (binary_expression "uVar8 + uVar2" identifier + identifier) )) - identifier)) ;)) (expression_statement "iVar6 = iVar7 - uVar4;" (assignment_expression "iVar6 = iVar7 - uVar4" identifier = (binary_expression "iVar7 - uVar4" identifier - identifier)) ;) (if_statement "if (iVar6 == 0) {\n        uVar2 = *puVar3 ^ *puVar1;\n      }\n      else {\n        if (*puVar1 != *puVar3) {\n          return false;\n        }\n        if ((int)uVar2 < (int)uVar8) {\n          puVar3 = puVar1;\n        }\n        puVar3 = puVar3 + -iVar6;\n        iVar6 = iVar6 + -1;\n        if (0 < iVar6) {\n          if (puVar3[iVar6] != 0) {\n            return false;\n          }\n          while (iVar6 = iVar6 + -1, iVar6 != 0) {\n            if (puVar3[iVar6] != 0) {\n              return false;\n            }\n          }\n        }\n        uVar2 = *puVar3;\n      }" if (parenthesized_expression "(iVar6 == 0)" ( (binary_expression "iVar6 == 0" identifier == number_literal) )) (compound_statement "{\n        uVar2 = *puVar3 ^ *puVar1;\n      }" { (expression_statement "uVar2 = *puVar3 ^ *puVar1;" (assignment_expression "uVar2 = *puVar3 ^ *puVar1" identifier = (binary_expression "*puVar3 ^ *puVar1" (pointer_expression "*puVar3" * identifier) ^ (pointer_expression "*puVar1" * identifier))) ;) }) (else_clause "else {\n        if (*puVar1 != *puVar3) {\n          return false;\n        }\n        if ((int)uVar2 < (int)uVar8) {\n          puVar3 = puVar1;\n        }\n        puVar3 = puVar3 + -iVar6;\n        iVar6 = iVar6 + -1;\n        if (0 < iVar6) {\n          if (puVar3[iVar6] != 0) {\n            return false;\n          }\n          while (iVar6 = iVar6 + -1, iVar6 != 0) {\n            if (puVar3[iVar6] != 0) {\n              return false;\n            }\n          }\n        }\n        uVar2 = *puVar3;\n      }" else (compound_statement "{\n        if (*puVar1 != *puVar3) {\n          return false;\n        }\n        if ((int)uVar2 < (int)uVar8) {\n          puVar3 = puVar1;\n        }\n        puVar3 = puVar3 + -iVar6;\n        iVar6 = iVar6 + -1;\n        if (0 < iVar6) {\n          if (puVar3[iVar6] != 0) {\n            return false;\n          }\n          while (iVar6 = iVar6 + -1, iVar6 != 0) {\n            if (puVar3[iVar6] != 0) {\n              return false;\n            }\n          }\n        }\n        uVar2 = *puVar3;\n      }" { (if_statement "if (*puVar1 != *puVar3) {\n          return false;\n        }" if (parenthesized_expression "(*puVar1 != *puVar3)" ( (binary_expression "*puVar1 != *puVar3" (pointer_expression "*puVar1" * identifier) != (pointer_expression "*puVar3" * identifier)) )) (compound_statement "{\n          return false;\n        }" { (return_statement "return false;" return false ;) })) (if_statement "if ((int)uVar2 < (int)uVar8) {\n          puVar3 = puVar1;\n        }" if (parenthesized_expression "((int)uVar2 < (int)uVar8)" ( (binary_expression "(int)uVar2 < (int)uVar8" (cast_expression "(int)uVar2" ( (type_descriptor "int" primitive_type) ) identifier) < (cast_expression "(int)uVar8" ( (type_descriptor "int" primitive_type) ) identifier)) )) (compound_statement "{\n          puVar3 = puVar1;\n        }" { (expression_statement "puVar3 = puVar1;" (assignment_expression "puVar3 = puVar1" identifier = identifier) ;) })) (expression_statement "puVar3 = puVar3 + -iVar6;" (assignment_expression "puVar3 = puVar3 + -iVar6" identifier = (binary_expression "puVar3 + -iVar6" identifier + (unary_expression "-iVar6" - identifier))) ;) (expression_statement "iVar6 = iVar6 + -1;" (assignment_expression "iVar6 = iVar6 + -1" identifier = (binary_expression "iVar6 + -1" identifier + number_literal)) ;) (if_statement "if (0 < iVar6) {\n          if (puVar3[iVar6] != 0) {\n            return false;\n          }\n          while (iVar6 = iVar6 + -1, iVar6 != 0) {\n            if (puVar3[iVar6] != 0) {\n              return false;\n            }\n          }\n        }" if (parenthesized_expression "(0 < iVar6)" ( (binary_expression "0 < iVar6" number_literal < identifier) )) (compound_statement "{\n          if (puVar3[iVar6] != 0) {\n            return false;\n          }\n          while (iVar6 = iVar6 + -1, iVar6 != 0) {\n            if (puVar3[iVar6] != 0) {\n              return false;\n            }\n          }\n        }" { (if_statement "if (puVar3[iVar6] != 0) {\n            return false;\n          }" if (parenthesized_expression "(puVar3[iVar6] != 0)" ( (binary_expression "puVar3[iVar6] != 0" (subscript_expression "puVar3[iVar6]" identifier [ identifier ]) != number_literal) )) (compound_statement "{\n            return false;\n          }" { (return_statement "return false;" return false ;) })) (while_statement "while (iVar6 = iVar6 + -1, iVar6 != 0) {\n            if (puVar3[iVar6] != 0) {\n              return false;\n            }\n          }" while (parenthesized_expression "(iVar6 = iVar6 + -1, iVar6 != 0)" ( (comma_expression "iVar6 = iVar6 + -1, iVar6 != 0" (assignment_expression "iVar6 = iVar6 + -1" identifier = (binary_expression "iVar6 + -1" identifier + number_literal)) , (binary_expression "iVar6 != 0" identifier != number_literal)) )) (compound_statement "{\n            if (puVar3[iVar6] != 0) {\n              return false;\n            }\n          }" { (if_statement "if (puVar3[iVar6] != 0) {\n              return false;\n            }" if (parenthesized_expression "(puVar3[iVar6] != 0)" ( (binary_expression "puVar3[iVar6] != 0" (subscript_expression "puVar3[iVar6]" identifier [ identifier ]) != number_literal) )) (compound_statement "{\n              return false;\n            }" { (return_statement "return false;" return false ;) })) })) })) (expression_statement "uVar2 = *puVar3;" (assignment_expression "uVar2 = *puVar3" identifier = (pointer_expression "*puVar3" * identifier)) ;) }))) (if_statement "if ((uint)(param_3 + (iVar7 + -1) * -0x20) < 0x20) {\n        uVar2 = uVar2 >> (0x20U - (char)param_3 & 0x1f);\n      }" if (parenthesized_expression "((uint)(param_3 + (iVar7 + -1) * -0x20) < 0x20)" ( (binary_expression "(uint)(param_3 + (iVar7 + -1) * -0x20) < 0x20" (call_expression "(uint)(param_3 + (iVar7 + -1) * -0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(param_3 + (iVar7 + -1) * -0x20)" ( (binary_expression "param_3 + (iVar7 + -1) * -0x20" identifier + (binary_expression "(iVar7 + -1) * -0x20" (parenthesized_expression "(iVar7 + -1)" ( (binary_expression "iVar7 + -1" identifier + number_literal) )) * number_literal)) ))) < number_literal) )) (compound_statement "{\n        uVar2 = uVar2 >> (0x20U - (char)param_3 & 0x1f);\n      }" { (expression_statement "uVar2 = uVar2 >> (0x20U - (char)param_3 & 0x1f);" (assignment_expression "uVar2 = uVar2 >> (0x20U - (char)param_3 & 0x1f)" identifier = (binary_expression "uVar2 >> (0x20U - (char)param_3 & 0x1f)" identifier >> (parenthesized_expression "(0x20U - (char)param_3 & 0x1f)" ( (binary_expression "0x20U - (char)param_3 & 0x1f" (binary_expression "0x20U - (char)param_3" number_literal - (cast_expression "(char)param_3" ( (type_descriptor "char" primitive_type) ) identifier)) & number_literal) )))) ;) })) (return_statement "return uVar2 == 0;" return (binary_expression "uVar2 == 0" identifier == number_literal) ;) })) (if_statement "if (*(int *)(iVar7 + -4) != *(int *)(iVar6 + -4)) {\n      return false;\n    }" if (parenthesized_expression "(*(int *)(iVar7 + -4) != *(int *)(iVar6 + -4))" ( (binary_expression "*(int *)(iVar7 + -4) != *(int *)(iVar6 + -4)" (pointer_expression "*(int *)(iVar7 + -4)" * (cast_expression "(int *)(iVar7 + -4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(iVar7 + -4)" ( (binary_expression "iVar7 + -4" identifier + number_literal) )))) != (pointer_expression "*(int *)(iVar6 + -4)" * (cast_expression "(int *)(iVar6 + -4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(iVar6 + -4)" ( (binary_expression "iVar6 + -4" identifier + number_literal) ))))) )) (compound_statement "{\n      return false;\n    }" { (return_statement "return false;" return false ;) })) (do_statement "do {\n      iVar5 = iVar5 + -1;\n      if (iVar5 == 0) goto LAB_0001e9b1;\n    } while (puVar1[iVar5] == puVar3[iVar5]);" do (compound_statement "{\n      iVar5 = iVar5 + -1;\n      if (iVar5 == 0) goto LAB_0001e9b1;\n    }" { (expression_statement "iVar5 = iVar5 + -1;" (assignment_expression "iVar5 = iVar5 + -1" identifier = (binary_expression "iVar5 + -1" identifier + number_literal)) ;) (if_statement "if (iVar5 == 0) goto LAB_0001e9b1;" if (parenthesized_expression "(iVar5 == 0)" ( (binary_expression "iVar5 == 0" identifier == number_literal) )) (goto_statement "goto LAB_0001e9b1;" goto statement_identifier ;)) }) while (parenthesized_expression "(puVar1[iVar5] == puVar3[iVar5])" ( (binary_expression "puVar1[iVar5] == puVar3[iVar5]" (subscript_expression "puVar1[iVar5]" identifier [ identifier ]) == (subscript_expression "puVar3[iVar5]" identifier [ identifier ])) )) ;) })) (return_statement "return false;" return false ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) ))) (compound_statement { (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))))) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))))) ;) (if_statement if (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) (parenthesized_expression ( (binary_expression IDENT ^ IDENT) ))) < LIT) )) (compound_statement { (return_statement return BOOL ;) })) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (return_statement return (binary_expression IDENT == LIT) ;) })) (if_statement if (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) == (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))))) )) && (parenthesized_expression ( (binary_expression IDENT != LIT) ))) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression IDENT ^ (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) >> LIT)) )) - (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) >> LIT) )))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression IDENT ^ (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) >> LIT)) )) - (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) >> LIT) )))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression IDENT * LIT) + (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression IDENT * LIT) + (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))))) ;) (expression_statement (assignment_expression IDENT = LIT) ;) (if_statement if (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) != LIT) )) (compound_statement { (for_statement for ( ; (binary_expression (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) >> IDENT) == LIT) ; (assignment_expression IDENT = (binary_expression IDENT - LIT)) ) (compound_statement { })) })) (if_statement if (parenthesized_expression ( (binary_expression (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) >> (parenthesized_expression ( (binary_expression (binary_expression LIT - (cast_expression ( (type_descriptor TYPE) ) (parenthesized_expression ( (binary_expression IDENT ^ LIT) )))) & LIT) ))) != LIT) )) (compound_statement { (return_statement return BOOL ;) })) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression IDENT ^ LIT) )) + IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression IDENT + LIT) >> LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) < (cast_expression ( (type_descriptor TYPE) ) IDENT)) )) (compound_statement { (expression_statement (assignment_expression IDENT = IDENT) ;) })) (if_statement if (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) <= (cast_expression ( (type_descriptor TYPE) ) IDENT)) )) (compound_statement { (expression_statement (assignment_expression IDENT = IDENT) ;) })) (expression_statement (assignment_expression IDENT = IDENT) ;) (if_statement if (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) <= (cast_expression ( (type_descriptor TYPE) ) IDENT)) )) (compound_statement { (expression_statement (assignment_expression IDENT = IDENT) ;) })) (expression_statement (assignment_expression IDENT = (binary_expression IDENT - LIT)) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + (binary_expression IDENT * LIT)) )))) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (binary_expression IDENT * LIT) + IDENT) )))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT < LIT) )) (compound_statement { (labeled_statement statement_identifier : (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression IDENT + IDENT) )) - IDENT)) ;)) (expression_statement (assignment_expression IDENT = (binary_expression IDENT - IDENT)) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression (pointer_expression * IDENT) ^ (pointer_expression * IDENT))) ;) }) (else_clause else (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression (pointer_expression * IDENT) != (pointer_expression * IDENT)) )) (compound_statement { (return_statement return BOOL ;) })) (if_statement if (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) < (cast_expression ( (type_descriptor TYPE) ) IDENT)) )) (compound_statement { (expression_statement (assignment_expression IDENT = IDENT) ;) })) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + (unary_expression - IDENT))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression LIT < IDENT) )) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression (subscript_expression IDENT [ IDENT ]) != LIT) )) (compound_statement { (return_statement return BOOL ;) })) (while_statement while (parenthesized_expression ( (comma_expression (assignment_expression IDENT = (binary_expression IDENT + LIT)) , (binary_expression IDENT != LIT)) )) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression (subscript_expression IDENT [ IDENT ]) != LIT) )) (compound_statement { (return_statement return BOOL ;) })) })) })) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) }))) (if_statement if (parenthesized_expression ( (binary_expression (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression IDENT + (binary_expression (parenthesized_expression ( (binary_expression IDENT + LIT) )) * LIT)) ))) < LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT >> (parenthesized_expression ( (binary_expression (binary_expression LIT - (cast_expression ( (type_descriptor TYPE) ) IDENT)) & LIT) )))) ;) })) (return_statement return (binary_expression IDENT == LIT) ;) })) (if_statement if (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) != (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))))) )) (compound_statement { (return_statement return BOOL ;) })) (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (goto_statement goto statement_identifier ;)) }) while (parenthesized_expression ( (binary_expression (subscript_expression IDENT [ IDENT ]) == (subscript_expression IDENT [ IDENT ])) )) ;) })) (return_statement return BOOL ;) })))
(function_definition "bool __gmpf_eq(int param_1,int param_2,int param_3)\n\n{\n  uint *puVar1;\n  uint uVar2;\n  uint *puVar3;\n  uint uVar4;\n  int iVar5;\n  int iVar6;\n  int iVar7;\n  uint uVar8;\n  \n  uVar2 = *(uint *)(param_1 + 4);\n  uVar4 = *(uint *)(param_2 + 4);\n  if ((int)(uVar2 ^ uVar4) < 0) {\n    return false;\n  }\n  if (uVar2 == 0) {\n    return uVar4 == 0;\n  }\n  if ((*(int *)(param_1 + 8) == *(int *)(param_2 + 8)) && (uVar4 != 0)) {\n    uVar8 = (uVar2 ^ (int)uVar2 >> 0x1f) - ((int)uVar2 >> 0x1f);\n    uVar4 = (uVar4 ^ (int)uVar4 >> 0x1f) - ((int)uVar4 >> 0x1f);\n    iVar7 = uVar8 * 4 + *(int *)(param_1 + 0xc);\n    iVar6 = uVar4 * 4 + *(int *)(param_2 + 0xc);\n    uVar2 = 0x1f;\n    if (*(uint *)(iVar7 + -4) != 0) {\n      for (; *(uint *)(iVar7 + -4) >> uVar2 == 0; uVar2 = uVar2 - 1) {\n      }\n    }\n    if (*(uint *)(iVar6 + -4) >> (0x1fU - (char)(uVar2 ^ 0x1f) & 0x1f) != 1) {\n      return false;\n    }\n    param_3 = (uVar2 ^ 0x1f) + param_3;\n    uVar2 = param_3 + 0x1fU >> 5;\n    if ((int)uVar2 < (int)uVar8) {\n      uVar8 = uVar2;\n    }\n    if ((int)uVar4 <= (int)uVar2) {\n      uVar2 = uVar4;\n    }\n    uVar4 = uVar2;\n    if ((int)uVar8 <= (int)uVar2) {\n      uVar4 = uVar8;\n    }\n    iVar5 = uVar4 - 1;\n    puVar1 = (uint *)(iVar7 + uVar4 * -4);\n    puVar3 = (uint *)(uVar4 * -4 + iVar6);\n    if (iVar5 < 1) {\nLAB_0001e9b1:\n      iVar7 = (uVar8 + uVar2) - uVar4;\n      iVar6 = iVar7 - uVar4;\n      if (iVar6 == 0) {\n        uVar2 = *puVar3 ^ *puVar1;\n      }\n      else {\n        if (*puVar1 != *puVar3) {\n          return false;\n        }\n        if ((int)uVar2 < (int)uVar8) {\n          puVar3 = puVar1;\n        }\n        puVar3 = puVar3 + -iVar6;\n        iVar6 = iVar6 + -1;\n        if (0 < iVar6) {\n          if (puVar3[iVar6] != 0) {\n            return false;\n          }\n          while (iVar6 = iVar6 + -1, iVar6 != 0) {\n            if (puVar3[iVar6] != 0) {\n              return false;\n            }\n          }\n        }\n        uVar2 = *puVar3;\n      }\n      if ((uint)(param_3 + (iVar7 + -1) * -0x20) < 0x20) {\n        uVar2 = uVar2 >> (0x20U - (char)param_3 & 0x1f);\n      }\n      return uVar2 == 0;\n    }\n    if (*(int *)(iVar7 + -4) != *(int *)(iVar6 + -4)) {\n      return false;\n    }\n    do {\n      iVar5 = iVar5 + -1;\n      if (iVar5 == 0) goto LAB_0001e9b1;\n    } while (puVar1[iVar5] == puVar3[iVar5]);\n  }\n  return false;\n}" (primitive_type "bool") (function_declarator "__gmpf_eq(int param_1,int param_2,int param_3)" (identifier "__gmpf_eq") (parameter_list "(int param_1,int param_2,int param_3)" (( "(") (parameter_declaration "int param_1" (primitive_type "int") (identifier "param_1")) (, ",") (parameter_declaration "int param_2" (primitive_type "int") (identifier "param_2")) (, ",") (parameter_declaration "int param_3" (primitive_type "int") (identifier "param_3")) () ")"))) (compound_statement "{\n  uint *puVar1;\n  uint uVar2;\n  uint *puVar3;\n  uint uVar4;\n  int iVar5;\n  int iVar6;\n  int iVar7;\n  uint uVar8;\n  \n  uVar2 = *(uint *)(param_1 + 4);\n  uVar4 = *(uint *)(param_2 + 4);\n  if ((int)(uVar2 ^ uVar4) < 0) {\n    return false;\n  }\n  if (uVar2 == 0) {\n    return uVar4 == 0;\n  }\n  if ((*(int *)(param_1 + 8) == *(int *)(param_2 + 8)) && (uVar4 != 0)) {\n    uVar8 = (uVar2 ^ (int)uVar2 >> 0x1f) - ((int)uVar2 >> 0x1f);\n    uVar4 = (uVar4 ^ (int)uVar4 >> 0x1f) - ((int)uVar4 >> 0x1f);\n    iVar7 = uVar8 * 4 + *(int *)(param_1 + 0xc);\n    iVar6 = uVar4 * 4 + *(int *)(param_2 + 0xc);\n    uVar2 = 0x1f;\n    if (*(uint *)(iVar7 + -4) != 0) {\n      for (; *(uint *)(iVar7 + -4) >> uVar2 == 0; uVar2 = uVar2 - 1) {\n      }\n    }\n    if (*(uint *)(iVar6 + -4) >> (0x1fU - (char)(uVar2 ^ 0x1f) & 0x1f) != 1) {\n      return false;\n    }\n    param_3 = (uVar2 ^ 0x1f) + param_3;\n    uVar2 = param_3 + 0x1fU >> 5;\n    if ((int)uVar2 < (int)uVar8) {\n      uVar8 = uVar2;\n    }\n    if ((int)uVar4 <= (int)uVar2) {\n      uVar2 = uVar4;\n    }\n    uVar4 = uVar2;\n    if ((int)uVar8 <= (int)uVar2) {\n      uVar4 = uVar8;\n    }\n    iVar5 = uVar4 - 1;\n    puVar1 = (uint *)(iVar7 + uVar4 * -4);\n    puVar3 = (uint *)(uVar4 * -4 + iVar6);\n    if (iVar5 < 1) {\nLAB_0001e9b1:\n      iVar7 = (uVar8 + uVar2) - uVar4;\n      iVar6 = iVar7 - uVar4;\n      if (iVar6 == 0) {\n        uVar2 = *puVar3 ^ *puVar1;\n      }\n      else {\n        if (*puVar1 != *puVar3) {\n          return false;\n        }\n        if ((int)uVar2 < (int)uVar8) {\n          puVar3 = puVar1;\n        }\n        puVar3 = puVar3 + -iVar6;\n        iVar6 = iVar6 + -1;\n        if (0 < iVar6) {\n          if (puVar3[iVar6] != 0) {\n            return false;\n          }\n          while (iVar6 = iVar6 + -1, iVar6 != 0) {\n            if (puVar3[iVar6] != 0) {\n              return false;\n            }\n          }\n        }\n        uVar2 = *puVar3;\n      }\n      if ((uint)(param_3 + (iVar7 + -1) * -0x20) < 0x20) {\n        uVar2 = uVar2 >> (0x20U - (char)param_3 & 0x1f);\n      }\n      return uVar2 == 0;\n    }\n    if (*(int *)(iVar7 + -4) != *(int *)(iVar6 + -4)) {\n      return false;\n    }\n    do {\n      iVar5 = iVar5 + -1;\n      if (iVar5 == 0) goto LAB_0001e9b1;\n    } while (puVar1[iVar5] == puVar3[iVar5]);\n  }\n  return false;\n}" ({ "{") (declaration "uint *puVar1;" (type_identifier "uint") (pointer_declarator "*puVar1" (* "*") (identifier "puVar1")) (; ";")) (declaration "uint uVar2;" (type_identifier "uint") (identifier "uVar2") (; ";")) (declaration "uint *puVar3;" (type_identifier "uint") (pointer_declarator "*puVar3" (* "*") (identifier "puVar3")) (; ";")) (declaration "uint uVar4;" (type_identifier "uint") (identifier "uVar4") (; ";")) (declaration "int iVar5;" (primitive_type "int") (identifier "iVar5") (; ";")) (declaration "int iVar6;" (primitive_type "int") (identifier "iVar6") (; ";")) (declaration "int iVar7;" (primitive_type "int") (identifier "iVar7") (; ";")) (declaration "uint uVar8;" (type_identifier "uint") (identifier "uVar8") (; ";")) (expression_statement "uVar2 = *(uint *)(param_1 + 4);" (assignment_expression "uVar2 = *(uint *)(param_1 + 4)" (identifier "uVar2") (= "=") (pointer_expression "*(uint *)(param_1 + 4)" (* "*") (cast_expression "(uint *)(param_1 + 4)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 4)" (( "(") (binary_expression "param_1 + 4" (identifier "param_1") (+ "+") (number_literal "4")) () ")"))))) (; ";")) (expression_statement "uVar4 = *(uint *)(param_2 + 4);" (assignment_expression "uVar4 = *(uint *)(param_2 + 4)" (identifier "uVar4") (= "=") (pointer_expression "*(uint *)(param_2 + 4)" (* "*") (cast_expression "(uint *)(param_2 + 4)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_2 + 4)" (( "(") (binary_expression "param_2 + 4" (identifier "param_2") (+ "+") (number_literal "4")) () ")"))))) (; ";")) (if_statement "if ((int)(uVar2 ^ uVar4) < 0) {\n    return false;\n  }" (if "if") (parenthesized_expression "((int)(uVar2 ^ uVar4) < 0)" (( "(") (binary_expression "(int)(uVar2 ^ uVar4) < 0" (cast_expression "(int)(uVar2 ^ uVar4)" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (parenthesized_expression "(uVar2 ^ uVar4)" (( "(") (binary_expression "uVar2 ^ uVar4" (identifier "uVar2") (^ "^") (identifier "uVar4")) () ")"))) (< "<") (number_literal "0")) () ")")) (compound_statement "{\n    return false;\n  }" ({ "{") (return_statement "return false;" (return "return") (false "false") (; ";")) (} "}"))) (if_statement "if (uVar2 == 0) {\n    return uVar4 == 0;\n  }" (if "if") (parenthesized_expression "(uVar2 == 0)" (( "(") (binary_expression "uVar2 == 0" (identifier "uVar2") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n    return uVar4 == 0;\n  }" ({ "{") (return_statement "return uVar4 == 0;" (return "return") (binary_expression "uVar4 == 0" (identifier "uVar4") (== "==") (number_literal "0")) (; ";")) (} "}"))) (if_statement "if ((*(int *)(param_1 + 8) == *(int *)(param_2 + 8)) && (uVar4 != 0)) {\n    uVar8 = (uVar2 ^ (int)uVar2 >> 0x1f) - ((int)uVar2 >> 0x1f);\n    uVar4 = (uVar4 ^ (int)uVar4 >> 0x1f) - ((int)uVar4 >> 0x1f);\n    iVar7 = uVar8 * 4 + *(int *)(param_1 + 0xc);\n    iVar6 = uVar4 * 4 + *(int *)(param_2 + 0xc);\n    uVar2 = 0x1f;\n    if (*(uint *)(iVar7 + -4) != 0) {\n      for (; *(uint *)(iVar7 + -4) >> uVar2 == 0; uVar2 = uVar2 - 1) {\n      }\n    }\n    if (*(uint *)(iVar6 + -4) >> (0x1fU - (char)(uVar2 ^ 0x1f) & 0x1f) != 1) {\n      return false;\n    }\n    param_3 = (uVar2 ^ 0x1f) + param_3;\n    uVar2 = param_3 + 0x1fU >> 5;\n    if ((int)uVar2 < (int)uVar8) {\n      uVar8 = uVar2;\n    }\n    if ((int)uVar4 <= (int)uVar2) {\n      uVar2 = uVar4;\n    }\n    uVar4 = uVar2;\n    if ((int)uVar8 <= (int)uVar2) {\n      uVar4 = uVar8;\n    }\n    iVar5 = uVar4 - 1;\n    puVar1 = (uint *)(iVar7 + uVar4 * -4);\n    puVar3 = (uint *)(uVar4 * -4 + iVar6);\n    if (iVar5 < 1) {\nLAB_0001e9b1:\n      iVar7 = (uVar8 + uVar2) - uVar4;\n      iVar6 = iVar7 - uVar4;\n      if (iVar6 == 0) {\n        uVar2 = *puVar3 ^ *puVar1;\n      }\n      else {\n        if (*puVar1 != *puVar3) {\n          return false;\n        }\n        if ((int)uVar2 < (int)uVar8) {\n          puVar3 = puVar1;\n        }\n        puVar3 = puVar3 + -iVar6;\n        iVar6 = iVar6 + -1;\n        if (0 < iVar6) {\n          if (puVar3[iVar6] != 0) {\n            return false;\n          }\n          while (iVar6 = iVar6 + -1, iVar6 != 0) {\n            if (puVar3[iVar6] != 0) {\n              return false;\n            }\n          }\n        }\n        uVar2 = *puVar3;\n      }\n      if ((uint)(param_3 + (iVar7 + -1) * -0x20) < 0x20) {\n        uVar2 = uVar2 >> (0x20U - (char)param_3 & 0x1f);\n      }\n      return uVar2 == 0;\n    }\n    if (*(int *)(iVar7 + -4) != *(int *)(iVar6 + -4)) {\n      return false;\n    }\n    do {\n      iVar5 = iVar5 + -1;\n      if (iVar5 == 0) goto LAB_0001e9b1;\n    } while (puVar1[iVar5] == puVar3[iVar5]);\n  }" (if "if") (parenthesized_expression "((*(int *)(param_1 + 8) == *(int *)(param_2 + 8)) && (uVar4 != 0))" (( "(") (binary_expression "(*(int *)(param_1 + 8) == *(int *)(param_2 + 8)) && (uVar4 != 0)" (parenthesized_expression "(*(int *)(param_1 + 8) == *(int *)(param_2 + 8))" (( "(") (binary_expression "*(int *)(param_1 + 8) == *(int *)(param_2 + 8)" (pointer_expression "*(int *)(param_1 + 8)" (* "*") (cast_expression "(int *)(param_1 + 8)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 8)" (( "(") (binary_expression "param_1 + 8" (identifier "param_1") (+ "+") (number_literal "8")) () ")")))) (== "==") (pointer_expression "*(int *)(param_2 + 8)" (* "*") (cast_expression "(int *)(param_2 + 8)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_2 + 8)" (( "(") (binary_expression "param_2 + 8" (identifier "param_2") (+ "+") (number_literal "8")) () ")"))))) () ")")) (&& "&&") (parenthesized_expression "(uVar4 != 0)" (( "(") (binary_expression "uVar4 != 0" (identifier "uVar4") (!= "!=") (number_literal "0")) () ")"))) () ")")) (compound_statement "{\n    uVar8 = (uVar2 ^ (int)uVar2 >> 0x1f) - ((int)uVar2 >> 0x1f);\n    uVar4 = (uVar4 ^ (int)uVar4 >> 0x1f) - ((int)uVar4 >> 0x1f);\n    iVar7 = uVar8 * 4 + *(int *)(param_1 + 0xc);\n    iVar6 = uVar4 * 4 + *(int *)(param_2 + 0xc);\n    uVar2 = 0x1f;\n    if (*(uint *)(iVar7 + -4) != 0) {\n      for (; *(uint *)(iVar7 + -4) >> uVar2 == 0; uVar2 = uVar2 - 1) {\n      }\n    }\n    if (*(uint *)(iVar6 + -4) >> (0x1fU - (char)(uVar2 ^ 0x1f) & 0x1f) != 1) {\n      return false;\n    }\n    param_3 = (uVar2 ^ 0x1f) + param_3;\n    uVar2 = param_3 + 0x1fU >> 5;\n    if ((int)uVar2 < (int)uVar8) {\n      uVar8 = uVar2;\n    }\n    if ((int)uVar4 <= (int)uVar2) {\n      uVar2 = uVar4;\n    }\n    uVar4 = uVar2;\n    if ((int)uVar8 <= (int)uVar2) {\n      uVar4 = uVar8;\n    }\n    iVar5 = uVar4 - 1;\n    puVar1 = (uint *)(iVar7 + uVar4 * -4);\n    puVar3 = (uint *)(uVar4 * -4 + iVar6);\n    if (iVar5 < 1) {\nLAB_0001e9b1:\n      iVar7 = (uVar8 + uVar2) - uVar4;\n      iVar6 = iVar7 - uVar4;\n      if (iVar6 == 0) {\n        uVar2 = *puVar3 ^ *puVar1;\n      }\n      else {\n        if (*puVar1 != *puVar3) {\n          return false;\n        }\n        if ((int)uVar2 < (int)uVar8) {\n          puVar3 = puVar1;\n        }\n        puVar3 = puVar3 + -iVar6;\n        iVar6 = iVar6 + -1;\n        if (0 < iVar6) {\n          if (puVar3[iVar6] != 0) {\n            return false;\n          }\n          while (iVar6 = iVar6 + -1, iVar6 != 0) {\n            if (puVar3[iVar6] != 0) {\n              return false;\n            }\n          }\n        }\n        uVar2 = *puVar3;\n      }\n      if ((uint)(param_3 + (iVar7 + -1) * -0x20) < 0x20) {\n        uVar2 = uVar2 >> (0x20U - (char)param_3 & 0x1f);\n      }\n      return uVar2 == 0;\n    }\n    if (*(int *)(iVar7 + -4) != *(int *)(iVar6 + -4)) {\n      return false;\n    }\n    do {\n      iVar5 = iVar5 + -1;\n      if (iVar5 == 0) goto LAB_0001e9b1;\n    } while (puVar1[iVar5] == puVar3[iVar5]);\n  }" ({ "{") (expression_statement "uVar8 = (uVar2 ^ (int)uVar2 >> 0x1f) - ((int)uVar2 >> 0x1f);" (assignment_expression "uVar8 = (uVar2 ^ (int)uVar2 >> 0x1f) - ((int)uVar2 >> 0x1f)" (identifier "uVar8") (= "=") (binary_expression "(uVar2 ^ (int)uVar2 >> 0x1f) - ((int)uVar2 >> 0x1f)" (parenthesized_expression "(uVar2 ^ (int)uVar2 >> 0x1f)" (( "(") (binary_expression "uVar2 ^ (int)uVar2 >> 0x1f" (identifier "uVar2") (^ "^") (binary_expression "(int)uVar2 >> 0x1f" (cast_expression "(int)uVar2" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "uVar2")) (>> ">>") (number_literal "0x1f"))) () ")")) (- "-") (parenthesized_expression "((int)uVar2 >> 0x1f)" (( "(") (binary_expression "(int)uVar2 >> 0x1f" (cast_expression "(int)uVar2" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "uVar2")) (>> ">>") (number_literal "0x1f")) () ")")))) (; ";")) (expression_statement "uVar4 = (uVar4 ^ (int)uVar4 >> 0x1f) - ((int)uVar4 >> 0x1f);" (assignment_expression "uVar4 = (uVar4 ^ (int)uVar4 >> 0x1f) - ((int)uVar4 >> 0x1f)" (identifier "uVar4") (= "=") (binary_expression "(uVar4 ^ (int)uVar4 >> 0x1f) - ((int)uVar4 >> 0x1f)" (parenthesized_expression "(uVar4 ^ (int)uVar4 >> 0x1f)" (( "(") (binary_expression "uVar4 ^ (int)uVar4 >> 0x1f" (identifier "uVar4") (^ "^") (binary_expression "(int)uVar4 >> 0x1f" (cast_expression "(int)uVar4" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "uVar4")) (>> ">>") (number_literal "0x1f"))) () ")")) (- "-") (parenthesized_expression "((int)uVar4 >> 0x1f)" (( "(") (binary_expression "(int)uVar4 >> 0x1f" (cast_expression "(int)uVar4" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "uVar4")) (>> ">>") (number_literal "0x1f")) () ")")))) (; ";")) (expression_statement "iVar7 = uVar8 * 4 + *(int *)(param_1 + 0xc);" (assignment_expression "iVar7 = uVar8 * 4 + *(int *)(param_1 + 0xc)" (identifier "iVar7") (= "=") (binary_expression "uVar8 * 4 + *(int *)(param_1 + 0xc)" (binary_expression "uVar8 * 4" (identifier "uVar8") (* "*") (number_literal "4")) (+ "+") (pointer_expression "*(int *)(param_1 + 0xc)" (* "*") (cast_expression "(int *)(param_1 + 0xc)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0xc)" (( "(") (binary_expression "param_1 + 0xc" (identifier "param_1") (+ "+") (number_literal "0xc")) () ")")))))) (; ";")) (expression_statement "iVar6 = uVar4 * 4 + *(int *)(param_2 + 0xc);" (assignment_expression "iVar6 = uVar4 * 4 + *(int *)(param_2 + 0xc)" (identifier "iVar6") (= "=") (binary_expression "uVar4 * 4 + *(int *)(param_2 + 0xc)" (binary_expression "uVar4 * 4" (identifier "uVar4") (* "*") (number_literal "4")) (+ "+") (pointer_expression "*(int *)(param_2 + 0xc)" (* "*") (cast_expression "(int *)(param_2 + 0xc)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_2 + 0xc)" (( "(") (binary_expression "param_2 + 0xc" (identifier "param_2") (+ "+") (number_literal "0xc")) () ")")))))) (; ";")) (expression_statement "uVar2 = 0x1f;" (assignment_expression "uVar2 = 0x1f" (identifier "uVar2") (= "=") (number_literal "0x1f")) (; ";")) (if_statement "if (*(uint *)(iVar7 + -4) != 0) {\n      for (; *(uint *)(iVar7 + -4) >> uVar2 == 0; uVar2 = uVar2 - 1) {\n      }\n    }" (if "if") (parenthesized_expression "(*(uint *)(iVar7 + -4) != 0)" (( "(") (binary_expression "*(uint *)(iVar7 + -4) != 0" (pointer_expression "*(uint *)(iVar7 + -4)" (* "*") (cast_expression "(uint *)(iVar7 + -4)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(iVar7 + -4)" (( "(") (binary_expression "iVar7 + -4" (identifier "iVar7") (+ "+") (number_literal "-4")) () ")")))) (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n      for (; *(uint *)(iVar7 + -4) >> uVar2 == 0; uVar2 = uVar2 - 1) {\n      }\n    }" ({ "{") (for_statement "for (; *(uint *)(iVar7 + -4) >> uVar2 == 0; uVar2 = uVar2 - 1) {\n      }" (for "for") (( "(") (; ";") (binary_expression "*(uint *)(iVar7 + -4) >> uVar2 == 0" (binary_expression "*(uint *)(iVar7 + -4) >> uVar2" (pointer_expression "*(uint *)(iVar7 + -4)" (* "*") (cast_expression "(uint *)(iVar7 + -4)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(iVar7 + -4)" (( "(") (binary_expression "iVar7 + -4" (identifier "iVar7") (+ "+") (number_literal "-4")) () ")")))) (>> ">>") (identifier "uVar2")) (== "==") (number_literal "0")) (; ";") (assignment_expression "uVar2 = uVar2 - 1" (identifier "uVar2") (= "=") (binary_expression "uVar2 - 1" (identifier "uVar2") (- "-") (number_literal "1"))) () ")") (compound_statement "{\n      }" ({ "{") (} "}"))) (} "}"))) (if_statement "if (*(uint *)(iVar6 + -4) >> (0x1fU - (char)(uVar2 ^ 0x1f) & 0x1f) != 1) {\n      return false;\n    }" (if "if") (parenthesized_expression "(*(uint *)(iVar6 + -4) >> (0x1fU - (char)(uVar2 ^ 0x1f) & 0x1f) != 1)" (( "(") (binary_expression "*(uint *)(iVar6 + -4) >> (0x1fU - (char)(uVar2 ^ 0x1f) & 0x1f) != 1" (binary_expression "*(uint *)(iVar6 + -4) >> (0x1fU - (char)(uVar2 ^ 0x1f) & 0x1f)" (pointer_expression "*(uint *)(iVar6 + -4)" (* "*") (cast_expression "(uint *)(iVar6 + -4)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(iVar6 + -4)" (( "(") (binary_expression "iVar6 + -4" (identifier "iVar6") (+ "+") (number_literal "-4")) () ")")))) (>> ">>") (parenthesized_expression "(0x1fU - (char)(uVar2 ^ 0x1f) & 0x1f)" (( "(") (binary_expression "0x1fU - (char)(uVar2 ^ 0x1f) & 0x1f" (binary_expression "0x1fU - (char)(uVar2 ^ 0x1f)" (number_literal "0x1fU") (- "-") (cast_expression "(char)(uVar2 ^ 0x1f)" (( "(") (type_descriptor "char" (primitive_type "char")) () ")") (parenthesized_expression "(uVar2 ^ 0x1f)" (( "(") (binary_expression "uVar2 ^ 0x1f" (identifier "uVar2") (^ "^") (number_literal "0x1f")) () ")")))) (& "&") (number_literal "0x1f")) () ")"))) (!= "!=") (number_literal "1")) () ")")) (compound_statement "{\n      return false;\n    }" ({ "{") (return_statement "return false;" (return "return") (false "false") (; ";")) (} "}"))) (expression_statement "param_3 = (uVar2 ^ 0x1f) + param_3;" (assignment_expression "param_3 = (uVar2 ^ 0x1f) + param_3" (identifier "param_3") (= "=") (binary_expression "(uVar2 ^ 0x1f) + param_3" (parenthesized_expression "(uVar2 ^ 0x1f)" (( "(") (binary_expression "uVar2 ^ 0x1f" (identifier "uVar2") (^ "^") (number_literal "0x1f")) () ")")) (+ "+") (identifier "param_3"))) (; ";")) (expression_statement "uVar2 = param_3 + 0x1fU >> 5;" (assignment_expression "uVar2 = param_3 + 0x1fU >> 5" (identifier "uVar2") (= "=") (binary_expression "param_3 + 0x1fU >> 5" (binary_expression "param_3 + 0x1fU" (identifier "param_3") (+ "+") (number_literal "0x1fU")) (>> ">>") (number_literal "5"))) (; ";")) (if_statement "if ((int)uVar2 < (int)uVar8) {\n      uVar8 = uVar2;\n    }" (if "if") (parenthesized_expression "((int)uVar2 < (int)uVar8)" (( "(") (binary_expression "(int)uVar2 < (int)uVar8" (cast_expression "(int)uVar2" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "uVar2")) (< "<") (cast_expression "(int)uVar8" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "uVar8"))) () ")")) (compound_statement "{\n      uVar8 = uVar2;\n    }" ({ "{") (expression_statement "uVar8 = uVar2;" (assignment_expression "uVar8 = uVar2" (identifier "uVar8") (= "=") (identifier "uVar2")) (; ";")) (} "}"))) (if_statement "if ((int)uVar4 <= (int)uVar2) {\n      uVar2 = uVar4;\n    }" (if "if") (parenthesized_expression "((int)uVar4 <= (int)uVar2)" (( "(") (binary_expression "(int)uVar4 <= (int)uVar2" (cast_expression "(int)uVar4" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "uVar4")) (<= "<=") (cast_expression "(int)uVar2" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "uVar2"))) () ")")) (compound_statement "{\n      uVar2 = uVar4;\n    }" ({ "{") (expression_statement "uVar2 = uVar4;" (assignment_expression "uVar2 = uVar4" (identifier "uVar2") (= "=") (identifier "uVar4")) (; ";")) (} "}"))) (expression_statement "uVar4 = uVar2;" (assignment_expression "uVar4 = uVar2" (identifier "uVar4") (= "=") (identifier "uVar2")) (; ";")) (if_statement "if ((int)uVar8 <= (int)uVar2) {\n      uVar4 = uVar8;\n    }" (if "if") (parenthesized_expression "((int)uVar8 <= (int)uVar2)" (( "(") (binary_expression "(int)uVar8 <= (int)uVar2" (cast_expression "(int)uVar8" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "uVar8")) (<= "<=") (cast_expression "(int)uVar2" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "uVar2"))) () ")")) (compound_statement "{\n      uVar4 = uVar8;\n    }" ({ "{") (expression_statement "uVar4 = uVar8;" (assignment_expression "uVar4 = uVar8" (identifier "uVar4") (= "=") (identifier "uVar8")) (; ";")) (} "}"))) (expression_statement "iVar5 = uVar4 - 1;" (assignment_expression "iVar5 = uVar4 - 1" (identifier "iVar5") (= "=") (binary_expression "uVar4 - 1" (identifier "uVar4") (- "-") (number_literal "1"))) (; ";")) (expression_statement "puVar1 = (uint *)(iVar7 + uVar4 * -4);" (assignment_expression "puVar1 = (uint *)(iVar7 + uVar4 * -4)" (identifier "puVar1") (= "=") (cast_expression "(uint *)(iVar7 + uVar4 * -4)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(iVar7 + uVar4 * -4)" (( "(") (binary_expression "iVar7 + uVar4 * -4" (identifier "iVar7") (+ "+") (binary_expression "uVar4 * -4" (identifier "uVar4") (* "*") (number_literal "-4"))) () ")")))) (; ";")) (expression_statement "puVar3 = (uint *)(uVar4 * -4 + iVar6);" (assignment_expression "puVar3 = (uint *)(uVar4 * -4 + iVar6)" (identifier "puVar3") (= "=") (cast_expression "(uint *)(uVar4 * -4 + iVar6)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(uVar4 * -4 + iVar6)" (( "(") (binary_expression "uVar4 * -4 + iVar6" (binary_expression "uVar4 * -4" (identifier "uVar4") (* "*") (number_literal "-4")) (+ "+") (identifier "iVar6")) () ")")))) (; ";")) (if_statement "if (iVar5 < 1) {\nLAB_0001e9b1:\n      iVar7 = (uVar8 + uVar2) - uVar4;\n      iVar6 = iVar7 - uVar4;\n      if (iVar6 == 0) {\n        uVar2 = *puVar3 ^ *puVar1;\n      }\n      else {\n        if (*puVar1 != *puVar3) {\n          return false;\n        }\n        if ((int)uVar2 < (int)uVar8) {\n          puVar3 = puVar1;\n        }\n        puVar3 = puVar3 + -iVar6;\n        iVar6 = iVar6 + -1;\n        if (0 < iVar6) {\n          if (puVar3[iVar6] != 0) {\n            return false;\n          }\n          while (iVar6 = iVar6 + -1, iVar6 != 0) {\n            if (puVar3[iVar6] != 0) {\n              return false;\n            }\n          }\n        }\n        uVar2 = *puVar3;\n      }\n      if ((uint)(param_3 + (iVar7 + -1) * -0x20) < 0x20) {\n        uVar2 = uVar2 >> (0x20U - (char)param_3 & 0x1f);\n      }\n      return uVar2 == 0;\n    }" (if "if") (parenthesized_expression "(iVar5 < 1)" (( "(") (binary_expression "iVar5 < 1" (identifier "iVar5") (< "<") (number_literal "1")) () ")")) (compound_statement "{\nLAB_0001e9b1:\n      iVar7 = (uVar8 + uVar2) - uVar4;\n      iVar6 = iVar7 - uVar4;\n      if (iVar6 == 0) {\n        uVar2 = *puVar3 ^ *puVar1;\n      }\n      else {\n        if (*puVar1 != *puVar3) {\n          return false;\n        }\n        if ((int)uVar2 < (int)uVar8) {\n          puVar3 = puVar1;\n        }\n        puVar3 = puVar3 + -iVar6;\n        iVar6 = iVar6 + -1;\n        if (0 < iVar6) {\n          if (puVar3[iVar6] != 0) {\n            return false;\n          }\n          while (iVar6 = iVar6 + -1, iVar6 != 0) {\n            if (puVar3[iVar6] != 0) {\n              return false;\n            }\n          }\n        }\n        uVar2 = *puVar3;\n      }\n      if ((uint)(param_3 + (iVar7 + -1) * -0x20) < 0x20) {\n        uVar2 = uVar2 >> (0x20U - (char)param_3 & 0x1f);\n      }\n      return uVar2 == 0;\n    }" ({ "{") (labeled_statement "LAB_0001e9b1:\n      iVar7 = (uVar8 + uVar2) - uVar4;" (statement_identifier "LAB_0001e9b1") (: ":") (expression_statement "iVar7 = (uVar8 + uVar2) - uVar4;" (assignment_expression "iVar7 = (uVar8 + uVar2) - uVar4" (identifier "iVar7") (= "=") (binary_expression "(uVar8 + uVar2) - uVar4" (parenthesized_expression "(uVar8 + uVar2)" (( "(") (binary_expression "uVar8 + uVar2" (identifier "uVar8") (+ "+") (identifier "uVar2")) () ")")) (- "-") (identifier "uVar4"))) (; ";"))) (expression_statement "iVar6 = iVar7 - uVar4;" (assignment_expression "iVar6 = iVar7 - uVar4" (identifier "iVar6") (= "=") (binary_expression "iVar7 - uVar4" (identifier "iVar7") (- "-") (identifier "uVar4"))) (; ";")) (if_statement "if (iVar6 == 0) {\n        uVar2 = *puVar3 ^ *puVar1;\n      }\n      else {\n        if (*puVar1 != *puVar3) {\n          return false;\n        }\n        if ((int)uVar2 < (int)uVar8) {\n          puVar3 = puVar1;\n        }\n        puVar3 = puVar3 + -iVar6;\n        iVar6 = iVar6 + -1;\n        if (0 < iVar6) {\n          if (puVar3[iVar6] != 0) {\n            return false;\n          }\n          while (iVar6 = iVar6 + -1, iVar6 != 0) {\n            if (puVar3[iVar6] != 0) {\n              return false;\n            }\n          }\n        }\n        uVar2 = *puVar3;\n      }" (if "if") (parenthesized_expression "(iVar6 == 0)" (( "(") (binary_expression "iVar6 == 0" (identifier "iVar6") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n        uVar2 = *puVar3 ^ *puVar1;\n      }" ({ "{") (expression_statement "uVar2 = *puVar3 ^ *puVar1;" (assignment_expression "uVar2 = *puVar3 ^ *puVar1" (identifier "uVar2") (= "=") (binary_expression "*puVar3 ^ *puVar1" (pointer_expression "*puVar3" (* "*") (identifier "puVar3")) (^ "^") (pointer_expression "*puVar1" (* "*") (identifier "puVar1")))) (; ";")) (} "}")) (else_clause "else {\n        if (*puVar1 != *puVar3) {\n          return false;\n        }\n        if ((int)uVar2 < (int)uVar8) {\n          puVar3 = puVar1;\n        }\n        puVar3 = puVar3 + -iVar6;\n        iVar6 = iVar6 + -1;\n        if (0 < iVar6) {\n          if (puVar3[iVar6] != 0) {\n            return false;\n          }\n          while (iVar6 = iVar6 + -1, iVar6 != 0) {\n            if (puVar3[iVar6] != 0) {\n              return false;\n            }\n          }\n        }\n        uVar2 = *puVar3;\n      }" (else "else") (compound_statement "{\n        if (*puVar1 != *puVar3) {\n          return false;\n        }\n        if ((int)uVar2 < (int)uVar8) {\n          puVar3 = puVar1;\n        }\n        puVar3 = puVar3 + -iVar6;\n        iVar6 = iVar6 + -1;\n        if (0 < iVar6) {\n          if (puVar3[iVar6] != 0) {\n            return false;\n          }\n          while (iVar6 = iVar6 + -1, iVar6 != 0) {\n            if (puVar3[iVar6] != 0) {\n              return false;\n            }\n          }\n        }\n        uVar2 = *puVar3;\n      }" ({ "{") (if_statement "if (*puVar1 != *puVar3) {\n          return false;\n        }" (if "if") (parenthesized_expression "(*puVar1 != *puVar3)" (( "(") (binary_expression "*puVar1 != *puVar3" (pointer_expression "*puVar1" (* "*") (identifier "puVar1")) (!= "!=") (pointer_expression "*puVar3" (* "*") (identifier "puVar3"))) () ")")) (compound_statement "{\n          return false;\n        }" ({ "{") (return_statement "return false;" (return "return") (false "false") (; ";")) (} "}"))) (if_statement "if ((int)uVar2 < (int)uVar8) {\n          puVar3 = puVar1;\n        }" (if "if") (parenthesized_expression "((int)uVar2 < (int)uVar8)" (( "(") (binary_expression "(int)uVar2 < (int)uVar8" (cast_expression "(int)uVar2" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "uVar2")) (< "<") (cast_expression "(int)uVar8" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "uVar8"))) () ")")) (compound_statement "{\n          puVar3 = puVar1;\n        }" ({ "{") (expression_statement "puVar3 = puVar1;" (assignment_expression "puVar3 = puVar1" (identifier "puVar3") (= "=") (identifier "puVar1")) (; ";")) (} "}"))) (expression_statement "puVar3 = puVar3 + -iVar6;" (assignment_expression "puVar3 = puVar3 + -iVar6" (identifier "puVar3") (= "=") (binary_expression "puVar3 + -iVar6" (identifier "puVar3") (+ "+") (unary_expression "-iVar6" (- "-") (identifier "iVar6")))) (; ";")) (expression_statement "iVar6 = iVar6 + -1;" (assignment_expression "iVar6 = iVar6 + -1" (identifier "iVar6") (= "=") (binary_expression "iVar6 + -1" (identifier "iVar6") (+ "+") (number_literal "-1"))) (; ";")) (if_statement "if (0 < iVar6) {\n          if (puVar3[iVar6] != 0) {\n            return false;\n          }\n          while (iVar6 = iVar6 + -1, iVar6 != 0) {\n            if (puVar3[iVar6] != 0) {\n              return false;\n            }\n          }\n        }" (if "if") (parenthesized_expression "(0 < iVar6)" (( "(") (binary_expression "0 < iVar6" (number_literal "0") (< "<") (identifier "iVar6")) () ")")) (compound_statement "{\n          if (puVar3[iVar6] != 0) {\n            return false;\n          }\n          while (iVar6 = iVar6 + -1, iVar6 != 0) {\n            if (puVar3[iVar6] != 0) {\n              return false;\n            }\n          }\n        }" ({ "{") (if_statement "if (puVar3[iVar6] != 0) {\n            return false;\n          }" (if "if") (parenthesized_expression "(puVar3[iVar6] != 0)" (( "(") (binary_expression "puVar3[iVar6] != 0" (subscript_expression "puVar3[iVar6]" (identifier "puVar3") ([ "[") (identifier "iVar6") (] "]")) (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n            return false;\n          }" ({ "{") (return_statement "return false;" (return "return") (false "false") (; ";")) (} "}"))) (while_statement "while (iVar6 = iVar6 + -1, iVar6 != 0) {\n            if (puVar3[iVar6] != 0) {\n              return false;\n            }\n          }" (while "while") (parenthesized_expression "(iVar6 = iVar6 + -1, iVar6 != 0)" (( "(") (comma_expression "iVar6 = iVar6 + -1, iVar6 != 0" (assignment_expression "iVar6 = iVar6 + -1" (identifier "iVar6") (= "=") (binary_expression "iVar6 + -1" (identifier "iVar6") (+ "+") (number_literal "-1"))) (, ",") (binary_expression "iVar6 != 0" (identifier "iVar6") (!= "!=") (number_literal "0"))) () ")")) (compound_statement "{\n            if (puVar3[iVar6] != 0) {\n              return false;\n            }\n          }" ({ "{") (if_statement "if (puVar3[iVar6] != 0) {\n              return false;\n            }" (if "if") (parenthesized_expression "(puVar3[iVar6] != 0)" (( "(") (binary_expression "puVar3[iVar6] != 0" (subscript_expression "puVar3[iVar6]" (identifier "puVar3") ([ "[") (identifier "iVar6") (] "]")) (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n              return false;\n            }" ({ "{") (return_statement "return false;" (return "return") (false "false") (; ";")) (} "}"))) (} "}"))) (} "}"))) (expression_statement "uVar2 = *puVar3;" (assignment_expression "uVar2 = *puVar3" (identifier "uVar2") (= "=") (pointer_expression "*puVar3" (* "*") (identifier "puVar3"))) (; ";")) (} "}")))) (if_statement "if ((uint)(param_3 + (iVar7 + -1) * -0x20) < 0x20) {\n        uVar2 = uVar2 >> (0x20U - (char)param_3 & 0x1f);\n      }" (if "if") (parenthesized_expression "((uint)(param_3 + (iVar7 + -1) * -0x20) < 0x20)" (( "(") (binary_expression "(uint)(param_3 + (iVar7 + -1) * -0x20) < 0x20" (call_expression "(uint)(param_3 + (iVar7 + -1) * -0x20)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(param_3 + (iVar7 + -1) * -0x20)" (( "(") (binary_expression "param_3 + (iVar7 + -1) * -0x20" (identifier "param_3") (+ "+") (binary_expression "(iVar7 + -1) * -0x20" (parenthesized_expression "(iVar7 + -1)" (( "(") (binary_expression "iVar7 + -1" (identifier "iVar7") (+ "+") (number_literal "-1")) () ")")) (* "*") (number_literal "-0x20"))) () ")"))) (< "<") (number_literal "0x20")) () ")")) (compound_statement "{\n        uVar2 = uVar2 >> (0x20U - (char)param_3 & 0x1f);\n      }" ({ "{") (expression_statement "uVar2 = uVar2 >> (0x20U - (char)param_3 & 0x1f);" (assignment_expression "uVar2 = uVar2 >> (0x20U - (char)param_3 & 0x1f)" (identifier "uVar2") (= "=") (binary_expression "uVar2 >> (0x20U - (char)param_3 & 0x1f)" (identifier "uVar2") (>> ">>") (parenthesized_expression "(0x20U - (char)param_3 & 0x1f)" (( "(") (binary_expression "0x20U - (char)param_3 & 0x1f" (binary_expression "0x20U - (char)param_3" (number_literal "0x20U") (- "-") (cast_expression "(char)param_3" (( "(") (type_descriptor "char" (primitive_type "char")) () ")") (identifier "param_3"))) (& "&") (number_literal "0x1f")) () ")")))) (; ";")) (} "}"))) (return_statement "return uVar2 == 0;" (return "return") (binary_expression "uVar2 == 0" (identifier "uVar2") (== "==") (number_literal "0")) (; ";")) (} "}"))) (if_statement "if (*(int *)(iVar7 + -4) != *(int *)(iVar6 + -4)) {\n      return false;\n    }" (if "if") (parenthesized_expression "(*(int *)(iVar7 + -4) != *(int *)(iVar6 + -4))" (( "(") (binary_expression "*(int *)(iVar7 + -4) != *(int *)(iVar6 + -4)" (pointer_expression "*(int *)(iVar7 + -4)" (* "*") (cast_expression "(int *)(iVar7 + -4)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(iVar7 + -4)" (( "(") (binary_expression "iVar7 + -4" (identifier "iVar7") (+ "+") (number_literal "-4")) () ")")))) (!= "!=") (pointer_expression "*(int *)(iVar6 + -4)" (* "*") (cast_expression "(int *)(iVar6 + -4)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(iVar6 + -4)" (( "(") (binary_expression "iVar6 + -4" (identifier "iVar6") (+ "+") (number_literal "-4")) () ")"))))) () ")")) (compound_statement "{\n      return false;\n    }" ({ "{") (return_statement "return false;" (return "return") (false "false") (; ";")) (} "}"))) (do_statement "do {\n      iVar5 = iVar5 + -1;\n      if (iVar5 == 0) goto LAB_0001e9b1;\n    } while (puVar1[iVar5] == puVar3[iVar5]);" (do "do") (compound_statement "{\n      iVar5 = iVar5 + -1;\n      if (iVar5 == 0) goto LAB_0001e9b1;\n    }" ({ "{") (expression_statement "iVar5 = iVar5 + -1;" (assignment_expression "iVar5 = iVar5 + -1" (identifier "iVar5") (= "=") (binary_expression "iVar5 + -1" (identifier "iVar5") (+ "+") (number_literal "-1"))) (; ";")) (if_statement "if (iVar5 == 0) goto LAB_0001e9b1;" (if "if") (parenthesized_expression "(iVar5 == 0)" (( "(") (binary_expression "iVar5 == 0" (identifier "iVar5") (== "==") (number_literal "0")) () ")")) (goto_statement "goto LAB_0001e9b1;" (goto "goto") (statement_identifier "LAB_0001e9b1") (; ";"))) (} "}")) (while "while") (parenthesized_expression "(puVar1[iVar5] == puVar3[iVar5])" (( "(") (binary_expression "puVar1[iVar5] == puVar3[iVar5]" (subscript_expression "puVar1[iVar5]" (identifier "puVar1") ([ "[") (identifier "iVar5") (] "]")) (== "==") (subscript_expression "puVar3[iVar5]" (identifier "puVar3") ([ "[") (identifier "iVar5") (] "]"))) () ")")) (; ";")) (} "}"))) (return_statement "return false;" (return "return") (false "false") (; ";")) (} "}")))

int function_1(type_1 u,type_1 v,type_2 var_4)

{
  type_3 *puVar1;
  type_4 *var_7;
  type_4 *var_8;
  type_3 var_1;
  type_3 *var_12;
  type_3 var_2;
  int var_9;
  int var_5;
  type_3 var_6;
  int var_11;
  type_3 var_3;
  type_3 var_10;
  
  var_1 = u->_mp_size;
  var_2 = v->_mp_size;
  if ((int)(var_1 ^ var_2) < 0) {
    return 0;
  }
  if (var_1 == 0) {
    return (type_3)(var_2 == 0);
  }
  if ((u->_mp_exp == v->_mp_exp) && (var_2 != 0)) {
    var_3 = (var_1 ^ (int)var_1 >> 0x1f) - ((int)var_1 >> 0x1f);
    var_2 = (var_2 ^ (int)var_2 >> 0x1f) - ((int)var_2 >> 0x1f);
    var_7 = u->_mp_d;
    var_8 = v->_mp_d;
    var_1 = 0x1f;
    if (var_7[var_3 - 1] != 0) {
      for (; var_7[var_3 - 1] >> var_1 == 0; var_1 = var_1 - 1) {
      }
    }
    if (var_8[var_2 - 1] >> (0x1fU - (char)(var_1 ^ 0x1f) & 0x1f) != 1) {
      return 0;
    }
    var_5 = (var_1 ^ 0x1f) + var_4;
    var_1 = var_5 + 0x1fU >> 5;
    var_10 = var_3;
    if ((int)var_1 < (int)var_3) {
      var_10 = var_1;
    }
    if ((int)var_2 <= (int)var_1) {
      var_1 = var_2;
    }
    var_6 = var_1;
    if ((int)var_10 <= (int)var_1) {
      var_6 = var_10;
    }
    var_9 = var_6 - 1;
    puVar1 = var_7 + (var_3 - var_6);
    var_12 = var_8 + (var_2 - var_6);
    if (var_9 < 1) {
LAB_0001e9b1:
      var_11 = (var_10 + var_1) - var_6;
      var_9 = var_11 - var_6;
      if (var_9 == 0) {
        var_1 = *var_12 ^ *puVar1;
      }
      else {
        if (*puVar1 != *var_12) {
          return 0;
        }
        if ((int)var_1 < (int)var_10) {
          var_12 = puVar1;
        }
        var_12 = var_12 + -var_9;
        var_9 = var_9 + -1;
        if (0 < var_9) {
          if (var_12[var_9] != 0) {
            return 0;
          }
          while (var_9 = var_9 + -1, var_9 != 0) {
            if (var_12[var_9] != 0) {
              return 0;
            }
          }
        }
        var_1 = *var_12;
      }
      if ((type_3)(var_5 + (var_11 + -1) * -0x20) < 0x20) {
        var_1 = var_1 >> (0x20U - (char)var_5 & 0x1f);
      }
      return (type_3)(var_1 == 0);
    }
    if (var_7[var_3 - 1] != var_8[var_2 - 1]) {
      return 0;
    }
    do {
      var_9 = var_9 + -1;
      if (var_9 == 0) goto LAB_0001e9b1;
    } while (puVar1[var_9] == var_12[var_9]);
  }
  return 0;
}


(translation_unit (function_definition type: (primitive_type) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (primitive_type) declarator: (identifier)) (parameter_declaration type: (primitive_type) declarator: (identifier)) (parameter_declaration type: (primitive_type) declarator: (identifier)))) body: (compound_statement (declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))))) (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))))) (if_statement condition: (parenthesized_expression (binary_expression left: (cast_expression type: (type_descriptor type: (primitive_type)) value: (parenthesized_expression (binary_expression left: (identifier) right: (identifier)))) right: (number_literal))) consequence: (compound_statement (return_statement (false)))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (return_statement (binary_expression left: (identifier) right: (number_literal))))) (if_statement condition: (parenthesized_expression (binary_expression left: (parenthesized_expression (binary_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) right: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))))) right: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (parenthesized_expression (binary_expression left: (identifier) right: (binary_expression left: (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier)) right: (number_literal)))) right: (parenthesized_expression (binary_expression left: (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier)) right: (number_literal)))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (parenthesized_expression (binary_expression left: (identifier) right: (binary_expression left: (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier)) right: (number_literal)))) right: (parenthesized_expression (binary_expression left: (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier)) right: (number_literal)))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (binary_expression left: (identifier) right: (number_literal)) right: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal)))))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (binary_expression left: (identifier) right: (number_literal)) right: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal)))))))) (expression_statement (assignment_expression left: (identifier) right: (number_literal))) (if_statement condition: (parenthesized_expression (binary_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) right: (number_literal))) consequence: (compound_statement (for_statement condition: (binary_expression left: (binary_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) right: (identifier)) right: (number_literal)) update: (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal))) body: (compound_statement)))) (if_statement condition: (parenthesized_expression (binary_expression left: (binary_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) right: (parenthesized_expression (binary_expression left: (binary_expression left: (number_literal) right: (cast_expression type: (type_descriptor type: (primitive_type)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) right: (number_literal)))) right: (number_literal))) consequence: (compound_statement (return_statement (false)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) right: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (binary_expression left: (identifier) right: (number_literal)) right: (number_literal)))) (if_statement condition: (parenthesized_expression (binary_expression left: (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier)) right: (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier)))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (identifier))))) (if_statement condition: (parenthesized_expression (binary_expression left: (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier)) right: (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier)))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (identifier))))) (expression_statement (assignment_expression left: (identifier) right: (identifier))) (if_statement condition: (parenthesized_expression (binary_expression left: (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier)) right: (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier)))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (identifier))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal))))))) (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (binary_expression left: (identifier) right: (number_literal)) right: (identifier)))))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (labeled_statement label: (statement_identifier) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (parenthesized_expression (binary_expression left: (identifier) right: (identifier))) right: (identifier))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (identifier)))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (pointer_expression argument: (identifier)) right: (pointer_expression argument: (identifier)))))) alternative: (else_clause (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (pointer_expression argument: (identifier)) right: (pointer_expression argument: (identifier)))) consequence: (compound_statement (return_statement (false)))) (if_statement condition: (parenthesized_expression (binary_expression left: (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier)) right: (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier)))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (identifier))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (unary_expression argument: (identifier))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (if_statement condition: (parenthesized_expression (binary_expression left: (number_literal) right: (identifier))) consequence: (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (subscript_expression argument: (identifier) index: (identifier)) right: (number_literal))) consequence: (compound_statement (return_statement (false)))) (while_statement condition: (parenthesized_expression (comma_expression left: (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal))) right: (binary_expression left: (identifier) right: (number_literal)))) body: (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (subscript_expression argument: (identifier) index: (identifier)) right: (number_literal))) consequence: (compound_statement (return_statement (false)))))))) (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (identifier))))))) (if_statement condition: (parenthesized_expression (binary_expression left: (call_expression function: (parenthesized_expression (identifier)) arguments: (argument_list (binary_expression left: (identifier) right: (binary_expression left: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) right: (number_literal))))) right: (number_literal))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (parenthesized_expression (binary_expression left: (binary_expression left: (number_literal) right: (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier))) right: (number_literal)))))))) (return_statement (binary_expression left: (identifier) right: (number_literal))))) (if_statement condition: (parenthesized_expression (binary_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) right: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))))) consequence: (compound_statement (return_statement (false)))) (do_statement body: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (goto_statement label: (statement_identifier)))) condition: (parenthesized_expression (binary_expression left: (subscript_expression argument: (identifier) index: (identifier)) right: (subscript_expression argument: (identifier) index: (identifier))))))) (return_statement (false)))))

bool MASKED(int param_1,int param_2,int param_3)

{
  uint *puVar1;
  uint uVar2;
  uint *puVar3;
  uint uVar4;
  int iVar5;
  int iVar6;
  int iVar7;
  uint uVar8;
  
  uVar2 = *(uint *)(param_1 + 4);
  uVar4 = *(uint *)(param_2 + 4);
  if ((int)(uVar2 ^ uVar4) < 0) {
    return false;
  }
  if (uVar2 == 0) {
    return uVar4 == 0;
  }
  if ((*(int *)(param_1 + 8) == *(int *)(param_2 + 8)) && (uVar4 != 0)) {
    uVar8 = (uVar2 ^ (int)uVar2 >> 0x1f) - ((int)uVar2 >> 0x1f);
    uVar4 = (uVar4 ^ (int)uVar4 >> 0x1f) - ((int)uVar4 >> 0x1f);
    iVar7 = uVar8 * 4 + *(int *)(param_1 + 0xc);
    iVar6 = uVar4 * 4 + *(int *)(param_2 + 0xc);
    uVar2 = 0x1f;
    if (*(uint *)(iVar7 + -4) != 0) {
      for (; *(uint *)(iVar7 + -4) >> uVar2 == 0; uVar2 = uVar2 - 1) {
      }
    }
    if (*(uint *)(iVar6 + -4) >> (0x1fU - (char)(uVar2 ^ 0x1f) & 0x1f) != 1) {
      return false;
    }
    param_3 = (uVar2 ^ 0x1f) + param_3;
    uVar2 = param_3 + 0x1fU >> 5;
    if ((int)uVar2 < (int)uVar8) {
      uVar8 = uVar2;
    }
    if ((int)uVar4 <= (int)uVar2) {
      uVar2 = uVar4;
    }
    uVar4 = uVar2;
    if ((int)uVar8 <= (int)uVar2) {
      uVar4 = uVar8;
    }
    iVar5 = uVar4 - 1;
    puVar1 = (uint *)(iVar7 + uVar4 * -4);
    puVar3 = (uint *)(uVar4 * -4 + iVar6);
    if (iVar5 < 1) {
LAB_0001e9b1:
      iVar7 = (uVar8 + uVar2) - uVar4;
      iVar6 = iVar7 - uVar4;
      if (iVar6 == 0) {
        uVar2 = *puVar3 ^ *puVar1;
      }
      else {
        if (*puVar1 != *puVar3) {
          return false;
        }
        if ((int)uVar2 < (int)uVar8) {
          puVar3 = puVar1;
        }
        puVar3 = puVar3 + -iVar6;
        iVar6 = iVar6 + -1;
        if (0 < iVar6) {
          if (puVar3[iVar6] != 0) {
            return false;
          }
          while (iVar6 = iVar6 + -1, iVar6 != 0) {
            if (puVar3[iVar6] != 0) {
              return false;
            }
          }
        }
        uVar2 = *puVar3;
      }
      if ((uint)(param_3 + (iVar7 + -1) * -0x20) < 0x20) {
        uVar2 = uVar2 >> (0x20U - (char)param_3 & 0x1f);
      }
      return uVar2 == 0;
    }
    if (*(int *)(iVar7 + -4) != *(int *)(iVar6 + -4)) {
      return false;
    }
    do {
      iVar5 = iVar5 + -1;
      if (iVar5 == 0) goto LAB_0001e9b1;
    } while (puVar1[iVar5] == puVar3[iVar5]);
  }
  return false;
}

