int BGBDT_SndBTAC1C_EncodeQuantUni3(int uni, int step, int pred, int tgt,
                                    int lsbit) {
  int uni1, uni2;
  int diff, p0, p1, p2, d0, d1, d2;
  uni1 = uni + 1;
  uni2 = uni - 1;
  if ((uni ^ uni1) & (~7))
    uni1 = uni;
  if ((uni ^ uni2) & (~7))
    uni2 = uni;
  if (lsbit) {
    if (lsbit == 4) {
      uni &= ~1;
      uni1 &= ~1;
      uni2 &= ~1;
      uni |= ((uni & 6) == 6);
      uni1 |= ((uni1 & 6) == 6);
      uni2 |= ((uni2 & 6) == 6);
    } else if (lsbit & 1) {
      uni |= 1;
      uni1 |= 1;
      uni2 |= 1;
    } else {
      uni &= ~1;
      uni1 &= ~1;
      uni2 &= ~1;
    }
  }
  diff = ((2 * (uni & 7) + 1) * step) / 8;
  if (uni & 8)
    diff = -diff;
  p0 = pred + diff;
  d0 = tgt - p0;
  d0 = d0 ^ (d0 >> 31);
  diff = ((2 * (uni1 & 7) + 1) * step) / 8;
  if (uni1 & 8)
    diff = -diff;
  p1 = pred + diff;
  d1 = tgt - p1;
  d1 = d1 ^ (d1 >> 31);
  diff = ((2 * (uni2 & 7) + 1) * step) / 8;
  if (uni2 & 8)
    diff = -diff;
  p2 = pred + diff;
  d2 = tgt - p2;
  d2 = d2 ^ (d2 >> 31);
  if ((p0 < -32767) || (p0 > 32767))
    d0 += 65536;
  if ((p1 < -32767) || (p1 > 32767))
    d1 += 65536;
  if ((p2 < -32767) || (p2 > 32767))
    d2 += 65536;
  if (d1 < d0)
    uni = uni1;
  if (d2 < d0)
    uni = uni2;
  return (uni);
}


x86 assembly (clang, -O0):
<BGBDT_SndBTAC1C_EncodeQuantUni3>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %edx,-0xc(%rbp)
mov    %ecx,-0x10(%rbp)
mov    %r8d,-0x14(%rbp)
mov    -0x4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
mov    -0x4(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x4(%rbp),%eax
xor    -0x18(%rbp),%eax
and    $0xfffffff8,%eax
cmp    $0x0,%eax
je     113e <BGBDT_SndBTAC1C_EncodeQuantUni3+0x3e>
mov    -0x4(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x4(%rbp),%eax
xor    -0x1c(%rbp),%eax
and    $0xfffffff8,%eax
cmp    $0x0,%eax
je     1156 <BGBDT_SndBTAC1C_EncodeQuantUni3+0x56>
mov    -0x4(%rbp),%eax
mov    %eax,-0x1c(%rbp)
cmpl   $0x0,-0x14(%rbp)
je     1223 <BGBDT_SndBTAC1C_EncodeQuantUni3+0x123>
cmpl   $0x4,-0x14(%rbp)
jne    11cf <BGBDT_SndBTAC1C_EncodeQuantUni3+0xcf>
mov    -0x4(%rbp),%eax
and    $0xfffffffe,%eax
mov    %eax,-0x4(%rbp)
mov    -0x18(%rbp),%eax
and    $0xfffffffe,%eax
mov    %eax,-0x18(%rbp)
mov    -0x1c(%rbp),%eax
and    $0xfffffffe,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x4(%rbp),%eax
and    $0x6,%eax
cmp    $0x6,%eax
sete   %al
and    $0x1,%al
movzbl %al,%eax
or     -0x4(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x18(%rbp),%eax
and    $0x6,%eax
cmp    $0x6,%eax
sete   %al
and    $0x1,%al
movzbl %al,%eax
or     -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x1c(%rbp),%eax
and    $0x6,%eax
cmp    $0x6,%eax
sete   %al
and    $0x1,%al
movzbl %al,%eax
or     -0x1c(%rbp),%eax
mov    %eax,-0x1c(%rbp)
jmp    121e <BGBDT_SndBTAC1C_EncodeQuantUni3+0x11e>
mov    -0x14(%rbp),%eax
and    $0x1,%eax
cmp    $0x0,%eax
je     11fe <BGBDT_SndBTAC1C_EncodeQuantUni3+0xfe>
mov    -0x4(%rbp),%eax
or     $0x1,%eax
mov    %eax,-0x4(%rbp)
mov    -0x18(%rbp),%eax
or     $0x1,%eax
mov    %eax,-0x18(%rbp)
mov    -0x1c(%rbp),%eax
or     $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1219 <BGBDT_SndBTAC1C_EncodeQuantUni3+0x119>
mov    -0x4(%rbp),%eax
and    $0xfffffffe,%eax
mov    %eax,-0x4(%rbp)
mov    -0x18(%rbp),%eax
and    $0xfffffffe,%eax
mov    %eax,-0x18(%rbp)
mov    -0x1c(%rbp),%eax
and    $0xfffffffe,%eax
mov    %eax,-0x1c(%rbp)
jmp    121e <BGBDT_SndBTAC1C_EncodeQuantUni3+0x11e>
jmp    1223 <BGBDT_SndBTAC1C_EncodeQuantUni3+0x123>
mov    -0x4(%rbp),%eax
and    $0x7,%eax
shl    $0x1,%eax
add    $0x1,%eax
imul   -0x8(%rbp),%eax
mov    $0x8,%ecx
cltd
idiv   %ecx
mov    %eax,-0x20(%rbp)
mov    -0x4(%rbp),%eax
and    $0x8,%eax
cmp    $0x0,%eax
je     1255 <BGBDT_SndBTAC1C_EncodeQuantUni3+0x155>
xor    %eax,%eax
sub    -0x20(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0xc(%rbp),%eax
add    -0x20(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x10(%rbp),%eax
sub    -0x24(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%eax
mov    -0x30(%rbp),%ecx
sar    $0x1f,%ecx
xor    %ecx,%eax
mov    %eax,-0x30(%rbp)
mov    -0x18(%rbp),%eax
and    $0x7,%eax
shl    $0x1,%eax
add    $0x1,%eax
imul   -0x8(%rbp),%eax
mov    $0x8,%ecx
cltd
idiv   %ecx
mov    %eax,-0x20(%rbp)
mov    -0x18(%rbp),%eax
and    $0x8,%eax
cmp    $0x0,%eax
je     12a7 <BGBDT_SndBTAC1C_EncodeQuantUni3+0x1a7>
xor    %eax,%eax
sub    -0x20(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0xc(%rbp),%eax
add    -0x20(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x10(%rbp),%eax
sub    -0x28(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%eax
mov    -0x34(%rbp),%ecx
sar    $0x1f,%ecx
xor    %ecx,%eax
mov    %eax,-0x34(%rbp)
mov    -0x1c(%rbp),%eax
and    $0x7,%eax
shl    $0x1,%eax
add    $0x1,%eax
imul   -0x8(%rbp),%eax
mov    $0x8,%ecx
cltd
idiv   %ecx
mov    %eax,-0x20(%rbp)
mov    -0x1c(%rbp),%eax
and    $0x8,%eax
cmp    $0x0,%eax
je     12f9 <BGBDT_SndBTAC1C_EncodeQuantUni3+0x1f9>
xor    %eax,%eax
sub    -0x20(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0xc(%rbp),%eax
add    -0x20(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x10(%rbp),%eax
sub    -0x2c(%rbp),%eax
mov    %eax,-0x38(%rbp)
mov    -0x38(%rbp),%eax
mov    -0x38(%rbp),%ecx
sar    $0x1f,%ecx
xor    %ecx,%eax
mov    %eax,-0x38(%rbp)
cmpl   $0xffff8001,-0x24(%rbp)
jl     1333 <BGBDT_SndBTAC1C_EncodeQuantUni3+0x233>
cmpl   $0x7fff,-0x24(%rbp)
jle    133e <BGBDT_SndBTAC1C_EncodeQuantUni3+0x23e>
mov    -0x30(%rbp),%eax
add    $0x10000,%eax
mov    %eax,-0x30(%rbp)
cmpl   $0xffff8001,-0x28(%rbp)
jl     1358 <BGBDT_SndBTAC1C_EncodeQuantUni3+0x258>
cmpl   $0x7fff,-0x28(%rbp)
jle    1363 <BGBDT_SndBTAC1C_EncodeQuantUni3+0x263>
mov    -0x34(%rbp),%eax
add    $0x10000,%eax
mov    %eax,-0x34(%rbp)
cmpl   $0xffff8001,-0x2c(%rbp)
jl     137d <BGBDT_SndBTAC1C_EncodeQuantUni3+0x27d>
cmpl   $0x7fff,-0x2c(%rbp)
jle    1388 <BGBDT_SndBTAC1C_EncodeQuantUni3+0x288>
mov    -0x38(%rbp),%eax
add    $0x10000,%eax
mov    %eax,-0x38(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x30(%rbp),%eax
jge    139a <BGBDT_SndBTAC1C_EncodeQuantUni3+0x29a>
mov    -0x18(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x38(%rbp),%eax
cmp    -0x30(%rbp),%eax
jge    13ac <BGBDT_SndBTAC1C_EncodeQuantUni3+0x2ac>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<BGBDT_SndBTAC1C_EncodeQuantUni3>:
movd   %edi,%xmm0
pshufd $0x50,%xmm0,%xmm1
movdqa 0xeef(%rip),%xmm2
paddd  %xmm1,%xmm2
movdqa %xmm2,%xmm3
pxor   %xmm1,%xmm3
pxor   0xeeb(%rip),%xmm3
movdqa 0xef3(%rip),%xmm0
pcmpgtd %xmm3,%xmm0
pand   %xmm0,%xmm2
pandn  %xmm1,%xmm0
por    %xmm2,%xmm0
test   %r8d,%r8d
je     11a3 <BGBDT_SndBTAC1C_EncodeQuantUni3+0xa3>
cmp    $0x4,%r8d
jne    1185 <BGBDT_SndBTAC1C_EncodeQuantUni3+0x85>
mov    %edi,%r8d
and    $0xfffffffe,%r8d
movdqa 0xed9(%rip),%xmm1
pand   %xmm0,%xmm1
not    %edi
xor    %eax,%eax
test   $0x6,%dil
sete   %al
or     %r8d,%eax
movdqa 0xecf(%rip),%xmm2
pand   %xmm2,%xmm0
pcmpeqd %xmm2,%xmm0
psubd  %xmm0,%xmm1
mov    %eax,%edi
movdqa %xmm1,%xmm0
jmp    11a3 <BGBDT_SndBTAC1C_EncodeQuantUni3+0xa3>
test   $0x1,%r8b
jne    1198 <BGBDT_SndBTAC1C_EncodeQuantUni3+0x98>
and    $0xfffffffe,%edi
pand   0xe9a(%rip),%xmm0
jmp    11a3 <BGBDT_SndBTAC1C_EncodeQuantUni3+0xa3>
or     $0x1,%edi
por    0xead(%rip),%xmm0
mov    %edi,%eax
and    $0x7,%eax
lea    (%rax,%rax,1),%r8d
add    $0x1,%r8d
imul   %esi,%r8d
lea    0x7(%r8),%eax
test   %r8d,%r8d
cmovns %r8d,%eax
sar    $0x3,%eax
mov    %eax,%r8d
neg    %r8d
test   $0x8,%dil
cmove  %eax,%r8d
mov    %ecx,%eax
sub    %r8d,%eax
sub    %edx,%eax
mov    %eax,%r9d
sar    $0x1f,%r9d
movdqa %xmm0,%xmm1
paddd  %xmm0,%xmm1
pand   0xe72(%rip),%xmm1
por    0xe5a(%rip),%xmm1
xor    %eax,%r9d
movd   %esi,%xmm2
pshufd $0xf5,%xmm1,%xmm3
pmuludq %xmm2,%xmm1
pshufd $0xe8,%xmm1,%xmm1
pmuludq %xmm2,%xmm3
pshufd $0xe8,%xmm3,%xmm2
punpckldq %xmm2,%xmm1
movdqa %xmm1,%xmm2
psrad  $0x1f,%xmm2
psrld  $0x1d,%xmm2
paddd  %xmm1,%xmm2
psrad  $0x3,%xmm2
movdqa 0xe39(%rip),%xmm1
pand   %xmm0,%xmm1
pxor   %xmm3,%xmm3
pcmpeqd %xmm1,%xmm3
pxor   %xmm3,%xmm2
psubd  %xmm2,%xmm3
movd   %edx,%xmm1
pshufd $0x50,%xmm1,%xmm1
paddd  %xmm3,%xmm1
movd   %ecx,%xmm2
pshufd $0x50,%xmm2,%xmm2
psubd  %xmm1,%xmm2
movdqa %xmm2,%xmm3
psrad  $0x1f,%xmm3
lea    (%r8,%rdx,1),%eax
add    $0xffff8000,%eax
lea    0x10000(%r9),%ecx
cmp    $0xffff0001,%eax
cmovae %r9d,%ecx
paddd  0xdf1(%rip),%xmm1
pxor   %xmm2,%xmm3
pxor   0xd75(%rip),%xmm1
movdqa 0xded(%rip),%xmm2
pcmpgtd %xmm1,%xmm2
movdqa %xmm2,%xmm1
pandn  %xmm3,%xmm1
paddd  0xde9(%rip),%xmm3
pand   %xmm2,%xmm3
por    %xmm1,%xmm3
pshufd $0x55,%xmm0,%xmm1
movd   %xmm1,%edx
movd   %ecx,%xmm1
pshufd $0x0,%xmm1,%xmm1
pshufd $0x50,%xmm3,%xmm2
pcmpgtd %xmm2,%xmm1
movmskpd %xmm1,%ecx
test   $0x2,%cl
cmove  %edi,%edx
movd   %xmm0,%eax
test   $0x1,%cl
cmove  %edx,%eax
ret

LLVM IR (-O0):
define i32 @BGBDT_SndBTAC1C_EncodeQuantUni3(i32 %0, i32 %1, i32 %2, i32 %3, i32 %4) {
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
%15 = alloca i32
%16 = alloca i32
%17 = alloca i32
%18 = alloca i32
%19 = alloca i32
store i32 %0, i32* %6
store i32 %1, i32* %7
store i32 %2, i32* %8
store i32 %3, i32* %9
store i32 %4, i32* %10
%20 = load i32, i32* %6
%21 = add nsw i32 %20, 1
store i32 %21, i32* %11
%22 = load i32, i32* %6
%23 = sub nsw i32 %22, 1
store i32 %23, i32* %12
%24 = load i32, i32* %6
%25 = load i32, i32* %11
%26 = xor i32 %24, %25
%27 = and i32 %26, -8
%28 = icmp ne i32 %27, 0
br i1 %28, label %29, label %31
29: ; preds = %5
%30 = load i32, i32* %6
store i32 %30, i32* %11
br label %31
31: ; preds = %29, %5
%32 = load i32, i32* %6
%33 = load i32, i32* %12
%34 = xor i32 %32, %33
%35 = and i32 %34, -8
%36 = icmp ne i32 %35, 0
br i1 %36, label %37, label %39
37: ; preds = %31
%38 = load i32, i32* %6
store i32 %38, i32* %12
br label %39
39: ; preds = %37, %31
%40 = load i32, i32* %10
%41 = icmp ne i32 %40, 0
br i1 %41, label %42, label %90
42: ; preds = %39
%43 = load i32, i32* %10
%44 = icmp eq i32 %43, 4
br i1 %44, label %45, label %70
45: ; preds = %42
%46 = load i32, i32* %6
%47 = and i32 %46, -2
store i32 %47, i32* %6
%48 = load i32, i32* %11
%49 = and i32 %48, -2
store i32 %49, i32* %11
%50 = load i32, i32* %12
%51 = and i32 %50, -2
store i32 %51, i32* %12
%52 = load i32, i32* %6
%53 = and i32 %52, 6
%54 = icmp eq i32 %53, 6
%55 = zext i1 %54 to i32
%56 = load i32, i32* %6
%57 = or i32 %56, %55
store i32 %57, i32* %6
%58 = load i32, i32* %11
%59 = and i32 %58, 6
%60 = icmp eq i32 %59, 6
%61 = zext i1 %60 to i32
%62 = load i32, i32* %11
%63 = or i32 %62, %61
store i32 %63, i32* %11
%64 = load i32, i32* %12
%65 = and i32 %64, 6
%66 = icmp eq i32 %65, 6
%67 = zext i1 %66 to i32
%68 = load i32, i32* %12
%69 = or i32 %68, %67
store i32 %69, i32* %12
br label %89
70: ; preds = %42
%71 = load i32, i32* %10
%72 = and i32 %71, 1
%73 = icmp ne i32 %72, 0
br i1 %73, label %74, label %81
74: ; preds = %70
%75 = load i32, i32* %6
%76 = or i32 %75, 1
store i32 %76, i32* %6
%77 = load i32, i32* %11
%78 = or i32 %77, 1
store i32 %78, i32* %11
%79 = load i32, i32* %12
%80 = or i32 %79, 1
store i32 %80, i32* %12
br label %88
81: ; preds = %70
%82 = load i32, i32* %6
%83 = and i32 %82, -2
store i32 %83, i32* %6
%84 = load i32, i32* %11
%85 = and i32 %84, -2
store i32 %85, i32* %11
%86 = load i32, i32* %12
%87 = and i32 %86, -2
store i32 %87, i32* %12
br label %88
88: ; preds = %81, %74
br label %89
89: ; preds = %88, %45
br label %90
90: ; preds = %89, %39
%91 = load i32, i32* %6
%92 = and i32 %91, 7
%93 = mul nsw i32 2, %92
%94 = add nsw i32 %93, 1
%95 = load i32, i32* %7
%96 = mul nsw i32 %94, %95
%97 = sdiv i32 %96, 8
store i32 %97, i32* %13
%98 = load i32, i32* %6
%99 = and i32 %98, 8
%100 = icmp ne i32 %99, 0
br i1 %100, label %101, label %104
101: ; preds = %90
%102 = load i32, i32* %13
%103 = sub nsw i32 0, %102
store i32 %103, i32* %13
br label %104
104: ; preds = %101, %90
%105 = load i32, i32* %8
%106 = load i32, i32* %13
%107 = add nsw i32 %105, %106
store i32 %107, i32* %14
%108 = load i32, i32* %9
%109 = load i32, i32* %14
%110 = sub nsw i32 %108, %109
store i32 %110, i32* %17
%111 = load i32, i32* %17
%112 = load i32, i32* %17
%113 = ashr i32 %112, 31
%114 = xor i32 %111, %113
store i32 %114, i32* %17
%115 = load i32, i32* %11
%116 = and i32 %115, 7
%117 = mul nsw i32 2, %116
%118 = add nsw i32 %117, 1
%119 = load i32, i32* %7
%120 = mul nsw i32 %118, %119
%121 = sdiv i32 %120, 8
store i32 %121, i32* %13
%122 = load i32, i32* %11
%123 = and i32 %122, 8
%124 = icmp ne i32 %123, 0
br i1 %124, label %125, label %128
125: ; preds = %104
%126 = load i32, i32* %13
%127 = sub nsw i32 0, %126
store i32 %127, i32* %13
br label %128
128: ; preds = %125, %104
%129 = load i32, i32* %8
%130 = load i32, i32* %13
%131 = add nsw i32 %129, %130
store i32 %131, i32* %15
%132 = load i32, i32* %9
%133 = load i32, i32* %15
%134 = sub nsw i32 %132, %133
store i32 %134, i32* %18
%135 = load i32, i32* %18
%136 = load i32, i32* %18
%137 = ashr i32 %136, 31
%138 = xor i32 %135, %137
store i32 %138, i32* %18
%139 = load i32, i32* %12
%140 = and i32 %139, 7
%141 = mul nsw i32 2, %140
%142 = add nsw i32 %141, 1
%143 = load i32, i32* %7
%144 = mul nsw i32 %142, %143
%145 = sdiv i32 %144, 8
store i32 %145, i32* %13
%146 = load i32, i32* %12
%147 = and i32 %146, 8
%148 = icmp ne i32 %147, 0
br i1 %148, label %149, label %152
149: ; preds = %128
%150 = load i32, i32* %13
%151 = sub nsw i32 0, %150
store i32 %151, i32* %13
br label %152
152: ; preds = %149, %128
%153 = load i32, i32* %8
%154 = load i32, i32* %13
%155 = add nsw i32 %153, %154
store i32 %155, i32* %16
%156 = load i32, i32* %9
%157 = load i32, i32* %16
%158 = sub nsw i32 %156, %157
store i32 %158, i32* %19
%159 = load i32, i32* %19
%160 = load i32, i32* %19
%161 = ashr i32 %160, 31
%162 = xor i32 %159, %161
store i32 %162, i32* %19
%163 = load i32, i32* %14
%164 = icmp slt i32 %163, -32767
br i1 %164, label %168, label %165
165: ; preds = %152
%166 = load i32, i32* %14
%167 = icmp sgt i32 %166, 32767
br i1 %167, label %168, label %171
168: ; preds = %165, %152
%169 = load i32, i32* %17
%170 = add nsw i32 %169, 65536
store i32 %170, i32* %17
br label %171
171: ; preds = %168, %165
%172 = load i32, i32* %15
%173 = icmp slt i32 %172, -32767
br i1 %173, label %177, label %174
174: ; preds = %171
%175 = load i32, i32* %15
%176 = icmp sgt i32 %175, 32767
br i1 %176, label %177, label %180
177: ; preds = %174, %171
%178 = load i32, i32* %18
%179 = add nsw i32 %178, 65536
store i32 %179, i32* %18
br label %180
180: ; preds = %177, %174
%181 = load i32, i32* %16
%182 = icmp slt i32 %181, -32767
br i1 %182, label %186, label %183
183: ; preds = %180
%184 = load i32, i32* %16
%185 = icmp sgt i32 %184, 32767
br i1 %185, label %186, label %189
186: ; preds = %183, %180
%187 = load i32, i32* %19
%188 = add nsw i32 %187, 65536
store i32 %188, i32* %19
br label %189
189: ; preds = %186, %183
%190 = load i32, i32* %18
%191 = load i32, i32* %17
%192 = icmp slt i32 %190, %191
br i1 %192, label %193, label %195
193: ; preds = %189
%194 = load i32, i32* %11
store i32 %194, i32* %6
br label %195
195: ; preds = %193, %189
%196 = load i32, i32* %19
%197 = load i32, i32* %17
%198 = icmp slt i32 %196, %197
br i1 %198, label %199, label %201
199: ; preds = %195
%200 = load i32, i32* %12
store i32 %200, i32* %6
br label %201
201: ; preds = %199, %195
%202 = load i32, i32* %6
ret i32 %202
}

LLVM IR (-O2):
define i32 @BGBDT_SndBTAC1C_EncodeQuantUni3(i32 %0, i32 %1, i32 %2, i32 %3, i32 %4) {
%6 = insertelement <2 x i32> poison, i32 %0, i64 0
%7 = shufflevector <2 x i32> %6, <2 x i32> poison, <2 x i32> zeroinitializer
%8 = add nsw <2 x i32> %7, <i32 -1, i32 1>
%9 = xor <2 x i32> %8, %7
%10 = icmp ult <2 x i32> %9, <i32 8, i32 8>
%11 = select <2 x i1> %10, <2 x i32> %8, <2 x i32> %7
switch i32 %4, label %23 [
i32 0, label %32
i32 4, label %12
]
12: ; preds = %5
%13 = and i32 %0, -2
%14 = and <2 x i32> %11, <i32 -2, i32 -2>
%15 = and i32 %0, 6
%16 = icmp eq i32 %15, 6
%17 = zext i1 %16 to i32
%18 = or i32 %13, %17
%19 = and <2 x i32> %11, <i32 6, i32 6>
%20 = icmp eq <2 x i32> %19, <i32 6, i32 6>
%21 = zext <2 x i1> %20 to <2 x i32>
%22 = or <2 x i32> %14, %21
br label %32
23: ; preds = %5
%24 = and i32 %4, 1
%25 = icmp eq i32 %24, 0
br i1 %25, label %29, label %26
26: ; preds = %23
%27 = or i32 %0, 1
%28 = or <2 x i32> %11, <i32 1, i32 1>
br label %32
29: ; preds = %23
%30 = and i32 %0, -2
%31 = and <2 x i32> %11, <i32 -2, i32 -2>
br label %32
32: ; preds = %5, %12, %29, %26
%33 = phi i32 [ %18, %12 ], [ %27, %26 ], [ %30, %29 ], [ %0, %5 ]
%34 = phi <2 x i32> [ %22, %12 ], [ %28, %26 ], [ %31, %29 ], [ %11, %5 ]
%35 = shl i32 %33, 1
%36 = and i32 %35, 14
%37 = or i32 %36, 1
%38 = mul nsw i32 %37, %1
%39 = sdiv i32 %38, 8
%40 = and i32 %33, 8
%41 = icmp eq i32 %40, 0
%42 = sub nsw i32 0, %39
%43 = select i1 %41, i32 %39, i32 %42
%44 = add nsw i32 %43, %2
%45 = sub nsw i32 %3, %44
%46 = ashr i32 %45, 31
%47 = xor i32 %46, %45
%48 = shl <2 x i32> %34, <i32 1, i32 1>
%49 = and <2 x i32> %48, <i32 14, i32 14>
%50 = or <2 x i32> %49, <i32 1, i32 1>
%51 = insertelement <2 x i32> poison, i32 %1, i64 0
%52 = shufflevector <2 x i32> %51, <2 x i32> poison, <2 x i32> zeroinitializer
%53 = mul nsw <2 x i32> %50, %52
%54 = sdiv <2 x i32> %53, <i32 8, i32 8>
%55 = and <2 x i32> %34, <i32 8, i32 8>
%56 = icmp eq <2 x i32> %55, zeroinitializer
%57 = sub nsw <2 x i32> zeroinitializer, %54
%58 = select <2 x i1> %56, <2 x i32> %54, <2 x i32> %57
%59 = insertelement <2 x i32> poison, i32 %2, i64 0
%60 = shufflevector <2 x i32> %59, <2 x i32> poison, <2 x i32> zeroinitializer
%61 = add nsw <2 x i32> %58, %60
%62 = insertelement <2 x i32> poison, i32 %3, i64 0
%63 = shufflevector <2 x i32> %62, <2 x i32> poison, <2 x i32> zeroinitializer
%64 = sub nsw <2 x i32> %63, %61
%65 = ashr <2 x i32> %64, <i32 31, i32 31>
%66 = xor <2 x i32> %65, %64
%67 = add i32 %44, -32768
%68 = icmp ult i32 %67, -65535
%69 = add nsw i32 %47, 65536
%70 = select i1 %68, i32 %69, i32 %47
%71 = add <2 x i32> %61, <i32 -32768, i32 -32768>
%72 = icmp ult <2 x i32> %71, <i32 -65535, i32 -65535>
%73 = add nsw <2 x i32> %66, <i32 65536, i32 65536>
%74 = select <2 x i1> %72, <2 x i32> %73, <2 x i32> %66
%75 = extractelement <2 x i32> %34, i64 1
%76 = insertelement <2 x i32> poison, i32 %70, i64 0
%77 = shufflevector <2 x i32> %76, <2 x i32> poison, <2 x i32> zeroinitializer
%78 = icmp slt <2 x i32> %74, %77
%79 = extractelement <2 x i1> %78, i64 1
%80 = select i1 %79, i32 %75, i32 %33
%81 = extractelement <2 x i32> %34, i64 0
%82 = extractelement <2 x i1> %78, i64 0
%83 = select i1 %82, i32 %81, i32 %80
ret i32 %83
}