#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*/ snprintf(char *, int, char *, char const);
void url_encode(const char *s, char *t, int length) {
  while (*s && length > 1) {
    if (*s <= 32 || *s == '%' || *s == '\\' || *s == '<' || *s == '>' ||
        *s == '\'' || *s == '\"' || *s > 122) {
      if (length > 3) {
        snprintf(t, length, "%%%2X", *s);
        t += 3;
        length -= 3;
        s++;
      } else {
        break;
      }
    } else {
      *t++ = *s++;
      length--;
    }
  }
  *t = 0;
}


x86 assembly (clang, -O0):
<url_encode>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    -0x8(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x15(%rbp)
je     1142 <url_encode+0x32>
cmpl   $0x1,-0x14(%rbp)
setg   %al
mov    %al,-0x15(%rbp)
mov    -0x15(%rbp),%al
test   $0x1,%al
jne    1152 <url_encode+0x42>
jmp    1256 <url_encode+0x146>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x20,%eax
jle    11d2 <url_encode+0xc2>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x25,%eax
je     11d2 <url_encode+0xc2>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5c,%eax
je     11d2 <url_encode+0xc2>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x3c,%eax
je     11d2 <url_encode+0xc2>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x3e,%eax
je     11d2 <url_encode+0xc2>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x27,%eax
je     11d2 <url_encode+0xc2>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x22,%eax
je     11d2 <url_encode+0xc2>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x7a,%eax
jle    1226 <url_encode+0x116>
cmpl   $0x3,-0x14(%rbp)
jle    121c <url_encode+0x10c>
mov    -0x10(%rbp),%rdi
mov    -0x14(%rbp),%esi
mov    -0x8(%rbp),%rax
lea    0xe12(%rip),%rdx
movsbl (%rax),%ecx
call   1030 <snprintf@plt>
mov    -0x10(%rbp),%rax
add    $0x3,%rax
mov    %rax,-0x10(%rbp)
mov    -0x14(%rbp),%eax
sub    $0x3,%eax
mov    %eax,-0x14(%rbp)
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
jmp    1221 <url_encode+0x111>
jmp    1256 <url_encode+0x146>
jmp    1251 <url_encode+0x141>
mov    -0x8(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x8(%rbp)
mov    (%rax),%cl
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
mov    -0x14(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x14(%rbp)
jmp    1123 <url_encode+0x13>
mov    -0x10(%rbp),%rax
movb   $0x0,(%rax)
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<url_encode>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
mov    %rsi,%r14
mov    (%rdi),%al
test   %al,%al
je     1198 <url_encode+0x88>
mov    %edx,%ebp
cmp    $0x2,%edx
jl     1198 <url_encode+0x88>
mov    %rdi,%rbx
add    $0x1,%rbx
lea    0x1042(%rip),%r15
lea    0xec3(%rip),%r12
nopl   (%rax)
cmp    $0x21,%al
jl     1158 <url_encode+0x48>
lea    -0x22(%rax),%ecx
cmp    $0x5d,%cl
ja     118a <url_encode+0x7a>
movzbl %cl,%ecx
movslq (%r12,%rcx,4),%rcx
add    %r12,%rcx
jmp    *%rcx
cmp    $0x4,%ebp
jb     1198 <url_encode+0x88>
movsbl %al,%ecx
mov    %r14,%rdi
mov    %ebp,%esi
mov    %r15,%rdx
call   1030 <snprintf@plt>
add    $0x3,%r14
mov    $0xfffffffd,%ecx
movzbl (%rbx),%eax
test   %al,%al
je     1198 <url_encode+0x88>
add    %ecx,%ebp
add    $0x1,%rbx
cmp    $0x1,%ebp
jg     1140 <url_encode+0x30>
jmp    1198 <url_encode+0x88>
mov    %al,(%r14)
add    $0x1,%r14
mov    $0xffffffff,%ecx
jmp    1176 <url_encode+0x66>
movb   $0x0,(%r14)
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
@.str = [6 x i8] c"%%%2X\00"
define void @url_encode(i8* nocapture %0, i8* %1, i32 %2) {
%4 = load i8, i8* %0
%5 = icmp ne i8 %4, 0
%6 = icmp sgt i32 %2, 1
%7 = and i1 %5, %6
br i1 %7, label %8, label %32
8: ; preds = %3, %23
%9 = phi i8 [ %28, %23 ], [ %4, %3 ]
%10 = phi i32 [ %26, %23 ], [ %2, %3 ]
%11 = phi i8* [ %25, %23 ], [ %1, %3 ]
%12 = phi i8* [ %27, %23 ], [ %0, %3 ]
%13 = freeze i8 %9
%14 = icmp slt i8 %13, 33
br i1 %14, label %16, label %15
15: ; preds = %8
switch i8 %13, label %21 [
i8 127, label %16
i8 126, label %16
i8 125, label %16
i8 124, label %16
i8 123, label %16
i8 92, label %16
i8 62, label %16
i8 60, label %16
i8 39, label %16
i8 37, label %16
i8 34, label %16
]
16: ; preds = %15, %15, %15, %15, %15, %15, %15, %15, %15, %15, %15, %8
%17 = icmp ugt i32 %10, 3
br i1 %17, label %18, label %32
18: ; preds = %16
%19 = tail call i32 @snprintf(i8* %11, i32 %10, i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str, i64 0, i64 0), i8 signext %13)
%20 = getelementptr inbounds i8, i8* %11, i64 3
br label %23
21: ; preds = %15
%22 = getelementptr inbounds i8, i8* %11, i64 1
store i8 %13, i8* %11
br label %23
23: ; preds = %21, %18
%24 = phi i32 [ -1, %21 ], [ -3, %18 ]
%25 = phi i8* [ %22, %21 ], [ %20, %18 ]
%26 = add nsw i32 %10, %24
%27 = getelementptr inbounds i8, i8* %12, i64 1
%28 = load i8, i8* %27
%29 = icmp ne i8 %28, 0
%30 = icmp sgt i32 %26, 1
%31 = select i1 %29, i1 %30, i1 false
br i1 %31, label %8, label %32
32: ; preds = %23, %16, %3
%33 = phi i8* [ %1, %3 ], [ %11, %16 ], [ %25, %23 ]
store i8 0, i8* %33
ret void
}