#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 /*<<< orphan*/ uint8_t;
typedef int uint32_t;
typedef int /*<<< orphan*/ uint16_t;

/* Variables and functions */
void _hs_text_decode_latin1(uint16_t *dest, const uint8_t *src,
                            const uint8_t *srcend) {
  const uint8_t *p = src;
  while (p != srcend && (uintptr_t)p & 0x3)
    *dest++ = *p++;
  while (p < srcend - 3) {
    const uint32_t w = *((const uint32_t *)p);
    *dest++ = w & 0xff;
    *dest++ = (w >> 8) & 0xff;
    *dest++ = (w >> 16) & 0xff;
    *dest++ = (w >> 24) & 0xff;
    p += 4;
  }
  while (p != srcend)
    *dest++ = *p++;
}


x86 assembly (clang, -O0):
<_hs_text_decode_latin1>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rcx
xor    %eax,%eax
cmp    -0x18(%rbp),%rcx
mov    %al,-0x25(%rbp)
je     113d <_hs_text_decode_latin1+0x3d>
mov    -0x20(%rbp),%rax
and    $0x3,%rax
cmp    $0x0,%rax
setne  %al
mov    %al,-0x25(%rbp)
mov    -0x25(%rbp),%al
test   $0x1,%al
jne    114d <_hs_text_decode_latin1+0x4d>
jmp    1174 <_hs_text_decode_latin1+0x74>
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x20(%rbp)
mov    (%rax),%ecx
mov    -0x8(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x8(%rbp)
mov    %ecx,(%rax)
jmp    1118 <_hs_text_decode_latin1+0x18>
jmp    1179 <_hs_text_decode_latin1+0x79>
mov    -0x20(%rbp),%rax
mov    -0x18(%rbp),%rcx
add    $0xfffffffffffffff4,%rcx
cmp    %rcx,%rax
jae    1219 <_hs_text_decode_latin1+0x119>
mov    -0x20(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%ecx
and    $0xff,%ecx
mov    -0x8(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x8(%rbp)
mov    %ecx,(%rax)
mov    -0x24(%rbp),%ecx
sar    $0x8,%ecx
and    $0xff,%ecx
mov    -0x8(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x8(%rbp)
mov    %ecx,(%rax)
mov    -0x24(%rbp),%ecx
sar    $0x10,%ecx
and    $0xff,%ecx
mov    -0x8(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x8(%rbp)
mov    %ecx,(%rax)
mov    -0x24(%rbp),%ecx
sar    $0x18,%ecx
and    $0xff,%ecx
mov    -0x8(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x8(%rbp)
mov    %ecx,(%rax)
mov    -0x20(%rbp),%rax
add    $0x10,%rax
mov    %rax,-0x20(%rbp)
jmp    1179 <_hs_text_decode_latin1+0x79>
jmp    121e <_hs_text_decode_latin1+0x11e>
mov    -0x20(%rbp),%rax
cmp    -0x18(%rbp),%rax
je     1253 <_hs_text_decode_latin1+0x153>
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x20(%rbp)
mov    (%rax),%ecx
mov    -0x8(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x8(%rbp)
mov    %ecx,(%rax)
jmp    121e <_hs_text_decode_latin1+0x11e>
pop    %rbp
ret

x86 assembly (clang, -O2):
<_hs_text_decode_latin1>:
cmp    %rdx,%rsi
je     113f <_hs_text_decode_latin1+0x3f>
mov    %esi,%eax
and    $0x3,%eax
test   %rax,%rax
je     113f <_hs_text_decode_latin1+0x3f>
lea    0x4(%rsi),%rax
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    (%rsi),%ecx
add    $0x4,%rsi
mov    %ecx,(%rdi)
add    $0x4,%rdi
cmp    %rdx,%rsi
je     113f <_hs_text_decode_latin1+0x3f>
mov    %eax,%ecx
and    $0x3,%ecx
add    $0x4,%rax
test   %rcx,%rcx
jne    1120 <_hs_text_decode_latin1+0x20>
lea    -0xc(%rdx),%r8
cmp    %r8,%rsi
jae    117b <_hs_text_decode_latin1+0x7b>
nopl   0x0(%rax,%rax,1)
mov    (%rsi),%ecx
movzbl %cl,%eax
mov    %eax,(%rdi)
movzbl %ch,%eax
mov    %eax,0x4(%rdi)
mov    %ecx,%eax
shr    $0x10,%eax
movzbl %al,%eax
mov    %eax,0x8(%rdi)
shr    $0x18,%ecx
mov    %ecx,0xc(%rdi)
add    $0x10,%rdi
add    $0x10,%rsi
cmp    %r8,%rsi
jb     1150 <_hs_text_decode_latin1+0x50>
cmp    %rdx,%rsi
je     12c1 <_hs_text_decode_latin1+0x1c1>
mov    %rdx,%r9
sub    %rsi,%r9
add    $0xfffffffffffffffc,%r9
cmp    $0x1c,%r9
jb     12b0 <_hs_text_decode_latin1+0x1b0>
mov    %r9,%rax
and    $0xfffffffffffffffc,%rax
lea    (%rsi,%rax,1),%rcx
add    $0x4,%rcx
cmp    %rcx,%rdi
jae    11bc <_hs_text_decode_latin1+0xbc>
add    %rdi,%rax
add    $0x4,%rax
cmp    %rax,%rsi
jb     12b0 <_hs_text_decode_latin1+0x1b0>
shr    $0x2,%r9
add    $0x1,%r9
mov    %r9,%r8
and    $0xfffffffffffffff8,%r8
lea    -0x8(%r8),%rax
mov    %rax,%rcx
shr    $0x3,%rcx
add    $0x1,%rcx
mov    %ecx,%r10d
and    $0x3,%r10d
cmp    $0x18,%rax
jae    11eb <_hs_text_decode_latin1+0xeb>
xor    %eax,%eax
jmp    1258 <_hs_text_decode_latin1+0x158>
and    $0xfffffffffffffffc,%rcx
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movups (%rsi,%rax,4),%xmm0
movups 0x10(%rsi,%rax,4),%xmm1
movups %xmm0,(%rdi,%rax,4)
movups %xmm1,0x10(%rdi,%rax,4)
movups 0x20(%rsi,%rax,4),%xmm0
movups 0x30(%rsi,%rax,4),%xmm1
movups %xmm0,0x20(%rdi,%rax,4)
movups %xmm1,0x30(%rdi,%rax,4)
movups 0x40(%rsi,%rax,4),%xmm0
movups 0x50(%rsi,%rax,4),%xmm1
movups %xmm0,0x40(%rdi,%rax,4)
movups %xmm1,0x50(%rdi,%rax,4)
movups 0x60(%rsi,%rax,4),%xmm0
movups 0x70(%rsi,%rax,4),%xmm1
movups %xmm0,0x60(%rdi,%rax,4)
movups %xmm1,0x70(%rdi,%rax,4)
add    $0x20,%rax
add    $0xfffffffffffffffc,%rcx
jne    1200 <_hs_text_decode_latin1+0x100>
test   %r10,%r10
je     129d <_hs_text_decode_latin1+0x19d>
lea    (%rsi,%rax,4),%r11
add    $0x10,%r11
lea    (%rdi,%rax,4),%rax
add    $0x10,%rax
shl    $0x5,%r10
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movups -0x10(%r11,%rcx,1),%xmm0
movups (%r11,%rcx,1),%xmm1
movups %xmm0,-0x10(%rax,%rcx,1)
movups %xmm1,(%rax,%rcx,1)
add    $0x20,%rcx
cmp    %rcx,%r10
jne    1280 <_hs_text_decode_latin1+0x180>
cmp    %r8,%r9
je     12c1 <_hs_text_decode_latin1+0x1c1>
lea    (%rdi,%r8,4),%rdi
lea    (%rsi,%r8,4),%rsi
nopw   0x0(%rax,%rax,1)
mov    (%rsi),%eax
add    $0x4,%rsi
mov    %eax,(%rdi)
add    $0x4,%rdi
cmp    %rdx,%rsi
jne    12b0 <_hs_text_decode_latin1+0x1b0>
ret

LLVM IR (-O0):
define void @_hs_text_decode_latin1(i32* %0, i32* %1, i32* %2) {
%4 = alloca i32*
%5 = alloca i32*
%6 = alloca i32*
%7 = alloca i32*
%8 = alloca i32
store i32* %0, i32** %4
store i32* %1, i32** %5
store i32* %2, i32** %6
%9 = load i32*, i32** %5
store i32* %9, i32** %7
br label %10
10: ; preds = %21, %3
%11 = load i32*, i32** %7
%12 = load i32*, i32** %6
%13 = icmp ne i32* %11, %12
br i1 %13, label %14, label %19
14: ; preds = %10
%15 = load i32*, i32** %7
%16 = ptrtoint i32* %15 to i64
%17 = and i64 %16, 3
%18 = icmp ne i64 %17, 0
br label %19
19: ; preds = %14, %10
%20 = phi i1 [ false, %10 ], [ %18, %14 ]
br i1 %20, label %21, label %27
21: ; preds = %19
%22 = load i32*, i32** %7
%23 = getelementptr inbounds i32, i32* %22, i32 1
store i32* %23, i32** %7
%24 = load i32, i32* %22
%25 = load i32*, i32** %4
%26 = getelementptr inbounds i32, i32* %25, i32 1
store i32* %26, i32** %4
store i32 %24, i32* %25
br label %10
27: ; preds = %19
br label %28
28: ; preds = %33, %27
%29 = load i32*, i32** %7
%30 = load i32*, i32** %6
%31 = getelementptr inbounds i32, i32* %30, i64 -3
%32 = icmp ult i32* %29, %31
br i1 %32, label %33, label %57
33: ; preds = %28
%34 = load i32*, i32** %7
%35 = load i32, i32* %34
store i32 %35, i32* %8
%36 = load i32, i32* %8
%37 = and i32 %36, 255
%38 = load i32*, i32** %4
%39 = getelementptr inbounds i32, i32* %38, i32 1
store i32* %39, i32** %4
store i32 %37, i32* %38
%40 = load i32, i32* %8
%41 = ashr i32 %40, 8
%42 = and i32 %41, 255
%43 = load i32*, i32** %4
%44 = getelementptr inbounds i32, i32* %43, i32 1
store i32* %44, i32** %4
store i32 %42, i32* %43
%45 = load i32, i32* %8
%46 = ashr i32 %45, 16
%47 = and i32 %46, 255
%48 = load i32*, i32** %4
%49 = getelementptr inbounds i32, i32* %48, i32 1
store i32* %49, i32** %4
store i32 %47, i32* %48
%50 = load i32, i32* %8
%51 = ashr i32 %50, 24
%52 = and i32 %51, 255
%53 = load i32*, i32** %4
%54 = getelementptr inbounds i32, i32* %53, i32 1
store i32* %54, i32** %4
store i32 %52, i32* %53
%55 = load i32*, i32** %7
%56 = getelementptr inbounds i32, i32* %55, i64 4
store i32* %56, i32** %7
br label %28
57: ; preds = %28
br label %58
58: ; preds = %62, %57
%59 = load i32*, i32** %7
%60 = load i32*, i32** %6
%61 = icmp ne i32* %59, %60
br i1 %61, label %62, label %68
62: ; preds = %58
%63 = load i32*, i32** %7
%64 = getelementptr inbounds i32, i32* %63, i32 1
store i32* %64, i32** %7
%65 = load i32, i32* %63
%66 = load i32*, i32** %4
%67 = getelementptr inbounds i32, i32* %66, i32 1
store i32* %67, i32** %4
store i32 %65, i32* %66
br label %58
68: ; preds = %58
ret void
}

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