jackv/have-pond-difficulty

0 lines

56.53 KB

_ABI(raw_x86_64)
artificial_struct_returned_by_rawfunction_541 ac1(generic64_t register_rcx _REG(rcx_x86_64), generic64_t register_rdx _REG(rdx_x86_64), generic64_t register_rsi _REG(rsi_x86_64), struct_768 *register_rdi _REG(rdi_x86_64), generic64_t register_r8 _REG(r8_x86_64)) {
  if (register_rdx > 126) {
    generic64_t _var_0;
    generic64_t _var_1;
    *((generic64_t *) (register_rdx + (pointer_or_number64_t) register_rdi - 8)) = (register_rsi & 0xFF) * 72340172838076673;
    _var_0 = register_rdx;
    _var_1 = register_rdi;
    if (((number64_t) register_rdi & 0xF)) {
      *((generic64_t *) &register_rdi->offset_0.member_0.member_3) = (register_rsi & 0xFF) * 72340172838076673;
      *((generic64_t *) &register_rdi->offset_0.member_0.member_4.offset_8) = (register_rsi & 0xFF) * 72340172838076673;
      _var_0 = register_rdx - ((0 - (number64_t) register_rdi) & 0xF);
      _var_1 = ((0 - (number64_t) register_rdi) & 0xF) + (pointer_or_number64_t) register_rdi;
    }
    if (!(_var_0 < 8)) {
      generic64_t _var_2;
      generic64_t _var_3;
      _var_2 = 0;
      _var_3 = _var_1;
      do {
        _var_2 = _var_2 + 1;
        *((generic64_t *) &((struct_768 *) _var_3)->offset_0.member_0.member_3) = (register_rsi & 0xFF) * 72340172838076673;
        _var_3 = &((struct_768 *) _var_3)->offset_0.member_0.member_4.offset_8;
      } while (_var_0 >> 3 != _var_2);
    }
  } else {
    if ((register_rdx & 0xFFFFFFFF)) {
      register_rdi->offset_0.member_0.member_3.member_1.offset_0.member_0.offset_0.member_0.offset_0.member_0 = (number8_t) register_rsi;
      *((generic8_t *) (register_rdx + (pointer_or_number64_t) register_rdi - 1)) = (number8_t) register_rsi;
      if ((register_rdx & 0xFFFFFFFF) > 2) {
        register_rdi->offset_0.member_0.member_0.offset_1.member_0.member_2.member_1 = (number16_t) ((register_rsi & 0xFF) * 72340172838076673);
        *((generic16_t *) (register_rdx + (pointer_or_number64_t) register_rdi - 3)) = (number16_t) ((register_rsi & 0xFF) * 72340172838076673);
        if ((register_rdx & 0xFFFFFFFF) > 6) {
          register_rdi->offset_0.member_0.member_0.offset_1.member_0.member_0.offset_2 = (number32_t) ((register_rsi & 0xFF) * 72340172838076673);
          *((generic32_t *) (register_rdx + (pointer_or_number64_t) register_rdi - 7)) = (number32_t) ((register_rsi & 0xFF) * 72340172838076673);
          if ((register_rdx & 0xFFFFFFFF) > 14) {
            register_rdi->offset_0.member_0.member_1.offset_7 = (register_rsi & 0xFF) * 72340172838076673;
            *((generic64_t *) (register_rdx + (pointer_or_number64_t) register_rdi - 15)) = (register_rsi & 0xFF) * 72340172838076673;
            if ((register_rdx & 0xFFFFFFFF) > 30) {
              register_rdi->offset_0.member_1.offset_15 = (register_rsi & 0xFF) * 72340172838076673;
              register_rdi->offset_23 = (register_rsi & 0xFF) * 72340172838076673;
              *((generic64_t *) (register_rdx + (pointer_or_number64_t) register_rdi - 31)) = (register_rsi & 0xFF) * 72340172838076673;
              *((generic64_t *) (register_rdx + (pointer_or_number64_t) register_rdi - 23)) = (register_rsi & 0xFF) * 72340172838076673;
              if ((register_rdx & 0xFFFFFFFF) > 62) {
                register_rdi->offset_31 = (register_rsi & 0xFF) * 72340172838076673;
                register_rdi->offset_39 = (register_rsi & 0xFF) * 72340172838076673;
                register_rdi->offset_47 = (register_rsi & 0xFF) * 72340172838076673;
                register_rdi->offset_55 = (register_rsi & 0xFF) * 72340172838076673;
                *((generic64_t *) (register_rdx + (pointer_or_number64_t) register_rdi - 63)) = (register_rsi & 0xFF) * 72340172838076673;
                *((generic64_t *) (register_rdx + (pointer_or_number64_t) register_rdi - 55)) = (register_rsi & 0xFF) * 72340172838076673;
                *((generic64_t *) (register_rdx + (pointer_or_number64_t) register_rdi - 47)) = (register_rsi & 0xFF) * 72340172838076673;
                *((generic64_t *) (register_rdx + (pointer_or_number64_t) register_rdi - 39)) = (register_rsi & 0xFF) * 72340172838076673;
              }
            }
          }
        }
      }
    }
  }
  return (artificial_struct_returned_by_rawfunction_541) { register_rdi, (struct_704 *) _undef_generic64_t() };
}