int cDigitSublenwithleninto(unsigned char *pByteSmall, int smallLen,
                            unsigned char *pByteLarge, int largeLen,
                            unsigned char *pByteRes) {
  int limit;
  int z;
  int i;
  z = 0;
  limit = smallLen - 1;
  for (i = 0; i <= limit; i += 1) {
    z = (z + (pByteLarge[i])) - (pByteSmall[i]);
    pByteRes[i] = (z - ((((int)z >> 8)) * 256));
    z = ((int)z >> 8);
  }
  limit = largeLen - 1;
  for (i = smallLen; i <= limit; i += 1) {
    z += pByteLarge[i];
    pByteRes[i] = (z - ((((int)z >> 8)) * 256));
    z = ((int)z >> 8);
  }
}


x86 assembly (clang, -O0):
<cDigitSublenwithleninto>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %ecx,-0x24(%rbp)
mov    %r8,-0x30(%rbp)
movl   $0x0,-0x38(%rbp)
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x34(%rbp)
movl   $0x0,-0x3c(%rbp)
mov    -0x3c(%rbp),%eax
cmp    -0x34(%rbp),%eax
jg     118d <cDigitSublenwithleninto+0x8d>
mov    -0x38(%rbp),%eax
mov    -0x20(%rbp),%rcx
movslq -0x3c(%rbp),%rdx
movzbl (%rcx,%rdx,1),%ecx
add    %ecx,%eax
mov    -0x10(%rbp),%rcx
movslq -0x3c(%rbp),%rdx
movzbl (%rcx,%rdx,1),%ecx
sub    %ecx,%eax
mov    %eax,-0x38(%rbp)
mov    -0x38(%rbp),%eax
mov    -0x38(%rbp),%ecx
sar    $0x8,%ecx
shl    $0x8,%ecx
sub    %ecx,%eax
mov    %al,%dl
mov    -0x30(%rbp),%rax
movslq -0x3c(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x38(%rbp),%eax
sar    $0x8,%eax
mov    %eax,-0x38(%rbp)
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    112d <cDigitSublenwithleninto+0x2d>
mov    -0x24(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x34(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x3c(%rbp),%eax
cmp    -0x34(%rbp),%eax
jg     11ec <cDigitSublenwithleninto+0xec>
mov    -0x20(%rbp),%rax
movslq -0x3c(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
add    -0x38(%rbp),%eax
mov    %eax,-0x38(%rbp)
mov    -0x38(%rbp),%eax
mov    -0x38(%rbp),%ecx
sar    $0x8,%ecx
shl    $0x8,%ecx
sub    %ecx,%eax
mov    %al,%dl
mov    -0x30(%rbp),%rax
movslq -0x3c(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x38(%rbp),%eax
sar    $0x8,%eax
mov    %eax,-0x38(%rbp)
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    119c <cDigitSublenwithleninto+0x9c>
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<cDigitSublenwithleninto>:
push   %rbx
test   %esi,%esi
jle    1114 <cDigitSublenwithleninto+0x14>
mov    %esi,%r10d
cmp    $0x1,%esi
jne    1118 <cDigitSublenwithleninto+0x18>
xor    %r9d,%r9d
xor    %ebx,%ebx
jmp    1166 <cDigitSublenwithleninto+0x66>
xor    %ebx,%ebx
jmp    1181 <cDigitSublenwithleninto+0x81>
mov    %r10d,%r11d
and    $0xfffffffe,%r11d
xor    %r9d,%r9d
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movzbl (%rdx,%r9,1),%eax
add    %ebx,%eax
movzbl (%rdi,%r9,1),%ebx
sub    %ebx,%eax
mov    %al,(%r8,%r9,1)
sar    $0x8,%eax
movzbl 0x1(%rdx,%r9,1),%ebx
add    %eax,%ebx
movzbl 0x1(%rdi,%r9,1),%eax
sub    %eax,%ebx
mov    %bl,0x1(%r8,%r9,1)
sar    $0x8,%ebx
add    $0x2,%r9
cmp    %r9,%r11
jne    1130 <cDigitSublenwithleninto+0x30>
test   $0x1,%r10b
je     1181 <cDigitSublenwithleninto+0x81>
movzbl (%rdx,%r9,1),%eax
add    %eax,%ebx
movzbl (%rdi,%r9,1),%eax
sub    %eax,%ebx
mov    %bl,(%r8,%r9,1)
sar    $0x8,%ebx
cmp    %ecx,%esi
jge    1203 <cDigitSublenwithleninto+0x103>
movslq %esi,%rdi
movslq %ecx,%r9
sub    %esi,%ecx
mov    %rdi,%rsi
not    %rsi
add    %r9,%rsi
and    $0x3,%rcx
je     11b9 <cDigitSublenwithleninto+0xb9>
nopl   0x0(%rax)
movzbl (%rdx,%rdi,1),%eax
add    %ebx,%eax
mov    %eax,%ebx
sar    $0x8,%ebx
mov    %al,(%r8,%rdi,1)
add    $0x1,%rdi
add    $0xffffffffffffffff,%rcx
jne    11a0 <cDigitSublenwithleninto+0xa0>
cmp    $0x3,%rsi
jb     1203 <cDigitSublenwithleninto+0x103>
nop
movzbl (%rdx,%rdi,1),%eax
add    %ebx,%eax
mov    %al,(%r8,%rdi,1)
sar    $0x8,%eax
movzbl 0x1(%rdx,%rdi,1),%ecx
add    %eax,%ecx
mov    %cl,0x1(%r8,%rdi,1)
sar    $0x8,%ecx
movzbl 0x2(%rdx,%rdi,1),%eax
add    %ecx,%eax
mov    %al,0x2(%r8,%rdi,1)
sar    $0x8,%eax
movzbl 0x3(%rdx,%rdi,1),%ebx
add    %eax,%ebx
mov    %bl,0x3(%r8,%rdi,1)
sar    $0x8,%ebx
add    $0x4,%rdi
cmp    %rdi,%r9
jne    11c0 <cDigitSublenwithleninto+0xc0>
pop    %rbx
ret

LLVM IR (-O0):
define i32 @cDigitSublenwithleninto(i8* %0, i32 %1, i8* %2, i32 %3, i8* %4) {
%6 = alloca i32
%7 = alloca i8*
%8 = alloca i32
%9 = alloca i8*
%10 = alloca i32
%11 = alloca i8*
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
store i8* %0, i8** %7
store i32 %1, i32* %8
store i8* %2, i8** %9
store i32 %3, i32* %10
store i8* %4, i8** %11
store i32 0, i32* %13
%15 = load i32, i32* %8
%16 = sub nsw i32 %15, 1
store i32 %16, i32* %12
store i32 0, i32* %14
br label %17
17: ; preds = %49, %5
%18 = load i32, i32* %14
%19 = load i32, i32* %12
%20 = icmp sle i32 %18, %19
br i1 %20, label %21, label %52
21: ; preds = %17
%22 = load i32, i32* %13
%23 = load i8*, i8** %9
%24 = load i32, i32* %14
%25 = sext i32 %24 to i64
%26 = getelementptr inbounds i8, i8* %23, i64 %25
%27 = load i8, i8* %26
%28 = zext i8 %27 to i32
%29 = add nsw i32 %22, %28
%30 = load i8*, i8** %7
%31 = load i32, i32* %14
%32 = sext i32 %31 to i64
%33 = getelementptr inbounds i8, i8* %30, i64 %32
%34 = load i8, i8* %33
%35 = zext i8 %34 to i32
%36 = sub nsw i32 %29, %35
store i32 %36, i32* %13
%37 = load i32, i32* %13
%38 = load i32, i32* %13
%39 = ashr i32 %38, 8
%40 = mul nsw i32 %39, 256
%41 = sub nsw i32 %37, %40
%42 = trunc i32 %41 to i8
%43 = load i8*, i8** %11
%44 = load i32, i32* %14
%45 = sext i32 %44 to i64
%46 = getelementptr inbounds i8, i8* %43, i64 %45
store i8 %42, i8* %46
%47 = load i32, i32* %13
%48 = ashr i32 %47, 8
store i32 %48, i32* %13
br label %49
49: ; preds = %21
%50 = load i32, i32* %14
%51 = add nsw i32 %50, 1
store i32 %51, i32* %14
br label %17
52: ; preds = %17
%53 = load i32, i32* %10
%54 = sub nsw i32 %53, 1
store i32 %54, i32* %12
%55 = load i32, i32* %8
store i32 %55, i32* %14
br label %56
56: ; preds = %81, %52
%57 = load i32, i32* %14
%58 = load i32, i32* %12
%59 = icmp sle i32 %57, %58
br i1 %59, label %60, label %84
60: ; preds = %56
%61 = load i8*, i8** %9
%62 = load i32, i32* %14
%63 = sext i32 %62 to i64
%64 = getelementptr inbounds i8, i8* %61, i64 %63
%65 = load i8, i8* %64
%66 = zext i8 %65 to i32
%67 = load i32, i32* %13
%68 = add nsw i32 %67, %66
store i32 %68, i32* %13
%69 = load i32, i32* %13
%70 = load i32, i32* %13
%71 = ashr i32 %70, 8
%72 = mul nsw i32 %71, 256
%73 = sub nsw i32 %69, %72
%74 = trunc i32 %73 to i8
%75 = load i8*, i8** %11
%76 = load i32, i32* %14
%77 = sext i32 %76 to i64
%78 = getelementptr inbounds i8, i8* %75, i64 %77
store i8 %74, i8* %78
%79 = load i32, i32* %13
%80 = ashr i32 %79, 8
store i32 %80, i32* %13
br label %81
81: ; preds = %60
%82 = load i32, i32* %14
%83 = add nsw i32 %82, 1
store i32 %83, i32* %14
br label %56
84: ; preds = %56
%85 = load i32, i32* %6
ret i32 %85
}

LLVM IR (-O2):
define i32 @cDigitSublenwithleninto(i8* nocapture %0, i32 %1, i8* nocapture %2, i32 %3, i8* nocapture writeonly %4) {
%6 = icmp sgt i32 %1, 0
br i1 %6, label %7, label %30
7: ; preds = %5
%8 = zext i32 %1 to i64
%9 = and i64 %8, 1
%10 = icmp eq i32 %1, 1
br i1 %10, label %13, label %11
11: ; preds = %7
%12 = and i64 %8, 4294967294
br label %59
13: ; preds = %59, %7
%14 = phi i32 [ undef, %7 ], [ %83, %59 ]
%15 = phi i64 [ 0, %7 ], [ %86, %59 ]
%16 = phi i32 [ 0, %7 ], [ %83, %59 ]
%17 = icmp eq i64 %9, 0
br i1 %17, label %30, label %18
18: ; preds = %13
%19 = getelementptr inbounds i8, i8* %2, i64 %15
%20 = load i8, i8* %19
%21 = zext i8 %20 to i32
%22 = add nsw i32 %16, %21
%23 = getelementptr inbounds i8, i8* %0, i64 %15
%24 = load i8, i8* %23
%25 = zext i8 %24 to i32
%26 = sub nsw i32 %22, %25
%27 = ashr i32 %26, 8
%28 = trunc i32 %26 to i8
%29 = getelementptr inbounds i8, i8* %4, i64 %15
store i8 %28, i8* %29
br label %30
30: ; preds = %18, %13, %5
%31 = phi i32 [ 0, %5 ], [ %14, %13 ], [ %27, %18 ]
%32 = icmp slt i32 %1, %3
br i1 %32, label %33, label %125
33: ; preds = %30
%34 = sext i32 %1 to i64
%35 = sext i32 %3 to i64
%36 = sub nsw i64 %35, %34
%37 = xor i64 %34, -1
%38 = add nsw i64 %37, %35
%39 = and i64 %36, 3
%40 = icmp eq i64 %39, 0
br i1 %40, label %55, label %41
41: ; preds = %33, %41
%42 = phi i64 [ %52, %41 ], [ %34, %33 ]
%43 = phi i32 [ %49, %41 ], [ %31, %33 ]
%44 = phi i64 [ %53, %41 ], [ 0, %33 ]
%45 = getelementptr inbounds i8, i8* %2, i64 %42
%46 = load i8, i8* %45
%47 = zext i8 %46 to i32
%48 = add nsw i32 %43, %47
%49 = ashr i32 %48, 8
%50 = trunc i32 %48 to i8
%51 = getelementptr inbounds i8, i8* %4, i64 %42
store i8 %50, i8* %51
%52 = add nsw i64 %42, 1
%53 = add i64 %44, 1
%54 = icmp eq i64 %53, %39
br i1 %54, label %55, label %41
55: ; preds = %41, %33
%56 = phi i64 [ %34, %33 ], [ %52, %41 ]
%57 = phi i32 [ %31, %33 ], [ %49, %41 ]
%58 = icmp ult i64 %38, 3
br i1 %58, label %125, label %89
59: ; preds = %59, %11
%60 = phi i64 [ 0, %11 ], [ %86, %59 ]
%61 = phi i32 [ 0, %11 ], [ %83, %59 ]
%62 = phi i64 [ 0, %11 ], [ %87, %59 ]
%63 = getelementptr inbounds i8, i8* %2, i64 %60
%64 = load i8, i8* %63
%65 = zext i8 %64 to i32
%66 = add nsw i32 %61, %65
%67 = getelementptr inbounds i8, i8* %0, i64 %60
%68 = load i8, i8* %67
%69 = zext i8 %68 to i32
%70 = sub nsw i32 %66, %69
%71 = ashr i32 %70, 8
%72 = trunc i32 %70 to i8
%73 = getelementptr inbounds i8, i8* %4, i64 %60
store i8 %72, i8* %73
%74 = or i64 %60, 1
%75 = getelementptr inbounds i8, i8* %2, i64 %74
%76 = load i8, i8* %75
%77 = zext i8 %76 to i32
%78 = add nsw i32 %71, %77
%79 = getelementptr inbounds i8, i8* %0, i64 %74
%80 = load i8, i8* %79
%81 = zext i8 %80 to i32
%82 = sub nsw i32 %78, %81
%83 = ashr i32 %82, 8
%84 = trunc i32 %82 to i8
%85 = getelementptr inbounds i8, i8* %4, i64 %74
store i8 %84, i8* %85
%86 = add nuw nsw i64 %60, 2
%87 = add i64 %62, 2
%88 = icmp eq i64 %87, %12
br i1 %88, label %13, label %59
89: ; preds = %55, %89
%90 = phi i64 [ %123, %89 ], [ %56, %55 ]
%91 = phi i32 [ %120, %89 ], [ %57, %55 ]
%92 = getelementptr inbounds i8, i8* %2, i64 %90
%93 = load i8, i8* %92
%94 = zext i8 %93 to i32
%95 = add nsw i32 %91, %94
%96 = ashr i32 %95, 8
%97 = trunc i32 %95 to i8
%98 = getelementptr inbounds i8, i8* %4, i64 %90
store i8 %97, i8* %98
%99 = add nsw i64 %90, 1
%100 = getelementptr inbounds i8, i8* %2, i64 %99
%101 = load i8, i8* %100
%102 = zext i8 %101 to i32
%103 = add nsw i32 %96, %102
%104 = ashr i32 %103, 8
%105 = trunc i32 %103 to i8
%106 = getelementptr inbounds i8, i8* %4, i64 %99
store i8 %105, i8* %106
%107 = add nsw i64 %90, 2
%108 = getelementptr inbounds i8, i8* %2, i64 %107
%109 = load i8, i8* %108
%110 = zext i8 %109 to i32
%111 = add nsw i32 %104, %110
%112 = ashr i32 %111, 8
%113 = trunc i32 %111 to i8
%114 = getelementptr inbounds i8, i8* %4, i64 %107
store i8 %113, i8* %114
%115 = add nsw i64 %90, 3
%116 = getelementptr inbounds i8, i8* %2, i64 %115
%117 = load i8, i8* %116
%118 = zext i8 %117 to i32
%119 = add nsw i32 %112, %118
%120 = ashr i32 %119, 8
%121 = trunc i32 %119 to i8
%122 = getelementptr inbounds i8, i8* %4, i64 %115
store i8 %121, i8* %122
%123 = add nsw i64 %90, 4
%124 = icmp eq i64 %123, %35
br i1 %124, label %125, label %89
125: ; preds = %55, %89, %30
ret i32 undef
}