#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 */

/* Variables and functions */
long atol(char *);
int strlen(char *);
void Multiplica(char Multiplicando[], char Multiplicador[], char Produto[]) {
  char Buffer[20001];
  int digito, digito2, j, resto = 0, i = 0;
  long int Parcial, Quociente = 0;
  long int Auxiliar1 = atol(Multiplicando);
  int Tamanho_string = strlen(Multiplicador);
  Tamanho_string--;
  while (Tamanho_string != -1) {
    digito = Multiplicador[Tamanho_string] - 48;
    digito2 = Multiplicando[Tamanho_string] - 48;
    Parcial = digito2 * digito;
    Parcial = Parcial + Quociente;
    Quociente = Parcial / 10;
    resto = Parcial % 10;
    Buffer[i] = resto + 48;
    i++;
    Tamanho_string--;
  }
  while (Quociente >= 10) {
    resto = Quociente % 10;
    Quociente = Quociente / 10;
    Buffer[i] = resto + 48;
    i++;
  }
  if (Quociente > 0) {
    Buffer[i] = Quociente + 48;
    i++;
  }
  Buffer[i] = '\0';
  Tamanho_string = strlen(Buffer);
  for (i = 0, j = Tamanho_string - 1; i < Tamanho_string; i++, j--) {
    Produto[i] = Buffer[j];
  }
  Produto[i] = '\0';
}


x86 assembly (clang, -O0):
<Multiplica>:
push   %rbp
mov    %rsp,%rbp
sub    $0x4e80,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
movl   $0x0,-0x4e50(%rbp)
movl   $0x0,-0x4e54(%rbp)
movq   $0x0,-0x4e68(%rbp)
mov    -0x8(%rbp),%rdi
call   1040 <atol@plt>
mov    %rax,-0x4e70(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x4e74(%rbp)
mov    -0x4e74(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x4e74(%rbp)
cmpl   $0xffffffff,-0x4e74(%rbp)
je     1259 <Multiplica+0x139>
mov    -0x10(%rbp),%rax
movslq -0x4e74(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
sub    $0x30,%eax
mov    %eax,-0x4e44(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x4e74(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
sub    $0x30,%eax
mov    %eax,-0x4e48(%rbp)
mov    -0x4e48(%rbp),%eax
imul   -0x4e44(%rbp),%eax
cltq
mov    %rax,-0x4e60(%rbp)
mov    -0x4e60(%rbp),%rax
add    -0x4e68(%rbp),%rax
mov    %rax,-0x4e60(%rbp)
mov    -0x4e60(%rbp),%rax
mov    $0xa,%ecx
cqto
idiv   %rcx
mov    %rax,-0x4e68(%rbp)
mov    -0x4e60(%rbp),%rax
mov    $0xa,%ecx
cqto
idiv   %rcx
mov    %edx,%eax
mov    %eax,-0x4e50(%rbp)
mov    -0x4e50(%rbp),%eax
add    $0x30,%eax
mov    %al,%cl
movslq -0x4e54(%rbp),%rax
mov    %cl,-0x4e40(%rbp,%rax,1)
mov    -0x4e54(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4e54(%rbp)
mov    -0x4e74(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x4e74(%rbp)
jmp    1184 <Multiplica+0x64>
jmp    125e <Multiplica+0x13e>
cmpq   $0xa,-0x4e68(%rbp)
0a
jl     12ca <Multiplica+0x1aa>
mov    -0x4e68(%rbp),%rax
mov    $0xa,%ecx
cqto
idiv   %rcx
mov    %edx,%eax
mov    %eax,-0x4e50(%rbp)
mov    -0x4e68(%rbp),%rax
mov    $0xa,%ecx
cqto
idiv   %rcx
mov    %rax,-0x4e68(%rbp)
mov    -0x4e50(%rbp),%eax
add    $0x30,%eax
mov    %al,%cl
movslq -0x4e54(%rbp),%rax
mov    %cl,-0x4e40(%rbp,%rax,1)
mov    -0x4e54(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4e54(%rbp)
jmp    125e <Multiplica+0x13e>
cmpq   $0x0,-0x4e68(%rbp)
jle    1302 <Multiplica+0x1e2>
mov    -0x4e68(%rbp),%rax
add    $0x30,%rax
mov    %al,%cl
movslq -0x4e54(%rbp),%rax
mov    %cl,-0x4e40(%rbp,%rax,1)
mov    -0x4e54(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4e54(%rbp)
movslq -0x4e54(%rbp),%rax
movb   $0x0,-0x4e40(%rbp,%rax,1)
lea    -0x4e40(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x4e74(%rbp)
movl   $0x0,-0x4e54(%rbp)
mov    -0x4e74(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x4e4c(%rbp)
mov    -0x4e54(%rbp),%eax
cmp    -0x4e74(%rbp),%eax
jge    138d <Multiplica+0x26d>
movslq -0x4e4c(%rbp),%rax
mov    -0x4e40(%rbp,%rax,1),%dl
mov    -0x18(%rbp),%rax
movslq -0x4e54(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x4e54(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4e54(%rbp)
mov    -0x4e4c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x4e4c(%rbp)
jmp    133c <Multiplica+0x21c>
mov    -0x18(%rbp),%rax
movslq -0x4e54(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
add    $0x4e80,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<Multiplica>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
sub    $0x4e30,%rsp
mov    %rdx,%r12
mov    %rsi,%r15
mov    %rdi,%r14
mov    %rsi,%rdi
call   1030 <strlen@plt>
test   %eax,%eax
je     1210 <Multiplica+0x100>
mov    %eax,%r8d
cltq
mov    %r8d,%edi
mov    %rdi,%r11
neg    %r11
lea    (%r15,%rax,1),%r9
add    $0xffffffffffffffff,%r9
lea    (%r14,%rax,1),%r10
add    $0xffffffffffffffff,%r10
mov    %rsp,%rbx
xor    %ecx,%ecx
movabs $0x6666666666666667,%r14
66 66 66
xor    %edx,%edx
nopw   0x0(%rax,%rax,1)
movsbq (%r9,%rcx,1),%rax
add    $0xffffffffffffffd0,%rax
movsbq (%r10,%rcx,1),%rsi
add    $0xffffffffffffffd0,%rsi
imul   %rax,%rsi
add    %rdx,%rsi
mov    %rsi,%rax
imul   %r14
mov    %rdx,%rax
shr    $0x3f,%rax
sar    $0x2,%rdx
add    %rax,%rdx
lea    (%rdx,%rdx,1),%eax
lea    (%rax,%rax,4),%eax
mov    %esi,%ebp
sub    %eax,%ebp
add    $0x30,%bpl
mov    %bpl,(%rbx)
add    $0x1,%rbx
add    $0xffffffffffffffff,%rcx
cmp    %rcx,%r11
jne    1170 <Multiplica+0x60>
cmp    $0x64,%rsi
jl     11fc <Multiplica+0xec>
movabs $0xcccccccccccccccd,%rsi
cc cc cc
nopl   0x0(%rax,%rax,1)
mov    %rdx,%rcx
mov    %rdx,%rax
mul    %rsi
shr    $0x3,%rdx
lea    (%rdx,%rdx,1),%eax
lea    (%rax,%rax,4),%eax
mov    %ecx,%ebp
sub    %eax,%ebp
or     $0x30,%bpl
mov    %bpl,(%rsp,%rdi,1)
add    $0x1,%rdi
cmp    $0x63,%rcx
ja     11d0 <Multiplica+0xc0>
mov    %edi,%r8d
test   %rdx,%rdx
jle    1213 <Multiplica+0x103>
add    $0x30,%dl
mov    %r8d,%eax
mov    %dl,(%rsp,%rax,1)
add    $0x1,%r8d
jmp    1213 <Multiplica+0x103>
xor    %r8d,%r8d
movslq %r8d,%rax
movb   $0x0,(%rsp,%rax,1)
mov    %rsp,%r14
mov    %r14,%rdi
call   1030 <strlen@plt>
test   %eax,%eax
jle    123a <Multiplica+0x12a>
mov    %eax,%ecx
cmp    $0x8,%eax
jae    1241 <Multiplica+0x131>
xor    %eax,%eax
mov    %rcx,%rdx
jmp    134b <Multiplica+0x23b>
xor    %ecx,%ecx
jmp    1374 <Multiplica+0x264>
cmp    $0x20,%eax
jae    124d <Multiplica+0x13d>
xor    %eax,%eax
jmp    12ed <Multiplica+0x1dd>
mov    %ecx,%eax
and    $0xffffffe0,%eax
lea    (%rcx,%r14,1),%rdx
add    $0xfffffffffffffff0,%rdx
xor    %esi,%esi
pxor   %xmm0,%xmm0
movdqu -0x10(%rdx),%xmm1
movdqu (%rdx),%xmm2
movdqa %xmm2,%xmm3
punpcklbw %xmm0,%xmm3
pshufd $0x4e,%xmm3,%xmm3
pshuflw $0x1b,%xmm3,%xmm3
pshufhw $0x1b,%xmm3,%xmm3
punpckhbw %xmm0,%xmm2
pshufd $0x4e,%xmm2,%xmm2
pshuflw $0x1b,%xmm2,%xmm2
pshufhw $0x1b,%xmm2,%xmm2
packuswb %xmm3,%xmm2
movdqa %xmm1,%xmm3
punpcklbw %xmm0,%xmm3
pshufd $0x4e,%xmm3,%xmm3
pshuflw $0x1b,%xmm3,%xmm3
pshufhw $0x1b,%xmm3,%xmm3
punpckhbw %xmm0,%xmm1
pshufd $0x4e,%xmm1,%xmm1
pshuflw $0x1b,%xmm1,%xmm1
pshufhw $0x1b,%xmm1,%xmm1
packuswb %xmm3,%xmm1
movdqu %xmm2,(%r12,%rsi,1)
movdqu %xmm1,0x10(%r12,%rsi,1)
add    $0x20,%rsi
add    $0xffffffffffffffe0,%rdx
cmp    %rsi,%rax
jne    1260 <Multiplica+0x150>
cmp    %rcx,%rax
je     1374 <Multiplica+0x264>
test   $0x18,%cl
je     1345 <Multiplica+0x235>
mov    %rax,%rsi
mov    %ecx,%eax
and    $0xfffffff8,%eax
mov    %rcx,%rdx
sub    %rax,%rdx
mov    %rcx,%rdi
sub    %rsi,%rdi
add    %rsp,%rdi
add    $0xfffffffffffffff8,%rdi
pxor   %xmm0,%xmm0
nopl   0x0(%rax)
movq   (%rdi),%xmm1
punpcklbw %xmm0,%xmm1
pshufd $0x4e,%xmm1,%xmm1
pshuflw $0x1b,%xmm1,%xmm1
pshufhw $0x1b,%xmm1,%xmm1
packuswb %xmm1,%xmm1
movq   %xmm1,(%r12,%rsi,1)
add    $0x8,%rsi
add    $0xfffffffffffffff8,%rdi
cmp    %rsi,%rax
jne    1310 <Multiplica+0x200>
cmp    %rcx,%rax
jne    134b <Multiplica+0x23b>
jmp    1374 <Multiplica+0x264>
mov    %rcx,%rdx
sub    %rax,%rdx
add    %r14,%rdx
add    $0xffffffffffffffff,%rdx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movzbl (%rdx),%ebx
mov    %bl,(%r12,%rax,1)
add    $0x1,%rax
add    $0xffffffffffffffff,%rdx
cmp    %rax,%rcx
jne    1360 <Multiplica+0x250>
movb   $0x0,(%r12,%rcx,1)
add    $0x4e30,%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret

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

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