#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 */
scalar_t__ isxdigit(char);
void http_form_decode(char *str) {
  char *decoded;
  decoded = str;
  if (*str == '\0')
    return;
  while (*str != '\0') {
    if (*str == '+') {
      *decoded++ = ' ';
      str++;
    } else if ((*str == '%') && (isxdigit(str[1]) && isxdigit(str[2]))) {
      {
        if (str[1] >= 'a')
          str[1] -= ('a' - 'A');
        else if (str[1] >= 'A')
          str[1] -= ('A' - 10);
        else
          str[1] -= '0';
      }
      {
        if (str[2] >= 'a')
          str[2] -= ('a' - 'A');
        else if (str[2] >= 'A')
          str[2] -= ('A' - 10);
        else
          str[2] -= '0';
      }
      *decoded++ = (16 * str[1]) + str[2];
      str += 3;
    } else
      *decoded++ = *str++;
  }
  *decoded++ = '\0';
}


x86 assembly (clang, -O0):
<http_form_decode>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x10(%rbp)
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    1139 <http_form_decode+0x29>
jmp    12ec <http_form_decode+0x1dc>
jmp    113e <http_form_decode+0x2e>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     12da <http_form_decode+0x1ca>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2b,%eax
jne    1181 <http_form_decode+0x71>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movb   $0x20,(%rax)
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
jmp    12d5 <http_form_decode+0x1c5>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x25,%eax
jne    12ae <http_form_decode+0x19e>
mov    -0x8(%rbp),%rax
movsbl 0x1(%rax),%edi
call   1030 <isxdigit@plt>
cmp    $0x0,%rax
je     12ae <http_form_decode+0x19e>
mov    -0x8(%rbp),%rax
movsbl 0x2(%rax),%edi
call   1030 <isxdigit@plt>
cmp    $0x0,%rax
je     12ae <http_form_decode+0x19e>
mov    -0x8(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x61,%eax
jl     11e3 <http_form_decode+0xd3>
mov    -0x8(%rbp),%rax
movsbl 0x1(%rax),%ecx
sub    $0x20,%ecx
mov    %cl,0x1(%rax)
jmp    121a <http_form_decode+0x10a>
mov    -0x8(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x41,%eax
jl     1207 <http_form_decode+0xf7>
mov    -0x8(%rbp),%rax
movsbl 0x1(%rax),%ecx
sub    $0x37,%ecx
mov    %cl,0x1(%rax)
jmp    1215 <http_form_decode+0x105>
mov    -0x8(%rbp),%rax
movsbl 0x1(%rax),%ecx
sub    $0x30,%ecx
mov    %cl,0x1(%rax)
jmp    121a <http_form_decode+0x10a>
mov    -0x8(%rbp),%rax
movsbl 0x2(%rax),%eax
cmp    $0x61,%eax
jl     123e <http_form_decode+0x12e>
mov    -0x8(%rbp),%rax
movsbl 0x2(%rax),%ecx
sub    $0x20,%ecx
mov    %cl,0x2(%rax)
jmp    1275 <http_form_decode+0x165>
mov    -0x8(%rbp),%rax
movsbl 0x2(%rax),%eax
cmp    $0x41,%eax
jl     1262 <http_form_decode+0x152>
mov    -0x8(%rbp),%rax
movsbl 0x2(%rax),%ecx
sub    $0x37,%ecx
mov    %cl,0x2(%rax)
jmp    1270 <http_form_decode+0x160>
mov    -0x8(%rbp),%rax
movsbl 0x2(%rax),%ecx
sub    $0x30,%ecx
mov    %cl,0x2(%rax)
jmp    1275 <http_form_decode+0x165>
mov    -0x8(%rbp),%rax
movsbl 0x1(%rax),%eax
shl    $0x4,%eax
mov    -0x8(%rbp),%rcx
movsbl 0x2(%rcx),%ecx
add    %ecx,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
mov    -0x8(%rbp),%rax
add    $0x3,%rax
mov    %rax,-0x8(%rbp)
jmp    12d0 <http_form_decode+0x1c0>
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)
jmp    12d5 <http_form_decode+0x1c5>
jmp    113e <http_form_decode+0x2e>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movb   $0x0,(%rax)
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<http_form_decode>:
push   %rbp
push   %r15
push   %r14
push   %rbx
push   %rax
mov    (%rdi),%al
test   %al,%al
je     11d3 <http_form_decode+0xc3>
mov    %rdi,%rbx
mov    $0xc9,%r14d
mov    $0xe0,%r15d
mov    %rdi,%rbp
jmp    114f <http_form_decode+0x3f>
cs nopw 0x0(%rax,%rax,1)
nop
movb   $0x20,0x0(%rbp)
add    $0x1,%rbx
add    $0x1,%rbp
movzbl (%rbx),%eax
cmp    $0x25,%al
je     1160 <http_form_decode+0x50>
cmp    $0x2b,%al
je     1140 <http_form_decode+0x30>
test   %al,%al
jne    11c0 <http_form_decode+0xb0>
jmp    11cf <http_form_decode+0xbf>
nopl   (%rax)
movsbl 0x1(%rbx),%edi
call   1030 <isxdigit@plt>
test   %rax,%rax
je     11c0 <http_form_decode+0xb0>
movsbl 0x2(%rbx),%edi
call   1030 <isxdigit@plt>
test   %rax,%rax
je     11c0 <http_form_decode+0xb0>
movzbl 0x1(%rbx),%eax
cmp    $0x41,%al
mov    $0xd0,%ecx
cmovge %r14d,%ecx
cmp    $0x61,%al
cmovge %r15d,%ecx
movzbl 0x2(%rbx),%edx
add    %al,%cl
mov    %cl,0x1(%rbx)
cmp    $0x41,%dl
mov    $0xd0,%eax
cmovge %r14d,%eax
cmp    $0x61,%dl
cmovge %r15d,%eax
add    %dl,%al
mov    %al,0x2(%rbx)
shl    $0x4,%cl
add    %al,%cl
mov    %cl,0x0(%rbp)
add    $0x3,%rbx
jmp    1148 <http_form_decode+0x38>
movzbl (%rbx),%eax
add    $0x1,%rbx
mov    %al,0x0(%rbp)
jmp    1148 <http_form_decode+0x38>
movb   $0x0,0x0(%rbp)
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @http_form_decode(i8* %0) {
%2 = alloca i8*
%3 = alloca i8*
store i8* %0, i8** %2
%4 = load i8*, i8** %2
store i8* %4, i8** %3
%5 = load i8*, i8** %2
%6 = load i8, i8* %5
%7 = sext i8 %6 to i32
%8 = icmp eq i32 %7, 0
br i1 %8, label %9, label %10
9: ; preds = %1
br label %138
10: ; preds = %1
br label %11
11: ; preds = %134, %10
%12 = load i8*, i8** %2
%13 = load i8, i8* %12
%14 = sext i8 %13 to i32
%15 = icmp ne i32 %14, 0
br i1 %15, label %16, label %135
16: ; preds = %11
%17 = load i8*, i8** %2
%18 = load i8, i8* %17
%19 = sext i8 %18 to i32
%20 = icmp eq i32 %19, 43
br i1 %20, label %21, label %26
21: ; preds = %16
%22 = load i8*, i8** %3
%23 = getelementptr inbounds i8, i8* %22, i32 1
store i8* %23, i8** %3
store i8 32, i8* %22
%24 = load i8*, i8** %2
%25 = getelementptr inbounds i8, i8* %24, i32 1
store i8* %25, i8** %2
br label %134
26: ; preds = %16
%27 = load i8*, i8** %2
%28 = load i8, i8* %27
%29 = sext i8 %28 to i32
%30 = icmp eq i32 %29, 37
br i1 %30, label %31, label %127
31: ; preds = %26
%32 = load i8*, i8** %2
%33 = getelementptr inbounds i8, i8* %32, i64 1
%34 = load i8, i8* %33
%35 = call i64 @isxdigit(i8 signext %34)
%36 = icmp ne i64 %35, 0
br i1 %36, label %37, label %127
37: ; preds = %31
%38 = load i8*, i8** %2
%39 = getelementptr inbounds i8, i8* %38, i64 2
%40 = load i8, i8* %39
%41 = call i64 @isxdigit(i8 signext %40)
%42 = icmp ne i64 %41, 0
br i1 %42, label %43, label %127
43: ; preds = %37
%44 = load i8*, i8** %2
%45 = getelementptr inbounds i8, i8* %44, i64 1
%46 = load i8, i8* %45
%47 = sext i8 %46 to i32
%48 = icmp sge i32 %47, 97
br i1 %48, label %49, label %56
49: ; preds = %43
%50 = load i8*, i8** %2
%51 = getelementptr inbounds i8, i8* %50, i64 1
%52 = load i8, i8* %51
%53 = sext i8 %52 to i32
%54 = sub nsw i32 %53, 32
%55 = trunc i32 %54 to i8
store i8 %55, i8* %51
br label %77
56: ; preds = %43
%57 = load i8*, i8** %2
%58 = getelementptr inbounds i8, i8* %57, i64 1
%59 = load i8, i8* %58
%60 = sext i8 %59 to i32
%61 = icmp sge i32 %60, 65
br i1 %61, label %62, label %69
62: ; preds = %56
%63 = load i8*, i8** %2
%64 = getelementptr inbounds i8, i8* %63, i64 1
%65 = load i8, i8* %64
%66 = sext i8 %65 to i32
%67 = sub nsw i32 %66, 55
%68 = trunc i32 %67 to i8
store i8 %68, i8* %64
br label %76
69: ; preds = %56
%70 = load i8*, i8** %2
%71 = getelementptr inbounds i8, i8* %70, i64 1
%72 = load i8, i8* %71
%73 = sext i8 %72 to i32
%74 = sub nsw i32 %73, 48
%75 = trunc i32 %74 to i8
store i8 %75, i8* %71
br label %76
76: ; preds = %69, %62
br label %77
77: ; preds = %76, %49
%78 = load i8*, i8** %2
%79 = getelementptr inbounds i8, i8* %78, i64 2
%80 = load i8, i8* %79
%81 = sext i8 %80 to i32
%82 = icmp sge i32 %81, 97
br i1 %82, label %83, label %90
83: ; preds = %77
%84 = load i8*, i8** %2
%85 = getelementptr inbounds i8, i8* %84, i64 2
%86 = load i8, i8* %85
%87 = sext i8 %86 to i32
%88 = sub nsw i32 %87, 32
%89 = trunc i32 %88 to i8
store i8 %89, i8* %85
br label %111
90: ; preds = %77
%91 = load i8*, i8** %2
%92 = getelementptr inbounds i8, i8* %91, i64 2
%93 = load i8, i8* %92
%94 = sext i8 %93 to i32
%95 = icmp sge i32 %94, 65
br i1 %95, label %96, label %103
96: ; preds = %90
%97 = load i8*, i8** %2
%98 = getelementptr inbounds i8, i8* %97, i64 2
%99 = load i8, i8* %98
%100 = sext i8 %99 to i32
%101 = sub nsw i32 %100, 55
%102 = trunc i32 %101 to i8
store i8 %102, i8* %98
br label %110
103: ; preds = %90
%104 = load i8*, i8** %2
%105 = getelementptr inbounds i8, i8* %104, i64 2
%106 = load i8, i8* %105
%107 = sext i8 %106 to i32
%108 = sub nsw i32 %107, 48
%109 = trunc i32 %108 to i8
store i8 %109, i8* %105
br label %110
110: ; preds = %103, %96
br label %111
111: ; preds = %110, %83
%112 = load i8*, i8** %2
%113 = getelementptr inbounds i8, i8* %112, i64 1
%114 = load i8, i8* %113
%115 = sext i8 %114 to i32
%116 = mul nsw i32 16, %115
%117 = load i8*, i8** %2
%118 = getelementptr inbounds i8, i8* %117, i64 2
%119 = load i8, i8* %118
%120 = sext i8 %119 to i32
%121 = add nsw i32 %116, %120
%122 = trunc i32 %121 to i8
%123 = load i8*, i8** %3
%124 = getelementptr inbounds i8, i8* %123, i32 1
store i8* %124, i8** %3
store i8 %122, i8* %123
%125 = load i8*, i8** %2
%126 = getelementptr inbounds i8, i8* %125, i64 3
store i8* %126, i8** %2
br label %133
127: ; preds = %37, %31, %26
%128 = load i8*, i8** %2
%129 = getelementptr inbounds i8, i8* %128, i32 1
store i8* %129, i8** %2
%130 = load i8, i8* %128
%131 = load i8*, i8** %3
%132 = getelementptr inbounds i8, i8* %131, i32 1
store i8* %132, i8** %3
store i8 %130, i8* %131
br label %133
133: ; preds = %127, %111
br label %134
134: ; preds = %133, %21
br label %11
135: ; preds = %11
%136 = load i8*, i8** %3
%137 = getelementptr inbounds i8, i8* %136, i32 1
store i8* %137, i8** %3
store i8 0, i8* %136
br label %138
138: ; preds = %135, %9
ret void
}

LLVM IR (-O2):
define void @http_form_decode(i8* nocapture %0) {
%2 = load i8, i8* %0
%3 = icmp eq i8 %2, 0
br i1 %3, label %44, label %4
4: ; preds = %1, %39
%5 = phi i8 [ %42, %39 ], [ %2, %1 ]
%6 = phi i8* [ %40, %39 ], [ %0, %1 ]
%7 = phi i8* [ %41, %39 ], [ %0, %1 ]
switch i8 %5, label %36 [
i8 0, label %43
i8 43, label %8
i8 37, label %10
]
8: ; preds = %4
store i8 32, i8* %7
%9 = getelementptr inbounds i8, i8* %6, i64 1
br label %39
10: ; preds = %4
%11 = getelementptr inbounds i8, i8* %6, i64 1
%12 = load i8, i8* %11
%13 = tail call i64 @isxdigit(i8 signext %12)
%14 = icmp eq i64 %13, 0
br i1 %14, label %36, label %15
15: ; preds = %10
%16 = getelementptr inbounds i8, i8* %6, i64 2
%17 = load i8, i8* %16
%18 = tail call i64 @isxdigit(i8 signext %17)
%19 = icmp eq i64 %18, 0
br i1 %19, label %36, label %20
20: ; preds = %15
%21 = load i8, i8* %11
%22 = icmp sgt i8 %21, 96
%23 = icmp sgt i8 %21, 64
%24 = select i1 %23, i8 -55, i8 -48
%25 = select i1 %22, i8 -32, i8 %24
%26 = add i8 %21, %25
store i8 %26, i8* %11
%27 = load i8, i8* %16
%28 = icmp sgt i8 %27, 96
%29 = icmp sgt i8 %27, 64
%30 = select i1 %29, i8 -55, i8 -48
%31 = select i1 %28, i8 -32, i8 %30
%32 = add i8 %27, %31
store i8 %32, i8* %16
%33 = shl i8 %26, 4
%34 = add i8 %33, %32
store i8 %34, i8* %7
%35 = getelementptr inbounds i8, i8* %6, i64 3
br label %39
36: ; preds = %4, %15, %10
%37 = getelementptr inbounds i8, i8* %6, i64 1
%38 = load i8, i8* %6
store i8 %38, i8* %7
br label %39
39: ; preds = %20, %36, %8
%40 = phi i8* [ %9, %8 ], [ %35, %20 ], [ %37, %36 ]
%41 = getelementptr inbounds i8, i8* %7, i64 1
%42 = load i8, i8* %40
br label %4
43: ; preds = %4
store i8 0, i8* %7
br label %44
44: ; preds = %1, %43
ret void
}