#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*/ fisica_regla1(char *, char *, char *, char *);
int /*<<< orphan*/ fisica_regla4(char *, char *, char *, char *);
int fisica_regla6(char *, int const);
int /*<<< orphan*/ fisica_regla7(char *, char *, char *);
int fisica_regla8(char *, int const);
int fisica_regla9(char *, int const);
int /*<<< orphan*/ free(char *);
int /*<<< orphan*/ memset(char *, int /*<<< orphan*/, int);
int /*<<< orphan*/ printf(char *, ...);
int /*<<< orphan*/ regla2(char const *, char const *, char const *, char *);
int /*<<< orphan*/ snprintf(char *, int, char *, char *, char *);
int strlen(char const *);
char *strndup(char const *, int);
char *fisica_clave_abreviada(char *clave, const char *nombre,
                             const char *paterno, const char *materno,
                             const char *year, const char *month,
                             const char *day, const int debug) {
  char result[5];
  char fecha[7];
  int bad_word = 0;
  int res = 0;
  char *name = NULL;
  char *lastname1 = NULL;
  char *lastname2 = NULL;
  memset(result, 0, 5);
  memset(fecha, 0, 7);
  name = strndup(nombre, strlen(nombre));
  res = 0;
  res = fisica_regla8(name, debug);
  if (debug && res) {
    printf("Regla 8 aplicada a \"%s\". resultado \"%s\".\n", nombre, name);
  }
  res = 0;
  res = fisica_regla6(name, debug);
  if (debug && res) {
    printf("Regla 6 aplicada al nombre \"%s\", resultado \"%s\".\n", nombre,
           name);
  }
  lastname1 = strndup(paterno, strlen(paterno));
  res = 0;
  res = fisica_regla8(lastname1, debug);
  if (debug && res) {
    printf("Regla 8 aplicada a \"%s\". resultado \"%s\".\n", paterno,
           lastname1);
  }
  if (materno != NULL) {
    lastname2 = strndup(materno, strlen(materno));
    res = 0;
    res = fisica_regla8(lastname2, debug);
    if (debug && res) {
      printf("Regla 8 aplicada a \"%s\". resultado \"%s\".\n", materno,
             lastname2);
    }
  }
  if (strlen(lastname1) <= 2) {
    if (lastname2 != NULL) {
      if (debug) {
        printf("Regla 4 aplicada. Apellido paterno (%s) compuesto de una o dos "
               "letras unicamente",
               lastname1);
      }
      fisica_regla4(lastname1, lastname2, name, result);
    } else {
      if (debug)
        printf(". Regla 7 aplicada. No hay segundo apellido");
      fisica_regla7(lastname1, name, result);
    }
    if (debug)
      printf(".\n");
  }
  if (lastname2 == NULL) {
    if (debug)
      printf("Regla 7 aplicada. No hay segundo apellido.\n");
    fisica_regla7(lastname1, name, result);
  }
  if (strlen(result) == 0) {
    if (debug)
      printf("Regla 1.\n");
    fisica_regla1(lastname1, lastname2, name, result);
  }
  if (lastname2)
    free(lastname2);
  free(lastname1);
  free(name);
  bad_word = fisica_regla9(result, debug);
  if (debug && bad_word) {
    printf("Regla 9 aplicada. La expresion alfabetica obtenida para formar la "
           "clave del RFC es una palabra inconveniente.\n");
  }
  if (debug)
    printf("Clave [%s].\n", result);
  regla2(year, month, day, fecha);
  if (debug)
    printf("Fecha [%s].\n", fecha);
  snprintf(clave, 11, "%s%s", result, fecha);
  return clave;
}


x86 assembly (clang, -O0):
<fisica_clave_abreviada>:
push   %rbp
mov    %rsp,%rbp
sub    $0x80,%rsp
mov    0x18(%rbp),%eax
mov    0x10(%rbp),%rax
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
mov    %r9,-0x30(%rbp)
movl   $0x0,-0x40(%rbp)
movl   $0x0,-0x44(%rbp)
movq   $0x0,-0x50(%rbp)
movq   $0x0,-0x58(%rbp)
movq   $0x0,-0x60(%rbp)
lea    -0x35(%rbp),%rdi
xor    %esi,%esi
mov    $0x5,%edx
call   10a0 <memset@plt>
lea    -0x3c(%rbp),%rdi
xor    %esi,%esi
mov    $0x7,%edx
call   10a0 <memset@plt>
mov    -0x10(%rbp),%rax
mov    %rax,-0x68(%rbp)
mov    -0x10(%rbp),%rdi
call   1070 <strlen@plt>
mov    -0x68(%rbp),%rdi
mov    %eax,%esi
call   10b0 <strndup@plt>
mov    %rax,-0x50(%rbp)
movl   $0x0,-0x44(%rbp)
mov    -0x50(%rbp),%rdi
mov    0x18(%rbp),%esi
call   10c0 <fisica_regla8@plt>
mov    %eax,-0x44(%rbp)
cmpl   $0x0,0x18(%rbp)
je     12a0 <fisica_clave_abreviada+0xd0>
cmpl   $0x0,-0x44(%rbp)
je     12a0 <fisica_clave_abreviada+0xd0>
mov    -0x10(%rbp),%rsi
mov    -0x50(%rbp),%rdx
lea    0xd67(%rip),%rdi
mov    $0x0,%al
call   1080 <printf@plt>
movl   $0x0,-0x44(%rbp)
mov    -0x50(%rbp),%rdi
mov    0x18(%rbp),%esi
call   10e0 <fisica_regla6@plt>
mov    %eax,-0x44(%rbp)
cmpl   $0x0,0x18(%rbp)
je     12e0 <fisica_clave_abreviada+0x110>
cmpl   $0x0,-0x44(%rbp)
je     12e0 <fisica_clave_abreviada+0x110>
mov    -0x10(%rbp),%rsi
mov    -0x50(%rbp),%rdx
lea    0xd51(%rip),%rdi
mov    $0x0,%al
call   1080 <printf@plt>
mov    -0x18(%rbp),%rax
mov    %rax,-0x70(%rbp)
mov    -0x18(%rbp),%rdi
call   1070 <strlen@plt>
mov    -0x70(%rbp),%rdi
mov    %eax,%esi
call   10b0 <strndup@plt>
mov    %rax,-0x58(%rbp)
movl   $0x0,-0x44(%rbp)
mov    -0x58(%rbp),%rdi
mov    0x18(%rbp),%esi
call   10c0 <fisica_regla8@plt>
mov    %eax,-0x44(%rbp)
cmpl   $0x0,0x18(%rbp)
je     1340 <fisica_clave_abreviada+0x170>
cmpl   $0x0,-0x44(%rbp)
je     1340 <fisica_clave_abreviada+0x170>
mov    -0x18(%rbp),%rsi
mov    -0x58(%rbp),%rdx
lea    0xcc7(%rip),%rdi
mov    $0x0,%al
call   1080 <printf@plt>
cmpq   $0x0,-0x20(%rbp)
je     13b0 <fisica_clave_abreviada+0x1e0>
mov    -0x20(%rbp),%rax
mov    %rax,-0x78(%rbp)
mov    -0x20(%rbp),%rdi
call   1070 <strlen@plt>
mov    -0x78(%rbp),%rdi
mov    %eax,%esi
call   10b0 <strndup@plt>
mov    %rax,-0x60(%rbp)
movl   $0x0,-0x44(%rbp)
mov    -0x60(%rbp),%rdi
mov    0x18(%rbp),%esi
call   10c0 <fisica_regla8@plt>
mov    %eax,-0x44(%rbp)
cmpl   $0x0,0x18(%rbp)
je     13ab <fisica_clave_abreviada+0x1db>
cmpl   $0x0,-0x44(%rbp)
je     13ab <fisica_clave_abreviada+0x1db>
mov    -0x20(%rbp),%rsi
mov    -0x60(%rbp),%rdx
lea    0xc5c(%rip),%rdi
mov    $0x0,%al
call   1080 <printf@plt>
jmp    13b0 <fisica_clave_abreviada+0x1e0>
mov    -0x58(%rbp),%rdi
call   1070 <strlen@plt>
cmp    $0x2,%eax
jg     1449 <fisica_clave_abreviada+0x279>
cmpq   $0x0,-0x60(%rbp)
je     1403 <fisica_clave_abreviada+0x233>
cmpl   $0x0,0x18(%rbp)
je     13e9 <fisica_clave_abreviada+0x219>
mov    -0x58(%rbp),%rsi
lea    0xc7a(%rip),%rdi
mov    $0x0,%al
call   1080 <printf@plt>
mov    -0x58(%rbp),%rdi
mov    -0x60(%rbp),%rsi
mov    -0x50(%rbp),%rdx
lea    -0x35(%rbp),%rcx
call   10d0 <fisica_regla4@plt>
jmp    142c <fisica_clave_abreviada+0x25c>
cmpl   $0x0,0x18(%rbp)
je     141b <fisica_clave_abreviada+0x24b>
lea    0xc99(%rip),%rdi
mov    $0x0,%al
call   1080 <printf@plt>
mov    -0x58(%rbp),%rdi
mov    -0x50(%rbp),%rsi
lea    -0x35(%rbp),%rdx
call   1050 <fisica_regla7@plt>
cmpl   $0x0,0x18(%rbp)
je     1444 <fisica_clave_abreviada+0x274>
lea    0xc1c(%rip),%rdi
mov    $0x0,%al
call   1080 <printf@plt>
jmp    1449 <fisica_clave_abreviada+0x279>
cmpq   $0x0,-0x60(%rbp)
jne    147d <fisica_clave_abreviada+0x2ad>
cmpl   $0x0,0x18(%rbp)
je     146c <fisica_clave_abreviada+0x29c>
lea    0xc74(%rip),%rdi
mov    $0x0,%al
call   1080 <printf@plt>
mov    -0x58(%rbp),%rdi
mov    -0x50(%rbp),%rsi
lea    -0x35(%rbp),%rdx
call   1050 <fisica_regla7@plt>
lea    -0x35(%rbp),%rdi
call   1070 <strlen@plt>
cmp    $0x0,%eax
jne    14bc <fisica_clave_abreviada+0x2ec>
cmpl   $0x0,0x18(%rbp)
je     14a7 <fisica_clave_abreviada+0x2d7>
lea    0xc65(%rip),%rdi
mov    $0x0,%al
call   1080 <printf@plt>
mov    -0x58(%rbp),%rdi
mov    -0x60(%rbp),%rsi
mov    -0x50(%rbp),%rdx
lea    -0x35(%rbp),%rcx
call   1030 <fisica_regla1@plt>
cmpq   $0x0,-0x60(%rbp)
je     14d0 <fisica_clave_abreviada+0x300>
mov    -0x60(%rbp),%rdi
call   1040 <free@plt>
mov    -0x58(%rbp),%rdi
call   1040 <free@plt>
mov    -0x50(%rbp),%rdi
call   1040 <free@plt>
lea    -0x35(%rbp),%rdi
mov    0x18(%rbp),%esi
call   10f0 <fisica_regla9@plt>
mov    %eax,-0x40(%rbp)
cmpl   $0x0,0x18(%rbp)
je     1513 <fisica_clave_abreviada+0x343>
cmpl   $0x0,-0x40(%rbp)
je     1513 <fisica_clave_abreviada+0x343>
lea    0xc03(%rip),%rdi
mov    $0x0,%al
call   1080 <printf@plt>
cmpl   $0x0,0x18(%rbp)
je     152f <fisica_clave_abreviada+0x35f>
lea    -0x35(%rbp),%rsi
lea    0xc56(%rip),%rdi
mov    $0x0,%al
call   1080 <printf@plt>
mov    -0x28(%rbp),%rdi
mov    -0x30(%rbp),%rsi
mov    0x10(%rbp),%rdx
lea    -0x3c(%rbp),%rcx
call   1060 <regla2@plt>
cmpl   $0x0,0x18(%rbp)
je     1560 <fisica_clave_abreviada+0x390>
lea    -0x3c(%rbp),%rsi
lea    0xc32(%rip),%rdi
mov    $0x0,%al
call   1080 <printf@plt>
mov    -0x8(%rbp),%rdi
lea    -0x35(%rbp),%rcx
lea    -0x3c(%rbp),%r8
mov    $0xb,%esi
lea    0xc20(%rip),%rdx
call   1090 <snprintf@plt>
mov    -0x8(%rbp),%rax
add    $0x80,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<fisica_clave_abreviada>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
mov    %r9,0x18(%rsp)
mov    %r8,0x10(%rsp)
mov    %rcx,%r14
mov    %rdx,%rbx
mov    %rsi,%rbp
mov    %rdi,0x20(%rsp)
mov    0x68(%rsp),%r13d
lea    0x4(%rsp),%rdi
xor    %esi,%esi
mov    $0x5,%edx
call   10b0 <memset@plt>
lea    0x9(%rsp),%rdi
xor    %esi,%esi
mov    $0x7,%edx
call   10b0 <memset@plt>
mov    %rbp,%rdi
call   1080 <strlen@plt>
mov    %rbp,%rdi
mov    %eax,%esi
call   10c0 <strndup@plt>
mov    %rax,%r12
mov    %rax,%rdi
mov    %r13d,%esi
call   10d0 <fisica_regla8@plt>
test   %r13d,%r13d
je     126a <fisica_clave_abreviada+0x8a>
test   %eax,%eax
je     126a <fisica_clave_abreviada+0x8a>
lea    0xda3(%rip),%rdi
mov    %rbp,%rsi
mov    %r12,%rdx
xor    %eax,%eax
call   1090 <printf@plt>
mov    %r12,%rdi
mov    %r13d,%esi
call   10f0 <fisica_regla6@plt>
test   %r13d,%r13d
je     1292 <fisica_clave_abreviada+0xb2>
test   %eax,%eax
je     1292 <fisica_clave_abreviada+0xb2>
lea    0xda5(%rip),%rdi
mov    %rbp,%rsi
mov    %r12,%rdx
xor    %eax,%eax
call   1090 <printf@plt>
mov    %rbx,%rdi
call   1080 <strlen@plt>
mov    %rbx,%rdi
mov    %eax,%esi
call   10c0 <strndup@plt>
mov    %rax,%rbp
mov    %rax,%rdi
mov    %r13d,%esi
call   10d0 <fisica_regla8@plt>
test   %r13d,%r13d
je     12cf <fisica_clave_abreviada+0xef>
test   %eax,%eax
je     12cf <fisica_clave_abreviada+0xef>
lea    0xd3e(%rip),%rdi
mov    %rbx,%rsi
mov    %rbp,%rdx
xor    %eax,%eax
call   1090 <printf@plt>
test   %r14,%r14
je     1353 <fisica_clave_abreviada+0x173>
mov    %r14,%rdi
call   1080 <strlen@plt>
mov    %r14,%rdi
mov    %eax,%esi
call   10c0 <strndup@plt>
mov    %rax,%r15
mov    %rax,%rdi
mov    %r13d,%esi
call   10d0 <fisica_regla8@plt>
test   %r13d,%r13d
je     1311 <fisica_clave_abreviada+0x131>
test   %eax,%eax
je     1311 <fisica_clave_abreviada+0x131>
lea    0xcfc(%rip),%rdi
mov    %r14,%rsi
mov    %r15,%rdx
xor    %eax,%eax
call   1090 <printf@plt>
mov    %rbp,%rdi
call   1080 <strlen@plt>
cmp    $0x3,%eax
jge    1397 <fisica_clave_abreviada+0x1b7>
test   %r15,%r15
je     1360 <fisica_clave_abreviada+0x180>
test   %r13d,%r13d
je     1339 <fisica_clave_abreviada+0x159>
lea    0xd2d(%rip),%rdi
mov    %rbp,%rsi
xor    %eax,%eax
call   1090 <printf@plt>
lea    0x4(%rsp),%rcx
mov    %rbp,%rdi
mov    %r15,%rsi
mov    %r12,%rdx
call   10e0 <fisica_regla4@plt>
test   %r13d,%r13d
jne    138b <fisica_clave_abreviada+0x1ab>
jmp    1397 <fisica_clave_abreviada+0x1b7>
mov    %rbp,%rdi
call   1080 <strlen@plt>
cmp    $0x3,%eax
jge    13a0 <fisica_clave_abreviada+0x1c0>
test   %r13d,%r13d
je     1373 <fisica_clave_abreviada+0x193>
lea    0xd41(%rip),%rdi
xor    %eax,%eax
call   1090 <printf@plt>
lea    0x4(%rsp),%rdx
mov    %rbp,%rdi
mov    %r12,%rsi
call   1050 <fisica_regla7@plt>
xor    %r15d,%r15d
test   %r13d,%r13d
je     1397 <fisica_clave_abreviada+0x1b7>
lea    0xddb(%rip),%rdi
call   1060 <puts@plt>
test   %r15,%r15
je     13a0 <fisica_clave_abreviada+0x1c0>
xor    %ebx,%ebx
jmp    13c6 <fisica_clave_abreviada+0x1e6>
test   %r13d,%r13d
je     13b1 <fisica_clave_abreviada+0x1d1>
lea    0xdc3(%rip),%rdi
call   1060 <puts@plt>
lea    0x4(%rsp),%rdx
mov    %rbp,%rdi
mov    %r12,%rsi
call   1050 <fisica_regla7@plt>
mov    $0x1,%bl
xor    %r15d,%r15d
lea    0x4(%rsp),%rdi
call   1080 <strlen@plt>
test   %eax,%eax
je     1460 <fisica_clave_abreviada+0x280>
test   %bl,%bl
jne    13e4 <fisica_clave_abreviada+0x204>
mov    %r15,%rdi
call   1040 <free@plt>
mov    %rbp,%rdi
call   1040 <free@plt>
mov    %r12,%rdi
call   1040 <free@plt>
lea    0x4(%rsp),%rdi
mov    %r13d,%esi
call   1100 <fisica_regla9@plt>
test   %r13d,%r13d
je     1416 <fisica_clave_abreviada+0x236>
test   %eax,%eax
je     1416 <fisica_clave_abreviada+0x236>
lea    0xce7(%rip),%rdi
call   1060 <puts@plt>
mov    0x60(%rsp),%rbx
test   %r13d,%r13d
je     1491 <fisica_clave_abreviada+0x2b1>
lea    0xcb2(%rip),%rdi
lea    0x4(%rsp),%rsi
xor    %eax,%eax
call   1090 <printf@plt>
lea    0x9(%rsp),%rbp
mov    0x10(%rsp),%rdi
mov    0x18(%rsp),%rsi
mov    %rbx,%rdx
mov    %rbp,%rcx
call   1070 <regla2@plt>
lea    0xc92(%rip),%rdi
mov    %rbp,%rsi
xor    %eax,%eax
call   1090 <printf@plt>
jmp    14a8 <fisica_clave_abreviada+0x2c8>
test   %r13d,%r13d
je     1471 <fisica_clave_abreviada+0x291>
lea    0xcfa(%rip),%rdi
call   1060 <puts@plt>
lea    0x4(%rsp),%rcx
mov    %rbp,%rdi
mov    %r15,%rsi
mov    %r12,%rdx
call   1030 <fisica_regla1@plt>
test   %bl,%bl
je     13dc <fisica_clave_abreviada+0x1fc>
jmp    13e4 <fisica_clave_abreviada+0x204>
lea    0x9(%rsp),%rcx
mov    0x10(%rsp),%rdi
mov    0x18(%rsp),%rsi
mov    %rbx,%rdx
call   1070 <regla2@plt>
mov    0x20(%rsp),%rbx
lea    0xc3f(%rip),%rdx
lea    0x4(%rsp),%rcx
lea    0x9(%rsp),%r8
mov    %rbx,%rdi
mov    $0xb,%esi
call   10a0 <snprintf@plt>
mov    %rbx,%rax
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [42 x i8] c"Regla 8 aplicada a \22%s\22. resultado \22%s\22.\0A\00"
@.str.1 = [50 x i8] c"Regla 6 aplicada al nombre \22%s\22, resultado \22%s\22.\0A\00"
@.str.2 = [81 x i8] c"Regla 4 aplicada. Apellido paterno (%s) compuesto de una o dos letras unicamente\00"
@.str.3 = [44 x i8] c". Regla 7 aplicada. No hay segundo apellido\00"
@.str.4 = [3 x i8] c".\0A\00"
@.str.5 = [44 x i8] c"Regla 7 aplicada. No hay segundo apellido.\0A\00"
@.str.6 = [10 x i8] c"Regla 1.\0A\00"
@.str.7 = [111 x i8] c"Regla 9 aplicada. La expresion alfabetica obtenida para formar la clave del RFC es una palabra inconveniente.\0A\00"
@.str.8 = [13 x i8] c"Clave [%s].\0A\00"
@.str.9 = [13 x i8] c"Fecha [%s].\0A\00"
@.str.10 = [5 x i8] c"%s%s\00"
define i8* @fisica_clave_abreviada(i8* %0, i8* %1, i8* %2, i8* %3, i8* %4, i8* %5, i8* %6, i32 %7) {
%9 = alloca i8*
%10 = alloca i8*
%11 = alloca i8*
%12 = alloca i8*
%13 = alloca i8*
%14 = alloca i8*
%15 = alloca i8*
%16 = alloca i32
%17 = alloca [5 x i8]
%18 = alloca [7 x i8]
%19 = alloca i32
%20 = alloca i32
%21 = alloca i8*
%22 = alloca i8*
%23 = alloca i8*
store i8* %0, i8** %9
store i8* %1, i8** %10
store i8* %2, i8** %11
store i8* %3, i8** %12
store i8* %4, i8** %13
store i8* %5, i8** %14
store i8* %6, i8** %15
store i32 %7, i32* %16
store i32 0, i32* %19
store i32 0, i32* %20
store i8* null, i8** %21
store i8* null, i8** %22
store i8* null, i8** %23
%24 = getelementptr inbounds [5 x i8], [5 x i8]* %17, i64 0, i64 0
%25 = call i32 @memset(i8* %24, i32 0, i32 5)
%26 = getelementptr inbounds [7 x i8], [7 x i8]* %18, i64 0, i64 0
%27 = call i32 @memset(i8* %26, i32 0, i32 7)
%28 = load i8*, i8** %10
%29 = load i8*, i8** %10
%30 = call i32 @strlen(i8* %29)
%31 = call i8* @strndup(i8* %28, i32 %30)
store i8* %31, i8** %21
store i32 0, i32* %20
%32 = load i8*, i8** %21
%33 = load i32, i32* %16
%34 = call i32 @fisica_regla8(i8* %32, i32 %33)
store i32 %34, i32* %20
%35 = load i32, i32* %16
%36 = icmp ne i32 %35, 0
br i1 %36, label %37, label %44
37: ; preds = %8
%38 = load i32, i32* %20
%39 = icmp ne i32 %38, 0
br i1 %39, label %40, label %44
40: ; preds = %37
%41 = load i8*, i8** %10
%42 = load i8*, i8** %21
%43 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([42 x i8], [42 x i8]* @.str, i64 0, i64 0), i8* %41, i8* %42)
br label %44
44: ; preds = %40, %37, %8
store i32 0, i32* %20
%45 = load i8*, i8** %21
%46 = load i32, i32* %16
%47 = call i32 @fisica_regla6(i8* %45, i32 %46)
store i32 %47, i32* %20
%48 = load i32, i32* %16
%49 = icmp ne i32 %48, 0
br i1 %49, label %50, label %57
50: ; preds = %44
%51 = load i32, i32* %20
%52 = icmp ne i32 %51, 0
br i1 %52, label %53, label %57
53: ; preds = %50
%54 = load i8*, i8** %10
%55 = load i8*, i8** %21
%56 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([50 x i8], [50 x i8]* @.str.1, i64 0, i64 0), i8* %54, i8* %55)
br label %57
57: ; preds = %53, %50, %44
%58 = load i8*, i8** %11
%59 = load i8*, i8** %11
%60 = call i32 @strlen(i8* %59)
%61 = call i8* @strndup(i8* %58, i32 %60)
store i8* %61, i8** %22
store i32 0, i32* %20
%62 = load i8*, i8** %22
%63 = load i32, i32* %16
%64 = call i32 @fisica_regla8(i8* %62, i32 %63)
store i32 %64, i32* %20
%65 = load i32, i32* %16
%66 = icmp ne i32 %65, 0
br i1 %66, label %67, label %74
67: ; preds = %57
%68 = load i32, i32* %20
%69 = icmp ne i32 %68, 0
br i1 %69, label %70, label %74
70: ; preds = %67
%71 = load i8*, i8** %11
%72 = load i8*, i8** %22
%73 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([42 x i8], [42 x i8]* @.str, i64 0, i64 0), i8* %71, i8* %72)
br label %74
74: ; preds = %70, %67, %57
%75 = load i8*, i8** %12
%76 = icmp ne i8* %75, null
br i1 %76, label %77, label %95
77: ; preds = %74
%78 = load i8*, i8** %12
%79 = load i8*, i8** %12
%80 = call i32 @strlen(i8* %79)
%81 = call i8* @strndup(i8* %78, i32 %80)
store i8* %81, i8** %23
store i32 0, i32* %20
%82 = load i8*, i8** %23
%83 = load i32, i32* %16
%84 = call i32 @fisica_regla8(i8* %82, i32 %83)
store i32 %84, i32* %20
%85 = load i32, i32* %16
%86 = icmp ne i32 %85, 0
br i1 %86, label %87, label %94
87: ; preds = %77
%88 = load i32, i32* %20
%89 = icmp ne i32 %88, 0
br i1 %89, label %90, label %94
90: ; preds = %87
%91 = load i8*, i8** %12
%92 = load i8*, i8** %23
%93 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([42 x i8], [42 x i8]* @.str, i64 0, i64 0), i8* %91, i8* %92)
br label %94
94: ; preds = %90, %87, %77
br label %95
95: ; preds = %94, %74
%96 = load i8*, i8** %22
%97 = call i32 @strlen(i8* %96)
%98 = icmp sle i32 %97, 2
br i1 %98, label %99, label %130
99: ; preds = %95
%100 = load i8*, i8** %23
%101 = icmp ne i8* %100, null
br i1 %101, label %102, label %114
102: ; preds = %99
%103 = load i32, i32* %16
%104 = icmp ne i32 %103, 0
br i1 %104, label %105, label %108
105: ; preds = %102
%106 = load i8*, i8** %22
%107 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([81 x i8], [81 x i8]* @.str.2, i64 0, i64 0), i8* %106)
br label %108
108: ; preds = %105, %102
%109 = load i8*, i8** %22
%110 = load i8*, i8** %23
%111 = load i8*, i8** %21
%112 = getelementptr inbounds [5 x i8], [5 x i8]* %17, i64 0, i64 0
%113 = call i32 @fisica_regla4(i8* %109, i8* %110, i8* %111, i8* %112)
br label %124
114: ; preds = %99
%115 = load i32, i32* %16
%116 = icmp ne i32 %115, 0
br i1 %116, label %117, label %119
117: ; preds = %114
%118 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([44 x i8], [44 x i8]* @.str.3, i64 0, i64 0))
br label %119
119: ; preds = %117, %114
%120 = load i8*, i8** %22
%121 = load i8*, i8** %21
%122 = getelementptr inbounds [5 x i8], [5 x i8]* %17, i64 0, i64 0
%123 = call i32 @fisica_regla7(i8* %120, i8* %121, i8* %122)
br label %124
124: ; preds = %119, %108
%125 = load i32, i32* %16
%126 = icmp ne i32 %125, 0
br i1 %126, label %127, label %129
127: ; preds = %124
%128 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.4, i64 0, i64 0))
br label %129
129: ; preds = %127, %124
br label %130
130: ; preds = %129, %95
%131 = load i8*, i8** %23
%132 = icmp eq i8* %131, null
br i1 %132, label %133, label %143
133: ; preds = %130
%134 = load i32, i32* %16
%135 = icmp ne i32 %134, 0
br i1 %135, label %136, label %138
136: ; preds = %133
%137 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([44 x i8], [44 x i8]* @.str.5, i64 0, i64 0))
br label %138
138: ; preds = %136, %133
%139 = load i8*, i8** %22
%140 = load i8*, i8** %21
%141 = getelementptr inbounds [5 x i8], [5 x i8]* %17, i64 0, i64 0
%142 = call i32 @fisica_regla7(i8* %139, i8* %140, i8* %141)
br label %143
143: ; preds = %138, %130
%144 = getelementptr inbounds [5 x i8], [5 x i8]* %17, i64 0, i64 0
%145 = call i32 @strlen(i8* %144)
%146 = icmp eq i32 %145, 0
br i1 %146, label %147, label %158
147: ; preds = %143
%148 = load i32, i32* %16
%149 = icmp ne i32 %148, 0
br i1 %149, label %150, label %152
150: ; preds = %147
%151 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.6, i64 0, i64 0))
br label %152
152: ; preds = %150, %147
%153 = load i8*, i8** %22
%154 = load i8*, i8** %23
%155 = load i8*, i8** %21
%156 = getelementptr inbounds [5 x i8], [5 x i8]* %17, i64 0, i64 0
%157 = call i32 @fisica_regla1(i8* %153, i8* %154, i8* %155, i8* %156)
br label %158
158: ; preds = %152, %143
%159 = load i8*, i8** %23
%160 = icmp ne i8* %159, null
br i1 %160, label %161, label %164
161: ; preds = %158
%162 = load i8*, i8** %23
%163 = call i32 @free(i8* %162)
br label %164
164: ; preds = %161, %158
%165 = load i8*, i8** %22
%166 = call i32 @free(i8* %165)
%167 = load i8*, i8** %21
%168 = call i32 @free(i8* %167)
%169 = getelementptr inbounds [5 x i8], [5 x i8]* %17, i64 0, i64 0
%170 = load i32, i32* %16
%171 = call i32 @fisica_regla9(i8* %169, i32 %170)
store i32 %171, i32* %19
%172 = load i32, i32* %16
%173 = icmp ne i32 %172, 0
br i1 %173, label %174, label %179
174: ; preds = %164
%175 = load i32, i32* %19
%176 = icmp ne i32 %175, 0
br i1 %176, label %177, label %179
177: ; preds = %174
%178 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([111 x i8], [111 x i8]* @.str.7, i64 0, i64 0))
br label %179
179: ; preds = %177, %174, %164
%180 = load i32, i32* %16
%181 = icmp ne i32 %180, 0
br i1 %181, label %182, label %185
182: ; preds = %179
%183 = getelementptr inbounds [5 x i8], [5 x i8]* %17, i64 0, i64 0
%184 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.8, i64 0, i64 0), i8* %183)
br label %185
185: ; preds = %182, %179
%186 = load i8*, i8** %13
%187 = load i8*, i8** %14
%188 = load i8*, i8** %15
%189 = getelementptr inbounds [7 x i8], [7 x i8]* %18, i64 0, i64 0
%190 = call i32 @regla2(i8* %186, i8* %187, i8* %188, i8* %189)
%191 = load i32, i32* %16
%192 = icmp ne i32 %191, 0
br i1 %192, label %193, label %196
193: ; preds = %185
%194 = getelementptr inbounds [7 x i8], [7 x i8]* %18, i64 0, i64 0
%195 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.9, i64 0, i64 0), i8* %194)
br label %196
196: ; preds = %193, %185
%197 = load i8*, i8** %9
%198 = getelementptr inbounds [5 x i8], [5 x i8]* %17, i64 0, i64 0
%199 = getelementptr inbounds [7 x i8], [7 x i8]* %18, i64 0, i64 0
%200 = call i32 @snprintf(i8* %197, i32 11, i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.10, i64 0, i64 0), i8* %198, i8* %199)
%201 = load i8*, i8** %9
ret i8* %201
}

LLVM IR (-O2):
@.str = [42 x i8] c"Regla 8 aplicada a \22%s\22. resultado \22%s\22.\0A\00"
@.str.1 = [50 x i8] c"Regla 6 aplicada al nombre \22%s\22, resultado \22%s\22.\0A\00"
@.str.2 = [81 x i8] c"Regla 4 aplicada. Apellido paterno (%s) compuesto de una o dos letras unicamente\00"
@.str.3 = [44 x i8] c". Regla 7 aplicada. No hay segundo apellido\00"
@.str.8 = [13 x i8] c"Clave [%s].\0A\00"
@.str.9 = [13 x i8] c"Fecha [%s].\0A\00"
@.str.10 = [5 x i8] c"%s%s\00"
@str = [110 x i8] c"Regla 9 aplicada. La expresion alfabetica obtenida para formar la clave del RFC es una palabra inconveniente.\00"
@str.11 = [9 x i8] c"Regla 1.\00"
@str.12 = [43 x i8] c"Regla 7 aplicada. No hay segundo apellido.\00"
@str.13 = [2 x i8] c".\00"
define i8* @fisica_clave_abreviada(i8* returned %0, i8* %1, i8* %2, i8* %3, i8* %4, i8* %5, i8* %6, i32 %7) {
%9 = alloca [5 x i8]
%10 = alloca [7 x i8]
%11 = getelementptr inbounds [5 x i8], [5 x i8]* %9, i64 0, i64 0
%12 = getelementptr inbounds [7 x i8], [7 x i8]* %10, i64 0, i64 0
%13 = call i32 @memset(i8* %11, i32 0, i32 5)
%14 = call i32 @memset(i8* %12, i32 0, i32 7)
%15 = call i32 @strlen(i8* %1)
%16 = call i8* @strndup(i8* %1, i32 %15)
%17 = call i32 @fisica_regla8(i8* %16, i32 %7)
%18 = icmp ne i32 %7, 0
%19 = icmp ne i32 %17, 0
%20 = select i1 %18, i1 %19, i1 false
br i1 %20, label %21, label %23
21: ; preds = %8
%22 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([42 x i8], [42 x i8]* @.str, i64 0, i64 0), i8* %1, i8* %16)
br label %23
23: ; preds = %21, %8
%24 = call i32 @fisica_regla6(i8* %16, i32 %7)
%25 = icmp ne i32 %24, 0
%26 = select i1 %18, i1 %25, i1 false
br i1 %26, label %27, label %29
27: ; preds = %23
%28 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([50 x i8], [50 x i8]* @.str.1, i64 0, i64 0), i8* %1, i8* %16)
br label %29
29: ; preds = %27, %23
%30 = call i32 @strlen(i8* %2)
%31 = call i8* @strndup(i8* %2, i32 %30)
%32 = call i32 @fisica_regla8(i8* %31, i32 %7)
%33 = icmp ne i32 %32, 0
%34 = select i1 %18, i1 %33, i1 false
br i1 %34, label %35, label %37
35: ; preds = %29
%36 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([42 x i8], [42 x i8]* @.str, i64 0, i64 0), i8* %2, i8* %31)
br label %37
37: ; preds = %35, %29
%38 = icmp eq i8* %3, null
br i1 %38, label %50, label %39
39: ; preds = %37
%40 = call i32 @strlen(i8* %3)
%41 = call i8* @strndup(i8* %3, i32 %40)
%42 = call i32 @fisica_regla8(i8* %41, i32 %7)
%43 = icmp ne i32 %42, 0
%44 = select i1 %18, i1 %43, i1 false
br i1 %44, label %45, label %47
45: ; preds = %39
%46 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([42 x i8], [42 x i8]* @.str, i64 0, i64 0), i8* %3, i8* %41)
br label %47
47: ; preds = %39, %45
%48 = call i32 @strlen(i8* %31)
%49 = icmp slt i32 %48, 3
br i1 %49, label %53, label %69
50: ; preds = %37
%51 = call i32 @strlen(i8* %31)
%52 = icmp slt i32 %51, 3
br i1 %52, label %60, label %72
53: ; preds = %47
%54 = icmp eq i8* %41, null
br i1 %54, label %60, label %55
55: ; preds = %53
br i1 %18, label %56, label %58
56: ; preds = %55
%57 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([81 x i8], [81 x i8]* @.str.2, i64 0, i64 0), i8* %31)
br label %58
58: ; preds = %56, %55
%59 = call i32 @fisica_regla4(i8* %31, i8* %41, i8* %16, i8* %11)
br label %65
60: ; preds = %50, %53
br i1 %18, label %61, label %63
61: ; preds = %60
%62 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([44 x i8], [44 x i8]* @.str.3, i64 0, i64 0))
br label %63
63: ; preds = %61, %60
%64 = call i32 @fisica_regla7(i8* %31, i8* %16, i8* %11)
br label %65
65: ; preds = %63, %58
%66 = phi i8* [ null, %63 ], [ %41, %58 ]
br i1 %18, label %67, label %69
67: ; preds = %65
%68 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([2 x i8], [2 x i8]* @str.13, i64 0, i64 0))
br label %69
69: ; preds = %65, %67, %47
%70 = phi i8* [ %66, %65 ], [ %66, %67 ], [ %41, %47 ]
%71 = icmp eq i8* %70, null
br i1 %71, label %72, label %77
72: ; preds = %50, %69
br i1 %18, label %73, label %75
73: ; preds = %72
%74 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([43 x i8], [43 x i8]* @str.12, i64 0, i64 0))
br label %75
75: ; preds = %73, %72
%76 = call i32 @fisica_regla7(i8* %31, i8* %16, i8* %11)
br label %77
77: ; preds = %75, %69
%78 = phi i1 [ true, %75 ], [ false, %69 ]
%79 = phi i8* [ null, %75 ], [ %70, %69 ]
%80 = call i32 @strlen(i8* %11)
%81 = icmp eq i32 %80, 0
br i1 %81, label %82, label %87
82: ; preds = %77
br i1 %18, label %83, label %85
83: ; preds = %82
%84 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([9 x i8], [9 x i8]* @str.11, i64 0, i64 0))
br label %85
85: ; preds = %83, %82
%86 = call i32 @fisica_regla1(i8* %31, i8* %79, i8* %16, i8* %11)
br label %87
87: ; preds = %85, %77
br i1 %78, label %90, label %88
88: ; preds = %87
%89 = call i32 @free(i8* %79)
br label %90
90: ; preds = %88, %87
%91 = call i32 @free(i8* %31)
%92 = call i32 @free(i8* %16)
%93 = call i32 @fisica_regla9(i8* %11, i32 %7)
%94 = icmp ne i32 %93, 0
%95 = select i1 %18, i1 %94, i1 false
br i1 %95, label %96, label %98
96: ; preds = %90
%97 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([110 x i8], [110 x i8]* @str, i64 0, i64 0))
br label %98
98: ; preds = %96, %90
br i1 %18, label %99, label %103
99: ; preds = %98
%100 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([13 x i8], [13 x i8]* @.str.8, i64 0, i64 0), i8* %11)
%101 = call i32 @regla2(i8* %4, i8* %5, i8* %6, i8* %12)
%102 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([13 x i8], [13 x i8]* @.str.9, i64 0, i64 0), i8* %12)
br label %105
103: ; preds = %98
%104 = call i32 @regla2(i8* %4, i8* %5, i8* %6, i8* %12)
br label %105
105: ; preds = %103, %99
%106 = call i32 @snprintf(i8* %0, i32 11, i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.10, i64 0, i64 0), i8* %11, i8* %12)
ret i8* %0
}