#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
void setField64Fari(register size_t *e, register size_t len, register size_t p,
                    register size_t s) {
  e += p / 64;
  p %= 64;
  if (len == 64) {
    *e |= (*e & ((((size_t)1) << p) - 1)) | (s << p);
    if (!p)
      return;
    e++;
    *e = (*e & ~((((size_t)1) << p) - 1)) | (s >> (64 - p));
  } else {
    if (p + len <= 64) {
      *e = (*e & ~(((((size_t)1) << len) - 1) << p)) | (s << p);
      return;
    }
    *e = (*e & ((((size_t)1) << p) - 1)) | (s << p);
    e++;
    len -= 64 - p;
    *e = (*e & ~((((size_t)1) << len) - 1)) | (s >> (64 - p));
  }
}


x86 assembly (clang, -O0):
<setField64Fari>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    -0x18(%rbp),%rax
shr    $0x6,%rax
shl    $0x3,%rax
add    -0x8(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x18(%rbp),%rax
and    $0x3f,%rax
mov    %rax,-0x18(%rbp)
cmpq   $0x40,-0x10(%rbp)
jne    11e0 <setField64Fari+0xe0>
mov    -0x8(%rbp),%rax
mov    (%rax),%rax
mov    -0x18(%rbp),%rcx
mov    $0x1,%edx
shl    %cl,%rdx
mov    %rdx,%rcx
sub    $0x1,%rcx
and    %rcx,%rax
mov    %rax,-0x28(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x18(%rbp),%rcx
shl    %cl,%rax
mov    -0x28(%rbp),%rcx
or     %rax,%rcx
mov    -0x8(%rbp),%rax
or     (%rax),%rcx
mov    %rcx,(%rax)
cmpq   $0x0,-0x18(%rbp)
jne    118c <setField64Fari+0x8c>
jmp    12d9 <setField64Fari+0x1d9>
mov    -0x8(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
mov    (%rax),%rax
mov    -0x18(%rbp),%rcx
mov    $0x1,%edx
shl    %cl,%rdx
mov    %rdx,%rcx
sub    $0x1,%rcx
xor    $0xffffffffffffffff,%rcx
and    %rcx,%rax
mov    %rax,-0x30(%rbp)
mov    -0x20(%rbp),%rax
mov    $0x40,%ecx
sub    -0x18(%rbp),%rcx
shr    %cl,%rax
mov    -0x30(%rbp),%rcx
or     %rax,%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,(%rax)
jmp    12d9 <setField64Fari+0x1d9>
mov    -0x18(%rbp),%rax
add    -0x10(%rbp),%rax
cmp    $0x40,%rax
ja     123c <setField64Fari+0x13c>
mov    -0x8(%rbp),%rax
mov    (%rax),%rax
mov    -0x10(%rbp),%rcx
mov    $0x1,%edx
shl    %cl,%rdx
sub    $0x1,%rdx
mov    -0x18(%rbp),%rcx
shl    %cl,%rdx
mov    %rdx,%rcx
xor    $0xffffffffffffffff,%rcx
and    %rcx,%rax
mov    %rax,-0x38(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x18(%rbp),%rcx
shl    %cl,%rax
mov    -0x38(%rbp),%rcx
or     %rax,%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,(%rax)
jmp    12d9 <setField64Fari+0x1d9>
mov    -0x8(%rbp),%rax
mov    (%rax),%rax
mov    -0x18(%rbp),%rcx
mov    $0x1,%edx
shl    %cl,%rdx
mov    %rdx,%rcx
sub    $0x1,%rcx
and    %rcx,%rax
mov    %rax,-0x48(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x18(%rbp),%rcx
shl    %cl,%rax
mov    -0x48(%rbp),%rcx
or     %rax,%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x8(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x8(%rbp)
mov    $0x40,%ecx
sub    -0x18(%rbp),%rcx
mov    -0x10(%rbp),%rax
sub    %rcx,%rax
mov    %rax,-0x10(%rbp)
mov    -0x8(%rbp),%rax
mov    (%rax),%rax
mov    -0x10(%rbp),%rcx
mov    $0x1,%edx
shl    %cl,%rdx
mov    %rdx,%rcx
sub    $0x1,%rcx
xor    $0xffffffffffffffff,%rcx
and    %rcx,%rax
mov    %rax,-0x40(%rbp)
mov    -0x20(%rbp),%rax
mov    $0x40,%ecx
sub    -0x18(%rbp),%rcx
shr    %cl,%rax
mov    -0x40(%rbp),%rcx
or     %rax,%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<setField64Fari>:
mov    %rcx,%r8
mov    %rdx,%r10
shr    $0x6,%r10
and    $0x3f,%edx
cmp    $0x40,%rsi
jne    113c <setField64Fari+0x3c>
mov    %r8,%rsi
mov    %edx,%ecx
shl    %cl,%rsi
or     %rsi,(%rdi,%r10,8)
test   %rdx,%rdx
je     11ae <setField64Fari+0xae>
mov    0x8(%rdi,%r10,8),%rsi
mov    %edx,%ecx
shr    %cl,%rsi
shld   %cl,%r8,%rsi
mov    %rsi,0x8(%rdi,%r10,8)
ret
lea    (%rdx,%rsi,1),%rcx
mov    (%rdi,%r10,8),%r9
mov    $0xffffffffffffffff,%rax
cmp    $0x40,%rcx
ja     116f <setField64Fari+0x6f>
mov    %esi,%ecx
shl    %cl,%rax
not    %rax
mov    %edx,%ecx
shl    %cl,%rax
shl    %cl,%r8
not    %rax
and    %rax,%r9
or     %r9,%r8
mov    %r8,(%rdi,%r10,8)
ret
mov    %edx,%ecx
shl    %cl,%rax
not    %rax
and    %rax,%r9
mov    %r8,%rax
shl    %cl,%rax
or     %r9,%rax
mov    %rax,(%rdi,%r10,8)
mov    $0x40,%eax
sub    %rdx,%rax
sub    %eax,%esi
mov    0x8(%rdi,%r10,8),%rax
mov    %esi,%ecx
shr    %cl,%rax
shl    %cl,%rax
neg    %rdx
mov    %edx,%ecx
shr    %cl,%r8
or     %rax,%r8
mov    %r8,0x8(%rdi,%r10,8)
ret

LLVM IR (-O0):
define void @setField64Fari(i64* %0, i64 %1, i64 %2, i64 %3) {
%5 = alloca i64*
%6 = alloca i64
%7 = alloca i64
%8 = alloca i64
store i64* %0, i64** %5
store i64 %1, i64* %6
store i64 %2, i64* %7
store i64 %3, i64* %8
%9 = load i64, i64* %7
%10 = udiv i64 %9, 64
%11 = load i64*, i64** %5
%12 = getelementptr inbounds i64, i64* %11, i64 %10
store i64* %12, i64** %5
%13 = load i64, i64* %7
%14 = urem i64 %13, 64
store i64 %14, i64* %7
%15 = load i64, i64* %6
%16 = icmp eq i64 %15, 64
br i1 %16, label %17, label %50
17: ; preds = %4
%18 = load i64*, i64** %5
%19 = load i64, i64* %18
%20 = load i64, i64* %7
%21 = shl i64 1, %20
%22 = sub i64 %21, 1
%23 = and i64 %19, %22
%24 = load i64, i64* %8
%25 = load i64, i64* %7
%26 = shl i64 %24, %25
%27 = or i64 %23, %26
%28 = load i64*, i64** %5
%29 = load i64, i64* %28
%30 = or i64 %29, %27
store i64 %30, i64* %28
%31 = load i64, i64* %7
%32 = icmp ne i64 %31, 0
br i1 %32, label %34, label %33
33: ; preds = %17
br label %101
34: ; preds = %17
%35 = load i64*, i64** %5
%36 = getelementptr inbounds i64, i64* %35, i32 1
store i64* %36, i64** %5
%37 = load i64*, i64** %5
%38 = load i64, i64* %37
%39 = load i64, i64* %7
%40 = shl i64 1, %39
%41 = sub i64 %40, 1
%42 = xor i64 %41, -1
%43 = and i64 %38, %42
%44 = load i64, i64* %8
%45 = load i64, i64* %7
%46 = sub i64 64, %45
%47 = lshr i64 %44, %46
%48 = or i64 %43, %47
%49 = load i64*, i64** %5
store i64 %48, i64* %49
br label %101
50: ; preds = %4
%51 = load i64, i64* %7
%52 = load i64, i64* %6
%53 = add i64 %51, %52
%54 = icmp ule i64 %53, 64
br i1 %54, label %55, label %70
55: ; preds = %50
%56 = load i64*, i64** %5
%57 = load i64, i64* %56
%58 = load i64, i64* %6
%59 = shl i64 1, %58
%60 = sub i64 %59, 1
%61 = load i64, i64* %7
%62 = shl i64 %60, %61
%63 = xor i64 %62, -1
%64 = and i64 %57, %63
%65 = load i64, i64* %8
%66 = load i64, i64* %7
%67 = shl i64 %65, %66
%68 = or i64 %64, %67
%69 = load i64*, i64** %5
store i64 %68, i64* %69
br label %101
70: ; preds = %50
%71 = load i64*, i64** %5
%72 = load i64, i64* %71
%73 = load i64, i64* %7
%74 = shl i64 1, %73
%75 = sub i64 %74, 1
%76 = and i64 %72, %75
%77 = load i64, i64* %8
%78 = load i64, i64* %7
%79 = shl i64 %77, %78
%80 = or i64 %76, %79
%81 = load i64*, i64** %5
store i64 %80, i64* %81
%82 = load i64*, i64** %5
%83 = getelementptr inbounds i64, i64* %82, i32 1
store i64* %83, i64** %5
%84 = load i64, i64* %7
%85 = sub i64 64, %84
%86 = load i64, i64* %6
%87 = sub i64 %86, %85
store i64 %87, i64* %6
%88 = load i64*, i64** %5
%89 = load i64, i64* %88
%90 = load i64, i64* %6
%91 = shl i64 1, %90
%92 = sub i64 %91, 1
%93 = xor i64 %92, -1
%94 = and i64 %89, %93
%95 = load i64, i64* %8
%96 = load i64, i64* %7
%97 = sub i64 64, %96
%98 = lshr i64 %95, %97
%99 = or i64 %94, %98
%100 = load i64*, i64** %5
store i64 %99, i64* %100
br label %101
101: ; preds = %33, %55, %70, %34
ret void
}

LLVM IR (-O2):
define void @setField64Fari(i64* nocapture %0, i64 %1, i64 %2, i64 %3) {
%5 = lshr i64 %2, 6
%6 = getelementptr inbounds i64, i64* %0, i64 %5
%7 = and i64 %2, 63
%8 = icmp eq i64 %1, 64
br i1 %8, label %9, label %22
9: ; preds = %4
%10 = load i64, i64* %6
%11 = shl i64 %3, %7
%12 = or i64 %10, %11
store i64 %12, i64* %6
%13 = icmp eq i64 %7, 0
br i1 %13, label %48, label %14
14: ; preds = %9
%15 = shl nsw i64 -1, %7
%16 = getelementptr inbounds i64, i64* %6, i64 1
%17 = load i64, i64* %16
%18 = and i64 %17, %15
%19 = sub nuw nsw i64 64, %7
%20 = lshr i64 %3, %19
%21 = or i64 %18, %20
store i64 %21, i64* %16
br label %48
22: ; preds = %4
%23 = add i64 %7, %1
%24 = icmp ult i64 %23, 65
%25 = load i64, i64* %6
br i1 %24, label %26, label %34
26: ; preds = %22
%27 = shl nsw i64 -1, %1
%28 = xor i64 %27, -1
%29 = shl i64 %28, %7
%30 = xor i64 %29, -1
%31 = and i64 %25, %30
%32 = shl i64 %3, %7
%33 = or i64 %31, %32
store i64 %33, i64* %6
br label %48
34: ; preds = %22
%35 = shl nsw i64 -1, %7
%36 = xor i64 %35, -1
%37 = and i64 %25, %36
%38 = shl i64 %3, %7
%39 = or i64 %37, %38
store i64 %39, i64* %6
%40 = getelementptr inbounds i64, i64* %6, i64 1
%41 = sub nuw nsw i64 64, %7
%42 = sub i64 %1, %41
%43 = load i64, i64* %40
%44 = shl nsw i64 -1, %42
%45 = and i64 %43, %44
%46 = lshr i64 %3, %41
%47 = or i64 %45, %46
store i64 %47, i64* %40
br label %48
48: ; preds = %9, %26, %34, %14
ret void
}