#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*/ free(char *);
scalar_t__ malloc(int);
int /*<<< orphan*/ printf(char *);
int strlen(char *);
void check_for_comma(char **ppasswrd) {
  char *new_pass_buf;
  char *pass;
  int i, j;
  int number_of_commas = 0;
  int len;
  if (ppasswrd == NULL)
    return;
  else
    (pass = *ppasswrd);
  len = strlen(pass);
  for (i = 0; i < len; i++) {
    if (pass[i] == ',')
      number_of_commas++;
  }
  if (number_of_commas == 0)
    return;
  if (number_of_commas > 64) {
    printf("\nInvalid password. Password contains too many commas.\n");
    return;
  }
  new_pass_buf = (char *)malloc(len + number_of_commas + 1);
  if (new_pass_buf == NULL)
    return;
  for (i = 0, j = 0; i < len; i++, j++) {
    new_pass_buf[j] = pass[i];
    if (pass[i] == ',') {
      j++;
      new_pass_buf[j] = pass[i];
    }
  }
  new_pass_buf[len + number_of_commas] = 0;
  free(*ppasswrd);
  *ppasswrd = new_pass_buf;
  return;
}


x86 assembly (clang, -O0):
<check_for_comma>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
movl   $0x0,-0x24(%rbp)
cmpq   $0x0,-0x8(%rbp)
jne    1163 <check_for_comma+0x23>
jmp    12b2 <check_for_comma+0x172>
mov    -0x8(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rdi
call   1040 <strlen@plt>
mov    %eax,-0x28(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x28(%rbp),%eax
jge    11be <check_for_comma+0x7e>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2c,%eax
jne    11ab <check_for_comma+0x6b>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    11b0 <check_for_comma+0x70>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1181 <check_for_comma+0x41>
cmpl   $0x0,-0x24(%rbp)
jne    11cd <check_for_comma+0x8d>
jmp    12b2 <check_for_comma+0x172>
cmpl   $0x40,-0x24(%rbp)
jle    11e8 <check_for_comma+0xa8>
lea    0xe22(%rip),%rdi
call   1050 <printf@plt>
jmp    12b2 <check_for_comma+0x172>
mov    -0x28(%rbp),%edi
add    -0x24(%rbp),%edi
add    $0x1,%edi
call   1060 <malloc@plt>
mov    %rax,-0x10(%rbp)
cmpq   $0x0,-0x10(%rbp)
jne    120a <check_for_comma+0xca>
jmp    12b2 <check_for_comma+0x172>
movl   $0x0,-0x1c(%rbp)
movl   $0x0,-0x20(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x28(%rbp),%eax
jge    128a <check_for_comma+0x14a>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2c,%eax
jne    126e <check_for_comma+0x12e>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
jmp    1273 <check_for_comma+0x133>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1218 <check_for_comma+0xd8>
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%ecx
add    -0x24(%rbp),%ecx
movslq %ecx,%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x8(%rbp),%rax
mov    (%rax),%rdi
call   1030 <free@plt>
mov    -0x10(%rbp),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,(%rax)
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<check_for_comma>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
test   %rdi,%rdi
je     136b <check_for_comma+0x22b>
mov    %rdi,%rbx
mov    (%rdi),%r14
mov    %r14,%rdi
call   1050 <strlen@plt>
test   %eax,%eax
jle    136b <check_for_comma+0x22b>
mov    %eax,%r15d
mov    %eax,%r13d
cmp    $0x8,%eax
jae    117e <check_for_comma+0x3e>
xor    %eax,%eax
xor    %ebp,%ebp
jmp    12a0 <check_for_comma+0x160>
mov    %r13d,%eax
and    $0xfffffff8,%eax
lea    -0x8(%rax),%rdx
mov    %rdx,%rcx
shr    $0x3,%rcx
add    $0x1,%rcx
test   %rdx,%rdx
je     133d <check_for_comma+0x1fd>
mov    %rcx,%rsi
and    $0xfffffffffffffffe,%rsi
pxor   %xmm0,%xmm0
xor    %edx,%edx
movdqa 0xe4f(%rip),%xmm2
movdqa 0xe57(%rip),%xmm3
pxor   %xmm1,%xmm1
nopl   (%rax)
movd   (%r14,%rdx,1),%xmm5
movd   0x4(%r14,%rdx,1),%xmm4
pcmpeqb %xmm2,%xmm5
punpcklbw %xmm5,%xmm5
punpcklwd %xmm5,%xmm5
pand   %xmm3,%xmm5
paddd  %xmm0,%xmm5
pcmpeqb %xmm2,%xmm4
punpcklbw %xmm4,%xmm4
punpcklwd %xmm4,%xmm4
pand   %xmm3,%xmm4
paddd  %xmm1,%xmm4
movd   0x8(%r14,%rdx,1),%xmm0
movd   0xc(%r14,%rdx,1),%xmm1
pcmpeqb %xmm2,%xmm0
punpcklbw %xmm0,%xmm0
punpcklwd %xmm0,%xmm0
pand   %xmm3,%xmm0
paddd  %xmm5,%xmm0
pcmpeqb %xmm2,%xmm1
punpcklbw %xmm1,%xmm1
punpcklwd %xmm1,%xmm1
pand   %xmm3,%xmm1
paddd  %xmm4,%xmm1
add    $0x10,%rdx
add    $0xfffffffffffffffe,%rsi
jne    11c0 <check_for_comma+0x80>
test   $0x1,%cl
je     127f <check_for_comma+0x13f>
movd   (%r14,%rdx,1),%xmm2
movd   0x4(%r14,%rdx,1),%xmm3
movdqa 0xdb1(%rip),%xmm4
pcmpeqb %xmm4,%xmm2
punpcklbw %xmm2,%xmm2
punpcklwd %xmm2,%xmm2
movdqa 0xdad(%rip),%xmm5
pand   %xmm5,%xmm2
paddd  %xmm2,%xmm0
pcmpeqb %xmm4,%xmm3
punpcklbw %xmm3,%xmm3
punpcklwd %xmm3,%xmm3
pand   %xmm5,%xmm3
paddd  %xmm3,%xmm1
paddd  %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
paddd  %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
paddd  %xmm1,%xmm0
movd   %xmm0,%ebp
cmp    %r13,%rax
je     12b5 <check_for_comma+0x175>
xchg   %ax,%ax
xor    %ecx,%ecx
cmpb   $0x2c,(%r14,%rax,1)
sete   %cl
add    %ecx,%ebp
add    $0x1,%rax
cmp    %rax,%r13
jne    12a0 <check_for_comma+0x160>
test   %ebp,%ebp
je     136b <check_for_comma+0x22b>
cmp    $0x41,%ebp
jb     12dc <check_for_comma+0x19c>
lea    0xd57(%rip),%rdi
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1040 <puts@plt>
lea    (%r15,%rbp,1),%edi
add    $0x1,%edi
call   1060 <malloc@plt>
test   %rax,%rax
je     136b <check_for_comma+0x22b>
mov    %rax,%r12
mov    %rbx,%rsi
add    %r15d,%ebp
test   %r15d,%r15d
jle    1355 <check_for_comma+0x215>
xor    %eax,%eax
xor    %ecx,%ecx
jmp    131c <check_for_comma+0x1dc>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
add    $0x1,%rax
add    $0x1,%ecx
cmp    %rax,%r13
je     1355 <check_for_comma+0x215>
movzbl (%r14,%rax,1),%ebx
movslq %ecx,%rdx
mov    %bl,(%r12,%rdx,1)
cmpb   $0x2c,(%r14,%rax,1)
jne    1310 <check_for_comma+0x1d0>
movb   $0x2c,0x1(%r12,%rdx,1)
add    $0x1,%rdx
mov    %edx,%ecx
jmp    1310 <check_for_comma+0x1d0>
pxor   %xmm0,%xmm0
xor    %edx,%edx
pxor   %xmm1,%xmm1
test   $0x1,%cl
jne    123a <check_for_comma+0xfa>
jmp    127f <check_for_comma+0x13f>
movslq %ebp,%rax
movb   $0x0,(%r12,%rax,1)
mov    %rsi,%rbx
mov    (%rsi),%rdi
call   1030 <free@plt>
mov    %r12,(%rbx)
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
@str = [54 x i8] c"\0AInvalid password. Password contains too many commas.\00"
define void @check_for_comma(i8** %0) {
%2 = icmp eq i8** %0, null
br i1 %2, label %130, label %3
3: ; preds = %1
%4 = load i8*, i8** %0
%5 = tail call i32 @strlen(i8* %4)
%6 = icmp sgt i32 %5, 0
br i1 %6, label %7, label %130
7: ; preds = %3
%8 = zext i32 %5 to i64
%9 = icmp ult i32 %5, 8
br i1 %9, label %78, label %10
10: ; preds = %7
%11 = and i64 %8, 4294967288
%12 = add nsw i64 %11, -8
%13 = lshr exact i64 %12, 3
%14 = add nuw nsw i64 %13, 1
%15 = and i64 %14, 1
%16 = icmp eq i64 %12, 0
br i1 %16, label %52, label %17
17: ; preds = %10
%18 = and i64 %14, 4611686018427387902
br label %19
19: ; preds = %19, %17
%20 = phi i64 [ 0, %17 ], [ %49, %19 ]
%21 = phi <4 x i32> [ zeroinitializer, %17 ], [ %47, %19 ]
%22 = phi <4 x i32> [ zeroinitializer, %17 ], [ %48, %19 ]
%23 = phi i64 [ 0, %17 ], [ %50, %19 ]
%24 = getelementptr inbounds i8, i8* %4, i64 %20
%25 = bitcast i8* %24 to <4 x i8>*
%26 = load <4 x i8>, <4 x i8>* %25
%27 = getelementptr inbounds i8, i8* %24, i64 4
%28 = bitcast i8* %27 to <4 x i8>*
%29 = load <4 x i8>, <4 x i8>* %28
%30 = icmp eq <4 x i8> %26, <i8 44, i8 44, i8 44, i8 44>
%31 = icmp eq <4 x i8> %29, <i8 44, i8 44, i8 44, i8 44>
%32 = zext <4 x i1> %30 to <4 x i32>
%33 = zext <4 x i1> %31 to <4 x i32>
%34 = add <4 x i32> %21, %32
%35 = add <4 x i32> %22, %33
%36 = or i64 %20, 8
%37 = getelementptr inbounds i8, i8* %4, i64 %36
%38 = bitcast i8* %37 to <4 x i8>*
%39 = load <4 x i8>, <4 x i8>* %38
%40 = getelementptr inbounds i8, i8* %37, i64 4
%41 = bitcast i8* %40 to <4 x i8>*
%42 = load <4 x i8>, <4 x i8>* %41
%43 = icmp eq <4 x i8> %39, <i8 44, i8 44, i8 44, i8 44>
%44 = icmp eq <4 x i8> %42, <i8 44, i8 44, i8 44, i8 44>
%45 = zext <4 x i1> %43 to <4 x i32>
%46 = zext <4 x i1> %44 to <4 x i32>
%47 = add <4 x i32> %34, %45
%48 = add <4 x i32> %35, %46
%49 = add nuw i64 %20, 16
%50 = add i64 %23, 2
%51 = icmp eq i64 %50, %18
br i1 %51, label %52, label %19
52: ; preds = %19, %10
%53 = phi <4 x i32> [ undef, %10 ], [ %47, %19 ]
%54 = phi <4 x i32> [ undef, %10 ], [ %48, %19 ]
%55 = phi i64 [ 0, %10 ], [ %49, %19 ]
%56 = phi <4 x i32> [ zeroinitializer, %10 ], [ %47, %19 ]
%57 = phi <4 x i32> [ zeroinitializer, %10 ], [ %48, %19 ]
%58 = icmp eq i64 %15, 0
br i1 %58, label %72, label %59
59: ; preds = %52
%60 = getelementptr inbounds i8, i8* %4, i64 %55
%61 = bitcast i8* %60 to <4 x i8>*
%62 = load <4 x i8>, <4 x i8>* %61
%63 = getelementptr inbounds i8, i8* %60, i64 4
%64 = bitcast i8* %63 to <4 x i8>*
%65 = load <4 x i8>, <4 x i8>* %64
%66 = icmp eq <4 x i8> %62, <i8 44, i8 44, i8 44, i8 44>
%67 = icmp eq <4 x i8> %65, <i8 44, i8 44, i8 44, i8 44>
%68 = zext <4 x i1> %66 to <4 x i32>
%69 = zext <4 x i1> %67 to <4 x i32>
%70 = add <4 x i32> %56, %68
%71 = add <4 x i32> %57, %69
br label %72
72: ; preds = %52, %59
%73 = phi <4 x i32> [ %53, %52 ], [ %70, %59 ]
%74 = phi <4 x i32> [ %54, %52 ], [ %71, %59 ]
%75 = add <4 x i32> %74, %73
%76 = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> %75)
%77 = icmp eq i64 %11, %8
br i1 %77, label %91, label %78
78: ; preds = %7, %72
%79 = phi i64 [ 0, %7 ], [ %11, %72 ]
%80 = phi i32 [ 0, %7 ], [ %76, %72 ]
br label %81
81: ; preds = %78, %81
%82 = phi i64 [ %89, %81 ], [ %79, %78 ]
%83 = phi i32 [ %88, %81 ], [ %80, %78 ]
%84 = getelementptr inbounds i8, i8* %4, i64 %82
%85 = load i8, i8* %84
%86 = icmp eq i8 %85, 44
%87 = zext i1 %86 to i32
%88 = add nuw nsw i32 %83, %87
%89 = add nuw nsw i64 %82, 1
%90 = icmp eq i64 %89, %8
br i1 %90, label %91, label %81
91: ; preds = %81, %72
%92 = phi i32 [ %76, %72 ], [ %88, %81 ]
%93 = icmp eq i32 %92, 0
br i1 %93, label %130, label %94
94: ; preds = %91
%95 = icmp ugt i32 %92, 64
br i1 %95, label %96, label %98
96: ; preds = %94
%97 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([54 x i8], [54 x i8]* @str, i64 0, i64 0))
br label %130
98: ; preds = %94
%99 = add nsw i32 %92, %5
%100 = add nsw i32 %99, 1
%101 = tail call i64 @malloc(i32 %100)
%102 = inttoptr i64 %101 to i8*
%103 = icmp eq i64 %101, 0
br i1 %103, label %130, label %104
104: ; preds = %98
br i1 %6, label %105, label %125
105: ; preds = %104
%106 = zext i32 %5 to i64
br label %107
107: ; preds = %105, %120
%108 = phi i64 [ 0, %105 ], [ %122, %120 ]
%109 = phi i32 [ 0, %105 ], [ %123, %120 ]
%110 = getelementptr inbounds i8, i8* %4, i64 %108
%111 = load i8, i8* %110
%112 = sext i32 %109 to i64
%113 = getelementptr inbounds i8, i8* %102, i64 %112
store i8 %111, i8* %113
%114 = load i8, i8* %110
%115 = icmp eq i8 %114, 44
br i1 %115, label %116, label %120
116: ; preds = %107
%117 = add nsw i32 %109, 1
%118 = sext i32 %117 to i64
%119 = getelementptr inbounds i8, i8* %102, i64 %118
store i8 44, i8* %119
br label %120
120: ; preds = %107, %116
%121 = phi i32 [ %117, %116 ], [ %109, %107 ]
%122 = add nuw nsw i64 %108, 1
%123 = add nsw i32 %121, 1
%124 = icmp eq i64 %122, %106
br i1 %124, label %125, label %107
125: ; preds = %120, %104
%126 = sext i32 %99 to i64
%127 = getelementptr inbounds i8, i8* %102, i64 %126
store i8 0, i8* %127
%128 = load i8*, i8** %0
%129 = tail call i32 @free(i8* %128)
store i8* %102, i8** %0
br label %130
130: ; preds = %3, %98, %91, %1, %125, %96
ret void
}