void *memset(void *optr, int ival, unsigned long size) {
  unsigned long val = ival;
  void *ptr = optr;
  if (__builtin_expect(size == 0, 0))
    return optr;
  if (__builtin_expect(val != 0, 0)) {
    val = val & 0xff;
    val |= val << 8;
    val |= val << 16;
    val |= val << 32;
  }
  if (__builtin_expect((unsigned long)ptr & 1, 0)) {
    *(char *)ptr = val;
    ptr += 1;
    size -= 1;
  }
  if (__builtin_expect((unsigned long)ptr & 2, 0)) {
    if (size < 2)
      goto tail_1;
    *(short *)ptr = val;
    ptr += 2;
    size -= 2;
  }
  if (__builtin_expect((unsigned long)ptr & 4, 0)) {
    if (size < 4)
      goto tail_3;
    *(int *)ptr = val;
    ptr += 4;
    size -= 4;
  }
  while (size >= 8) {
    *(long *)ptr = val;
    ptr += 8;
    size -= 8;
  }
  if (size >= 4) {
    *(int *)ptr = val;
    ptr += 4;
    size -= 4;
  }
tail_3:
  if (size >= 2) {
    *(short *)ptr = val;
    ptr += 2;
    size -= 2;
  }
tail_1:
  if (size > 0) {
    *(char *)ptr = val;
    ptr += 1;
    size -= 1;
  }
  return optr;
}


x86 assembly (clang, -O0):
<memset>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %rdx,-0x20(%rbp)
movslq -0x14(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x30(%rbp)
cmpq   $0x0,-0x20(%rbp)
sete   %al
and    $0x1,%al
movzbl %al,%eax
cltq
cmp    $0x0,%rax
je     1145 <memset+0x45>
mov    -0x10(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    1339 <memset+0x239>
cmpq   $0x0,-0x28(%rbp)
setne  %al
and    $0x1,%al
movzbl %al,%eax
cltq
cmp    $0x0,%rax
je     119c <memset+0x9c>
mov    -0x28(%rbp),%rax
and    $0xff,%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
shl    $0x8,%rax
or     -0x28(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
shl    $0x10,%rax
or     -0x28(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
shl    $0x20,%rax
or     -0x28(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x30(%rbp),%rax
and    $0x1,%rax
cmp    $0x0,%rax
je     11d2 <memset+0xd2>
mov    -0x28(%rbp),%rax
mov    %al,%cl
mov    -0x30(%rbp),%rax
mov    %cl,(%rax)
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
mov    -0x20(%rbp),%rax
sub    $0x1,%rax
mov    %rax,-0x20(%rbp)
mov    -0x30(%rbp),%rax
and    $0x2,%rax
cmp    $0x0,%rax
je     121a <memset+0x11a>
cmpq   $0x2,-0x20(%rbp)
jae    11f4 <memset+0xf4>
jmp    1302 <memset+0x202>
mov    -0x28(%rbp),%rax
mov    %ax,%cx
mov    -0x30(%rbp),%rax
mov    %cx,(%rax)
mov    -0x30(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x30(%rbp)
mov    -0x20(%rbp),%rax
sub    $0x2,%rax
mov    %rax,-0x20(%rbp)
mov    -0x30(%rbp),%rax
and    $0x4,%rax
cmp    $0x0,%rax
je     1260 <memset+0x160>
cmpq   $0x4,-0x20(%rbp)
jae    123c <memset+0x13c>
jmp    12cc <memset+0x1cc>
mov    -0x28(%rbp),%rax
mov    %eax,%ecx
mov    -0x30(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x30(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x30(%rbp)
mov    -0x20(%rbp),%rax
sub    $0x4,%rax
mov    %rax,-0x20(%rbp)
jmp    1265 <memset+0x165>
cmpq   $0x8,-0x20(%rbp)
jb     1298 <memset+0x198>
mov    -0x28(%rbp),%rcx
mov    -0x30(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x30(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x30(%rbp)
mov    -0x20(%rbp),%rax
sub    $0x8,%rax
mov    %rax,-0x20(%rbp)
jmp    1265 <memset+0x165>
cmpq   $0x4,-0x20(%rbp)
jb     12c7 <memset+0x1c7>
mov    -0x28(%rbp),%rax
mov    %eax,%ecx
mov    -0x30(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x30(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x30(%rbp)
mov    -0x20(%rbp),%rax
sub    $0x4,%rax
mov    %rax,-0x20(%rbp)
jmp    12cc <memset+0x1cc>
cmpq   $0x2,-0x20(%rbp)
jb     12fd <memset+0x1fd>
mov    -0x28(%rbp),%rax
mov    %ax,%cx
mov    -0x30(%rbp),%rax
mov    %cx,(%rax)
mov    -0x30(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x30(%rbp)
mov    -0x20(%rbp),%rax
sub    $0x2,%rax
mov    %rax,-0x20(%rbp)
jmp    1302 <memset+0x202>
cmpq   $0x0,-0x20(%rbp)
jbe    1331 <memset+0x231>
mov    -0x28(%rbp),%rax
mov    %al,%cl
mov    -0x30(%rbp),%rax
mov    %cl,(%rax)
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
mov    -0x20(%rbp),%rax
sub    $0x1,%rax
mov    %rax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<memset>:
push   %rbx
mov    %rdi,%rax
test   %rdx,%rdx
je     124c <memset+0x14c>
test   %esi,%esi
jne    124e <memset+0x14e>
xor    %r10d,%r10d
test   $0x1,%al
jne    126a <memset+0x16a>
mov    %rax,%rsi
test   $0x2,%sil
jne    127f <memset+0x17f>
test   $0x4,%sil
jne    129b <memset+0x19b>
cmp    $0x8,%rdx
jb     1221 <memset+0x121>
lea    -0x8(%rdx),%r9
cmp    $0x18,%r9
jb     1210 <memset+0x110>
shr    $0x3,%r9
add    $0x1,%r9
mov    %r9,%r8
and    $0xfffffffffffffffc,%r8
movq   %r10,%xmm0
pshufd $0x44,%xmm0,%xmm0
lea    -0x4(%r8),%rcx
mov    %rcx,%rdi
shr    $0x2,%rdi
add    $0x1,%rdi
mov    %edi,%r11d
and    $0x3,%r11d
cmp    $0xc,%rcx
jae    1188 <memset+0x88>
xor    %ecx,%ecx
jmp    11c9 <memset+0xc9>
and    $0xfffffffffffffffc,%rdi
xor    %ecx,%ecx
xchg   %ax,%ax
movdqu %xmm0,(%rsi,%rcx,8)
movdqu %xmm0,0x10(%rsi,%rcx,8)
movdqu %xmm0,0x20(%rsi,%rcx,8)
movdqu %xmm0,0x30(%rsi,%rcx,8)
movdqu %xmm0,0x40(%rsi,%rcx,8)
movdqu %xmm0,0x50(%rsi,%rcx,8)
movdqu %xmm0,0x60(%rsi,%rcx,8)
movdqu %xmm0,0x70(%rsi,%rcx,8)
add    $0x10,%rcx
add    $0xfffffffffffffffc,%rdi
jne    1190 <memset+0x90>
lea    0x0(,%r8,8),%rdi
test   %r11,%r11
je     1204 <memset+0x104>
lea    (%rsi,%rcx,8),%rcx
add    $0x10,%rcx
shl    $0x5,%r11
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movdqu %xmm0,-0x10(%rcx,%rbx,1)
movdqu %xmm0,(%rcx,%rbx,1)
add    $0x20,%rbx
cmp    %rbx,%r11
jne    11f0 <memset+0xf0>
lea    (%rsi,%r8,8),%rsi
sub    %rdi,%rdx
cmp    %r8,%r9
je     1221 <memset+0x121>
mov    %r10,(%rsi)
add    $0x8,%rsi
add    $0xfffffffffffffff8,%rdx
cmp    $0x7,%rdx
ja     1210 <memset+0x110>
cmp    $0x4,%rdx
jb     1232 <memset+0x132>
mov    %r10d,(%rsi)
add    $0x4,%rsi
add    $0xfffffffffffffffc,%rdx
cmp    $0x2,%rdx
jb     1244 <memset+0x144>
mov    %r10w,(%rsi)
add    $0x2,%rsi
add    $0xfffffffffffffffe,%rdx
test   %rdx,%rdx
je     124c <memset+0x14c>
mov    %r10b,(%rsi)
pop    %rbx
ret
movzbl %sil,%ecx
imul   $0x1010101,%ecx,%ecx
mov    %rcx,%r10
shl    $0x20,%r10
or     %rcx,%r10
test   $0x1,%al
je     1120 <memset+0x20>
mov    %r10b,(%rax)
lea    0x1(%rax),%rsi
add    $0xffffffffffffffff,%rdx
test   $0x2,%sil
je     112d <memset+0x2d>
cmp    $0x2,%rdx
jb     1244 <memset+0x144>
mov    %r10w,(%rsi)
add    $0x2,%rsi
add    $0xfffffffffffffffe,%rdx
test   $0x4,%sil
je     1137 <memset+0x37>
cmp    $0x4,%rdx
jb     1232 <memset+0x132>
mov    %r10d,(%rsi)
add    $0x4,%rsi
add    $0xfffffffffffffffc,%rdx
cmp    $0x8,%rdx
jae    1141 <memset+0x41>
jmp    1221 <memset+0x121>

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

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