#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*/ printf(char *);
int strlen(char const *);
int Pascal2HungaryX(const char *src, char **dst) {
  if (src == NULL || dst == NULL) {
    printf("src == NULL || dst == NULL\n");
    return -1;
  }
  int index = 0;
  int tags = 0;
  int length = strlen(src);
  char *dstx = *dst;
  dstx[index] = src[index] + 32;
  index++;
  for (int i = 1; i < length; i++) {
    char c = src[i];
    if (c >= 'A' && c <= 'Z' && tags == 0) {
      dstx[index] = '_';
      tags++;
      index++;
      c = src[i] + 32;
    }
    dstx[index] = c;
    index++;
  }
  dstx[index] = '\0';
  return 0;
}


x86 assembly (clang, -O0):
<Pascal2HungaryX>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
cmpq   $0x0,-0x10(%rbp)
je     1146 <Pascal2HungaryX+0x26>
cmpq   $0x0,-0x18(%rbp)
jne    115e <Pascal2HungaryX+0x3e>
lea    0xeb3(%rip),%rdi
call   1040 <printf@plt>
movl   $0xffffffff,-0x4(%rbp)
jmp    1255 <Pascal2HungaryX+0x135>
movl   $0x0,-0x1c(%rbp)
movl   $0x0,-0x20(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x24(%rbp)
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x30(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
add    $0x20,%eax
mov    %al,%dl
mov    -0x30(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
movl   $0x1,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x24(%rbp),%eax
jge    1242 <Pascal2HungaryX+0x122>
mov    -0x10(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0x35(%rbp)
movsbl -0x35(%rbp),%eax
cmp    $0x41,%eax
jl     121d <Pascal2HungaryX+0xfd>
movsbl -0x35(%rbp),%eax
cmp    $0x5a,%eax
jg     121d <Pascal2HungaryX+0xfd>
cmpl   $0x0,-0x20(%rbp)
jne    121d <Pascal2HungaryX+0xfd>
mov    -0x30(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movb   $0x5f,(%rax,%rcx,1)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x34(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
add    $0x20,%eax
mov    %al,-0x35(%rbp)
mov    -0x35(%rbp),%dl
mov    -0x30(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    11af <Pascal2HungaryX+0x8f>
mov    -0x30(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<Pascal2HungaryX>:
push   %r14
push   %rbx
push   %rax
test   %rdi,%rdi
je     119b <Pascal2HungaryX+0x7b>
mov    %rsi,%r14
test   %rsi,%rsi
je     119b <Pascal2HungaryX+0x7b>
mov    %rdi,%rbx
call   1040 <strlen@plt>
mov    (%r14),%r9
mov    (%rbx),%dl
add    $0x20,%dl
mov    %dl,(%r9)
mov    $0x1,%edx
cmp    $0x2,%eax
jl     11b1 <Pascal2HungaryX+0x91>
mov    %eax,%r8d
xor    %edi,%edi
mov    $0x1,%edx
mov    $0x1,%esi
jmp    1173 <Pascal2HungaryX+0x53>
nop
movslq %edx,%rdx
mov    %al,(%r9,%rdx,1)
add    $0x1,%edx
add    $0x1,%rsi
cmp    %rsi,%r8
je     11ae <Pascal2HungaryX+0x8e>
movzbl (%rbx,%rsi,1),%eax
lea    -0x41(%rax),%ecx
cmp    $0x19,%cl
ja     1160 <Pascal2HungaryX+0x40>
test   %edi,%edi
jne    1160 <Pascal2HungaryX+0x40>
movslq %edx,%rdx
movb   $0x5f,(%r9,%rdx,1)
add    $0x1,%edx
movzbl (%rbx,%rsi,1),%eax
add    $0x20,%al
mov    $0x1,%edi
jmp    1160 <Pascal2HungaryX+0x40>
lea    0xe5e(%rip),%rdi
call   1030 <puts@plt>
mov    $0xffffffff,%eax
jmp    11b8 <Pascal2HungaryX+0x98>
movslq %edx,%rdx
movb   $0x0,(%r9,%rdx,1)
xor    %eax,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r14
ret

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

LLVM IR (-O2):
@str = [27 x i8] c"src == NULL || dst == NULL\00"
define i32 @Pascal2HungaryX(i8* %0, i8** %1) {
%3 = icmp eq i8* %0, null
%4 = icmp eq i8** %1, null
%5 = or i1 %3, %4
br i1 %5, label %6, label %8
6: ; preds = %2
%7 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([27 x i8], [27 x i8]* @str, i64 0, i64 0))
br label %46
8: ; preds = %2
%9 = tail call i32 @strlen(i8* %0)
%10 = load i8*, i8** %1
%11 = load i8, i8* %0
%12 = add i8 %11, 32
store i8 %12, i8* %10
%13 = icmp sgt i32 %9, 1
br i1 %13, label %14, label %18
14: ; preds = %8
%15 = zext i32 %9 to i64
br label %21
16: ; preds = %37
%17 = sext i32 %43 to i64
br label %18
18: ; preds = %16, %8
%19 = phi i64 [ 1, %8 ], [ %17, %16 ]
%20 = getelementptr inbounds i8, i8* %10, i64 %19
store i8 0, i8* %20
br label %46
21: ; preds = %14, %37
%22 = phi i64 [ 1, %14 ], [ %44, %37 ]
%23 = phi i32 [ 1, %14 ], [ %43, %37 ]
%24 = phi i32 [ 0, %14 ], [ %38, %37 ]
%25 = getelementptr inbounds i8, i8* %0, i64 %22
%26 = load i8, i8* %25
%27 = add i8 %26, -65
%28 = icmp ult i8 %27, 26
%29 = icmp eq i32 %24, 0
%30 = select i1 %28, i1 %29, i1 false
br i1 %30, label %31, label %37
31: ; preds = %21
%32 = sext i32 %23 to i64
%33 = getelementptr inbounds i8, i8* %10, i64 %32
store i8 95, i8* %33
%34 = add nsw i32 %23, 1
%35 = load i8, i8* %25
%36 = add i8 %35, 32
br label %37
37: ; preds = %31, %21
%38 = phi i32 [ 1, %31 ], [ %24, %21 ]
%39 = phi i32 [ %34, %31 ], [ %23, %21 ]
%40 = phi i8 [ %36, %31 ], [ %26, %21 ]
%41 = sext i32 %39 to i64
%42 = getelementptr inbounds i8, i8* %10, i64 %41
store i8 %40, i8* %42
%43 = add nsw i32 %39, 1
%44 = add nuw nsw i64 %22, 1
%45 = icmp eq i64 %44, %15
br i1 %45, label %16, label %21
46: ; preds = %18, %6
%47 = phi i32 [ -1, %6 ], [ 0, %18 ]
ret i32 %47
}