
/* WARNING: Function: __x86.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */

void __regparm3 decode_x86_isa(uint bitmask)

{
  char *__format;
  uint uVar1;
  
  if (bitmask == 0) {
    return;
  }
  do {
    uVar1 = -bitmask & bitmask;
    bitmask = bitmask & ~uVar1;
    if (uVar1 == 0x100) {
      printf("SSE4_2");
    }
    else if (uVar1 < 0x101) {
      if (uVar1 == 8) {
        printf("SSE");
      }
      else if (uVar1 < 9) {
        if (uVar1 == 2) {
          printf("586");
        }
        else if (uVar1 == 4) {
          printf("686");
        }
        else {
          if (uVar1 != 1) goto LAB_0001f307;
          printf("i486");
        }
      }
      else if (uVar1 == 0x20) {
        printf("SSE3");
      }
      else if (uVar1 < 0x21) {
        if (uVar1 != 0x10) goto LAB_0001f307;
        printf("SSE2");
      }
      else if (uVar1 == 0x40) {
        printf("SSSE3");
      }
      else {
        if (uVar1 != 0x80) goto LAB_0001f307;
        printf("SSE4_1");
      }
    }
    else if (uVar1 == 0x2000) {
      printf("AVX512ER");
    }
    else if (uVar1 < 0x2001) {
      if (uVar1 == 0x400) {
        printf("AVX2");
      }
      else if (uVar1 < 0x401) {
        if (uVar1 == 0x200) {
          printf("AVX");
        }
        else {
LAB_0001f307:
          __format = (char *)dcgettext(0,"<unknown: %x>",5);
          printf(__format,uVar1);
        }
      }
      else if (uVar1 == 0x800) {
        printf("AVX512F");
      }
      else {
        if (uVar1 != 0x1000) goto LAB_0001f307;
        printf("AVX512CD");
      }
    }
    else if (uVar1 == 0x8000) {
      printf("AVX512VL");
    }
    else if (uVar1 < 0x8001) {
      if (uVar1 != 0x4000) goto LAB_0001f307;
      printf("AVX512PF");
    }
    else if (uVar1 == 0x10000) {
      printf("AVX512DQ");
    }
    else {
      if (uVar1 != 0x20000) goto LAB_0001f307;
      printf("AVX512BW");
    }
    if (bitmask == 0) {
      return;
    }
    printf(", ");
  } while( true );
}



/* WARNING: Function: __i686.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */

void __regparm3 FUN_0001f160(uint param_1)

{
  char *__format;
  uint uVar1;
  
  if (param_1 == 0) {
    return;
  }
  do {
    uVar1 = -param_1 & param_1;
    param_1 = param_1 & ~uVar1;
    if (uVar1 == 0x100) {
      printf("SSE4_2");
    }
    else if (uVar1 < 0x101) {
      if (uVar1 == 8) {
        printf("SSE");
      }
      else if (uVar1 < 9) {
        if (uVar1 == 2) {
          printf("586");
        }
        else if (uVar1 == 4) {
          printf("686");
        }
        else {
          if (uVar1 != 1) goto LAB_0001f307;
          printf("i486");
        }
      }
      else if (uVar1 == 0x20) {
        printf("SSE3");
      }
      else if (uVar1 < 0x21) {
        if (uVar1 != 0x10) goto LAB_0001f307;
        printf("SSE2");
      }
      else if (uVar1 == 0x40) {
        printf("SSSE3");
      }
      else {
        if (uVar1 != 0x80) goto LAB_0001f307;
        printf("SSE4_1");
      }
    }
    else if (uVar1 == 0x2000) {
      printf("AVX512ER");
    }
    else if (uVar1 < 0x2001) {
      if (uVar1 == 0x400) {
        printf("AVX2");
      }
      else if (uVar1 < 0x401) {
        if (uVar1 == 0x200) {
          printf("AVX");
        }
        else {
LAB_0001f307:
          __format = (char *)dcgettext(0,"<unknown: %x>",5);
          printf(__format,uVar1);
        }
      }
      else if (uVar1 == 0x800) {
        printf("AVX512F");
      }
      else {
        if (uVar1 != 0x1000) goto LAB_0001f307;
        printf("AVX512CD");
      }
    }
    else if (uVar1 == 0x8000) {
      printf("AVX512VL");
    }
    else if (uVar1 < 0x8001) {
      if (uVar1 != 0x4000) goto LAB_0001f307;
      printf("AVX512PF");
    }
    else if (uVar1 == 0x10000) {
      printf("AVX512DQ");
    }
    else {
      if (uVar1 != 0x20000) goto LAB_0001f307;
      printf("AVX512BW");
    }
    if (param_1 == 0) {
      return;
    }
    printf(", ");
  } while( true );
}


PUSH EBP
PUSH EDI
PUSH ESI
PUSH EBX
CALL 0x00013f70
ADD EBX,0x94e97
SUB ESP,0x1c
TEST EAX,EAX
JZ 0x0001f1f4
MOV EDI,EAX
LEA EAX,[EBX + 0xfffc2a41]
LEA EBP,[EBX + 0xfffc29f3]
MOV dword ptr [ESP + 0xc],EAX
MOV ESI,EDI
NEG ESI
AND ESI,EDI
MOV EAX,ESI
NOT EAX
AND EDI,EAX
CMP ESI,0x100
JZ 0x0001f430
JBE 0x0001f240
CMP ESI,0x2000
JZ 0x0001f410
JA 0x0001f290
CMP ESI,0x400
JZ 0x0001f350
JBE 0x0001f200
CMP ESI,0x800
JZ 0x0001f3f0
CMP ESI,0x1000
JNZ 0x0001f307
SUB ESP,0xc
LEA EAX,[EBX + 0xfffc2a0b]
PUSH EAX
CALL 0x00013060
ADD ESP,0x10
TEST EDI,EDI
JNZ 0x0001f228
ADD ESP,0x1c
POP EBX
POP ESI
POP EDI
POP EBP
RET
CMP ESI,0x200
JNZ 0x0001f307
SUB ESP,0xc
LEA EAX,[EBX + 0xfffc29fa]
PUSH EAX
CALL 0x00013060
ADD ESP,0x10
TEST EDI,EDI
JZ 0x0001f1f4
LEA ESI,[ESI]
SUB ESP,0xc
LEA EAX,[EBX + 0xfffc84b1]
PUSH EAX
CALL 0x00013060
ADD ESP,0x10
JMP 0x0001f188
CMP ESI,0x8
JZ 0x0001f4a0
JBE 0x0001f2f0
CMP ESI,0x20
JZ 0x0001f480
JBE 0x0001f2d0
CMP ESI,0x40
JZ 0x0001f3d0
CMP ESI,0x80
JNZ 0x0001f307
SUB ESP,0xc
LEA EAX,[EBX + 0xfffc29ec]
PUSH EAX
CALL 0x00013060
ADD ESP,0x10
JMP 0x0001f1f0
CMP ESI,0x8000
JZ 0x0001f460
JBE 0x0001f330
CMP ESI,0x10000
JZ 0x0001f3b0
CMP ESI,0x20000
JNZ 0x0001f307
SUB ESP,0xc
LEA EAX,[EBX + 0xfffc2a38]
PUSH EAX
CALL 0x00013060
ADD ESP,0x10
JMP 0x0001f1f0
CMP ESI,0x10
JNZ 0x0001f307
SUB ESP,0xc
LEA EAX,[EBX + 0xfffc29e1]
PUSH EAX
CALL 0x00013060
ADD ESP,0x10
JMP 0x0001f1f0
CMP ESI,0x2
JZ 0x0001f448
CMP ESI,0x4
JZ 0x0001f370
CMP ESI,0x1
JZ 0x0001f390
SUB ESP,0x4
PUSH 0x5
PUSH dword ptr [ESP + 0x14]
PUSH 0x0
CALL 0x000130f0
POP EDX
POP ECX
PUSH ESI
PUSH EAX
CALL 0x00013060
ADD ESP,0x10
JMP 0x0001f1f0
CMP ESI,0x4000
JNZ 0x0001f307
SUB ESP,0xc
LEA EAX,[EBX + 0xfffc2a1d]
PUSH EAX
CALL 0x00013060
ADD ESP,0x10
JMP 0x0001f1f0
SUB ESP,0xc
LEA EAX,[EBX + 0xfffc29fe]
PUSH EAX
CALL 0x00013060
ADD ESP,0x10
JMP 0x0001f1f0
SUB ESP,0xc
LEA EAX,[EBX + 0xfffc29d9]
PUSH EAX
CALL 0x00013060
ADD ESP,0x10
JMP 0x0001f1f0
SUB ESP,0xc
LEA EAX,[EBX + 0xfffc29d0]
PUSH EAX
CALL 0x00013060
ADD ESP,0x10
JMP 0x0001f1f0
SUB ESP,0xc
LEA EAX,[EBX + 0xfffc2a2f]
PUSH EAX
CALL 0x00013060
ADD ESP,0x10
JMP 0x0001f1f0
SUB ESP,0xc
LEA EAX,[EBX + 0xfffc29e6]
PUSH EAX
CALL 0x00013060
ADD ESP,0x10
JMP 0x0001f1f0
SUB ESP,0xc
LEA EAX,[EBX + 0xfffc2a03]
PUSH EAX
CALL 0x00013060
ADD ESP,0x10
JMP 0x0001f1f0
SUB ESP,0xc
LEA EAX,[EBX + 0xfffc2a14]
PUSH EAX
CALL 0x00013060
ADD ESP,0x10
JMP 0x0001f1f0
SUB ESP,0xc
PUSH EBP
CALL 0x00013060
ADD ESP,0x10
JMP 0x0001f1f0
SUB ESP,0xc
LEA EAX,[EBX + 0xfffc29d5]
PUSH EAX
CALL 0x00013060
ADD ESP,0x10
JMP 0x0001f1f0
SUB ESP,0xc
LEA EAX,[EBX + 0xfffc2a26]
PUSH EAX
CALL 0x00013060
ADD ESP,0x10
JMP 0x0001f1f0
SUB ESP,0xc
LEA EAX,[EBX + 0xfffc29e7]
PUSH EAX
CALL 0x00013060
ADD ESP,0x10
JMP 0x0001f1f0
SUB ESP,0xc
LEA EAX,[EBX + 0xfffc29dd]
PUSH EAX
CALL 0x00013060
ADD ESP,0x10
JMP 0x0001f1f0
(translation_unit "/* WARNING: Function: __i686.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */\n\nvoid __regparm3 FUN_0001f160(uint param_1)\n\n{\n  char *__format;\n  uint uVar1;\n  \n  if (param_1 == 0) {\n    return;\n  }\n  do {\n    uVar1 = -param_1 & param_1;\n    param_1 = param_1 & ~uVar1;\n    if (uVar1 == 0x100) {\n      printf("SSE4_2");\n    }\n    else if (uVar1 < 0x101) {\n      if (uVar1 == 8) {\n        printf("SSE");\n      }\n      else if (uVar1 < 9) {\n        if (uVar1 == 2) {\n          printf("586");\n        }\n        else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }\n      }\n      else if (uVar1 == 0x20) {\n        printf("SSE3");\n      }\n      else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }\n    }\n    else if (uVar1 == 0x2000) {\n      printf("AVX512ER");\n    }\n    else if (uVar1 < 0x2001) {\n      if (uVar1 == 0x400) {\n        printf("AVX2");\n      }\n      else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }\n    }\n    else if (uVar1 == 0x8000) {\n      printf("AVX512VL");\n    }\n    else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }\n    if (param_1 == 0) {\n      return;\n    }\n    printf(", ");\n  } while( true );\n}\n\n" comment (function_definition "void __regparm3 FUN_0001f160(uint param_1)\n\n{\n  char *__format;\n  uint uVar1;\n  \n  if (param_1 == 0) {\n    return;\n  }\n  do {\n    uVar1 = -param_1 & param_1;\n    param_1 = param_1 & ~uVar1;\n    if (uVar1 == 0x100) {\n      printf("SSE4_2");\n    }\n    else if (uVar1 < 0x101) {\n      if (uVar1 == 8) {\n        printf("SSE");\n      }\n      else if (uVar1 < 9) {\n        if (uVar1 == 2) {\n          printf("586");\n        }\n        else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }\n      }\n      else if (uVar1 == 0x20) {\n        printf("SSE3");\n      }\n      else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }\n    }\n    else if (uVar1 == 0x2000) {\n      printf("AVX512ER");\n    }\n    else if (uVar1 < 0x2001) {\n      if (uVar1 == 0x400) {\n        printf("AVX2");\n      }\n      else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }\n    }\n    else if (uVar1 == 0x8000) {\n      printf("AVX512VL");\n    }\n    else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }\n    if (param_1 == 0) {\n      return;\n    }\n    printf(", ");\n  } while( true );\n}" primitive_type (ERROR "__regparm3" identifier) (function_declarator "FUN_0001f160(uint param_1)" identifier (parameter_list "(uint param_1)" ( (parameter_declaration "uint param_1" type_identifier identifier) ))) (compound_statement "{\n  char *__format;\n  uint uVar1;\n  \n  if (param_1 == 0) {\n    return;\n  }\n  do {\n    uVar1 = -param_1 & param_1;\n    param_1 = param_1 & ~uVar1;\n    if (uVar1 == 0x100) {\n      printf("SSE4_2");\n    }\n    else if (uVar1 < 0x101) {\n      if (uVar1 == 8) {\n        printf("SSE");\n      }\n      else if (uVar1 < 9) {\n        if (uVar1 == 2) {\n          printf("586");\n        }\n        else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }\n      }\n      else if (uVar1 == 0x20) {\n        printf("SSE3");\n      }\n      else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }\n    }\n    else if (uVar1 == 0x2000) {\n      printf("AVX512ER");\n    }\n    else if (uVar1 < 0x2001) {\n      if (uVar1 == 0x400) {\n        printf("AVX2");\n      }\n      else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }\n    }\n    else if (uVar1 == 0x8000) {\n      printf("AVX512VL");\n    }\n    else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }\n    if (param_1 == 0) {\n      return;\n    }\n    printf(", ");\n  } while( true );\n}" { (declaration "char *__format;" primitive_type (pointer_declarator "*__format" * identifier) ;) (declaration "uint uVar1;" type_identifier identifier ;) (if_statement "if (param_1 == 0) {\n    return;\n  }" if (parenthesized_expression "(param_1 == 0)" ( (binary_expression "param_1 == 0" identifier == number_literal) )) (compound_statement "{\n    return;\n  }" { (return_statement "return;" return ;) })) (do_statement "do {\n    uVar1 = -param_1 & param_1;\n    param_1 = param_1 & ~uVar1;\n    if (uVar1 == 0x100) {\n      printf("SSE4_2");\n    }\n    else if (uVar1 < 0x101) {\n      if (uVar1 == 8) {\n        printf("SSE");\n      }\n      else if (uVar1 < 9) {\n        if (uVar1 == 2) {\n          printf("586");\n        }\n        else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }\n      }\n      else if (uVar1 == 0x20) {\n        printf("SSE3");\n      }\n      else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }\n    }\n    else if (uVar1 == 0x2000) {\n      printf("AVX512ER");\n    }\n    else if (uVar1 < 0x2001) {\n      if (uVar1 == 0x400) {\n        printf("AVX2");\n      }\n      else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }\n    }\n    else if (uVar1 == 0x8000) {\n      printf("AVX512VL");\n    }\n    else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }\n    if (param_1 == 0) {\n      return;\n    }\n    printf(", ");\n  } while( true );" do (compound_statement "{\n    uVar1 = -param_1 & param_1;\n    param_1 = param_1 & ~uVar1;\n    if (uVar1 == 0x100) {\n      printf("SSE4_2");\n    }\n    else if (uVar1 < 0x101) {\n      if (uVar1 == 8) {\n        printf("SSE");\n      }\n      else if (uVar1 < 9) {\n        if (uVar1 == 2) {\n          printf("586");\n        }\n        else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }\n      }\n      else if (uVar1 == 0x20) {\n        printf("SSE3");\n      }\n      else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }\n    }\n    else if (uVar1 == 0x2000) {\n      printf("AVX512ER");\n    }\n    else if (uVar1 < 0x2001) {\n      if (uVar1 == 0x400) {\n        printf("AVX2");\n      }\n      else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }\n    }\n    else if (uVar1 == 0x8000) {\n      printf("AVX512VL");\n    }\n    else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }\n    if (param_1 == 0) {\n      return;\n    }\n    printf(", ");\n  }" { (expression_statement "uVar1 = -param_1 & param_1;" (assignment_expression "uVar1 = -param_1 & param_1" identifier = (binary_expression "-param_1 & param_1" (unary_expression "-param_1" - identifier) & identifier)) ;) (expression_statement "param_1 = param_1 & ~uVar1;" (assignment_expression "param_1 = param_1 & ~uVar1" identifier = (binary_expression "param_1 & ~uVar1" identifier & (unary_expression "~uVar1" ~ identifier))) ;) (if_statement "if (uVar1 == 0x100) {\n      printf("SSE4_2");\n    }\n    else if (uVar1 < 0x101) {\n      if (uVar1 == 8) {\n        printf("SSE");\n      }\n      else if (uVar1 < 9) {\n        if (uVar1 == 2) {\n          printf("586");\n        }\n        else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }\n      }\n      else if (uVar1 == 0x20) {\n        printf("SSE3");\n      }\n      else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }\n    }\n    else if (uVar1 == 0x2000) {\n      printf("AVX512ER");\n    }\n    else if (uVar1 < 0x2001) {\n      if (uVar1 == 0x400) {\n        printf("AVX2");\n      }\n      else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }\n    }\n    else if (uVar1 == 0x8000) {\n      printf("AVX512VL");\n    }\n    else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" if (parenthesized_expression "(uVar1 == 0x100)" ( (binary_expression "uVar1 == 0x100" identifier == number_literal) )) (compound_statement "{\n      printf("SSE4_2");\n    }" { (expression_statement "printf("SSE4_2");" (call_expression "printf("SSE4_2")" identifier (argument_list "("SSE4_2")" ( (string_literal ""SSE4_2"" " string_content ") ))) ;) }) (else_clause "else if (uVar1 < 0x101) {\n      if (uVar1 == 8) {\n        printf("SSE");\n      }\n      else if (uVar1 < 9) {\n        if (uVar1 == 2) {\n          printf("586");\n        }\n        else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }\n      }\n      else if (uVar1 == 0x20) {\n        printf("SSE3");\n      }\n      else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }\n    }\n    else if (uVar1 == 0x2000) {\n      printf("AVX512ER");\n    }\n    else if (uVar1 < 0x2001) {\n      if (uVar1 == 0x400) {\n        printf("AVX2");\n      }\n      else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }\n    }\n    else if (uVar1 == 0x8000) {\n      printf("AVX512VL");\n    }\n    else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" else (if_statement "if (uVar1 < 0x101) {\n      if (uVar1 == 8) {\n        printf("SSE");\n      }\n      else if (uVar1 < 9) {\n        if (uVar1 == 2) {\n          printf("586");\n        }\n        else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }\n      }\n      else if (uVar1 == 0x20) {\n        printf("SSE3");\n      }\n      else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }\n    }\n    else if (uVar1 == 0x2000) {\n      printf("AVX512ER");\n    }\n    else if (uVar1 < 0x2001) {\n      if (uVar1 == 0x400) {\n        printf("AVX2");\n      }\n      else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }\n    }\n    else if (uVar1 == 0x8000) {\n      printf("AVX512VL");\n    }\n    else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" if (parenthesized_expression "(uVar1 < 0x101)" ( (binary_expression "uVar1 < 0x101" identifier < number_literal) )) (compound_statement "{\n      if (uVar1 == 8) {\n        printf("SSE");\n      }\n      else if (uVar1 < 9) {\n        if (uVar1 == 2) {\n          printf("586");\n        }\n        else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }\n      }\n      else if (uVar1 == 0x20) {\n        printf("SSE3");\n      }\n      else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }\n    }" { (if_statement "if (uVar1 == 8) {\n        printf("SSE");\n      }\n      else if (uVar1 < 9) {\n        if (uVar1 == 2) {\n          printf("586");\n        }\n        else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }\n      }\n      else if (uVar1 == 0x20) {\n        printf("SSE3");\n      }\n      else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }" if (parenthesized_expression "(uVar1 == 8)" ( (binary_expression "uVar1 == 8" identifier == number_literal) )) (compound_statement "{\n        printf("SSE");\n      }" { (expression_statement "printf("SSE");" (call_expression "printf("SSE")" identifier (argument_list "("SSE")" ( (string_literal ""SSE"" " string_content ") ))) ;) }) (else_clause "else if (uVar1 < 9) {\n        if (uVar1 == 2) {\n          printf("586");\n        }\n        else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }\n      }\n      else if (uVar1 == 0x20) {\n        printf("SSE3");\n      }\n      else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }" else (if_statement "if (uVar1 < 9) {\n        if (uVar1 == 2) {\n          printf("586");\n        }\n        else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }\n      }\n      else if (uVar1 == 0x20) {\n        printf("SSE3");\n      }\n      else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }" if (parenthesized_expression "(uVar1 < 9)" ( (binary_expression "uVar1 < 9" identifier < number_literal) )) (compound_statement "{\n        if (uVar1 == 2) {\n          printf("586");\n        }\n        else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }\n      }" { (if_statement "if (uVar1 == 2) {\n          printf("586");\n        }\n        else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }" if (parenthesized_expression "(uVar1 == 2)" ( (binary_expression "uVar1 == 2" identifier == number_literal) )) (compound_statement "{\n          printf("586");\n        }" { (expression_statement "printf("586");" (call_expression "printf("586")" identifier (argument_list "("586")" ( (string_literal ""586"" " string_content ") ))) ;) }) (else_clause "else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }" else (if_statement "if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }" if (parenthesized_expression "(uVar1 == 4)" ( (binary_expression "uVar1 == 4" identifier == number_literal) )) (compound_statement "{\n          printf("686");\n        }" { (expression_statement "printf("686");" (call_expression "printf("686")" identifier (argument_list "("686")" ( (string_literal ""686"" " string_content ") ))) ;) }) (else_clause "else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }" else (compound_statement "{\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }" { (if_statement "if (uVar1 != 1) goto LAB_0001f307;" if (parenthesized_expression "(uVar1 != 1)" ( (binary_expression "uVar1 != 1" identifier != number_literal) )) (goto_statement "goto LAB_0001f307;" goto statement_identifier ;)) (expression_statement "printf("i486");" (call_expression "printf("i486")" identifier (argument_list "("i486")" ( (string_literal ""i486"" " string_content ") ))) ;) }))))) }) (else_clause "else if (uVar1 == 0x20) {\n        printf("SSE3");\n      }\n      else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }" else (if_statement "if (uVar1 == 0x20) {\n        printf("SSE3");\n      }\n      else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }" if (parenthesized_expression "(uVar1 == 0x20)" ( (binary_expression "uVar1 == 0x20" identifier == number_literal) )) (compound_statement "{\n        printf("SSE3");\n      }" { (expression_statement "printf("SSE3");" (call_expression "printf("SSE3")" identifier (argument_list "("SSE3")" ( (string_literal ""SSE3"" " string_content ") ))) ;) }) (else_clause "else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }" else (if_statement "if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }" if (parenthesized_expression "(uVar1 < 0x21)" ( (binary_expression "uVar1 < 0x21" identifier < number_literal) )) (compound_statement "{\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }" { (if_statement "if (uVar1 != 0x10) goto LAB_0001f307;" if (parenthesized_expression "(uVar1 != 0x10)" ( (binary_expression "uVar1 != 0x10" identifier != number_literal) )) (goto_statement "goto LAB_0001f307;" goto statement_identifier ;)) (expression_statement "printf("SSE2");" (call_expression "printf("SSE2")" identifier (argument_list "("SSE2")" ( (string_literal ""SSE2"" " string_content ") ))) ;) }) (else_clause "else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }" else (if_statement "if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }" if (parenthesized_expression "(uVar1 == 0x40)" ( (binary_expression "uVar1 == 0x40" identifier == number_literal) )) (compound_statement "{\n        printf("SSSE3");\n      }" { (expression_statement "printf("SSSE3");" (call_expression "printf("SSSE3")" identifier (argument_list "("SSSE3")" ( (string_literal ""SSSE3"" " string_content ") ))) ;) }) (else_clause "else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }" else (compound_statement "{\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }" { (if_statement "if (uVar1 != 0x80) goto LAB_0001f307;" if (parenthesized_expression "(uVar1 != 0x80)" ( (binary_expression "uVar1 != 0x80" identifier != number_literal) )) (goto_statement "goto LAB_0001f307;" goto statement_identifier ;)) (expression_statement "printf("SSE4_1");" (call_expression "printf("SSE4_1")" identifier (argument_list "("SSE4_1")" ( (string_literal ""SSE4_1"" " string_content ") ))) ;) }))))))))))) }) (else_clause "else if (uVar1 == 0x2000) {\n      printf("AVX512ER");\n    }\n    else if (uVar1 < 0x2001) {\n      if (uVar1 == 0x400) {\n        printf("AVX2");\n      }\n      else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }\n    }\n    else if (uVar1 == 0x8000) {\n      printf("AVX512VL");\n    }\n    else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" else (if_statement "if (uVar1 == 0x2000) {\n      printf("AVX512ER");\n    }\n    else if (uVar1 < 0x2001) {\n      if (uVar1 == 0x400) {\n        printf("AVX2");\n      }\n      else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }\n    }\n    else if (uVar1 == 0x8000) {\n      printf("AVX512VL");\n    }\n    else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" if (parenthesized_expression "(uVar1 == 0x2000)" ( (binary_expression "uVar1 == 0x2000" identifier == number_literal) )) (compound_statement "{\n      printf("AVX512ER");\n    }" { (expression_statement "printf("AVX512ER");" (call_expression "printf("AVX512ER")" identifier (argument_list "("AVX512ER")" ( (string_literal ""AVX512ER"" " string_content ") ))) ;) }) (else_clause "else if (uVar1 < 0x2001) {\n      if (uVar1 == 0x400) {\n        printf("AVX2");\n      }\n      else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }\n    }\n    else if (uVar1 == 0x8000) {\n      printf("AVX512VL");\n    }\n    else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" else (if_statement "if (uVar1 < 0x2001) {\n      if (uVar1 == 0x400) {\n        printf("AVX2");\n      }\n      else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }\n    }\n    else if (uVar1 == 0x8000) {\n      printf("AVX512VL");\n    }\n    else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" if (parenthesized_expression "(uVar1 < 0x2001)" ( (binary_expression "uVar1 < 0x2001" identifier < number_literal) )) (compound_statement "{\n      if (uVar1 == 0x400) {\n        printf("AVX2");\n      }\n      else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }\n    }" { (if_statement "if (uVar1 == 0x400) {\n        printf("AVX2");\n      }\n      else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }" if (parenthesized_expression "(uVar1 == 0x400)" ( (binary_expression "uVar1 == 0x400" identifier == number_literal) )) (compound_statement "{\n        printf("AVX2");\n      }" { (expression_statement "printf("AVX2");" (call_expression "printf("AVX2")" identifier (argument_list "("AVX2")" ( (string_literal ""AVX2"" " string_content ") ))) ;) }) (else_clause "else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }" else (if_statement "if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }" if (parenthesized_expression "(uVar1 < 0x401)" ( (binary_expression "uVar1 < 0x401" identifier < number_literal) )) (compound_statement "{\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }" { (if_statement "if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }" if (parenthesized_expression "(uVar1 == 0x200)" ( (binary_expression "uVar1 == 0x200" identifier == number_literal) )) (compound_statement "{\n          printf("AVX");\n        }" { (expression_statement "printf("AVX");" (call_expression "printf("AVX")" identifier (argument_list "("AVX")" ( (string_literal ""AVX"" " string_content ") ))) ;) }) (else_clause "else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }" else (compound_statement "{\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }" { (labeled_statement "LAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);" statement_identifier : (expression_statement "__format = (char *)dcgettext(0,"<unknown: %x>",5);" (assignment_expression "__format = (char *)dcgettext(0,"<unknown: %x>",5)" identifier = (cast_expression "(char *)dcgettext(0,"<unknown: %x>",5)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (call_expression "dcgettext(0,"<unknown: %x>",5)" identifier (argument_list "(0,"<unknown: %x>",5)" ( number_literal , (string_literal ""<unknown: %x>"" " string_content ") , number_literal ))))) ;)) (expression_statement "printf(__format,uVar1);" (call_expression "printf(__format,uVar1)" identifier (argument_list "(__format,uVar1)" ( identifier , identifier ))) ;) }))) }) (else_clause "else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }" else (if_statement "if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }" if (parenthesized_expression "(uVar1 == 0x800)" ( (binary_expression "uVar1 == 0x800" identifier == number_literal) )) (compound_statement "{\n        printf("AVX512F");\n      }" { (expression_statement "printf("AVX512F");" (call_expression "printf("AVX512F")" identifier (argument_list "("AVX512F")" ( (string_literal ""AVX512F"" " string_content ") ))) ;) }) (else_clause "else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }" else (compound_statement "{\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }" { (if_statement "if (uVar1 != 0x1000) goto LAB_0001f307;" if (parenthesized_expression "(uVar1 != 0x1000)" ( (binary_expression "uVar1 != 0x1000" identifier != number_literal) )) (goto_statement "goto LAB_0001f307;" goto statement_identifier ;)) (expression_statement "printf("AVX512CD");" (call_expression "printf("AVX512CD")" identifier (argument_list "("AVX512CD")" ( (string_literal ""AVX512CD"" " string_content ") ))) ;) }))))))) }) (else_clause "else if (uVar1 == 0x8000) {\n      printf("AVX512VL");\n    }\n    else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" else (if_statement "if (uVar1 == 0x8000) {\n      printf("AVX512VL");\n    }\n    else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" if (parenthesized_expression "(uVar1 == 0x8000)" ( (binary_expression "uVar1 == 0x8000" identifier == number_literal) )) (compound_statement "{\n      printf("AVX512VL");\n    }" { (expression_statement "printf("AVX512VL");" (call_expression "printf("AVX512VL")" identifier (argument_list "("AVX512VL")" ( (string_literal ""AVX512VL"" " string_content ") ))) ;) }) (else_clause "else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" else (if_statement "if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" if (parenthesized_expression "(uVar1 < 0x8001)" ( (binary_expression "uVar1 < 0x8001" identifier < number_literal) )) (compound_statement "{\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }" { (if_statement "if (uVar1 != 0x4000) goto LAB_0001f307;" if (parenthesized_expression "(uVar1 != 0x4000)" ( (binary_expression "uVar1 != 0x4000" identifier != number_literal) )) (goto_statement "goto LAB_0001f307;" goto statement_identifier ;)) (expression_statement "printf("AVX512PF");" (call_expression "printf("AVX512PF")" identifier (argument_list "("AVX512PF")" ( (string_literal ""AVX512PF"" " string_content ") ))) ;) }) (else_clause "else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" else (if_statement "if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" if (parenthesized_expression "(uVar1 == 0x10000)" ( (binary_expression "uVar1 == 0x10000" identifier == number_literal) )) (compound_statement "{\n      printf("AVX512DQ");\n    }" { (expression_statement "printf("AVX512DQ");" (call_expression "printf("AVX512DQ")" identifier (argument_list "("AVX512DQ")" ( (string_literal ""AVX512DQ"" " string_content ") ))) ;) }) (else_clause "else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" else (compound_statement "{\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" { (if_statement "if (uVar1 != 0x20000) goto LAB_0001f307;" if (parenthesized_expression "(uVar1 != 0x20000)" ( (binary_expression "uVar1 != 0x20000" identifier != number_literal) )) (goto_statement "goto LAB_0001f307;" goto statement_identifier ;)) (expression_statement "printf("AVX512BW");" (call_expression "printf("AVX512BW")" identifier (argument_list "("AVX512BW")" ( (string_literal ""AVX512BW"" " string_content ") ))) ;) }))))))))))))))) (if_statement "if (param_1 == 0) {\n      return;\n    }" if (parenthesized_expression "(param_1 == 0)" ( (binary_expression "param_1 == 0" identifier == number_literal) )) (compound_statement "{\n      return;\n    }" { (return_statement "return;" return ;) })) (expression_statement "printf(", ");" (call_expression "printf(", ")" identifier (argument_list "(", ")" ( (string_literal "", "" " string_content ") ))) ;) }) while (parenthesized_expression "( true )" ( true )) ;) })))
(translation_unit "/* WARNING: Function: __x86.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */\n\nvoid __regparm3 decode_x86_isa(uint bitmask)\n\n{\n  char *__format;\n  uint uVar1;\n  \n  if (bitmask == 0) {\n    return;\n  }\n  do {\n    uVar1 = -bitmask & bitmask;\n    bitmask = bitmask & ~uVar1;\n    if (uVar1 == 0x100) {\n      printf("SSE4_2");\n    }\n    else if (uVar1 < 0x101) {\n      if (uVar1 == 8) {\n        printf("SSE");\n      }\n      else if (uVar1 < 9) {\n        if (uVar1 == 2) {\n          printf("586");\n        }\n        else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }\n      }\n      else if (uVar1 == 0x20) {\n        printf("SSE3");\n      }\n      else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }\n    }\n    else if (uVar1 == 0x2000) {\n      printf("AVX512ER");\n    }\n    else if (uVar1 < 0x2001) {\n      if (uVar1 == 0x400) {\n        printf("AVX2");\n      }\n      else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }\n    }\n    else if (uVar1 == 0x8000) {\n      printf("AVX512VL");\n    }\n    else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }\n    if (bitmask == 0) {\n      return;\n    }\n    printf(", ");\n  } while( true );\n}\n\n" comment (function_definition "void __regparm3 decode_x86_isa(uint bitmask)\n\n{\n  char *__format;\n  uint uVar1;\n  \n  if (bitmask == 0) {\n    return;\n  }\n  do {\n    uVar1 = -bitmask & bitmask;\n    bitmask = bitmask & ~uVar1;\n    if (uVar1 == 0x100) {\n      printf("SSE4_2");\n    }\n    else if (uVar1 < 0x101) {\n      if (uVar1 == 8) {\n        printf("SSE");\n      }\n      else if (uVar1 < 9) {\n        if (uVar1 == 2) {\n          printf("586");\n        }\n        else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }\n      }\n      else if (uVar1 == 0x20) {\n        printf("SSE3");\n      }\n      else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }\n    }\n    else if (uVar1 == 0x2000) {\n      printf("AVX512ER");\n    }\n    else if (uVar1 < 0x2001) {\n      if (uVar1 == 0x400) {\n        printf("AVX2");\n      }\n      else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }\n    }\n    else if (uVar1 == 0x8000) {\n      printf("AVX512VL");\n    }\n    else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }\n    if (bitmask == 0) {\n      return;\n    }\n    printf(", ");\n  } while( true );\n}" primitive_type (ERROR "__regparm3" identifier) (function_declarator "decode_x86_isa(uint bitmask)" identifier (parameter_list "(uint bitmask)" ( (parameter_declaration "uint bitmask" type_identifier identifier) ))) (compound_statement "{\n  char *__format;\n  uint uVar1;\n  \n  if (bitmask == 0) {\n    return;\n  }\n  do {\n    uVar1 = -bitmask & bitmask;\n    bitmask = bitmask & ~uVar1;\n    if (uVar1 == 0x100) {\n      printf("SSE4_2");\n    }\n    else if (uVar1 < 0x101) {\n      if (uVar1 == 8) {\n        printf("SSE");\n      }\n      else if (uVar1 < 9) {\n        if (uVar1 == 2) {\n          printf("586");\n        }\n        else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }\n      }\n      else if (uVar1 == 0x20) {\n        printf("SSE3");\n      }\n      else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }\n    }\n    else if (uVar1 == 0x2000) {\n      printf("AVX512ER");\n    }\n    else if (uVar1 < 0x2001) {\n      if (uVar1 == 0x400) {\n        printf("AVX2");\n      }\n      else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }\n    }\n    else if (uVar1 == 0x8000) {\n      printf("AVX512VL");\n    }\n    else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }\n    if (bitmask == 0) {\n      return;\n    }\n    printf(", ");\n  } while( true );\n}" { (declaration "char *__format;" primitive_type (pointer_declarator "*__format" * identifier) ;) (declaration "uint uVar1;" type_identifier identifier ;) (if_statement "if (bitmask == 0) {\n    return;\n  }" if (parenthesized_expression "(bitmask == 0)" ( (binary_expression "bitmask == 0" identifier == number_literal) )) (compound_statement "{\n    return;\n  }" { (return_statement "return;" return ;) })) (do_statement "do {\n    uVar1 = -bitmask & bitmask;\n    bitmask = bitmask & ~uVar1;\n    if (uVar1 == 0x100) {\n      printf("SSE4_2");\n    }\n    else if (uVar1 < 0x101) {\n      if (uVar1 == 8) {\n        printf("SSE");\n      }\n      else if (uVar1 < 9) {\n        if (uVar1 == 2) {\n          printf("586");\n        }\n        else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }\n      }\n      else if (uVar1 == 0x20) {\n        printf("SSE3");\n      }\n      else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }\n    }\n    else if (uVar1 == 0x2000) {\n      printf("AVX512ER");\n    }\n    else if (uVar1 < 0x2001) {\n      if (uVar1 == 0x400) {\n        printf("AVX2");\n      }\n      else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }\n    }\n    else if (uVar1 == 0x8000) {\n      printf("AVX512VL");\n    }\n    else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }\n    if (bitmask == 0) {\n      return;\n    }\n    printf(", ");\n  } while( true );" do (compound_statement "{\n    uVar1 = -bitmask & bitmask;\n    bitmask = bitmask & ~uVar1;\n    if (uVar1 == 0x100) {\n      printf("SSE4_2");\n    }\n    else if (uVar1 < 0x101) {\n      if (uVar1 == 8) {\n        printf("SSE");\n      }\n      else if (uVar1 < 9) {\n        if (uVar1 == 2) {\n          printf("586");\n        }\n        else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }\n      }\n      else if (uVar1 == 0x20) {\n        printf("SSE3");\n      }\n      else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }\n    }\n    else if (uVar1 == 0x2000) {\n      printf("AVX512ER");\n    }\n    else if (uVar1 < 0x2001) {\n      if (uVar1 == 0x400) {\n        printf("AVX2");\n      }\n      else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }\n    }\n    else if (uVar1 == 0x8000) {\n      printf("AVX512VL");\n    }\n    else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }\n    if (bitmask == 0) {\n      return;\n    }\n    printf(", ");\n  }" { (expression_statement "uVar1 = -bitmask & bitmask;" (assignment_expression "uVar1 = -bitmask & bitmask" identifier = (binary_expression "-bitmask & bitmask" (unary_expression "-bitmask" - identifier) & identifier)) ;) (expression_statement "bitmask = bitmask & ~uVar1;" (assignment_expression "bitmask = bitmask & ~uVar1" identifier = (binary_expression "bitmask & ~uVar1" identifier & (unary_expression "~uVar1" ~ identifier))) ;) (if_statement "if (uVar1 == 0x100) {\n      printf("SSE4_2");\n    }\n    else if (uVar1 < 0x101) {\n      if (uVar1 == 8) {\n        printf("SSE");\n      }\n      else if (uVar1 < 9) {\n        if (uVar1 == 2) {\n          printf("586");\n        }\n        else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }\n      }\n      else if (uVar1 == 0x20) {\n        printf("SSE3");\n      }\n      else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }\n    }\n    else if (uVar1 == 0x2000) {\n      printf("AVX512ER");\n    }\n    else if (uVar1 < 0x2001) {\n      if (uVar1 == 0x400) {\n        printf("AVX2");\n      }\n      else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }\n    }\n    else if (uVar1 == 0x8000) {\n      printf("AVX512VL");\n    }\n    else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" if (parenthesized_expression "(uVar1 == 0x100)" ( (binary_expression "uVar1 == 0x100" identifier == number_literal) )) (compound_statement "{\n      printf("SSE4_2");\n    }" { (expression_statement "printf("SSE4_2");" (call_expression "printf("SSE4_2")" identifier (argument_list "("SSE4_2")" ( (string_literal ""SSE4_2"" " string_content ") ))) ;) }) (else_clause "else if (uVar1 < 0x101) {\n      if (uVar1 == 8) {\n        printf("SSE");\n      }\n      else if (uVar1 < 9) {\n        if (uVar1 == 2) {\n          printf("586");\n        }\n        else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }\n      }\n      else if (uVar1 == 0x20) {\n        printf("SSE3");\n      }\n      else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }\n    }\n    else if (uVar1 == 0x2000) {\n      printf("AVX512ER");\n    }\n    else if (uVar1 < 0x2001) {\n      if (uVar1 == 0x400) {\n        printf("AVX2");\n      }\n      else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }\n    }\n    else if (uVar1 == 0x8000) {\n      printf("AVX512VL");\n    }\n    else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" else (if_statement "if (uVar1 < 0x101) {\n      if (uVar1 == 8) {\n        printf("SSE");\n      }\n      else if (uVar1 < 9) {\n        if (uVar1 == 2) {\n          printf("586");\n        }\n        else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }\n      }\n      else if (uVar1 == 0x20) {\n        printf("SSE3");\n      }\n      else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }\n    }\n    else if (uVar1 == 0x2000) {\n      printf("AVX512ER");\n    }\n    else if (uVar1 < 0x2001) {\n      if (uVar1 == 0x400) {\n        printf("AVX2");\n      }\n      else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }\n    }\n    else if (uVar1 == 0x8000) {\n      printf("AVX512VL");\n    }\n    else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" if (parenthesized_expression "(uVar1 < 0x101)" ( (binary_expression "uVar1 < 0x101" identifier < number_literal) )) (compound_statement "{\n      if (uVar1 == 8) {\n        printf("SSE");\n      }\n      else if (uVar1 < 9) {\n        if (uVar1 == 2) {\n          printf("586");\n        }\n        else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }\n      }\n      else if (uVar1 == 0x20) {\n        printf("SSE3");\n      }\n      else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }\n    }" { (if_statement "if (uVar1 == 8) {\n        printf("SSE");\n      }\n      else if (uVar1 < 9) {\n        if (uVar1 == 2) {\n          printf("586");\n        }\n        else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }\n      }\n      else if (uVar1 == 0x20) {\n        printf("SSE3");\n      }\n      else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }" if (parenthesized_expression "(uVar1 == 8)" ( (binary_expression "uVar1 == 8" identifier == number_literal) )) (compound_statement "{\n        printf("SSE");\n      }" { (expression_statement "printf("SSE");" (call_expression "printf("SSE")" identifier (argument_list "("SSE")" ( (string_literal ""SSE"" " string_content ") ))) ;) }) (else_clause "else if (uVar1 < 9) {\n        if (uVar1 == 2) {\n          printf("586");\n        }\n        else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }\n      }\n      else if (uVar1 == 0x20) {\n        printf("SSE3");\n      }\n      else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }" else (if_statement "if (uVar1 < 9) {\n        if (uVar1 == 2) {\n          printf("586");\n        }\n        else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }\n      }\n      else if (uVar1 == 0x20) {\n        printf("SSE3");\n      }\n      else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }" if (parenthesized_expression "(uVar1 < 9)" ( (binary_expression "uVar1 < 9" identifier < number_literal) )) (compound_statement "{\n        if (uVar1 == 2) {\n          printf("586");\n        }\n        else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }\n      }" { (if_statement "if (uVar1 == 2) {\n          printf("586");\n        }\n        else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }" if (parenthesized_expression "(uVar1 == 2)" ( (binary_expression "uVar1 == 2" identifier == number_literal) )) (compound_statement "{\n          printf("586");\n        }" { (expression_statement "printf("586");" (call_expression "printf("586")" identifier (argument_list "("586")" ( (string_literal ""586"" " string_content ") ))) ;) }) (else_clause "else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }" else (if_statement "if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }" if (parenthesized_expression "(uVar1 == 4)" ( (binary_expression "uVar1 == 4" identifier == number_literal) )) (compound_statement "{\n          printf("686");\n        }" { (expression_statement "printf("686");" (call_expression "printf("686")" identifier (argument_list "("686")" ( (string_literal ""686"" " string_content ") ))) ;) }) (else_clause "else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }" else (compound_statement "{\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }" { (if_statement "if (uVar1 != 1) goto LAB_0001f307;" if (parenthesized_expression "(uVar1 != 1)" ( (binary_expression "uVar1 != 1" identifier != number_literal) )) (goto_statement "goto LAB_0001f307;" goto statement_identifier ;)) (expression_statement "printf("i486");" (call_expression "printf("i486")" identifier (argument_list "("i486")" ( (string_literal ""i486"" " string_content ") ))) ;) }))))) }) (else_clause "else if (uVar1 == 0x20) {\n        printf("SSE3");\n      }\n      else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }" else (if_statement "if (uVar1 == 0x20) {\n        printf("SSE3");\n      }\n      else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }" if (parenthesized_expression "(uVar1 == 0x20)" ( (binary_expression "uVar1 == 0x20" identifier == number_literal) )) (compound_statement "{\n        printf("SSE3");\n      }" { (expression_statement "printf("SSE3");" (call_expression "printf("SSE3")" identifier (argument_list "("SSE3")" ( (string_literal ""SSE3"" " string_content ") ))) ;) }) (else_clause "else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }" else (if_statement "if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }" if (parenthesized_expression "(uVar1 < 0x21)" ( (binary_expression "uVar1 < 0x21" identifier < number_literal) )) (compound_statement "{\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }" { (if_statement "if (uVar1 != 0x10) goto LAB_0001f307;" if (parenthesized_expression "(uVar1 != 0x10)" ( (binary_expression "uVar1 != 0x10" identifier != number_literal) )) (goto_statement "goto LAB_0001f307;" goto statement_identifier ;)) (expression_statement "printf("SSE2");" (call_expression "printf("SSE2")" identifier (argument_list "("SSE2")" ( (string_literal ""SSE2"" " string_content ") ))) ;) }) (else_clause "else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }" else (if_statement "if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }" if (parenthesized_expression "(uVar1 == 0x40)" ( (binary_expression "uVar1 == 0x40" identifier == number_literal) )) (compound_statement "{\n        printf("SSSE3");\n      }" { (expression_statement "printf("SSSE3");" (call_expression "printf("SSSE3")" identifier (argument_list "("SSSE3")" ( (string_literal ""SSSE3"" " string_content ") ))) ;) }) (else_clause "else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }" else (compound_statement "{\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }" { (if_statement "if (uVar1 != 0x80) goto LAB_0001f307;" if (parenthesized_expression "(uVar1 != 0x80)" ( (binary_expression "uVar1 != 0x80" identifier != number_literal) )) (goto_statement "goto LAB_0001f307;" goto statement_identifier ;)) (expression_statement "printf("SSE4_1");" (call_expression "printf("SSE4_1")" identifier (argument_list "("SSE4_1")" ( (string_literal ""SSE4_1"" " string_content ") ))) ;) }))))))))))) }) (else_clause "else if (uVar1 == 0x2000) {\n      printf("AVX512ER");\n    }\n    else if (uVar1 < 0x2001) {\n      if (uVar1 == 0x400) {\n        printf("AVX2");\n      }\n      else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }\n    }\n    else if (uVar1 == 0x8000) {\n      printf("AVX512VL");\n    }\n    else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" else (if_statement "if (uVar1 == 0x2000) {\n      printf("AVX512ER");\n    }\n    else if (uVar1 < 0x2001) {\n      if (uVar1 == 0x400) {\n        printf("AVX2");\n      }\n      else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }\n    }\n    else if (uVar1 == 0x8000) {\n      printf("AVX512VL");\n    }\n    else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" if (parenthesized_expression "(uVar1 == 0x2000)" ( (binary_expression "uVar1 == 0x2000" identifier == number_literal) )) (compound_statement "{\n      printf("AVX512ER");\n    }" { (expression_statement "printf("AVX512ER");" (call_expression "printf("AVX512ER")" identifier (argument_list "("AVX512ER")" ( (string_literal ""AVX512ER"" " string_content ") ))) ;) }) (else_clause "else if (uVar1 < 0x2001) {\n      if (uVar1 == 0x400) {\n        printf("AVX2");\n      }\n      else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }\n    }\n    else if (uVar1 == 0x8000) {\n      printf("AVX512VL");\n    }\n    else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" else (if_statement "if (uVar1 < 0x2001) {\n      if (uVar1 == 0x400) {\n        printf("AVX2");\n      }\n      else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }\n    }\n    else if (uVar1 == 0x8000) {\n      printf("AVX512VL");\n    }\n    else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" if (parenthesized_expression "(uVar1 < 0x2001)" ( (binary_expression "uVar1 < 0x2001" identifier < number_literal) )) (compound_statement "{\n      if (uVar1 == 0x400) {\n        printf("AVX2");\n      }\n      else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }\n    }" { (if_statement "if (uVar1 == 0x400) {\n        printf("AVX2");\n      }\n      else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }" if (parenthesized_expression "(uVar1 == 0x400)" ( (binary_expression "uVar1 == 0x400" identifier == number_literal) )) (compound_statement "{\n        printf("AVX2");\n      }" { (expression_statement "printf("AVX2");" (call_expression "printf("AVX2")" identifier (argument_list "("AVX2")" ( (string_literal ""AVX2"" " string_content ") ))) ;) }) (else_clause "else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }" else (if_statement "if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }" if (parenthesized_expression "(uVar1 < 0x401)" ( (binary_expression "uVar1 < 0x401" identifier < number_literal) )) (compound_statement "{\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }" { (if_statement "if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }" if (parenthesized_expression "(uVar1 == 0x200)" ( (binary_expression "uVar1 == 0x200" identifier == number_literal) )) (compound_statement "{\n          printf("AVX");\n        }" { (expression_statement "printf("AVX");" (call_expression "printf("AVX")" identifier (argument_list "("AVX")" ( (string_literal ""AVX"" " string_content ") ))) ;) }) (else_clause "else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }" else (compound_statement "{\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }" { (labeled_statement "LAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);" statement_identifier : (expression_statement "__format = (char *)dcgettext(0,"<unknown: %x>",5);" (assignment_expression "__format = (char *)dcgettext(0,"<unknown: %x>",5)" identifier = (cast_expression "(char *)dcgettext(0,"<unknown: %x>",5)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (call_expression "dcgettext(0,"<unknown: %x>",5)" identifier (argument_list "(0,"<unknown: %x>",5)" ( number_literal , (string_literal ""<unknown: %x>"" " string_content ") , number_literal ))))) ;)) (expression_statement "printf(__format,uVar1);" (call_expression "printf(__format,uVar1)" identifier (argument_list "(__format,uVar1)" ( identifier , identifier ))) ;) }))) }) (else_clause "else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }" else (if_statement "if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }" if (parenthesized_expression "(uVar1 == 0x800)" ( (binary_expression "uVar1 == 0x800" identifier == number_literal) )) (compound_statement "{\n        printf("AVX512F");\n      }" { (expression_statement "printf("AVX512F");" (call_expression "printf("AVX512F")" identifier (argument_list "("AVX512F")" ( (string_literal ""AVX512F"" " string_content ") ))) ;) }) (else_clause "else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }" else (compound_statement "{\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }" { (if_statement "if (uVar1 != 0x1000) goto LAB_0001f307;" if (parenthesized_expression "(uVar1 != 0x1000)" ( (binary_expression "uVar1 != 0x1000" identifier != number_literal) )) (goto_statement "goto LAB_0001f307;" goto statement_identifier ;)) (expression_statement "printf("AVX512CD");" (call_expression "printf("AVX512CD")" identifier (argument_list "("AVX512CD")" ( (string_literal ""AVX512CD"" " string_content ") ))) ;) }))))))) }) (else_clause "else if (uVar1 == 0x8000) {\n      printf("AVX512VL");\n    }\n    else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" else (if_statement "if (uVar1 == 0x8000) {\n      printf("AVX512VL");\n    }\n    else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" if (parenthesized_expression "(uVar1 == 0x8000)" ( (binary_expression "uVar1 == 0x8000" identifier == number_literal) )) (compound_statement "{\n      printf("AVX512VL");\n    }" { (expression_statement "printf("AVX512VL");" (call_expression "printf("AVX512VL")" identifier (argument_list "("AVX512VL")" ( (string_literal ""AVX512VL"" " string_content ") ))) ;) }) (else_clause "else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" else (if_statement "if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" if (parenthesized_expression "(uVar1 < 0x8001)" ( (binary_expression "uVar1 < 0x8001" identifier < number_literal) )) (compound_statement "{\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }" { (if_statement "if (uVar1 != 0x4000) goto LAB_0001f307;" if (parenthesized_expression "(uVar1 != 0x4000)" ( (binary_expression "uVar1 != 0x4000" identifier != number_literal) )) (goto_statement "goto LAB_0001f307;" goto statement_identifier ;)) (expression_statement "printf("AVX512PF");" (call_expression "printf("AVX512PF")" identifier (argument_list "("AVX512PF")" ( (string_literal ""AVX512PF"" " string_content ") ))) ;) }) (else_clause "else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" else (if_statement "if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" if (parenthesized_expression "(uVar1 == 0x10000)" ( (binary_expression "uVar1 == 0x10000" identifier == number_literal) )) (compound_statement "{\n      printf("AVX512DQ");\n    }" { (expression_statement "printf("AVX512DQ");" (call_expression "printf("AVX512DQ")" identifier (argument_list "("AVX512DQ")" ( (string_literal ""AVX512DQ"" " string_content ") ))) ;) }) (else_clause "else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" else (compound_statement "{\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" { (if_statement "if (uVar1 != 0x20000) goto LAB_0001f307;" if (parenthesized_expression "(uVar1 != 0x20000)" ( (binary_expression "uVar1 != 0x20000" identifier != number_literal) )) (goto_statement "goto LAB_0001f307;" goto statement_identifier ;)) (expression_statement "printf("AVX512BW");" (call_expression "printf("AVX512BW")" identifier (argument_list "("AVX512BW")" ( (string_literal ""AVX512BW"" " string_content ") ))) ;) }))))))))))))))) (if_statement "if (bitmask == 0) {\n      return;\n    }" if (parenthesized_expression "(bitmask == 0)" ( (binary_expression "bitmask == 0" identifier == number_literal) )) (compound_statement "{\n      return;\n    }" { (return_statement "return;" return ;) })) (expression_statement "printf(", ");" (call_expression "printf(", ")" identifier (argument_list "(", ")" ( (string_literal "", "" " string_content ") ))) ;) }) while (parenthesized_expression "( true )" ( true )) ;) })))
(translation_unit "void __regparm3 FUN_0001f160(uint param_1)\n\n{\n  char *__format;\n  uint uVar1;\n  \n  if (param_1 == 0) {\n    return;\n  }\n  do {\n    uVar1 = -param_1 & param_1;\n    param_1 = param_1 & ~uVar1;\n    if (uVar1 == 0x100) {\n      printf("SSE4_2");\n    }\n    else if (uVar1 < 0x101) {\n      if (uVar1 == 8) {\n        printf("SSE");\n      }\n      else if (uVar1 < 9) {\n        if (uVar1 == 2) {\n          printf("586");\n        }\n        else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }\n      }\n      else if (uVar1 == 0x20) {\n        printf("SSE3");\n      }\n      else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }\n    }\n    else if (uVar1 == 0x2000) {\n      printf("AVX512ER");\n    }\n    else if (uVar1 < 0x2001) {\n      if (uVar1 == 0x400) {\n        printf("AVX2");\n      }\n      else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }\n    }\n    else if (uVar1 == 0x8000) {\n      printf("AVX512VL");\n    }\n    else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }\n    if (param_1 == 0) {\n      return;\n    }\n    printf(", ");\n  } while( true );\n}\n\n" (function_definition "void __regparm3 FUN_0001f160(uint param_1)\n\n{\n  char *__format;\n  uint uVar1;\n  \n  if (param_1 == 0) {\n    return;\n  }\n  do {\n    uVar1 = -param_1 & param_1;\n    param_1 = param_1 & ~uVar1;\n    if (uVar1 == 0x100) {\n      printf("SSE4_2");\n    }\n    else if (uVar1 < 0x101) {\n      if (uVar1 == 8) {\n        printf("SSE");\n      }\n      else if (uVar1 < 9) {\n        if (uVar1 == 2) {\n          printf("586");\n        }\n        else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }\n      }\n      else if (uVar1 == 0x20) {\n        printf("SSE3");\n      }\n      else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }\n    }\n    else if (uVar1 == 0x2000) {\n      printf("AVX512ER");\n    }\n    else if (uVar1 < 0x2001) {\n      if (uVar1 == 0x400) {\n        printf("AVX2");\n      }\n      else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }\n    }\n    else if (uVar1 == 0x8000) {\n      printf("AVX512VL");\n    }\n    else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }\n    if (param_1 == 0) {\n      return;\n    }\n    printf(", ");\n  } while( true );\n}" primitive_type (ERROR "__regparm3" identifier) (function_declarator "FUN_0001f160(uint param_1)" identifier (parameter_list "(uint param_1)" ( (parameter_declaration "uint param_1" type_identifier identifier) ))) (compound_statement "{\n  char *__format;\n  uint uVar1;\n  \n  if (param_1 == 0) {\n    return;\n  }\n  do {\n    uVar1 = -param_1 & param_1;\n    param_1 = param_1 & ~uVar1;\n    if (uVar1 == 0x100) {\n      printf("SSE4_2");\n    }\n    else if (uVar1 < 0x101) {\n      if (uVar1 == 8) {\n        printf("SSE");\n      }\n      else if (uVar1 < 9) {\n        if (uVar1 == 2) {\n          printf("586");\n        }\n        else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }\n      }\n      else if (uVar1 == 0x20) {\n        printf("SSE3");\n      }\n      else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }\n    }\n    else if (uVar1 == 0x2000) {\n      printf("AVX512ER");\n    }\n    else if (uVar1 < 0x2001) {\n      if (uVar1 == 0x400) {\n        printf("AVX2");\n      }\n      else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }\n    }\n    else if (uVar1 == 0x8000) {\n      printf("AVX512VL");\n    }\n    else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }\n    if (param_1 == 0) {\n      return;\n    }\n    printf(", ");\n  } while( true );\n}" { (declaration "char *__format;" primitive_type (pointer_declarator "*__format" * identifier) ;) (declaration "uint uVar1;" type_identifier identifier ;) (if_statement "if (param_1 == 0) {\n    return;\n  }" if (parenthesized_expression "(param_1 == 0)" ( (binary_expression "param_1 == 0" identifier == number_literal) )) (compound_statement "{\n    return;\n  }" { (return_statement "return;" return ;) })) (do_statement "do {\n    uVar1 = -param_1 & param_1;\n    param_1 = param_1 & ~uVar1;\n    if (uVar1 == 0x100) {\n      printf("SSE4_2");\n    }\n    else if (uVar1 < 0x101) {\n      if (uVar1 == 8) {\n        printf("SSE");\n      }\n      else if (uVar1 < 9) {\n        if (uVar1 == 2) {\n          printf("586");\n        }\n        else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }\n      }\n      else if (uVar1 == 0x20) {\n        printf("SSE3");\n      }\n      else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }\n    }\n    else if (uVar1 == 0x2000) {\n      printf("AVX512ER");\n    }\n    else if (uVar1 < 0x2001) {\n      if (uVar1 == 0x400) {\n        printf("AVX2");\n      }\n      else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }\n    }\n    else if (uVar1 == 0x8000) {\n      printf("AVX512VL");\n    }\n    else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }\n    if (param_1 == 0) {\n      return;\n    }\n    printf(", ");\n  } while( true );" do (compound_statement "{\n    uVar1 = -param_1 & param_1;\n    param_1 = param_1 & ~uVar1;\n    if (uVar1 == 0x100) {\n      printf("SSE4_2");\n    }\n    else if (uVar1 < 0x101) {\n      if (uVar1 == 8) {\n        printf("SSE");\n      }\n      else if (uVar1 < 9) {\n        if (uVar1 == 2) {\n          printf("586");\n        }\n        else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }\n      }\n      else if (uVar1 == 0x20) {\n        printf("SSE3");\n      }\n      else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }\n    }\n    else if (uVar1 == 0x2000) {\n      printf("AVX512ER");\n    }\n    else if (uVar1 < 0x2001) {\n      if (uVar1 == 0x400) {\n        printf("AVX2");\n      }\n      else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }\n    }\n    else if (uVar1 == 0x8000) {\n      printf("AVX512VL");\n    }\n    else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }\n    if (param_1 == 0) {\n      return;\n    }\n    printf(", ");\n  }" { (expression_statement "uVar1 = -param_1 & param_1;" (assignment_expression "uVar1 = -param_1 & param_1" identifier = (binary_expression "-param_1 & param_1" (unary_expression "-param_1" - identifier) & identifier)) ;) (expression_statement "param_1 = param_1 & ~uVar1;" (assignment_expression "param_1 = param_1 & ~uVar1" identifier = (binary_expression "param_1 & ~uVar1" identifier & (unary_expression "~uVar1" ~ identifier))) ;) (if_statement "if (uVar1 == 0x100) {\n      printf("SSE4_2");\n    }\n    else if (uVar1 < 0x101) {\n      if (uVar1 == 8) {\n        printf("SSE");\n      }\n      else if (uVar1 < 9) {\n        if (uVar1 == 2) {\n          printf("586");\n        }\n        else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }\n      }\n      else if (uVar1 == 0x20) {\n        printf("SSE3");\n      }\n      else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }\n    }\n    else if (uVar1 == 0x2000) {\n      printf("AVX512ER");\n    }\n    else if (uVar1 < 0x2001) {\n      if (uVar1 == 0x400) {\n        printf("AVX2");\n      }\n      else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }\n    }\n    else if (uVar1 == 0x8000) {\n      printf("AVX512VL");\n    }\n    else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" if (parenthesized_expression "(uVar1 == 0x100)" ( (binary_expression "uVar1 == 0x100" identifier == number_literal) )) (compound_statement "{\n      printf("SSE4_2");\n    }" { (expression_statement "printf("SSE4_2");" (call_expression "printf("SSE4_2")" identifier (argument_list "("SSE4_2")" ( (string_literal ""SSE4_2"" " string_content ") ))) ;) }) (else_clause "else if (uVar1 < 0x101) {\n      if (uVar1 == 8) {\n        printf("SSE");\n      }\n      else if (uVar1 < 9) {\n        if (uVar1 == 2) {\n          printf("586");\n        }\n        else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }\n      }\n      else if (uVar1 == 0x20) {\n        printf("SSE3");\n      }\n      else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }\n    }\n    else if (uVar1 == 0x2000) {\n      printf("AVX512ER");\n    }\n    else if (uVar1 < 0x2001) {\n      if (uVar1 == 0x400) {\n        printf("AVX2");\n      }\n      else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }\n    }\n    else if (uVar1 == 0x8000) {\n      printf("AVX512VL");\n    }\n    else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" else (if_statement "if (uVar1 < 0x101) {\n      if (uVar1 == 8) {\n        printf("SSE");\n      }\n      else if (uVar1 < 9) {\n        if (uVar1 == 2) {\n          printf("586");\n        }\n        else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }\n      }\n      else if (uVar1 == 0x20) {\n        printf("SSE3");\n      }\n      else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }\n    }\n    else if (uVar1 == 0x2000) {\n      printf("AVX512ER");\n    }\n    else if (uVar1 < 0x2001) {\n      if (uVar1 == 0x400) {\n        printf("AVX2");\n      }\n      else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }\n    }\n    else if (uVar1 == 0x8000) {\n      printf("AVX512VL");\n    }\n    else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" if (parenthesized_expression "(uVar1 < 0x101)" ( (binary_expression "uVar1 < 0x101" identifier < number_literal) )) (compound_statement "{\n      if (uVar1 == 8) {\n        printf("SSE");\n      }\n      else if (uVar1 < 9) {\n        if (uVar1 == 2) {\n          printf("586");\n        }\n        else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }\n      }\n      else if (uVar1 == 0x20) {\n        printf("SSE3");\n      }\n      else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }\n    }" { (if_statement "if (uVar1 == 8) {\n        printf("SSE");\n      }\n      else if (uVar1 < 9) {\n        if (uVar1 == 2) {\n          printf("586");\n        }\n        else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }\n      }\n      else if (uVar1 == 0x20) {\n        printf("SSE3");\n      }\n      else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }" if (parenthesized_expression "(uVar1 == 8)" ( (binary_expression "uVar1 == 8" identifier == number_literal) )) (compound_statement "{\n        printf("SSE");\n      }" { (expression_statement "printf("SSE");" (call_expression "printf("SSE")" identifier (argument_list "("SSE")" ( (string_literal ""SSE"" " string_content ") ))) ;) }) (else_clause "else if (uVar1 < 9) {\n        if (uVar1 == 2) {\n          printf("586");\n        }\n        else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }\n      }\n      else if (uVar1 == 0x20) {\n        printf("SSE3");\n      }\n      else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }" else (if_statement "if (uVar1 < 9) {\n        if (uVar1 == 2) {\n          printf("586");\n        }\n        else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }\n      }\n      else if (uVar1 == 0x20) {\n        printf("SSE3");\n      }\n      else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }" if (parenthesized_expression "(uVar1 < 9)" ( (binary_expression "uVar1 < 9" identifier < number_literal) )) (compound_statement "{\n        if (uVar1 == 2) {\n          printf("586");\n        }\n        else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }\n      }" { (if_statement "if (uVar1 == 2) {\n          printf("586");\n        }\n        else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }" if (parenthesized_expression "(uVar1 == 2)" ( (binary_expression "uVar1 == 2" identifier == number_literal) )) (compound_statement "{\n          printf("586");\n        }" { (expression_statement "printf("586");" (call_expression "printf("586")" identifier (argument_list "("586")" ( (string_literal ""586"" " string_content ") ))) ;) }) (else_clause "else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }" else (if_statement "if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }" if (parenthesized_expression "(uVar1 == 4)" ( (binary_expression "uVar1 == 4" identifier == number_literal) )) (compound_statement "{\n          printf("686");\n        }" { (expression_statement "printf("686");" (call_expression "printf("686")" identifier (argument_list "("686")" ( (string_literal ""686"" " string_content ") ))) ;) }) (else_clause "else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }" else (compound_statement "{\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }" { (if_statement "if (uVar1 != 1) goto LAB_0001f307;" if (parenthesized_expression "(uVar1 != 1)" ( (binary_expression "uVar1 != 1" identifier != number_literal) )) (goto_statement "goto LAB_0001f307;" goto statement_identifier ;)) (expression_statement "printf("i486");" (call_expression "printf("i486")" identifier (argument_list "("i486")" ( (string_literal ""i486"" " string_content ") ))) ;) }))))) }) (else_clause "else if (uVar1 == 0x20) {\n        printf("SSE3");\n      }\n      else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }" else (if_statement "if (uVar1 == 0x20) {\n        printf("SSE3");\n      }\n      else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }" if (parenthesized_expression "(uVar1 == 0x20)" ( (binary_expression "uVar1 == 0x20" identifier == number_literal) )) (compound_statement "{\n        printf("SSE3");\n      }" { (expression_statement "printf("SSE3");" (call_expression "printf("SSE3")" identifier (argument_list "("SSE3")" ( (string_literal ""SSE3"" " string_content ") ))) ;) }) (else_clause "else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }" else (if_statement "if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }" if (parenthesized_expression "(uVar1 < 0x21)" ( (binary_expression "uVar1 < 0x21" identifier < number_literal) )) (compound_statement "{\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }" { (if_statement "if (uVar1 != 0x10) goto LAB_0001f307;" if (parenthesized_expression "(uVar1 != 0x10)" ( (binary_expression "uVar1 != 0x10" identifier != number_literal) )) (goto_statement "goto LAB_0001f307;" goto statement_identifier ;)) (expression_statement "printf("SSE2");" (call_expression "printf("SSE2")" identifier (argument_list "("SSE2")" ( (string_literal ""SSE2"" " string_content ") ))) ;) }) (else_clause "else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }" else (if_statement "if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }" if (parenthesized_expression "(uVar1 == 0x40)" ( (binary_expression "uVar1 == 0x40" identifier == number_literal) )) (compound_statement "{\n        printf("SSSE3");\n      }" { (expression_statement "printf("SSSE3");" (call_expression "printf("SSSE3")" identifier (argument_list "("SSSE3")" ( (string_literal ""SSSE3"" " string_content ") ))) ;) }) (else_clause "else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }" else (compound_statement "{\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }" { (if_statement "if (uVar1 != 0x80) goto LAB_0001f307;" if (parenthesized_expression "(uVar1 != 0x80)" ( (binary_expression "uVar1 != 0x80" identifier != number_literal) )) (goto_statement "goto LAB_0001f307;" goto statement_identifier ;)) (expression_statement "printf("SSE4_1");" (call_expression "printf("SSE4_1")" identifier (argument_list "("SSE4_1")" ( (string_literal ""SSE4_1"" " string_content ") ))) ;) }))))))))))) }) (else_clause "else if (uVar1 == 0x2000) {\n      printf("AVX512ER");\n    }\n    else if (uVar1 < 0x2001) {\n      if (uVar1 == 0x400) {\n        printf("AVX2");\n      }\n      else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }\n    }\n    else if (uVar1 == 0x8000) {\n      printf("AVX512VL");\n    }\n    else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" else (if_statement "if (uVar1 == 0x2000) {\n      printf("AVX512ER");\n    }\n    else if (uVar1 < 0x2001) {\n      if (uVar1 == 0x400) {\n        printf("AVX2");\n      }\n      else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }\n    }\n    else if (uVar1 == 0x8000) {\n      printf("AVX512VL");\n    }\n    else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" if (parenthesized_expression "(uVar1 == 0x2000)" ( (binary_expression "uVar1 == 0x2000" identifier == number_literal) )) (compound_statement "{\n      printf("AVX512ER");\n    }" { (expression_statement "printf("AVX512ER");" (call_expression "printf("AVX512ER")" identifier (argument_list "("AVX512ER")" ( (string_literal ""AVX512ER"" " string_content ") ))) ;) }) (else_clause "else if (uVar1 < 0x2001) {\n      if (uVar1 == 0x400) {\n        printf("AVX2");\n      }\n      else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }\n    }\n    else if (uVar1 == 0x8000) {\n      printf("AVX512VL");\n    }\n    else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" else (if_statement "if (uVar1 < 0x2001) {\n      if (uVar1 == 0x400) {\n        printf("AVX2");\n      }\n      else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }\n    }\n    else if (uVar1 == 0x8000) {\n      printf("AVX512VL");\n    }\n    else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" if (parenthesized_expression "(uVar1 < 0x2001)" ( (binary_expression "uVar1 < 0x2001" identifier < number_literal) )) (compound_statement "{\n      if (uVar1 == 0x400) {\n        printf("AVX2");\n      }\n      else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }\n    }" { (if_statement "if (uVar1 == 0x400) {\n        printf("AVX2");\n      }\n      else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }" if (parenthesized_expression "(uVar1 == 0x400)" ( (binary_expression "uVar1 == 0x400" identifier == number_literal) )) (compound_statement "{\n        printf("AVX2");\n      }" { (expression_statement "printf("AVX2");" (call_expression "printf("AVX2")" identifier (argument_list "("AVX2")" ( (string_literal ""AVX2"" " string_content ") ))) ;) }) (else_clause "else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }" else (if_statement "if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }" if (parenthesized_expression "(uVar1 < 0x401)" ( (binary_expression "uVar1 < 0x401" identifier < number_literal) )) (compound_statement "{\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }" { (if_statement "if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }" if (parenthesized_expression "(uVar1 == 0x200)" ( (binary_expression "uVar1 == 0x200" identifier == number_literal) )) (compound_statement "{\n          printf("AVX");\n        }" { (expression_statement "printf("AVX");" (call_expression "printf("AVX")" identifier (argument_list "("AVX")" ( (string_literal ""AVX"" " string_content ") ))) ;) }) (else_clause "else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }" else (compound_statement "{\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }" { (labeled_statement "LAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);" statement_identifier : (expression_statement "__format = (char *)dcgettext(0,"<unknown: %x>",5);" (assignment_expression "__format = (char *)dcgettext(0,"<unknown: %x>",5)" identifier = (cast_expression "(char *)dcgettext(0,"<unknown: %x>",5)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (call_expression "dcgettext(0,"<unknown: %x>",5)" identifier (argument_list "(0,"<unknown: %x>",5)" ( number_literal , (string_literal ""<unknown: %x>"" " string_content ") , number_literal ))))) ;)) (expression_statement "printf(__format,uVar1);" (call_expression "printf(__format,uVar1)" identifier (argument_list "(__format,uVar1)" ( identifier , identifier ))) ;) }))) }) (else_clause "else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }" else (if_statement "if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }" if (parenthesized_expression "(uVar1 == 0x800)" ( (binary_expression "uVar1 == 0x800" identifier == number_literal) )) (compound_statement "{\n        printf("AVX512F");\n      }" { (expression_statement "printf("AVX512F");" (call_expression "printf("AVX512F")" identifier (argument_list "("AVX512F")" ( (string_literal ""AVX512F"" " string_content ") ))) ;) }) (else_clause "else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }" else (compound_statement "{\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }" { (if_statement "if (uVar1 != 0x1000) goto LAB_0001f307;" if (parenthesized_expression "(uVar1 != 0x1000)" ( (binary_expression "uVar1 != 0x1000" identifier != number_literal) )) (goto_statement "goto LAB_0001f307;" goto statement_identifier ;)) (expression_statement "printf("AVX512CD");" (call_expression "printf("AVX512CD")" identifier (argument_list "("AVX512CD")" ( (string_literal ""AVX512CD"" " string_content ") ))) ;) }))))))) }) (else_clause "else if (uVar1 == 0x8000) {\n      printf("AVX512VL");\n    }\n    else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" else (if_statement "if (uVar1 == 0x8000) {\n      printf("AVX512VL");\n    }\n    else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" if (parenthesized_expression "(uVar1 == 0x8000)" ( (binary_expression "uVar1 == 0x8000" identifier == number_literal) )) (compound_statement "{\n      printf("AVX512VL");\n    }" { (expression_statement "printf("AVX512VL");" (call_expression "printf("AVX512VL")" identifier (argument_list "("AVX512VL")" ( (string_literal ""AVX512VL"" " string_content ") ))) ;) }) (else_clause "else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" else (if_statement "if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" if (parenthesized_expression "(uVar1 < 0x8001)" ( (binary_expression "uVar1 < 0x8001" identifier < number_literal) )) (compound_statement "{\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }" { (if_statement "if (uVar1 != 0x4000) goto LAB_0001f307;" if (parenthesized_expression "(uVar1 != 0x4000)" ( (binary_expression "uVar1 != 0x4000" identifier != number_literal) )) (goto_statement "goto LAB_0001f307;" goto statement_identifier ;)) (expression_statement "printf("AVX512PF");" (call_expression "printf("AVX512PF")" identifier (argument_list "("AVX512PF")" ( (string_literal ""AVX512PF"" " string_content ") ))) ;) }) (else_clause "else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" else (if_statement "if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" if (parenthesized_expression "(uVar1 == 0x10000)" ( (binary_expression "uVar1 == 0x10000" identifier == number_literal) )) (compound_statement "{\n      printf("AVX512DQ");\n    }" { (expression_statement "printf("AVX512DQ");" (call_expression "printf("AVX512DQ")" identifier (argument_list "("AVX512DQ")" ( (string_literal ""AVX512DQ"" " string_content ") ))) ;) }) (else_clause "else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" else (compound_statement "{\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" { (if_statement "if (uVar1 != 0x20000) goto LAB_0001f307;" if (parenthesized_expression "(uVar1 != 0x20000)" ( (binary_expression "uVar1 != 0x20000" identifier != number_literal) )) (goto_statement "goto LAB_0001f307;" goto statement_identifier ;)) (expression_statement "printf("AVX512BW");" (call_expression "printf("AVX512BW")" identifier (argument_list "("AVX512BW")" ( (string_literal ""AVX512BW"" " string_content ") ))) ;) }))))))))))))))) (if_statement "if (param_1 == 0) {\n      return;\n    }" if (parenthesized_expression "(param_1 == 0)" ( (binary_expression "param_1 == 0" identifier == number_literal) )) (compound_statement "{\n      return;\n    }" { (return_statement "return;" return ;) })) (expression_statement "printf(", ");" (call_expression "printf(", ")" identifier (argument_list "(", ")" ( (string_literal "", "" " string_content ") ))) ;) }) while (parenthesized_expression "( true )" ( true )) ;) })))
(translation_unit (function_definition TYPE (ERROR IDENT) (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE IDENT) ))) (compound_statement { (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (return_statement return ;) })) (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression (unary_expression - IDENT) & IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT & (unary_expression ~ IDENT))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (expression_statement (call_expression IDENT (argument_list ( (string_literal " string_content ") ))) ;) }) (else_clause else (if_statement if (parenthesized_expression ( (binary_expression IDENT < LIT) )) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (expression_statement (call_expression IDENT (argument_list ( (string_literal " string_content ") ))) ;) }) (else_clause else (if_statement if (parenthesized_expression ( (binary_expression IDENT < LIT) )) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (expression_statement (call_expression IDENT (argument_list ( (string_literal " string_content ") ))) ;) }) (else_clause else (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (expression_statement (call_expression IDENT (argument_list ( (string_literal " string_content ") ))) ;) }) (else_clause else (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT != LIT) )) (goto_statement goto statement_identifier ;)) (expression_statement (call_expression IDENT (argument_list ( (string_literal " string_content ") ))) ;) }))))) }) (else_clause else (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (expression_statement (call_expression IDENT (argument_list ( (string_literal " string_content ") ))) ;) }) (else_clause else (if_statement if (parenthesized_expression ( (binary_expression IDENT < LIT) )) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT != LIT) )) (goto_statement goto statement_identifier ;)) (expression_statement (call_expression IDENT (argument_list ( (string_literal " string_content ") ))) ;) }) (else_clause else (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (expression_statement (call_expression IDENT (argument_list ( (string_literal " string_content ") ))) ;) }) (else_clause else (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT != LIT) )) (goto_statement goto statement_identifier ;)) (expression_statement (call_expression IDENT (argument_list ( (string_literal " string_content ") ))) ;) }))))))))))) }) (else_clause else (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (expression_statement (call_expression IDENT (argument_list ( (string_literal " string_content ") ))) ;) }) (else_clause else (if_statement if (parenthesized_expression ( (binary_expression IDENT < LIT) )) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (expression_statement (call_expression IDENT (argument_list ( (string_literal " string_content ") ))) ;) }) (else_clause else (if_statement if (parenthesized_expression ( (binary_expression IDENT < LIT) )) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (expression_statement (call_expression IDENT (argument_list ( (string_literal " string_content ") ))) ;) }) (else_clause else (compound_statement { (labeled_statement statement_identifier : (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (call_expression IDENT (argument_list ( LIT , (string_literal " string_content ") , LIT ))))) ;)) (expression_statement (call_expression IDENT (argument_list ( IDENT , IDENT ))) ;) }))) }) (else_clause else (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (expression_statement (call_expression IDENT (argument_list ( (string_literal " string_content ") ))) ;) }) (else_clause else (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT != LIT) )) (goto_statement goto statement_identifier ;)) (expression_statement (call_expression IDENT (argument_list ( (string_literal " string_content ") ))) ;) }))))))) }) (else_clause else (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (expression_statement (call_expression IDENT (argument_list ( (string_literal " string_content ") ))) ;) }) (else_clause else (if_statement if (parenthesized_expression ( (binary_expression IDENT < LIT) )) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT != LIT) )) (goto_statement goto statement_identifier ;)) (expression_statement (call_expression IDENT (argument_list ( (string_literal " string_content ") ))) ;) }) (else_clause else (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (expression_statement (call_expression IDENT (argument_list ( (string_literal " string_content ") ))) ;) }) (else_clause else (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT != LIT) )) (goto_statement goto statement_identifier ;)) (expression_statement (call_expression IDENT (argument_list ( (string_literal " string_content ") ))) ;) }))))))))))))))) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (return_statement return ;) })) (expression_statement (call_expression IDENT (argument_list ( (string_literal " string_content ") ))) ;) }) while (parenthesized_expression ( BOOL )) ;) })))
(function_definition "void __regparm3 FUN_0001f160(uint param_1)\n\n{\n  char *__format;\n  uint uVar1;\n  \n  if (param_1 == 0) {\n    return;\n  }\n  do {\n    uVar1 = -param_1 & param_1;\n    param_1 = param_1 & ~uVar1;\n    if (uVar1 == 0x100) {\n      printf("SSE4_2");\n    }\n    else if (uVar1 < 0x101) {\n      if (uVar1 == 8) {\n        printf("SSE");\n      }\n      else if (uVar1 < 9) {\n        if (uVar1 == 2) {\n          printf("586");\n        }\n        else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }\n      }\n      else if (uVar1 == 0x20) {\n        printf("SSE3");\n      }\n      else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }\n    }\n    else if (uVar1 == 0x2000) {\n      printf("AVX512ER");\n    }\n    else if (uVar1 < 0x2001) {\n      if (uVar1 == 0x400) {\n        printf("AVX2");\n      }\n      else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }\n    }\n    else if (uVar1 == 0x8000) {\n      printf("AVX512VL");\n    }\n    else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }\n    if (param_1 == 0) {\n      return;\n    }\n    printf(", ");\n  } while( true );\n}" (primitive_type "void") (ERROR "__regparm3" (identifier "__regparm3")) (function_declarator "FUN_0001f160(uint param_1)" (identifier "FUN_0001f160") (parameter_list "(uint param_1)" (( "(") (parameter_declaration "uint param_1" (type_identifier "uint") (identifier "param_1")) () ")"))) (compound_statement "{\n  char *__format;\n  uint uVar1;\n  \n  if (param_1 == 0) {\n    return;\n  }\n  do {\n    uVar1 = -param_1 & param_1;\n    param_1 = param_1 & ~uVar1;\n    if (uVar1 == 0x100) {\n      printf("SSE4_2");\n    }\n    else if (uVar1 < 0x101) {\n      if (uVar1 == 8) {\n        printf("SSE");\n      }\n      else if (uVar1 < 9) {\n        if (uVar1 == 2) {\n          printf("586");\n        }\n        else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }\n      }\n      else if (uVar1 == 0x20) {\n        printf("SSE3");\n      }\n      else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }\n    }\n    else if (uVar1 == 0x2000) {\n      printf("AVX512ER");\n    }\n    else if (uVar1 < 0x2001) {\n      if (uVar1 == 0x400) {\n        printf("AVX2");\n      }\n      else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }\n    }\n    else if (uVar1 == 0x8000) {\n      printf("AVX512VL");\n    }\n    else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }\n    if (param_1 == 0) {\n      return;\n    }\n    printf(", ");\n  } while( true );\n}" ({ "{") (declaration "char *__format;" (primitive_type "char") (pointer_declarator "*__format" (* "*") (identifier "__format")) (; ";")) (declaration "uint uVar1;" (type_identifier "uint") (identifier "uVar1") (; ";")) (if_statement "if (param_1 == 0) {\n    return;\n  }" (if "if") (parenthesized_expression "(param_1 == 0)" (( "(") (binary_expression "param_1 == 0" (identifier "param_1") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n    return;\n  }" ({ "{") (return_statement "return;" (return "return") (; ";")) (} "}"))) (do_statement "do {\n    uVar1 = -param_1 & param_1;\n    param_1 = param_1 & ~uVar1;\n    if (uVar1 == 0x100) {\n      printf("SSE4_2");\n    }\n    else if (uVar1 < 0x101) {\n      if (uVar1 == 8) {\n        printf("SSE");\n      }\n      else if (uVar1 < 9) {\n        if (uVar1 == 2) {\n          printf("586");\n        }\n        else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }\n      }\n      else if (uVar1 == 0x20) {\n        printf("SSE3");\n      }\n      else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }\n    }\n    else if (uVar1 == 0x2000) {\n      printf("AVX512ER");\n    }\n    else if (uVar1 < 0x2001) {\n      if (uVar1 == 0x400) {\n        printf("AVX2");\n      }\n      else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }\n    }\n    else if (uVar1 == 0x8000) {\n      printf("AVX512VL");\n    }\n    else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }\n    if (param_1 == 0) {\n      return;\n    }\n    printf(", ");\n  } while( true );" (do "do") (compound_statement "{\n    uVar1 = -param_1 & param_1;\n    param_1 = param_1 & ~uVar1;\n    if (uVar1 == 0x100) {\n      printf("SSE4_2");\n    }\n    else if (uVar1 < 0x101) {\n      if (uVar1 == 8) {\n        printf("SSE");\n      }\n      else if (uVar1 < 9) {\n        if (uVar1 == 2) {\n          printf("586");\n        }\n        else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }\n      }\n      else if (uVar1 == 0x20) {\n        printf("SSE3");\n      }\n      else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }\n    }\n    else if (uVar1 == 0x2000) {\n      printf("AVX512ER");\n    }\n    else if (uVar1 < 0x2001) {\n      if (uVar1 == 0x400) {\n        printf("AVX2");\n      }\n      else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }\n    }\n    else if (uVar1 == 0x8000) {\n      printf("AVX512VL");\n    }\n    else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }\n    if (param_1 == 0) {\n      return;\n    }\n    printf(", ");\n  }" ({ "{") (expression_statement "uVar1 = -param_1 & param_1;" (assignment_expression "uVar1 = -param_1 & param_1" (identifier "uVar1") (= "=") (binary_expression "-param_1 & param_1" (unary_expression "-param_1" (- "-") (identifier "param_1")) (& "&") (identifier "param_1"))) (; ";")) (expression_statement "param_1 = param_1 & ~uVar1;" (assignment_expression "param_1 = param_1 & ~uVar1" (identifier "param_1") (= "=") (binary_expression "param_1 & ~uVar1" (identifier "param_1") (& "&") (unary_expression "~uVar1" (~ "~") (identifier "uVar1")))) (; ";")) (if_statement "if (uVar1 == 0x100) {\n      printf("SSE4_2");\n    }\n    else if (uVar1 < 0x101) {\n      if (uVar1 == 8) {\n        printf("SSE");\n      }\n      else if (uVar1 < 9) {\n        if (uVar1 == 2) {\n          printf("586");\n        }\n        else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }\n      }\n      else if (uVar1 == 0x20) {\n        printf("SSE3");\n      }\n      else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }\n    }\n    else if (uVar1 == 0x2000) {\n      printf("AVX512ER");\n    }\n    else if (uVar1 < 0x2001) {\n      if (uVar1 == 0x400) {\n        printf("AVX2");\n      }\n      else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }\n    }\n    else if (uVar1 == 0x8000) {\n      printf("AVX512VL");\n    }\n    else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" (if "if") (parenthesized_expression "(uVar1 == 0x100)" (( "(") (binary_expression "uVar1 == 0x100" (identifier "uVar1") (== "==") (number_literal "0x100")) () ")")) (compound_statement "{\n      printf("SSE4_2");\n    }" ({ "{") (expression_statement "printf("SSE4_2");" (call_expression "printf("SSE4_2")" (identifier "printf") (argument_list "("SSE4_2")" (( "(") (string_literal ""SSE4_2"" (" """) (string_content "SSE4_2") (" """)) () ")"))) (; ";")) (} "}")) (else_clause "else if (uVar1 < 0x101) {\n      if (uVar1 == 8) {\n        printf("SSE");\n      }\n      else if (uVar1 < 9) {\n        if (uVar1 == 2) {\n          printf("586");\n        }\n        else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }\n      }\n      else if (uVar1 == 0x20) {\n        printf("SSE3");\n      }\n      else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }\n    }\n    else if (uVar1 == 0x2000) {\n      printf("AVX512ER");\n    }\n    else if (uVar1 < 0x2001) {\n      if (uVar1 == 0x400) {\n        printf("AVX2");\n      }\n      else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }\n    }\n    else if (uVar1 == 0x8000) {\n      printf("AVX512VL");\n    }\n    else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" (else "else") (if_statement "if (uVar1 < 0x101) {\n      if (uVar1 == 8) {\n        printf("SSE");\n      }\n      else if (uVar1 < 9) {\n        if (uVar1 == 2) {\n          printf("586");\n        }\n        else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }\n      }\n      else if (uVar1 == 0x20) {\n        printf("SSE3");\n      }\n      else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }\n    }\n    else if (uVar1 == 0x2000) {\n      printf("AVX512ER");\n    }\n    else if (uVar1 < 0x2001) {\n      if (uVar1 == 0x400) {\n        printf("AVX2");\n      }\n      else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }\n    }\n    else if (uVar1 == 0x8000) {\n      printf("AVX512VL");\n    }\n    else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" (if "if") (parenthesized_expression "(uVar1 < 0x101)" (( "(") (binary_expression "uVar1 < 0x101" (identifier "uVar1") (< "<") (number_literal "0x101")) () ")")) (compound_statement "{\n      if (uVar1 == 8) {\n        printf("SSE");\n      }\n      else if (uVar1 < 9) {\n        if (uVar1 == 2) {\n          printf("586");\n        }\n        else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }\n      }\n      else if (uVar1 == 0x20) {\n        printf("SSE3");\n      }\n      else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }\n    }" ({ "{") (if_statement "if (uVar1 == 8) {\n        printf("SSE");\n      }\n      else if (uVar1 < 9) {\n        if (uVar1 == 2) {\n          printf("586");\n        }\n        else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }\n      }\n      else if (uVar1 == 0x20) {\n        printf("SSE3");\n      }\n      else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }" (if "if") (parenthesized_expression "(uVar1 == 8)" (( "(") (binary_expression "uVar1 == 8" (identifier "uVar1") (== "==") (number_literal "8")) () ")")) (compound_statement "{\n        printf("SSE");\n      }" ({ "{") (expression_statement "printf("SSE");" (call_expression "printf("SSE")" (identifier "printf") (argument_list "("SSE")" (( "(") (string_literal ""SSE"" (" """) (string_content "SSE") (" """)) () ")"))) (; ";")) (} "}")) (else_clause "else if (uVar1 < 9) {\n        if (uVar1 == 2) {\n          printf("586");\n        }\n        else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }\n      }\n      else if (uVar1 == 0x20) {\n        printf("SSE3");\n      }\n      else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }" (else "else") (if_statement "if (uVar1 < 9) {\n        if (uVar1 == 2) {\n          printf("586");\n        }\n        else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }\n      }\n      else if (uVar1 == 0x20) {\n        printf("SSE3");\n      }\n      else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }" (if "if") (parenthesized_expression "(uVar1 < 9)" (( "(") (binary_expression "uVar1 < 9" (identifier "uVar1") (< "<") (number_literal "9")) () ")")) (compound_statement "{\n        if (uVar1 == 2) {\n          printf("586");\n        }\n        else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }\n      }" ({ "{") (if_statement "if (uVar1 == 2) {\n          printf("586");\n        }\n        else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }" (if "if") (parenthesized_expression "(uVar1 == 2)" (( "(") (binary_expression "uVar1 == 2" (identifier "uVar1") (== "==") (number_literal "2")) () ")")) (compound_statement "{\n          printf("586");\n        }" ({ "{") (expression_statement "printf("586");" (call_expression "printf("586")" (identifier "printf") (argument_list "("586")" (( "(") (string_literal ""586"" (" """) (string_content "586") (" """)) () ")"))) (; ";")) (} "}")) (else_clause "else if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }" (else "else") (if_statement "if (uVar1 == 4) {\n          printf("686");\n        }\n        else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }" (if "if") (parenthesized_expression "(uVar1 == 4)" (( "(") (binary_expression "uVar1 == 4" (identifier "uVar1") (== "==") (number_literal "4")) () ")")) (compound_statement "{\n          printf("686");\n        }" ({ "{") (expression_statement "printf("686");" (call_expression "printf("686")" (identifier "printf") (argument_list "("686")" (( "(") (string_literal ""686"" (" """) (string_content "686") (" """)) () ")"))) (; ";")) (} "}")) (else_clause "else {\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }" (else "else") (compound_statement "{\n          if (uVar1 != 1) goto LAB_0001f307;\n          printf("i486");\n        }" ({ "{") (if_statement "if (uVar1 != 1) goto LAB_0001f307;" (if "if") (parenthesized_expression "(uVar1 != 1)" (( "(") (binary_expression "uVar1 != 1" (identifier "uVar1") (!= "!=") (number_literal "1")) () ")")) (goto_statement "goto LAB_0001f307;" (goto "goto") (statement_identifier "LAB_0001f307") (; ";"))) (expression_statement "printf("i486");" (call_expression "printf("i486")" (identifier "printf") (argument_list "("i486")" (( "(") (string_literal ""i486"" (" """) (string_content "i486") (" """)) () ")"))) (; ";")) (} "}")))))) (} "}")) (else_clause "else if (uVar1 == 0x20) {\n        printf("SSE3");\n      }\n      else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }" (else "else") (if_statement "if (uVar1 == 0x20) {\n        printf("SSE3");\n      }\n      else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }" (if "if") (parenthesized_expression "(uVar1 == 0x20)" (( "(") (binary_expression "uVar1 == 0x20" (identifier "uVar1") (== "==") (number_literal "0x20")) () ")")) (compound_statement "{\n        printf("SSE3");\n      }" ({ "{") (expression_statement "printf("SSE3");" (call_expression "printf("SSE3")" (identifier "printf") (argument_list "("SSE3")" (( "(") (string_literal ""SSE3"" (" """) (string_content "SSE3") (" """)) () ")"))) (; ";")) (} "}")) (else_clause "else if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }" (else "else") (if_statement "if (uVar1 < 0x21) {\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }\n      else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }" (if "if") (parenthesized_expression "(uVar1 < 0x21)" (( "(") (binary_expression "uVar1 < 0x21" (identifier "uVar1") (< "<") (number_literal "0x21")) () ")")) (compound_statement "{\n        if (uVar1 != 0x10) goto LAB_0001f307;\n        printf("SSE2");\n      }" ({ "{") (if_statement "if (uVar1 != 0x10) goto LAB_0001f307;" (if "if") (parenthesized_expression "(uVar1 != 0x10)" (( "(") (binary_expression "uVar1 != 0x10" (identifier "uVar1") (!= "!=") (number_literal "0x10")) () ")")) (goto_statement "goto LAB_0001f307;" (goto "goto") (statement_identifier "LAB_0001f307") (; ";"))) (expression_statement "printf("SSE2");" (call_expression "printf("SSE2")" (identifier "printf") (argument_list "("SSE2")" (( "(") (string_literal ""SSE2"" (" """) (string_content "SSE2") (" """)) () ")"))) (; ";")) (} "}")) (else_clause "else if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }" (else "else") (if_statement "if (uVar1 == 0x40) {\n        printf("SSSE3");\n      }\n      else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }" (if "if") (parenthesized_expression "(uVar1 == 0x40)" (( "(") (binary_expression "uVar1 == 0x40" (identifier "uVar1") (== "==") (number_literal "0x40")) () ")")) (compound_statement "{\n        printf("SSSE3");\n      }" ({ "{") (expression_statement "printf("SSSE3");" (call_expression "printf("SSSE3")" (identifier "printf") (argument_list "("SSSE3")" (( "(") (string_literal ""SSSE3"" (" """) (string_content "SSSE3") (" """)) () ")"))) (; ";")) (} "}")) (else_clause "else {\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }" (else "else") (compound_statement "{\n        if (uVar1 != 0x80) goto LAB_0001f307;\n        printf("SSE4_1");\n      }" ({ "{") (if_statement "if (uVar1 != 0x80) goto LAB_0001f307;" (if "if") (parenthesized_expression "(uVar1 != 0x80)" (( "(") (binary_expression "uVar1 != 0x80" (identifier "uVar1") (!= "!=") (number_literal "0x80")) () ")")) (goto_statement "goto LAB_0001f307;" (goto "goto") (statement_identifier "LAB_0001f307") (; ";"))) (expression_statement "printf("SSE4_1");" (call_expression "printf("SSE4_1")" (identifier "printf") (argument_list "("SSE4_1")" (( "(") (string_literal ""SSE4_1"" (" """) (string_content "SSE4_1") (" """)) () ")"))) (; ";")) (} "}")))))))))))) (} "}")) (else_clause "else if (uVar1 == 0x2000) {\n      printf("AVX512ER");\n    }\n    else if (uVar1 < 0x2001) {\n      if (uVar1 == 0x400) {\n        printf("AVX2");\n      }\n      else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }\n    }\n    else if (uVar1 == 0x8000) {\n      printf("AVX512VL");\n    }\n    else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" (else "else") (if_statement "if (uVar1 == 0x2000) {\n      printf("AVX512ER");\n    }\n    else if (uVar1 < 0x2001) {\n      if (uVar1 == 0x400) {\n        printf("AVX2");\n      }\n      else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }\n    }\n    else if (uVar1 == 0x8000) {\n      printf("AVX512VL");\n    }\n    else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" (if "if") (parenthesized_expression "(uVar1 == 0x2000)" (( "(") (binary_expression "uVar1 == 0x2000" (identifier "uVar1") (== "==") (number_literal "0x2000")) () ")")) (compound_statement "{\n      printf("AVX512ER");\n    }" ({ "{") (expression_statement "printf("AVX512ER");" (call_expression "printf("AVX512ER")" (identifier "printf") (argument_list "("AVX512ER")" (( "(") (string_literal ""AVX512ER"" (" """) (string_content "AVX512ER") (" """)) () ")"))) (; ";")) (} "}")) (else_clause "else if (uVar1 < 0x2001) {\n      if (uVar1 == 0x400) {\n        printf("AVX2");\n      }\n      else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }\n    }\n    else if (uVar1 == 0x8000) {\n      printf("AVX512VL");\n    }\n    else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" (else "else") (if_statement "if (uVar1 < 0x2001) {\n      if (uVar1 == 0x400) {\n        printf("AVX2");\n      }\n      else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }\n    }\n    else if (uVar1 == 0x8000) {\n      printf("AVX512VL");\n    }\n    else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" (if "if") (parenthesized_expression "(uVar1 < 0x2001)" (( "(") (binary_expression "uVar1 < 0x2001" (identifier "uVar1") (< "<") (number_literal "0x2001")) () ")")) (compound_statement "{\n      if (uVar1 == 0x400) {\n        printf("AVX2");\n      }\n      else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }\n    }" ({ "{") (if_statement "if (uVar1 == 0x400) {\n        printf("AVX2");\n      }\n      else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }" (if "if") (parenthesized_expression "(uVar1 == 0x400)" (( "(") (binary_expression "uVar1 == 0x400" (identifier "uVar1") (== "==") (number_literal "0x400")) () ")")) (compound_statement "{\n        printf("AVX2");\n      }" ({ "{") (expression_statement "printf("AVX2");" (call_expression "printf("AVX2")" (identifier "printf") (argument_list "("AVX2")" (( "(") (string_literal ""AVX2"" (" """) (string_content "AVX2") (" """)) () ")"))) (; ";")) (} "}")) (else_clause "else if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }" (else "else") (if_statement "if (uVar1 < 0x401) {\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }\n      else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }" (if "if") (parenthesized_expression "(uVar1 < 0x401)" (( "(") (binary_expression "uVar1 < 0x401" (identifier "uVar1") (< "<") (number_literal "0x401")) () ")")) (compound_statement "{\n        if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }\n      }" ({ "{") (if_statement "if (uVar1 == 0x200) {\n          printf("AVX");\n        }\n        else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }" (if "if") (parenthesized_expression "(uVar1 == 0x200)" (( "(") (binary_expression "uVar1 == 0x200" (identifier "uVar1") (== "==") (number_literal "0x200")) () ")")) (compound_statement "{\n          printf("AVX");\n        }" ({ "{") (expression_statement "printf("AVX");" (call_expression "printf("AVX")" (identifier "printf") (argument_list "("AVX")" (( "(") (string_literal ""AVX"" (" """) (string_content "AVX") (" """)) () ")"))) (; ";")) (} "}")) (else_clause "else {\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }" (else "else") (compound_statement "{\nLAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);\n          printf(__format,uVar1);\n        }" ({ "{") (labeled_statement "LAB_0001f307:\n          __format = (char *)dcgettext(0,"<unknown: %x>",5);" (statement_identifier "LAB_0001f307") (: ":") (expression_statement "__format = (char *)dcgettext(0,"<unknown: %x>",5);" (assignment_expression "__format = (char *)dcgettext(0,"<unknown: %x>",5)" (identifier "__format") (= "=") (cast_expression "(char *)dcgettext(0,"<unknown: %x>",5)" (( "(") (type_descriptor "char *" (primitive_type "char") (abstract_pointer_declarator "*" (* "*"))) () ")") (call_expression "dcgettext(0,"<unknown: %x>",5)" (identifier "dcgettext") (argument_list "(0,"<unknown: %x>",5)" (( "(") (number_literal "0") (, ",") (string_literal ""<unknown: %x>"" (" """) (string_content "<unknown: %x>") (" """)) (, ",") (number_literal "5") () ")"))))) (; ";"))) (expression_statement "printf(__format,uVar1);" (call_expression "printf(__format,uVar1)" (identifier "printf") (argument_list "(__format,uVar1)" (( "(") (identifier "__format") (, ",") (identifier "uVar1") () ")"))) (; ";")) (} "}")))) (} "}")) (else_clause "else if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }" (else "else") (if_statement "if (uVar1 == 0x800) {\n        printf("AVX512F");\n      }\n      else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }" (if "if") (parenthesized_expression "(uVar1 == 0x800)" (( "(") (binary_expression "uVar1 == 0x800" (identifier "uVar1") (== "==") (number_literal "0x800")) () ")")) (compound_statement "{\n        printf("AVX512F");\n      }" ({ "{") (expression_statement "printf("AVX512F");" (call_expression "printf("AVX512F")" (identifier "printf") (argument_list "("AVX512F")" (( "(") (string_literal ""AVX512F"" (" """) (string_content "AVX512F") (" """)) () ")"))) (; ";")) (} "}")) (else_clause "else {\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }" (else "else") (compound_statement "{\n        if (uVar1 != 0x1000) goto LAB_0001f307;\n        printf("AVX512CD");\n      }" ({ "{") (if_statement "if (uVar1 != 0x1000) goto LAB_0001f307;" (if "if") (parenthesized_expression "(uVar1 != 0x1000)" (( "(") (binary_expression "uVar1 != 0x1000" (identifier "uVar1") (!= "!=") (number_literal "0x1000")) () ")")) (goto_statement "goto LAB_0001f307;" (goto "goto") (statement_identifier "LAB_0001f307") (; ";"))) (expression_statement "printf("AVX512CD");" (call_expression "printf("AVX512CD")" (identifier "printf") (argument_list "("AVX512CD")" (( "(") (string_literal ""AVX512CD"" (" """) (string_content "AVX512CD") (" """)) () ")"))) (; ";")) (} "}")))))))) (} "}")) (else_clause "else if (uVar1 == 0x8000) {\n      printf("AVX512VL");\n    }\n    else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" (else "else") (if_statement "if (uVar1 == 0x8000) {\n      printf("AVX512VL");\n    }\n    else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" (if "if") (parenthesized_expression "(uVar1 == 0x8000)" (( "(") (binary_expression "uVar1 == 0x8000" (identifier "uVar1") (== "==") (number_literal "0x8000")) () ")")) (compound_statement "{\n      printf("AVX512VL");\n    }" ({ "{") (expression_statement "printf("AVX512VL");" (call_expression "printf("AVX512VL")" (identifier "printf") (argument_list "("AVX512VL")" (( "(") (string_literal ""AVX512VL"" (" """) (string_content "AVX512VL") (" """)) () ")"))) (; ";")) (} "}")) (else_clause "else if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" (else "else") (if_statement "if (uVar1 < 0x8001) {\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }\n    else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" (if "if") (parenthesized_expression "(uVar1 < 0x8001)" (( "(") (binary_expression "uVar1 < 0x8001" (identifier "uVar1") (< "<") (number_literal "0x8001")) () ")")) (compound_statement "{\n      if (uVar1 != 0x4000) goto LAB_0001f307;\n      printf("AVX512PF");\n    }" ({ "{") (if_statement "if (uVar1 != 0x4000) goto LAB_0001f307;" (if "if") (parenthesized_expression "(uVar1 != 0x4000)" (( "(") (binary_expression "uVar1 != 0x4000" (identifier "uVar1") (!= "!=") (number_literal "0x4000")) () ")")) (goto_statement "goto LAB_0001f307;" (goto "goto") (statement_identifier "LAB_0001f307") (; ";"))) (expression_statement "printf("AVX512PF");" (call_expression "printf("AVX512PF")" (identifier "printf") (argument_list "("AVX512PF")" (( "(") (string_literal ""AVX512PF"" (" """) (string_content "AVX512PF") (" """)) () ")"))) (; ";")) (} "}")) (else_clause "else if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" (else "else") (if_statement "if (uVar1 == 0x10000) {\n      printf("AVX512DQ");\n    }\n    else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" (if "if") (parenthesized_expression "(uVar1 == 0x10000)" (( "(") (binary_expression "uVar1 == 0x10000" (identifier "uVar1") (== "==") (number_literal "0x10000")) () ")")) (compound_statement "{\n      printf("AVX512DQ");\n    }" ({ "{") (expression_statement "printf("AVX512DQ");" (call_expression "printf("AVX512DQ")" (identifier "printf") (argument_list "("AVX512DQ")" (( "(") (string_literal ""AVX512DQ"" (" """) (string_content "AVX512DQ") (" """)) () ")"))) (; ";")) (} "}")) (else_clause "else {\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" (else "else") (compound_statement "{\n      if (uVar1 != 0x20000) goto LAB_0001f307;\n      printf("AVX512BW");\n    }" ({ "{") (if_statement "if (uVar1 != 0x20000) goto LAB_0001f307;" (if "if") (parenthesized_expression "(uVar1 != 0x20000)" (( "(") (binary_expression "uVar1 != 0x20000" (identifier "uVar1") (!= "!=") (number_literal "0x20000")) () ")")) (goto_statement "goto LAB_0001f307;" (goto "goto") (statement_identifier "LAB_0001f307") (; ";"))) (expression_statement "printf("AVX512BW");" (call_expression "printf("AVX512BW")" (identifier "printf") (argument_list "("AVX512BW")" (( "(") (string_literal ""AVX512BW"" (" """) (string_content "AVX512BW") (" """)) () ")"))) (; ";")) (} "}")))))))))))))))) (if_statement "if (param_1 == 0) {\n      return;\n    }" (if "if") (parenthesized_expression "(param_1 == 0)" (( "(") (binary_expression "param_1 == 0" (identifier "param_1") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n      return;\n    }" ({ "{") (return_statement "return;" (return "return") (; ";")) (} "}"))) (expression_statement "printf(", ");" (call_expression "printf(", ")" (identifier "printf") (argument_list "(", ")" (( "(") (string_literal "", "" (" """) (string_content ", ") (" """)) () ")"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "( true )" (( "(") (true "true") () ")")) (; ";")) (} "}")))

/* WARNING: Function: __x86.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */

void __regparm3 function_1(type_1 var_1)

{
  char *__format;
  type_1 var_2;
  
  if (var_1 == 0) {
    return;
  }
  do {
    var_2 = -var_1 & var_1;
    var_1 = var_1 & ~var_2;
    if (var_2 == 0x100) {
      var_3("SSE4_2");
    }
    else if (var_2 < 0x101) {
      if (var_2 == 8) {
        var_3("SSE");
      }
      else if (var_2 < 9) {
        if (var_2 == 2) {
          var_3("586");
        }
        else if (var_2 == 4) {
          var_3("686");
        }
        else {
          if (var_2 != 1) goto LAB_0001f307;
          var_3("i486");
        }
      }
      else if (var_2 == 0x20) {
        var_3("SSE3");
      }
      else if (var_2 < 0x21) {
        if (var_2 != 0x10) goto LAB_0001f307;
        var_3("SSE2");
      }
      else if (var_2 == 0x40) {
        var_3("SSSE3");
      }
      else {
        if (var_2 != 0x80) goto LAB_0001f307;
        var_3("SSE4_1");
      }
    }
    else if (var_2 == 0x2000) {
      var_3("AVX512ER");
    }
    else if (var_2 < 0x2001) {
      if (var_2 == 0x400) {
        var_3("AVX2");
      }
      else if (var_2 < 0x401) {
        if (var_2 == 0x200) {
          var_3("AVX");
        }
        else {
LAB_0001f307:
          __format = (char *)var_4(0,"<unknown: %x>",5);
          var_3(__format,var_2);
        }
      }
      else if (var_2 == 0x800) {
        var_3("AVX512F");
      }
      else {
        if (var_2 != 0x1000) goto LAB_0001f307;
        var_3("AVX512CD");
      }
    }
    else if (var_2 == 0x8000) {
      var_3("AVX512VL");
    }
    else if (var_2 < 0x8001) {
      if (var_2 != 0x4000) goto LAB_0001f307;
      var_3("AVX512PF");
    }
    else if (var_2 == 0x10000) {
      var_3("AVX512DQ");
    }
    else {
      if (var_2 != 0x20000) goto LAB_0001f307;
      var_3("AVX512BW");
    }
    if (var_1 == 0) {
      return;
    }
    var_3(", ");
  } while( true );
}


(translation_unit (function_definition type: (primitive_type) (ERROR (identifier)) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (type_identifier) declarator: (identifier)))) body: (compound_statement (declaration type: (primitive_type) declarator: (pointer_declarator declarator: (identifier))) (declaration type: (type_identifier) declarator: (identifier)) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (return_statement))) (do_statement body: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (unary_expression argument: (identifier)) right: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (unary_expression argument: (identifier))))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (expression_statement (call_expression function: (identifier) arguments: (argument_list (string_literal (string_content)))))) alternative: (else_clause (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (expression_statement (call_expression function: (identifier) arguments: (argument_list (string_literal (string_content)))))) alternative: (else_clause (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (expression_statement (call_expression function: (identifier) arguments: (argument_list (string_literal (string_content)))))) alternative: (else_clause (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (expression_statement (call_expression function: (identifier) arguments: (argument_list (string_literal (string_content)))))) alternative: (else_clause (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (goto_statement label: (statement_identifier))) (expression_statement (call_expression function: (identifier) arguments: (argument_list (string_literal (string_content))))))))))) alternative: (else_clause (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (expression_statement (call_expression function: (identifier) arguments: (argument_list (string_literal (string_content)))))) alternative: (else_clause (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (goto_statement label: (statement_identifier))) (expression_statement (call_expression function: (identifier) arguments: (argument_list (string_literal (string_content)))))) alternative: (else_clause (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (expression_statement (call_expression function: (identifier) arguments: (argument_list (string_literal (string_content)))))) alternative: (else_clause (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (goto_statement label: (statement_identifier))) (expression_statement (call_expression function: (identifier) arguments: (argument_list (string_literal (string_content))))))))))))))))) alternative: (else_clause (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (expression_statement (call_expression function: (identifier) arguments: (argument_list (string_literal (string_content)))))) alternative: (else_clause (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (expression_statement (call_expression function: (identifier) arguments: (argument_list (string_literal (string_content)))))) alternative: (else_clause (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (expression_statement (call_expression function: (identifier) arguments: (argument_list (string_literal (string_content)))))) alternative: (else_clause (compound_statement (labeled_statement label: (statement_identifier) (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (call_expression function: (identifier) arguments: (argument_list (number_literal) (string_literal (string_content)) (number_literal))))))) (expression_statement (call_expression function: (identifier) arguments: (argument_list (identifier) (identifier)))))))) alternative: (else_clause (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (expression_statement (call_expression function: (identifier) arguments: (argument_list (string_literal (string_content)))))) alternative: (else_clause (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (goto_statement label: (statement_identifier))) (expression_statement (call_expression function: (identifier) arguments: (argument_list (string_literal (string_content))))))))))))) alternative: (else_clause (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (expression_statement (call_expression function: (identifier) arguments: (argument_list (string_literal (string_content)))))) alternative: (else_clause (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (goto_statement label: (statement_identifier))) (expression_statement (call_expression function: (identifier) arguments: (argument_list (string_literal (string_content)))))) alternative: (else_clause (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (expression_statement (call_expression function: (identifier) arguments: (argument_list (string_literal (string_content)))))) alternative: (else_clause (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (goto_statement label: (statement_identifier))) (expression_statement (call_expression function: (identifier) arguments: (argument_list (string_literal (string_content)))))))))))))))))))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (return_statement))) (expression_statement (call_expression function: (identifier) arguments: (argument_list (string_literal (string_content)))))) condition: (parenthesized_expression (true))))))

/* WARNING: Function: __i686.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */

void __regparm3 MASKED(uint param_1)

{
  char *__format;
  uint uVar1;
  
  if (param_1 == 0) {
    return;
  }
  do {
    uVar1 = -param_1 & param_1;
    param_1 = param_1 & ~uVar1;
    if (uVar1 == 0x100) {
      printf("SSE4_2");
    }
    else if (uVar1 < 0x101) {
      if (uVar1 == 8) {
        printf("SSE");
      }
      else if (uVar1 < 9) {
        if (uVar1 == 2) {
          printf("586");
        }
        else if (uVar1 == 4) {
          printf("686");
        }
        else {
          if (uVar1 != 1) goto LAB_0001f307;
          printf("i486");
        }
      }
      else if (uVar1 == 0x20) {
        printf("SSE3");
      }
      else if (uVar1 < 0x21) {
        if (uVar1 != 0x10) goto LAB_0001f307;
        printf("SSE2");
      }
      else if (uVar1 == 0x40) {
        printf("SSSE3");
      }
      else {
        if (uVar1 != 0x80) goto LAB_0001f307;
        printf("SSE4_1");
      }
    }
    else if (uVar1 == 0x2000) {
      printf("AVX512ER");
    }
    else if (uVar1 < 0x2001) {
      if (uVar1 == 0x400) {
        printf("AVX2");
      }
      else if (uVar1 < 0x401) {
        if (uVar1 == 0x200) {
          printf("AVX");
        }
        else {
LAB_0001f307:
          __format = (char *)dcgettext(0,"<unknown: %x>",5);
          printf(__format,uVar1);
        }
      }
      else if (uVar1 == 0x800) {
        printf("AVX512F");
      }
      else {
        if (uVar1 != 0x1000) goto LAB_0001f307;
        printf("AVX512CD");
      }
    }
    else if (uVar1 == 0x8000) {
      printf("AVX512VL");
    }
    else if (uVar1 < 0x8001) {
      if (uVar1 != 0x4000) goto LAB_0001f307;
      printf("AVX512PF");
    }
    else if (uVar1 == 0x10000) {
      printf("AVX512DQ");
    }
    else {
      if (uVar1 != 0x20000) goto LAB_0001f307;
      printf("AVX512BW");
    }
    if (param_1 == 0) {
      return;
    }
    printf(", ");
  } while( true );
}

