#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 *);
int /*<<< orphan*/ memset(char *, int /*<<< orphan*/, size_t const);
int /*<<< orphan*/ printf(char *);
size_t strlen(char *);
char *strndup(char *, size_t const);
char *moral_regla3(char *palabra, const int verbose) {
  const size_t len = strlen(palabra);
  char *copy = NULL;
  if (len == 1)
    return palabra;
  if ((*palabra == 'C' && *(palabra + 1) == 'H') ||
      (*palabra == 'C' && *(palabra + 1) == 'h') ||
      (*palabra == 'c' && *(palabra + 1) == 'h') ||
      (*palabra == 'c' && *(palabra + 1) == 'H') ||
      (*palabra == 'L' && *(palabra + 1) == 'L') ||
      (*palabra == 'L' && *(palabra + 1) == 'l') ||
      (*palabra == 'l' && *(palabra + 1) == 'L') ||
      (*palabra == 'l' && *(palabra + 1) == 'l')) {
    if (verbose)
      printf("moral_regla3: Aplicando...");
    copy = strndup(palabra, len);
    memset(palabra, 0, len + 1);
    *palabra++ = *copy++;
    copy++;
    while (*copy)
      *palabra++ = *copy++;
    *palabra = 0;
    palabra -= (len - 1);
    copy -= len;
    free(copy);
    if (verbose)
      printf(" Ok!\n");
  }
  return palabra;
}


x86 assembly (clang, -O0):
<moral_regla3>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    -0x10(%rbp),%rdi
call   1040 <strlen@plt>
mov    %rax,-0x20(%rbp)
movq   $0x0,-0x28(%rbp)
cmpq   $0x1,-0x20(%rbp)
jne    118c <moral_regla3+0x3c>
mov    -0x10(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    138f <moral_regla3+0x23f>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x43,%eax
jne    11ad <moral_regla3+0x5d>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x48,%eax
je     1294 <moral_regla3+0x144>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x43,%eax
jne    11ce <moral_regla3+0x7e>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x68,%eax
je     1294 <moral_regla3+0x144>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x63,%eax
jne    11ef <moral_regla3+0x9f>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x68,%eax
je     1294 <moral_regla3+0x144>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x63,%eax
jne    1210 <moral_regla3+0xc0>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x48,%eax
je     1294 <moral_regla3+0x144>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x4c,%eax
jne    1231 <moral_regla3+0xe1>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x4c,%eax
je     1294 <moral_regla3+0x144>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x4c,%eax
jne    1252 <moral_regla3+0x102>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x6c,%eax
je     1294 <moral_regla3+0x144>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x6c,%eax
jne    1273 <moral_regla3+0x123>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x4c,%eax
je     1294 <moral_regla3+0x144>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x6c,%eax
jne    1387 <moral_regla3+0x237>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x6c,%eax
jne    1387 <moral_regla3+0x237>
cmpl   $0x0,-0x14(%rbp)
je     12aa <moral_regla3+0x15a>
lea    0xd5b(%rip),%rdi
call   1050 <printf@plt>
mov    -0x10(%rbp),%rdi
mov    -0x20(%rbp),%rsi
call   1070 <strndup@plt>
mov    %rax,-0x28(%rbp)
mov    -0x10(%rbp),%rdi
mov    -0x20(%rbp),%rdx
add    $0x1,%rdx
xor    %esi,%esi
call   1060 <memset@plt>
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x28(%rbp)
mov    (%rax),%cl
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
cmpb   $0x0,(%rax)
je     1330 <moral_regla3+0x1e0>
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x28(%rbp)
mov    (%rax),%cl
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
jmp    12fc <moral_regla3+0x1ac>
mov    -0x10(%rbp),%rax
movb   $0x0,(%rax)
mov    -0x20(%rbp),%rdx
sub    $0x1,%rdx
mov    -0x10(%rbp),%rax
xor    %ecx,%ecx
sub    %rdx,%rcx
add    %rcx,%rax
mov    %rax,-0x10(%rbp)
mov    -0x20(%rbp),%rdx
mov    -0x28(%rbp),%rax
xor    %ecx,%ecx
sub    %rdx,%rcx
add    %rcx,%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rdi
call   1030 <free@plt>
cmpl   $0x0,-0x14(%rbp)
je     1382 <moral_regla3+0x232>
lea    0xc9e(%rip),%rdi
call   1050 <printf@plt>
jmp    1387 <moral_regla3+0x237>
mov    -0x10(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<moral_regla3>:
push   %rbp
push   %r15
push   %r14
push   %rbx
push   %rax
mov    %esi,%r14d
mov    %rdi,%rbx
call   1050 <strlen@plt>
cmp    $0x1,%rax
je     1238 <moral_regla3+0xd8>
mov    %rax,%r15
mov    (%rbx),%al
cmp    $0x62,%al
jg     1192 <moral_regla3+0x32>
cmp    $0x43,%al
je     11ac <moral_regla3+0x4c>
cmp    $0x4c,%al
je     119e <moral_regla3+0x3e>
jmp    1238 <moral_regla3+0xd8>
cmp    $0x63,%al
je     11ac <moral_regla3+0x4c>
cmp    $0x6c,%al
jne    1238 <moral_regla3+0xd8>
mov    0x1(%rbx),%al
or     $0x20,%al
cmp    $0x6c,%al
je     11b9 <moral_regla3+0x59>
jmp    1238 <moral_regla3+0xd8>
mov    0x1(%rbx),%al
or     $0x20,%al
cmp    $0x68,%al
jne    1238 <moral_regla3+0xd8>
test   %r14d,%r14d
je     11ca <moral_regla3+0x6a>
lea    0xe3b(%rip),%rdi
call   1060 <printf@plt>
mov    %rbx,%rdi
mov    %r15,%rsi
call   1080 <strndup@plt>
mov    %rax,%rbp
lea    0x1(%r15),%rdx
mov    %rbx,%rdi
xor    %esi,%esi
call   1070 <memset@plt>
mov    0x0(%rbp),%al
mov    %al,(%rbx)
add    $0x1,%rbx
mov    0x2(%rbp),%al
add    $0x2,%rbp
test   %al,%al
je     1212 <moral_regla3+0xb2>
nopw   0x0(%rax,%rax,1)
mov    %al,(%rbx)
add    $0x1,%rbx
movzbl 0x1(%rbp),%eax
add    $0x1,%rbp
test   %al,%al
jne    1200 <moral_regla3+0xa0>
movb   $0x0,(%rbx)
sub    %r15,%rbx
add    $0x1,%rbx
sub    %r15,%rbp
mov    %rbp,%rdi
call   1030 <free@plt>
test   %r14d,%r14d
je     1238 <moral_regla3+0xd8>
lea    0xde8(%rip),%rdi
call   1040 <puts@plt>
mov    %rbx,%rax
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
@.str = [27 x i8] c"moral_regla3: Aplicando...\00"
@str = [5 x i8] c" Ok!\00"
define i8* @moral_regla3(i8* %0, i32 %1) {
%3 = tail call i64 @strlen(i8* dereferenceable(1) %0)
%4 = icmp eq i64 %3, 1
br i1 %4, label %50, label %5
5: ; preds = %2
%6 = load i8, i8* %0
switch i8 %6, label %50 [
i8 67, label %7
i8 99, label %10
i8 76, label %13
i8 108, label %16
]
7: ; preds = %5
%8 = getelementptr inbounds i8, i8* %0, i64 1
%9 = load i8, i8* %8
switch i8 %9, label %50 [
i8 72, label %19
i8 104, label %19
]
10: ; preds = %5
%11 = getelementptr inbounds i8, i8* %0, i64 1
%12 = load i8, i8* %11
switch i8 %12, label %50 [
i8 104, label %19
i8 72, label %19
]
13: ; preds = %5
%14 = getelementptr inbounds i8, i8* %0, i64 1
%15 = load i8, i8* %14
switch i8 %15, label %50 [
i8 76, label %19
i8 108, label %19
]
16: ; preds = %5
%17 = getelementptr inbounds i8, i8* %0, i64 1
%18 = load i8, i8* %17
switch i8 %18, label %50 [
i8 76, label %19
i8 108, label %19
]
19: ; preds = %16, %16, %13, %13, %10, %10, %7, %7
%20 = icmp eq i32 %1, 0
br i1 %20, label %23, label %21
21: ; preds = %19
%22 = tail call i32 @printf(i8* dereferenceable(1) getelementptr inbounds ([27 x i8], [27 x i8]* @.str, i64 0, i64 0))
br label %23
23: ; preds = %21, %19
%24 = tail call i8* @strndup(i8* %0, i64 %3)
%25 = add i64 %3, 1
%26 = tail call i32 @memset(i8* %0, i32 0, i64 %25)
%27 = load i8, i8* %24
store i8 %27, i8* %0
%28 = getelementptr inbounds i8, i8* %24, i64 2
%29 = getelementptr inbounds i8, i8* %0, i64 1
%30 = load i8, i8* %28
%31 = icmp eq i8 %30, 0
br i1 %31, label %40, label %32
32: ; preds = %23, %32
%33 = phi i8 [ %38, %32 ], [ %30, %23 ]
%34 = phi i8* [ %37, %32 ], [ %29, %23 ]
%35 = phi i8* [ %36, %32 ], [ %28, %23 ]
%36 = getelementptr inbounds i8, i8* %35, i64 1
store i8 %33, i8* %34
%37 = getelementptr inbounds i8, i8* %34, i64 1
%38 = load i8, i8* %36
%39 = icmp eq i8 %38, 0
br i1 %39, label %40, label %32
40: ; preds = %32, %23
%41 = phi i8* [ %28, %23 ], [ %36, %32 ]
%42 = phi i8* [ %29, %23 ], [ %37, %32 ]
store i8 0, i8* %42
%43 = sub i64 1, %3
%44 = getelementptr inbounds i8, i8* %42, i64 %43
%45 = sub i64 0, %3
%46 = getelementptr inbounds i8, i8* %41, i64 %45
%47 = tail call i32 @free(i8* %46)
br i1 %20, label %50, label %48
48: ; preds = %40
%49 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([5 x i8], [5 x i8]* @str, i64 0, i64 0))
br label %50
50: ; preds = %16, %13, %10, %7, %5, %48, %40, %2
%51 = phi i8* [ %0, %2 ], [ %44, %48 ], [ %44, %40 ], [ %0, %5 ], [ %0, %7 ], [ %0, %10 ], [ %0, %13 ], [ %0, %16 ]
ret i8* %51
}