#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 int /*<<< orphan*/ uint64_t;
typedef size_t uint32_t;

/* Variables and functions */
void wt_setsym(uint64_t *B, register size_t bits, register size_t pos,
               register uint32_t sym) {
  uint32_t *A = (uint32_t *)B;
  size_t i = pos * bits / 32, j = pos * bits - i * 32;
  uint32_t mask = ((j + bits) < 32 ? ~0u << (j + bits) : 0) |
                  ((32 - j) < 32 ? ~0u >> (32 - j) : 0);
  A[i] = (A[i] & mask) | sym << j;
  if (j + bits > 32) {
    mask = ((~0u) << (bits + j - 32));
    A[i + 1] = (A[i + 1] & mask) | sym >> (32 - j);
  }
}


x86 assembly (clang, -O0):
<wt_setsym>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x18(%rbp),%rax
imul   -0x10(%rbp),%rax
shr    $0x5,%rax
mov    %rax,-0x30(%rbp)
mov    -0x18(%rbp),%rax
imul   -0x10(%rbp),%rax
mov    -0x30(%rbp),%rcx
shl    $0x5,%rcx
sub    %rcx,%rax
mov    %rax,-0x38(%rbp)
mov    -0x38(%rbp),%rax
add    -0x10(%rbp),%rax
cmp    $0x20,%rax
jae    1170 <wt_setsym+0x70>
mov    -0x38(%rbp),%rax
add    -0x10(%rbp),%rax
mov    %eax,%ecx
mov    $0xffffffff,%eax
shl    %cl,%eax
mov    %eax,-0x44(%rbp)
jmp    117a <wt_setsym+0x7a>
xor    %eax,%eax
mov    %eax,-0x44(%rbp)
jmp    117a <wt_setsym+0x7a>
mov    -0x44(%rbp),%eax
mov    %eax,-0x48(%rbp)
mov    $0x20,%eax
sub    -0x38(%rbp),%rax
cmp    $0x20,%rax
jae    11ad <wt_setsym+0xad>
mov    $0x20,%eax
sub    -0x38(%rbp),%rax
mov    %eax,%ecx
mov    $0xffffffff,%eax
shr    %cl,%eax
mov    %eax,-0x4c(%rbp)
jmp    11b7 <wt_setsym+0xb7>
xor    %eax,%eax
mov    %eax,-0x4c(%rbp)
jmp    11b7 <wt_setsym+0xb7>
mov    -0x48(%rbp),%eax
mov    -0x4c(%rbp),%ecx
or     %ecx,%eax
mov    %eax,%eax
mov    %rax,-0x40(%rbp)
mov    -0x28(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    (%rax,%rcx,8),%rdx
and    -0x40(%rbp),%rdx
mov    -0x20(%rbp),%rax
mov    -0x38(%rbp),%rcx
shl    %cl,%rax
or     %rax,%rdx
mov    -0x28(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0x38(%rbp),%rax
add    -0x10(%rbp),%rax
cmp    $0x20,%rax
jbe    124d <wt_setsym+0x14d>
mov    -0x10(%rbp),%rax
add    -0x38(%rbp),%rax
sub    $0x20,%rax
mov    %eax,%ecx
mov    $0xffffffff,%eax
shl    %cl,%eax
mov    %eax,%eax
mov    %rax,-0x40(%rbp)
mov    -0x28(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    0x8(%rax,%rcx,8),%rdx
and    -0x40(%rbp),%rdx
mov    -0x20(%rbp),%rax
mov    $0x20,%ecx
sub    -0x38(%rbp),%rcx
shr    %cl,%rax
or     %rax,%rdx
mov    -0x28(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    %rdx,0x8(%rax,%rcx,8)
pop    %rbp
ret

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

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