void SetField(unsigned long *A, register unsigned long len,
              register unsigned long index, register unsigned long x) {
  unsigned long i = index * len / 32, j = index * len - i * 32;
  unsigned long mask = ((j + len) < 32 ? ~0u << (j + len) : 0) |
                       ((32 - j) < 32 ? ~0u >> (32 - j) : 0);
  A[i] = (A[i] & mask) | x << j;
  if (j + len > 32) {
    mask = ((~0u) << (len + j - 32));
    A[i + 1] = (A[i + 1] & mask) | x >> (32 - j);
  }
}


x86 assembly (clang, -O0):
<SetField>:
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
imul   -0x10(%rbp),%rax
shr    $0x5,%rax
mov    %rax,-0x28(%rbp)
mov    -0x18(%rbp),%rax
imul   -0x10(%rbp),%rax
mov    -0x28(%rbp),%rcx
shl    $0x5,%rcx
sub    %rcx,%rax
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rax
add    -0x10(%rbp),%rax
cmp    $0x20,%rax
jae    1168 <SetField+0x68>
mov    -0x30(%rbp),%rax
add    -0x10(%rbp),%rax
mov    %eax,%ecx
mov    $0xffffffff,%eax
shl    %cl,%eax
mov    %eax,-0x3c(%rbp)
jmp    1172 <SetField+0x72>
xor    %eax,%eax
mov    %eax,-0x3c(%rbp)
jmp    1172 <SetField+0x72>
mov    -0x3c(%rbp),%eax
mov    %eax,-0x40(%rbp)
mov    $0x20,%eax
sub    -0x30(%rbp),%rax
cmp    $0x20,%rax
jae    11a5 <SetField+0xa5>
mov    $0x20,%eax
sub    -0x30(%rbp),%rax
mov    %eax,%ecx
mov    $0xffffffff,%eax
shr    %cl,%eax
mov    %eax,-0x44(%rbp)
jmp    11af <SetField+0xaf>
xor    %eax,%eax
mov    %eax,-0x44(%rbp)
jmp    11af <SetField+0xaf>
mov    -0x40(%rbp),%eax
mov    -0x44(%rbp),%ecx
or     %ecx,%eax
mov    %eax,%eax
mov    %rax,-0x38(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%rcx
mov    (%rax,%rcx,8),%rdx
and    -0x38(%rbp),%rdx
mov    -0x20(%rbp),%rax
mov    -0x30(%rbp),%rcx
shl    %cl,%rax
or     %rax,%rdx
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0x30(%rbp),%rax
add    -0x10(%rbp),%rax
cmp    $0x20,%rax
jbe    1245 <SetField+0x145>
mov    -0x10(%rbp),%rax
add    -0x30(%rbp),%rax
sub    $0x20,%rax
mov    %eax,%ecx
mov    $0xffffffff,%eax
shl    %cl,%eax
mov    %eax,%eax
mov    %rax,-0x38(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%rcx
mov    0x8(%rax,%rcx,8),%rdx
and    -0x38(%rbp),%rdx
mov    -0x20(%rbp),%rax
mov    $0x20,%ecx
sub    -0x30(%rbp),%rcx
shr    %cl,%rax
or     %rax,%rdx
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%rcx
mov    %rdx,0x8(%rax,%rcx,8)
pop    %rbp
ret

x86 assembly (clang, -O2):
<SetField>:
mov    %rcx,%r8
mov    %rsi,%r11
imul   %rsi,%rdx
mov    %rdx,%r10
shr    $0x5,%r10
and    $0x1f,%edx
add    %rdx,%r11
mov    $0xffffffff,%eax
mov    $0xffffffff,%esi
mov    %r11d,%ecx
shl    %cl,%esi
xor    %r9d,%r9d
cmp    $0x20,%r11
cmovae %r9d,%esi
mov    %rdx,%rcx
neg    %rcx
shr    %cl,%eax
test   %rdx,%rdx
cmove  %r9d,%eax
or     %esi,%eax
and    (%rdi,%r10,8),%eax
mov    %r8,%rsi
mov    %edx,%ecx
shl    %cl,%rsi
or     %rax,%rsi
mov    %rsi,(%rdi,%r10,8)
cmp    $0x21,%r11
jb     117e <SetField+0x7e>
mov    0x8(%rdi,%r10,8),%eax
mov    %r11d,%ecx
shr    %cl,%eax
mov    $0x20,%r9d
shl    %cl,%eax
sub    %rdx,%r9
mov    %r9d,%ecx
shr    %cl,%r8
or     %rax,%r8
mov    %r8,0x8(%rdi,%r10,8)
ret

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

LLVM IR (-O2):
define void @SetField(i64* nocapture %0, i64 %1, i64 %2, i64 %3) {
%5 = mul i64 %2, %1
%6 = lshr i64 %5, 5
%7 = and i64 %5, 31
%8 = add i64 %7, %1
%9 = icmp ult i64 %8, 32
%10 = trunc i64 %8 to i32
%11 = shl nsw i32 -1, %10
%12 = select i1 %9, i32 %11, i32 0
%13 = sub nuw nsw i64 32, %7
%14 = icmp eq i64 %7, 0
%15 = trunc i64 %13 to i32
%16 = lshr i32 -1, %15
%17 = select i1 %14, i32 0, i32 %16
%18 = or i32 %12, %17
%19 = zext i32 %18 to i64
%20 = getelementptr inbounds i64, i64* %0, i64 %6
%21 = load i64, i64* %20
%22 = and i64 %21, %19
%23 = shl i64 %3, %7
%24 = or i64 %22, %23
store i64 %24, i64* %20
%25 = icmp ugt i64 %8, 32
br i1 %25, label %26, label %36
26: ; preds = %4
%27 = add i32 %10, -32
%28 = shl nsw i32 -1, %27
%29 = zext i32 %28 to i64
%30 = add nuw nsw i64 %6, 1
%31 = getelementptr inbounds i64, i64* %0, i64 %30
%32 = load i64, i64* %31
%33 = and i64 %32, %29
%34 = lshr i64 %3, %13
%35 = or i64 %33, %34
store i64 %35, i64* %31
br label %36
36: ; preds = %26, %4
ret void
}