int asym_quant(int c, int e, int qbits) {
  int lshift, m, v;
  lshift = e + (qbits - 1) - 24;
  if (lshift >= 0)
    v = c << lshift;
  else
    v = c >> (-lshift);
  m = (1 << (qbits - 1));
  v = (((((v)) > ((m - 1)) ? ((m - 1)) : ((v)))) > ((-m))
           ? ((((v)) > ((m - 1)) ? ((m - 1)) : ((v))))
           : ((-m)));
  return v & ((1 << qbits) - 1);
}


x86 assembly (clang, -O0):
<asym_quant>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %edx,-0xc(%rbp)
mov    -0x8(%rbp),%eax
mov    -0xc(%rbp),%ecx
sub    $0x1,%ecx
add    %ecx,%eax
sub    $0x18,%eax
mov    %eax,-0x10(%rbp)
cmpl   $0x0,-0x10(%rbp)
jl     1138 <asym_quant+0x38>
mov    -0x4(%rbp),%eax
mov    -0x10(%rbp),%ecx
shl    %cl,%eax
mov    %eax,-0x18(%rbp)
jmp    1145 <asym_quant+0x45>
mov    -0x4(%rbp),%eax
xor    %ecx,%ecx
sub    -0x10(%rbp),%ecx
sar    %cl,%eax
mov    %eax,-0x18(%rbp)
mov    -0xc(%rbp),%ecx
sub    $0x1,%ecx
mov    $0x1,%eax
shl    %cl,%eax
mov    %eax,-0x14(%rbp)
mov    -0x18(%rbp),%eax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jle    1174 <asym_quant+0x74>
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    117a <asym_quant+0x7a>
mov    -0x18(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
xor    %ecx,%ecx
sub    -0x14(%rbp),%ecx
cmp    %ecx,%eax
jle    11ba <asym_quant+0xba>
mov    -0x18(%rbp),%eax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jle    11a9 <asym_quant+0xa9>
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    11af <asym_quant+0xaf>
mov    -0x18(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%eax
mov    %eax,-0x24(%rbp)
jmp    11c2 <asym_quant+0xc2>
xor    %eax,%eax
sub    -0x14(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x18(%rbp),%eax
mov    -0xc(%rbp),%ecx
mov    $0x1,%edx
shl    %cl,%edx
mov    %edx,%ecx
sub    $0x1,%ecx
and    %ecx,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<asym_quant>:
lea    (%rdx,%rsi,1),%eax
add    $0xffffffff,%eax
lea    -0x18(%rax),%ecx
mov    %edi,%esi
shl    %cl,%esi
mov    $0x18,%cl
sub    %al,%cl
sar    %cl,%edi
lea    -0x1(%rdx),%ecx
cmp    $0x18,%eax
cmovl  %edi,%esi
mov    $0x1,%edi
shl    %cl,%edi
lea    -0x1(%rdi),%eax
cmp    %eax,%esi
cmovg  %eax,%esi
neg    %edi
cmp    %edi,%esi
cmovg  %esi,%edi
mov    $0xffffffff,%eax
mov    %edx,%ecx
shl    %cl,%eax
not    %eax
and    %edi,%eax
ret

LLVM IR (-O0):
define i32 @asym_quant(i32 %0, i32 %1, i32 %2) {
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
store i32 %0, i32* %4
store i32 %1, i32* %5
store i32 %2, i32* %6
%10 = load i32, i32* %5
%11 = load i32, i32* %6
%12 = sub nsw i32 %11, 1
%13 = add nsw i32 %10, %12
%14 = sub nsw i32 %13, 24
store i32 %14, i32* %7
%15 = load i32, i32* %7
%16 = icmp sge i32 %15, 0
br i1 %16, label %17, label %21
17: ; preds = %3
%18 = load i32, i32* %4
%19 = load i32, i32* %7
%20 = shl i32 %18, %19
store i32 %20, i32* %9
br label %26
21: ; preds = %3
%22 = load i32, i32* %4
%23 = load i32, i32* %7
%24 = sub nsw i32 0, %23
%25 = ashr i32 %22, %24
store i32 %25, i32* %9
br label %26
26: ; preds = %21, %17
%27 = load i32, i32* %6
%28 = sub nsw i32 %27, 1
%29 = shl i32 1, %28
store i32 %29, i32* %8
%30 = load i32, i32* %9
%31 = load i32, i32* %8
%32 = sub nsw i32 %31, 1
%33 = icmp sgt i32 %30, %32
br i1 %33, label %34, label %37
34: ; preds = %26
%35 = load i32, i32* %8
%36 = sub nsw i32 %35, 1
br label %39
37: ; preds = %26
%38 = load i32, i32* %9
br label %39
39: ; preds = %37, %34
%40 = phi i32 [ %36, %34 ], [ %38, %37 ]
%41 = load i32, i32* %8
%42 = sub nsw i32 0, %41
%43 = icmp sgt i32 %40, %42
br i1 %43, label %44, label %56
44: ; preds = %39
%45 = load i32, i32* %9
%46 = load i32, i32* %8
%47 = sub nsw i32 %46, 1
%48 = icmp sgt i32 %45, %47
br i1 %48, label %49, label %52
49: ; preds = %44
%50 = load i32, i32* %8
%51 = sub nsw i32 %50, 1
br label %54
52: ; preds = %44
%53 = load i32, i32* %9
br label %54
54: ; preds = %52, %49
%55 = phi i32 [ %51, %49 ], [ %53, %52 ]
br label %59
56: ; preds = %39
%57 = load i32, i32* %8
%58 = sub nsw i32 0, %57
br label %59
59: ; preds = %56, %54
%60 = phi i32 [ %55, %54 ], [ %58, %56 ]
store i32 %60, i32* %9
%61 = load i32, i32* %9
%62 = load i32, i32* %6
%63 = shl i32 1, %62
%64 = sub nsw i32 %63, 1
%65 = and i32 %61, %64
ret i32 %65
}

LLVM IR (-O2):
define i32 @asym_quant(i32 %0, i32 %1, i32 %2) {
%4 = add nsw i32 %2, -1
%5 = add nsw i32 %4, %1
%6 = icmp sgt i32 %5, 23
%7 = add nsw i32 %5, -24
%8 = shl i32 %0, %7
%9 = sub i32 24, %5
%10 = ashr i32 %0, %9
%11 = select i1 %6, i32 %8, i32 %10
%12 = shl nuw i32 1, %4
%13 = add nsw i32 %12, -1
%14 = icmp sgt i32 %11, %13
%15 = select i1 %14, i32 %13, i32 %11
%16 = sub nsw i32 0, %12
%17 = icmp sgt i32 %15, %16
%18 = select i1 %17, i32 %15, i32 %16
%19 = shl nsw i32 -1, %2
%20 = xor i32 %19, -1
%21 = and i32 %18, %20
ret i32 %21
}