#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*/ exit_if_null(char *, char *);
scalar_t__ is_alpha(char);
scalar_t__ is_num(char);
scalar_t__ malloc(int);
int strlen(char *);
char *get_c_proper_name(char *user_prov_name) {
  int i, j;
  char *proper_name;
  exit_if_null(user_prov_name, "NULL user provided name!");
  proper_name = (char *)malloc(strlen(user_prov_name) + 1);
  exit_if_null(proper_name, "unable to allocate enough memory!");
  j = 0;
  proper_name[j] = '\0';
  for (i = 0; i < strlen(user_prov_name); i++) {
    if (j == 0) {
      if (is_alpha(user_prov_name[i])) {
        proper_name[j++] = user_prov_name[i];
      }
    } else if (i == strlen(user_prov_name) - 1) {
      if (is_alpha(user_prov_name[i]) || is_num(user_prov_name[i])) {
        proper_name[j++] = user_prov_name[i];
      }
    } else {
      if (is_alpha(user_prov_name[i]) || is_num(user_prov_name[i]) ||
          user_prov_name[i] == '_' || user_prov_name[i] == ' ') {
        if (user_prov_name[i] == ' ') {
          proper_name[j++] = '_';
        } else {
          proper_name[j++] = user_prov_name[i];
        }
      }
    }
  }
  proper_name[j] = '\0';
  return proper_name;
}


x86 assembly (clang, -O0):
<get_c_proper_name>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rdi
lea    0xe99(%rip),%rsi
call   1030 <exit_if_null@plt>
mov    -0x8(%rbp),%rdi
call   1040 <strlen@plt>
mov    %eax,%edi
add    $0x1,%edi
call   1050 <malloc@plt>
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rdi
lea    0xe8b(%rip),%rsi
call   1030 <exit_if_null@plt>
movl   $0x0,-0x10(%rbp)
mov    -0x18(%rbp),%rax
movslq -0x10(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
movl   $0x0,-0xc(%rbp)
mov    -0xc(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x8(%rbp),%rdi
call   1040 <strlen@plt>
mov    %eax,%ecx
mov    -0x1c(%rbp),%eax
cmp    %ecx,%eax
jge    135f <get_c_proper_name+0x20f>
cmpl   $0x0,-0x10(%rbp)
jne    1213 <get_c_proper_name+0xc3>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movsbl (%rax,%rcx,1),%edi
call   1070 <is_alpha@plt>
cmp    $0x0,%rax
je     120e <get_c_proper_name+0xbe>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x18(%rbp),%rax
mov    -0x10(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x10(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
jmp    134c <get_c_proper_name+0x1fc>
mov    -0xc(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x8(%rbp),%rdi
call   1040 <strlen@plt>
mov    %eax,%ecx
mov    -0x20(%rbp),%eax
sub    $0x1,%ecx
cmp    %ecx,%eax
jne    128d <get_c_proper_name+0x13d>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movsbl (%rax,%rcx,1),%edi
call   1070 <is_alpha@plt>
cmp    $0x0,%rax
jne    1268 <get_c_proper_name+0x118>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movsbl (%rax,%rcx,1),%edi
call   1060 <is_num@plt>
cmp    $0x0,%rax
je     1288 <get_c_proper_name+0x138>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x18(%rbp),%rax
mov    -0x10(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x10(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
jmp    1347 <get_c_proper_name+0x1f7>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movsbl (%rax,%rcx,1),%edi
call   1070 <is_alpha@plt>
cmp    $0x0,%rax
jne    12ed <get_c_proper_name+0x19d>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movsbl (%rax,%rcx,1),%edi
call   1060 <is_num@plt>
cmp    $0x0,%rax
jne    12ed <get_c_proper_name+0x19d>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x5f,%eax
je     12ed <get_c_proper_name+0x19d>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x20,%eax
jne    1342 <get_c_proper_name+0x1f2>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x20,%eax
jne    131d <get_c_proper_name+0x1cd>
mov    -0x18(%rbp),%rax
mov    -0x10(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x10(%rbp)
movslq %ecx,%rcx
movb   $0x5f,(%rax,%rcx,1)
jmp    133d <get_c_proper_name+0x1ed>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x18(%rbp),%rax
mov    -0x10(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x10(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
jmp    1342 <get_c_proper_name+0x1f2>
jmp    1347 <get_c_proper_name+0x1f7>
jmp    134c <get_c_proper_name+0x1fc>
jmp    1351 <get_c_proper_name+0x201>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    11ad <get_c_proper_name+0x5d>
mov    -0x18(%rbp),%rax
movslq -0x10(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x18(%rbp),%rax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<get_c_proper_name>:
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    %rdi,%r15
lea    0xe9d(%rip),%rsi
call   1030 <exit_if_null@plt>
mov    %r15,%rdi
call   1040 <strlen@plt>
lea    0x1(%rax),%edi
call   1050 <malloc@plt>
mov    %rax,%r14
lea    0xe97(%rip),%rsi
mov    %rax,%rdi
call   1030 <exit_if_null@plt>
movb   $0x0,(%r14)
mov    %r15,%rdi
call   1040 <strlen@plt>
test   %eax,%eax
jle    129b <get_c_proper_name+0x14b>
xor    %r12d,%r12d
xor    %r13d,%r13d
jmp    11ca <get_c_proper_name+0x7a>
mov    %al,(%r14,%rcx,1)
nopw   0x0(%rax,%rax,1)
add    $0x1,%r12
mov    %r15,%rdi
call   1040 <strlen@plt>
cltq
mov    %ebx,%r13d
cmp    %rax,%r12
jge    129d <get_c_proper_name+0x14d>
test   %r13d,%r13d
je     1220 <get_c_proper_name+0xd0>
mov    %r15,%rdi
call   1040 <strlen@plt>
mov    %eax,%ebx
add    $0xffffffff,%ebx
movsbl (%r15,%r12,1),%edi
call   1070 <is_alpha@plt>
cmp    %rbx,%r12
jne    1250 <get_c_proper_name+0x100>
test   %rax,%rax
jne    11ff <get_c_proper_name+0xaf>
movsbl (%r15,%r12,1),%edi
call   1060 <is_num@plt>
test   %rax,%rax
je     120f <get_c_proper_name+0xbf>
movzbl (%r15,%r12,1),%eax
movslq %r13d,%rcx
add    $0x1,%r13d
mov    %al,(%r14,%rcx,1)
mov    %r13d,%ebx
jmp    11b0 <get_c_proper_name+0x60>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movsbl (%r15,%r12,1),%edi
call   1070 <is_alpha@plt>
test   %rax,%rax
je     1282 <get_c_proper_name+0x132>
movzbl (%r15,%r12,1),%eax
mov    %al,(%r14)
mov    $0x1,%ebx
jmp    11b0 <get_c_proper_name+0x60>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
test   %rax,%rax
jne    1264 <get_c_proper_name+0x114>
movsbl (%r15,%r12,1),%edi
call   1060 <is_num@plt>
test   %rax,%rax
je     1289 <get_c_proper_name+0x139>
movzbl (%r15,%r12,1),%eax
lea    0x1(%r13),%ebx
movslq %r13d,%rcx
cmp    $0x20,%al
jne    11a6 <get_c_proper_name+0x56>
movb   $0x5f,(%r14,%rcx,1)
jmp    11b0 <get_c_proper_name+0x60>
xor    %ebx,%ebx
jmp    11b0 <get_c_proper_name+0x60>
movzbl (%r15,%r12,1),%eax
cmp    $0x20,%al
je     1269 <get_c_proper_name+0x119>
cmp    $0x5f,%al
je     1269 <get_c_proper_name+0x119>
jmp    120f <get_c_proper_name+0xbf>
xor    %ebx,%ebx
movslq %ebx,%rax
movb   $0x0,(%r14,%rax,1)
mov    %r14,%rax
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
ret

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

LLVM IR (-O2):
@.str = [25 x i8] c"NULL user provided name!\00"
@.str.1 = [34 x i8] c"unable to allocate enough memory!\00"
define i8* @get_c_proper_name(i8* %0) {
%2 = tail call i32 @exit_if_null(i8* %0, i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str, i64 0, i64 0))
%3 = tail call i32 @strlen(i8* %0)
%4 = add nsw i32 %3, 1
%5 = tail call i64 @malloc(i32 %4)
%6 = inttoptr i64 %5 to i8*
%7 = tail call i32 @exit_if_null(i8* %6, i8* getelementptr inbounds ([34 x i8], [34 x i8]* @.str.1, i64 0, i64 0))
store i8 0, i8* %6
%8 = tail call i32 @strlen(i8* %0)
%9 = icmp sgt i32 %8, 0
br i1 %9, label %10, label %63
10: ; preds = %1, %57
%11 = phi i64 [ %59, %57 ], [ 0, %1 ]
%12 = phi i32 [ %58, %57 ], [ 0, %1 ]
%13 = icmp eq i32 %12, 0
br i1 %13, label %14, label %21
14: ; preds = %10
%15 = getelementptr inbounds i8, i8* %0, i64 %11
%16 = load i8, i8* %15
%17 = tail call i64 @is_alpha(i8 signext %16)
%18 = icmp eq i64 %17, 0
br i1 %18, label %57, label %19
19: ; preds = %14
%20 = load i8, i8* %15
store i8 %20, i8* %6
br label %57
21: ; preds = %10
%22 = tail call i32 @strlen(i8* %0)
%23 = add nsw i32 %22, -1
%24 = zext i32 %23 to i64
%25 = icmp eq i64 %11, %24
%26 = getelementptr inbounds i8, i8* %0, i64 %11
%27 = load i8, i8* %26
%28 = tail call i64 @is_alpha(i8 signext %27)
%29 = icmp eq i64 %28, 0
br i1 %25, label %30, label %40
30: ; preds = %21
br i1 %29, label %31, label %35
31: ; preds = %30
%32 = load i8, i8* %26
%33 = tail call i64 @is_num(i8 signext %32)
%34 = icmp eq i64 %33, 0
br i1 %34, label %57, label %35
35: ; preds = %31, %30
%36 = load i8, i8* %26
%37 = add nsw i32 %12, 1
%38 = sext i32 %12 to i64
%39 = getelementptr inbounds i8, i8* %6, i64 %38
store i8 %36, i8* %39
br label %57
40: ; preds = %21
br i1 %29, label %41, label %47
41: ; preds = %40
%42 = load i8, i8* %26
%43 = tail call i64 @is_num(i8 signext %42)
%44 = icmp eq i64 %43, 0
br i1 %44, label %45, label %47
45: ; preds = %41
%46 = load i8, i8* %26
switch i8 %46, label %57 [
i8 95, label %49
i8 32, label %49
]
47: ; preds = %40, %41
%48 = load i8, i8* %26
br label %49
49: ; preds = %47, %45, %45
%50 = phi i8 [ %48, %47 ], [ %46, %45 ], [ %46, %45 ]
%51 = icmp eq i8 %50, 32
%52 = add nsw i32 %12, 1
%53 = sext i32 %12 to i64
%54 = getelementptr inbounds i8, i8* %6, i64 %53
br i1 %51, label %55, label %56
55: ; preds = %49
store i8 95, i8* %54
br label %57
56: ; preds = %49
store i8 %50, i8* %54
br label %57
57: ; preds = %45, %19, %14, %56, %55, %31, %35
%58 = phi i32 [ 1, %19 ], [ 0, %14 ], [ %37, %35 ], [ %12, %31 ], [ %52, %55 ], [ %52, %56 ], [ %12, %45 ]
%59 = add nuw nsw i64 %11, 1
%60 = tail call i32 @strlen(i8* %0)
%61 = sext i32 %60 to i64
%62 = icmp slt i64 %59, %61
br i1 %62, label %10, label %63
63: ; preds = %57, %1
%64 = phi i32 [ 0, %1 ], [ %58, %57 ]
%65 = sext i32 %64 to i64
%66 = getelementptr inbounds i8, i8* %6, i64 %65
store i8 0, i8* %66
ret i8* %6
}