#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 */
char *malloc(scalar_t__);
int /*<<< orphan*/ strcat(char *, char *);
scalar_t__ strlen(char *);
int tolower(int);
char *pdkim_relax_header(char *header, int crlf) {
  int past_field_name = 0;
  int seen_wsp = 0;
  char *p = header;
  char *q;
  char *relaxed = malloc(strlen(header) + 3);
  if (relaxed == NULL)
    return NULL;
  q = relaxed;
  while (*p != '\0') {
    int c = *p;
    if ((c == '\r') || (c == '\n')) {
      p++;
      continue;
    }
    if ((c == '\t') || (c == ' ')) {
      c = ' ';
      if (seen_wsp) {
        p++;
        continue;
      } else
        seen_wsp = 1;
    } else {
      if ((!past_field_name) && (c == ':')) {
        if (seen_wsp)
          q--;
        seen_wsp = 1;
        past_field_name = 1;
      } else
        seen_wsp = 0;
    }
    if (!past_field_name)
      c = tolower(c);
    *q = c;
    p++;
    q++;
  }
  *q = '\0';
  if (crlf)
    strcat(relaxed, "\r\n");
  return relaxed;
}


x86 assembly (clang, -O0):
<pdkim_relax_header>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
mov    %rax,%rdi
add    $0x3,%rdi
call   1050 <malloc@plt>
mov    %rax,-0x38(%rbp)
cmpq   $0x0,-0x38(%rbp)
jne    1196 <pdkim_relax_header+0x56>
movq   $0x0,-0x8(%rbp)
jmp    12ce <pdkim_relax_header+0x18e>
mov    -0x38(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x28(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     12a5 <pdkim_relax_header+0x165>
mov    -0x28(%rbp),%rax
movsbl (%rax),%eax
mov    %eax,-0x3c(%rbp)
cmpl   $0xd,-0x3c(%rbp)
je     11cc <pdkim_relax_header+0x8c>
cmpl   $0xa,-0x3c(%rbp)
jne    11dd <pdkim_relax_header+0x9d>
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
jmp    119e <pdkim_relax_header+0x5e>
cmpl   $0x9,-0x3c(%rbp)
je     11f1 <pdkim_relax_header+0xb1>
cmpl   $0x20,-0x3c(%rbp)
jne    121f <pdkim_relax_header+0xdf>
movl   $0x20,-0x3c(%rbp)
cmpl   $0x0,-0x1c(%rbp)
je     1213 <pdkim_relax_header+0xd3>
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
jmp    119e <pdkim_relax_header+0x5e>
movl   $0x1,-0x1c(%rbp)
jmp    1268 <pdkim_relax_header+0x128>
cmpl   $0x0,-0x18(%rbp)
jne    125c <pdkim_relax_header+0x11c>
cmpl   $0x3a,-0x3c(%rbp)
jne    125c <pdkim_relax_header+0x11c>
cmpl   $0x0,-0x1c(%rbp)
je     1249 <pdkim_relax_header+0x109>
mov    -0x30(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x30(%rbp)
movl   $0x1,-0x1c(%rbp)
movl   $0x1,-0x18(%rbp)
jmp    1263 <pdkim_relax_header+0x123>
movl   $0x0,-0x1c(%rbp)
jmp    1268 <pdkim_relax_header+0x128>
cmpl   $0x0,-0x18(%rbp)
jne    127d <pdkim_relax_header+0x13d>
mov    -0x3c(%rbp),%edi
call   1040 <tolower@plt>
mov    %eax,-0x3c(%rbp)
mov    -0x3c(%rbp),%eax
mov    %al,%cl
mov    -0x30(%rbp),%rax
mov    %cl,(%rax)
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
jmp    119e <pdkim_relax_header+0x5e>
mov    -0x30(%rbp),%rax
movb   $0x0,(%rax)
cmpl   $0x0,-0x14(%rbp)
je     12c6 <pdkim_relax_header+0x186>
mov    -0x38(%rbp),%rdi
lea    0xd3f(%rip),%rsi
call   1060 <strcat@plt>
mov    -0x38(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<pdkim_relax_header>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %esi,%r14d
mov    %rdi,%rbp
call   1030 <strlen@plt>
lea    0x3(%rax),%rdi
call   1050 <malloc@plt>
mov    %rax,%r15
test   %rax,%rax
je     1213 <pdkim_relax_header+0xd3>
xor    %ecx,%ecx
lea    0xe8c(%rip),%r12
xor    %edx,%edx
mov    %r15,%r13
jmp    119f <pdkim_relax_header+0x5f>
cmp    $0x1,%edx
adc    $0xffffffffffffffff,%r13
mov    $0x3a,%eax
mov    $0x1,%ebx
mov    $0x1,%ecx
mov    %al,0x0(%r13)
add    $0x1,%r13
mov    %ebx,%edx
add    $0x1,%rbp
movzbl 0x0(%rbp),%esi
cmp    $0x20,%rsi
ja     11c6 <pdkim_relax_header+0x86>
movslq (%r12,%rsi,4),%rax
add    %r12,%rax
jmp    *%rax
mov    $0x1,%ebx
test   %edx,%edx
je     11e6 <pdkim_relax_header+0xa6>
mov    $0x1,%edx
add    $0x1,%rbp
jmp    119f <pdkim_relax_header+0x5f>
movsbl %sil,%eax
xor    %ebx,%ebx
test   %ecx,%ecx
jne    11e0 <pdkim_relax_header+0xa0>
cmp    $0x3a,%sil
je     117b <pdkim_relax_header+0x3b>
cs nopw 0x0(%rax,%rax,1)
test   %ecx,%ecx
jne    1191 <pdkim_relax_header+0x51>
jmp    11ef <pdkim_relax_header+0xaf>
mov    $0x20,%eax
test   %ecx,%ecx
jne    1191 <pdkim_relax_header+0x51>
mov    %eax,%edi
call   1040 <tolower@plt>
xor    %ecx,%ecx
jmp    1191 <pdkim_relax_header+0x51>
movb   $0x0,0x0(%r13)
test   %r14d,%r14d
je     1213 <pdkim_relax_header+0xd3>
lea    0xe79(%rip),%rsi
mov    %r15,%rdi
call   1060 <strcat@plt>
mov    %r15,%rax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
@.str = [3 x i8] c"\0D\0A\00"
define i8* @pdkim_relax_header(i8* nocapture %0, i32 %1) {
%3 = tail call i64 @strlen(i8* dereferenceable(1) %0)
%4 = add nsw i64 %3, 3
%5 = tail call i8* @malloc(i64 %4)
%6 = icmp eq i8* %5, null
br i1 %6, label %46, label %7
7: ; preds = %2, %37
%8 = phi i32 [ %38, %37 ], [ 0, %2 ]
%9 = phi i32 [ %39, %37 ], [ 0, %2 ]
%10 = phi i8* [ %41, %37 ], [ %0, %2 ]
%11 = phi i8* [ %40, %37 ], [ %5, %2 ]
%12 = load i8, i8* %10
switch i8 %12, label %15 [
i8 0, label %42
i8 13, label %37
i8 10, label %37
i8 32, label %13
i8 9, label %13
]
13: ; preds = %7, %7
%14 = icmp eq i32 %9, 0
br i1 %14, label %24, label %37
15: ; preds = %7
%16 = sext i8 %12 to i32
%17 = icmp eq i32 %8, 0
%18 = icmp eq i8 %12, 58
%19 = select i1 %17, i1 %18, i1 false
br i1 %19, label %20, label %24
20: ; preds = %15
%21 = icmp ne i32 %9, 0
%22 = sext i1 %21 to i64
%23 = getelementptr i8, i8* %11, i64 %22
br label %30
24: ; preds = %15, %13
%25 = phi i32 [ 1, %13 ], [ 0, %15 ]
%26 = phi i32 [ 32, %13 ], [ %16, %15 ]
%27 = icmp eq i32 %8, 0
br i1 %27, label %28, label %30
28: ; preds = %24
%29 = tail call i32 @tolower(i32 %26)
br label %30
30: ; preds = %20, %28, %24
%31 = phi i8* [ %11, %24 ], [ %11, %28 ], [ %23, %20 ]
%32 = phi i32 [ %25, %24 ], [ %25, %28 ], [ 1, %20 ]
%33 = phi i32 [ %8, %24 ], [ 0, %28 ], [ 1, %20 ]
%34 = phi i32 [ %26, %24 ], [ %29, %28 ], [ 58, %20 ]
%35 = trunc i32 %34 to i8
store i8 %35, i8* %31
%36 = getelementptr inbounds i8, i8* %31, i64 1
br label %37
37: ; preds = %7, %7, %13, %30
%38 = phi i32 [ %33, %30 ], [ %8, %13 ], [ %8, %7 ], [ %8, %7 ]
%39 = phi i32 [ %32, %30 ], [ 1, %13 ], [ %9, %7 ], [ %9, %7 ]
%40 = phi i8* [ %36, %30 ], [ %11, %13 ], [ %11, %7 ], [ %11, %7 ]
%41 = getelementptr inbounds i8, i8* %10, i64 1
br label %7
42: ; preds = %7
store i8 0, i8* %11
%43 = icmp eq i32 %1, 0
br i1 %43, label %46, label %44
44: ; preds = %42
%45 = tail call i32 @strcat(i8* %5, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0))
br label %46
46: ; preds = %42, %44, %2
ret i8* %5
}