#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*/ commandF1();
int /*<<< orphan*/ commandF10();
int /*<<< orphan*/ commandF11();
int /*<<< orphan*/ commandF2();
int /*<<< orphan*/ commandF3();
int /*<<< orphan*/ commandF4();
int /*<<< orphan*/ commandF5();
int /*<<< orphan*/ commandF6();
int /*<<< orphan*/ commandF7();
int /*<<< orphan*/ commandF8();
int /*<<< orphan*/ commandF9();
int sl_getc();
void commandF() {
  switch (sl_getc()) {
  case 1:
    commandF1();
    break;
  case 2:
    commandF2();
    break;
  case 3:
    commandF3();
    break;
  case 4:
    commandF4();
    break;
  case 5:
    commandF5();
    break;
  case 6:
    commandF6();
    break;
  case 7:
    commandF7();
    break;
  case 8:
    commandF8();
    break;
  case 9:
    commandF9();
    break;
  case 10:
    commandF10();
    break;
  case 11:
    commandF11();
    break;
  default:
    break;
  }
}


x86 assembly (clang, -O0):
<commandF>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
xor    %eax,%eax
call   1040 <sl_getc@plt>
add    $0xffffffff,%eax
mov    %eax,%ecx
mov    %rcx,-0x8(%rbp)
sub    $0xa,%eax
ja     1279 <commandF+0xb9>
mov    -0x8(%rbp),%rax
lea    0xe14(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
mov    $0x0,%al
call   10e0 <commandF1@plt>
jmp    127e <commandF+0xbe>
mov    $0x0,%al
call   1070 <commandF2@plt>
jmp    127e <commandF+0xbe>
mov    $0x0,%al
call   10b0 <commandF3@plt>
jmp    127e <commandF+0xbe>
mov    $0x0,%al
call   1060 <commandF4@plt>
jmp    127e <commandF+0xbe>
mov    $0x0,%al
call   10d0 <commandF5@plt>
jmp    127e <commandF+0xbe>
mov    $0x0,%al
call   1080 <commandF6@plt>
jmp    127e <commandF+0xbe>
mov    $0x0,%al
call   10c0 <commandF7@plt>
jmp    127e <commandF+0xbe>
mov    $0x0,%al
call   1050 <commandF8@plt>
jmp    127e <commandF+0xbe>
mov    $0x0,%al
call   10a0 <commandF9@plt>
jmp    127e <commandF+0xbe>
mov    $0x0,%al
call   1030 <commandF10@plt>
jmp    127e <commandF+0xbe>
mov    $0x0,%al
call   1090 <commandF11@plt>
jmp    127e <commandF+0xbe>
jmp    127e <commandF+0xbe>
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<commandF>:
push   %rax
xor    %eax,%eax
call   1040 <sl_getc@plt>
add    $0xffffffff,%eax
cmp    $0xa,%eax
ja     11e8 <commandF+0x28>
lea    0xe29(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
xor    %eax,%eax
pop    %rcx
jmp    10e0 <commandF1@plt>
pop    %rax
ret
xor    %eax,%eax
pop    %rcx
jmp    1070 <commandF2@plt>
xor    %eax,%eax
pop    %rcx
jmp    10b0 <commandF3@plt>
xor    %eax,%eax
pop    %rcx
jmp    1060 <commandF4@plt>
xor    %eax,%eax
pop    %rcx
jmp    10d0 <commandF5@plt>
xor    %eax,%eax
pop    %rcx
jmp    1080 <commandF6@plt>
xor    %eax,%eax
pop    %rcx
jmp    10c0 <commandF7@plt>
xor    %eax,%eax
pop    %rcx
jmp    1050 <commandF8@plt>
xor    %eax,%eax
pop    %rcx
jmp    10a0 <commandF9@plt>
xor    %eax,%eax
pop    %rcx
jmp    1030 <commandF10@plt>
xor    %eax,%eax
pop    %rcx
jmp    1090 <commandF11@plt>

LLVM IR (-O0):
define void @commandF() {
%1 = call i32 (...) @sl_getc()
switch i32 %1, label %24 [
i32 1, label %2
i32 2, label %4
i32 3, label %6
i32 4, label %8
i32 5, label %10
i32 6, label %12
i32 7, label %14
i32 8, label %16
i32 9, label %18
i32 10, label %20
i32 11, label %22
]
2: ; preds = %0
%3 = call i32 (...) @commandF1()
br label %25
4: ; preds = %0
%5 = call i32 (...) @commandF2()
br label %25
6: ; preds = %0
%7 = call i32 (...) @commandF3()
br label %25
8: ; preds = %0
%9 = call i32 (...) @commandF4()
br label %25
10: ; preds = %0
%11 = call i32 (...) @commandF5()
br label %25
12: ; preds = %0
%13 = call i32 (...) @commandF6()
br label %25
14: ; preds = %0
%15 = call i32 (...) @commandF7()
br label %25
16: ; preds = %0
%17 = call i32 (...) @commandF8()
br label %25
18: ; preds = %0
%19 = call i32 (...) @commandF9()
br label %25
20: ; preds = %0
%21 = call i32 (...) @commandF10()
br label %25
22: ; preds = %0
%23 = call i32 (...) @commandF11()
br label %25
24: ; preds = %0
br label %25
25: ; preds = %24, %22, %20, %18, %16, %14, %12, %10, %8, %6, %4, %2
ret void
}

LLVM IR (-O2):
define void @commandF() {
%1 = tail call i32 (...) @sl_getc()
switch i32 %1, label %24 [
i32 1, label %2
i32 2, label %4
i32 3, label %6
i32 4, label %8
i32 5, label %10
i32 6, label %12
i32 7, label %14
i32 8, label %16
i32 9, label %18
i32 10, label %20
i32 11, label %22
]
2: ; preds = %0
%3 = tail call i32 (...) @commandF1()
br label %24
4: ; preds = %0
%5 = tail call i32 (...) @commandF2()
br label %24
6: ; preds = %0
%7 = tail call i32 (...) @commandF3()
br label %24
8: ; preds = %0
%9 = tail call i32 (...) @commandF4()
br label %24
10: ; preds = %0
%11 = tail call i32 (...) @commandF5()
br label %24
12: ; preds = %0
%13 = tail call i32 (...) @commandF6()
br label %24
14: ; preds = %0
%15 = tail call i32 (...) @commandF7()
br label %24
16: ; preds = %0
%17 = tail call i32 (...) @commandF8()
br label %24
18: ; preds = %0
%19 = tail call i32 (...) @commandF9()
br label %24
20: ; preds = %0
%21 = tail call i32 (...) @commandF10()
br label %24
22: ; preds = %0
%23 = tail call i32 (...) @commandF11()
br label %24
24: ; preds = %0, %22, %20, %18, %16, %14, %12, %10, %8, %6, %4, %2
ret void
}