long EthernetPacketPutInternal(unsigned long ulBase, unsigned char *pucBuf,
                               long lBufLen) {
  unsigned long ulTemp;
  long i = 0;
  if (lBufLen > (2048 - 2)) {
    return (-lBufLen);
  }
  ulTemp = (unsigned long)(lBufLen - 14);
  ulTemp |= (pucBuf[i++] << 16);
  ulTemp |= (pucBuf[i++] << 24);
  (*((volatile unsigned long *)(ulBase + 0x00000010))) = ulTemp;
  while (i <= (lBufLen - 4)) {
    (*((volatile unsigned long *)(ulBase + 0x00000010))) =
        *(unsigned long *)&pucBuf[i];
    i += 4;
  }
  if (i != lBufLen) {
    if (i == (lBufLen - 3)) {
      ulTemp = (pucBuf[i++] << 0);
      ulTemp |= (pucBuf[i++] << 8);
      ulTemp |= (pucBuf[i++] << 16);
      (*((volatile unsigned long *)(ulBase + 0x00000010))) = ulTemp;
    } else if (i == (lBufLen - 2)) {
      ulTemp = (pucBuf[i++] << 0);
      ulTemp |= (pucBuf[i++] << 8);
      (*((volatile unsigned long *)(ulBase + 0x00000010))) = ulTemp;
    } else if (i == (lBufLen - 1)) {
      ulTemp = (pucBuf[i++] << 0);
      (*((volatile unsigned long *)(ulBase + 0x00000010))) = ulTemp;
    }
  }
  (*((volatile unsigned long *)(ulBase + 0x00000038))) = 0x00000001;
  return (lBufLen);
}


x86 assembly (clang, -O0):
<EthernetPacketPutInternal>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
movq   $0x0,-0x30(%rbp)
cmpq   $0x7fe,-0x20(%rbp)
jle    1135 <EthernetPacketPutInternal+0x35>
xor    %eax,%eax
sub    -0x20(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    1339 <EthernetPacketPutInternal+0x239>
mov    -0x20(%rbp),%rax
sub    $0xe,%rax
mov    %rax,-0x28(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    %rcx,%rdx
add    $0x1,%rdx
mov    %rdx,-0x30(%rbp)
movzbl (%rax,%rcx,1),%eax
shl    $0x10,%eax
cltq
or     -0x28(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    %rcx,%rdx
add    $0x1,%rdx
mov    %rdx,-0x30(%rbp)
movzbl (%rax,%rcx,1),%eax
shl    $0x18,%eax
cltq
or     -0x28(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rcx
mov    -0x10(%rbp),%rax
mov    %rcx,0x10(%rax)
mov    -0x30(%rbp),%rax
mov    -0x20(%rbp),%rcx
sub    $0x4,%rcx
cmp    %rcx,%rax
jg     11cf <EthernetPacketPutInternal+0xcf>
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    (%rax,%rcx,1),%rcx
mov    -0x10(%rbp),%rax
mov    %rcx,0x10(%rax)
mov    -0x30(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x30(%rbp)
jmp    1195 <EthernetPacketPutInternal+0x95>
mov    -0x30(%rbp),%rax
cmp    -0x20(%rbp),%rax
je     1325 <EthernetPacketPutInternal+0x225>
mov    -0x30(%rbp),%rax
mov    -0x20(%rbp),%rcx
sub    $0x3,%rcx
cmp    %rcx,%rax
jne    126b <EthernetPacketPutInternal+0x16b>
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    %rcx,%rdx
add    $0x1,%rdx
mov    %rdx,-0x30(%rbp)
movzbl (%rax,%rcx,1),%eax
shl    $0x0,%eax
cltq
mov    %rax,-0x28(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    %rcx,%rdx
add    $0x1,%rdx
mov    %rdx,-0x30(%rbp)
movzbl (%rax,%rcx,1),%eax
shl    $0x8,%eax
cltq
or     -0x28(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    %rcx,%rdx
add    $0x1,%rdx
mov    %rdx,-0x30(%rbp)
movzbl (%rax,%rcx,1),%eax
shl    $0x10,%eax
cltq
or     -0x28(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rcx
mov    -0x10(%rbp),%rax
mov    %rcx,0x10(%rax)
jmp    1320 <EthernetPacketPutInternal+0x220>
mov    -0x30(%rbp),%rax
mov    -0x20(%rbp),%rcx
sub    $0x2,%rcx
cmp    %rcx,%rax
jne    12d5 <EthernetPacketPutInternal+0x1d5>
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    %rcx,%rdx
add    $0x1,%rdx
mov    %rdx,-0x30(%rbp)
movzbl (%rax,%rcx,1),%eax
shl    $0x0,%eax
cltq
mov    %rax,-0x28(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    %rcx,%rdx
add    $0x1,%rdx
mov    %rdx,-0x30(%rbp)
movzbl (%rax,%rcx,1),%eax
shl    $0x8,%eax
cltq
or     -0x28(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rcx
mov    -0x10(%rbp),%rax
mov    %rcx,0x10(%rax)
jmp    131b <EthernetPacketPutInternal+0x21b>
mov    -0x30(%rbp),%rax
mov    -0x20(%rbp),%rcx
sub    $0x1,%rcx
cmp    %rcx,%rax
jne    1316 <EthernetPacketPutInternal+0x216>
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    %rcx,%rdx
add    $0x1,%rdx
mov    %rdx,-0x30(%rbp)
movzbl (%rax,%rcx,1),%eax
shl    $0x0,%eax
cltq
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rcx
mov    -0x10(%rbp),%rax
mov    %rcx,0x10(%rax)
jmp    131b <EthernetPacketPutInternal+0x21b>
jmp    1320 <EthernetPacketPutInternal+0x220>
jmp    1325 <EthernetPacketPutInternal+0x225>
mov    -0x10(%rbp),%rax
movq   $0x1,0x38(%rax)
mov    -0x20(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<EthernetPacketPutInternal>:
mov    %rdx,%rax
cmp    $0x7ff,%rdx
jl     1110 <EthernetPacketPutInternal+0x10>
neg    %rax
ret
lea    -0xe(%rax),%rcx
movzbl (%rsi),%edx
shl    $0x10,%rdx
or     %rcx,%rdx
movzbl 0x1(%rsi),%ecx
shl    $0x18,%ecx
movslq %ecx,%rcx
or     %rdx,%rcx
mov    %rcx,0x10(%rdi)
mov    $0x2,%ecx
cmp    $0x6,%rax
jl     1161 <EthernetPacketPutInternal+0x61>
lea    -0x4(%rax),%r8
mov    $0x2,%ecx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    (%rsi,%rcx,1),%rdx
mov    %rdx,0x10(%rdi)
add    $0x4,%rcx
cmp    %r8,%rcx
jle    1150 <EthernetPacketPutInternal+0x50>
cmp    %rax,%rcx
je     11c3 <EthernetPacketPutInternal+0xc3>
lea    -0x3(%rax),%rdx
cmp    %rdx,%rcx
jne    1194 <EthernetPacketPutInternal+0x94>
mov    %rcx,%rdx
or     $0x1,%rdx
movzbl (%rsi,%rcx,1),%r8d
movzbl (%rsi,%rdx,1),%edx
shl    $0x8,%rdx
or     %r8,%rdx
movzbl 0x2(%rsi,%rcx,1),%ecx
shl    $0x10,%rcx
or     %rdx,%rcx
jmp    11bf <EthernetPacketPutInternal+0xbf>
lea    -0x2(%rax),%rdx
cmp    %rdx,%rcx
jne    11b2 <EthernetPacketPutInternal+0xb2>
movzbl (%rsi,%rcx,1),%edx
or     $0x1,%rcx
movzbl (%rsi,%rcx,1),%ecx
shl    $0x8,%rcx
or     %rdx,%rcx
jmp    11bf <EthernetPacketPutInternal+0xbf>
lea    -0x1(%rax),%rdx
cmp    %rdx,%rcx
jne    11c3 <EthernetPacketPutInternal+0xc3>
movzbl (%rsi,%rcx,1),%ecx
mov    %rcx,0x10(%rdi)
movq   $0x1,0x38(%rdi)
ret

LLVM IR (-O0):
define i64 @EthernetPacketPutInternal(i64 %0, i8* %1, i64 %2) {
%4 = alloca i64
%5 = alloca i64
%6 = alloca i8*
%7 = alloca i64
%8 = alloca i64
%9 = alloca i64
store i64 %0, i64* %5
store i8* %1, i8** %6
store i64 %2, i64* %7
store i64 0, i64* %9
%10 = load i64, i64* %7
%11 = icmp sgt i64 %10, 2046
br i1 %11, label %12, label %15
12: ; preds = %3
%13 = load i64, i64* %7
%14 = sub nsw i64 0, %13
store i64 %14, i64* %4
br label %154
15: ; preds = %3
%16 = load i64, i64* %7
%17 = sub nsw i64 %16, 14
store i64 %17, i64* %8
%18 = load i8*, i8** %6
%19 = load i64, i64* %9
%20 = add nsw i64 %19, 1
store i64 %20, i64* %9
%21 = getelementptr inbounds i8, i8* %18, i64 %19
%22 = load i8, i8* %21
%23 = zext i8 %22 to i32
%24 = shl i32 %23, 16
%25 = sext i32 %24 to i64
%26 = load i64, i64* %8
%27 = or i64 %26, %25
store i64 %27, i64* %8
%28 = load i8*, i8** %6
%29 = load i64, i64* %9
%30 = add nsw i64 %29, 1
store i64 %30, i64* %9
%31 = getelementptr inbounds i8, i8* %28, i64 %29
%32 = load i8, i8* %31
%33 = zext i8 %32 to i32
%34 = shl i32 %33, 24
%35 = sext i32 %34 to i64
%36 = load i64, i64* %8
%37 = or i64 %36, %35
store i64 %37, i64* %8
%38 = load i64, i64* %8
%39 = load i64, i64* %5
%40 = add i64 %39, 16
%41 = inttoptr i64 %40 to i64*
store volatile i64 %38, i64* %41
br label %42
42: ; preds = %47, %15
%43 = load i64, i64* %9
%44 = load i64, i64* %7
%45 = sub nsw i64 %44, 4
%46 = icmp sle i64 %43, %45
br i1 %46, label %47, label %58
47: ; preds = %42
%48 = load i8*, i8** %6
%49 = load i64, i64* %9
%50 = getelementptr inbounds i8, i8* %48, i64 %49
%51 = bitcast i8* %50 to i64*
%52 = load i64, i64* %51
%53 = load i64, i64* %5
%54 = add i64 %53, 16
%55 = inttoptr i64 %54 to i64*
store volatile i64 %52, i64* %55
%56 = load i64, i64* %9
%57 = add nsw i64 %56, 4
store i64 %57, i64* %9
br label %42
58: ; preds = %42
%59 = load i64, i64* %9
%60 = load i64, i64* %7
%61 = icmp ne i64 %59, %60
br i1 %61, label %62, label %149
62: ; preds = %58
%63 = load i64, i64* %9
%64 = load i64, i64* %7
%65 = sub nsw i64 %64, 3
%66 = icmp eq i64 %63, %65
br i1 %66, label %67, label %100
67: ; preds = %62
%68 = load i8*, i8** %6
%69 = load i64, i64* %9
%70 = add nsw i64 %69, 1
store i64 %70, i64* %9
%71 = getelementptr inbounds i8, i8* %68, i64 %69
%72 = load i8, i8* %71
%73 = zext i8 %72 to i32
%74 = shl i32 %73, 0
%75 = sext i32 %74 to i64
store i64 %75, i64* %8
%76 = load i8*, i8** %6
%77 = load i64, i64* %9
%78 = add nsw i64 %77, 1
store i64 %78, i64* %9
%79 = getelementptr inbounds i8, i8* %76, i64 %77
%80 = load i8, i8* %79
%81 = zext i8 %80 to i32
%82 = shl i32 %81, 8
%83 = sext i32 %82 to i64
%84 = load i64, i64* %8
%85 = or i64 %84, %83
store i64 %85, i64* %8
%86 = load i8*, i8** %6
%87 = load i64, i64* %9
%88 = add nsw i64 %87, 1
store i64 %88, i64* %9
%89 = getelementptr inbounds i8, i8* %86, i64 %87
%90 = load i8, i8* %89
%91 = zext i8 %90 to i32
%92 = shl i32 %91, 16
%93 = sext i32 %92 to i64
%94 = load i64, i64* %8
%95 = or i64 %94, %93
store i64 %95, i64* %8
%96 = load i64, i64* %8
%97 = load i64, i64* %5
%98 = add i64 %97, 16
%99 = inttoptr i64 %98 to i64*
store volatile i64 %96, i64* %99
br label %148
100: ; preds = %62
%101 = load i64, i64* %9
%102 = load i64, i64* %7
%103 = sub nsw i64 %102, 2
%104 = icmp eq i64 %101, %103
br i1 %104, label %105, label %128
105: ; preds = %100
%106 = load i8*, i8** %6
%107 = load i64, i64* %9
%108 = add nsw i64 %107, 1
store i64 %108, i64* %9
%109 = getelementptr inbounds i8, i8* %106, i64 %107
%110 = load i8, i8* %109
%111 = zext i8 %110 to i32
%112 = shl i32 %111, 0
%113 = sext i32 %112 to i64
store i64 %113, i64* %8
%114 = load i8*, i8** %6
%115 = load i64, i64* %9
%116 = add nsw i64 %115, 1
store i64 %116, i64* %9
%117 = getelementptr inbounds i8, i8* %114, i64 %115
%118 = load i8, i8* %117
%119 = zext i8 %118 to i32
%120 = shl i32 %119, 8
%121 = sext i32 %120 to i64
%122 = load i64, i64* %8
%123 = or i64 %122, %121
store i64 %123, i64* %8
%124 = load i64, i64* %8
%125 = load i64, i64* %5
%126 = add i64 %125, 16
%127 = inttoptr i64 %126 to i64*
store volatile i64 %124, i64* %127
br label %147
128: ; preds = %100
%129 = load i64, i64* %9
%130 = load i64, i64* %7
%131 = sub nsw i64 %130, 1
%132 = icmp eq i64 %129, %131
br i1 %132, label %133, label %146
133: ; preds = %128
%134 = load i8*, i8** %6
%135 = load i64, i64* %9
%136 = add nsw i64 %135, 1
store i64 %136, i64* %9
%137 = getelementptr inbounds i8, i8* %134, i64 %135
%138 = load i8, i8* %137
%139 = zext i8 %138 to i32
%140 = shl i32 %139, 0
%141 = sext i32 %140 to i64
store i64 %141, i64* %8
%142 = load i64, i64* %8
%143 = load i64, i64* %5
%144 = add i64 %143, 16
%145 = inttoptr i64 %144 to i64*
store volatile i64 %142, i64* %145
br label %146
146: ; preds = %133, %128
br label %147
147: ; preds = %146, %105
br label %148
148: ; preds = %147, %67
br label %149
149: ; preds = %148, %58
%150 = load i64, i64* %5
%151 = add i64 %150, 56
%152 = inttoptr i64 %151 to i64*
store volatile i64 1, i64* %152
%153 = load i64, i64* %7
store i64 %153, i64* %4
br label %154
154: ; preds = %149, %12
%155 = load i64, i64* %4
ret i64 %155
}

LLVM IR (-O2):
define i64 @EthernetPacketPutInternal(i64 %0, i8* nocapture %1, i64 %2) {
%4 = icmp sgt i64 %2, 2046
br i1 %4, label %5, label %7
5: ; preds = %3
%6 = sub nsw i64 0, %2
br label %77
7: ; preds = %3
%8 = add nsw i64 %2, -14
%9 = load i8, i8* %1
%10 = zext i8 %9 to i64
%11 = shl nuw nsw i64 %10, 16
%12 = or i64 %11, %8
%13 = getelementptr inbounds i8, i8* %1, i64 1
%14 = load i8, i8* %13
%15 = zext i8 %14 to i32
%16 = shl nuw i32 %15, 24
%17 = sext i32 %16 to i64
%18 = or i64 %12, %17
%19 = add i64 %0, 16
%20 = inttoptr i64 %19 to i64*
store volatile i64 %18, i64* %20
%21 = add nsw i64 %2, -4
%22 = icmp slt i64 %2, 6
br i1 %22, label %30, label %23
23: ; preds = %7, %23
%24 = phi i64 [ %28, %23 ], [ 2, %7 ]
%25 = getelementptr inbounds i8, i8* %1, i64 %24
%26 = bitcast i8* %25 to i64*
%27 = load i64, i64* %26
store volatile i64 %27, i64* %20
%28 = add nuw nsw i64 %24, 4
%29 = icmp sgt i64 %28, %21
br i1 %29, label %30, label %23
30: ; preds = %23, %7
%31 = phi i64 [ 2, %7 ], [ %28, %23 ]
%32 = icmp eq i64 %31, %2
br i1 %32, label %74, label %33
33: ; preds = %30
%34 = add nsw i64 %2, -3
%35 = icmp eq i64 %31, %34
br i1 %35, label %36, label %52
36: ; preds = %33
%37 = or i64 %31, 1
%38 = getelementptr inbounds i8, i8* %1, i64 %31
%39 = load i8, i8* %38
%40 = zext i8 %39 to i64
%41 = add nuw i64 %31, 2
%42 = getelementptr inbounds i8, i8* %1, i64 %37
%43 = load i8, i8* %42
%44 = zext i8 %43 to i64
%45 = shl nuw nsw i64 %44, 8
%46 = or i64 %45, %40
%47 = getelementptr inbounds i8, i8* %1, i64 %41
%48 = load i8, i8* %47
%49 = zext i8 %48 to i64
%50 = shl nuw nsw i64 %49, 16
%51 = or i64 %46, %50
br label %72
52: ; preds = %33
%53 = add nsw i64 %2, -2
%54 = icmp eq i64 %31, %53
br i1 %54, label %55, label %65
55: ; preds = %52
%56 = or i64 %31, 1
%57 = getelementptr inbounds i8, i8* %1, i64 %31
%58 = load i8, i8* %57
%59 = zext i8 %58 to i64
%60 = getelementptr inbounds i8, i8* %1, i64 %56
%61 = load i8, i8* %60
%62 = zext i8 %61 to i64
%63 = shl nuw nsw i64 %62, 8
%64 = or i64 %63, %59
br label %72
65: ; preds = %52
%66 = add nsw i64 %2, -1
%67 = icmp eq i64 %31, %66
br i1 %67, label %68, label %74
68: ; preds = %65
%69 = getelementptr inbounds i8, i8* %1, i64 %31
%70 = load i8, i8* %69
%71 = zext i8 %70 to i64
br label %72
72: ; preds = %55, %68, %36
%73 = phi i64 [ %51, %36 ], [ %71, %68 ], [ %64, %55 ]
store volatile i64 %73, i64* %20
br label %74
74: ; preds = %72, %65, %30
%75 = add i64 %0, 56
%76 = inttoptr i64 %75 to i64*
store volatile i64 1, i64* %76
br label %77
77: ; preds = %74, %5
%78 = phi i64 [ %6, %5 ], [ %2, %74 ]
ret i64 %78
}