#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 int uint8_t;
typedef int /*<<< orphan*/ uint32_t;

/* Variables and functions */
int /*<<< orphan*/ fd_nrf8001_add_system_credits(int);
int /*<<< orphan*/ fd_nrf8001_dispatch_bond_response(int, int *,
                                                     int /*<<< orphan*/);
int /*<<< orphan*/
fd_nrf8001_dispatch_bond_security_request_response(int, int *,
                                                   int /*<<< orphan*/);
int /*<<< orphan*/ fd_nrf8001_dispatch_broadcast_response(int, int *,
                                                          int /*<<< orphan*/);
int /*<<< orphan*/
fd_nrf8001_dispatch_change_timing_request_response(int, int *,
                                                   int /*<<< orphan*/);
int /*<<< orphan*/
fd_nrf8001_dispatch_close_remote_pipe_response(int, int *, int /*<<< orphan*/);
int /*<<< orphan*/ fd_nrf8001_dispatch_connect_response(int, int *,
                                                        int /*<<< orphan*/);
int /*<<< orphan*/
fd_nrf8001_dispatch_directed_connect_response(int, int *, int /*<<< orphan*/);
int /*<<< orphan*/ fd_nrf8001_dispatch_disconnect_response(int, int *,
                                                           int /*<<< orphan*/);
int /*<<< orphan*/ fd_nrf8001_dispatch_dtm_command_response(int, int *,
                                                            int /*<<< orphan*/);
int /*<<< orphan*/
fd_nrf8001_dispatch_get_battery_level_response(int, int *, int /*<<< orphan*/);
int /*<<< orphan*/
fd_nrf8001_dispatch_get_device_address_response(int, int *, int /*<<< orphan*/);
int /*<<< orphan*/
fd_nrf8001_dispatch_get_device_version_response(int, int *, int /*<<< orphan*/);
int /*<<< orphan*/
fd_nrf8001_dispatch_get_temperature_response(int, int *, int /*<<< orphan*/);
int /*<<< orphan*/
fd_nrf8001_dispatch_open_advertising_pipe_response(int, int *,
                                                   int /*<<< orphan*/);
int /*<<< orphan*/
fd_nrf8001_dispatch_open_remote_pipe_response(int, int *, int /*<<< orphan*/);
int /*<<< orphan*/ fd_nrf8001_dispatch_radio_reset_response(int, int *,
                                                            int /*<<< orphan*/);
int /*<<< orphan*/
fd_nrf8001_dispatch_read_dynamic_data_response(int, int *, int /*<<< orphan*/);
int /*<<< orphan*/
fd_nrf8001_dispatch_set_application_latency_response(int, int *,
                                                     int /*<<< orphan*/);
int /*<<< orphan*/ fd_nrf8001_dispatch_set_key_response(int, int *,
                                                        int /*<<< orphan*/);
int /*<<< orphan*/
fd_nrf8001_dispatch_set_local_data_response(int, int *, int /*<<< orphan*/);
int /*<<< orphan*/
fd_nrf8001_dispatch_set_tx_power_response(int, int *, int /*<<< orphan*/);
int /*<<< orphan*/ fd_nrf8001_dispatch_setup_response(int, int *,
                                                      int /*<<< orphan*/);
int /*<<< orphan*/ fd_nrf8001_dispatch_test_response(int, int *,
                                                     int /*<<< orphan*/);
int /*<<< orphan*/ fd_nrf8001_dispatch_wakeup_response(int, int *,
                                                       int /*<<< orphan*/);
int /*<<< orphan*/
fd_nrf8001_dispatch_write_dynamic_data_response(int, int *, int /*<<< orphan*/);
int /*<<< orphan*/ fd_nrf8001_error();
void fd_nrf8001_command_response_event(uint8_t command_op_code, uint8_t status,
                                       uint8_t *response_data,
                                       uint32_t response_data_length) {
  if (command_op_code != 0x05) {
    fd_nrf8001_add_system_credits(1);
  }
  switch (command_op_code) {
  case 0x01:
    fd_nrf8001_dispatch_test_response(status, response_data,
                                      response_data_length);
    break;
  case 0x03:
    fd_nrf8001_dispatch_dtm_command_response(status, response_data,
                                             response_data_length);
    break;
  case 0x05:
    fd_nrf8001_dispatch_wakeup_response(status, response_data,
                                        response_data_length);
    break;
  case 0x06:
    fd_nrf8001_dispatch_setup_response(status, response_data,
                                       response_data_length);
    break;
  case 0x07:
    fd_nrf8001_dispatch_read_dynamic_data_response(status, response_data,
                                                   response_data_length);
    break;
  case 0x08:
    fd_nrf8001_dispatch_write_dynamic_data_response(status, response_data,
                                                    response_data_length);
    break;
  case 0x09:
    fd_nrf8001_dispatch_get_device_version_response(status, response_data,
                                                    response_data_length);
    break;
  case 0x0A:
    fd_nrf8001_dispatch_get_device_address_response(status, response_data,
                                                    response_data_length);
    break;
  case 0x0B:
    fd_nrf8001_dispatch_get_battery_level_response(status, response_data,
                                                   response_data_length);
    break;
  case 0x0C:
    fd_nrf8001_dispatch_get_temperature_response(status, response_data,
                                                 response_data_length);
    break;
  case 0x0E:
    fd_nrf8001_dispatch_radio_reset_response(status, response_data,
                                             response_data_length);
    break;
  case 0x0F:
    fd_nrf8001_dispatch_connect_response(status, response_data,
                                         response_data_length);
    break;
  case 0x10:
    fd_nrf8001_dispatch_bond_response(status, response_data,
                                      response_data_length);
    break;
  case 0x11:
    fd_nrf8001_dispatch_disconnect_response(status, response_data,
                                            response_data_length);
    break;
  case 0x12:
    fd_nrf8001_dispatch_set_tx_power_response(status, response_data,
                                              response_data_length);
    break;
  case 0x13:
    fd_nrf8001_dispatch_change_timing_request_response(status, response_data,
                                                       response_data_length);
    break;
  case 0x14:
    fd_nrf8001_dispatch_open_remote_pipe_response(status, response_data,
                                                  response_data_length);
    break;
  case 0x19:
    fd_nrf8001_dispatch_set_application_latency_response(status, response_data,
                                                         response_data_length);
    break;
  case 0x1A:
    fd_nrf8001_dispatch_set_key_response(status, response_data,
                                         response_data_length);
    break;
  case 0x1B:
    fd_nrf8001_dispatch_open_advertising_pipe_response(status, response_data,
                                                       response_data_length);
    break;
  case 0x1C:
    fd_nrf8001_dispatch_broadcast_response(status, response_data,
                                           response_data_length);
    break;
  case 0x1D:
    fd_nrf8001_dispatch_bond_security_request_response(status, response_data,
                                                       response_data_length);
    break;
  case 0x1E:
    fd_nrf8001_dispatch_directed_connect_response(status, response_data,
                                                  response_data_length);
    break;
  case 0x1F:
    fd_nrf8001_dispatch_close_remote_pipe_response(status, response_data,
                                                   response_data_length);
    break;
  case 0x0d:
    fd_nrf8001_dispatch_set_local_data_response(status, response_data,
                                                response_data_length);
    break;
  default:
    fd_nrf8001_error();
    break;
  }
}


x86 assembly (clang, -O0):
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %rdx,-0x10(%rbp)
mov    %ecx,-0x14(%rbp)
cmpl   $0x5,-0x4(%rbp)
je     12d9 <fd_nrf8001_command_response_event+0x29>
mov    $0x1,%edi
call   1150 <fd_nrf8001_add_system_credits@plt>
mov    -0x4(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,%ecx
mov    %rcx,-0x20(%rbp)
sub    $0x1e,%eax
ja     14f6 <fd_nrf8001_command_response_event+0x246>
mov    -0x20(%rbp),%rax
lea    0xd07(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
mov    -0x8(%rbp),%edi
mov    -0x10(%rbp),%rsi
mov    -0x14(%rbp),%edx
call   10f0 <fd_nrf8001_dispatch_test_response@plt>
jmp    14fd <fd_nrf8001_command_response_event+0x24d>
mov    -0x8(%rbp),%edi
mov    -0x10(%rbp),%rsi
mov    -0x14(%rbp),%edx
call   10b0 <fd_nrf8001_dispatch_dtm_command_response@plt>
jmp    14fd <fd_nrf8001_command_response_event+0x24d>
mov    -0x8(%rbp),%edi
mov    -0x10(%rbp),%rsi
mov    -0x14(%rbp),%edx
call   1080 <fd_nrf8001_dispatch_wakeup_response@plt>
jmp    14fd <fd_nrf8001_command_response_event+0x24d>
mov    -0x8(%rbp),%edi
mov    -0x10(%rbp),%rsi
mov    -0x14(%rbp),%edx
call   10d0 <fd_nrf8001_dispatch_setup_response@plt>
jmp    14fd <fd_nrf8001_command_response_event+0x24d>
mov    -0x8(%rbp),%edi
mov    -0x10(%rbp),%rsi
mov    -0x14(%rbp),%edx
call   1030 <fd_nrf8001_dispatch_read_dynamic_data_response@plt>
jmp    14fd <fd_nrf8001_command_response_event+0x24d>
mov    -0x8(%rbp),%edi
mov    -0x10(%rbp),%rsi
mov    -0x14(%rbp),%edx
call   11a0 <fd_nrf8001_dispatch_write_dynamic_data_response@plt>
jmp    14fd <fd_nrf8001_command_response_event+0x24d>
mov    -0x8(%rbp),%edi
mov    -0x10(%rbp),%rsi
mov    -0x14(%rbp),%edx
call   11d0 <fd_nrf8001_dispatch_get_device_version_response@plt>
jmp    14fd <fd_nrf8001_command_response_event+0x24d>
mov    -0x8(%rbp),%edi
mov    -0x10(%rbp),%rsi
mov    -0x14(%rbp),%edx
call   11c0 <fd_nrf8001_dispatch_get_device_address_response@plt>
jmp    14fd <fd_nrf8001_command_response_event+0x24d>
mov    -0x8(%rbp),%edi
mov    -0x10(%rbp),%rsi
mov    -0x14(%rbp),%edx
call   1130 <fd_nrf8001_dispatch_get_battery_level_response@plt>
jmp    14fd <fd_nrf8001_command_response_event+0x24d>
mov    -0x8(%rbp),%edi
mov    -0x10(%rbp),%rsi
mov    -0x14(%rbp),%edx
call   1180 <fd_nrf8001_dispatch_get_temperature_response@plt>
jmp    14fd <fd_nrf8001_command_response_event+0x24d>
mov    -0x8(%rbp),%edi
mov    -0x10(%rbp),%rsi
mov    -0x14(%rbp),%edx
call   10e0 <fd_nrf8001_dispatch_radio_reset_response@plt>
jmp    14fd <fd_nrf8001_command_response_event+0x24d>
mov    -0x8(%rbp),%edi
mov    -0x10(%rbp),%rsi
mov    -0x14(%rbp),%edx
call   10c0 <fd_nrf8001_dispatch_connect_response@plt>
jmp    14fd <fd_nrf8001_command_response_event+0x24d>
mov    -0x8(%rbp),%edi
mov    -0x10(%rbp),%rsi
mov    -0x14(%rbp),%edx
call   11b0 <fd_nrf8001_dispatch_bond_response@plt>
jmp    14fd <fd_nrf8001_command_response_event+0x24d>
mov    -0x8(%rbp),%edi
mov    -0x10(%rbp),%rsi
mov    -0x14(%rbp),%edx
call   1090 <fd_nrf8001_dispatch_disconnect_response@plt>
jmp    14fd <fd_nrf8001_command_response_event+0x24d>
mov    -0x8(%rbp),%edi
mov    -0x10(%rbp),%rsi
mov    -0x14(%rbp),%edx
call   1120 <fd_nrf8001_dispatch_set_tx_power_response@plt>
jmp    14fd <fd_nrf8001_command_response_event+0x24d>
mov    -0x8(%rbp),%edi
mov    -0x10(%rbp),%rsi
mov    -0x14(%rbp),%edx
call   1100 <fd_nrf8001_dispatch_change_timing_request_response@plt>
jmp    14fd <fd_nrf8001_command_response_event+0x24d>
mov    -0x8(%rbp),%edi
mov    -0x10(%rbp),%rsi
mov    -0x14(%rbp),%edx
call   1140 <fd_nrf8001_dispatch_open_remote_pipe_response@plt>
jmp    14fd <fd_nrf8001_command_response_event+0x24d>
mov    -0x8(%rbp),%edi
mov    -0x10(%rbp),%rsi
mov    -0x14(%rbp),%edx
call   1170 <fd_nrf8001_dispatch_set_application_latency_response@plt>
jmp    14fd <fd_nrf8001_command_response_event+0x24d>
mov    -0x8(%rbp),%edi
mov    -0x10(%rbp),%rsi
mov    -0x14(%rbp),%edx
call   1060 <fd_nrf8001_dispatch_set_key_response@plt>
jmp    14fd <fd_nrf8001_command_response_event+0x24d>
mov    -0x8(%rbp),%edi
mov    -0x10(%rbp),%rsi
mov    -0x14(%rbp),%edx
call   10a0 <fd_nrf8001_dispatch_open_advertising_pipe_response@plt>
jmp    14fd <fd_nrf8001_command_response_event+0x24d>
mov    -0x8(%rbp),%edi
mov    -0x10(%rbp),%rsi
mov    -0x14(%rbp),%edx
call   1070 <fd_nrf8001_dispatch_broadcast_response@plt>
jmp    14fd <fd_nrf8001_command_response_event+0x24d>
mov    -0x8(%rbp),%edi
mov    -0x10(%rbp),%rsi
mov    -0x14(%rbp),%edx
call   1160 <fd_nrf8001_dispatch_bond_security_request_response@plt>
jmp    14fd <fd_nrf8001_command_response_event+0x24d>
mov    -0x8(%rbp),%edi
mov    -0x10(%rbp),%rsi
mov    -0x14(%rbp),%edx
call   1190 <fd_nrf8001_dispatch_directed_connect_response@plt>
jmp    14fd <fd_nrf8001_command_response_event+0x24d>
mov    -0x8(%rbp),%edi
mov    -0x10(%rbp),%rsi
mov    -0x14(%rbp),%edx
call   1110 <fd_nrf8001_dispatch_close_remote_pipe_response@plt>
jmp    14fd <fd_nrf8001_command_response_event+0x24d>
mov    -0x8(%rbp),%edi
mov    -0x10(%rbp),%rsi
mov    -0x14(%rbp),%edx
call   1050 <fd_nrf8001_dispatch_set_local_data_response@plt>
jmp    14fd <fd_nrf8001_command_response_event+0x24d>
mov    $0x0,%al
call   1040 <fd_nrf8001_error@plt>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
push   %rbp
push   %r15
push   %r14
push   %rbx
push   %rax
mov    %ecx,%r14d
mov    %rdx,%r15
mov    %esi,%ebp
cmp    $0x5,%edi
jne    12db <fd_nrf8001_command_response_event+0x2b>
mov    %ebp,%edi
mov    %r15,%rsi
mov    %r14d,%edx
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
jmp    1080 <fd_nrf8001_dispatch_wakeup_response@plt>
mov    %edi,%ebx
mov    $0x1,%edi
call   1150 <fd_nrf8001_add_system_credits@plt>
add    $0xffffffff,%ebx
cmp    $0x1e,%ebx
ja     1316 <fd_nrf8001_command_response_event+0x66>
lea    0xd0a(%rip),%rax
movslq (%rax,%rbx,4),%rcx
add    %rax,%rcx
jmp    *%rcx
mov    %ebp,%edi
mov    %r15,%rsi
mov    %r14d,%edx
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
jmp    10f0 <fd_nrf8001_dispatch_test_response@plt>
xor    %eax,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
jmp    1040 <fd_nrf8001_error@plt>
mov    %ebp,%edi
mov    %r15,%rsi
mov    %r14d,%edx
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
jmp    10b0 <fd_nrf8001_dispatch_dtm_command_response@plt>
mov    %ebp,%edi
mov    %r15,%rsi
mov    %r14d,%edx
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
jmp    10d0 <fd_nrf8001_dispatch_setup_response@plt>
mov    %ebp,%edi
mov    %r15,%rsi
mov    %r14d,%edx
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
jmp    1030 <fd_nrf8001_dispatch_read_dynamic_data_response@plt>
mov    %ebp,%edi
mov    %r15,%rsi
mov    %r14d,%edx
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
jmp    11a0 <fd_nrf8001_dispatch_write_dynamic_data_response@plt>
mov    %ebp,%edi
mov    %r15,%rsi
mov    %r14d,%edx
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
jmp    11d0 <fd_nrf8001_dispatch_get_device_version_response@plt>
mov    %ebp,%edi
mov    %r15,%rsi
mov    %r14d,%edx
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
jmp    11c0 <fd_nrf8001_dispatch_get_device_address_response@plt>
mov    %ebp,%edi
mov    %r15,%rsi
mov    %r14d,%edx
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
jmp    1130 <fd_nrf8001_dispatch_get_battery_level_response@plt>
mov    %ebp,%edi
mov    %r15,%rsi
mov    %r14d,%edx
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
jmp    1180 <fd_nrf8001_dispatch_get_temperature_response@plt>
mov    %ebp,%edi
mov    %r15,%rsi
mov    %r14d,%edx
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
jmp    1050 <fd_nrf8001_dispatch_set_local_data_response@plt>
mov    %ebp,%edi
mov    %r15,%rsi
mov    %r14d,%edx
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
jmp    10e0 <fd_nrf8001_dispatch_radio_reset_response@plt>
mov    %ebp,%edi
mov    %r15,%rsi
mov    %r14d,%edx
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
jmp    10c0 <fd_nrf8001_dispatch_connect_response@plt>
mov    %ebp,%edi
mov    %r15,%rsi
mov    %r14d,%edx
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
jmp    11b0 <fd_nrf8001_dispatch_bond_response@plt>
mov    %ebp,%edi
mov    %r15,%rsi
mov    %r14d,%edx
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
jmp    1090 <fd_nrf8001_dispatch_disconnect_response@plt>
mov    %ebp,%edi
mov    %r15,%rsi
mov    %r14d,%edx
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
jmp    1120 <fd_nrf8001_dispatch_set_tx_power_response@plt>
mov    %ebp,%edi
mov    %r15,%rsi
mov    %r14d,%edx
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
jmp    1100 <fd_nrf8001_dispatch_change_timing_request_response@plt>
mov    %ebp,%edi
mov    %r15,%rsi
mov    %r14d,%edx
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
jmp    1140 <fd_nrf8001_dispatch_open_remote_pipe_response@plt>
mov    %ebp,%edi
mov    %r15,%rsi
mov    %r14d,%edx
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
jmp    1170 <fd_nrf8001_dispatch_set_application_latency_response@plt>
mov    %ebp,%edi
mov    %r15,%rsi
mov    %r14d,%edx
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
jmp    1060 <fd_nrf8001_dispatch_set_key_response@plt>
mov    %ebp,%edi
mov    %r15,%rsi
mov    %r14d,%edx
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
jmp    10a0 <fd_nrf8001_dispatch_open_advertising_pipe_response@plt>
mov    %ebp,%edi
mov    %r15,%rsi
mov    %r14d,%edx
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
jmp    1070 <fd_nrf8001_dispatch_broadcast_response@plt>
mov    %ebp,%edi
mov    %r15,%rsi
mov    %r14d,%edx
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
jmp    1160 <fd_nrf8001_dispatch_bond_security_request_response@plt>
mov    %ebp,%edi
mov    %r15,%rsi
mov    %r14d,%edx
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
jmp    1190 <fd_nrf8001_dispatch_directed_connect_response@plt>
mov    %ebp,%edi
mov    %r15,%rsi
mov    %r14d,%edx
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
jmp    1110 <fd_nrf8001_dispatch_close_remote_pipe_response@plt>

LLVM IR (-O0):
define void @fd_nrf8001_command_response_event(i32 %0, i32 %1, i32* %2, i32 %3) {
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32*
%8 = alloca i32
store i32 %0, i32* %5
store i32 %1, i32* %6
store i32* %2, i32** %7
store i32 %3, i32* %8
%9 = load i32, i32* %5
%10 = icmp ne i32 %9, 5
br i1 %10, label %11, label %13
11: ; preds = %4
%12 = call i32 @fd_nrf8001_add_system_credits(i32 1)
br label %13
13: ; preds = %11, %4
%14 = load i32, i32* %5
switch i32 %14, label %140 [
i32 1, label %15
i32 3, label %20
i32 5, label %25
i32 6, label %30
i32 7, label %35
i32 8, label %40
i32 9, label %45
i32 10, label %50
i32 11, label %55
i32 12, label %60
i32 14, label %65
i32 15, label %70
i32 16, label %75
i32 17, label %80
i32 18, label %85
i32 19, label %90
i32 20, label %95
i32 25, label %100
i32 26, label %105
i32 27, label %110
i32 28, label %115
i32 29, label %120
i32 30, label %125
i32 31, label %130
i32 13, label %135
]
15: ; preds = %13
%16 = load i32, i32* %6
%17 = load i32*, i32** %7
%18 = load i32, i32* %8
%19 = call i32 @fd_nrf8001_dispatch_test_response(i32 %16, i32* %17, i32 %18)
br label %142
20: ; preds = %13
%21 = load i32, i32* %6
%22 = load i32*, i32** %7
%23 = load i32, i32* %8
%24 = call i32 @fd_nrf8001_dispatch_dtm_command_response(i32 %21, i32* %22, i32 %23)
br label %142
25: ; preds = %13
%26 = load i32, i32* %6
%27 = load i32*, i32** %7
%28 = load i32, i32* %8
%29 = call i32 @fd_nrf8001_dispatch_wakeup_response(i32 %26, i32* %27, i32 %28)
br label %142
30: ; preds = %13
%31 = load i32, i32* %6
%32 = load i32*, i32** %7
%33 = load i32, i32* %8
%34 = call i32 @fd_nrf8001_dispatch_setup_response(i32 %31, i32* %32, i32 %33)
br label %142
35: ; preds = %13
%36 = load i32, i32* %6
%37 = load i32*, i32** %7
%38 = load i32, i32* %8
%39 = call i32 @fd_nrf8001_dispatch_read_dynamic_data_response(i32 %36, i32* %37, i32 %38)
br label %142
40: ; preds = %13
%41 = load i32, i32* %6
%42 = load i32*, i32** %7
%43 = load i32, i32* %8
%44 = call i32 @fd_nrf8001_dispatch_write_dynamic_data_response(i32 %41, i32* %42, i32 %43)
br label %142
45: ; preds = %13
%46 = load i32, i32* %6
%47 = load i32*, i32** %7
%48 = load i32, i32* %8
%49 = call i32 @fd_nrf8001_dispatch_get_device_version_response(i32 %46, i32* %47, i32 %48)
br label %142
50: ; preds = %13
%51 = load i32, i32* %6
%52 = load i32*, i32** %7
%53 = load i32, i32* %8
%54 = call i32 @fd_nrf8001_dispatch_get_device_address_response(i32 %51, i32* %52, i32 %53)
br label %142
55: ; preds = %13
%56 = load i32, i32* %6
%57 = load i32*, i32** %7
%58 = load i32, i32* %8
%59 = call i32 @fd_nrf8001_dispatch_get_battery_level_response(i32 %56, i32* %57, i32 %58)
br label %142
60: ; preds = %13
%61 = load i32, i32* %6
%62 = load i32*, i32** %7
%63 = load i32, i32* %8
%64 = call i32 @fd_nrf8001_dispatch_get_temperature_response(i32 %61, i32* %62, i32 %63)
br label %142
65: ; preds = %13
%66 = load i32, i32* %6
%67 = load i32*, i32** %7
%68 = load i32, i32* %8
%69 = call i32 @fd_nrf8001_dispatch_radio_reset_response(i32 %66, i32* %67, i32 %68)
br label %142
70: ; preds = %13
%71 = load i32, i32* %6
%72 = load i32*, i32** %7
%73 = load i32, i32* %8
%74 = call i32 @fd_nrf8001_dispatch_connect_response(i32 %71, i32* %72, i32 %73)
br label %142
75: ; preds = %13
%76 = load i32, i32* %6
%77 = load i32*, i32** %7
%78 = load i32, i32* %8
%79 = call i32 @fd_nrf8001_dispatch_bond_response(i32 %76, i32* %77, i32 %78)
br label %142
80: ; preds = %13
%81 = load i32, i32* %6
%82 = load i32*, i32** %7
%83 = load i32, i32* %8
%84 = call i32 @fd_nrf8001_dispatch_disconnect_response(i32 %81, i32* %82, i32 %83)
br label %142
85: ; preds = %13
%86 = load i32, i32* %6
%87 = load i32*, i32** %7
%88 = load i32, i32* %8
%89 = call i32 @fd_nrf8001_dispatch_set_tx_power_response(i32 %86, i32* %87, i32 %88)
br label %142
90: ; preds = %13
%91 = load i32, i32* %6
%92 = load i32*, i32** %7
%93 = load i32, i32* %8
%94 = call i32 @fd_nrf8001_dispatch_change_timing_request_response(i32 %91, i32* %92, i32 %93)
br label %142
95: ; preds = %13
%96 = load i32, i32* %6
%97 = load i32*, i32** %7
%98 = load i32, i32* %8
%99 = call i32 @fd_nrf8001_dispatch_open_remote_pipe_response(i32 %96, i32* %97, i32 %98)
br label %142
100: ; preds = %13
%101 = load i32, i32* %6
%102 = load i32*, i32** %7
%103 = load i32, i32* %8
%104 = call i32 @fd_nrf8001_dispatch_set_application_latency_response(i32 %101, i32* %102, i32 %103)
br label %142
105: ; preds = %13
%106 = load i32, i32* %6
%107 = load i32*, i32** %7
%108 = load i32, i32* %8
%109 = call i32 @fd_nrf8001_dispatch_set_key_response(i32 %106, i32* %107, i32 %108)
br label %142
110: ; preds = %13
%111 = load i32, i32* %6
%112 = load i32*, i32** %7
%113 = load i32, i32* %8
%114 = call i32 @fd_nrf8001_dispatch_open_advertising_pipe_response(i32 %111, i32* %112, i32 %113)
br label %142
115: ; preds = %13
%116 = load i32, i32* %6
%117 = load i32*, i32** %7
%118 = load i32, i32* %8
%119 = call i32 @fd_nrf8001_dispatch_broadcast_response(i32 %116, i32* %117, i32 %118)
br label %142
120: ; preds = %13
%121 = load i32, i32* %6
%122 = load i32*, i32** %7
%123 = load i32, i32* %8
%124 = call i32 @fd_nrf8001_dispatch_bond_security_request_response(i32 %121, i32* %122, i32 %123)
br label %142
125: ; preds = %13
%126 = load i32, i32* %6
%127 = load i32*, i32** %7
%128 = load i32, i32* %8
%129 = call i32 @fd_nrf8001_dispatch_directed_connect_response(i32 %126, i32* %127, i32 %128)
br label %142
130: ; preds = %13
%131 = load i32, i32* %6
%132 = load i32*, i32** %7
%133 = load i32, i32* %8
%134 = call i32 @fd_nrf8001_dispatch_close_remote_pipe_response(i32 %131, i32* %132, i32 %133)
br label %142
135: ; preds = %13
%136 = load i32, i32* %6
%137 = load i32*, i32** %7
%138 = load i32, i32* %8
%139 = call i32 @fd_nrf8001_dispatch_set_local_data_response(i32 %136, i32* %137, i32 %138)
br label %142
140: ; preds = %13
%141 = call i32 (...) @fd_nrf8001_error()
br label %142
142: ; preds = %140, %135, %130, %125, %120, %115, %110, %105, %100, %95, %90, %85, %80, %75, %70, %65, %60, %55, %50, %45, %40, %35, %30, %25, %20, %15
ret void
}

LLVM IR (-O2):
define void @fd_nrf8001_command_response_event(i32 %0, i32 %1, i32* %2, i32 %3) {
%5 = icmp eq i32 %0, 5
br i1 %5, label %12, label %6
6: ; preds = %4
%7 = tail call i32 @fd_nrf8001_add_system_credits(i32 1)
switch i32 %0, label %58 [
i32 1, label %8
i32 3, label %10
i32 13, label %56
i32 6, label %14
i32 7, label %16
i32 8, label %18
i32 9, label %20
i32 10, label %22
i32 11, label %24
i32 12, label %26
i32 14, label %28
i32 15, label %30
i32 16, label %32
i32 17, label %34
i32 18, label %36
i32 19, label %38
i32 20, label %40
i32 25, label %42
i32 26, label %44
i32 27, label %46
i32 28, label %48
i32 29, label %50
i32 30, label %52
i32 31, label %54
]
8: ; preds = %6
%9 = tail call i32 @fd_nrf8001_dispatch_test_response(i32 %1, i32* %2, i32 %3)
br label %60
10: ; preds = %6
%11 = tail call i32 @fd_nrf8001_dispatch_dtm_command_response(i32 %1, i32* %2, i32 %3)
br label %60
12: ; preds = %4
%13 = tail call i32 @fd_nrf8001_dispatch_wakeup_response(i32 %1, i32* %2, i32 %3)
br label %60
14: ; preds = %6
%15 = tail call i32 @fd_nrf8001_dispatch_setup_response(i32 %1, i32* %2, i32 %3)
br label %60
16: ; preds = %6
%17 = tail call i32 @fd_nrf8001_dispatch_read_dynamic_data_response(i32 %1, i32* %2, i32 %3)
br label %60
18: ; preds = %6
%19 = tail call i32 @fd_nrf8001_dispatch_write_dynamic_data_response(i32 %1, i32* %2, i32 %3)
br label %60
20: ; preds = %6
%21 = tail call i32 @fd_nrf8001_dispatch_get_device_version_response(i32 %1, i32* %2, i32 %3)
br label %60
22: ; preds = %6
%23 = tail call i32 @fd_nrf8001_dispatch_get_device_address_response(i32 %1, i32* %2, i32 %3)
br label %60
24: ; preds = %6
%25 = tail call i32 @fd_nrf8001_dispatch_get_battery_level_response(i32 %1, i32* %2, i32 %3)
br label %60
26: ; preds = %6
%27 = tail call i32 @fd_nrf8001_dispatch_get_temperature_response(i32 %1, i32* %2, i32 %3)
br label %60
28: ; preds = %6
%29 = tail call i32 @fd_nrf8001_dispatch_radio_reset_response(i32 %1, i32* %2, i32 %3)
br label %60
30: ; preds = %6
%31 = tail call i32 @fd_nrf8001_dispatch_connect_response(i32 %1, i32* %2, i32 %3)
br label %60
32: ; preds = %6
%33 = tail call i32 @fd_nrf8001_dispatch_bond_response(i32 %1, i32* %2, i32 %3)
br label %60
34: ; preds = %6
%35 = tail call i32 @fd_nrf8001_dispatch_disconnect_response(i32 %1, i32* %2, i32 %3)
br label %60
36: ; preds = %6
%37 = tail call i32 @fd_nrf8001_dispatch_set_tx_power_response(i32 %1, i32* %2, i32 %3)
br label %60
38: ; preds = %6
%39 = tail call i32 @fd_nrf8001_dispatch_change_timing_request_response(i32 %1, i32* %2, i32 %3)
br label %60
40: ; preds = %6
%41 = tail call i32 @fd_nrf8001_dispatch_open_remote_pipe_response(i32 %1, i32* %2, i32 %3)
br label %60
42: ; preds = %6
%43 = tail call i32 @fd_nrf8001_dispatch_set_application_latency_response(i32 %1, i32* %2, i32 %3)
br label %60
44: ; preds = %6
%45 = tail call i32 @fd_nrf8001_dispatch_set_key_response(i32 %1, i32* %2, i32 %3)
br label %60
46: ; preds = %6
%47 = tail call i32 @fd_nrf8001_dispatch_open_advertising_pipe_response(i32 %1, i32* %2, i32 %3)
br label %60
48: ; preds = %6
%49 = tail call i32 @fd_nrf8001_dispatch_broadcast_response(i32 %1, i32* %2, i32 %3)
br label %60
50: ; preds = %6
%51 = tail call i32 @fd_nrf8001_dispatch_bond_security_request_response(i32 %1, i32* %2, i32 %3)
br label %60
52: ; preds = %6
%53 = tail call i32 @fd_nrf8001_dispatch_directed_connect_response(i32 %1, i32* %2, i32 %3)
br label %60
54: ; preds = %6
%55 = tail call i32 @fd_nrf8001_dispatch_close_remote_pipe_response(i32 %1, i32* %2, i32 %3)
br label %60
56: ; preds = %6
%57 = tail call i32 @fd_nrf8001_dispatch_set_local_data_response(i32 %1, i32* %2, i32 %3)
br label %60
58: ; preds = %6
%59 = tail call i32 (...) @fd_nrf8001_error()
br label %60
60: ; preds = %58, %56, %54, %52, %50, %48, %46, %44, %42, %40, %38, %36, %34, %32, %30, %28, %26, %24, %22, %20, %18, %16, %14, %12, %10, %8
ret void
}