unsigned setbits(unsigned char x, unsigned char p, unsigned char n,
                 unsigned char y) {
  unsigned char left, right, substitute;
  left = x >> (9 - p);
  left = left << (9 - p);
  right = x << (p + n - 1);
  right = right >> (p + n - 1);
  substitute = y << (8 - n);
  substitute = substitute >> (p - 1);
  return (left | right | substitute);
}


x86 assembly (clang, -O0):
<setbits>:
push   %rbp
mov    %rsp,%rbp
mov    %cl,%al
mov    %dl,%cl
mov    %sil,%dl
mov    %dil,%sil
mov    %sil,-0x1(%rbp)
mov    %dl,-0x2(%rbp)
mov    %cl,-0x3(%rbp)
mov    %al,-0x4(%rbp)
movzbl -0x1(%rbp),%eax
movzbl -0x2(%rbp),%edx
mov    $0x9,%ecx
sub    %edx,%ecx
sar    %cl,%eax
mov    %al,-0x5(%rbp)
movzbl -0x5(%rbp),%eax
movzbl -0x2(%rbp),%edx
mov    $0x9,%ecx
sub    %edx,%ecx
shl    %cl,%eax
mov    %al,-0x5(%rbp)
movzbl -0x1(%rbp),%eax
movzbl -0x2(%rbp),%ecx
movzbl -0x3(%rbp),%edx
add    %edx,%ecx
sub    $0x1,%ecx
shl    %cl,%eax
mov    %al,-0x6(%rbp)
movzbl -0x6(%rbp),%eax
movzbl -0x2(%rbp),%ecx
movzbl -0x3(%rbp),%edx
add    %edx,%ecx
sub    $0x1,%ecx
sar    %cl,%eax
mov    %al,-0x6(%rbp)
movzbl -0x4(%rbp),%eax
movzbl -0x3(%rbp),%edx
mov    $0x8,%ecx
sub    %edx,%ecx
shl    %cl,%eax
mov    %al,-0x7(%rbp)
movzbl -0x7(%rbp),%eax
movzbl -0x2(%rbp),%ecx
sub    $0x1,%ecx
sar    %cl,%eax
mov    %al,-0x7(%rbp)
movzbl -0x5(%rbp),%eax
movzbl -0x6(%rbp),%ecx
or     %ecx,%eax
movzbl -0x7(%rbp),%ecx
or     %ecx,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<setbits>:
mov    %ecx,%r8d
mov    $0x9,%cl
sub    %sil,%cl
mov    %edi,%eax
shr    %cl,%eax
shl    %cl,%eax
lea    (%rsi,%rdx,1),%ecx
add    $0xffffffff,%ecx
shl    %cl,%edi
movzbl %dil,%edi
shr    %cl,%edi
add    $0xffffffff,%esi
or     %eax,%edi
mov    $0x8,%cl
sub    %dl,%cl
shl    %cl,%r8d
movzbl %r8b,%eax
mov    %esi,%ecx
shr    %cl,%eax
or     %edi,%eax
ret

LLVM IR (-O0):
define i32 @setbits(i8 zeroext %0, i8 zeroext %1, i8 zeroext %2, i8 zeroext %3) {
%5 = alloca i8
%6 = alloca i8
%7 = alloca i8
%8 = alloca i8
%9 = alloca i8
%10 = alloca i8
%11 = alloca i8
store i8 %0, i8* %5
store i8 %1, i8* %6
store i8 %2, i8* %7
store i8 %3, i8* %8
%12 = load i8, i8* %5
%13 = zext i8 %12 to i32
%14 = load i8, i8* %6
%15 = zext i8 %14 to i32
%16 = sub nsw i32 9, %15
%17 = ashr i32 %13, %16
%18 = trunc i32 %17 to i8
store i8 %18, i8* %9
%19 = load i8, i8* %9
%20 = zext i8 %19 to i32
%21 = load i8, i8* %6
%22 = zext i8 %21 to i32
%23 = sub nsw i32 9, %22
%24 = shl i32 %20, %23
%25 = trunc i32 %24 to i8
store i8 %25, i8* %9
%26 = load i8, i8* %5
%27 = zext i8 %26 to i32
%28 = load i8, i8* %6
%29 = zext i8 %28 to i32
%30 = load i8, i8* %7
%31 = zext i8 %30 to i32
%32 = add nsw i32 %29, %31
%33 = sub nsw i32 %32, 1
%34 = shl i32 %27, %33
%35 = trunc i32 %34 to i8
store i8 %35, i8* %10
%36 = load i8, i8* %10
%37 = zext i8 %36 to i32
%38 = load i8, i8* %6
%39 = zext i8 %38 to i32
%40 = load i8, i8* %7
%41 = zext i8 %40 to i32
%42 = add nsw i32 %39, %41
%43 = sub nsw i32 %42, 1
%44 = ashr i32 %37, %43
%45 = trunc i32 %44 to i8
store i8 %45, i8* %10
%46 = load i8, i8* %8
%47 = zext i8 %46 to i32
%48 = load i8, i8* %7
%49 = zext i8 %48 to i32
%50 = sub nsw i32 8, %49
%51 = shl i32 %47, %50
%52 = trunc i32 %51 to i8
store i8 %52, i8* %11
%53 = load i8, i8* %11
%54 = zext i8 %53 to i32
%55 = load i8, i8* %6
%56 = zext i8 %55 to i32
%57 = sub nsw i32 %56, 1
%58 = ashr i32 %54, %57
%59 = trunc i32 %58 to i8
store i8 %59, i8* %11
%60 = load i8, i8* %9
%61 = zext i8 %60 to i32
%62 = load i8, i8* %10
%63 = zext i8 %62 to i32
%64 = or i32 %61, %63
%65 = load i8, i8* %11
%66 = zext i8 %65 to i32
%67 = or i32 %64, %66
ret i32 %67
}

LLVM IR (-O2):
define i32 @setbits(i8 zeroext %0, i8 zeroext %1, i8 zeroext %2, i8 zeroext %3) {
%5 = zext i8 %0 to i32
%6 = zext i8 %1 to i32
%7 = sub nsw i32 9, %6
%8 = shl nsw i32 -1, %7
%9 = trunc i32 %8 to i8
%10 = and i8 %9, %0
%11 = zext i8 %2 to i32
%12 = add nsw i32 %6, -1
%13 = add nsw i32 %12, %11
%14 = shl i32 %5, %13
%15 = and i32 %14, 255
%16 = lshr i32 %15, %13
%17 = zext i8 %3 to i32
%18 = sub nsw i32 8, %11
%19 = shl nuw nsw i32 %17, %18
%20 = and i32 %19, 255
%21 = lshr i32 %20, %12
%22 = zext i8 %10 to i32
%23 = or i32 %16, %22
%24 = or i32 %23, %21
ret i32 %24
}