#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 /*<<< orphan*/ abort();
int /*<<< orphan*/ link_error();
int foo_mult(int i, int j) {
  int k;
  if (i >= -20)
    if (i <= -10)
      if (j >= 2)
        if (j <= 10) {
          k = i * j;
          if (k < -200)
            link_error();
          if (k > -20)
            link_error();
          return k;
        }
  if (i >= -20)
    if (i <= -10)
      if (j >= -10)
        if (j <= -2) {
          k = i * j;
          if (k < 20)
            link_error();
          if (k > 200)
            link_error();
          return k;
        }
  if (i >= -20)
    if (i <= 10)
      if (j >= 2)
        if (j <= 10) {
          k = i * j;
          if (k < -200)
            link_error();
          if (k > 100)
            link_error();
          return k;
        }
  if (i >= -20)
    if (i <= 10)
      if (j >= -10)
        if (j <= -2) {
          k = i * j;
          if (k < -100)
            link_error();
          if (k > 200)
            link_error();
          return k;
        }
  if (i >= 10)
    if (i <= 20)
      if (j >= 2)
        if (j <= 10) {
          k = i * j;
          if (k < 20)
            link_error();
          if (k > 200)
            link_error();
          return k;
        }
  if (i >= 10)
    if (i <= 20)
      if (j >= -10)
        if (j <= -2) {
          k = i * j;
          if (k < -200)
            link_error();
          if (k > -20)
            link_error();
          return k;
        }
  abort();
}


x86 assembly (clang, -O0):
<foo_mult>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %edi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
cmpl   $0xffffffec,-0x8(%rbp)
jl     119f <foo_mult+0x7f>
cmpl   $0xfffffff6,-0x8(%rbp)
jg     119a <foo_mult+0x7a>
cmpl   $0x2,-0xc(%rbp)
jl     1195 <foo_mult+0x75>
cmpl   $0xa,-0xc(%rbp)
jg     1190 <foo_mult+0x70>
mov    -0x8(%rbp),%eax
imul   -0xc(%rbp),%eax
mov    %eax,-0x10(%rbp)
cmpl   $0xffffff38,-0x10(%rbp)
jge    1174 <foo_mult+0x54>
mov    $0x0,%al
call   1040 <link_error@plt>
cmpl   $0xffffffec,-0x10(%rbp)
jle    1185 <foo_mult+0x65>
mov    $0x0,%al
call   1040 <link_error@plt>
mov    -0x10(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    13db <foo_mult+0x2bb>
jmp    1195 <foo_mult+0x75>
jmp    119a <foo_mult+0x7a>
jmp    119f <foo_mult+0x7f>
cmpl   $0xffffffec,-0x8(%rbp)
jl     1210 <foo_mult+0xf0>
cmpl   $0xfffffff6,-0x8(%rbp)
jg     120b <foo_mult+0xeb>
cmpl   $0xfffffff6,-0xc(%rbp)
jl     1206 <foo_mult+0xe6>
cmpl   $0xfffffffe,-0xc(%rbp)
jg     1201 <foo_mult+0xe1>
mov    -0x8(%rbp),%eax
imul   -0xc(%rbp),%eax
mov    %eax,-0x10(%rbp)
cmpl   $0x14,-0x10(%rbp)
jge    11e2 <foo_mult+0xc2>
mov    $0x0,%al
call   1040 <link_error@plt>
cmpl   $0xc8,-0x10(%rbp)
jle    11f6 <foo_mult+0xd6>
mov    $0x0,%al
call   1040 <link_error@plt>
mov    -0x10(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    13db <foo_mult+0x2bb>
jmp    1206 <foo_mult+0xe6>
jmp    120b <foo_mult+0xeb>
jmp    1210 <foo_mult+0xf0>
cmpl   $0xffffffec,-0x8(%rbp)
jl     1281 <foo_mult+0x161>
cmpl   $0xa,-0x8(%rbp)
jg     127c <foo_mult+0x15c>
cmpl   $0x2,-0xc(%rbp)
jl     1277 <foo_mult+0x157>
cmpl   $0xa,-0xc(%rbp)
jg     1272 <foo_mult+0x152>
mov    -0x8(%rbp),%eax
imul   -0xc(%rbp),%eax
mov    %eax,-0x10(%rbp)
cmpl   $0xffffff38,-0x10(%rbp)
jge    1256 <foo_mult+0x136>
mov    $0x0,%al
call   1040 <link_error@plt>
cmpl   $0x64,-0x10(%rbp)
jle    1267 <foo_mult+0x147>
mov    $0x0,%al
call   1040 <link_error@plt>
mov    -0x10(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    13db <foo_mult+0x2bb>
jmp    1277 <foo_mult+0x157>
jmp    127c <foo_mult+0x15c>
jmp    1281 <foo_mult+0x161>
cmpl   $0xffffffec,-0x8(%rbp)
jl     12f2 <foo_mult+0x1d2>
cmpl   $0xa,-0x8(%rbp)
jg     12ed <foo_mult+0x1cd>
cmpl   $0xfffffff6,-0xc(%rbp)
jl     12e8 <foo_mult+0x1c8>
cmpl   $0xfffffffe,-0xc(%rbp)
jg     12e3 <foo_mult+0x1c3>
mov    -0x8(%rbp),%eax
imul   -0xc(%rbp),%eax
mov    %eax,-0x10(%rbp)
cmpl   $0xffffff9c,-0x10(%rbp)
jge    12c4 <foo_mult+0x1a4>
mov    $0x0,%al
call   1040 <link_error@plt>
cmpl   $0xc8,-0x10(%rbp)
jle    12d8 <foo_mult+0x1b8>
mov    $0x0,%al
call   1040 <link_error@plt>
mov    -0x10(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    13db <foo_mult+0x2bb>
jmp    12e8 <foo_mult+0x1c8>
jmp    12ed <foo_mult+0x1cd>
jmp    12f2 <foo_mult+0x1d2>
cmpl   $0xa,-0x8(%rbp)
jl     1363 <foo_mult+0x243>
cmpl   $0x14,-0x8(%rbp)
jg     135e <foo_mult+0x23e>
cmpl   $0x2,-0xc(%rbp)
jl     1359 <foo_mult+0x239>
cmpl   $0xa,-0xc(%rbp)
jg     1354 <foo_mult+0x234>
mov    -0x8(%rbp),%eax
imul   -0xc(%rbp),%eax
mov    %eax,-0x10(%rbp)
cmpl   $0x14,-0x10(%rbp)
jge    1335 <foo_mult+0x215>
mov    $0x0,%al
call   1040 <link_error@plt>
cmpl   $0xc8,-0x10(%rbp)
jle    1349 <foo_mult+0x229>
mov    $0x0,%al
call   1040 <link_error@plt>
mov    -0x10(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    13db <foo_mult+0x2bb>
jmp    1359 <foo_mult+0x239>
jmp    135e <foo_mult+0x23e>
jmp    1363 <foo_mult+0x243>
cmpl   $0xa,-0x8(%rbp)
jl     13d4 <foo_mult+0x2b4>
cmpl   $0x14,-0x8(%rbp)
jg     13cf <foo_mult+0x2af>
cmpl   $0xfffffff6,-0xc(%rbp)
jl     13ca <foo_mult+0x2aa>
cmpl   $0xfffffffe,-0xc(%rbp)
jg     13c5 <foo_mult+0x2a5>
mov    -0x8(%rbp),%eax
imul   -0xc(%rbp),%eax
mov    %eax,-0x10(%rbp)
cmpl   $0xffffff38,-0x10(%rbp)
jge    13a9 <foo_mult+0x289>
mov    $0x0,%al
call   1040 <link_error@plt>
cmpl   $0xffffffec,-0x10(%rbp)
jle    13ba <foo_mult+0x29a>
mov    $0x0,%al
call   1040 <link_error@plt>
mov    -0x10(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    13db <foo_mult+0x2bb>
jmp    13ca <foo_mult+0x2aa>
jmp    13cf <foo_mult+0x2af>
jmp    13d4 <foo_mult+0x2b4>
mov    $0x0,%al
call   1030 <abort@plt>
mov    -0x4(%rbp),%eax
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<foo_mult>:
lea    0x14(%rdi),%eax
lea    -0x2(%rsi),%ecx
cmp    $0xa,%eax
ja     1120 <foo_mult+0x10>
cmp    $0x9,%ecx
jb     1151 <foo_mult+0x41>
lea    0xa(%rsi),%edx
cmp    $0xa,%eax
ja     112d <foo_mult+0x1d>
cmp    $0x9,%edx
jb     1151 <foo_mult+0x41>
cmp    $0x9,%edx
setb   %dl
cmp    $0x9,%ecx
setb   %cl
or     %dl,%cl
cmp    $0x1e,%eax
ja     1144 <foo_mult+0x34>
test   %cl,%cl
jne    1151 <foo_mult+0x41>
lea    -0xa(%rdi),%eax
cmp    $0xb,%eax
setb   %al
test   %cl,%al
je     1157 <foo_mult+0x47>
imul   %edi,%esi
mov    %esi,%eax
ret
push   %rax
xor    %eax,%eax
call   1030 <abort@plt>

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

LLVM IR (-O2):
define i32 @foo_mult(i32 %0, i32 %1) {
%3 = add i32 %0, 20
%4 = icmp ult i32 %3, 11
%5 = add i32 %1, -2
%6 = icmp ult i32 %5, 9
%7 = and i1 %4, %6
br i1 %7, label %22, label %8
8: ; preds = %2
%9 = add i32 %1, 10
%10 = icmp ult i32 %9, 9
%11 = and i1 %4, %10
br i1 %11, label %22, label %12
12: ; preds = %8
%13 = icmp ult i32 %3, 31
%14 = or i1 %6, %10
%15 = and i1 %13, %14
br i1 %15, label %22, label %16
16: ; preds = %12
%17 = add i32 %0, -10
%18 = icmp ult i32 %17, 11
%19 = and i1 %18, %14
br i1 %19, label %22, label %20
20: ; preds = %16
%21 = tail call i32 (...) @abort()
unreachable
22: ; preds = %16, %12, %8, %2
%23 = mul nsw i32 %1, %0
ret i32 %23
}