#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 */
int strlen(char *);
void utf8_to_latin1(char *utf8_str) {
  int i, j, len;
  unsigned char *str;
  str = (unsigned char *)utf8_str;
  len = strlen(utf8_str);
  if (!len) {
    return;
  }
  j = 0;
  for (i = 0; i < len; i++) {
    if ((str[i] < 32) || ((str[i] > 127) && (str[i] < 192))) {
      str[j++] = '.';
      continue;
    }
    if (str[i] > 223) {
      str[j++] = 0;
      return;
    }
    if ((str[i] & 224) == 192) {
      if ((i + 1) == len) {
        str[j++] = 0;
        return;
      }
      if ((str[i] & 252) != 192) {
        str[j++] = '.';
        i++;
        continue;
      }
      if ((str[i + 1] & 192) != 128) {
        str[j++] = 0;
        return;
      }
      str[j] = str[i] << 6;
      str[j] += (str[i + 1] & 63);
      i++;
      j++;
      continue;
    }
    str[j++] = str[i];
  }
  if (j < len) {
    str[j] = 0;
  }
}


x86 assembly (clang, -O0):
<utf8_to_latin1>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x8(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x14(%rbp)
cmpl   $0x0,-0x14(%rbp)
jne    113f <utf8_to_latin1+0x2f>
jmp    1347 <utf8_to_latin1+0x237>
movl   $0x0,-0x10(%rbp)
movl   $0x0,-0xc(%rbp)
mov    -0xc(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    132f <utf8_to_latin1+0x21f>
mov    -0x20(%rbp),%rax
movslq -0xc(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x20,%eax
jl     119a <utf8_to_latin1+0x8a>
mov    -0x20(%rbp),%rax
movslq -0xc(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x7f,%eax
jle    11b5 <utf8_to_latin1+0xa5>
mov    -0x20(%rbp),%rax
movslq -0xc(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0xc0,%eax
jge    11b5 <utf8_to_latin1+0xa5>
mov    -0x20(%rbp),%rax
mov    -0x10(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x10(%rbp)
movslq %ecx,%rcx
movb   $0x2e,(%rax,%rcx,1)
jmp    1321 <utf8_to_latin1+0x211>
mov    -0x20(%rbp),%rax
movslq -0xc(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0xdf,%eax
jle    11e7 <utf8_to_latin1+0xd7>
mov    -0x20(%rbp),%rax
mov    -0x10(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x10(%rbp)
movslq %ecx,%rcx
movb   $0x0,(%rax,%rcx,1)
jmp    1347 <utf8_to_latin1+0x237>
mov    -0x20(%rbp),%rax
movslq -0xc(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
and    $0xe0,%eax
cmp    $0xc0,%eax
jne    1301 <utf8_to_latin1+0x1f1>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
cmp    -0x14(%rbp),%eax
jne    122d <utf8_to_latin1+0x11d>
mov    -0x20(%rbp),%rax
mov    -0x10(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x10(%rbp)
movslq %ecx,%rcx
movb   $0x0,(%rax,%rcx,1)
jmp    1347 <utf8_to_latin1+0x237>
mov    -0x20(%rbp),%rax
movslq -0xc(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
and    $0xfc,%eax
cmp    $0xc0,%eax
je     126d <utf8_to_latin1+0x15d>
mov    -0x20(%rbp),%rax
mov    -0x10(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x10(%rbp)
movslq %ecx,%rcx
movb   $0x2e,(%rax,%rcx,1)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1321 <utf8_to_latin1+0x211>
mov    -0x20(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
and    $0xc0,%eax
cmp    $0x80,%eax
je     12a9 <utf8_to_latin1+0x199>
mov    -0x20(%rbp),%rax
mov    -0x10(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x10(%rbp)
movslq %ecx,%rcx
movb   $0x0,(%rax,%rcx,1)
jmp    1347 <utf8_to_latin1+0x237>
mov    -0x20(%rbp),%rax
movslq -0xc(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
shl    $0x6,%eax
mov    %al,%dl
mov    -0x20(%rbp),%rax
movslq -0x10(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x20(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%esi
and    $0x3f,%esi
mov    -0x20(%rbp),%rax
movslq -0x10(%rbp),%rcx
movzbl (%rax,%rcx,1),%edx
add    %esi,%edx
mov    %dl,(%rax,%rcx,1)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1321 <utf8_to_latin1+0x211>
mov    -0x20(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x20(%rbp),%rax
mov    -0x10(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x10(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    114d <utf8_to_latin1+0x3d>
mov    -0x10(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    1347 <utf8_to_latin1+0x237>
mov    -0x20(%rbp),%rax
movslq -0x10(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<utf8_to_latin1>:
push   %r14
push   %rbx
push   %rax
mov    %rdi,%r14
call   1030 <strlen@plt>
test   %eax,%eax
je     11d3 <utf8_to_latin1+0xc3>
jle    11c6 <utf8_to_latin1+0xb6>
xor    %ecx,%ecx
xor    %edi,%edi
jmp    1144 <utf8_to_latin1+0x34>
movb   $0x2e,(%r14,%rcx,1)
add    $0x1,%rcx
add    $0x1,%edi
cmp    %eax,%edi
jge    11c8 <utf8_to_latin1+0xb8>
movslq %edi,%r8
movzbl (%r14,%r8,1),%ebx
cmp    $0x20,%ebx
jb     1130 <utf8_to_latin1+0x20>
cmp    $0xbf,%bl
jle    1130 <utf8_to_latin1+0x20>
cmp    $0xe0,%bl
jae    11cc <utf8_to_latin1+0xbc>
mov    %ebx,%esi
and    $0xffffffe0,%esi
cmp    $0xc0,%esi
jne    11b0 <utf8_to_latin1+0xa0>
add    $0x1,%r8
cmp    %eax,%r8d
je     11cc <utf8_to_latin1+0xbc>
mov    %ebx,%esi
and    $0xfffffffc,%esi
cmp    $0xc0,%esi
jne    11b9 <utf8_to_latin1+0xa9>
movzbl (%r14,%r8,1),%edx
and    $0xc0,%dl
cmp    $0x80,%dl
jne    11cc <utf8_to_latin1+0xbc>
shl    $0x6,%bl
mov    %bl,(%r14,%rcx,1)
movzbl (%r14,%r8,1),%edx
and    $0x3f,%dl
or     %bl,%dl
mov    %dl,(%r14,%rcx,1)
mov    %r8d,%edi
jmp    1135 <utf8_to_latin1+0x25>
cs nopw 0x0(%rax,%rax,1)
nop
mov    %bl,(%r14,%rcx,1)
jmp    1135 <utf8_to_latin1+0x25>
movb   $0x2e,(%r14,%rcx,1)
mov    %r8d,%edi
jmp    1135 <utf8_to_latin1+0x25>
xor    %ecx,%ecx
cmp    %eax,%ecx
jge    11d3 <utf8_to_latin1+0xc3>
mov    %ecx,%eax
movb   $0x0,(%r14,%rax,1)
add    $0x8,%rsp
pop    %rbx
pop    %r14
ret

LLVM IR (-O0):
define void @utf8_to_latin1(i8* %0) {
%2 = alloca i8*
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
%6 = alloca i8*
store i8* %0, i8** %2
%7 = load i8*, i8** %2
store i8* %7, i8** %6
%8 = load i8*, i8** %2
%9 = call i32 @strlen(i8* %8)
store i32 %9, i32* %5
%10 = load i32, i32* %5
%11 = icmp ne i32 %10, 0
br i1 %11, label %13, label %12
12: ; preds = %1
br label %171
13: ; preds = %1
store i32 0, i32* %4
store i32 0, i32* %3
br label %14
14: ; preds = %159, %13
%15 = load i32, i32* %3
%16 = load i32, i32* %5
%17 = icmp slt i32 %15, %16
br i1 %17, label %18, label %162
18: ; preds = %14
%19 = load i8*, i8** %6
%20 = load i32, i32* %3
%21 = sext i32 %20 to i64
%22 = getelementptr inbounds i8, i8* %19, i64 %21
%23 = load i8, i8* %22
%24 = zext i8 %23 to i32
%25 = icmp slt i32 %24, 32
br i1 %25, label %42, label %26
26: ; preds = %18
%27 = load i8*, i8** %6
%28 = load i32, i32* %3
%29 = sext i32 %28 to i64
%30 = getelementptr inbounds i8, i8* %27, i64 %29
%31 = load i8, i8* %30
%32 = zext i8 %31 to i32
%33 = icmp sgt i32 %32, 127
br i1 %33, label %34, label %48
34: ; preds = %26
%35 = load i8*, i8** %6
%36 = load i32, i32* %3
%37 = sext i32 %36 to i64
%38 = getelementptr inbounds i8, i8* %35, i64 %37
%39 = load i8, i8* %38
%40 = zext i8 %39 to i32
%41 = icmp slt i32 %40, 192
br i1 %41, label %42, label %48
42: ; preds = %34, %18
%43 = load i8*, i8** %6
%44 = load i32, i32* %4
%45 = add nsw i32 %44, 1
store i32 %45, i32* %4
%46 = sext i32 %44 to i64
%47 = getelementptr inbounds i8, i8* %43, i64 %46
store i8 46, i8* %47
br label %159
48: ; preds = %34, %26
%49 = load i8*, i8** %6
%50 = load i32, i32* %3
%51 = sext i32 %50 to i64
%52 = getelementptr inbounds i8, i8* %49, i64 %51
%53 = load i8, i8* %52
%54 = zext i8 %53 to i32
%55 = icmp sgt i32 %54, 223
br i1 %55, label %56, label %62
56: ; preds = %48
%57 = load i8*, i8** %6
%58 = load i32, i32* %4
%59 = add nsw i32 %58, 1
store i32 %59, i32* %4
%60 = sext i32 %58 to i64
%61 = getelementptr inbounds i8, i8* %57, i64 %60
store i8 0, i8* %61
br label %171
62: ; preds = %48
%63 = load i8*, i8** %6
%64 = load i32, i32* %3
%65 = sext i32 %64 to i64
%66 = getelementptr inbounds i8, i8* %63, i64 %65
%67 = load i8, i8* %66
%68 = zext i8 %67 to i32
%69 = and i32 %68, 224
%70 = icmp eq i32 %69, 192
br i1 %70, label %71, label %148
71: ; preds = %62
%72 = load i32, i32* %3
%73 = add nsw i32 %72, 1
%74 = load i32, i32* %5
%75 = icmp eq i32 %73, %74
br i1 %75, label %76, label %82
76: ; preds = %71
%77 = load i8*, i8** %6
%78 = load i32, i32* %4
%79 = add nsw i32 %78, 1
store i32 %79, i32* %4
%80 = sext i32 %78 to i64
%81 = getelementptr inbounds i8, i8* %77, i64 %80
store i8 0, i8* %81
br label %171
82: ; preds = %71
%83 = load i8*, i8** %6
%84 = load i32, i32* %3
%85 = sext i32 %84 to i64
%86 = getelementptr inbounds i8, i8* %83, i64 %85
%87 = load i8, i8* %86
%88 = zext i8 %87 to i32
%89 = and i32 %88, 252
%90 = icmp ne i32 %89, 192
br i1 %90, label %91, label %99
91: ; preds = %82
%92 = load i8*, i8** %6
%93 = load i32, i32* %4
%94 = add nsw i32 %93, 1
store i32 %94, i32* %4
%95 = sext i32 %93 to i64
%96 = getelementptr inbounds i8, i8* %92, i64 %95
store i8 46, i8* %96
%97 = load i32, i32* %3
%98 = add nsw i32 %97, 1
store i32 %98, i32* %3
br label %159
99: ; preds = %82
%100 = load i8*, i8** %6
%101 = load i32, i32* %3
%102 = add nsw i32 %101, 1
%103 = sext i32 %102 to i64
%104 = getelementptr inbounds i8, i8* %100, i64 %103
%105 = load i8, i8* %104
%106 = zext i8 %105 to i32
%107 = and i32 %106, 192
%108 = icmp ne i32 %107, 128
br i1 %108, label %109, label %115
109: ; preds = %99
%110 = load i8*, i8** %6
%111 = load i32, i32* %4
%112 = add nsw i32 %111, 1
store i32 %112, i32* %4
%113 = sext i32 %111 to i64
%114 = getelementptr inbounds i8, i8* %110, i64 %113
store i8 0, i8* %114
br label %171
115: ; preds = %99
%116 = load i8*, i8** %6
%117 = load i32, i32* %3
%118 = sext i32 %117 to i64
%119 = getelementptr inbounds i8, i8* %116, i64 %118
%120 = load i8, i8* %119
%121 = zext i8 %120 to i32
%122 = shl i32 %121, 6
%123 = trunc i32 %122 to i8
%124 = load i8*, i8** %6
%125 = load i32, i32* %4
%126 = sext i32 %125 to i64
%127 = getelementptr inbounds i8, i8* %124, i64 %126
store i8 %123, i8* %127
%128 = load i8*, i8** %6
%129 = load i32, i32* %3
%130 = add nsw i32 %129, 1
%131 = sext i32 %130 to i64
%132 = getelementptr inbounds i8, i8* %128, i64 %131
%133 = load i8, i8* %132
%134 = zext i8 %133 to i32
%135 = and i32 %134, 63
%136 = load i8*, i8** %6
%137 = load i32, i32* %4
%138 = sext i32 %137 to i64
%139 = getelementptr inbounds i8, i8* %136, i64 %138
%140 = load i8, i8* %139
%141 = zext i8 %140 to i32
%142 = add nsw i32 %141, %135
%143 = trunc i32 %142 to i8
store i8 %143, i8* %139
%144 = load i32, i32* %3
%145 = add nsw i32 %144, 1
store i32 %145, i32* %3
%146 = load i32, i32* %4
%147 = add nsw i32 %146, 1
store i32 %147, i32* %4
br label %159
148: ; preds = %62
%149 = load i8*, i8** %6
%150 = load i32, i32* %3
%151 = sext i32 %150 to i64
%152 = getelementptr inbounds i8, i8* %149, i64 %151
%153 = load i8, i8* %152
%154 = load i8*, i8** %6
%155 = load i32, i32* %4
%156 = add nsw i32 %155, 1
store i32 %156, i32* %4
%157 = sext i32 %155 to i64
%158 = getelementptr inbounds i8, i8* %154, i64 %157
store i8 %153, i8* %158
br label %159
159: ; preds = %148, %115, %91, %42
%160 = load i32, i32* %3
%161 = add nsw i32 %160, 1
store i32 %161, i32* %3
br label %14
162: ; preds = %14
%163 = load i32, i32* %4
%164 = load i32, i32* %5
%165 = icmp slt i32 %163, %164
br i1 %165, label %166, label %171
166: ; preds = %162
%167 = load i8*, i8** %6
%168 = load i32, i32* %4
%169 = sext i32 %168 to i64
%170 = getelementptr inbounds i8, i8* %167, i64 %169
store i8 0, i8* %170
br label %171
171: ; preds = %12, %56, %76, %109, %166, %162
ret void
}

LLVM IR (-O2):
define void @utf8_to_latin1(i8* %0) {
%2 = tail call i32 @strlen(i8* %0)
%3 = icmp eq i32 %2, 0
br i1 %3, label %66, label %4
4: ; preds = %1
%5 = icmp sgt i32 %2, 0
br i1 %5, label %6, label %58
6: ; preds = %4, %51
%7 = phi i64 [ %53, %51 ], [ 0, %4 ]
%8 = phi i32 [ %54, %51 ], [ 0, %4 ]
%9 = sext i32 %8 to i64
%10 = getelementptr inbounds i8, i8* %0, i64 %9
%11 = load i8, i8* %10
%12 = icmp ult i8 %11, 32
%13 = icmp slt i8 %11, -64
%14 = or i1 %12, %13
br i1 %14, label %15, label %17
15: ; preds = %6
%16 = getelementptr inbounds i8, i8* %0, i64 %7
store i8 46, i8* %16
br label %51
17: ; preds = %6
%18 = zext i8 %11 to i32
%19 = icmp ugt i8 %11, -33
br i1 %19, label %20, label %22
20: ; preds = %17
%21 = and i64 %7, 4294967295
br label %63
22: ; preds = %17
%23 = and i32 %18, 224
%24 = icmp eq i32 %23, 192
br i1 %24, label %25, label %49
25: ; preds = %22
%26 = add nsw i32 %8, 1
%27 = icmp eq i32 %26, %2
br i1 %27, label %28, label %30
28: ; preds = %25
%29 = and i64 %7, 4294967295
br label %63
30: ; preds = %25
%31 = and i32 %18, 252
%32 = icmp eq i32 %31, 192
br i1 %32, label %35, label %33
33: ; preds = %30
%34 = getelementptr inbounds i8, i8* %0, i64 %7
store i8 46, i8* %34
br label %51
35: ; preds = %30
%36 = sext i32 %26 to i64
%37 = getelementptr inbounds i8, i8* %0, i64 %36
%38 = load i8, i8* %37
%39 = and i8 %38, -64
%40 = icmp eq i8 %39, -128
br i1 %40, label %43, label %41
41: ; preds = %35
%42 = and i64 %7, 4294967295
br label %63
43: ; preds = %35
%44 = shl i8 %11, 6
%45 = getelementptr inbounds i8, i8* %0, i64 %7
store i8 %44, i8* %45
%46 = load i8, i8* %37
%47 = and i8 %46, 63
%48 = or i8 %47, %44
store i8 %48, i8* %45
br label %51
49: ; preds = %22
%50 = getelementptr inbounds i8, i8* %0, i64 %7
store i8 %11, i8* %50
br label %51
51: ; preds = %49, %43, %33, %15
%52 = phi i32 [ %8, %15 ], [ %26, %33 ], [ %26, %43 ], [ %8, %49 ]
%53 = add nuw i64 %7, 1
%54 = add nsw i32 %52, 1
%55 = icmp slt i32 %54, %2
br i1 %55, label %6, label %56
56: ; preds = %51
%57 = trunc i64 %53 to i32
br label %58
58: ; preds = %56, %4
%59 = phi i32 [ 0, %4 ], [ %57, %56 ]
%60 = icmp slt i32 %59, %2
br i1 %60, label %61, label %66
61: ; preds = %58
%62 = zext i32 %59 to i64
br label %63
63: ; preds = %20, %28, %41, %61
%64 = phi i64 [ %62, %61 ], [ %42, %41 ], [ %29, %28 ], [ %21, %20 ]
%65 = getelementptr inbounds i8, i8* %0, i64 %64
store i8 0, i8* %65
br label %66
66: ; preds = %63, %58, %1
ret void
}