#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 scalar_t__ uint8_t;
typedef scalar_t__ uint32_t;

/* Variables and functions */
void _CANDataRegRead(uint8_t *pui8Data, uint32_t *pui32Register,
                     uint32_t ui32Size) {
  uint32_t ui32Idx, ui32Value;
  for (ui32Idx = 0; ui32Idx < ui32Size;) {
    ui32Value = (*((volatile uint32_t *)(pui32Register++)));
    pui8Data[ui32Idx++] = (uint8_t)ui32Value;
    if (ui32Idx < ui32Size) {
      pui8Data[ui32Idx++] = (uint8_t)(ui32Value >> 8);
    }
  }
}


x86 assembly (clang, -O0):
<_CANDataRegRead>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
movq   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%rax
cmp    -0x18(%rbp),%rax
jge    1189 <_CANDataRegRead+0x89>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x8,%rcx
mov    %rcx,-0x10(%rbp)
mov    (%rax),%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rdx
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    %rcx,%rsi
add    $0x1,%rsi
mov    %rsi,-0x20(%rbp)
mov    %rdx,(%rax,%rcx,8)
mov    -0x20(%rbp),%rax
cmp    -0x18(%rbp),%rax
jge    1184 <_CANDataRegRead+0x84>
mov    -0x28(%rbp),%rdx
sar    $0x8,%rdx
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    %rcx,%rsi
add    $0x1,%rsi
mov    %rsi,-0x20(%rbp)
mov    %rdx,(%rax,%rcx,8)
jmp    1118 <_CANDataRegRead+0x18>
pop    %rbp
ret

x86 assembly (clang, -O2):
<_CANDataRegRead>:
test   %rdx,%rdx
jle    113e <_CANDataRegRead+0x3e>
xor    %eax,%eax
jmp    111c <_CANDataRegRead+0x1c>
nopl   0x0(%rax)
add    $0x8,%rsi
mov    %rcx,%rax
cmp    %rdx,%rcx
jge    113e <_CANDataRegRead+0x3e>
mov    (%rsi),%r8
lea    0x1(%rax),%rcx
mov    %r8,(%rdi,%rax,8)
cmp    %rdx,%rcx
jge    1110 <_CANDataRegRead+0x10>
sar    $0x8,%r8
mov    %r8,0x8(%rdi,%rax,8)
add    $0x2,%rax
mov    %rax,%rcx
jmp    1110 <_CANDataRegRead+0x10>
ret

LLVM IR (-O0):
define void @_CANDataRegRead(i64* %0, i64* %1, i64 %2) {
%4 = alloca i64*
%5 = alloca i64*
%6 = alloca i64
%7 = alloca i64
%8 = alloca i64
store i64* %0, i64** %4
store i64* %1, i64** %5
store i64 %2, i64* %6
store i64 0, i64* %7
br label %9
9: ; preds = %32, %3
%10 = load i64, i64* %7
%11 = load i64, i64* %6
%12 = icmp slt i64 %10, %11
br i1 %12, label %13, label %33
13: ; preds = %9
%14 = load i64*, i64** %5
%15 = getelementptr inbounds i64, i64* %14, i32 1
store i64* %15, i64** %5
%16 = load volatile i64, i64* %14
store i64 %16, i64* %8
%17 = load i64, i64* %8
%18 = load i64*, i64** %4
%19 = load i64, i64* %7
%20 = add nsw i64 %19, 1
store i64 %20, i64* %7
%21 = getelementptr inbounds i64, i64* %18, i64 %19
store i64 %17, i64* %21
%22 = load i64, i64* %7
%23 = load i64, i64* %6
%24 = icmp slt i64 %22, %23
br i1 %24, label %25, label %32
25: ; preds = %13
%26 = load i64, i64* %8
%27 = ashr i64 %26, 8
%28 = load i64*, i64** %4
%29 = load i64, i64* %7
%30 = add nsw i64 %29, 1
store i64 %30, i64* %7
%31 = getelementptr inbounds i64, i64* %28, i64 %29
store i64 %27, i64* %31
br label %32
32: ; preds = %25, %13
br label %9
33: ; preds = %9
ret void
}

LLVM IR (-O2):
define void @_CANDataRegRead(i64* nocapture writeonly %0, i64* %1, i64 %2) {
%4 = icmp sgt i64 %2, 0
br i1 %4, label %5, label %20
5: ; preds = %3, %17
%6 = phi i64* [ %8, %17 ], [ %1, %3 ]
%7 = phi i64 [ %18, %17 ], [ 0, %3 ]
%8 = getelementptr inbounds i64, i64* %6, i64 1
%9 = load volatile i64, i64* %6
%10 = add nsw i64 %7, 1
%11 = getelementptr inbounds i64, i64* %0, i64 %7
store i64 %9, i64* %11
%12 = icmp slt i64 %10, %2
br i1 %12, label %13, label %17
13: ; preds = %5
%14 = ashr i64 %9, 8
%15 = add nsw i64 %7, 2
%16 = getelementptr inbounds i64, i64* %0, i64 %10
store i64 %14, i64* %16
br label %17
17: ; preds = %13, %5
%18 = phi i64 [ %15, %13 ], [ %10, %5 ]
%19 = icmp slt i64 %18, %2
br i1 %19, label %5, label %20
20: ; preds = %17, %3
ret void
}