void _orsubstr(unsigned *uarray, int bitofs, unsigned value) {
  int idx;
  int ofs;
  idx = bitofs / (sizeof(unsigned) * 8);
  ofs = bitofs - idx * (sizeof(unsigned) * 8);
  if (ofs == 0)
    *(uarray + idx) |= value;
  else {
    *(uarray + idx) |= value << ofs;
    *(uarray + idx + 1) |= value >> ((sizeof(unsigned) * 8) - ofs);
  }
}


x86 assembly (clang, -O0):
<_orsubstr>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
movslq -0xc(%rbp),%rax
shr    $0x5,%rax
mov    %eax,-0x14(%rbp)
movslq -0xc(%rbp),%rax
movslq -0x14(%rbp),%rcx
shl    $0x5,%rcx
sub    %rcx,%rax
mov    %eax,-0x18(%rbp)
cmpl   $0x0,-0x18(%rbp)
jne    114b <_orsubstr+0x4b>
mov    -0x10(%rbp),%edx
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
or     (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
jmp    1184 <_orsubstr+0x84>
mov    -0x10(%rbp),%edx
mov    -0x18(%rbp),%ecx
shl    %cl,%edx
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
or     (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x10(%rbp),%edx
movslq -0x18(%rbp),%rcx
mov    $0x20,%eax
sub    %rcx,%rax
mov    %eax,%ecx
shr    %cl,%edx
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
or     0x4(%rax,%rcx,4),%edx
mov    %edx,0x4(%rax,%rcx,4)
pop    %rbp
ret

x86 assembly (clang, -O2):
<_orsubstr>:
mov    %esi,%ecx
mov    %esi,%eax
sar    $0x5,%eax
cltq
and    $0xffffffe0,%esi
sub    %esi,%ecx
je     1126 <_orsubstr+0x26>
mov    %edx,%esi
shl    %cl,%esi
or     %esi,(%rdi,%rax,4)
neg    %cl
shr    %cl,%edx
lea    (%rdi,%rax,4),%rax
add    $0x4,%rax
or     %edx,(%rax)
ret
lea    (%rdi,%rax,4),%rax
or     %edx,(%rax)
ret

LLVM IR (-O0):
define void @_orsubstr(i32* %0, i32 %1, i32 %2) {
%4 = alloca i32*
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
store i32* %0, i32** %4
store i32 %1, i32* %5
store i32 %2, i32* %6
%9 = load i32, i32* %5
%10 = sext i32 %9 to i64
%11 = udiv i64 %10, 32
%12 = trunc i64 %11 to i32
store i32 %12, i32* %7
%13 = load i32, i32* %5
%14 = sext i32 %13 to i64
%15 = load i32, i32* %7
%16 = sext i32 %15 to i64
%17 = mul i64 %16, 32
%18 = sub i64 %14, %17
%19 = trunc i64 %18 to i32
store i32 %19, i32* %8
%20 = load i32, i32* %8
%21 = icmp eq i32 %20, 0
br i1 %21, label %22, label %30
22: ; preds = %3
%23 = load i32, i32* %6
%24 = load i32*, i32** %4
%25 = load i32, i32* %7
%26 = sext i32 %25 to i64
%27 = getelementptr inbounds i32, i32* %24, i64 %26
%28 = load i32, i32* %27
%29 = or i32 %28, %23
store i32 %29, i32* %27
br label %53
30: ; preds = %3
%31 = load i32, i32* %6
%32 = load i32, i32* %8
%33 = shl i32 %31, %32
%34 = load i32*, i32** %4
%35 = load i32, i32* %7
%36 = sext i32 %35 to i64
%37 = getelementptr inbounds i32, i32* %34, i64 %36
%38 = load i32, i32* %37
%39 = or i32 %38, %33
store i32 %39, i32* %37
%40 = load i32, i32* %6
%41 = load i32, i32* %8
%42 = sext i32 %41 to i64
%43 = sub i64 32, %42
%44 = trunc i64 %43 to i32
%45 = lshr i32 %40, %44
%46 = load i32*, i32** %4
%47 = load i32, i32* %7
%48 = sext i32 %47 to i64
%49 = getelementptr inbounds i32, i32* %46, i64 %48
%50 = getelementptr inbounds i32, i32* %49, i64 1
%51 = load i32, i32* %50
%52 = or i32 %51, %45
store i32 %52, i32* %50
br label %53
53: ; preds = %30, %22
ret void
}

LLVM IR (-O2):
define void @_orsubstr(i32* nocapture %0, i32 %1, i32 %2) {
%4 = ashr i32 %1, 5
%5 = sext i32 %4 to i64
%6 = mul i32 %4, -32
%7 = add i32 %6, %1
%8 = icmp eq i32 %7, 0
br i1 %8, label %9, label %11
9: ; preds = %3
%10 = getelementptr inbounds i32, i32* %0, i64 %5
br label %19
11: ; preds = %3
%12 = shl i32 %2, %7
%13 = getelementptr inbounds i32, i32* %0, i64 %5
%14 = load i32, i32* %13
%15 = or i32 %14, %12
store i32 %15, i32* %13
%16 = sub i32 32, %7
%17 = lshr i32 %2, %16
%18 = getelementptr inbounds i32, i32* %13, i64 1
br label %19
19: ; preds = %11, %9
%20 = phi i32* [ %18, %11 ], [ %10, %9 ]
%21 = phi i32 [ %17, %11 ], [ %2, %9 ]
%22 = load i32, i32* %20
%23 = or i32 %22, %21
store i32 %23, i32* %20
ret void
}