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

/* Variables and functions */
int ecdsa_sig_to_der(const uint8_t *sig, uint8_t *der) {
  int i;
  uint8_t *p = der, *len, *len1, *len2;
  *p = 0x30;
  p++;
  *p = 0x00;
  len = p;
  p++;
  *p = 0x02;
  p++;
  *p = 0x00;
  len1 = p;
  p++;
  i = 0;
  while (sig[i] == 0 && i < 32) {
    i++;
  }
  if (sig[i] >= 0x80) {
    *p = 0x00;
    p++;
    *len1 = *len1 + 1;
  }
  while (i < 32) {
    *p = sig[i];
    p++;
    *len1 = *len1 + 1;
    i++;
  }
  *p = 0x02;
  p++;
  *p = 0x00;
  len2 = p;
  p++;
  i = 32;
  while (sig[i] == 0 && i < 64) {
    i++;
  }
  if (sig[i] >= 0x80) {
    *p = 0x00;
    p++;
    *len2 = *len2 + 1;
  }
  while (i < 64) {
    *p = sig[i];
    p++;
    *len2 = *len2 + 1;
    i++;
  }
  *len = *len1 + *len2 + 4;
  return *len + 2;
}


x86 assembly (clang, -O0):
<ecdsa_sig_to_der>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
movl   $0x30,(%rax)
mov    -0x20(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
movl   $0x0,(%rax)
mov    -0x20(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x20(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
movl   $0x2,(%rax)
mov    -0x20(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
movl   $0x0,(%rax)
mov    -0x20(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x20(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x20(%rbp)
movl   $0x0,-0x14(%rbp)
mov    -0x8(%rbp),%rcx
movslq -0x14(%rbp),%rdx
xor    %eax,%eax
cmpl   $0x0,(%rcx,%rdx,4)
mov    %al,-0x39(%rbp)
jne    11a4 <ecdsa_sig_to_der+0xa4>
cmpl   $0x20,-0x14(%rbp)
setl   %al
mov    %al,-0x39(%rbp)
mov    -0x39(%rbp),%al
test   $0x1,%al
jne    11b4 <ecdsa_sig_to_der+0xb4>
jmp    11c2 <ecdsa_sig_to_der+0xc2>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1183 <ecdsa_sig_to_der+0x83>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
cmpl   $0x80,(%rax,%rcx,4)
jl     11fc <ecdsa_sig_to_der+0xfc>
mov    -0x20(%rbp),%rax
movl   $0x0,(%rax)
mov    -0x20(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x20(%rbp)
mov    -0x30(%rbp),%rax
mov    (%rax),%ecx
add    $0x1,%ecx
mov    -0x30(%rbp),%rax
mov    %ecx,(%rax)
jmp    1201 <ecdsa_sig_to_der+0x101>
cmpl   $0x20,-0x14(%rbp)
jge    1245 <ecdsa_sig_to_der+0x145>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x20(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x20(%rbp)
mov    -0x30(%rbp),%rax
mov    (%rax),%ecx
add    $0x1,%ecx
mov    -0x30(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1201 <ecdsa_sig_to_der+0x101>
mov    -0x20(%rbp),%rax
movl   $0x2,(%rax)
mov    -0x20(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
movl   $0x0,(%rax)
mov    -0x20(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x20(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x20(%rbp)
movl   $0x20,-0x14(%rbp)
mov    -0x8(%rbp),%rcx
movslq -0x14(%rbp),%rdx
xor    %eax,%eax
cmpl   $0x0,(%rcx,%rdx,4)
mov    %al,-0x3a(%rbp)
jne    12a1 <ecdsa_sig_to_der+0x1a1>
cmpl   $0x40,-0x14(%rbp)
setl   %al
mov    %al,-0x3a(%rbp)
mov    -0x3a(%rbp),%al
test   $0x1,%al
jne    12b1 <ecdsa_sig_to_der+0x1b1>
jmp    12bf <ecdsa_sig_to_der+0x1bf>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1280 <ecdsa_sig_to_der+0x180>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
cmpl   $0x80,(%rax,%rcx,4)
jl     12f9 <ecdsa_sig_to_der+0x1f9>
mov    -0x20(%rbp),%rax
movl   $0x0,(%rax)
mov    -0x20(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x20(%rbp)
mov    -0x38(%rbp),%rax
mov    (%rax),%ecx
add    $0x1,%ecx
mov    -0x38(%rbp),%rax
mov    %ecx,(%rax)
jmp    12fe <ecdsa_sig_to_der+0x1fe>
cmpl   $0x40,-0x14(%rbp)
jge    1342 <ecdsa_sig_to_der+0x242>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x20(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x20(%rbp)
mov    -0x38(%rbp),%rax
mov    (%rax),%ecx
add    $0x1,%ecx
mov    -0x38(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    12fe <ecdsa_sig_to_der+0x1fe>
mov    -0x30(%rbp),%rax
mov    (%rax),%ecx
mov    -0x38(%rbp),%rax
add    (%rax),%ecx
add    $0x4,%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x28(%rbp),%rax
mov    (%rax),%eax
add    $0x2,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<ecdsa_sig_to_der>:
movaps 0xef9(%rip),%xmm0
movups %xmm0,(%rsi)
mov    $0xffffffffffffffff,%rcx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    0x4(%rdi,%rcx,4),%eax
add    $0x1,%rcx
test   %eax,%eax
jne    1132 <ecdsa_sig_to_der+0x32>
cmp    $0x20,%rcx
jb     1120 <ecdsa_sig_to_der+0x20>
cmp    $0x80,%eax
jl     1153 <ecdsa_sig_to_der+0x53>
lea    0x14(%rsi),%r9
movq   $0x1,0xc(%rsi)
test   $0xffffffe0,%ecx
jne    11ec <ecdsa_sig_to_der+0xec>
jmp    1163 <ecdsa_sig_to_der+0x63>
lea    0x10(%rsi),%r9
test   $0xffffffe0,%ecx
jne    11ec <ecdsa_sig_to_der+0xec>
mov    %ecx,%eax
neg    %eax
test   $0x3,%al
je     119a <ecdsa_sig_to_der+0x9a>
mov    %ecx,%eax
neg    %al
movzbl %al,%r8d
and    $0x3,%r8d
mov    %rcx,%rdx
nopw   0x0(%rax,%rax,1)
mov    (%rdi,%rdx,4),%eax
mov    %eax,(%r9)
addl   $0x1,0xc(%rsi)
add    $0x4,%r9
add    $0x1,%rdx
add    $0xffffffffffffffff,%r8
jne    1180 <ecdsa_sig_to_der+0x80>
jmp    119d <ecdsa_sig_to_der+0x9d>
mov    %rcx,%rdx
add    $0xffffffffffffffe3,%rcx
cmp    $0x3,%rcx
jb     11ec <ecdsa_sig_to_der+0xec>
nopw   0x0(%rax,%rax,1)
mov    (%rdi,%rdx,4),%eax
mov    %eax,(%r9)
addl   $0x1,0xc(%rsi)
mov    0x4(%rdi,%rdx,4),%eax
mov    %eax,0x4(%r9)
addl   $0x1,0xc(%rsi)
mov    0x8(%rdi,%rdx,4),%eax
mov    %eax,0x8(%r9)
addl   $0x1,0xc(%rsi)
mov    0xc(%rdi,%rdx,4),%eax
mov    %eax,0xc(%r9)
addl   $0x1,0xc(%rsi)
add    $0x10,%r9
add    $0x4,%rdx
cmp    $0x20,%rdx
jne    11b0 <ecdsa_sig_to_der+0xb0>
movq   $0x2,(%r9)
mov    $0x1f,%edx
nopl   0x0(%rax,%rax,1)
mov    0x4(%rdi,%rdx,4),%eax
add    $0x1,%rdx
test   %eax,%eax
jne    1212 <ecdsa_sig_to_der+0x112>
cmp    $0x40,%rdx
jb     1200 <ecdsa_sig_to_der+0x100>
cmp    $0x80,%eax
jl     1238 <ecdsa_sig_to_der+0x138>
lea    0xc(%r9),%r8
movq   $0x1,0x4(%r9)
mov    $0x1,%ecx
test   $0xffffffc0,%edx
jne    12f5 <ecdsa_sig_to_der+0x1f5>
jmp    124a <ecdsa_sig_to_der+0x14a>
lea    0x8(%r9),%r8
xor    %ecx,%ecx
test   $0xffffffc0,%edx
jne    12f5 <ecdsa_sig_to_der+0x1f5>
mov    %edx,%eax
neg    %eax
test   $0x3,%al
je     1291 <ecdsa_sig_to_der+0x191>
mov    %edx,%eax
neg    %al
movzbl %al,%r10d
and    $0x3,%r10d
mov    %rdx,%rax
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    (%rdi,%rax,4),%ecx
mov    %ecx,(%r8)
add    $0x4,%r8
mov    0x4(%r9),%ecx
add    $0x1,%ecx
mov    %ecx,0x4(%r9)
add    $0x1,%rax
add    $0xffffffffffffffff,%r10
jne    1270 <ecdsa_sig_to_der+0x170>
jmp    1294 <ecdsa_sig_to_der+0x194>
mov    %rdx,%rax
add    $0xffffffffffffffc3,%rdx
cmp    $0x3,%rdx
jb     12f5 <ecdsa_sig_to_der+0x1f5>
mov    $0x40,%edx
sub    %rax,%rdx
lea    (%rdi,%rax,4),%rax
add    $0xc,%rax
xor    %edi,%edi
mov    -0xc(%rax,%rdi,4),%ecx
mov    %ecx,(%r8,%rdi,4)
addl   $0x1,0x4(%r9)
mov    -0x8(%rax,%rdi,4),%ecx
mov    %ecx,0x4(%r8,%rdi,4)
addl   $0x1,0x4(%r9)
mov    -0x4(%rax,%rdi,4),%ecx
mov    %ecx,0x8(%r8,%rdi,4)
addl   $0x1,0x4(%r9)
mov    (%rax,%rdi,4),%ecx
mov    %ecx,0xc(%r8,%rdi,4)
mov    0x4(%r9),%ecx
add    $0x1,%ecx
mov    %ecx,0x4(%r9)
add    $0x4,%rdi
cmp    %rdi,%rdx
jne    12b0 <ecdsa_sig_to_der+0x1b0>
mov    0xc(%rsi),%eax
lea    (%rcx,%rax,1),%edx
add    $0x4,%edx
mov    %edx,0x4(%rsi)
add    %ecx,%eax
add    $0x6,%eax
ret

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

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