#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*/ assert(int /*<<< orphan*/);
char encode_char(char const);
char *malloc(unsigned int);
size_t strlen(char const *);
char toupper(char const);
char *refined_soundex(const char *str) {
  assert(str != NULL);
  size_t str_len = strlen(str);
  char code[str_len + 1];
  char buf[str_len];
  code[0] = toupper(str[0]);
  unsigned d = 1;
  for (unsigned i = 0; i < str_len; i++)
    buf[i] = encode_char(str[i]);
  char prev = '\0';
  for (unsigned i = 0; i < str_len; i++) {
    if (!((buf[i]) == (prev))) {
      code[d] = buf[i];
      d++;
      prev = buf[i];
    }
  }
  char *result = malloc(d * sizeof(char));
  for (unsigned i = 0; i < d; i++) {
    result[i] = code[i];
  }
  result[d] = '\0';
  return result;
}


x86 assembly (clang, -O0):
<refined_soundex>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rax
test   %rax,%rax
setne  %al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x8(%rbp),%rdi
call   1040 <strlen@plt>
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rdx
mov    %rdx,%rax
add    $0x1,%rax
mov    %rsp,%rcx
mov    %rcx,-0x18(%rbp)
add    $0x10,%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rcx
sub    %rdx,%rcx
mov    %rcx,-0x50(%rbp)
mov    %rcx,%rsp
mov    %rax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0xf,%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rcx
sub    %rdx,%rcx
mov    %rcx,-0x58(%rbp)
mov    %rcx,%rsp
mov    %rax,-0x28(%rbp)
mov    -0x8(%rbp),%rax
movsbl (%rax),%edi
call   1030 <toupper@plt>
mov    %al,%cl
mov    -0x50(%rbp),%rax
mov    %cl,(%rax)
movl   $0x1,-0x2c(%rbp)
movl   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x10(%rbp),%rax
jae    121f <refined_soundex+0xcf>
mov    -0x8(%rbp),%rax
mov    -0x30(%rbp),%ecx
movsbl (%rax,%rcx,1),%edi
call   1050 <encode_char@plt>
mov    %al,%dl
mov    -0x58(%rbp),%rax
mov    -0x30(%rbp),%ecx
mov    %dl,(%rax,%rcx,1)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    11e8 <refined_soundex+0x98>
movb   $0x0,-0x31(%rbp)
movl   $0x0,-0x38(%rbp)
mov    -0x38(%rbp),%eax
cmp    -0x10(%rbp),%rax
jae    1289 <refined_soundex+0x139>
mov    -0x58(%rbp),%rax
mov    -0x38(%rbp),%ecx
movsbl (%rax,%rcx,1),%eax
movsbl -0x31(%rbp),%ecx
cmp    %ecx,%eax
je     1276 <refined_soundex+0x126>
mov    -0x58(%rbp),%rax
mov    -0x50(%rbp),%rcx
mov    -0x38(%rbp),%edx
mov    (%rax,%rdx,1),%sil
mov    -0x2c(%rbp),%edx
mov    %sil,(%rcx,%rdx,1)
mov    -0x2c(%rbp),%ecx
add    $0x1,%ecx
mov    %ecx,-0x2c(%rbp)
mov    -0x38(%rbp),%ecx
mov    (%rax,%rcx,1),%al
mov    %al,-0x31(%rbp)
jmp    127b <refined_soundex+0x12b>
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    122a <refined_soundex+0xda>
mov    -0x2c(%rbp),%eax
shl    $0x0,%rax
mov    %eax,%edi
call   1070 <malloc@plt>
mov    %rax,-0x40(%rbp)
movl   $0x0,-0x44(%rbp)
mov    -0x44(%rbp),%eax
cmp    -0x2c(%rbp),%eax
jae    12d0 <refined_soundex+0x180>
mov    -0x50(%rbp),%rax
mov    -0x44(%rbp),%ecx
mov    (%rax,%rcx,1),%dl
mov    -0x40(%rbp),%rax
mov    -0x44(%rbp),%ecx
mov    %dl,(%rax,%rcx,1)
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    12a2 <refined_soundex+0x152>
mov    -0x40(%rbp),%rax
mov    -0x2c(%rbp),%ecx
movb   $0x0,(%rax,%rcx,1)
mov    -0x40(%rbp),%rax
mov    -0x18(%rbp),%rcx
mov    %rcx,%rsp
mov    %rbp,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<refined_soundex>:
push   %rbp
mov    %rsp,%rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rdi,%r12
xor    %edi,%edi
test   %r12,%r12
setne  %dil
call   1060 <assert@plt>
mov    %r12,%rdi
call   1040 <strlen@plt>
mov    %rax,%r15
mov    %rsp,%r14
mov    %r14,-0x30(%rbp)
lea    0x10(%rax),%rbx
and    $0xfffffffffffffff0,%rbx
sub    %rbx,%r14
mov    %r14,%rsp
neg    %rbx
mov    %rsp,%r13
add    $0xf,%rax
and    $0xfffffffffffffff0,%rax
sub    %rax,%r13
mov    %r13,%rsp
movsbl (%r12),%edi
call   1030 <toupper@plt>
mov    -0x30(%rbp),%rcx
mov    %al,(%rcx,%rbx,1)
test   %r15,%r15
je     1225 <refined_soundex+0xc5>
xor    %ebx,%ebx
nopl   0x0(%rax,%rax,1)
movsbl (%r12,%rbx,1),%edi
call   1050 <encode_char@plt>
mov    %al,0x0(%r13,%rbx,1)
add    $0x1,%ebx
cmp    %rbx,%r15
ja     11d0 <refined_soundex+0x70>
cmp    $0x1,%r15
jne    1260 <refined_soundex+0x100>
mov    $0x1,%r12d
xor    %eax,%eax
xor    %edx,%edx
test   $0x1,%r15b
je     1211 <refined_soundex+0xb1>
mov    0x0(%r13,%rax,1),%al
cmp    %dl,%al
je     1211 <refined_soundex+0xb1>
mov    %r12d,%ecx
mov    %al,(%r14,%rcx,1)
add    $0x1,%r12d
mov    %r12d,%edi
call   1080 <malloc@plt>
mov    %rax,%r15
test   %r12d,%r12d
jne    1238 <refined_soundex+0xd8>
xor    %ebx,%ebx
jmp    1249 <refined_soundex+0xe9>
mov    $0x1,%r12d
mov    $0x1,%edi
call   1080 <malloc@plt>
mov    %rax,%r15
mov    %r12d,%ebx
mov    %r15,%rdi
mov    %r14,%rsi
mov    %rbx,%rdx
call   1070 <memcpy@plt>
movb   $0x0,(%r15,%rbx,1)
mov    %r15,%rax
lea    -0x28(%rbp),%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    %r15,%rcx
and    $0xfffffffffffffffe,%rcx
mov    $0x1,%r12d
xor    %eax,%eax
xor    %edx,%edx
jmp    1298 <refined_soundex+0x138>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    %r12d,%esi
mov    %dl,(%r14,%rsi,1)
add    $0x1,%r12d
add    $0x2,%rax
cmp    %rax,%rcx
je     11f7 <refined_soundex+0x97>
movzbl 0x0(%r13,%rax,1),%ebx
cmp    %dl,%bl
jne    12b0 <refined_soundex+0x150>
mov    %edx,%ebx
jmp    12bb <refined_soundex+0x15b>
cs nopw 0x0(%rax,%rax,1)
mov    %r12d,%edx
mov    %bl,(%r14,%rdx,1)
add    $0x1,%r12d
movzbl 0x1(%r13,%rax,1),%edx
cmp    %bl,%dl
jne    1280 <refined_soundex+0x120>
mov    %ebx,%edx
jmp    128b <refined_soundex+0x12b>

LLVM IR (-O0):
define i8* @refined_soundex(i8* %0) {
%2 = alloca i8*
%3 = alloca i64
%4 = alloca i8*
%5 = alloca i64
%6 = alloca i64
%7 = alloca i32
%8 = alloca i32
%9 = alloca i8
%10 = alloca i32
%11 = alloca i8*
%12 = alloca i32
store i8* %0, i8** %2
%13 = load i8*, i8** %2
%14 = icmp ne i8* %13, null
%15 = zext i1 %14 to i32
%16 = call i32 @assert(i32 %15)
%17 = load i8*, i8** %2
%18 = call i64 @strlen(i8* %17)
store i64 %18, i64* %3
%19 = load i64, i64* %3
%20 = add i64 %19, 1
%21 = call i8* @llvm.stacksave()
store i8* %21, i8** %4
%22 = alloca i8, i64 %20
store i64 %20, i64* %5
%23 = load i64, i64* %3
%24 = alloca i8, i64 %23
store i64 %23, i64* %6
%25 = load i8*, i8** %2
%26 = getelementptr inbounds i8, i8* %25, i64 0
%27 = load i8, i8* %26
%28 = call signext i8 @toupper(i8 signext %27)
%29 = getelementptr inbounds i8, i8* %22, i64 0
store i8 %28, i8* %29
store i32 1, i32* %7
store i32 0, i32* %8
br label %30
30: ; preds = %45, %1
%31 = load i32, i32* %8
%32 = zext i32 %31 to i64
%33 = load i64, i64* %3
%34 = icmp ult i64 %32, %33
br i1 %34, label %35, label %48
35: ; preds = %30
%36 = load i8*, i8** %2
%37 = load i32, i32* %8
%38 = zext i32 %37 to i64
%39 = getelementptr inbounds i8, i8* %36, i64 %38
%40 = load i8, i8* %39
%41 = call signext i8 @encode_char(i8 signext %40)
%42 = load i32, i32* %8
%43 = zext i32 %42 to i64
%44 = getelementptr inbounds i8, i8* %24, i64 %43
store i8 %41, i8* %44
br label %45
45: ; preds = %35
%46 = load i32, i32* %8
%47 = add i32 %46, 1
store i32 %47, i32* %8
br label %30
48: ; preds = %30
store i8 0, i8* %9
store i32 0, i32* %10
br label %49
49: ; preds = %78, %48
%50 = load i32, i32* %10
%51 = zext i32 %50 to i64
%52 = load i64, i64* %3
%53 = icmp ult i64 %51, %52
br i1 %53, label %54, label %81
54: ; preds = %49
%55 = load i32, i32* %10
%56 = zext i32 %55 to i64
%57 = getelementptr inbounds i8, i8* %24, i64 %56
%58 = load i8, i8* %57
%59 = sext i8 %58 to i32
%60 = load i8, i8* %9
%61 = sext i8 %60 to i32
%62 = icmp eq i32 %59, %61
br i1 %62, label %77, label %63
63: ; preds = %54
%64 = load i32, i32* %10
%65 = zext i32 %64 to i64
%66 = getelementptr inbounds i8, i8* %24, i64 %65
%67 = load i8, i8* %66
%68 = load i32, i32* %7
%69 = zext i32 %68 to i64
%70 = getelementptr inbounds i8, i8* %22, i64 %69
store i8 %67, i8* %70
%71 = load i32, i32* %7
%72 = add i32 %71, 1
store i32 %72, i32* %7
%73 = load i32, i32* %10
%74 = zext i32 %73 to i64
%75 = getelementptr inbounds i8, i8* %24, i64 %74
%76 = load i8, i8* %75
store i8 %76, i8* %9
br label %77
77: ; preds = %63, %54
br label %78
78: ; preds = %77
%79 = load i32, i32* %10
%80 = add i32 %79, 1
store i32 %80, i32* %10
br label %49
81: ; preds = %49
%82 = load i32, i32* %7
%83 = zext i32 %82 to i64
%84 = mul i64 %83, 1
%85 = trunc i64 %84 to i32
%86 = call i8* @malloc(i32 %85)
store i8* %86, i8** %11
store i32 0, i32* %12
br label %87
87: ; preds = %100, %81
%88 = load i32, i32* %12
%89 = load i32, i32* %7
%90 = icmp ult i32 %88, %89
br i1 %90, label %91, label %103
91: ; preds = %87
%92 = load i32, i32* %12
%93 = zext i32 %92 to i64
%94 = getelementptr inbounds i8, i8* %22, i64 %93
%95 = load i8, i8* %94
%96 = load i8*, i8** %11
%97 = load i32, i32* %12
%98 = zext i32 %97 to i64
%99 = getelementptr inbounds i8, i8* %96, i64 %98
store i8 %95, i8* %99
br label %100
100: ; preds = %91
%101 = load i32, i32* %12
%102 = add i32 %101, 1
store i32 %102, i32* %12
br label %87
103: ; preds = %87
%104 = load i8*, i8** %11
%105 = load i32, i32* %7
%106 = zext i32 %105 to i64
%107 = getelementptr inbounds i8, i8* %104, i64 %106
store i8 0, i8* %107
%108 = load i8*, i8** %11
%109 = load i8*, i8** %4
ret i8* %108
}

LLVM IR (-O2):
define noalias i8* @refined_soundex(i8* %0) {
%2 = icmp ne i8* %0, null
%3 = zext i1 %2 to i32
%4 = tail call i32 @assert(i32 %3)
%5 = tail call i64 @strlen(i8* dereferenceable(1) %0)
%6 = add i64 %5, 1
%7 = alloca i8, i64 %6
%8 = alloca i8, i64 %5
%9 = load i8, i8* %0
%10 = tail call signext i8 @toupper(i8 signext %9)
store i8 %10, i8* %7
%11 = icmp eq i64 %5, 0
br i1 %11, label %12, label %14
12: ; preds = %1
%13 = tail call dereferenceable_or_null(1) i8* @malloc(i32 1)
br label %46
14: ; preds = %1, %14
%15 = phi i64 [ %21, %14 ], [ 0, %1 ]
%16 = getelementptr inbounds i8, i8* %0, i64 %15
%17 = load i8, i8* %16
%18 = tail call signext i8 @encode_char(i8 signext %17)
%19 = getelementptr inbounds i8, i8* %8, i64 %15
store i8 %18, i8* %19
%20 = add nuw nsw i64 %15, 1
%21 = and i64 %20, 4294967295
%22 = icmp ugt i64 %5, %21
br i1 %22, label %14, label %23
23: ; preds = %14
%24 = and i64 %5, 1
%25 = icmp eq i64 %5, 1
br i1 %25, label %28, label %26
26: ; preds = %23
%27 = and i64 %5, -2
br label %50
28: ; preds = %73, %23
%29 = phi i32 [ undef, %23 ], [ %75, %73 ]
%30 = phi i64 [ 0, %23 ], [ %76, %73 ]
%31 = phi i32 [ 1, %23 ], [ %75, %73 ]
%32 = phi i8 [ 0, %23 ], [ %74, %73 ]
%33 = icmp eq i64 %24, 0
br i1 %33, label %42, label %34
34: ; preds = %28
%35 = getelementptr inbounds i8, i8* %8, i64 %30
%36 = load i8, i8* %35
%37 = icmp eq i8 %36, %32
br i1 %37, label %42, label %38
38: ; preds = %34
%39 = zext i32 %31 to i64
%40 = getelementptr inbounds i8, i8* %7, i64 %39
store i8 %36, i8* %40
%41 = add i32 %31, 1
br label %42
42: ; preds = %34, %38, %28
%43 = phi i32 [ %29, %28 ], [ %31, %34 ], [ %41, %38 ]
%44 = tail call i8* @malloc(i32 %43)
%45 = icmp eq i32 %43, 0
br i1 %45, label %79, label %46
46: ; preds = %12, %42
%47 = phi i8* [ %13, %12 ], [ %44, %42 ]
%48 = phi i32 [ 1, %12 ], [ %43, %42 ]
%49 = zext i32 %48 to i64
br label %79
50: ; preds = %73, %26
%51 = phi i64 [ 0, %26 ], [ %76, %73 ]
%52 = phi i32 [ 1, %26 ], [ %75, %73 ]
%53 = phi i8 [ 0, %26 ], [ %74, %73 ]
%54 = phi i64 [ 0, %26 ], [ %77, %73 ]
%55 = getelementptr inbounds i8, i8* %8, i64 %51
%56 = load i8, i8* %55
%57 = icmp eq i8 %56, %53
br i1 %57, label %62, label %58
58: ; preds = %50
%59 = zext i32 %52 to i64
%60 = getelementptr inbounds i8, i8* %7, i64 %59
store i8 %56, i8* %60
%61 = add i32 %52, 1
br label %62
62: ; preds = %50, %58
%63 = phi i8 [ %53, %50 ], [ %56, %58 ]
%64 = phi i32 [ %52, %50 ], [ %61, %58 ]
%65 = or i64 %51, 1
%66 = getelementptr inbounds i8, i8* %8, i64 %65
%67 = load i8, i8* %66
%68 = icmp eq i8 %67, %63
br i1 %68, label %73, label %69
69: ; preds = %62
%70 = zext i32 %64 to i64
%71 = getelementptr inbounds i8, i8* %7, i64 %70
store i8 %67, i8* %71
%72 = add i32 %64, 1
br label %73
73: ; preds = %69, %62
%74 = phi i8 [ %63, %62 ], [ %67, %69 ]
%75 = phi i32 [ %64, %62 ], [ %72, %69 ]
%76 = add i64 %51, 2
%77 = add i64 %54, 2
%78 = icmp eq i64 %77, %27
br i1 %78, label %28, label %50
79: ; preds = %42, %46
%80 = phi i8* [ %47, %46 ], [ %44, %42 ]
%81 = phi i64 [ %49, %46 ], [ 0, %42 ]
%82 = getelementptr inbounds i8, i8* %80, i64 %81
store i8 0, i8* %82
ret i8* %80
}