#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 */
typedef scalar_t__ multiplier;
typedef scalar_t__ multiplicand;

/* Variables and functions */
long LONG_MAX;
int product(long multiplier, long multiplicand, long *product) {
  char is_negative = 0;
  *product = 0;
  if ((((multiplier)&0x80000000) ? 0 : 1) !=
      (((multiplicand)&0x80000000) ? 0 : 1)) {
    is_negative = 1;
  }
  if (!(((multiplier)&0x80000000) ? 0 : 1)) {
    multiplier = -multiplier;
  }
  if (!(((multiplicand)&0x80000000) ? 0 : 1)) {
    multiplicand = -multiplicand;
  }
  while (multiplier != 0) {
    if (!(((multiplicand)&0x80000000) ? 0 : 1))
      return -1;
    if (multiplier & 1) {
      if (LONG_MAX - *product < multiplicand)
        return -1;
      *product += multiplicand;
    }
    multiplier >>= 1;
    multiplicand <<= 1;
  }
  if (is_negative) {
    *product = -*product;
  }
  return 0;
}


x86 assembly (clang, -O0):
<product>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
movb   $0x0,-0x21(%rbp)
mov    -0x20(%rbp),%rax
movq   $0x0,(%rax)
movabs $0x80000000,%rdx
and    -0x10(%rbp),%rdx
mov    $0x1,%eax
xor    %ecx,%ecx
cmp    $0x0,%rdx
cmovne %ecx,%eax
movabs $0x80000000,%rsi
and    -0x18(%rbp),%rsi
mov    $0x1,%ecx
xor    %edx,%edx
cmp    $0x0,%rsi
cmovne %edx,%ecx
cmp    %ecx,%eax
je     1163 <product+0x63>
movb   $0x1,-0x21(%rbp)
movabs $0x80000000,%rax
and    -0x10(%rbp),%rax
cmp    $0x0,%rax
je     118a <product+0x8a>
xor    %eax,%eax
test   $0x1,%al
jne    11a3 <product+0xa3>
jmp    1199 <product+0x99>
mov    $0x1,%al
test   $0x1,%al
jne    11a3 <product+0xa3>
jmp    1199 <product+0x99>
xor    %eax,%eax
sub    -0x10(%rbp),%rax
mov    %rax,-0x10(%rbp)
movabs $0x80000000,%rax
and    -0x18(%rbp),%rax
cmp    $0x0,%rax
je     11ca <product+0xca>
xor    %eax,%eax
test   $0x1,%al
jne    11e3 <product+0xe3>
jmp    11d9 <product+0xd9>
mov    $0x1,%al
test   $0x1,%al
jne    11e3 <product+0xe3>
jmp    11d9 <product+0xd9>
xor    %eax,%eax
sub    -0x18(%rbp),%rax
mov    %rax,-0x18(%rbp)
jmp    11e8 <product+0xe8>
cmpq   $0x0,-0x10(%rbp)
je     1299 <product+0x199>
movabs $0x80000000,%rax
and    -0x18(%rbp),%rax
cmp    $0x0,%rax
je     121a <product+0x11a>
xor    %eax,%eax
test   $0x1,%al
jne    1235 <product+0x135>
jmp    1229 <product+0x129>
mov    $0x1,%al
test   $0x1,%al
jne    1235 <product+0x135>
jmp    1229 <product+0x129>
movl   $0xffffffff,-0x4(%rbp)
jmp    12ba <product+0x1ba>
mov    -0x10(%rbp),%rax
and    $0x1,%rax
cmp    $0x0,%rax
je     127c <product+0x17c>
mov    0x2d92(%rip),%rax
mov    (%rax),%rax
mov    -0x20(%rbp),%rcx
sub    (%rcx),%rax
cmp    -0x18(%rbp),%rax
jge    126e <product+0x16e>
movl   $0xffffffff,-0x4(%rbp)
jmp    12ba <product+0x1ba>
mov    -0x18(%rbp),%rcx
mov    -0x20(%rbp),%rax
add    (%rax),%rcx
mov    %rcx,(%rax)
mov    -0x10(%rbp),%rax
sar    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x18(%rbp),%rax
shl    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    11e8 <product+0xe8>
cmpb   $0x0,-0x21(%rbp)
je     12b3 <product+0x1b3>
mov    -0x20(%rbp),%rax
xor    %ecx,%ecx
sub    (%rax),%rcx
mov    -0x20(%rbp),%rax
mov    %rcx,(%rax)
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<product>:
movq   $0x0,(%rdx)
mov    %edi,%r9d
and    $0x80000000,%r9d
mov    %esi,%r8d
and    $0x80000000,%r8d
mov    %rdi,%rcx
neg    %rcx
test   %r9,%r9
cmove  %rdi,%rcx
xor    %r10d,%r10d
test   %rcx,%rcx
je     1186 <product+0x86>
mov    %rsi,%rdi
neg    %rdi
test   %r8,%r8
cmove  %rsi,%rdi
xor    %r10d,%r10d
mov    0x2e99(%rip),%r11
jmp    1168 <product+0x68>
nopl   0x0(%rax)
add    %rdi,%r10
mov    %r10,(%rdx)
mov    %rcx,%rax
sar    %rax
add    %rdi,%rdi
cmp    $0x1,%rcx
mov    %rax,%rcx
jbe    1186 <product+0x86>
mov    $0xffffffff,%eax
test   $0x80000000,%edi
jne    1185 <product+0x85>
test   $0x1,%cl
je     1156 <product+0x56>
mov    (%r11),%rsi
sub    %r10,%rsi
cmp    %rdi,%rsi
jge    1150 <product+0x50>
ret
shr    $0x1f,%r9
shr    $0x1f,%r8
cmp    %r8d,%r9d
je     1199 <product+0x99>
neg    %r10
mov    %r10,(%rdx)
xor    %eax,%eax
ret

LLVM IR (-O0):
@LONG_MAX = global i64 0
define i32 @product(i64 %0, i64 %1, i64* %2) {
%4 = alloca i32
%5 = alloca i64
%6 = alloca i64
%7 = alloca i64*
%8 = alloca i8
store i64 %0, i64* %5
store i64 %1, i64* %6
store i64* %2, i64** %7
store i8 0, i8* %8
%9 = load i64*, i64** %7
store i64 0, i64* %9
%10 = load i64, i64* %5
%11 = and i64 %10, 2147483648
%12 = icmp ne i64 %11, 0
%13 = zext i1 %12 to i64
%14 = select i1 %12, i32 0, i32 1
%15 = load i64, i64* %6
%16 = and i64 %15, 2147483648
%17 = icmp ne i64 %16, 0
%18 = zext i1 %17 to i64
%19 = select i1 %17, i32 0, i32 1
%20 = icmp ne i32 %14, %19
br i1 %20, label %21, label %22
21: ; preds = %3
store i8 1, i8* %8
br label %22
22: ; preds = %21, %3
%23 = load i64, i64* %5
%24 = and i64 %23, 2147483648
%25 = icmp ne i64 %24, 0
br i1 %25, label %26, label %27
26: ; preds = %22
br i1 false, label %31, label %28
27: ; preds = %22
br i1 true, label %31, label %28
28: ; preds = %27, %26
%29 = load i64, i64* %5
%30 = sub nsw i64 0, %29
store i64 %30, i64* %5
br label %31
31: ; preds = %28, %27, %26
%32 = load i64, i64* %6
%33 = and i64 %32, 2147483648
%34 = icmp ne i64 %33, 0
br i1 %34, label %35, label %36
35: ; preds = %31
br i1 false, label %40, label %37
36: ; preds = %31
br i1 true, label %40, label %37
37: ; preds = %36, %35
%38 = load i64, i64* %6
%39 = sub nsw i64 0, %38
store i64 %39, i64* %6
br label %40
40: ; preds = %37, %36, %35
br label %41
41: ; preds = %68, %40
%42 = load i64, i64* %5
%43 = icmp ne i64 %42, 0
br i1 %43, label %44, label %73
44: ; preds = %41
%45 = load i64, i64* %6
%46 = and i64 %45, 2147483648
%47 = icmp ne i64 %46, 0
br i1 %47, label %48, label %49
48: ; preds = %44
br i1 false, label %51, label %50
49: ; preds = %44
br i1 true, label %51, label %50
50: ; preds = %49, %48
store i32 -1, i32* %4
br label %82
51: ; preds = %49, %48
%52 = load i64, i64* %5
%53 = and i64 %52, 1
%54 = icmp ne i64 %53, 0
br i1 %54, label %55, label %68
55: ; preds = %51
%56 = load i64, i64* @LONG_MAX
%57 = load i64*, i64** %7
%58 = load i64, i64* %57
%59 = sub nsw i64 %56, %58
%60 = load i64, i64* %6
%61 = icmp slt i64 %59, %60
br i1 %61, label %62, label %63
62: ; preds = %55
store i32 -1, i32* %4
br label %82
63: ; preds = %55
%64 = load i64, i64* %6
%65 = load i64*, i64** %7
%66 = load i64, i64* %65
%67 = add nsw i64 %66, %64
store i64 %67, i64* %65
br label %68
68: ; preds = %63, %51
%69 = load i64, i64* %5
%70 = ashr i64 %69, 1
store i64 %70, i64* %5
%71 = load i64, i64* %6
%72 = shl i64 %71, 1
store i64 %72, i64* %6
br label %41
73: ; preds = %41
%74 = load i8, i8* %8
%75 = icmp ne i8 %74, 0
br i1 %75, label %76, label %81
76: ; preds = %73
%77 = load i64*, i64** %7
%78 = load i64, i64* %77
%79 = sub nsw i64 0, %78
%80 = load i64*, i64** %7
store i64 %79, i64* %80
br label %81
81: ; preds = %76, %73
store i32 0, i32* %4
br label %82
82: ; preds = %81, %62, %50
%83 = load i32, i32* %4
ret i32 %83
}

LLVM IR (-O2):
@LONG_MAX = global i64 0
define i32 @product(i64 %0, i64 %1, i64* nocapture %2) {
store i64 0, i64* %2
%4 = and i64 %0, 2147483648
%5 = icmp eq i64 %4, 0
%6 = lshr exact i64 %4, 31
%7 = trunc i64 %6 to i32
%8 = and i64 %1, 2147483648
%9 = lshr exact i64 %8, 31
%10 = trunc i64 %9 to i32
%11 = icmp eq i32 %7, %10
%12 = sub nsw i64 0, %0
%13 = select i1 %5, i64 %0, i64 %12
%14 = icmp eq i64 %13, 0
br i1 %14, label %39, label %15
15: ; preds = %3
%16 = icmp eq i64 %8, 0
%17 = sub nsw i64 0, %1
%18 = select i1 %16, i64 %1, i64 %17
br label %19
19: ; preds = %15, %34
%20 = phi i64 [ %35, %34 ], [ 0, %15 ]
%21 = phi i64 [ %37, %34 ], [ %18, %15 ]
%22 = phi i64 [ %36, %34 ], [ %13, %15 ]
%23 = and i64 %21, 2147483648
%24 = icmp eq i64 %23, 0
br i1 %24, label %25, label %43
25: ; preds = %19
%26 = and i64 %22, 1
%27 = icmp eq i64 %26, 0
br i1 %27, label %34, label %28
28: ; preds = %25
%29 = load i64, i64* @LONG_MAX
%30 = sub nsw i64 %29, %20
%31 = icmp slt i64 %30, %21
br i1 %31, label %43, label %32
32: ; preds = %28
%33 = add nsw i64 %20, %21
store i64 %33, i64* %2
br label %34
34: ; preds = %32, %25
%35 = phi i64 [ %33, %32 ], [ %20, %25 ]
%36 = ashr i64 %22, 1
%37 = shl i64 %21, 1
%38 = icmp ult i64 %22, 2
br i1 %38, label %39, label %19
39: ; preds = %34, %3
%40 = phi i64 [ 0, %3 ], [ %35, %34 ]
br i1 %11, label %43, label %41
41: ; preds = %39
%42 = sub nsw i64 0, %40
store i64 %42, i64* %2
br label %43
43: ; preds = %28, %19, %39, %41
%44 = phi i32 [ 0, %41 ], [ 0, %39 ], [ -1, %19 ], [ -1, %28 ]
ret i32 %44
}