void shift_right(unsigned short *buffer, int len, int shift) {
  int shift1, shift2;
  int i;
  unsigned short reminder;
  shift1 = shift / (sizeof(unsigned short) * 8);
  shift2 = shift % (sizeof(unsigned short) * 8);
  for (i = len - 1; i >= shift1; i--)
    buffer[i] = buffer[i - shift1];
  for (; i >= 0; i--)
    buffer[i] = 0;
  if (shift2 == 0)
    return;
  for (i = len - 1; i > 0; i--) {
    buffer[i] >>= shift2;
    reminder = buffer[i - 1] << ((sizeof(unsigned short) * 8) - shift2);
    buffer[i] |= reminder;
  }
  buffer[0] >>= shift2;
}


x86 assembly (clang, -O0):
<shift_right>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
movslq -0x10(%rbp),%rax
shr    $0x4,%rax
mov    %eax,-0x14(%rbp)
movslq -0x10(%rbp),%rax
and    $0xf,%rax
mov    %eax,-0x18(%rbp)
mov    -0xc(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x14(%rbp),%eax
jl     1164 <shift_right+0x64>
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    -0x14(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,2),%dx
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    %dx,(%rax,%rcx,2)
mov    -0x1c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
jmp    112d <shift_right+0x2d>
jmp    1169 <shift_right+0x69>
cmpl   $0x0,-0x1c(%rbp)
jl     118f <shift_right+0x8f>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movw   $0x0,(%rax,%rcx,2)
mov    -0x1c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
jmp    1169 <shift_right+0x69>
cmpl   $0x0,-0x18(%rbp)
jne    119e <shift_right+0x9e>
jmp    1226 <shift_right+0x126>
mov    -0xc(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x1c(%rbp)
cmpl   $0x0,-0x1c(%rbp)
jle    1215 <shift_right+0x115>
mov    -0x18(%rbp),%ecx
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rdx
mov    %rdx,-0x28(%rbp)
movzwl (%rax,%rdx,2),%edx
sar    %cl,%edx
mov    -0x28(%rbp),%rcx
mov    %dx,(%rax,%rcx,2)
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movzwl (%rax,%rcx,2),%eax
movslq -0x18(%rbp),%rdx
mov    $0x10,%ecx
sub    %rdx,%rcx
shl    %cl,%eax
mov    %ax,-0x1e(%rbp)
movzwl -0x1e(%rbp),%esi
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movzwl (%rax,%rcx,2),%edx
or     %esi,%edx
mov    %dx,(%rax,%rcx,2)
mov    -0x1c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
jmp    11a7 <shift_right+0xa7>
mov    -0x18(%rbp),%ecx
mov    -0x8(%rbp),%rax
movzwl (%rax),%edx
sar    %cl,%edx
mov    %edx,%ecx
mov    %cx,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<shift_right>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
mov    %edx,%r12d
mov    %esi,%r14d
mov    %rdi,%rbx
mov    %edx,%eax
sar    $0x4,%eax
lea    -0x1(%r14),%r15d
mov    %r15d,%edx
cmp    %esi,%eax
jge    1174 <shift_right+0x64>
movslq %r14d,%r11
lea    -0x1(%r11),%rcx
cltq
mov    %r11,%r10
sub    %rax,%r10
cmp    $0x10,%r10
jae    120f <shift_right+0xff>
mov    %rbx,%rsi
sub    %rax,%rsi
sub    %rax,%rsi
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movzwl (%rsi,%rcx,2),%edx
mov    %dx,(%rbx,%rcx,2)
lea    -0x1(%rcx),%rdx
cmp    %rax,%rcx
mov    %rdx,%rcx
jg     1160 <shift_right+0x50>
and    $0xf,%r12d
test   %edx,%edx
js     1190 <shift_right+0x80>
mov    %edx,%eax
lea    (%rax,%rax,1),%rdx
add    $0x2,%rdx
mov    %rbx,%rdi
xor    %esi,%esi
call   1030 <memset@plt>
test   %r12d,%r12d
je     1206 <shift_right+0xf6>
cmp    $0x2,%r14d
jl     11fb <shift_right+0xeb>
mov    $0x10,%eax
sub    %r12d,%eax
mov    %r15d,%r10d
cmp    $0x1,%r15d
mov    %r10,%r9
adc    $0xffffffffffffffff,%r9
add    $0x1,%r9
cmp    $0x8,%r9
jae    1322 <shift_right+0x212>
mov    %r10,%rdx
add    $0x1,%rdx
cs nopw 0x0(%rax,%rax,1)
movzwl -0x2(%rbx,%rdx,2),%esi
mov    %r12d,%ecx
shr    %cl,%esi
mov    %si,-0x2(%rbx,%rdx,2)
lea    -0x2(%rdx),%ecx
movzwl (%rbx,%rcx,2),%edi
mov    %eax,%ecx
shl    %cl,%edi
or     %esi,%edi
mov    %di,-0x2(%rbx,%rdx,2)
add    $0xffffffffffffffff,%rdx
cmp    $0x1,%rdx
ja     11d0 <shift_right+0xc0>
movzwl (%rbx),%eax
mov    %r12d,%ecx
shr    %cl,%eax
mov    %ax,(%rbx)
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret
mov    %rax,%rdx
not    %rdx
add    %r11,%rdx
lea    (%rbx,%rcx,2),%rdi
mov    %rdx,%rbp
add    %rdx,%rbp
setb   %r8b
mov    %rdi,%rsi
sub    %rbp,%rsi
cmp    %rdi,%rsi
ja     114a <shift_right+0x3a>
test   %r8b,%r8b
jne    114a <shift_right+0x3a>
lea    (%rbx,%rdx,2),%rdx
mov    %rdx,%rsi
sub    %rbp,%rsi
cmp    %rdx,%rsi
ja     114a <shift_right+0x3a>
test   %r8b,%r8b
jne    114a <shift_right+0x3a>
lea    (%rbx,%rax,2),%rdx
lea    (%rbx,%r10,2),%rsi
cmp    %rsi,%rdx
jae    1274 <shift_right+0x164>
lea    (%rbx,%r11,2),%rdx
cmp    %rbx,%rdx
ja     114a <shift_right+0x3a>
mov    %r10,%r8
and    $0xfffffffffffffff0,%r8
lea    -0x10(%r8),%rdx
mov    %rdx,%r9
shr    $0x4,%r9
add    $0x1,%r9
test   %rdx,%rdx
je     14c5 <shift_right+0x3b5>
mov    %r9,%rsi
and    $0xfffffffffffffffe,%rsi
lea    (%rbx,%r11,2),%rbp
add    $0xfffffffffffffff0,%rbp
mov    %rbp,%rdx
sub    %rax,%rdx
sub    %rax,%rdx
xor    %edi,%edi
nopl   (%rax)
movups -0x10(%rdx,%rdi,2),%xmm0
movups (%rdx,%rdi,2),%xmm1
movups %xmm1,0x0(%rbp,%rdi,2)
movups %xmm0,-0x10(%rbp,%rdi,2)
movdqu -0x30(%rdx,%rdi,2),%xmm0
movups -0x20(%rdx,%rdi,2),%xmm1
movups %xmm1,-0x20(%rbp,%rdi,2)
movdqu %xmm0,-0x30(%rbp,%rdi,2)
add    $0xffffffffffffffe0,%rdi
add    $0xfffffffffffffffe,%rsi
jne    12b0 <shift_right+0x1a0>
neg    %rdi
test   $0x1,%r9b
je     130e <shift_right+0x1fe>
mov    %rcx,%rdx
sub    %rdi,%rdx
mov    %rdx,%rsi
sub    %rax,%rsi
movdqu -0x1e(%rbx,%rsi,2),%xmm0
movups -0xe(%rbx,%rsi,2),%xmm1
movups %xmm1,-0xe(%rbx,%rdx,2)
movdqu %xmm0,-0x1e(%rbx,%rdx,2)
sub    %r8,%rcx
mov    %rcx,%rdx
cmp    %r8,%r10
jne    114a <shift_right+0x3a>
jmp    1174 <shift_right+0x64>
cmp    $0x1,%r15d
mov    %r10,%rsi
adc    $0xffffffffffffffff,%rsi
add    $0xfffffffe,%r14d
mov    %rsi,%rdx
add    %rsi,%rdx
setb   %cl
cmp    %esi,%r14d
jb     11bf <shift_right+0xaf>
shr    $0x20,%rsi
jne    11bf <shift_right+0xaf>
lea    (%rbx,%r10,2),%rsi
mov    %rsi,%rdi
sub    %rdx,%rdi
cmp    %rsi,%rdi
ja     11bf <shift_right+0xaf>
test   %cl,%cl
jne    11bf <shift_right+0xaf>
lea    (%rbx,%r14,2),%rsi
mov    %rsi,%rdi
sub    %rdx,%rdi
cmp    %rsi,%rdi
ja     11bf <shift_right+0xaf>
test   %cl,%cl
jne    11bf <shift_right+0xaf>
xor    %ecx,%ecx
test   %r15d,%r15d
setne  %cl
lea    (%rbx,%rcx,2),%rdx
lea    (%rbx,%r14,2),%rsi
add    $0x2,%rsi
cmp    %rsi,%rdx
jae    13b7 <shift_right+0x2a7>
lea    (%rbx,%r10,2),%rdx
add    $0x2,%rdx
add    %r14,%rcx
sub    %r10,%rcx
lea    (%rbx,%rcx,2),%rcx
cmp    %rdx,%rcx
jb     11bf <shift_right+0xaf>
mov    %r9,%r8
and    $0xfffffffffffffff8,%r8
mov    %r10,%rdx
sub    %r8,%rdx
movd   %r12d,%xmm2
movd   %eax,%xmm3
mov    %r8,%r11
neg    %r11
lea    (%rbx,%r10,2),%rcx
add    $0xfffffffffffffff2,%rcx
mov    $0xffffffff,%edi
add    %r10,%rdi
xor    %esi,%esi
pxor   %xmm0,%xmm0
xorps  %xmm1,%xmm1
movss  %xmm2,%xmm1
xorps  %xmm2,%xmm2
movss  %xmm3,%xmm2
nopw   0x0(%rax,%rax,1)
movdqu (%rcx,%rsi,2),%xmm3
pshufd $0x4e,%xmm3,%xmm3
pshufhw $0x1b,%xmm3,%xmm4
pshuflw $0x1b,%xmm3,%xmm3
punpcklwd %xmm0,%xmm3
punpckhwd %xmm0,%xmm4
psrld  %xmm1,%xmm4
psrld  %xmm1,%xmm3
movdqa %xmm3,%xmm5
pslld  $0x10,%xmm5
psrad  $0x10,%xmm5
movdqa %xmm4,%xmm6
pslld  $0x10,%xmm6
psrad  $0x10,%xmm6
packssdw %xmm5,%xmm6
pshuflw $0x1b,%xmm6,%xmm5
pshufhw $0x1b,%xmm5,%xmm5
movdqu %xmm5,(%rcx,%rsi,2)
lea    (%rdi,%rsi,1),%ebp
movdqu -0xe(%rbx,%rbp,2),%xmm5
pshufd $0x4e,%xmm5,%xmm5
pshuflw $0x1b,%xmm5,%xmm6
pshufhw $0x1b,%xmm5,%xmm5
punpckhwd %xmm0,%xmm5
punpcklwd %xmm0,%xmm6
pslld  %xmm2,%xmm6
pslld  %xmm2,%xmm5
por    %xmm4,%xmm5
por    %xmm3,%xmm6
pslld  $0x10,%xmm6
psrad  $0x10,%xmm6
pslld  $0x10,%xmm5
psrad  $0x10,%xmm5
packssdw %xmm6,%xmm5
pshuflw $0x1b,%xmm5,%xmm3
pshufhw $0x1b,%xmm3,%xmm3
movdqu %xmm3,(%rcx,%rsi,2)
add    $0xfffffffffffffff8,%rsi
cmp    %rsi,%r11
jne    1400 <shift_right+0x2f0>
cmp    %r8,%r9
jne    11c2 <shift_right+0xb2>
jmp    11fb <shift_right+0xeb>
xor    %edi,%edi
test   $0x1,%r9b
jne    12ec <shift_right+0x1dc>
jmp    130e <shift_right+0x1fe>

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

LLVM IR (-O2):
define void @shift_right(i16* nocapture %0, i32 %1, i32 %2) {
%4 = bitcast i16* %0 to i8*
%5 = ashr i32 %2, 4
%6 = and i32 %2, 15
%7 = add i32 %1, -1
%8 = icmp slt i32 %5, %1
br i1 %8, label %9, label %121
9: ; preds = %3
%10 = sext i32 %1 to i64
%11 = add nsw i64 %10, -1
%12 = sext i32 %5 to i64
%13 = sub nsw i64 %10, %12
%14 = icmp ult i64 %13, 16
br i1 %14, label %116, label %15
15: ; preds = %9
%16 = xor i64 %12, -1
%17 = add nsw i64 %16, %10
%18 = getelementptr i16, i16* %0, i64 %11
%19 = call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %17, i64 2)
%20 = extractvalue { i64, i1 } %19, 0
%21 = extractvalue { i64, i1 } %19, 1
%22 = bitcast i16* %18 to i8*
%23 = sub i64 0, %20
%24 = getelementptr i8, i8* %22, i64 %23
%25 = icmp ugt i8* %24, %22
%26 = or i1 %25, %21
%27 = getelementptr i16, i16* %0, i64 %17
%28 = call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %17, i64 2)
%29 = extractvalue { i64, i1 } %28, 0
%30 = extractvalue { i64, i1 } %28, 1
%31 = bitcast i16* %27 to i8*
%32 = sub i64 0, %29
%33 = getelementptr i8, i8* %31, i64 %32
%34 = icmp ugt i8* %33, %31
%35 = or i1 %34, %30
%36 = or i1 %26, %35
br i1 %36, label %116, label %37
37: ; preds = %15
%38 = getelementptr i16, i16* %0, i64 %12
%39 = getelementptr i16, i16* %0, i64 %10
%40 = sub nsw i64 %10, %12
%41 = getelementptr i16, i16* %0, i64 %40
%42 = icmp ult i16* %38, %41
%43 = icmp ugt i16* %39, %0
%44 = and i1 %42, %43
br i1 %44, label %116, label %45
45: ; preds = %37
%46 = and i64 %13, -16
%47 = sub nsw i64 %11, %46
%48 = add nsw i64 %46, -16
%49 = lshr exact i64 %48, 4
%50 = add nuw nsw i64 %49, 1
%51 = and i64 %50, 1
%52 = icmp eq i64 %48, 0
br i1 %52, label %94, label %53
53: ; preds = %45
%54 = and i64 %50, 2305843009213693950
br label %55
55: ; preds = %55, %53
%56 = phi i64 [ 0, %53 ], [ %91, %55 ]
%57 = phi i64 [ 0, %53 ], [ %92, %55 ]
%58 = sub i64 %11, %56
%59 = sub nsw i64 %58, %12
%60 = getelementptr inbounds i16, i16* %0, i64 %59
%61 = getelementptr inbounds i16, i16* %60, i64 -7
%62 = bitcast i16* %61 to <8 x i16>*
%63 = load <8 x i16>, <8 x i16>* %62
%64 = getelementptr inbounds i16, i16* %60, i64 -8
%65 = getelementptr inbounds i16, i16* %64, i64 -7
%66 = bitcast i16* %65 to <8 x i16>*
%67 = load <8 x i16>, <8 x i16>* %66
%68 = getelementptr inbounds i16, i16* %0, i64 %58
%69 = getelementptr inbounds i16, i16* %68, i64 -7
%70 = bitcast i16* %69 to <8 x i16>*
store <8 x i16> %63, <8 x i16>* %70
%71 = getelementptr inbounds i16, i16* %68, i64 -8
%72 = getelementptr inbounds i16, i16* %71, i64 -7
%73 = bitcast i16* %72 to <8 x i16>*
store <8 x i16> %67, <8 x i16>* %73
%74 = or i64 %56, 16
%75 = sub i64 %11, %74
%76 = sub nsw i64 %75, %12
%77 = getelementptr inbounds i16, i16* %0, i64 %76
%78 = getelementptr inbounds i16, i16* %77, i64 -7
%79 = bitcast i16* %78 to <8 x i16>*
%80 = load <8 x i16>, <8 x i16>* %79
%81 = getelementptr inbounds i16, i16* %77, i64 -8
%82 = getelementptr inbounds i16, i16* %81, i64 -7
%83 = bitcast i16* %82 to <8 x i16>*
%84 = load <8 x i16>, <8 x i16>* %83
%85 = getelementptr inbounds i16, i16* %0, i64 %75
%86 = getelementptr inbounds i16, i16* %85, i64 -7
%87 = bitcast i16* %86 to <8 x i16>*
store <8 x i16> %80, <8 x i16>* %87
%88 = getelementptr inbounds i16, i16* %85, i64 -8
%89 = getelementptr inbounds i16, i16* %88, i64 -7
%90 = bitcast i16* %89 to <8 x i16>*
store <8 x i16> %84, <8 x i16>* %90
%91 = add nuw i64 %56, 32
%92 = add i64 %57, 2
%93 = icmp eq i64 %92, %54
br i1 %93, label %94, label %55
94: ; preds = %55, %45
%95 = phi i64 [ 0, %45 ], [ %91, %55 ]
%96 = icmp eq i64 %51, 0
br i1 %96, label %114, label %97
97: ; preds = %94
%98 = sub i64 %11, %95
%99 = sub nsw i64 %98, %12
%100 = getelementptr inbounds i16, i16* %0, i64 %99
%101 = getelementptr inbounds i16, i16* %100, i64 -7
%102 = bitcast i16* %101 to <8 x i16>*
%103 = load <8 x i16>, <8 x i16>* %102
%104 = getelementptr inbounds i16, i16* %100, i64 -8
%105 = getelementptr inbounds i16, i16* %104, i64 -7
%106 = bitcast i16* %105 to <8 x i16>*
%107 = load <8 x i16>, <8 x i16>* %106
%108 = getelementptr inbounds i16, i16* %0, i64 %98
%109 = getelementptr inbounds i16, i16* %108, i64 -7
%110 = bitcast i16* %109 to <8 x i16>*
store <8 x i16> %103, <8 x i16>* %110
%111 = getelementptr inbounds i16, i16* %108, i64 -8
%112 = getelementptr inbounds i16, i16* %111, i64 -7
%113 = bitcast i16* %112 to <8 x i16>*
store <8 x i16> %107, <8 x i16>* %113
br label %114
114: ; preds = %94, %97
%115 = icmp eq i64 %13, %46
br i1 %115, label %118, label %116
116: ; preds = %37, %15, %9, %114
%117 = phi i64 [ %11, %37 ], [ %11, %15 ], [ %11, %9 ], [ %47, %114 ]
br label %128
118: ; preds = %128, %114
%119 = phi i64 [ %47, %114 ], [ %134, %128 ]
%120 = trunc i64 %119 to i32
br label %121
121: ; preds = %118, %3
%122 = phi i32 [ %7, %3 ], [ %120, %118 ]
%123 = icmp sgt i32 %122, -1
br i1 %123, label %124, label %136
124: ; preds = %121
%125 = zext i32 %122 to i64
%126 = shl nuw nsw i64 %125, 1
%127 = add nuw nsw i64 %126, 2
br label %136
128: ; preds = %116, %128
%129 = phi i64 [ %134, %128 ], [ %117, %116 ]
%130 = sub nsw i64 %129, %12
%131 = getelementptr inbounds i16, i16* %0, i64 %130
%132 = load i16, i16* %131
%133 = getelementptr inbounds i16, i16* %0, i64 %129
store i16 %132, i16* %133
%134 = add nsw i64 %129, -1
%135 = icmp sgt i64 %129, %12
br i1 %135, label %128, label %118
136: ; preds = %124, %121
%137 = icmp eq i32 %6, 0
br i1 %137, label %254, label %138
138: ; preds = %136
%139 = icmp sgt i32 %1, 1
br i1 %139, label %140, label %249
140: ; preds = %138
%141 = sub nuw nsw i32 16, %6
%142 = zext i32 %7 to i64
%143 = add nuw nsw i64 %142, 1
%144 = icmp ne i32 %7, 0
%145 = sext i1 %144 to i64
%146 = add nsw i64 %143, %145
%147 = icmp ult i64 %146, 8
br i1 %147, label %231, label %148
148: ; preds = %140
%149 = icmp ne i32 %7, 0
%150 = sext i1 %149 to i64
%151 = add nsw i64 %150, %142
%152 = add i32 %1, -2
%153 = trunc i64 %151 to i32
%154 = icmp ult i32 %152, %153
%155 = icmp ugt i64 %151, 4294967295
%156 = or i1 %154, %155
%157 = getelementptr i16, i16* %0, i64 %142
%158 = call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %151, i64 2)
%159 = extractvalue { i64, i1 } %158, 0
%160 = extractvalue { i64, i1 } %158, 1
%161 = bitcast i16* %157 to i8*
%162 = sub i64 0, %159
%163 = getelementptr i8, i8* %161, i64 %162
%164 = icmp ugt i8* %163, %161
%165 = or i1 %164, %160
%166 = zext i32 %152 to i64
%167 = getelementptr i16, i16* %0, i64 %166
%168 = call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %151, i64 2)
%169 = extractvalue { i64, i1 } %168, 0
%170 = extractvalue { i64, i1 } %168, 1
%171 = bitcast i16* %167 to i8*
%172 = sub i64 0, %169
%173 = getelementptr i8, i8* %171, i64 %172
%174 = icmp ugt i8* %173, %171
%175 = or i1 %174, %170
%176 = or i1 %156, %165
%177 = or i1 %176, %175
br i1 %177, label %231, label %178
178: ; preds = %148
%179 = icmp ne i32 %7, 0
%180 = zext i1 %179 to i64
%181 = getelementptr i16, i16* %0, i64 %180
%182 = add nuw nsw i64 %142, 1
%183 = getelementptr i16, i16* %0, i64 %182
%184 = add i32 %1, -2
%185 = zext i32 %184 to i64
%186 = add nuw nsw i64 %180, %185
%187 = sub nsw i64 %186, %142
%188 = getelementptr i16, i16* %0, i64 %187
%189 = add nuw nsw i64 %185, 1
%190 = getelementptr i16, i16* %0, i64 %189
%191 = icmp ult i16* %181, %190
%192 = icmp ult i16* %188, %183
%193 = and i1 %191, %192
br i1 %193, label %231, label %194
194: ; preds = %178
%195 = and i64 %146, -8
%196 = sub nsw i64 %142, %195
%197 = insertelement <8 x i32> poison, i32 %6, i64 0
%198 = shufflevector <8 x i32> %197, <8 x i32> poison, <8 x i32> zeroinitializer
%199 = insertelement <8 x i32> poison, i32 %141, i64 0
%200 = shufflevector <8 x i32> %199, <8 x i32> poison, <8 x i32> zeroinitializer
%201 = getelementptr inbounds i16, i16* %0, i64 -7
%202 = getelementptr inbounds i16, i16* %0, i64 -7
br label %203
203: ; preds = %203, %194
%204 = phi i64 [ 0, %194 ], [ %227, %203 ]
%205 = sub i64 %142, %204
%206 = getelementptr inbounds i16, i16* %201, i64 %205
%207 = bitcast i16* %206 to <8 x i16>*
%208 = load <8 x i16>, <8 x i16>* %207
%209 = shufflevector <8 x i16> %208, <8 x i16> poison, <8 x i32> <i32 7, i32 6, i32 5, i32 4, i32 3, i32 2, i32 1, i32 0>
%210 = zext <8 x i16> %209 to <8 x i32>
%211 = lshr <8 x i32> %210, %198
%212 = trunc <8 x i32> %211 to <8 x i16>
%213 = shufflevector <8 x i16> %212, <8 x i16> poison, <8 x i32> <i32 7, i32 6, i32 5, i32 4, i32 3, i32 2, i32 1, i32 0>
%214 = bitcast i16* %206 to <8 x i16>*
store <8 x i16> %213, <8 x i16>* %214
%215 = add i64 %205, 4294967295
%216 = and i64 %215, 4294967295
%217 = getelementptr inbounds i16, i16* %202, i64 %216
%218 = bitcast i16* %217 to <8 x i16>*
%219 = load <8 x i16>, <8 x i16>* %218
%220 = shufflevector <8 x i16> %219, <8 x i16> poison, <8 x i32> <i32 7, i32 6, i32 5, i32 4, i32 3, i32 2, i32 1, i32 0>
%221 = zext <8 x i16> %220 to <8 x i32>
%222 = shl nuw <8 x i32> %221, %200
%223 = or <8 x i32> %222, %211
%224 = trunc <8 x i32> %223 to <8 x i16>
%225 = shufflevector <8 x i16> %224, <8 x i16> poison, <8 x i32> <i32 7, i32 6, i32 5, i32 4, i32 3, i32 2, i32 1, i32 0>
%226 = bitcast i16* %206 to <8 x i16>*
store <8 x i16> %225, <8 x i16>* %226
%227 = add nuw i64 %204, 8
%228 = icmp eq i64 %227, %195
br i1 %228, label %229, label %203
229: ; preds = %203
%230 = icmp eq i64 %146, %195
br i1 %230, label %249, label %231
231: ; preds = %178, %148, %140, %229
%232 = phi i64 [ %142, %178 ], [ %142, %148 ], [ %142, %140 ], [ %196, %229 ]
br label %233
233: ; preds = %231, %233
%234 = phi i64 [ %240, %233 ], [ %232, %231 ]
%235 = getelementptr inbounds i16, i16* %0, i64 %234
%236 = load i16, i16* %235
%237 = zext i16 %236 to i32
%238 = lshr i32 %237, %6
%239 = trunc i32 %238 to i16
store i16 %239, i16* %235
%240 = add nsw i64 %234, -1
%241 = and i64 %240, 4294967295
%242 = getelementptr inbounds i16, i16* %0, i64 %241
%243 = load i16, i16* %242
%244 = zext i16 %243 to i32
%245 = shl nuw i32 %244, %141
%246 = or i32 %245, %238
%247 = trunc i32 %246 to i16
store i16 %247, i16* %235
%248 = icmp ugt i64 %234, 1
br i1 %248, label %233, label %249
249: ; preds = %233, %229, %138
%250 = load i16, i16* %0
%251 = zext i16 %250 to i32
%252 = lshr i32 %251, %6
%253 = trunc i32 %252 to i16
store i16 %253, i16* %0
br label %254
254: ; preds = %136, %249
ret void
}