unsigned char *int96_lshleft(unsigned char *x, int cnt) {
  unsigned short old = 0, new;
  int i, sh;
  while (cnt > 0) {
    sh = (cnt > 8) ? 8 : cnt;
    for (i = 0; i < 12; i++) {
      new = (unsigned short)x[i] << sh;
      x[i] = (new & 0xff) | ((old >> 8) & 0xff);
      old = new;
    }
    cnt -= sh;
  }
  return x;
}


x86 assembly (clang, -O0):
<int96_lshleft>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
movw   $0x0,-0xe(%rbp)
cmpl   $0x0,-0xc(%rbp)
jle    11b2 <int96_lshleft+0xb2>
cmpl   $0x8,-0xc(%rbp)
jle    1132 <int96_lshleft+0x32>
mov    $0x8,%eax
mov    %eax,-0x1c(%rbp)
jmp    1138 <int96_lshleft+0x38>
mov    -0xc(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
mov    %eax,-0x18(%rbp)
movl   $0x0,-0x14(%rbp)
cmpl   $0xc,-0x14(%rbp)
jge    11a2 <int96_lshleft+0xa2>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
movzwl %ax,%eax
mov    -0x18(%rbp),%ecx
shl    %cl,%eax
mov    %ax,-0x10(%rbp)
movzwl -0x10(%rbp),%eax
and    $0xff,%eax
movzwl -0xe(%rbp),%ecx
sar    $0x8,%ecx
and    $0xff,%ecx
or     %ecx,%eax
mov    %al,%dl
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x10(%rbp),%ax
mov    %ax,-0xe(%rbp)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1145 <int96_lshleft+0x45>
mov    -0x18(%rbp),%ecx
mov    -0xc(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0xc(%rbp)
jmp    1111 <int96_lshleft+0x11>
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<int96_lshleft>:
mov    %rdi,%rax
test   %esi,%esi
jle    12cb <int96_lshleft+0x1cb>
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    %esi,%ecx
mov    (%rax),%r15b
mov    0x1(%rax),%dl
mov    %dl,-0x16(%rsp)
mov    0x2(%rax),%dl
mov    %dl,-0x17(%rsp)
mov    0x3(%rax),%dl
mov    %dl,-0x14(%rsp)
mov    0x4(%rax),%dl
mov    %dl,-0x15(%rsp)
mov    0x5(%rax),%dl
mov    %dl,-0x12(%rsp)
mov    0x6(%rax),%dl
mov    %dl,-0x13(%rsp)
mov    0x7(%rax),%dl
mov    %dl,-0x10(%rsp)
mov    0x8(%rax),%dl
mov    %dl,-0x11(%rsp)
mov    0x9(%rax),%dl
mov    %dl,-0xe(%rsp)
mov    0xa(%rax),%dl
mov    %dl,-0xf(%rsp)
mov    %rax,-0x8(%rsp)
mov    0xb(%rax),%al
mov    %al,-0xd(%rsp)
xor    %r11d,%r11d
nop
mov    %ecx,-0xc(%rsp)
cmp    $0x8,%ecx
mov    $0x8,%ecx
cmovb  -0xc(%rsp),%ecx
movzbl %r15b,%r12d
shl    %cl,%r12d
shr    $0x8,%r11d
mov    %r11d,%r15d
movzbl -0x16(%rsp),%edx
shl    %cl,%edx
or     %r12d,%r15d
shr    $0x8,%r12d
or     %edx,%r12d
movzbl -0x17(%rsp),%ebx
shl    %cl,%ebx
shr    $0x8,%edx
movzbl -0x14(%rsp),%ebp
shl    %cl,%ebp
or     %ebx,%edx
shr    $0x8,%ebx
or     %ebp,%ebx
movzbl -0x15(%rsp),%edi
shl    %cl,%edi
shr    $0x8,%ebp
movzbl -0x12(%rsp),%r9d
shl    %cl,%r9d
or     %edi,%ebp
shr    $0x8,%edi
or     %r9d,%edi
movzbl -0x13(%rsp),%r8d
shl    %cl,%r8d
shr    $0x8,%r9d
movzbl -0x10(%rsp),%r14d
shl    %cl,%r14d
or     %r8d,%r9d
shr    $0x8,%r8d
or     %r14d,%r8d
movzbl -0x11(%rsp),%r13d
shl    %cl,%r13d
shr    $0x8,%r14d
movzbl -0xe(%rsp),%r10d
shl    %cl,%r10d
or     %r13d,%r14d
shr    $0x8,%r13d
or     %r10d,%r13d
movzbl -0xf(%rsp),%esi
shl    %cl,%esi
shr    $0x8,%r10d
movzbl -0xd(%rsp),%r11d
shl    %cl,%r11d
or     %esi,%r10d
shr    $0x8,%esi
or     %r11d,%esi
mov    %esi,%eax
mov    %sil,-0xd(%rsp)
mov    %r10d,%eax
mov    %r10b,-0xf(%rsp)
mov    %r13d,%eax
mov    %r13b,-0xe(%rsp)
mov    %r14d,%eax
mov    %r14b,-0x11(%rsp)
mov    %r8d,%eax
mov    %r8b,-0x10(%rsp)
mov    %r9d,%eax
mov    %r9b,-0x13(%rsp)
mov    %edi,%eax
mov    %dil,-0x12(%rsp)
mov    %ebp,%eax
mov    %bpl,-0x15(%rsp)
mov    %ebx,%eax
mov    %bl,-0x14(%rsp)
mov    %edx,%eax
mov    %dl,-0x17(%rsp)
mov    %r12d,%eax
mov    %r12b,-0x16(%rsp)
sub    %ecx,-0xc(%rsp)
mov    -0xc(%rsp),%ecx
jg     1170 <int96_lshleft+0x70>
mov    -0x8(%rsp),%rax
mov    %r15b,(%rax)
mov    %r12b,0x1(%rax)
mov    %dl,0x2(%rax)
mov    %bl,0x3(%rax)
mov    %bpl,0x4(%rax)
mov    %dil,0x5(%rax)
mov    %r9b,0x6(%rax)
mov    %r8b,0x7(%rax)
mov    %r14b,0x8(%rax)
mov    %r13b,0x9(%rax)
mov    %r10b,0xa(%rax)
mov    %sil,0xb(%rax)
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i8* @int96_lshleft(i8* %0, i32 %1) {
%3 = alloca i8*
%4 = alloca i32
%5 = alloca i16
%6 = alloca i16
%7 = alloca i32
%8 = alloca i32
store i8* %0, i8** %3
store i32 %1, i32* %4
store i16 0, i16* %5
br label %9
9: ; preds = %51, %2
%10 = load i32, i32* %4
%11 = icmp sgt i32 %10, 0
br i1 %11, label %12, label %55
12: ; preds = %9
%13 = load i32, i32* %4
%14 = icmp sgt i32 %13, 8
br i1 %14, label %15, label %16
15: ; preds = %12
br label %18
16: ; preds = %12
%17 = load i32, i32* %4
br label %18
18: ; preds = %16, %15
%19 = phi i32 [ 8, %15 ], [ %17, %16 ]
store i32 %19, i32* %8
store i32 0, i32* %7
br label %20
20: ; preds = %48, %18
%21 = load i32, i32* %7
%22 = icmp slt i32 %21, 12
br i1 %22, label %23, label %51
23: ; preds = %20
%24 = load i8*, i8** %3
%25 = load i32, i32* %7
%26 = sext i32 %25 to i64
%27 = getelementptr inbounds i8, i8* %24, i64 %26
%28 = load i8, i8* %27
%29 = zext i8 %28 to i16
%30 = zext i16 %29 to i32
%31 = load i32, i32* %8
%32 = shl i32 %30, %31
%33 = trunc i32 %32 to i16
store i16 %33, i16* %6
%34 = load i16, i16* %6
%35 = zext i16 %34 to i32
%36 = and i32 %35, 255
%37 = load i16, i16* %5
%38 = zext i16 %37 to i32
%39 = ashr i32 %38, 8
%40 = and i32 %39, 255
%41 = or i32 %36, %40
%42 = trunc i32 %41 to i8
%43 = load i8*, i8** %3
%44 = load i32, i32* %7
%45 = sext i32 %44 to i64
%46 = getelementptr inbounds i8, i8* %43, i64 %45
store i8 %42, i8* %46
%47 = load i16, i16* %6
store i16 %47, i16* %5
br label %48
48: ; preds = %23
%49 = load i32, i32* %7
%50 = add nsw i32 %49, 1
store i32 %50, i32* %7
br label %20
51: ; preds = %20
%52 = load i32, i32* %8
%53 = load i32, i32* %4
%54 = sub nsw i32 %53, %52
store i32 %54, i32* %4
br label %9
55: ; preds = %9
%56 = load i8*, i8** %3
ret i8* %56
}

LLVM IR (-O2):
define i8* @int96_lshleft(i8* returned %0, i32 %1) {
%3 = icmp sgt i32 %1, 0
br i1 %3, label %4, label %120
4: ; preds = %2
%5 = load i8, i8* %0
%6 = getelementptr inbounds i8, i8* %0, i64 1
%7 = load i8, i8* %6
%8 = getelementptr inbounds i8, i8* %0, i64 2
%9 = load i8, i8* %8
%10 = getelementptr inbounds i8, i8* %0, i64 3
%11 = load i8, i8* %10
%12 = getelementptr inbounds i8, i8* %0, i64 4
%13 = load i8, i8* %12
%14 = getelementptr inbounds i8, i8* %0, i64 5
%15 = load i8, i8* %14
%16 = getelementptr inbounds i8, i8* %0, i64 6
%17 = load i8, i8* %16
%18 = getelementptr inbounds i8, i8* %0, i64 7
%19 = load i8, i8* %18
%20 = getelementptr inbounds i8, i8* %0, i64 8
%21 = load i8, i8* %20
%22 = getelementptr inbounds i8, i8* %0, i64 9
%23 = load i8, i8* %22
%24 = getelementptr inbounds i8, i8* %0, i64 10
%25 = load i8, i8* %24
%26 = getelementptr inbounds i8, i8* %0, i64 11
%27 = load i8, i8* %26
br label %28
28: ; preds = %4, %28
%29 = phi i8 [ %104, %28 ], [ %27, %4 ]
%30 = phi i8 [ %99, %28 ], [ %25, %4 ]
%31 = phi i8 [ %94, %28 ], [ %23, %4 ]
%32 = phi i8 [ %89, %28 ], [ %21, %4 ]
%33 = phi i8 [ %84, %28 ], [ %19, %4 ]
%34 = phi i8 [ %79, %28 ], [ %17, %4 ]
%35 = phi i8 [ %74, %28 ], [ %15, %4 ]
%36 = phi i8 [ %69, %28 ], [ %13, %4 ]
%37 = phi i8 [ %64, %28 ], [ %11, %4 ]
%38 = phi i8 [ %59, %28 ], [ %9, %4 ]
%39 = phi i8 [ %54, %28 ], [ %7, %4 ]
%40 = phi i8 [ %49, %28 ], [ %5, %4 ]
%41 = phi i32 [ %105, %28 ], [ %1, %4 ]
%42 = phi i32 [ %101, %28 ], [ 0, %4 ]
%43 = icmp ult i32 %41, 8
%44 = select i1 %43, i32 %41, i32 8
%45 = zext i8 %40 to i32
%46 = shl nuw nsw i32 %45, %44
%47 = lshr i32 %42, 8
%48 = or i32 %46, %47
%49 = trunc i32 %48 to i8
%50 = zext i8 %39 to i32
%51 = shl nuw nsw i32 %50, %44
%52 = lshr i32 %46, 8
%53 = or i32 %51, %52
%54 = trunc i32 %53 to i8
%55 = zext i8 %38 to i32
%56 = shl nuw nsw i32 %55, %44
%57 = lshr i32 %51, 8
%58 = or i32 %56, %57
%59 = trunc i32 %58 to i8
%60 = zext i8 %37 to i32
%61 = shl nuw nsw i32 %60, %44
%62 = lshr i32 %56, 8
%63 = or i32 %61, %62
%64 = trunc i32 %63 to i8
%65 = zext i8 %36 to i32
%66 = shl nuw nsw i32 %65, %44
%67 = lshr i32 %61, 8
%68 = or i32 %66, %67
%69 = trunc i32 %68 to i8
%70 = zext i8 %35 to i32
%71 = shl nuw nsw i32 %70, %44
%72 = lshr i32 %66, 8
%73 = or i32 %71, %72
%74 = trunc i32 %73 to i8
%75 = zext i8 %34 to i32
%76 = shl nuw nsw i32 %75, %44
%77 = lshr i32 %71, 8
%78 = or i32 %76, %77
%79 = trunc i32 %78 to i8
%80 = zext i8 %33 to i32
%81 = shl nuw nsw i32 %80, %44
%82 = lshr i32 %76, 8
%83 = or i32 %81, %82
%84 = trunc i32 %83 to i8
%85 = zext i8 %32 to i32
%86 = shl nuw nsw i32 %85, %44
%87 = lshr i32 %81, 8
%88 = or i32 %86, %87
%89 = trunc i32 %88 to i8
%90 = zext i8 %31 to i32
%91 = shl nuw nsw i32 %90, %44
%92 = lshr i32 %86, 8
%93 = or i32 %91, %92
%94 = trunc i32 %93 to i8
%95 = zext i8 %30 to i32
%96 = shl nuw nsw i32 %95, %44
%97 = lshr i32 %91, 8
%98 = or i32 %96, %97
%99 = trunc i32 %98 to i8
%100 = zext i8 %29 to i32
%101 = shl nuw nsw i32 %100, %44
%102 = lshr i32 %96, 8
%103 = or i32 %101, %102
%104 = trunc i32 %103 to i8
%105 = sub nsw i32 %41, %44
%106 = icmp sgt i32 %105, 0
br i1 %106, label %28, label %107
107: ; preds = %28
%108 = trunc i32 %48 to i8
%109 = trunc i32 %53 to i8
%110 = trunc i32 %58 to i8
%111 = trunc i32 %63 to i8
%112 = trunc i32 %68 to i8
%113 = trunc i32 %73 to i8
%114 = trunc i32 %78 to i8
%115 = trunc i32 %83 to i8
%116 = trunc i32 %88 to i8
%117 = trunc i32 %93 to i8
%118 = trunc i32 %98 to i8
%119 = trunc i32 %103 to i8
store i8 %108, i8* %0
store i8 %109, i8* %6
store i8 %110, i8* %8
store i8 %111, i8* %10
store i8 %112, i8* %12
store i8 %113, i8* %14
store i8 %114, i8* %16
store i8 %115, i8* %18
store i8 %116, i8* %20
store i8 %117, i8* %22
store i8 %118, i8* %24
store i8 %119, i8* %26
br label %120
120: ; preds = %107, %2
ret i8* %0
}