#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 */
typedef unsigned int ulong;

/* Variables and functions */
void SetField(unsigned int *A, register unsigned int len,
              register unsigned int index, register unsigned int x) {
  register ulong i = (index / 32) * len + ((index % 32) * len) / 32,
                 j = ((index % 32) * len) % 32;
  unsigned int 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    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %ecx,-0x14(%rbp)
mov    -0x10(%rbp),%eax
shr    $0x5,%eax
imul   -0xc(%rbp),%eax
mov    -0x10(%rbp),%ecx
and    $0x1f,%ecx
imul   -0xc(%rbp),%ecx
shr    $0x5,%ecx
add    %ecx,%eax
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%eax
and    $0x1f,%eax
imul   -0xc(%rbp),%eax
and    $0x1f,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
add    -0xc(%rbp),%eax
cmp    $0x20,%eax
jae    1161 <SetField+0x61>
mov    -0x1c(%rbp),%ecx
add    -0xc(%rbp),%ecx
mov    $0xffffffff,%eax
shl    %cl,%eax
mov    %eax,-0x24(%rbp)
jmp    116b <SetField+0x6b>
xor    %eax,%eax
mov    %eax,-0x24(%rbp)
jmp    116b <SetField+0x6b>
mov    -0x24(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    $0x20,%eax
sub    -0x1c(%rbp),%eax
cmp    $0x20,%eax
jae    1199 <SetField+0x99>
mov    $0x20,%ecx
sub    -0x1c(%rbp),%ecx
mov    $0xffffffff,%eax
shr    %cl,%eax
mov    %eax,-0x2c(%rbp)
jmp    11a3 <SetField+0xa3>
xor    %eax,%eax
mov    %eax,-0x2c(%rbp)
jmp    11a3 <SetField+0xa3>
mov    -0x28(%rbp),%eax
mov    -0x2c(%rbp),%ecx
or     %ecx,%eax
mov    %eax,-0x20(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    (%rax,%rcx,4),%edx
and    -0x20(%rbp),%edx
mov    -0x14(%rbp),%eax
mov    -0x1c(%rbp),%ecx
shl    %cl,%eax
or     %eax,%edx
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    %edx,(%rax,%rcx,4)
mov    -0x1c(%rbp),%eax
add    -0xc(%rbp),%eax
cmp    $0x20,%eax
jbe    1221 <SetField+0x121>
mov    -0xc(%rbp),%ecx
add    -0x1c(%rbp),%ecx
sub    $0x20,%ecx
mov    $0xffffffff,%eax
shl    %cl,%eax
mov    %eax,-0x20(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
add    $0x1,%ecx
mov    %ecx,%ecx
mov    (%rax,%rcx,4),%edx
and    -0x20(%rbp),%edx
mov    -0x14(%rbp),%eax
mov    $0x20,%ecx
sub    -0x1c(%rbp),%ecx
shr    %cl,%eax
or     %eax,%edx
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
add    $0x1,%ecx
mov    %ecx,%ecx
mov    %edx,(%rax,%rcx,4)
pop    %rbp
ret

x86 assembly (clang, -O2):
<SetField>:
mov    %ecx,%r8d
mov    %esi,%r10d
mov    %edx,%ecx
shr    $0x5,%ecx
imul   %esi,%ecx
and    $0x1f,%edx
imul   %esi,%edx
mov    %edx,%r11d
shr    $0x5,%r11d
add    %ecx,%r11d
and    $0x1f,%edx
add    %edx,%r10d
mov    $0xffffffff,%esi
mov    $0xffffffff,%eax
mov    %r10d,%ecx
shl    %cl,%eax
xor    %r9d,%r9d
cmp    $0x20,%r10d
cmovb  %eax,%r9d
mov    %edx,%ecx
neg    %ecx
shr    %cl,%esi
test   %edx,%edx
cmove  %edx,%esi
or     %r9d,%esi
and    (%rdi,%r11,4),%esi
mov    %r8d,%eax
mov    %edx,%ecx
shl    %cl,%eax
or     %esi,%eax
mov    %eax,(%rdi,%r11,4)
cmp    $0x21,%r10d
jb     1188 <SetField+0x88>
add    $0x1,%r11d
mov    (%rdi,%r11,4),%eax
mov    %r10d,%ecx
shr    %cl,%eax
mov    $0x20,%r9d
shl    %cl,%eax
sub    %edx,%r9d
mov    %r9d,%ecx
shr    %cl,%r8d
or     %eax,%r8d
mov    %r8d,(%rdi,%r11,4)
ret

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

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