#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 /*<<< orphan*/ html(char const *);
int /*<<< orphan*/ html_raw(char const *, int);
void html_txt(const char *txt) {
  const char *t = txt;
  while (t && *t) {
    int c = *t;
    if ((c < 0x20 && c != '\t' && c != '\n' && c != '\r') ||
        (c == '<' || c == '>' || c == '&')) {
      html_raw(txt, t - txt);
      if (c == '>')
        html("&gt;");
      else if (c == '<')
        html("&lt;");
      else if (c == '&')
        html("&amp;");
      txt = t + 1;
    }
    t++;
  }
  if (t != txt)
    html(txt);
}


x86 assembly (clang, -O0):
<html_txt>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x10(%rbp)
xor    %eax,%eax
cmpq   $0x0,-0x10(%rbp)
mov    %al,-0x15(%rbp)
je     1154 <html_txt+0x34>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
setne  %al
mov    %al,-0x15(%rbp)
mov    -0x15(%rbp),%al
test   $0x1,%al
jne    1164 <html_txt+0x44>
jmp    123d <html_txt+0x11d>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
mov    %eax,-0x14(%rbp)
cmpl   $0x20,-0x14(%rbp)
jge    1196 <html_txt+0x76>
cmpl   $0x9,-0x14(%rbp)
je     1196 <html_txt+0x76>
cmpl   $0xa,-0x14(%rbp)
je     1196 <html_txt+0x76>
cmpl   $0xd,-0x14(%rbp)
jne    11b4 <html_txt+0x94>
cmpl   $0x3c,-0x14(%rbp)
je     11b4 <html_txt+0x94>
cmpl   $0x3e,-0x14(%rbp)
je     11b4 <html_txt+0x94>
cmpl   $0x26,-0x14(%rbp)
jne    122c <html_txt+0x10c>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rax
mov    -0x8(%rbp),%rcx
sub    %rcx,%rax
mov    %eax,%esi
call   1030 <html_raw@plt>
cmpl   $0x3e,-0x14(%rbp)
jne    11e5 <html_txt+0xc5>
lea    0xe25(%rip),%rdi
call   1040 <html@plt>
jmp    1220 <html_txt+0x100>
cmpl   $0x3c,-0x14(%rbp)
jne    1200 <html_txt+0xe0>
lea    0xe0f(%rip),%rdi
call   1040 <html@plt>
jmp    121b <html_txt+0xfb>
cmpl   $0x26,-0x14(%rbp)
jne    1216 <html_txt+0xf6>
lea    0xdf9(%rip),%rdi
call   1040 <html@plt>
jmp    121b <html_txt+0xfb>
jmp    1220 <html_txt+0x100>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    1134 <html_txt+0x14>
mov    -0x10(%rbp),%rax
cmp    -0x8(%rbp),%rax
je     1254 <html_txt+0x134>
mov    -0x8(%rbp),%rdi
call   1040 <html@plt>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<html_txt>:
test   %rdi,%rdi
je     11f5 <html_txt+0xd5>
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    (%rdi),%r15b
test   %r15b,%r15b
je     11d9 <html_txt+0xb9>
lea    0x1(%rdi),%rbx
lea    0xeb5(%rip),%r14
lea    0xeb3(%rip),%r12
movabs $0x5000004000000000,%r13
mov    %edi,%ebp
jmp    117f <html_txt+0x5f>
lea    0xea3(%rip),%rdi
call   1040 <html@plt>
mov    %rbx,%rdi
movzbl (%rbx),%r15d
add    $0x1,%ebp
add    $0x1,%rbx
test   %r15b,%r15b
je     11d3 <html_txt+0xb3>
cmp    $0x20,%r15b
setl   %al
lea    -0xb(%r15),%ecx
cmp    $0xfe,%cl
setb   %cl
and    %al,%cl
cmp    $0xd,%r15b
setne  %al
test   %cl,%al
jne    11ad <html_txt+0x8d>
cmp    $0x3e,%r15b
ja     116f <html_txt+0x4f>
movzbl %r15b,%eax
bt     %rax,%r13
jae    116f <html_txt+0x4f>
mov    %ebp,%esi
sub    %edi,%esi
call   1030 <html_raw@plt>
cmp    $0x26,%r15b
je     1160 <html_txt+0x40>
mov    %r14,%rdi
cmp    $0x3e,%r15b
je     1167 <html_txt+0x47>
mov    %rbx,%rdi
cmp    $0x3c,%r15b
jne    116f <html_txt+0x4f>
mov    %r12,%rdi
jmp    1167 <html_txt+0x47>
add    $0xffffffffffffffff,%rbx
jmp    11dc <html_txt+0xbc>
mov    %rdi,%rbx
cmp    %rdi,%rbx
lea    0x8(%rsp),%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
je     11f5 <html_txt+0xd5>
jmp    1040 <html@plt>
ret

LLVM IR (-O0):
@.str = [5 x i8] c"&gt;\00"
@.str.1 = [5 x i8] c"&lt;\00"
@.str.2 = [6 x i8] c"&amp;\00"
define void @html_txt(i8* %0) {
%2 = alloca i8*
%3 = alloca i8*
%4 = alloca i32
store i8* %0, i8** %2
%5 = load i8*, i8** %2
store i8* %5, i8** %3
br label %6
6: ; preds = %68, %1
%7 = load i8*, i8** %3
%8 = icmp ne i8* %7, null
br i1 %8, label %9, label %14
9: ; preds = %6
%10 = load i8*, i8** %3
%11 = load i8, i8* %10
%12 = sext i8 %11 to i32
%13 = icmp ne i32 %12, 0
br label %14
14: ; preds = %9, %6
%15 = phi i1 [ false, %6 ], [ %13, %9 ]
br i1 %15, label %16, label %71
16: ; preds = %14
%17 = load i8*, i8** %3
%18 = load i8, i8* %17
%19 = sext i8 %18 to i32
store i32 %19, i32* %4
%20 = load i32, i32* %4
%21 = icmp slt i32 %20, 32
br i1 %21, label %22, label %31
22: ; preds = %16
%23 = load i32, i32* %4
%24 = icmp ne i32 %23, 9
br i1 %24, label %25, label %31
25: ; preds = %22
%26 = load i32, i32* %4
%27 = icmp ne i32 %26, 10
br i1 %27, label %28, label %31
28: ; preds = %25
%29 = load i32, i32* %4
%30 = icmp ne i32 %29, 13
br i1 %30, label %40, label %31
31: ; preds = %28, %25, %22, %16
%32 = load i32, i32* %4
%33 = icmp eq i32 %32, 60
br i1 %33, label %40, label %34
34: ; preds = %31
%35 = load i32, i32* %4
%36 = icmp eq i32 %35, 62
br i1 %36, label %40, label %37
37: ; preds = %34
%38 = load i32, i32* %4
%39 = icmp eq i32 %38, 38
br i1 %39, label %40, label %68
40: ; preds = %37, %34, %31, %28
%41 = load i8*, i8** %2
%42 = load i8*, i8** %3
%43 = load i8*, i8** %2
%44 = ptrtoint i8* %42 to i64
%45 = ptrtoint i8* %43 to i64
%46 = sub i64 %44, %45
%47 = trunc i64 %46 to i32
%48 = call i32 @html_raw(i8* %41, i32 %47)
%49 = load i32, i32* %4
%50 = icmp eq i32 %49, 62
br i1 %50, label %51, label %53
51: ; preds = %40
%52 = call i32 @html(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str, i64 0, i64 0))
br label %65
53: ; preds = %40
%54 = load i32, i32* %4
%55 = icmp eq i32 %54, 60
br i1 %55, label %56, label %58
56: ; preds = %53
%57 = call i32 @html(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.1, i64 0, i64 0))
br label %64
58: ; preds = %53
%59 = load i32, i32* %4
%60 = icmp eq i32 %59, 38
br i1 %60, label %61, label %63
61: ; preds = %58
%62 = call i32 @html(i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.2, i64 0, i64 0))
br label %63
63: ; preds = %61, %58
br label %64
64: ; preds = %63, %56
br label %65
65: ; preds = %64, %51
%66 = load i8*, i8** %3
%67 = getelementptr inbounds i8, i8* %66, i64 1
store i8* %67, i8** %2
br label %68
68: ; preds = %65, %37
%69 = load i8*, i8** %3
%70 = getelementptr inbounds i8, i8* %69, i32 1
store i8* %70, i8** %3
br label %6
71: ; preds = %14
%72 = load i8*, i8** %3
%73 = load i8*, i8** %2
%74 = icmp ne i8* %72, %73
br i1 %74, label %75, label %78
75: ; preds = %71
%76 = load i8*, i8** %2
%77 = call i32 @html(i8* %76)
br label %78
78: ; preds = %75, %71
ret void
}

LLVM IR (-O2):
@.str = [5 x i8] c"&gt;\00"
@.str.1 = [5 x i8] c"&lt;\00"
@.str.2 = [6 x i8] c"&amp;\00"
define void @html_txt(i8* %0) {
%2 = icmp eq i8* %0, null
br i1 %2, label %42, label %3
3: ; preds = %1
%4 = load i8, i8* %0
%5 = icmp eq i8 %4, 0
br i1 %5, label %36, label %6
6: ; preds = %3, %31
%7 = phi i8 [ %34, %31 ], [ %4, %3 ]
%8 = phi i8* [ %33, %31 ], [ %0, %3 ]
%9 = phi i8* [ %32, %31 ], [ %0, %3 ]
%10 = icmp slt i8 %7, 32
%11 = add i8 %7, -11
%12 = icmp ult i8 %11, -2
%13 = and i1 %10, %12
%14 = icmp ne i8 %7, 13
%15 = and i1 %14, %13
%16 = freeze i1 %15
br i1 %16, label %18, label %17
17: ; preds = %6
switch i8 %7, label %31 [
i8 62, label %18
i8 60, label %18
i8 38, label %18
]
18: ; preds = %17, %17, %17, %6
%19 = ptrtoint i8* %8 to i64
%20 = ptrtoint i8* %9 to i64
%21 = sub i64 %19, %20
%22 = trunc i64 %21 to i32
%23 = tail call i32 @html_raw(i8* %9, i32 %22)
switch i8 %7, label %29 [
i8 62, label %26
i8 60, label %24
i8 38, label %25
]
24: ; preds = %18
br label %26
25: ; preds = %18
br label %26
26: ; preds = %18, %25, %24
%27 = phi i8* [ getelementptr inbounds ([5 x i8], [5 x i8]* @.str.1, i64 0, i64 0), %24 ], [ getelementptr inbounds ([6 x i8], [6 x i8]* @.str.2, i64 0, i64 0), %25 ], [ getelementptr inbounds ([5 x i8], [5 x i8]* @.str, i64 0, i64 0), %18 ]
%28 = tail call i32 @html(i8* %27)
br label %29
29: ; preds = %26, %18
%30 = getelementptr inbounds i8, i8* %8, i64 1
br label %31
31: ; preds = %17, %29
%32 = phi i8* [ %30, %29 ], [ %9, %17 ]
%33 = getelementptr inbounds i8, i8* %8, i64 1
%34 = load i8, i8* %33
%35 = icmp eq i8 %34, 0
br i1 %35, label %36, label %6
36: ; preds = %31, %3
%37 = phi i8* [ %0, %3 ], [ %32, %31 ]
%38 = phi i8* [ %0, %3 ], [ %33, %31 ]
%39 = icmp eq i8* %38, %37
br i1 %39, label %42, label %40
40: ; preds = %36
%41 = tail call i32 @html(i8* %37)
br label %42
42: ; preds = %1, %40, %36
ret void
}