#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
int abs(int);
int /*<<< orphan*/ assert(int);
short mulShift(short A, short B) {
  int sign = 0;
  if (A < 0) {
    A = -A;
    sign = 1;
  }
  assert(A >= 0);
  assert(A < 0x800);
  if (B < 0) {
    B = -B;
    sign ^= 1;
  }
  assert(B >= 0);
  short REF = (A * B) >> 7;
  short shift = 7;
  int C = 0;
  for (short bit = 0x400; bit; bit >>= 1) {
    assert(C < 0xc000);
    if (C < 0x4000)
      C += C;
    else {
      B >>= 1;
      shift--;
    }
    if (A - bit >= 0) {
      A -= bit;
      C += B;
    }
  }
  assert(C < 0x10000);
  assert(shift > 0);
  do
    C >>= 1;
  while (--shift > 0);
  assert(abs(C - REF) <= 1);
  return sign ? -C : C;
}


x86 assembly (clang, -O0):
<mulShift>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %si,%ax
mov    %di,%cx
mov    %cx,-0x2(%rbp)
mov    %ax,-0x4(%rbp)
movl   $0x0,-0x8(%rbp)
movswl -0x2(%rbp),%eax
cmp    $0x0,%eax
jge    115d <mulShift+0x3d>
movswl -0x2(%rbp),%ecx
xor    %eax,%eax
sub    %ecx,%eax
mov    %ax,-0x2(%rbp)
movl   $0x1,-0x8(%rbp)
movswl -0x2(%rbp),%eax
cmp    $0x0,%eax
setge  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
movswl -0x2(%rbp),%eax
cmp    $0x800,%eax
setl   %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
movswl -0x4(%rbp),%eax
cmp    $0x0,%eax
jge    11a9 <mulShift+0x89>
movswl -0x4(%rbp),%ecx
xor    %eax,%eax
sub    %ecx,%eax
mov    %ax,-0x4(%rbp)
mov    -0x8(%rbp),%eax
xor    $0x1,%eax
mov    %eax,-0x8(%rbp)
movswl -0x4(%rbp),%eax
cmp    $0x0,%eax
setge  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
movswl -0x2(%rbp),%eax
movswl -0x4(%rbp),%ecx
imul   %ecx,%eax
sar    $0x7,%eax
mov    %ax,-0xa(%rbp)
movw   $0x7,-0xc(%rbp)
movl   $0x0,-0x10(%rbp)
movw   $0x400,-0x12(%rbp)
cmpw   $0x0,-0x12(%rbp)
je     1273 <mulShift+0x153>
cmpl   $0xc000,-0x10(%rbp)
setl   %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
cmpl   $0x4000,-0x10(%rbp)
jge    121c <mulShift+0xfc>
mov    -0x10(%rbp),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
jmp    1233 <mulShift+0x113>
movswl -0x4(%rbp),%eax
sar    $0x1,%eax
mov    %ax,-0x4(%rbp)
mov    -0xc(%rbp),%ax
add    $0xffff,%ax
mov    %ax,-0xc(%rbp)
movswl -0x2(%rbp),%eax
movswl -0x12(%rbp),%ecx
sub    %ecx,%eax
cmp    $0x0,%eax
jl     125e <mulShift+0x13e>
movswl -0x12(%rbp),%ecx
movswl -0x2(%rbp),%eax
sub    %ecx,%eax
mov    %ax,-0x2(%rbp)
movswl -0x4(%rbp),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
jmp    1263 <mulShift+0x143>
movswl -0x12(%rbp),%eax
sar    $0x1,%eax
mov    %ax,-0x12(%rbp)
jmp    11e2 <mulShift+0xc2>
cmpl   $0x10000,-0x10(%rbp)
setl   %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
movswl -0xc(%rbp),%eax
cmp    $0x0,%eax
setg   %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    -0x10(%rbp),%eax
sar    $0x1,%eax
mov    %eax,-0x10(%rbp)
mov    -0xc(%rbp),%ax
add    $0xffff,%ax
mov    %ax,-0xc(%rbp)
cwtl
cmp    $0x0,%eax
jg     129b <mulShift+0x17b>
mov    -0x10(%rbp),%edi
movswl -0xa(%rbp),%eax
sub    %eax,%edi
call   1030 <abs@plt>
cmp    $0x1,%eax
setle  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
cmpl   $0x0,-0x8(%rbp)
je     12ef <mulShift+0x1cf>
xor    %eax,%eax
sub    -0x10(%rbp),%eax
mov    %eax,-0x18(%rbp)
jmp    12f5 <mulShift+0x1d5>
mov    -0x10(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cwtl
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<mulShift>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %edi,%ebp
neg    %bp
mov    %edi,0x14(%rsp)
cmovs  %di,%bp
mov    %esi,%ebx
mov    %ebp,%eax
not    %eax
movzwl %ax,%edi
shr    $0xf,%edi
call   1030 <assert@plt>
movswl %bp,%eax
xor    %edi,%edi
mov    %eax,0xc(%rsp)
cmp    $0x800,%eax
setl   %dil
call   1030 <assert@plt>
mov    %ebx,%r13d
neg    %r13w
mov    %ebx,0x10(%rsp)
cmovs  %bx,%r13w
mov    %r13d,%eax
not    %eax
movzwl %ax,%edi
shr    $0xf,%edi
call   1030 <assert@plt>
mov    $0x7,%r14w
xor    %r15d,%r15d
mov    $0x400,%r12w
xor    %ebx,%ebx
mov    %r13d,0x8(%rsp)
nopw   0x0(%rax,%rax,1)
xor    %edi,%edi
cmp    $0xc000,%ebx
setl   %dil
call   1030 <assert@plt>
xor    %eax,%eax
cmp    $0x4000,%ebx
setl   %dl
setge  %al
movswl %r13w,%r13d
mov    %eax,%ecx
sar    %cl,%r13d
mov    %ebx,%esi
mov    %edx,%ecx
shl    %cl,%esi
sub    %eax,%r14d
movswl %bp,%ebp
movzwl %r12w,%eax
mov    %ebp,%ecx
sub    %eax,%ecx
cmovns %ecx,%ebp
mov    %r13d,%ebx
cmovs  %r15d,%ebx
add    %esi,%ebx
mov    %eax,%r12d
shr    %r12d
cmp    $0x2,%ax
jae    1190 <mulShift+0x80>
xor    %edi,%edi
cmp    $0x10000,%ebx
setl   %dil
call   1030 <assert@plt>
xor    %edi,%edi
test   %r14w,%r14w
setg   %dil
call   1030 <assert@plt>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
sar    %ebx
add    $0xffffffff,%r14d
test   %r14w,%r14w
jg     1210 <mulShift+0x100>
movswl 0x8(%rsp),%eax
mov    0xc(%rsp),%ecx
imul   %eax,%ecx
shr    $0x7,%ecx
movswl %cx,%eax
mov    %ebx,%ecx
sub    %eax,%ecx
mov    %ecx,%eax
neg    %eax
cmovs  %ecx,%eax
xor    %edi,%edi
cmp    $0x2,%eax
setb   %dil
call   1030 <assert@plt>
mov    %ebx,%eax
neg    %eax
mov    0x10(%rsp),%ecx
xor    0x14(%rsp),%cx
cmovns %ebx,%eax
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define signext i16 @mulShift(i16 signext %0, i16 signext %1) {
%3 = alloca i16
%4 = alloca i16
%5 = alloca i32
%6 = alloca i16
%7 = alloca i16
%8 = alloca i32
%9 = alloca i16
store i16 %0, i16* %3
store i16 %1, i16* %4
store i32 0, i32* %5
%10 = load i16, i16* %3
%11 = sext i16 %10 to i32
%12 = icmp slt i32 %11, 0
br i1 %12, label %13, label %18
13: ; preds = %2
%14 = load i16, i16* %3
%15 = sext i16 %14 to i32
%16 = sub nsw i32 0, %15
%17 = trunc i32 %16 to i16
store i16 %17, i16* %3
store i32 1, i32* %5
br label %18
18: ; preds = %13, %2
%19 = load i16, i16* %3
%20 = sext i16 %19 to i32
%21 = icmp sge i32 %20, 0
%22 = zext i1 %21 to i32
%23 = call i32 @assert(i32 %22)
%24 = load i16, i16* %3
%25 = sext i16 %24 to i32
%26 = icmp slt i32 %25, 2048
%27 = zext i1 %26 to i32
%28 = call i32 @assert(i32 %27)
%29 = load i16, i16* %4
%30 = sext i16 %29 to i32
%31 = icmp slt i32 %30, 0
br i1 %31, label %32, label %39
32: ; preds = %18
%33 = load i16, i16* %4
%34 = sext i16 %33 to i32
%35 = sub nsw i32 0, %34
%36 = trunc i32 %35 to i16
store i16 %36, i16* %4
%37 = load i32, i32* %5
%38 = xor i32 %37, 1
store i32 %38, i32* %5
br label %39
39: ; preds = %32, %18
%40 = load i16, i16* %4
%41 = sext i16 %40 to i32
%42 = icmp sge i32 %41, 0
%43 = zext i1 %42 to i32
%44 = call i32 @assert(i32 %43)
%45 = load i16, i16* %3
%46 = sext i16 %45 to i32
%47 = load i16, i16* %4
%48 = sext i16 %47 to i32
%49 = mul nsw i32 %46, %48
%50 = ashr i32 %49, 7
%51 = trunc i32 %50 to i16
store i16 %51, i16* %6
store i16 7, i16* %7
store i32 0, i32* %8
store i16 1024, i16* %9
br label %52
52: ; preds = %92, %39
%53 = load i16, i16* %9
%54 = icmp ne i16 %53, 0
br i1 %54, label %55, label %97
55: ; preds = %52
%56 = load i32, i32* %8
%57 = icmp slt i32 %56, 49152
%58 = zext i1 %57 to i32
%59 = call i32 @assert(i32 %58)
%60 = load i32, i32* %8
%61 = icmp slt i32 %60, 16384
br i1 %61, label %62, label %66
62: ; preds = %55
%63 = load i32, i32* %8
%64 = load i32, i32* %8
%65 = add nsw i32 %64, %63
store i32 %65, i32* %8
br label %73
66: ; preds = %55
%67 = load i16, i16* %4
%68 = sext i16 %67 to i32
%69 = ashr i32 %68, 1
%70 = trunc i32 %69 to i16
store i16 %70, i16* %4
%71 = load i16, i16* %7
%72 = add i16 %71, -1
store i16 %72, i16* %7
br label %73
73: ; preds = %66, %62
%74 = load i16, i16* %3
%75 = sext i16 %74 to i32
%76 = load i16, i16* %9
%77 = sext i16 %76 to i32
%78 = sub nsw i32 %75, %77
%79 = icmp sge i32 %78, 0
br i1 %79, label %80, label %91
80: ; preds = %73
%81 = load i16, i16* %9
%82 = sext i16 %81 to i32
%83 = load i16, i16* %3
%84 = sext i16 %83 to i32
%85 = sub nsw i32 %84, %82
%86 = trunc i32 %85 to i16
store i16 %86, i16* %3
%87 = load i16, i16* %4
%88 = sext i16 %87 to i32
%89 = load i32, i32* %8
%90 = add nsw i32 %89, %88
store i32 %90, i32* %8
br label %91
91: ; preds = %80, %73
br label %92
92: ; preds = %91
%93 = load i16, i16* %9
%94 = sext i16 %93 to i32
%95 = ashr i32 %94, 1
%96 = trunc i32 %95 to i16
store i16 %96, i16* %9
br label %52
97: ; preds = %52
%98 = load i32, i32* %8
%99 = icmp slt i32 %98, 65536
%100 = zext i1 %99 to i32
%101 = call i32 @assert(i32 %100)
%102 = load i16, i16* %7
%103 = sext i16 %102 to i32
%104 = icmp sgt i32 %103, 0
%105 = zext i1 %104 to i32
%106 = call i32 @assert(i32 %105)
br label %107
107: ; preds = %110, %97
%108 = load i32, i32* %8
%109 = ashr i32 %108, 1
store i32 %109, i32* %8
br label %110
110: ; preds = %107
%111 = load i16, i16* %7
%112 = add i16 %111, -1
store i16 %112, i16* %7
%113 = sext i16 %112 to i32
%114 = icmp sgt i32 %113, 0
br i1 %114, label %107, label %115
115: ; preds = %110
%116 = load i32, i32* %8
%117 = load i16, i16* %6
%118 = sext i16 %117 to i32
%119 = sub nsw i32 %116, %118
%120 = call i32 @abs(i32 %119)
%121 = icmp sle i32 %120, 1
%122 = zext i1 %121 to i32
%123 = call i32 @assert(i32 %122)
%124 = load i32, i32* %5
%125 = icmp ne i32 %124, 0
br i1 %125, label %126, label %129
126: ; preds = %115
%127 = load i32, i32* %8
%128 = sub nsw i32 0, %127
br label %131
129: ; preds = %115
%130 = load i32, i32* %8
br label %131
131: ; preds = %129, %126
%132 = phi i32 [ %128, %126 ], [ %130, %129 ]
%133 = trunc i32 %132 to i16
ret i16 %133
}

LLVM IR (-O2):
define signext i16 @mulShift(i16 signext %0, i16 signext %1) {
%3 = tail call i16 @llvm.abs.i16(i16 %0, i1 false)
%4 = xor i16 %3, -1
%5 = lshr i16 %4, 15
%6 = zext i16 %5 to i32
%7 = tail call i32 @assert(i32 %6)
%8 = icmp slt i16 %3, 2048
%9 = zext i1 %8 to i32
%10 = tail call i32 @assert(i32 %9)
%11 = tail call i16 @llvm.abs.i16(i16 %1, i1 false)
%12 = xor i16 %11, -1
%13 = lshr i16 %12, 15
%14 = zext i16 %13 to i32
%15 = tail call i32 @assert(i32 %14)
br label %23
16: ; preds = %23
%17 = icmp slt i32 %48, 65536
%18 = zext i1 %17 to i32
%19 = tail call i32 @assert(i32 %18)
%20 = icmp sgt i16 %37, 0
%21 = zext i1 %20 to i32
%22 = tail call i32 @assert(i32 %21)
br label %51
23: ; preds = %2, %23
%24 = phi i16 [ 1024, %2 ], [ %49, %23 ]
%25 = phi i32 [ 0, %2 ], [ %48, %23 ]
%26 = phi i16 [ 7, %2 ], [ %37, %23 ]
%27 = phi i16 [ %3, %2 ], [ %46, %23 ]
%28 = phi i16 [ %11, %2 ], [ %35, %23 ]
%29 = icmp slt i32 %25, 49152
%30 = zext i1 %29 to i32
%31 = tail call i32 @assert(i32 %30)
%32 = icmp slt i32 %25, 16384
%33 = xor i1 %32, true
%34 = zext i1 %33 to i16
%35 = ashr i16 %28, %34
%36 = sext i1 %33 to i16
%37 = add i16 %26, %36
%38 = zext i1 %32 to i32
%39 = shl nsw i32 %25, %38
%40 = sext i16 %27 to i32
%41 = zext i16 %24 to i32
%42 = sub nsw i32 %40, %41
%43 = icmp sgt i32 %42, -1
%44 = trunc i32 %42 to i16
%45 = sext i16 %35 to i32
%46 = select i1 %43, i16 %44, i16 %27
%47 = select i1 %43, i32 %45, i32 0
%48 = add nsw i32 %47, %39
%49 = lshr i16 %24, 1
%50 = icmp ult i16 %24, 2
br i1 %50, label %16, label %23
51: ; preds = %51, %16
%52 = phi i16 [ %37, %16 ], [ %55, %51 ]
%53 = phi i32 [ %48, %16 ], [ %54, %51 ]
%54 = ashr i32 %53, 1
%55 = add i16 %52, -1
%56 = icmp sgt i16 %55, 0
br i1 %56, label %51, label %57
57: ; preds = %51
%58 = xor i16 %1, %0
%59 = sext i16 %3 to i32
%60 = sext i16 %11 to i32
%61 = shl nsw i32 %59, 9
%62 = mul i32 %61, %60
%63 = ashr i32 %62, 16
%64 = sub nsw i32 %54, %63
%65 = tail call i32 @llvm.abs.i32(i32 %64, i1 true)
%66 = icmp ult i32 %65, 2
%67 = zext i1 %66 to i32
%68 = tail call i32 @assert(i32 %67)
%69 = icmp sgt i16 %58, -1
%70 = sub nsw i32 0, %54
%71 = select i1 %69, i32 %54, i32 %70
%72 = trunc i32 %71 to i16
ret i16 %72
}