int func4(int arg0, int arg1, int arg2) {
    rdx = arg2;
    rsi = arg1;
    rdi = arg0;
    rsp = rsp - 0x8;
    rcx = (SAR((rdx - rsi) + (rdx - rsi >> 0x1f), 0x1)) + rsi;
    if (rcx > rdi) {
            rax = func4(rdi, rsi, rcx + 0xffffffffffffffff);
            rax = rax + rax;
    }
    else {
            rax = 0x0;
            if (rcx < rdi) {
                    rax = func4(rdi, rcx + 0x1, rdx);
                    rax = rax + rax + 0x1;
            }
    }
    rsp = rsp + 0x8;
    return rax;
}