int fn4(int n) {
  if (n > 0) {
    if (n == 1)
      return 1;
    else if (n == 1)
      return 2;
  } else if (n < 0) {
    if (n < -1)
      return 6;
    else if (n < -2) {
      if (n == -10)
        return 3;
      else if (n == -10)
        return 4;
    }
  } else
    return 7;
  return 0;
}


x86 assembly (clang, -O0):
<fn4>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x8(%rbp)
cmpl   $0x0,-0x8(%rbp)
jle    1147 <fn4+0x47>
cmpl   $0x1,-0x8(%rbp)
jne    1127 <fn4+0x27>
movl   $0x1,-0x4(%rbp)
jmp    11c9 <fn4+0xc9>
cmpl   $0x1,-0x8(%rbp)
jne    113d <fn4+0x3d>
movl   $0x2,-0x4(%rbp)
jmp    11c9 <fn4+0xc9>
jmp    1142 <fn4+0x42>
jmp    11c2 <fn4+0xc2>
cmpl   $0x0,-0x8(%rbp)
jge    11b1 <fn4+0xb1>
cmpl   $0xffffffff,-0x8(%rbp)
jge    1167 <fn4+0x67>
movl   $0x6,-0x4(%rbp)
jmp    11c9 <fn4+0xc9>
cmpl   $0xfffffffe,-0x8(%rbp)
jge    11a7 <fn4+0xa7>
cmpl   $0xfffffff6,-0x8(%rbp)
jne    1187 <fn4+0x87>
movl   $0x3,-0x4(%rbp)
jmp    11c9 <fn4+0xc9>
cmpl   $0xfffffff6,-0x8(%rbp)
jne    119d <fn4+0x9d>
movl   $0x4,-0x4(%rbp)
jmp    11c9 <fn4+0xc9>
jmp    11a2 <fn4+0xa2>
jmp    11a7 <fn4+0xa7>
jmp    11ac <fn4+0xac>
jmp    11bd <fn4+0xbd>
movl   $0x7,-0x4(%rbp)
jmp    11c9 <fn4+0xc9>
jmp    11c2 <fn4+0xc2>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<fn4>:
test   %edi,%edi
jle    1112 <fn4+0x12>
mov    $0x1,%eax
cmp    $0x1,%edi
je     1123 <fn4+0x23>
xor    %eax,%eax
jmp    1123 <fn4+0x23>
mov    $0x7,%eax
jns    1123 <fn4+0x23>
mov    $0x6,%eax
cmp    $0xffffffff,%edi
je     110e <fn4+0xe>
ret

LLVM IR (-O0):
define i32 @fn4(i32 %0) {
%2 = alloca i32
%3 = alloca i32
store i32 %0, i32* %3
%4 = load i32, i32* %3
%5 = icmp sgt i32 %4, 0
br i1 %5, label %6, label %16
6: ; preds = %1
%7 = load i32, i32* %3
%8 = icmp eq i32 %7, 1
br i1 %8, label %9, label %10
9: ; preds = %6
store i32 1, i32* %2
br label %41
10: ; preds = %6
%11 = load i32, i32* %3
%12 = icmp eq i32 %11, 1
br i1 %12, label %13, label %14
13: ; preds = %10
store i32 2, i32* %2
br label %41
14: ; preds = %10
br label %15
15: ; preds = %14
br label %40
16: ; preds = %1
%17 = load i32, i32* %3
%18 = icmp slt i32 %17, 0
br i1 %18, label %19, label %38
19: ; preds = %16
%20 = load i32, i32* %3
%21 = icmp slt i32 %20, -1
br i1 %21, label %22, label %23
22: ; preds = %19
store i32 6, i32* %2
br label %41
23: ; preds = %19
%24 = load i32, i32* %3
%25 = icmp slt i32 %24, -2
br i1 %25, label %26, label %36
26: ; preds = %23
%27 = load i32, i32* %3
%28 = icmp eq i32 %27, -10
br i1 %28, label %29, label %30
29: ; preds = %26
store i32 3, i32* %2
br label %41
30: ; preds = %26
%31 = load i32, i32* %3
%32 = icmp eq i32 %31, -10
br i1 %32, label %33, label %34
33: ; preds = %30
store i32 4, i32* %2
br label %41
34: ; preds = %30
br label %35
35: ; preds = %34
br label %36
36: ; preds = %35, %23
br label %37
37: ; preds = %36
br label %39
38: ; preds = %16
store i32 7, i32* %2
br label %41
39: ; preds = %37
br label %40
40: ; preds = %39, %15
store i32 0, i32* %2
br label %41
41: ; preds = %40, %38, %33, %29, %22, %13, %9
%42 = load i32, i32* %2
ret i32 %42
}

LLVM IR (-O2):
define i32 @fn4(i32 %0) {
%2 = icmp sgt i32 %0, 0
br i1 %2, label %3, label %5
3: ; preds = %1
%4 = icmp eq i32 %0, 1
br i1 %4, label %10, label %9
5: ; preds = %1
%6 = icmp slt i32 %0, 0
br i1 %6, label %7, label %10
7: ; preds = %5
%8 = icmp eq i32 %0, -1
br i1 %8, label %9, label %10
9: ; preds = %7, %3
br label %10
10: ; preds = %5, %7, %3, %9
%11 = phi i32 [ 0, %9 ], [ 1, %3 ], [ 6, %7 ], [ 7, %5 ]
ret i32 %11
}