int needspace(t1, t2)
int t1;
int t2;
{
  if (!t1)
    return 0;
  if (t1 == 10)
    return 1;
  if (t1 == 8)
    return 1;
  if (t2 == 5)
    return 1;
  switch (t1) {
  case 1:
  case 3:
  case 2:
  case 4:
    switch (t2) {
    case 1:
    case 3:
    case 2:
    case 4:
      return 1;
    }
  }
  return 0;
}


x86 assembly (clang, -O0):
<needspace>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
cmpl   $0x0,-0x8(%rbp)
jne    1120 <needspace+0x20>
movl   $0x0,-0x4(%rbp)
jmp    11a2 <needspace+0xa2>
cmpl   $0xa,-0x8(%rbp)
jne    1136 <needspace+0x36>
movl   $0x1,-0x4(%rbp)
jmp    11a2 <needspace+0xa2>
cmpl   $0x8,-0x8(%rbp)
jne    114c <needspace+0x4c>
movl   $0x1,-0x4(%rbp)
jmp    11a2 <needspace+0xa2>
cmpl   $0x5,-0xc(%rbp)
jne    1162 <needspace+0x62>
movl   $0x1,-0x4(%rbp)
jmp    11a2 <needspace+0xa2>
mov    -0x8(%rbp),%eax
add    $0xffffffff,%eax
sub    $0x3,%eax
ja     119b <needspace+0x9b>
jmp    1176 <needspace+0x76>
mov    -0xc(%rbp),%eax
add    $0xffffffff,%eax
sub    $0x3,%eax
ja     1196 <needspace+0x96>
jmp    118a <needspace+0x8a>
movl   $0x1,-0x4(%rbp)
jmp    11a2 <needspace+0xa2>
jmp    119b <needspace+0x9b>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<needspace>:
test   %edi,%edi
je     1114 <needspace+0x14>
cmp    $0x8,%edi
je     110e <needspace+0xe>
cmp    $0xa,%edi
jne    1117 <needspace+0x17>
mov    $0x1,%eax
ret
mov    %edi,%eax
ret
mov    $0x1,%eax
cmp    $0x5,%esi
je     1131 <needspace+0x31>
add    $0xffffffff,%edi
add    $0xffffffff,%esi
or     %edi,%esi
xor    %eax,%eax
cmp    $0x4,%esi
setb   %al
ret

LLVM IR (-O0):
define i32 @needspace(i32 %0, i32 %1) {
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
store i32 %0, i32* %4
store i32 %1, i32* %5
%6 = load i32, i32* %4
%7 = icmp ne i32 %6, 0
br i1 %7, label %9, label %8
8: ; preds = %2
store i32 0, i32* %3
br label %28
9: ; preds = %2
%10 = load i32, i32* %4
%11 = icmp eq i32 %10, 10
br i1 %11, label %12, label %13
12: ; preds = %9
store i32 1, i32* %3
br label %28
13: ; preds = %9
%14 = load i32, i32* %4
%15 = icmp eq i32 %14, 8
br i1 %15, label %16, label %17
16: ; preds = %13
store i32 1, i32* %3
br label %28
17: ; preds = %13
%18 = load i32, i32* %5
%19 = icmp eq i32 %18, 5
br i1 %19, label %20, label %21
20: ; preds = %17
store i32 1, i32* %3
br label %28
21: ; preds = %17
%22 = load i32, i32* %4
switch i32 %22, label %27 [
i32 1, label %23
i32 3, label %23
i32 2, label %23
i32 4, label %23
]
23: ; preds = %21, %21, %21, %21
%24 = load i32, i32* %5
switch i32 %24, label %26 [
i32 1, label %25
i32 3, label %25
i32 2, label %25
i32 4, label %25
]
25: ; preds = %23, %23, %23, %23
store i32 1, i32* %3
br label %28
26: ; preds = %23
br label %27
27: ; preds = %26, %21
store i32 0, i32* %3
br label %28
28: ; preds = %27, %25, %20, %16, %12, %8
%29 = load i32, i32* %3
ret i32 %29
}

LLVM IR (-O2):
define i32 @needspace(i32 %0, i32 %1) {
switch i32 %0, label %5 [
i32 0, label %13
i32 10, label %3
i32 8, label %4
]
3: ; preds = %2
br label %13
4: ; preds = %2
br label %13
5: ; preds = %2
%6 = icmp eq i32 %1, 5
br i1 %6, label %13, label %7
7: ; preds = %5
%8 = add i32 %0, -1
%9 = add i32 %1, -1
%10 = or i32 %9, %8
%11 = icmp ult i32 %10, 4
%12 = zext i1 %11 to i32
br label %13
13: ; preds = %7, %5, %2, %4, %3
%14 = phi i32 [ 1, %3 ], [ 1, %4 ], [ %0, %2 ], [ 1, %5 ], [ %12, %7 ]
ret i32 %14
}