unsigned char utf8ToLatin1(unsigned char *utf8) {
  unsigned char c = 0;
  if (utf8[0] < 128)
    return utf8[0];
  else if (utf8[0] == 195)
    c += 64;
  else if (utf8[0] != 194)
    return '?';
  return c + utf8[1];
}


x86 assembly (clang, -O0):
<utf8ToLatin1>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
movb   $0x0,-0x11(%rbp)
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
cmp    $0x80,%eax
jge    112c <utf8ToLatin1+0x2c>
mov    -0x10(%rbp),%rax
mov    (%rax),%al
mov    %al,-0x1(%rbp)
jmp    1183 <utf8ToLatin1+0x83>
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
cmp    $0xc3,%eax
jne    114d <utf8ToLatin1+0x4d>
movzbl -0x11(%rbp),%eax
add    $0x40,%eax
mov    %al,-0x11(%rbp)
jmp    116d <utf8ToLatin1+0x6d>
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
cmp    $0xc2,%eax
je     1168 <utf8ToLatin1+0x68>
movb   $0x3f,-0x1(%rbp)
jmp    1183 <utf8ToLatin1+0x83>
jmp    116d <utf8ToLatin1+0x6d>
jmp    1172 <utf8ToLatin1+0x72>
movzbl -0x11(%rbp),%eax
mov    -0x10(%rbp),%rcx
movzbl 0x1(%rcx),%ecx
add    %ecx,%eax
mov    %al,-0x1(%rbp)
movzbl -0x1(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<utf8ToLatin1>:
mov    (%rdi),%al
test   %al,%al
js     1107 <utf8ToLatin1+0x7>
ret
cmp    $0xc3,%al
je     1117 <utf8ToLatin1+0x17>
cmp    $0xc2,%al
mov    $0x3f,%al
jne    1106 <utf8ToLatin1+0x6>
xor    %eax,%eax
add    0x1(%rdi),%al
ret
mov    $0x40,%al
add    0x1(%rdi),%al
ret

LLVM IR (-O0):
define zeroext i8 @utf8ToLatin1(i8* %0) {
%2 = alloca i8
%3 = alloca i8*
%4 = alloca i8
store i8* %0, i8** %3
store i8 0, i8* %4
%5 = load i8*, i8** %3
%6 = getelementptr inbounds i8, i8* %5, i64 0
%7 = load i8, i8* %6
%8 = zext i8 %7 to i32
%9 = icmp slt i32 %8, 128
br i1 %9, label %10, label %14
10: ; preds = %1
%11 = load i8*, i8** %3
%12 = getelementptr inbounds i8, i8* %11, i64 0
%13 = load i8, i8* %12
store i8 %13, i8* %2
br label %43
14: ; preds = %1
%15 = load i8*, i8** %3
%16 = getelementptr inbounds i8, i8* %15, i64 0
%17 = load i8, i8* %16
%18 = zext i8 %17 to i32
%19 = icmp eq i32 %18, 195
br i1 %19, label %20, label %25
20: ; preds = %14
%21 = load i8, i8* %4
%22 = zext i8 %21 to i32
%23 = add nsw i32 %22, 64
%24 = trunc i32 %23 to i8
store i8 %24, i8* %4
br label %33
25: ; preds = %14
%26 = load i8*, i8** %3
%27 = getelementptr inbounds i8, i8* %26, i64 0
%28 = load i8, i8* %27
%29 = zext i8 %28 to i32
%30 = icmp ne i32 %29, 194
br i1 %30, label %31, label %32
31: ; preds = %25
store i8 63, i8* %2
br label %43
32: ; preds = %25
br label %33
33: ; preds = %32, %20
br label %34
34: ; preds = %33
%35 = load i8, i8* %4
%36 = zext i8 %35 to i32
%37 = load i8*, i8** %3
%38 = getelementptr inbounds i8, i8* %37, i64 1
%39 = load i8, i8* %38
%40 = zext i8 %39 to i32
%41 = add nsw i32 %36, %40
%42 = trunc i32 %41 to i8
store i8 %42, i8* %2
br label %43
43: ; preds = %34, %31, %10
%44 = load i8, i8* %2
ret i8 %44
}

LLVM IR (-O2):
define zeroext i8 @utf8ToLatin1(i8* nocapture %0) {
%2 = load i8, i8* %0
%3 = icmp sgt i8 %2, -1
br i1 %3, label %11, label %4
4: ; preds = %1
switch i8 %2, label %11 [
i8 -61, label %6
i8 -62, label %5
]
5: ; preds = %4
br label %6
6: ; preds = %4, %5
%7 = phi i8 [ 64, %4 ], [ 0, %5 ]
%8 = getelementptr inbounds i8, i8* %0, i64 1
%9 = load i8, i8* %8
%10 = add i8 %9, %7
br label %11
11: ; preds = %4, %1, %6
%12 = phi i8 [ %10, %6 ], [ %2, %1 ], [ 63, %4 ]
ret i8 %12
}