
int chacha_ivctr32(chacha_state *st,uchar *iv,ulong ivlen,ulong32 counter)

{
  ulong32 uVar1;
  
  if (st == (chacha_state *)0x0) {
                    /* WARNING: Subroutine does not return */
    crypt_argchk("st != NULL","src/stream/chacha/chacha_ivctr32.c",0x1d);
  }
  if (iv != (uchar *)0x0) {
    if (ivlen == 0xc) {
      st->input[0xc] = counter;
      st->input[0xd] = *(ulong32 *)iv;
      st->input[0xe] = *(ulong32 *)(iv + 4);
      uVar1 = *(ulong32 *)(iv + 8);
      st->ksleft = 0;
      st->input[0xf] = uVar1;
      st->ivlen = 0xc;
      return 0;
    }
                    /* WARNING: Subroutine does not return */
    crypt_argchk("ivlen == 12","src/stream/chacha/chacha_ivctr32.c",0x20);
  }
                    /* WARNING: Subroutine does not return */
  crypt_argchk("iv != NULL","src/stream/chacha/chacha_ivctr32.c",0x1e);
}



undefined8 chacha_ivctr32(long param_1,undefined4 *param_2,long param_3,undefined4 param_4)

{
  undefined4 uVar1;
  
  if (param_1 == 0) {
                    /* WARNING: Subroutine does not return */
    crypt_argchk("st != NULL","src/stream/chacha/chacha_ivctr32.c",0x1d);
  }
  if (param_2 != (undefined4 *)0x0) {
    if (param_3 == 0xc) {
      *(undefined4 *)(param_1 + 0x30) = param_4;
      *(undefined4 *)(param_1 + 0x34) = *param_2;
      *(undefined4 *)(param_1 + 0x38) = param_2[1];
      uVar1 = param_2[2];
      *(undefined8 *)(param_1 + 0x80) = 0;
      *(undefined4 *)(param_1 + 0x3c) = uVar1;
      *(undefined8 *)(param_1 + 0x88) = 0xc;
      return 0;
    }
                    /* WARNING: Subroutine does not return */
    crypt_argchk("ivlen == 12","src/stream/chacha/chacha_ivctr32.c",0x20);
  }
                    /* WARNING: Subroutine does not return */
  crypt_argchk("iv != NULL","src/stream/chacha/chacha_ivctr32.c",0x1e);
}


SUB RSP,0x8
TEST RDI,RDI
JZ 0x0018a575
TEST RSI,RSI
JZ 0x0018a5a5
CMP RDX,0xc
JNZ 0x0018a58d
MOV dword ptr [RDI + 0x30],ECX
MOV EAX,dword ptr [RSI]
MOV dword ptr [RDI + 0x34],EAX
MOV EDX,dword ptr [RSI + 0x4]
XOR EAX,EAX
MOV dword ptr [RDI + 0x38],EDX
MOV ECX,dword ptr [RSI + 0x8]
MOV qword ptr [RDI + 0x80],0x0
MOV dword ptr [RDI + 0x3c],ECX
MOV qword ptr [RDI + 0x88],0xc
ADD RSP,0x8
RET
MOV EDX,0x1d
LEA RSI,[0x1c71d8]
LEA RDI,[0x1c2da3]
CALL 0x00114270
MOV EDX,0x20
LEA RSI,[0x1c71d8]
LEA RDI,[0x1aae40]
CALL 0x00114270
MOV EDX,0x1e
LEA RSI,[0x1c71d8]
LEA RDI,[0x1aada9]
CALL 0x00114270
(translation_unit "undefined8 chacha_ivctr32(long param_1,undefined4 *param_2,long param_3,undefined4 param_4)\n\n{\n  undefined4 uVar1;\n  \n  if (param_1 == 0) {\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("st != NULL","src/stream/chacha/chacha_ivctr32.c",0x1d);\n  }\n  if (param_2 != (undefined4 *)0x0) {\n    if (param_3 == 0xc) {\n      *(undefined4 *)(param_1 + 0x30) = param_4;\n      *(undefined4 *)(param_1 + 0x34) = *param_2;\n      *(undefined4 *)(param_1 + 0x38) = param_2[1];\n      uVar1 = param_2[2];\n      *(undefined8 *)(param_1 + 0x80) = 0;\n      *(undefined4 *)(param_1 + 0x3c) = uVar1;\n      *(undefined8 *)(param_1 + 0x88) = 0xc;\n      return 0;\n    }\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("ivlen == 12","src/stream/chacha/chacha_ivctr32.c",0x20);\n  }\n                    /* WARNING: Subroutine does not return */\n  crypt_argchk("iv != NULL","src/stream/chacha/chacha_ivctr32.c",0x1e);\n}\n\n" (function_definition "undefined8 chacha_ivctr32(long param_1,undefined4 *param_2,long param_3,undefined4 param_4)\n\n{\n  undefined4 uVar1;\n  \n  if (param_1 == 0) {\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("st != NULL","src/stream/chacha/chacha_ivctr32.c",0x1d);\n  }\n  if (param_2 != (undefined4 *)0x0) {\n    if (param_3 == 0xc) {\n      *(undefined4 *)(param_1 + 0x30) = param_4;\n      *(undefined4 *)(param_1 + 0x34) = *param_2;\n      *(undefined4 *)(param_1 + 0x38) = param_2[1];\n      uVar1 = param_2[2];\n      *(undefined8 *)(param_1 + 0x80) = 0;\n      *(undefined4 *)(param_1 + 0x3c) = uVar1;\n      *(undefined8 *)(param_1 + 0x88) = 0xc;\n      return 0;\n    }\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("ivlen == 12","src/stream/chacha/chacha_ivctr32.c",0x20);\n  }\n                    /* WARNING: Subroutine does not return */\n  crypt_argchk("iv != NULL","src/stream/chacha/chacha_ivctr32.c",0x1e);\n}" type_identifier (function_declarator "chacha_ivctr32(long param_1,undefined4 *param_2,long param_3,undefined4 param_4)" identifier (parameter_list "(long param_1,undefined4 *param_2,long param_3,undefined4 param_4)" ( (parameter_declaration "long param_1" (sized_type_specifier "long" long) identifier) , (parameter_declaration "undefined4 *param_2" type_identifier (pointer_declarator "*param_2" * identifier)) , (parameter_declaration "long param_3" (sized_type_specifier "long" long) identifier) , (parameter_declaration "undefined4 param_4" type_identifier identifier) ))) (compound_statement "{\n  undefined4 uVar1;\n  \n  if (param_1 == 0) {\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("st != NULL","src/stream/chacha/chacha_ivctr32.c",0x1d);\n  }\n  if (param_2 != (undefined4 *)0x0) {\n    if (param_3 == 0xc) {\n      *(undefined4 *)(param_1 + 0x30) = param_4;\n      *(undefined4 *)(param_1 + 0x34) = *param_2;\n      *(undefined4 *)(param_1 + 0x38) = param_2[1];\n      uVar1 = param_2[2];\n      *(undefined8 *)(param_1 + 0x80) = 0;\n      *(undefined4 *)(param_1 + 0x3c) = uVar1;\n      *(undefined8 *)(param_1 + 0x88) = 0xc;\n      return 0;\n    }\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("ivlen == 12","src/stream/chacha/chacha_ivctr32.c",0x20);\n  }\n                    /* WARNING: Subroutine does not return */\n  crypt_argchk("iv != NULL","src/stream/chacha/chacha_ivctr32.c",0x1e);\n}" { (declaration "undefined4 uVar1;" type_identifier identifier ;) (if_statement "if (param_1 == 0) {\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("st != NULL","src/stream/chacha/chacha_ivctr32.c",0x1d);\n  }" if (parenthesized_expression "(param_1 == 0)" ( (binary_expression "param_1 == 0" identifier == number_literal) )) (compound_statement "{\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("st != NULL","src/stream/chacha/chacha_ivctr32.c",0x1d);\n  }" { comment (expression_statement "crypt_argchk("st != NULL","src/stream/chacha/chacha_ivctr32.c",0x1d);" (call_expression "crypt_argchk("st != NULL","src/stream/chacha/chacha_ivctr32.c",0x1d)" identifier (argument_list "("st != NULL","src/stream/chacha/chacha_ivctr32.c",0x1d)" ( (string_literal ""st != NULL"" " string_content ") , (string_literal ""src/stream/chacha/chacha_ivctr32.c"" " string_content ") , number_literal ))) ;) })) (if_statement "if (param_2 != (undefined4 *)0x0) {\n    if (param_3 == 0xc) {\n      *(undefined4 *)(param_1 + 0x30) = param_4;\n      *(undefined4 *)(param_1 + 0x34) = *param_2;\n      *(undefined4 *)(param_1 + 0x38) = param_2[1];\n      uVar1 = param_2[2];\n      *(undefined8 *)(param_1 + 0x80) = 0;\n      *(undefined4 *)(param_1 + 0x3c) = uVar1;\n      *(undefined8 *)(param_1 + 0x88) = 0xc;\n      return 0;\n    }\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("ivlen == 12","src/stream/chacha/chacha_ivctr32.c",0x20);\n  }" if (parenthesized_expression "(param_2 != (undefined4 *)0x0)" ( (binary_expression "param_2 != (undefined4 *)0x0" identifier != (cast_expression "(undefined4 *)0x0" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n    if (param_3 == 0xc) {\n      *(undefined4 *)(param_1 + 0x30) = param_4;\n      *(undefined4 *)(param_1 + 0x34) = *param_2;\n      *(undefined4 *)(param_1 + 0x38) = param_2[1];\n      uVar1 = param_2[2];\n      *(undefined8 *)(param_1 + 0x80) = 0;\n      *(undefined4 *)(param_1 + 0x3c) = uVar1;\n      *(undefined8 *)(param_1 + 0x88) = 0xc;\n      return 0;\n    }\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("ivlen == 12","src/stream/chacha/chacha_ivctr32.c",0x20);\n  }" { (if_statement "if (param_3 == 0xc) {\n      *(undefined4 *)(param_1 + 0x30) = param_4;\n      *(undefined4 *)(param_1 + 0x34) = *param_2;\n      *(undefined4 *)(param_1 + 0x38) = param_2[1];\n      uVar1 = param_2[2];\n      *(undefined8 *)(param_1 + 0x80) = 0;\n      *(undefined4 *)(param_1 + 0x3c) = uVar1;\n      *(undefined8 *)(param_1 + 0x88) = 0xc;\n      return 0;\n    }" if (parenthesized_expression "(param_3 == 0xc)" ( (binary_expression "param_3 == 0xc" identifier == number_literal) )) (compound_statement "{\n      *(undefined4 *)(param_1 + 0x30) = param_4;\n      *(undefined4 *)(param_1 + 0x34) = *param_2;\n      *(undefined4 *)(param_1 + 0x38) = param_2[1];\n      uVar1 = param_2[2];\n      *(undefined8 *)(param_1 + 0x80) = 0;\n      *(undefined4 *)(param_1 + 0x3c) = uVar1;\n      *(undefined8 *)(param_1 + 0x88) = 0xc;\n      return 0;\n    }" { (expression_statement "*(undefined4 *)(param_1 + 0x30) = param_4;" (assignment_expression "*(undefined4 *)(param_1 + 0x30) = param_4" (pointer_expression "*(undefined4 *)(param_1 + 0x30)" * (cast_expression "(undefined4 *)(param_1 + 0x30)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x30)" ( (binary_expression "param_1 + 0x30" identifier + number_literal) )))) = identifier) ;) (expression_statement "*(undefined4 *)(param_1 + 0x34) = *param_2;" (assignment_expression "*(undefined4 *)(param_1 + 0x34) = *param_2" (pointer_expression "*(undefined4 *)(param_1 + 0x34)" * (cast_expression "(undefined4 *)(param_1 + 0x34)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x34)" ( (binary_expression "param_1 + 0x34" identifier + number_literal) )))) = (pointer_expression "*param_2" * identifier)) ;) (expression_statement "*(undefined4 *)(param_1 + 0x38) = param_2[1];" (assignment_expression "*(undefined4 *)(param_1 + 0x38) = param_2[1]" (pointer_expression "*(undefined4 *)(param_1 + 0x38)" * (cast_expression "(undefined4 *)(param_1 + 0x38)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x38)" ( (binary_expression "param_1 + 0x38" identifier + number_literal) )))) = (subscript_expression "param_2[1]" identifier [ number_literal ])) ;) (expression_statement "uVar1 = param_2[2];" (assignment_expression "uVar1 = param_2[2]" identifier = (subscript_expression "param_2[2]" identifier [ number_literal ])) ;) (expression_statement "*(undefined8 *)(param_1 + 0x80) = 0;" (assignment_expression "*(undefined8 *)(param_1 + 0x80) = 0" (pointer_expression "*(undefined8 *)(param_1 + 0x80)" * (cast_expression "(undefined8 *)(param_1 + 0x80)" ( (type_descriptor "undefined8 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x80)" ( (binary_expression "param_1 + 0x80" identifier + number_literal) )))) = number_literal) ;) (expression_statement "*(undefined4 *)(param_1 + 0x3c) = uVar1;" (assignment_expression "*(undefined4 *)(param_1 + 0x3c) = uVar1" (pointer_expression "*(undefined4 *)(param_1 + 0x3c)" * (cast_expression "(undefined4 *)(param_1 + 0x3c)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x3c)" ( (binary_expression "param_1 + 0x3c" identifier + number_literal) )))) = identifier) ;) (expression_statement "*(undefined8 *)(param_1 + 0x88) = 0xc;" (assignment_expression "*(undefined8 *)(param_1 + 0x88) = 0xc" (pointer_expression "*(undefined8 *)(param_1 + 0x88)" * (cast_expression "(undefined8 *)(param_1 + 0x88)" ( (type_descriptor "undefined8 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x88)" ( (binary_expression "param_1 + 0x88" identifier + number_literal) )))) = number_literal) ;) (return_statement "return 0;" return number_literal ;) })) comment (expression_statement "crypt_argchk("ivlen == 12","src/stream/chacha/chacha_ivctr32.c",0x20);" (call_expression "crypt_argchk("ivlen == 12","src/stream/chacha/chacha_ivctr32.c",0x20)" identifier (argument_list "("ivlen == 12","src/stream/chacha/chacha_ivctr32.c",0x20)" ( (string_literal ""ivlen == 12"" " string_content ") , (string_literal ""src/stream/chacha/chacha_ivctr32.c"" " string_content ") , number_literal ))) ;) })) comment (expression_statement "crypt_argchk("iv != NULL","src/stream/chacha/chacha_ivctr32.c",0x1e);" (call_expression "crypt_argchk("iv != NULL","src/stream/chacha/chacha_ivctr32.c",0x1e)" identifier (argument_list "("iv != NULL","src/stream/chacha/chacha_ivctr32.c",0x1e)" ( (string_literal ""iv != NULL"" " string_content ") , (string_literal ""src/stream/chacha/chacha_ivctr32.c"" " string_content ") , number_literal ))) ;) })))
(translation_unit "int chacha_ivctr32(chacha_state *st,uchar *iv,ulong ivlen,ulong32 counter)\n\n{\n  ulong32 uVar1;\n  \n  if (st == (chacha_state *)0x0) {\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("st != NULL","src/stream/chacha/chacha_ivctr32.c",0x1d);\n  }\n  if (iv != (uchar *)0x0) {\n    if (ivlen == 0xc) {\n      st->input[0xc] = counter;\n      st->input[0xd] = *(ulong32 *)iv;\n      st->input[0xe] = *(ulong32 *)(iv + 4);\n      uVar1 = *(ulong32 *)(iv + 8);\n      st->ksleft = 0;\n      st->input[0xf] = uVar1;\n      st->ivlen = 0xc;\n      return 0;\n    }\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("ivlen == 12","src/stream/chacha/chacha_ivctr32.c",0x20);\n  }\n                    /* WARNING: Subroutine does not return */\n  crypt_argchk("iv != NULL","src/stream/chacha/chacha_ivctr32.c",0x1e);\n}\n\n" (function_definition "int chacha_ivctr32(chacha_state *st,uchar *iv,ulong ivlen,ulong32 counter)\n\n{\n  ulong32 uVar1;\n  \n  if (st == (chacha_state *)0x0) {\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("st != NULL","src/stream/chacha/chacha_ivctr32.c",0x1d);\n  }\n  if (iv != (uchar *)0x0) {\n    if (ivlen == 0xc) {\n      st->input[0xc] = counter;\n      st->input[0xd] = *(ulong32 *)iv;\n      st->input[0xe] = *(ulong32 *)(iv + 4);\n      uVar1 = *(ulong32 *)(iv + 8);\n      st->ksleft = 0;\n      st->input[0xf] = uVar1;\n      st->ivlen = 0xc;\n      return 0;\n    }\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("ivlen == 12","src/stream/chacha/chacha_ivctr32.c",0x20);\n  }\n                    /* WARNING: Subroutine does not return */\n  crypt_argchk("iv != NULL","src/stream/chacha/chacha_ivctr32.c",0x1e);\n}" primitive_type (function_declarator "chacha_ivctr32(chacha_state *st,uchar *iv,ulong ivlen,ulong32 counter)" identifier (parameter_list "(chacha_state *st,uchar *iv,ulong ivlen,ulong32 counter)" ( (parameter_declaration "chacha_state *st" type_identifier (pointer_declarator "*st" * identifier)) , (parameter_declaration "uchar *iv" type_identifier (pointer_declarator "*iv" * identifier)) , (parameter_declaration "ulong ivlen" type_identifier identifier) , (parameter_declaration "ulong32 counter" type_identifier identifier) ))) (compound_statement "{\n  ulong32 uVar1;\n  \n  if (st == (chacha_state *)0x0) {\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("st != NULL","src/stream/chacha/chacha_ivctr32.c",0x1d);\n  }\n  if (iv != (uchar *)0x0) {\n    if (ivlen == 0xc) {\n      st->input[0xc] = counter;\n      st->input[0xd] = *(ulong32 *)iv;\n      st->input[0xe] = *(ulong32 *)(iv + 4);\n      uVar1 = *(ulong32 *)(iv + 8);\n      st->ksleft = 0;\n      st->input[0xf] = uVar1;\n      st->ivlen = 0xc;\n      return 0;\n    }\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("ivlen == 12","src/stream/chacha/chacha_ivctr32.c",0x20);\n  }\n                    /* WARNING: Subroutine does not return */\n  crypt_argchk("iv != NULL","src/stream/chacha/chacha_ivctr32.c",0x1e);\n}" { (declaration "ulong32 uVar1;" type_identifier identifier ;) (if_statement "if (st == (chacha_state *)0x0) {\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("st != NULL","src/stream/chacha/chacha_ivctr32.c",0x1d);\n  }" if (parenthesized_expression "(st == (chacha_state *)0x0)" ( (binary_expression "st == (chacha_state *)0x0" identifier == (cast_expression "(chacha_state *)0x0" ( (type_descriptor "chacha_state *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("st != NULL","src/stream/chacha/chacha_ivctr32.c",0x1d);\n  }" { comment (expression_statement "crypt_argchk("st != NULL","src/stream/chacha/chacha_ivctr32.c",0x1d);" (call_expression "crypt_argchk("st != NULL","src/stream/chacha/chacha_ivctr32.c",0x1d)" identifier (argument_list "("st != NULL","src/stream/chacha/chacha_ivctr32.c",0x1d)" ( (string_literal ""st != NULL"" " string_content ") , (string_literal ""src/stream/chacha/chacha_ivctr32.c"" " string_content ") , number_literal ))) ;) })) (if_statement "if (iv != (uchar *)0x0) {\n    if (ivlen == 0xc) {\n      st->input[0xc] = counter;\n      st->input[0xd] = *(ulong32 *)iv;\n      st->input[0xe] = *(ulong32 *)(iv + 4);\n      uVar1 = *(ulong32 *)(iv + 8);\n      st->ksleft = 0;\n      st->input[0xf] = uVar1;\n      st->ivlen = 0xc;\n      return 0;\n    }\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("ivlen == 12","src/stream/chacha/chacha_ivctr32.c",0x20);\n  }" if (parenthesized_expression "(iv != (uchar *)0x0)" ( (binary_expression "iv != (uchar *)0x0" identifier != (cast_expression "(uchar *)0x0" ( (type_descriptor "uchar *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n    if (ivlen == 0xc) {\n      st->input[0xc] = counter;\n      st->input[0xd] = *(ulong32 *)iv;\n      st->input[0xe] = *(ulong32 *)(iv + 4);\n      uVar1 = *(ulong32 *)(iv + 8);\n      st->ksleft = 0;\n      st->input[0xf] = uVar1;\n      st->ivlen = 0xc;\n      return 0;\n    }\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("ivlen == 12","src/stream/chacha/chacha_ivctr32.c",0x20);\n  }" { (if_statement "if (ivlen == 0xc) {\n      st->input[0xc] = counter;\n      st->input[0xd] = *(ulong32 *)iv;\n      st->input[0xe] = *(ulong32 *)(iv + 4);\n      uVar1 = *(ulong32 *)(iv + 8);\n      st->ksleft = 0;\n      st->input[0xf] = uVar1;\n      st->ivlen = 0xc;\n      return 0;\n    }" if (parenthesized_expression "(ivlen == 0xc)" ( (binary_expression "ivlen == 0xc" identifier == number_literal) )) (compound_statement "{\n      st->input[0xc] = counter;\n      st->input[0xd] = *(ulong32 *)iv;\n      st->input[0xe] = *(ulong32 *)(iv + 4);\n      uVar1 = *(ulong32 *)(iv + 8);\n      st->ksleft = 0;\n      st->input[0xf] = uVar1;\n      st->ivlen = 0xc;\n      return 0;\n    }" { (expression_statement "st->input[0xc] = counter;" (assignment_expression "st->input[0xc] = counter" (subscript_expression "st->input[0xc]" (field_expression "st->input" identifier -> field_identifier) [ number_literal ]) = identifier) ;) (expression_statement "st->input[0xd] = *(ulong32 *)iv;" (assignment_expression "st->input[0xd] = *(ulong32 *)iv" (subscript_expression "st->input[0xd]" (field_expression "st->input" identifier -> field_identifier) [ number_literal ]) = (pointer_expression "*(ulong32 *)iv" * (cast_expression "(ulong32 *)iv" ( (type_descriptor "ulong32 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier))) ;) (expression_statement "st->input[0xe] = *(ulong32 *)(iv + 4);" (assignment_expression "st->input[0xe] = *(ulong32 *)(iv + 4)" (subscript_expression "st->input[0xe]" (field_expression "st->input" identifier -> field_identifier) [ number_literal ]) = (pointer_expression "*(ulong32 *)(iv + 4)" * (cast_expression "(ulong32 *)(iv + 4)" ( (type_descriptor "ulong32 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(iv + 4)" ( (binary_expression "iv + 4" identifier + number_literal) ))))) ;) (expression_statement "uVar1 = *(ulong32 *)(iv + 8);" (assignment_expression "uVar1 = *(ulong32 *)(iv + 8)" identifier = (pointer_expression "*(ulong32 *)(iv + 8)" * (cast_expression "(ulong32 *)(iv + 8)" ( (type_descriptor "ulong32 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(iv + 8)" ( (binary_expression "iv + 8" identifier + number_literal) ))))) ;) (expression_statement "st->ksleft = 0;" (assignment_expression "st->ksleft = 0" (field_expression "st->ksleft" identifier -> field_identifier) = number_literal) ;) (expression_statement "st->input[0xf] = uVar1;" (assignment_expression "st->input[0xf] = uVar1" (subscript_expression "st->input[0xf]" (field_expression "st->input" identifier -> field_identifier) [ number_literal ]) = identifier) ;) (expression_statement "st->ivlen = 0xc;" (assignment_expression "st->ivlen = 0xc" (field_expression "st->ivlen" identifier -> field_identifier) = number_literal) ;) (return_statement "return 0;" return number_literal ;) })) comment (expression_statement "crypt_argchk("ivlen == 12","src/stream/chacha/chacha_ivctr32.c",0x20);" (call_expression "crypt_argchk("ivlen == 12","src/stream/chacha/chacha_ivctr32.c",0x20)" identifier (argument_list "("ivlen == 12","src/stream/chacha/chacha_ivctr32.c",0x20)" ( (string_literal ""ivlen == 12"" " string_content ") , (string_literal ""src/stream/chacha/chacha_ivctr32.c"" " string_content ") , number_literal ))) ;) })) comment (expression_statement "crypt_argchk("iv != NULL","src/stream/chacha/chacha_ivctr32.c",0x1e);" (call_expression "crypt_argchk("iv != NULL","src/stream/chacha/chacha_ivctr32.c",0x1e)" identifier (argument_list "("iv != NULL","src/stream/chacha/chacha_ivctr32.c",0x1e)" ( (string_literal ""iv != NULL"" " string_content ") , (string_literal ""src/stream/chacha/chacha_ivctr32.c"" " string_content ") , number_literal ))) ;) })))
(translation_unit "undefined8 chacha_ivctr32(long param_1,undefined4 *param_2,long param_3,undefined4 param_4)\n\n{\n  undefined4 uVar1;\n  \n  if (param_1 == 0) {\n                    \n    crypt_argchk("st != NULL","src/stream/chacha/chacha_ivctr32.c",0x1d);\n  }\n  if (param_2 != (undefined4 *)0x0) {\n    if (param_3 == 0xc) {\n      *(undefined4 *)(param_1 + 0x30) = param_4;\n      *(undefined4 *)(param_1 + 0x34) = *param_2;\n      *(undefined4 *)(param_1 + 0x38) = param_2[1];\n      uVar1 = param_2[2];\n      *(undefined8 *)(param_1 + 0x80) = 0;\n      *(undefined4 *)(param_1 + 0x3c) = uVar1;\n      *(undefined8 *)(param_1 + 0x88) = 0xc;\n      return 0;\n    }\n                    \n    crypt_argchk("ivlen == 12","src/stream/chacha/chacha_ivctr32.c",0x20);\n  }\n                    \n  crypt_argchk("iv != NULL","src/stream/chacha/chacha_ivctr32.c",0x1e);\n}\n\n" (function_definition "undefined8 chacha_ivctr32(long param_1,undefined4 *param_2,long param_3,undefined4 param_4)\n\n{\n  undefined4 uVar1;\n  \n  if (param_1 == 0) {\n                    \n    crypt_argchk("st != NULL","src/stream/chacha/chacha_ivctr32.c",0x1d);\n  }\n  if (param_2 != (undefined4 *)0x0) {\n    if (param_3 == 0xc) {\n      *(undefined4 *)(param_1 + 0x30) = param_4;\n      *(undefined4 *)(param_1 + 0x34) = *param_2;\n      *(undefined4 *)(param_1 + 0x38) = param_2[1];\n      uVar1 = param_2[2];\n      *(undefined8 *)(param_1 + 0x80) = 0;\n      *(undefined4 *)(param_1 + 0x3c) = uVar1;\n      *(undefined8 *)(param_1 + 0x88) = 0xc;\n      return 0;\n    }\n                    \n    crypt_argchk("ivlen == 12","src/stream/chacha/chacha_ivctr32.c",0x20);\n  }\n                    \n  crypt_argchk("iv != NULL","src/stream/chacha/chacha_ivctr32.c",0x1e);\n}" type_identifier (function_declarator "chacha_ivctr32(long param_1,undefined4 *param_2,long param_3,undefined4 param_4)" identifier (parameter_list "(long param_1,undefined4 *param_2,long param_3,undefined4 param_4)" ( (parameter_declaration "long param_1" (sized_type_specifier "long" long) identifier) , (parameter_declaration "undefined4 *param_2" type_identifier (pointer_declarator "*param_2" * identifier)) , (parameter_declaration "long param_3" (sized_type_specifier "long" long) identifier) , (parameter_declaration "undefined4 param_4" type_identifier identifier) ))) (compound_statement "{\n  undefined4 uVar1;\n  \n  if (param_1 == 0) {\n                    \n    crypt_argchk("st != NULL","src/stream/chacha/chacha_ivctr32.c",0x1d);\n  }\n  if (param_2 != (undefined4 *)0x0) {\n    if (param_3 == 0xc) {\n      *(undefined4 *)(param_1 + 0x30) = param_4;\n      *(undefined4 *)(param_1 + 0x34) = *param_2;\n      *(undefined4 *)(param_1 + 0x38) = param_2[1];\n      uVar1 = param_2[2];\n      *(undefined8 *)(param_1 + 0x80) = 0;\n      *(undefined4 *)(param_1 + 0x3c) = uVar1;\n      *(undefined8 *)(param_1 + 0x88) = 0xc;\n      return 0;\n    }\n                    \n    crypt_argchk("ivlen == 12","src/stream/chacha/chacha_ivctr32.c",0x20);\n  }\n                    \n  crypt_argchk("iv != NULL","src/stream/chacha/chacha_ivctr32.c",0x1e);\n}" { (declaration "undefined4 uVar1;" type_identifier identifier ;) (if_statement "if (param_1 == 0) {\n                    \n    crypt_argchk("st != NULL","src/stream/chacha/chacha_ivctr32.c",0x1d);\n  }" if (parenthesized_expression "(param_1 == 0)" ( (binary_expression "param_1 == 0" identifier == number_literal) )) (compound_statement "{\n                    \n    crypt_argchk("st != NULL","src/stream/chacha/chacha_ivctr32.c",0x1d);\n  }" { (expression_statement "crypt_argchk("st != NULL","src/stream/chacha/chacha_ivctr32.c",0x1d);" (call_expression "crypt_argchk("st != NULL","src/stream/chacha/chacha_ivctr32.c",0x1d)" identifier (argument_list "("st != NULL","src/stream/chacha/chacha_ivctr32.c",0x1d)" ( (string_literal ""st != NULL"" " string_content ") , (string_literal ""src/stream/chacha/chacha_ivctr32.c"" " string_content ") , number_literal ))) ;) })) (if_statement "if (param_2 != (undefined4 *)0x0) {\n    if (param_3 == 0xc) {\n      *(undefined4 *)(param_1 + 0x30) = param_4;\n      *(undefined4 *)(param_1 + 0x34) = *param_2;\n      *(undefined4 *)(param_1 + 0x38) = param_2[1];\n      uVar1 = param_2[2];\n      *(undefined8 *)(param_1 + 0x80) = 0;\n      *(undefined4 *)(param_1 + 0x3c) = uVar1;\n      *(undefined8 *)(param_1 + 0x88) = 0xc;\n      return 0;\n    }\n                    \n    crypt_argchk("ivlen == 12","src/stream/chacha/chacha_ivctr32.c",0x20);\n  }" if (parenthesized_expression "(param_2 != (undefined4 *)0x0)" ( (binary_expression "param_2 != (undefined4 *)0x0" identifier != (cast_expression "(undefined4 *)0x0" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n    if (param_3 == 0xc) {\n      *(undefined4 *)(param_1 + 0x30) = param_4;\n      *(undefined4 *)(param_1 + 0x34) = *param_2;\n      *(undefined4 *)(param_1 + 0x38) = param_2[1];\n      uVar1 = param_2[2];\n      *(undefined8 *)(param_1 + 0x80) = 0;\n      *(undefined4 *)(param_1 + 0x3c) = uVar1;\n      *(undefined8 *)(param_1 + 0x88) = 0xc;\n      return 0;\n    }\n                    \n    crypt_argchk("ivlen == 12","src/stream/chacha/chacha_ivctr32.c",0x20);\n  }" { (if_statement "if (param_3 == 0xc) {\n      *(undefined4 *)(param_1 + 0x30) = param_4;\n      *(undefined4 *)(param_1 + 0x34) = *param_2;\n      *(undefined4 *)(param_1 + 0x38) = param_2[1];\n      uVar1 = param_2[2];\n      *(undefined8 *)(param_1 + 0x80) = 0;\n      *(undefined4 *)(param_1 + 0x3c) = uVar1;\n      *(undefined8 *)(param_1 + 0x88) = 0xc;\n      return 0;\n    }" if (parenthesized_expression "(param_3 == 0xc)" ( (binary_expression "param_3 == 0xc" identifier == number_literal) )) (compound_statement "{\n      *(undefined4 *)(param_1 + 0x30) = param_4;\n      *(undefined4 *)(param_1 + 0x34) = *param_2;\n      *(undefined4 *)(param_1 + 0x38) = param_2[1];\n      uVar1 = param_2[2];\n      *(undefined8 *)(param_1 + 0x80) = 0;\n      *(undefined4 *)(param_1 + 0x3c) = uVar1;\n      *(undefined8 *)(param_1 + 0x88) = 0xc;\n      return 0;\n    }" { (expression_statement "*(undefined4 *)(param_1 + 0x30) = param_4;" (assignment_expression "*(undefined4 *)(param_1 + 0x30) = param_4" (pointer_expression "*(undefined4 *)(param_1 + 0x30)" * (cast_expression "(undefined4 *)(param_1 + 0x30)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x30)" ( (binary_expression "param_1 + 0x30" identifier + number_literal) )))) = identifier) ;) (expression_statement "*(undefined4 *)(param_1 + 0x34) = *param_2;" (assignment_expression "*(undefined4 *)(param_1 + 0x34) = *param_2" (pointer_expression "*(undefined4 *)(param_1 + 0x34)" * (cast_expression "(undefined4 *)(param_1 + 0x34)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x34)" ( (binary_expression "param_1 + 0x34" identifier + number_literal) )))) = (pointer_expression "*param_2" * identifier)) ;) (expression_statement "*(undefined4 *)(param_1 + 0x38) = param_2[1];" (assignment_expression "*(undefined4 *)(param_1 + 0x38) = param_2[1]" (pointer_expression "*(undefined4 *)(param_1 + 0x38)" * (cast_expression "(undefined4 *)(param_1 + 0x38)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x38)" ( (binary_expression "param_1 + 0x38" identifier + number_literal) )))) = (subscript_expression "param_2[1]" identifier [ number_literal ])) ;) (expression_statement "uVar1 = param_2[2];" (assignment_expression "uVar1 = param_2[2]" identifier = (subscript_expression "param_2[2]" identifier [ number_literal ])) ;) (expression_statement "*(undefined8 *)(param_1 + 0x80) = 0;" (assignment_expression "*(undefined8 *)(param_1 + 0x80) = 0" (pointer_expression "*(undefined8 *)(param_1 + 0x80)" * (cast_expression "(undefined8 *)(param_1 + 0x80)" ( (type_descriptor "undefined8 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x80)" ( (binary_expression "param_1 + 0x80" identifier + number_literal) )))) = number_literal) ;) (expression_statement "*(undefined4 *)(param_1 + 0x3c) = uVar1;" (assignment_expression "*(undefined4 *)(param_1 + 0x3c) = uVar1" (pointer_expression "*(undefined4 *)(param_1 + 0x3c)" * (cast_expression "(undefined4 *)(param_1 + 0x3c)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x3c)" ( (binary_expression "param_1 + 0x3c" identifier + number_literal) )))) = identifier) ;) (expression_statement "*(undefined8 *)(param_1 + 0x88) = 0xc;" (assignment_expression "*(undefined8 *)(param_1 + 0x88) = 0xc" (pointer_expression "*(undefined8 *)(param_1 + 0x88)" * (cast_expression "(undefined8 *)(param_1 + 0x88)" ( (type_descriptor "undefined8 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x88)" ( (binary_expression "param_1 + 0x88" identifier + number_literal) )))) = number_literal) ;) (return_statement "return 0;" return number_literal ;) })) (expression_statement "crypt_argchk("ivlen == 12","src/stream/chacha/chacha_ivctr32.c",0x20);" (call_expression "crypt_argchk("ivlen == 12","src/stream/chacha/chacha_ivctr32.c",0x20)" identifier (argument_list "("ivlen == 12","src/stream/chacha/chacha_ivctr32.c",0x20)" ( (string_literal ""ivlen == 12"" " string_content ") , (string_literal ""src/stream/chacha/chacha_ivctr32.c"" " string_content ") , number_literal ))) ;) })) (expression_statement "crypt_argchk("iv != NULL","src/stream/chacha/chacha_ivctr32.c",0x1e);" (call_expression "crypt_argchk("iv != NULL","src/stream/chacha/chacha_ivctr32.c",0x1e)" identifier (argument_list "("iv != NULL","src/stream/chacha/chacha_ivctr32.c",0x1e)" ( (string_literal ""iv != NULL"" " string_content ") , (string_literal ""src/stream/chacha/chacha_ivctr32.c"" " string_content ") , number_literal ))) ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration (sized_type_specifier long) IDENT) , (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration (sized_type_specifier long) IDENT) , (parameter_declaration TYPE IDENT) ))) (compound_statement { (declaration TYPE IDENT ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (expression_statement (call_expression IDENT (argument_list ( (string_literal " string_content ") , (string_literal " string_content ") , LIT ))) ;) })) (if_statement if (parenthesized_expression ( (binary_expression IDENT != (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) LIT)) )) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) = IDENT) ;) (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) = (subscript_expression IDENT [ LIT ])) ;) (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ LIT ])) ;) (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) = LIT) ;) (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) = IDENT) ;) (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) = LIT) ;) (return_statement return LIT ;) })) (expression_statement (call_expression IDENT (argument_list ( (string_literal " string_content ") , (string_literal " string_content ") , LIT ))) ;) })) (expression_statement (call_expression IDENT (argument_list ( (string_literal " string_content ") , (string_literal " string_content ") , LIT ))) ;) })))
(function_definition "undefined8 chacha_ivctr32(long param_1,undefined4 *param_2,long param_3,undefined4 param_4)\n\n{\n  undefined4 uVar1;\n  \n  if (param_1 == 0) {\n                    \n    crypt_argchk("st != NULL","src/stream/chacha/chacha_ivctr32.c",0x1d);\n  }\n  if (param_2 != (undefined4 *)0x0) {\n    if (param_3 == 0xc) {\n      *(undefined4 *)(param_1 + 0x30) = param_4;\n      *(undefined4 *)(param_1 + 0x34) = *param_2;\n      *(undefined4 *)(param_1 + 0x38) = param_2[1];\n      uVar1 = param_2[2];\n      *(undefined8 *)(param_1 + 0x80) = 0;\n      *(undefined4 *)(param_1 + 0x3c) = uVar1;\n      *(undefined8 *)(param_1 + 0x88) = 0xc;\n      return 0;\n    }\n                    \n    crypt_argchk("ivlen == 12","src/stream/chacha/chacha_ivctr32.c",0x20);\n  }\n                    \n  crypt_argchk("iv != NULL","src/stream/chacha/chacha_ivctr32.c",0x1e);\n}" (type_identifier "undefined8") (function_declarator "chacha_ivctr32(long param_1,undefined4 *param_2,long param_3,undefined4 param_4)" (identifier "chacha_ivctr32") (parameter_list "(long param_1,undefined4 *param_2,long param_3,undefined4 param_4)" (( "(") (parameter_declaration "long param_1" (sized_type_specifier "long" (long "long")) (identifier "param_1")) (, ",") (parameter_declaration "undefined4 *param_2" (type_identifier "undefined4") (pointer_declarator "*param_2" (* "*") (identifier "param_2"))) (, ",") (parameter_declaration "long param_3" (sized_type_specifier "long" (long "long")) (identifier "param_3")) (, ",") (parameter_declaration "undefined4 param_4" (type_identifier "undefined4") (identifier "param_4")) () ")"))) (compound_statement "{\n  undefined4 uVar1;\n  \n  if (param_1 == 0) {\n                    \n    crypt_argchk("st != NULL","src/stream/chacha/chacha_ivctr32.c",0x1d);\n  }\n  if (param_2 != (undefined4 *)0x0) {\n    if (param_3 == 0xc) {\n      *(undefined4 *)(param_1 + 0x30) = param_4;\n      *(undefined4 *)(param_1 + 0x34) = *param_2;\n      *(undefined4 *)(param_1 + 0x38) = param_2[1];\n      uVar1 = param_2[2];\n      *(undefined8 *)(param_1 + 0x80) = 0;\n      *(undefined4 *)(param_1 + 0x3c) = uVar1;\n      *(undefined8 *)(param_1 + 0x88) = 0xc;\n      return 0;\n    }\n                    \n    crypt_argchk("ivlen == 12","src/stream/chacha/chacha_ivctr32.c",0x20);\n  }\n                    \n  crypt_argchk("iv != NULL","src/stream/chacha/chacha_ivctr32.c",0x1e);\n}" ({ "{") (declaration "undefined4 uVar1;" (type_identifier "undefined4") (identifier "uVar1") (; ";")) (if_statement "if (param_1 == 0) {\n                    \n    crypt_argchk("st != NULL","src/stream/chacha/chacha_ivctr32.c",0x1d);\n  }" (if "if") (parenthesized_expression "(param_1 == 0)" (( "(") (binary_expression "param_1 == 0" (identifier "param_1") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n                    \n    crypt_argchk("st != NULL","src/stream/chacha/chacha_ivctr32.c",0x1d);\n  }" ({ "{") (expression_statement "crypt_argchk("st != NULL","src/stream/chacha/chacha_ivctr32.c",0x1d);" (call_expression "crypt_argchk("st != NULL","src/stream/chacha/chacha_ivctr32.c",0x1d)" (identifier "crypt_argchk") (argument_list "("st != NULL","src/stream/chacha/chacha_ivctr32.c",0x1d)" (( "(") (string_literal ""st != NULL"" (" """) (string_content "st != NULL") (" """)) (, ",") (string_literal ""src/stream/chacha/chacha_ivctr32.c"" (" """) (string_content "src/stream/chacha/chacha_ivctr32.c") (" """)) (, ",") (number_literal "0x1d") () ")"))) (; ";")) (} "}"))) (if_statement "if (param_2 != (undefined4 *)0x0) {\n    if (param_3 == 0xc) {\n      *(undefined4 *)(param_1 + 0x30) = param_4;\n      *(undefined4 *)(param_1 + 0x34) = *param_2;\n      *(undefined4 *)(param_1 + 0x38) = param_2[1];\n      uVar1 = param_2[2];\n      *(undefined8 *)(param_1 + 0x80) = 0;\n      *(undefined4 *)(param_1 + 0x3c) = uVar1;\n      *(undefined8 *)(param_1 + 0x88) = 0xc;\n      return 0;\n    }\n                    \n    crypt_argchk("ivlen == 12","src/stream/chacha/chacha_ivctr32.c",0x20);\n  }" (if "if") (parenthesized_expression "(param_2 != (undefined4 *)0x0)" (( "(") (binary_expression "param_2 != (undefined4 *)0x0" (identifier "param_2") (!= "!=") (cast_expression "(undefined4 *)0x0" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (number_literal "0x0"))) () ")")) (compound_statement "{\n    if (param_3 == 0xc) {\n      *(undefined4 *)(param_1 + 0x30) = param_4;\n      *(undefined4 *)(param_1 + 0x34) = *param_2;\n      *(undefined4 *)(param_1 + 0x38) = param_2[1];\n      uVar1 = param_2[2];\n      *(undefined8 *)(param_1 + 0x80) = 0;\n      *(undefined4 *)(param_1 + 0x3c) = uVar1;\n      *(undefined8 *)(param_1 + 0x88) = 0xc;\n      return 0;\n    }\n                    \n    crypt_argchk("ivlen == 12","src/stream/chacha/chacha_ivctr32.c",0x20);\n  }" ({ "{") (if_statement "if (param_3 == 0xc) {\n      *(undefined4 *)(param_1 + 0x30) = param_4;\n      *(undefined4 *)(param_1 + 0x34) = *param_2;\n      *(undefined4 *)(param_1 + 0x38) = param_2[1];\n      uVar1 = param_2[2];\n      *(undefined8 *)(param_1 + 0x80) = 0;\n      *(undefined4 *)(param_1 + 0x3c) = uVar1;\n      *(undefined8 *)(param_1 + 0x88) = 0xc;\n      return 0;\n    }" (if "if") (parenthesized_expression "(param_3 == 0xc)" (( "(") (binary_expression "param_3 == 0xc" (identifier "param_3") (== "==") (number_literal "0xc")) () ")")) (compound_statement "{\n      *(undefined4 *)(param_1 + 0x30) = param_4;\n      *(undefined4 *)(param_1 + 0x34) = *param_2;\n      *(undefined4 *)(param_1 + 0x38) = param_2[1];\n      uVar1 = param_2[2];\n      *(undefined8 *)(param_1 + 0x80) = 0;\n      *(undefined4 *)(param_1 + 0x3c) = uVar1;\n      *(undefined8 *)(param_1 + 0x88) = 0xc;\n      return 0;\n    }" ({ "{") (expression_statement "*(undefined4 *)(param_1 + 0x30) = param_4;" (assignment_expression "*(undefined4 *)(param_1 + 0x30) = param_4" (pointer_expression "*(undefined4 *)(param_1 + 0x30)" (* "*") (cast_expression "(undefined4 *)(param_1 + 0x30)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0x30)" (( "(") (binary_expression "param_1 + 0x30" (identifier "param_1") (+ "+") (number_literal "0x30")) () ")")))) (= "=") (identifier "param_4")) (; ";")) (expression_statement "*(undefined4 *)(param_1 + 0x34) = *param_2;" (assignment_expression "*(undefined4 *)(param_1 + 0x34) = *param_2" (pointer_expression "*(undefined4 *)(param_1 + 0x34)" (* "*") (cast_expression "(undefined4 *)(param_1 + 0x34)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0x34)" (( "(") (binary_expression "param_1 + 0x34" (identifier "param_1") (+ "+") (number_literal "0x34")) () ")")))) (= "=") (pointer_expression "*param_2" (* "*") (identifier "param_2"))) (; ";")) (expression_statement "*(undefined4 *)(param_1 + 0x38) = param_2[1];" (assignment_expression "*(undefined4 *)(param_1 + 0x38) = param_2[1]" (pointer_expression "*(undefined4 *)(param_1 + 0x38)" (* "*") (cast_expression "(undefined4 *)(param_1 + 0x38)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0x38)" (( "(") (binary_expression "param_1 + 0x38" (identifier "param_1") (+ "+") (number_literal "0x38")) () ")")))) (= "=") (subscript_expression "param_2[1]" (identifier "param_2") ([ "[") (number_literal "1") (] "]"))) (; ";")) (expression_statement "uVar1 = param_2[2];" (assignment_expression "uVar1 = param_2[2]" (identifier "uVar1") (= "=") (subscript_expression "param_2[2]" (identifier "param_2") ([ "[") (number_literal "2") (] "]"))) (; ";")) (expression_statement "*(undefined8 *)(param_1 + 0x80) = 0;" (assignment_expression "*(undefined8 *)(param_1 + 0x80) = 0" (pointer_expression "*(undefined8 *)(param_1 + 0x80)" (* "*") (cast_expression "(undefined8 *)(param_1 + 0x80)" (( "(") (type_descriptor "undefined8 *" (type_identifier "undefined8") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0x80)" (( "(") (binary_expression "param_1 + 0x80" (identifier "param_1") (+ "+") (number_literal "0x80")) () ")")))) (= "=") (number_literal "0")) (; ";")) (expression_statement "*(undefined4 *)(param_1 + 0x3c) = uVar1;" (assignment_expression "*(undefined4 *)(param_1 + 0x3c) = uVar1" (pointer_expression "*(undefined4 *)(param_1 + 0x3c)" (* "*") (cast_expression "(undefined4 *)(param_1 + 0x3c)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0x3c)" (( "(") (binary_expression "param_1 + 0x3c" (identifier "param_1") (+ "+") (number_literal "0x3c")) () ")")))) (= "=") (identifier "uVar1")) (; ";")) (expression_statement "*(undefined8 *)(param_1 + 0x88) = 0xc;" (assignment_expression "*(undefined8 *)(param_1 + 0x88) = 0xc" (pointer_expression "*(undefined8 *)(param_1 + 0x88)" (* "*") (cast_expression "(undefined8 *)(param_1 + 0x88)" (( "(") (type_descriptor "undefined8 *" (type_identifier "undefined8") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0x88)" (( "(") (binary_expression "param_1 + 0x88" (identifier "param_1") (+ "+") (number_literal "0x88")) () ")")))) (= "=") (number_literal "0xc")) (; ";")) (return_statement "return 0;" (return "return") (number_literal "0") (; ";")) (} "}"))) (expression_statement "crypt_argchk("ivlen == 12","src/stream/chacha/chacha_ivctr32.c",0x20);" (call_expression "crypt_argchk("ivlen == 12","src/stream/chacha/chacha_ivctr32.c",0x20)" (identifier "crypt_argchk") (argument_list "("ivlen == 12","src/stream/chacha/chacha_ivctr32.c",0x20)" (( "(") (string_literal ""ivlen == 12"" (" """) (string_content "ivlen == 12") (" """)) (, ",") (string_literal ""src/stream/chacha/chacha_ivctr32.c"" (" """) (string_content "src/stream/chacha/chacha_ivctr32.c") (" """)) (, ",") (number_literal "0x20") () ")"))) (; ";")) (} "}"))) (expression_statement "crypt_argchk("iv != NULL","src/stream/chacha/chacha_ivctr32.c",0x1e);" (call_expression "crypt_argchk("iv != NULL","src/stream/chacha/chacha_ivctr32.c",0x1e)" (identifier "crypt_argchk") (argument_list "("iv != NULL","src/stream/chacha/chacha_ivctr32.c",0x1e)" (( "(") (string_literal ""iv != NULL"" (" """) (string_content "iv != NULL") (" """)) (, ",") (string_literal ""src/stream/chacha/chacha_ivctr32.c"" (" """) (string_content "src/stream/chacha/chacha_ivctr32.c") (" """)) (, ",") (number_literal "0x1e") () ")"))) (; ";")) (} "}")))

int function_1(type_1 *var_1,type_2 *var_3,type_3 var_4,type_4 counter)

{
  type_4 uVar1;
  
  if (var_1 == (type_1 *)0x0) {
                    /* WARNING: Subroutine does not return */
    var_2("st != NULL","src/stream/chacha/chacha_ivctr32.c",0x1d);
  }
  if (var_3 != (type_2 *)0x0) {
    if (var_4 == 0xc) {
      var_1->input[0xc] = counter;
      var_1->input[0xd] = *(type_4 *)var_3;
      var_1->input[0xe] = *(type_4 *)(var_3 + 4);
      uVar1 = *(type_4 *)(var_3 + 8);
      var_1->ksleft = 0;
      var_1->input[0xf] = uVar1;
      var_1->var_4 = 0xc;
      return 0;
    }
                    /* WARNING: Subroutine does not return */
    var_2("ivlen == 12","src/stream/chacha/chacha_ivctr32.c",0x20);
  }
                    /* WARNING: Subroutine does not return */
  var_2("iv != NULL","src/stream/chacha/chacha_ivctr32.c",0x1e);
}


(translation_unit (function_definition type: (type_identifier) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (sized_type_specifier) declarator: (identifier)) (parameter_declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (parameter_declaration type: (sized_type_specifier) declarator: (identifier)) (parameter_declaration type: (type_identifier) declarator: (identifier)))) body: (compound_statement (declaration type: (type_identifier) declarator: (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)) (string_literal (string_content)) (number_literal)))))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (number_literal)))) consequence: (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (expression_statement (assignment_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) right: (identifier))) (expression_statement (assignment_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) right: (pointer_expression argument: (identifier)))) (expression_statement (assignment_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) right: (subscript_expression argument: (identifier) index: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (subscript_expression argument: (identifier) index: (number_literal)))) (expression_statement (assignment_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) right: (number_literal))) (expression_statement (assignment_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) right: (identifier))) (expression_statement (assignment_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) right: (number_literal))) (return_statement (number_literal)))) (expression_statement (call_expression function: (identifier) arguments: (argument_list (string_literal (string_content)) (string_literal (string_content)) (number_literal)))))) (expression_statement (call_expression function: (identifier) arguments: (argument_list (string_literal (string_content)) (string_literal (string_content)) (number_literal)))))))

undefined8 MASKED(long param_1,undefined4 *param_2,long param_3,undefined4 param_4)

{
  undefined4 uVar1;
  
  if (param_1 == 0) {
                    /* WARNING: Subroutine does not return */
    crypt_argchk("st != NULL","src/stream/chacha/MASKED.c",0x1d);
  }
  if (param_2 != (undefined4 *)0x0) {
    if (param_3 == 0xc) {
      *(undefined4 *)(param_1 + 0x30) = param_4;
      *(undefined4 *)(param_1 + 0x34) = *param_2;
      *(undefined4 *)(param_1 + 0x38) = param_2[1];
      uVar1 = param_2[2];
      *(undefined8 *)(param_1 + 0x80) = 0;
      *(undefined4 *)(param_1 + 0x3c) = uVar1;
      *(undefined8 *)(param_1 + 0x88) = 0xc;
      return 0;
    }
                    /* WARNING: Subroutine does not return */
    crypt_argchk("ivlen == 12","src/stream/chacha/MASKED.c",0x20);
  }
                    /* WARNING: Subroutine does not return */
  crypt_argchk("iv != NULL","src/stream/chacha/MASKED.c",0x1e);
}

