#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*/ free(char *);
int /*<<< orphan*/ strcat(char *, char *);
char *strchr(char *, char);
int strlen(char *);
int /*<<< orphan*/ strncat(char *, char *, int);
int /*<<< orphan*/ strncmp(char *, char *, int);
char tolower(char);
char *HTCanon(char **filename, char *host) {
  char *newname = NULL;
  char *port;
  char *strptr;
  char *path;
  char *access = host - 3;
  while (access > *filename && *(access - 1) != '/')
    access--;
  if ((path = strchr(host, '/')) == NULL)
    path = host + strlen(host);
  if ((strptr = strchr(host, '@')) != NULL && strptr < path)
    host = strptr;
  if ((port = strchr(host, ':')) != NULL && port > path)
    port = NULL;
  strptr = host;
  while (strptr < path) {
    *strptr = tolower(*strptr);
    strptr++;
  }
  {
    char *dot = port ? port : path;
    if (dot > *filename && *--dot == '.') {
      char *orig = dot, *dest = dot + 1;
      while ((*orig++ = *dest++))
        ;
      if (port)
        port--;
      path--;
    }
  }
  if (port) {
    if (!*(port + 1) || *(port + 1) == '/') {
      if (!newname) {
        char *orig = port, *dest = port + 1;
        while ((*orig++ = *dest++))
          ;
      }
    } else if ((!strncmp(access, "http", 4) &&
                (*(port + 1) == '8' && *(port + 2) == '0' &&
                 (*(port + 3) == '/' || !*(port + 3)))) ||
               (!strncmp(access, "gopher", 6) &&
                (*(port + 1) == '7' && *(port + 2) == '0' &&
                 (*(port + 3) == '/' || !*(port + 3)))) ||
               (!strncmp(access, "ftp", 3) &&
                (*(port + 1) == '2' && *(port + 2) == '1' &&
                 (*(port + 3) == '/' || !*(port + 3))))) {
      if (!newname) {
        char *orig = port, *dest = port + 3;
        while ((*orig++ = *dest++))
          ;
        path -= 3;
      }
    } else if (newname)
      strncat(newname, port, (int)(path - port));
  }
  if (newname) {
    char *newpath = newname + strlen(newname);
    strcat(newname, path);
    path = newpath;
    free(*filename);
    *filename = newname;
  }
  return path;
}


x86 assembly (clang, -O0):
<HTCanon>:
push   %rbp
mov    %rsp,%rbp
sub    $0xa0,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movq   $0x0,-0x18(%rbp)
mov    -0x10(%rbp),%rax
add    $0xfffffffffffffffd,%rax
mov    %rax,-0x38(%rbp)
mov    -0x38(%rbp),%rcx
mov    -0x8(%rbp),%rdx
xor    %eax,%eax
cmp    (%rdx),%rcx
mov    %al,-0x79(%rbp)
jbe    11be <HTCanon+0x4e>
mov    -0x38(%rbp),%rax
movsbl -0x1(%rax),%eax
cmp    $0x2f,%eax
setne  %al
mov    %al,-0x79(%rbp)
mov    -0x79(%rbp),%al
test   $0x1,%al
jne    11ce <HTCanon+0x5e>
jmp    11df <HTCanon+0x6f>
mov    -0x38(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x38(%rbp)
jmp    1197 <HTCanon+0x27>
mov    -0x10(%rbp),%rdi
mov    $0x2f,%esi
call   1060 <strchr@plt>
mov    %rax,-0x30(%rbp)
cmp    $0x0,%rax
jne    1222 <HTCanon+0xb2>
mov    -0x10(%rbp),%rax
mov    %rax,-0x88(%rbp)
mov    -0x10(%rbp),%rdi
call   1050 <strlen@plt>
mov    %eax,%ecx
mov    -0x88(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x30(%rbp)
mov    -0x10(%rbp),%rdi
mov    $0x40,%esi
call   1060 <strchr@plt>
mov    %rax,-0x28(%rbp)
cmp    $0x0,%rax
je     1254 <HTCanon+0xe4>
mov    -0x28(%rbp),%rax
cmp    -0x30(%rbp),%rax
jae    1254 <HTCanon+0xe4>
mov    -0x28(%rbp),%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rdi
mov    $0x3a,%esi
call   1060 <strchr@plt>
mov    %rax,-0x20(%rbp)
cmp    $0x0,%rax
je     1286 <HTCanon+0x116>
mov    -0x20(%rbp),%rax
cmp    -0x30(%rbp),%rax
jbe    1286 <HTCanon+0x116>
movq   $0x0,-0x20(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
cmp    -0x30(%rbp),%rax
jae    12c1 <HTCanon+0x151>
mov    -0x28(%rbp),%rax
movsbl (%rax),%edi
call   1080 <tolower@plt>
mov    %al,%cl
mov    -0x28(%rbp),%rax
mov    %cl,(%rax)
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
jmp    128e <HTCanon+0x11e>
cmpq   $0x0,-0x20(%rbp)
je     12dc <HTCanon+0x16c>
mov    -0x20(%rbp),%rax
mov    %rax,-0x90(%rbp)
jmp    12e7 <HTCanon+0x177>
mov    -0x30(%rbp),%rax
mov    %rax,-0x90(%rbp)
mov    -0x90(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rax
mov    -0x8(%rbp),%rcx
cmp    (%rcx),%rax
jbe    1385 <HTCanon+0x215>
mov    -0x40(%rbp),%rax
mov    %rax,%rcx
add    $0xffffffffffffffff,%rcx
mov    %rcx,-0x40(%rbp)
movsbl -0x1(%rax),%eax
cmp    $0x2e,%eax
jne    1385 <HTCanon+0x215>
mov    -0x40(%rbp),%rax
mov    %rax,-0x48(%rbp)
mov    -0x40(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x50(%rbp)
mov    -0x50(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x50(%rbp)
mov    (%rax),%al
mov    -0x48(%rbp),%rcx
mov    %rcx,%rdx
add    $0x1,%rdx
mov    %rdx,-0x48(%rbp)
mov    %al,(%rcx)
cmp    $0x0,%al
je     1362 <HTCanon+0x1f2>
jmp    1333 <HTCanon+0x1c3>
cmpq   $0x0,-0x20(%rbp)
je     1379 <HTCanon+0x209>
mov    -0x20(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x20(%rbp)
mov    -0x30(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x30(%rbp)
cmpq   $0x0,-0x20(%rbp)
je     15b7 <HTCanon+0x447>
mov    -0x20(%rbp),%rax
cmpb   $0x0,0x1(%rax)
je     13af <HTCanon+0x23f>
mov    -0x20(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x2f,%eax
jne    1407 <HTCanon+0x297>
cmpq   $0x0,-0x18(%rbp)
jne    1402 <HTCanon+0x292>
mov    -0x20(%rbp),%rax
mov    %rax,-0x58(%rbp)
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x60(%rbp)
mov    -0x60(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x60(%rbp)
mov    (%rax),%al
mov    -0x58(%rbp),%rcx
mov    %rcx,%rdx
add    $0x1,%rdx
mov    %rdx,-0x58(%rbp)
mov    %al,(%rcx)
cmp    $0x0,%al
je     13fd <HTCanon+0x28d>
jmp    13ce <HTCanon+0x25e>
jmp    1402 <HTCanon+0x292>
jmp    15b2 <HTCanon+0x442>
mov    -0x38(%rbp),%rdi
lea    0xbee(%rip),%rsi
mov    $0x4,%edx
call   1040 <strncmp@plt>
cmp    $0x0,%eax
jne    1466 <HTCanon+0x2f6>
mov    -0x20(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x38,%eax
jne    1466 <HTCanon+0x2f6>
mov    -0x20(%rbp),%rax
movsbl 0x2(%rax),%eax
cmp    $0x30,%eax
jne    1466 <HTCanon+0x2f6>
mov    -0x20(%rbp),%rax
movsbl 0x3(%rax),%eax
cmp    $0x2f,%eax
je     1524 <HTCanon+0x3b4>
mov    -0x20(%rbp),%rax
cmpb   $0x0,0x3(%rax)
je     1524 <HTCanon+0x3b4>
mov    -0x38(%rbp),%rdi
lea    0xb94(%rip),%rsi
mov    $0x6,%edx
call   1040 <strncmp@plt>
cmp    $0x0,%eax
jne    14c5 <HTCanon+0x355>
mov    -0x20(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x37,%eax
jne    14c5 <HTCanon+0x355>
mov    -0x20(%rbp),%rax
movsbl 0x2(%rax),%eax
cmp    $0x30,%eax
jne    14c5 <HTCanon+0x355>
mov    -0x20(%rbp),%rax
movsbl 0x3(%rax),%eax
cmp    $0x2f,%eax
je     1524 <HTCanon+0x3b4>
mov    -0x20(%rbp),%rax
cmpb   $0x0,0x3(%rax)
je     1524 <HTCanon+0x3b4>
mov    -0x38(%rbp),%rdi
lea    0xb3c(%rip),%rsi
mov    $0x3,%edx
call   1040 <strncmp@plt>
cmp    $0x0,%eax
jne    1583 <HTCanon+0x413>
mov    -0x20(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x32,%eax
jne    1583 <HTCanon+0x413>
mov    -0x20(%rbp),%rax
movsbl 0x2(%rax),%eax
cmp    $0x31,%eax
jne    1583 <HTCanon+0x413>
mov    -0x20(%rbp),%rax
movsbl 0x3(%rax),%eax
cmp    $0x2f,%eax
je     1524 <HTCanon+0x3b4>
mov    -0x20(%rbp),%rax
cmpb   $0x0,0x3(%rax)
jne    1583 <HTCanon+0x413>
cmpq   $0x0,-0x18(%rbp)
jne    157e <HTCanon+0x40e>
mov    -0x20(%rbp),%rax
mov    %rax,-0x68(%rbp)
mov    -0x20(%rbp),%rax
add    $0x3,%rax
mov    %rax,-0x70(%rbp)
mov    -0x70(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x70(%rbp)
mov    (%rax),%al
mov    -0x68(%rbp),%rcx
mov    %rcx,%rdx
add    $0x1,%rdx
mov    %rdx,-0x68(%rbp)
mov    %al,(%rcx)
cmp    $0x0,%al
je     1572 <HTCanon+0x402>
jmp    1543 <HTCanon+0x3d3>
mov    -0x30(%rbp),%rax
add    $0xfffffffffffffffd,%rax
mov    %rax,-0x30(%rbp)
jmp    15ad <HTCanon+0x43d>
cmpq   $0x0,-0x18(%rbp)
je     15a8 <HTCanon+0x438>
mov    -0x18(%rbp),%rdi
mov    -0x20(%rbp),%rsi
mov    -0x30(%rbp),%rax
mov    -0x20(%rbp),%rcx
sub    %rcx,%rax
mov    %eax,%edx
call   1070 <strncat@plt>
jmp    15ad <HTCanon+0x43d>
jmp    15b2 <HTCanon+0x442>
jmp    15b7 <HTCanon+0x447>
cmpq   $0x0,-0x18(%rbp)
je     1615 <HTCanon+0x4a5>
mov    -0x18(%rbp),%rax
mov    %rax,-0x98(%rbp)
mov    -0x18(%rbp),%rdi
call   1050 <strlen@plt>
mov    %eax,%ecx
mov    -0x98(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x78(%rbp)
mov    -0x18(%rbp),%rdi
mov    -0x30(%rbp),%rsi
call   1090 <strcat@plt>
mov    -0x78(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x8(%rbp),%rax
mov    (%rax),%rdi
call   1030 <free@plt>
mov    -0x18(%rbp),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x30(%rbp),%rax
add    $0xa0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<HTCanon>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rsi,%r12
mov    %rdi,(%rsp)
mov    (%rdi),%rax
lea    -0x4(%rsi),%rcx
nopl   0x0(%rax)
lea    0x1(%rcx),%r13
cmp    %rax,%r13
jbe    1172 <HTCanon+0x32>
cmpb   $0x2f,(%rcx)
lea    -0x1(%rcx),%rcx
jne    1160 <HTCanon+0x20>
mov    %r12,%rdi
mov    $0x2f,%esi
call   1050 <strchr@plt>
mov    %rax,%r14
test   %rax,%rax
jne    1195 <HTCanon+0x55>
mov    %r12,%rdi
call   1040 <strlen@plt>
movslq %eax,%r14
add    %r12,%r14
mov    %r12,%rdi
mov    $0x40,%esi
call   1050 <strchr@plt>
cmp    %r14,%rax
mov    %r12,%rbx
cmovb  %rax,%rbx
test   %rax,%rax
cmove  %r12,%rbx
mov    %rbx,%rdi
mov    $0x3a,%esi
call   1050 <strchr@plt>
xor    %r12d,%r12d
cmp    %r14,%rax
cmovbe %rax,%r12
test   %rax,%rax
cmove  %rax,%r12
cmp    %r14,%rbx
jae    11f7 <HTCanon+0xb7>
mov    %r14,%rbp
sub    %rbx,%rbp
xor    %r15d,%r15d
nop
movsbl (%rbx,%r15,1),%edi
call   1060 <tolower@plt>
mov    %al,(%rbx,%r15,1)
add    $0x1,%r15
cmp    %r15,%rbp
jne    11e0 <HTCanon+0xa0>
test   %r12,%r12
mov    %r12,%rax
cmove  %r14,%rax
mov    (%rsp),%rcx
cmp    (%rcx),%rax
jbe    1231 <HTCanon+0xf1>
cmpb   $0x2e,-0x1(%rax)
jne    1231 <HTCanon+0xf1>
movzbl (%rax),%ecx
mov    %cl,-0x1(%rax)
add    $0x1,%rax
test   %cl,%cl
jne    1210 <HTCanon+0xd0>
add    $0xffffffffffffffff,%r14
test   %r12,%r12
je     1346 <HTCanon+0x206>
add    $0xffffffffffffffff,%r12
jmp    123a <HTCanon+0xfa>
test   %r12,%r12
je     1346 <HTCanon+0x206>
mov    0x1(%r12),%al
cmp    $0x2f,%al
je     1247 <HTCanon+0x107>
test   %al,%al
jne    1277 <HTCanon+0x137>
mov    %al,(%r12)
test   %al,%al
je     1346 <HTCanon+0x206>
add    $0x2,%r12
nopw   0x0(%rax,%rax,1)
movzbl (%r12),%eax
mov    %al,-0x1(%r12)
add    $0x1,%r12
test   %al,%al
jne    1260 <HTCanon+0x120>
jmp    1346 <HTCanon+0x206>
lea    0xd82(%rip),%rsi
mov    %r13,%rdi
mov    $0x4,%edx
call   1030 <strncmp@plt>
test   %eax,%eax
jne    12ac <HTCanon+0x16c>
cmpb   $0x38,0x1(%r12)
jne    12ac <HTCanon+0x16c>
cmpb   $0x30,0x2(%r12)
jne    12ac <HTCanon+0x16c>
mov    0x3(%r12),%al
test   %al,%al
je     1316 <HTCanon+0x1d6>
cmp    $0x2f,%al
je     1316 <HTCanon+0x1d6>
lea    0xd52(%rip),%rsi
mov    %r13,%rdi
mov    $0x6,%edx
call   1030 <strncmp@plt>
test   %eax,%eax
jne    12e1 <HTCanon+0x1a1>
cmpb   $0x37,0x1(%r12)
jne    12e1 <HTCanon+0x1a1>
cmpb   $0x30,0x2(%r12)
jne    12e1 <HTCanon+0x1a1>
mov    0x3(%r12),%al
test   %al,%al
je     1316 <HTCanon+0x1d6>
cmp    $0x2f,%al
je     1316 <HTCanon+0x1d6>
lea    0xd24(%rip),%rsi
mov    %r13,%rdi
mov    $0x3,%edx
call   1030 <strncmp@plt>
test   %eax,%eax
jne    1346 <HTCanon+0x206>
cmpb   $0x32,0x1(%r12)
jne    1346 <HTCanon+0x206>
cmpb   $0x31,0x2(%r12)
jne    1346 <HTCanon+0x206>
mov    0x3(%r12),%al
cmp    $0x2f,%al
je     1316 <HTCanon+0x1d6>
test   %al,%al
jne    1346 <HTCanon+0x206>
mov    %al,(%r12)
test   %al,%al
je     1342 <HTCanon+0x202>
add    $0x4,%r12
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movzbl (%r12),%eax
mov    %al,-0x3(%r12)
add    $0x1,%r12
test   %al,%al
jne    1330 <HTCanon+0x1f0>
add    $0xfffffffffffffffd,%r14
mov    %r14,%rax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [5 x i8] c"http\00"
@.str.1 = [7 x i8] c"gopher\00"
@.str.2 = [4 x i8] c"ftp\00"
define i8* @HTCanon(i8** %0, i8* %1) {
%3 = alloca i8**
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i8*
%7 = alloca i8*
%8 = alloca i8*
%9 = alloca i8*
%10 = alloca i8*
%11 = alloca i8*
%12 = alloca i8*
%13 = alloca i8*
%14 = alloca i8*
%15 = alloca i8*
%16 = alloca i8*
%17 = alloca i8*
store i8** %0, i8*** %3
store i8* %1, i8** %4
store i8* null, i8** %5
%18 = load i8*, i8** %4
%19 = getelementptr inbounds i8, i8* %18, i64 -3
store i8* %19, i8** %9
br label %20
20: ; preds = %33, %2
%21 = load i8*, i8** %9
%22 = load i8**, i8*** %3
%23 = load i8*, i8** %22
%24 = icmp ugt i8* %21, %23
br i1 %24, label %25, label %31
25: ; preds = %20
%26 = load i8*, i8** %9
%27 = getelementptr inbounds i8, i8* %26, i64 -1
%28 = load i8, i8* %27
%29 = sext i8 %28 to i32
%30 = icmp ne i32 %29, 47
br label %31
31: ; preds = %25, %20
%32 = phi i1 [ false, %20 ], [ %30, %25 ]
br i1 %32, label %33, label %36
33: ; preds = %31
%34 = load i8*, i8** %9
%35 = getelementptr inbounds i8, i8* %34, i32 -1
store i8* %35, i8** %9
br label %20
36: ; preds = %31
%37 = load i8*, i8** %4
%38 = call i8* @strchr(i8* %37, i8 signext 47)
store i8* %38, i8** %8
%39 = icmp eq i8* %38, null
br i1 %39, label %40, label %46
40: ; preds = %36
%41 = load i8*, i8** %4
%42 = load i8*, i8** %4
%43 = call i32 @strlen(i8* %42)
%44 = sext i32 %43 to i64
%45 = getelementptr inbounds i8, i8* %41, i64 %44
store i8* %45, i8** %8
br label %46
46: ; preds = %40, %36
%47 = load i8*, i8** %4
%48 = call i8* @strchr(i8* %47, i8 signext 64)
store i8* %48, i8** %7
%49 = icmp ne i8* %48, null
br i1 %49, label %50, label %56
50: ; preds = %46
%51 = load i8*, i8** %7
%52 = load i8*, i8** %8
%53 = icmp ult i8* %51, %52
br i1 %53, label %54, label %56
54: ; preds = %50
%55 = load i8*, i8** %7
store i8* %55, i8** %4
br label %56
56: ; preds = %54, %50, %46
%57 = load i8*, i8** %4
%58 = call i8* @strchr(i8* %57, i8 signext 58)
store i8* %58, i8** %6
%59 = icmp ne i8* %58, null
br i1 %59, label %60, label %65
60: ; preds = %56
%61 = load i8*, i8** %6
%62 = load i8*, i8** %8
%63 = icmp ugt i8* %61, %62
br i1 %63, label %64, label %65
64: ; preds = %60
store i8* null, i8** %6
br label %65
65: ; preds = %64, %60, %56
%66 = load i8*, i8** %4
store i8* %66, i8** %7
br label %67
67: ; preds = %71, %65
%68 = load i8*, i8** %7
%69 = load i8*, i8** %8
%70 = icmp ult i8* %68, %69
br i1 %70, label %71, label %78
71: ; preds = %67
%72 = load i8*, i8** %7
%73 = load i8, i8* %72
%74 = call signext i8 @tolower(i8 signext %73)
%75 = load i8*, i8** %7
store i8 %74, i8* %75
%76 = load i8*, i8** %7
%77 = getelementptr inbounds i8, i8* %76, i32 1
store i8* %77, i8** %7
br label %67
78: ; preds = %67
%79 = load i8*, i8** %6
%80 = icmp ne i8* %79, null
br i1 %80, label %81, label %83
81: ; preds = %78
%82 = load i8*, i8** %6
br label %85
83: ; preds = %78
%84 = load i8*, i8** %8
br label %85
85: ; preds = %83, %81
%86 = phi i8* [ %82, %81 ], [ %84, %83 ]
store i8* %86, i8** %10
%87 = load i8*, i8** %10
%88 = load i8**, i8*** %3
%89 = load i8*, i8** %88
%90 = icmp ugt i8* %87, %89
br i1 %90, label %91, label %118
91: ; preds = %85
%92 = load i8*, i8** %10
%93 = getelementptr inbounds i8, i8* %92, i32 -1
store i8* %93, i8** %10
%94 = load i8, i8* %93
%95 = sext i8 %94 to i32
%96 = icmp eq i32 %95, 46
br i1 %96, label %97, label %118
97: ; preds = %91
%98 = load i8*, i8** %10
store i8* %98, i8** %11
%99 = load i8*, i8** %10
%100 = getelementptr inbounds i8, i8* %99, i64 1
store i8* %100, i8** %12
br label %101
101: ; preds = %108, %97
%102 = load i8*, i8** %12
%103 = getelementptr inbounds i8, i8* %102, i32 1
store i8* %103, i8** %12
%104 = load i8, i8* %102
%105 = load i8*, i8** %11
%106 = getelementptr inbounds i8, i8* %105, i32 1
store i8* %106, i8** %11
store i8 %104, i8* %105
%107 = icmp ne i8 %104, 0
br i1 %107, label %108, label %109
108: ; preds = %101
br label %101
109: ; preds = %101
%110 = load i8*, i8** %6
%111 = icmp ne i8* %110, null
br i1 %111, label %112, label %115
112: ; preds = %109
%113 = load i8*, i8** %6
%114 = getelementptr inbounds i8, i8* %113, i32 -1
store i8* %114, i8** %6
br label %115
115: ; preds = %112, %109
%116 = load i8*, i8** %8
%117 = getelementptr inbounds i8, i8* %116, i32 -1
store i8* %117, i8** %8
br label %118
118: ; preds = %115, %91, %85
%119 = load i8*, i8** %6
%120 = icmp ne i8* %119, null
br i1 %120, label %121, label %265
121: ; preds = %118
%122 = load i8*, i8** %6
%123 = getelementptr inbounds i8, i8* %122, i64 1
%124 = load i8, i8* %123
%125 = icmp ne i8 %124, 0
br i1 %125, label %126, label %132
126: ; preds = %121
%127 = load i8*, i8** %6
%128 = getelementptr inbounds i8, i8* %127, i64 1
%129 = load i8, i8* %128
%130 = sext i8 %129 to i32
%131 = icmp eq i32 %130, 47
br i1 %131, label %132, label %149
132: ; preds = %126, %121
%133 = load i8*, i8** %5
%134 = icmp ne i8* %133, null
br i1 %134, label %148, label %135
135: ; preds = %132
%136 = load i8*, i8** %6
store i8* %136, i8** %13
%137 = load i8*, i8** %6
%138 = getelementptr inbounds i8, i8* %137, i64 1
store i8* %138, i8** %14
br label %139
139: ; preds = %146, %135
%140 = load i8*, i8** %14
%141 = getelementptr inbounds i8, i8* %140, i32 1
store i8* %141, i8** %14
%142 = load i8, i8* %140
%143 = load i8*, i8** %13
%144 = getelementptr inbounds i8, i8* %143, i32 1
store i8* %144, i8** %13
store i8 %142, i8* %143
%145 = icmp ne i8 %142, 0
br i1 %145, label %146, label %147
146: ; preds = %139
br label %139
147: ; preds = %139
br label %148
148: ; preds = %147, %132
br label %264
149: ; preds = %126
%150 = load i8*, i8** %9
%151 = call i32 @strncmp(i8* %150, i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str, i64 0, i64 0), i32 4)
%152 = icmp ne i32 %151, 0
br i1 %152, label %176, label %153
153: ; preds = %149
%154 = load i8*, i8** %6
%155 = getelementptr inbounds i8, i8* %154, i64 1
%156 = load i8, i8* %155
%157 = sext i8 %156 to i32
%158 = icmp eq i32 %157, 56
br i1 %158, label %159, label %176
159: ; preds = %153
%160 = load i8*, i8** %6
%161 = getelementptr inbounds i8, i8* %160, i64 2
%162 = load i8, i8* %161
%163 = sext i8 %162 to i32
%164 = icmp eq i32 %163, 48
br i1 %164, label %165, label %176
165: ; preds = %159
%166 = load i8*, i8** %6
%167 = getelementptr inbounds i8, i8* %166, i64 3
%168 = load i8, i8* %167
%169 = sext i8 %168 to i32
%170 = icmp eq i32 %169, 47
br i1 %170, label %230, label %171
171: ; preds = %165
%172 = load i8*, i8** %6
%173 = getelementptr inbounds i8, i8* %172, i64 3
%174 = load i8, i8* %173
%175 = icmp ne i8 %174, 0
br i1 %175, label %176, label %230
176: ; preds = %171, %159, %153, %149
%177 = load i8*, i8** %9
%178 = call i32 @strncmp(i8* %177, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.1, i64 0, i64 0), i32 6)
%179 = icmp ne i32 %178, 0
br i1 %179, label %203, label %180
180: ; preds = %176
%181 = load i8*, i8** %6
%182 = getelementptr inbounds i8, i8* %181, i64 1
%183 = load i8, i8* %182
%184 = sext i8 %183 to i32
%185 = icmp eq i32 %184, 55
br i1 %185, label %186, label %203
186: ; preds = %180
%187 = load i8*, i8** %6
%188 = getelementptr inbounds i8, i8* %187, i64 2
%189 = load i8, i8* %188
%190 = sext i8 %189 to i32
%191 = icmp eq i32 %190, 48
br i1 %191, label %192, label %203
192: ; preds = %186
%193 = load i8*, i8** %6
%194 = getelementptr inbounds i8, i8* %193, i64 3
%195 = load i8, i8* %194
%196 = sext i8 %195 to i32
%197 = icmp eq i32 %196, 47
br i1 %197, label %230, label %198
198: ; preds = %192
%199 = load i8*, i8** %6
%200 = getelementptr inbounds i8, i8* %199, i64 3
%201 = load i8, i8* %200
%202 = icmp ne i8 %201, 0
br i1 %202, label %203, label %230
203: ; preds = %198, %186, %180, %176
%204 = load i8*, i8** %9
%205 = call i32 @strncmp(i8* %204, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.2, i64 0, i64 0), i32 3)
%206 = icmp ne i32 %205, 0
br i1 %206, label %249, label %207
207: ; preds = %203
%208 = load i8*, i8** %6
%209 = getelementptr inbounds i8, i8* %208, i64 1
%210 = load i8, i8* %209
%211 = sext i8 %210 to i32
%212 = icmp eq i32 %211, 50
br i1 %212, label %213, label %249
213: ; preds = %207
%214 = load i8*, i8** %6
%215 = getelementptr inbounds i8, i8* %214, i64 2
%216 = load i8, i8* %215
%217 = sext i8 %216 to i32
%218 = icmp eq i32 %217, 49
br i1 %218, label %219, label %249
219: ; preds = %213
%220 = load i8*, i8** %6
%221 = getelementptr inbounds i8, i8* %220, i64 3
%222 = load i8, i8* %221
%223 = sext i8 %222 to i32
%224 = icmp eq i32 %223, 47
br i1 %224, label %230, label %225
225: ; preds = %219
%226 = load i8*, i8** %6
%227 = getelementptr inbounds i8, i8* %226, i64 3
%228 = load i8, i8* %227
%229 = icmp ne i8 %228, 0
br i1 %229, label %249, label %230
230: ; preds = %225, %219, %198, %192, %171, %165
%231 = load i8*, i8** %5
%232 = icmp ne i8* %231, null
br i1 %232, label %248, label %233
233: ; preds = %230
%234 = load i8*, i8** %6
store i8* %234, i8** %15
%235 = load i8*, i8** %6
%236 = getelementptr inbounds i8, i8* %235, i64 3
store i8* %236, i8** %16
br label %237
237: ; preds = %244, %233
%238 = load i8*, i8** %16
%239 = getelementptr inbounds i8, i8* %238, i32 1
store i8* %239, i8** %16
%240 = load i8, i8* %238
%241 = load i8*, i8** %15
%242 = getelementptr inbounds i8, i8* %241, i32 1
store i8* %242, i8** %15
store i8 %240, i8* %241
%243 = icmp ne i8 %240, 0
br i1 %243, label %244, label %245
244: ; preds = %237
br label %237
245: ; preds = %237
%246 = load i8*, i8** %8
%247 = getelementptr inbounds i8, i8* %246, i64 -3
store i8* %247, i8** %8
br label %248
248: ; preds = %245, %230
br label %263
249: ; preds = %225, %213, %207, %203
%250 = load i8*, i8** %5
%251 = icmp ne i8* %250, null
br i1 %251, label %252, label %262
252: ; preds = %249
%253 = load i8*, i8** %5
%254 = load i8*, i8** %6
%255 = load i8*, i8** %8
%256 = load i8*, i8** %6
%257 = ptrtoint i8* %255 to i64
%258 = ptrtoint i8* %256 to i64
%259 = sub i64 %257, %258
%260 = trunc i64 %259 to i32
%261 = call i32 @strncat(i8* %253, i8* %254, i32 %260)
br label %262
262: ; preds = %252, %249
br label %263
263: ; preds = %262, %248
br label %264
264: ; preds = %263, %148
br label %265
265: ; preds = %264, %118
%266 = load i8*, i8** %5
%267 = icmp ne i8* %266, null
br i1 %267, label %268, label %283
268: ; preds = %265
%269 = load i8*, i8** %5
%270 = load i8*, i8** %5
%271 = call i32 @strlen(i8* %270)
%272 = sext i32 %271 to i64
%273 = getelementptr inbounds i8, i8* %269, i64 %272
store i8* %273, i8** %17
%274 = load i8*, i8** %5
%275 = load i8*, i8** %8
%276 = call i32 @strcat(i8* %274, i8* %275)
%277 = load i8*, i8** %17
store i8* %277, i8** %8
%278 = load i8**, i8*** %3
%279 = load i8*, i8** %278
%280 = call i32 @free(i8* %279)
%281 = load i8*, i8** %5
%282 = load i8**, i8*** %3
store i8* %281, i8** %282
br label %283
283: ; preds = %268, %265
%284 = load i8*, i8** %8
ret i8* %284
}

LLVM IR (-O2):
@.str = [5 x i8] c"http\00"
@.str.1 = [7 x i8] c"gopher\00"
@.str.2 = [4 x i8] c"ftp\00"
define i8* @HTCanon(i8** nocapture %0, i8* %1) {
%3 = getelementptr inbounds i8, i8* %1, i64 -3
%4 = load i8*, i8** %0
br label %5
5: ; preds = %8, %2
%6 = phi i8* [ %3, %2 ], [ %9, %8 ]
%7 = icmp ugt i8* %6, %4
br i1 %7, label %8, label %12
8: ; preds = %5
%9 = getelementptr inbounds i8, i8* %6, i64 -1
%10 = load i8, i8* %9
%11 = icmp eq i8 %10, 47
br i1 %11, label %12, label %5
12: ; preds = %5, %8
%13 = tail call i8* @strchr(i8* dereferenceable(1) %1, i8 signext 47)
%14 = icmp eq i8* %13, null
br i1 %14, label %15, label %19
15: ; preds = %12
%16 = tail call i32 @strlen(i8* %1)
%17 = sext i32 %16 to i64
%18 = getelementptr inbounds i8, i8* %1, i64 %17
br label %19
19: ; preds = %15, %12
%20 = phi i8* [ %18, %15 ], [ %13, %12 ]
%21 = tail call i8* @strchr(i8* dereferenceable(1) %1, i8 signext 64)
%22 = icmp ne i8* %21, null
%23 = icmp ult i8* %21, %20
%24 = select i1 %22, i1 %23, i1 false
%25 = select i1 %24, i8* %21, i8* %1
%26 = tail call i8* @strchr(i8* dereferenceable(1) %25, i8 signext 58)
%27 = icmp eq i8* %26, null
%28 = icmp ugt i8* %26, %20
%29 = select i1 %27, i1 true, i1 %28
%30 = select i1 %29, i8* null, i8* %26
%31 = icmp ult i8* %25, %20
br i1 %31, label %32, label %43
32: ; preds = %19
%33 = ptrtoint i8* %25 to i64
%34 = ptrtoint i8* %20 to i64
%35 = sub i64 %34, %33
%36 = getelementptr i8, i8* %25, i64 %35
br label %37
37: ; preds = %32, %37
%38 = phi i8* [ %41, %37 ], [ %25, %32 ]
%39 = load i8, i8* %38
%40 = tail call signext i8 @tolower(i8 signext %39)
store i8 %40, i8* %38
%41 = getelementptr inbounds i8, i8* %38, i64 1
%42 = icmp eq i8* %41, %36
br i1 %42, label %43, label %37
43: ; preds = %37, %19
%44 = icmp eq i8* %30, null
%45 = select i1 %44, i8* %20, i8* %30
%46 = load i8*, i8** %0
%47 = icmp ugt i8* %45, %46
br i1 %47, label %48, label %62
48: ; preds = %43
%49 = getelementptr inbounds i8, i8* %45, i64 -1
%50 = load i8, i8* %49
%51 = icmp eq i8 %50, 46
br i1 %51, label %52, label %62
52: ; preds = %48, %52
%53 = phi i8* [ %57, %52 ], [ %49, %48 ]
%54 = phi i8* [ %55, %52 ], [ %45, %48 ]
%55 = getelementptr inbounds i8, i8* %54, i64 1
%56 = load i8, i8* %54
%57 = getelementptr inbounds i8, i8* %53, i64 1
store i8 %56, i8* %53
%58 = icmp eq i8 %56, 0
br i1 %58, label %59, label %52
59: ; preds = %52
%60 = getelementptr inbounds i8, i8* %30, i64 -1
%61 = getelementptr inbounds i8, i8* %20, i64 -1
br i1 %44, label %132, label %63
62: ; preds = %48, %43
br i1 %44, label %132, label %63
63: ; preds = %59, %62
%64 = phi i8* [ %20, %62 ], [ %61, %59 ]
%65 = phi i8* [ %30, %62 ], [ %60, %59 ]
%66 = getelementptr inbounds i8, i8* %65, i64 1
%67 = load i8, i8* %66
switch i8 %67, label %79 [
i8 0, label %68
i8 47, label %68
]
68: ; preds = %63, %63
store i8 %67, i8* %65
%69 = icmp eq i8 %67, 0
br i1 %69, label %132, label %70
70: ; preds = %68
%71 = getelementptr inbounds i8, i8* %65, i64 2
br label %72
72: ; preds = %70, %72
%73 = phi i8* [ %71, %70 ], [ %77, %72 ]
%74 = phi i8* [ %65, %70 ], [ %75, %72 ]
%75 = getelementptr inbounds i8, i8* %74, i64 1
%76 = load i8, i8* %73
%77 = getelementptr inbounds i8, i8* %73, i64 1
store i8 %76, i8* %75
%78 = icmp eq i8 %76, 0
br i1 %78, label %132, label %72
79: ; preds = %63
%80 = tail call i32 @strncmp(i8* %6, i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str, i64 0, i64 0), i32 4)
%81 = icmp eq i32 %80, 0
br i1 %81, label %82, label %92
82: ; preds = %79
%83 = load i8, i8* %66
%84 = icmp eq i8 %83, 56
br i1 %84, label %85, label %92
85: ; preds = %82
%86 = getelementptr inbounds i8, i8* %65, i64 2
%87 = load i8, i8* %86
%88 = icmp eq i8 %87, 48
br i1 %88, label %89, label %92
89: ; preds = %85
%90 = getelementptr inbounds i8, i8* %65, i64 3
%91 = load i8, i8* %90
switch i8 %91, label %92 [
i8 47, label %118
i8 0, label %118
]
92: ; preds = %89, %85, %82, %79
%93 = tail call i32 @strncmp(i8* %6, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.1, i64 0, i64 0), i32 6)
%94 = icmp eq i32 %93, 0
br i1 %94, label %95, label %105
95: ; preds = %92
%96 = load i8, i8* %66
%97 = icmp eq i8 %96, 55
br i1 %97, label %98, label %105
98: ; preds = %95
%99 = getelementptr inbounds i8, i8* %65, i64 2
%100 = load i8, i8* %99
%101 = icmp eq i8 %100, 48
br i1 %101, label %102, label %105
102: ; preds = %98
%103 = getelementptr inbounds i8, i8* %65, i64 3
%104 = load i8, i8* %103
switch i8 %104, label %105 [
i8 47, label %118
i8 0, label %118
]
105: ; preds = %102, %98, %95, %92
%106 = tail call i32 @strncmp(i8* %6, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.2, i64 0, i64 0), i32 3)
%107 = icmp eq i32 %106, 0
br i1 %107, label %108, label %132
108: ; preds = %105
%109 = load i8, i8* %66
%110 = icmp eq i8 %109, 50
br i1 %110, label %111, label %132
111: ; preds = %108
%112 = getelementptr inbounds i8, i8* %65, i64 2
%113 = load i8, i8* %112
%114 = icmp eq i8 %113, 49
br i1 %114, label %115, label %132
115: ; preds = %111
%116 = getelementptr inbounds i8, i8* %65, i64 3
%117 = load i8, i8* %116
switch i8 %117, label %132 [
i8 47, label %118
i8 0, label %118
]
118: ; preds = %89, %89, %102, %102, %115, %115
%119 = phi i8 [ %91, %89 ], [ %91, %89 ], [ %104, %102 ], [ %104, %102 ], [ %117, %115 ], [ %117, %115 ]
store i8 %119, i8* %65
%120 = icmp eq i8 %119, 0
br i1 %120, label %130, label %121
121: ; preds = %118
%122 = getelementptr inbounds i8, i8* %65, i64 4
br label %123
123: ; preds = %121, %123
%124 = phi i8* [ %122, %121 ], [ %128, %123 ]
%125 = phi i8* [ %65, %121 ], [ %126, %123 ]
%126 = getelementptr inbounds i8, i8* %125, i64 1
%127 = load i8, i8* %124
%128 = getelementptr inbounds i8, i8* %124, i64 1
store i8 %127, i8* %126
%129 = icmp eq i8 %127, 0
br i1 %129, label %130, label %123
130: ; preds = %123, %118
%131 = getelementptr inbounds i8, i8* %64, i64 -3
br label %132
132: ; preds = %72, %68, %59, %62, %130, %115, %111, %108, %105
%133 = phi i8* [ %131, %130 ], [ %20, %62 ], [ %64, %115 ], [ %64, %111 ], [ %64, %108 ], [ %64, %105 ], [ %61, %59 ], [ %64, %68 ], [ %64, %72 ]
ret i8* %133
}