#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 uint32_t;

/* Variables and functions */
int debug_cmd(int, int);
int rx_ack(int, int);
int rx_timeout(int *, int, int);
int /*<<< orphan*/ tx(int *, int);
int read_registers(uint32_t addr, uint8_t *buf, int len) {
  uint8_t pkt[(3 + 128)], *p;
  uint8_t pktlen;
  int remaining, cnt, err;
  while (len > 0) {
    pktlen = (len > 128 ? 128 : len);
    p = pkt;
    *p++ = pktlen;
    *p++ = addr & 0xff;
    *p++ = (addr >> 8) & 0xff;
    if ((err = debug_cmd(0x20, 3)) != 0)
      return err;
    tx(pkt, p - pkt);
    if (0 != (err = rx_ack(0xf9, 10000)))
      return err;
    for (p = buf, remaining = pktlen; remaining > 0; p += cnt, remaining -= cnt)
      if ((cnt = rx_timeout(p, remaining, 10000)) <= 0)
        return 1;
    addr += pktlen;
    len -= pktlen;
    buf += pktlen;
  }
  return 0;
}


x86 assembly (clang, -O0):
<read_registers>:
push   %rbp
mov    %rsp,%rbp
sub    $0x240,%rsp
mov    %edi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
cmpl   $0x0,-0x14(%rbp)
jle    1346 <read_registers+0x206>
cmpl   $0x80,-0x14(%rbp)
jle    117c <read_registers+0x3c>
mov    $0x80,%eax
mov    %eax,-0x23c(%rbp)
jmp    1185 <read_registers+0x45>
mov    -0x14(%rbp),%eax
mov    %eax,-0x23c(%rbp)
mov    -0x23c(%rbp),%eax
mov    %eax,-0x22c(%rbp)
lea    -0x220(%rbp),%rax
mov    %rax,-0x228(%rbp)
mov    -0x22c(%rbp),%ecx
mov    -0x228(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x228(%rbp)
mov    %ecx,(%rax)
mov    -0x8(%rbp),%ecx
and    $0xff,%ecx
mov    -0x228(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x228(%rbp)
mov    %ecx,(%rax)
mov    -0x8(%rbp),%ecx
sar    $0x8,%ecx
and    $0xff,%ecx
mov    -0x228(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x228(%rbp)
mov    %ecx,(%rax)
mov    $0x20,%edi
mov    $0x3,%esi
call   1040 <debug_cmd@plt>
mov    %eax,-0x238(%rbp)
cmp    $0x0,%eax
je     122b <read_registers+0xeb>
mov    -0x238(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    134d <read_registers+0x20d>
lea    -0x220(%rbp),%rdi
mov    -0x228(%rbp),%rax
lea    -0x220(%rbp),%rcx
sub    %rcx,%rax
sar    $0x2,%rax
mov    %eax,%esi
call   1050 <tx@plt>
mov    $0xf9,%edi
mov    $0x2710,%esi
call   1030 <rx_ack@plt>
mov    %eax,%ecx
mov    %ecx,-0x238(%rbp)
xor    %eax,%eax
cmp    %ecx,%eax
je     127d <read_registers+0x13d>
mov    -0x238(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    134d <read_registers+0x20d>
mov    -0x10(%rbp),%rax
mov    %rax,-0x228(%rbp)
mov    -0x22c(%rbp),%eax
mov    %eax,-0x230(%rbp)
cmpl   $0x0,-0x230(%rbp)
jle    130f <read_registers+0x1cf>
mov    -0x228(%rbp),%rdi
mov    -0x230(%rbp),%esi
mov    $0x2710,%edx
call   1060 <rx_timeout@plt>
mov    %eax,-0x234(%rbp)
cmp    $0x0,%eax
jg     12d3 <read_registers+0x193>
movl   $0x1,-0x4(%rbp)
jmp    134d <read_registers+0x20d>
jmp    12d8 <read_registers+0x198>
mov    -0x234(%rbp),%ecx
mov    -0x228(%rbp),%rax
movslq %ecx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x228(%rbp)
mov    -0x234(%rbp),%ecx
mov    -0x230(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x230(%rbp)
jmp    1294 <read_registers+0x154>
mov    -0x22c(%rbp),%eax
add    -0x8(%rbp),%eax
mov    %eax,-0x8(%rbp)
mov    -0x22c(%rbp),%ecx
mov    -0x14(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x14(%rbp)
mov    -0x22c(%rbp),%ecx
mov    -0x10(%rbp),%rax
movslq %ecx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x10(%rbp)
jmp    1155 <read_registers+0x15>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x240,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<read_registers>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x218,%rsp
xor    %eax,%eax
test   %edx,%edx
jle    1210 <read_registers+0xd0>
mov    %edx,%r13d
mov    %rsi,%r12
mov    %edi,%ebx
mov    %rsp,%rbp
cmp    $0x80,%r13d
mov    $0x80,%r15d
cmovb  %r13d,%r15d
mov    %r15d,(%rsp)
movzbl %bl,%eax
mov    %eax,0x4(%rsp)
movzbl %bh,%eax
mov    %eax,0x8(%rsp)
mov    $0x20,%edi
mov    $0x3,%esi
call   1040 <debug_cmd@plt>
test   %eax,%eax
jne    1210 <read_registers+0xd0>
mov    %rbp,%rdi
mov    $0x3,%esi
call   1050 <tx@plt>
mov    $0xf9,%edi
mov    $0x2710,%esi
call   1030 <rx_ack@plt>
test   %eax,%eax
jne    1210 <read_registers+0xd0>
mov    %ebx,%r14d
mov    %r15d,%ebx
mov    %r12,%rbp
cs nopw 0x0(%rax,%rax,1)
nop
mov    %rbp,%rdi
mov    %ebx,%esi
mov    $0x2710,%edx
call   1060 <rx_timeout@plt>
test   %eax,%eax
jle    120b <read_registers+0xcb>
mov    %eax,%ecx
lea    0x0(%rbp,%rcx,4),%rbp
sub    %eax,%ebx
jg     11d0 <read_registers+0x90>
mov    %r14d,%ebx
add    %r15d,%ebx
mov    %r15d,%eax
lea    (%r12,%rax,4),%r12
sub    %r15d,%r13d
mov    %rsp,%rbp
jg     1166 <read_registers+0x26>
xor    %eax,%eax
jmp    1210 <read_registers+0xd0>
mov    $0x1,%eax
add    $0x218,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @read_registers(i32 %0, i32* %1, i32 %2) {
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32*
%7 = alloca i32
%8 = alloca [131 x i32]
%9 = alloca i32*
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
store i32 %0, i32* %5
store i32* %1, i32** %6
store i32 %2, i32* %7
br label %14
14: ; preds = %77, %3
%15 = load i32, i32* %7
%16 = icmp sgt i32 %15, 0
br i1 %16, label %17, label %88
17: ; preds = %14
%18 = load i32, i32* %7
%19 = icmp sgt i32 %18, 128
br i1 %19, label %20, label %21
20: ; preds = %17
br label %23
21: ; preds = %17
%22 = load i32, i32* %7
br label %23
23: ; preds = %21, %20
%24 = phi i32 [ 128, %20 ], [ %22, %21 ]
store i32 %24, i32* %10
%25 = getelementptr inbounds [131 x i32], [131 x i32]* %8, i64 0, i64 0
store i32* %25, i32** %9
%26 = load i32, i32* %10
%27 = load i32*, i32** %9
%28 = getelementptr inbounds i32, i32* %27, i32 1
store i32* %28, i32** %9
store i32 %26, i32* %27
%29 = load i32, i32* %5
%30 = and i32 %29, 255
%31 = load i32*, i32** %9
%32 = getelementptr inbounds i32, i32* %31, i32 1
store i32* %32, i32** %9
store i32 %30, i32* %31
%33 = load i32, i32* %5
%34 = ashr i32 %33, 8
%35 = and i32 %34, 255
%36 = load i32*, i32** %9
%37 = getelementptr inbounds i32, i32* %36, i32 1
store i32* %37, i32** %9
store i32 %35, i32* %36
%38 = call i32 @debug_cmd(i32 32, i32 3)
store i32 %38, i32* %13
%39 = icmp ne i32 %38, 0
br i1 %39, label %40, label %42
40: ; preds = %23
%41 = load i32, i32* %13
store i32 %41, i32* %4
br label %89
42: ; preds = %23
%43 = getelementptr inbounds [131 x i32], [131 x i32]* %8, i64 0, i64 0
%44 = load i32*, i32** %9
%45 = getelementptr inbounds [131 x i32], [131 x i32]* %8, i64 0, i64 0
%46 = ptrtoint i32* %44 to i64
%47 = ptrtoint i32* %45 to i64
%48 = sub i64 %46, %47
%49 = sdiv exact i64 %48, 4
%50 = trunc i64 %49 to i32
%51 = call i32 @tx(i32* %43, i32 %50)
%52 = call i32 @rx_ack(i32 249, i32 10000)
store i32 %52, i32* %13
%53 = icmp ne i32 0, %52
br i1 %53, label %54, label %56
54: ; preds = %42
%55 = load i32, i32* %13
store i32 %55, i32* %4
br label %89
56: ; preds = %42
%57 = load i32*, i32** %6
store i32* %57, i32** %9
%58 = load i32, i32* %10
store i32 %58, i32* %11
br label %59
59: ; preds = %69, %56
%60 = load i32, i32* %11
%61 = icmp sgt i32 %60, 0
br i1 %61, label %62, label %77
62: ; preds = %59
%63 = load i32*, i32** %9
%64 = load i32, i32* %11
%65 = call i32 @rx_timeout(i32* %63, i32 %64, i32 10000)
store i32 %65, i32* %12
%66 = icmp sle i32 %65, 0
br i1 %66, label %67, label %68
67: ; preds = %62
store i32 1, i32* %4
br label %89
68: ; preds = %62
br label %69
69: ; preds = %68
%70 = load i32, i32* %12
%71 = load i32*, i32** %9
%72 = sext i32 %70 to i64
%73 = getelementptr inbounds i32, i32* %71, i64 %72
store i32* %73, i32** %9
%74 = load i32, i32* %12
%75 = load i32, i32* %11
%76 = sub nsw i32 %75, %74
store i32 %76, i32* %11
br label %59
77: ; preds = %59
%78 = load i32, i32* %10
%79 = load i32, i32* %5
%80 = add nsw i32 %79, %78
store i32 %80, i32* %5
%81 = load i32, i32* %10
%82 = load i32, i32* %7
%83 = sub nsw i32 %82, %81
store i32 %83, i32* %7
%84 = load i32, i32* %10
%85 = load i32*, i32** %6
%86 = sext i32 %84 to i64
%87 = getelementptr inbounds i32, i32* %85, i64 %86
store i32* %87, i32** %6
br label %14
88: ; preds = %14
store i32 0, i32* %4
br label %89
89: ; preds = %88, %67, %54, %40
%90 = load i32, i32* %4
ret i32 %90
}

LLVM IR (-O2):
define i32 @read_registers(i32 %0, i32* %1, i32 %2) {
%4 = alloca [131 x i32]
%5 = bitcast [131 x i32]* %4 to i8*
%6 = icmp sgt i32 %2, 0
br i1 %6, label %7, label %42
7: ; preds = %3
%8 = getelementptr inbounds [131 x i32], [131 x i32]* %4, i64 0, i64 0
%9 = getelementptr inbounds [131 x i32], [131 x i32]* %4, i64 0, i64 1
%10 = getelementptr inbounds [131 x i32], [131 x i32]* %4, i64 0, i64 2
br label %11
11: ; preds = %7, %36
%12 = phi i32 [ %0, %7 ], [ %37, %36 ]
%13 = phi i32 [ %2, %7 ], [ %38, %36 ]
%14 = phi i32* [ %1, %7 ], [ %40, %36 ]
%15 = icmp ult i32 %13, 128
%16 = select i1 %15, i32 %13, i32 128
store i32 %16, i32* %8
%17 = and i32 %12, 255
store i32 %17, i32* %9
%18 = lshr i32 %12, 8
%19 = and i32 %18, 255
store i32 %19, i32* %10
%20 = call i32 @debug_cmd(i32 32, i32 3)
%21 = icmp eq i32 %20, 0
br i1 %21, label %22, label %42
22: ; preds = %11
%23 = call i32 @tx(i32* %8, i32 3)
%24 = call i32 @rx_ack(i32 249, i32 10000)
%25 = icmp eq i32 %24, 0
br i1 %25, label %26, label %42
26: ; preds = %22, %31
%27 = phi i32 [ %34, %31 ], [ %16, %22 ]
%28 = phi i32* [ %33, %31 ], [ %14, %22 ]
%29 = call i32 @rx_timeout(i32* %28, i32 %27, i32 10000)
%30 = icmp slt i32 %29, 1
br i1 %30, label %42, label %31
31: ; preds = %26
%32 = zext i32 %29 to i64
%33 = getelementptr inbounds i32, i32* %28, i64 %32
%34 = sub nsw i32 %27, %29
%35 = icmp sgt i32 %34, 0
br i1 %35, label %26, label %36
36: ; preds = %31
%37 = add nsw i32 %16, %12
%38 = sub nsw i32 %13, %16
%39 = zext i32 %16 to i64
%40 = getelementptr inbounds i32, i32* %14, i64 %39
%41 = icmp sgt i32 %38, 0
br i1 %41, label %11, label %42
42: ; preds = %11, %22, %36, %26, %3
%43 = phi i32 [ 0, %3 ], [ 1, %26 ], [ %20, %11 ], [ %24, %22 ], [ 0, %36 ]
ret i32 %43
}