#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 action_add(int, char **, int, int, int, int, char *, char *);
scalar_t__ check_args(int, char **, int *, int *, int *);
int check_option_add(int, char **, int *, int *, int *, int *, int *);
scalar_t__ check_type_args(int, char *, char *, int);
int /*<<< orphan*/ free(char *);
scalar_t__ malloc(int);
int /*<<< orphan*/ printf(char *);
int cmd_add(int argc, char **argv, char *daz) {
  int f_date = -1, f_compound = -1, f_dz = -1, f_type = -1, f_input = -1;
  char *type_args = NULL;
  if (argc < 0) {
    printf("error no args for add\n");
    return -1;
  }
  argc = check_option_add(argc, argv, &f_date, &f_compound, &f_dz, &f_type,
                          &f_input);
  if (f_type >= 0) {
    type_args = (char *)malloc(sizeof(*type_args) * argc);
    char *tmp = argv[f_type];
    if (f_type < (argc - 1)) {
      int i;
      for (i = (f_type + 1); i < (argc); i++) {
        argv[i - 1] = argv[i];
      }
      f_date = (f_date > f_type ? f_date - 1 : f_date);
      f_compound = (f_compound > f_type ? f_compound - 1 : f_compound);
      f_input = (f_input > f_type ? f_input - 1 : f_input);
      f_dz = (f_dz > f_type ? f_dz - 1 : f_dz);
    }
    argc--;
    if (check_type_args(argc, type_args, tmp, f_dz) < 0) {
      printf("check_args_no_op failed\n");
      free(type_args);
      return -1;
    }
  } else if (argc > (f_dz >= 0 ? 1 : 0) + (f_input >= 0 ? 1 : 0)) {
    printf("check_type_args failed\n");
    return -1;
  }
  if (check_args(argc, argv, &f_dz, &f_compound, &f_date)) {
    printf("check path args failed\n");
    return -1;
  }
  if (action_add(argc, argv, f_compound, f_dz, f_date, f_input, type_args,
                 daz) == -1) {
    printf("error action add\n");
    return -1;
  }
  if (f_type >= 0) {
    free(type_args);
  }
  return 0;
}


x86 assembly (clang, -O0):
<cmd_add>:
push   %rbp
mov    %rsp,%rbp
sub    $0x70,%rsp
mov    %edi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
movl   $0xffffffff,-0x1c(%rbp)
movl   $0xffffffff,-0x20(%rbp)
movl   $0xffffffff,-0x24(%rbp)
movl   $0xffffffff,-0x28(%rbp)
movl   $0xffffffff,-0x2c(%rbp)
movq   $0x0,-0x38(%rbp)
cmpl   $0x0,-0x8(%rbp)
jge    11d0 <cmd_add+0x60>
lea    0xe41(%rip),%rdi
call   1050 <printf@plt>
movl   $0xffffffff,-0x4(%rbp)
jmp    1443 <cmd_add+0x2d3>
mov    -0x8(%rbp),%edi
mov    -0x10(%rbp),%rsi
lea    -0x1c(%rbp),%rdx
lea    -0x20(%rbp),%rcx
lea    -0x24(%rbp),%r8
lea    -0x28(%rbp),%r9
lea    -0x2c(%rbp),%rax
mov    %rax,(%rsp)
call   1060 <check_option_add@plt>
mov    %eax,-0x8(%rbp)
cmpl   $0x0,-0x28(%rbp)
jl     1359 <cmd_add+0x1e9>
movslq -0x8(%rbp),%rax
shl    $0x0,%rax
mov    %eax,%edi
call   1080 <malloc@plt>
mov    %rax,-0x38(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0x40(%rbp)
mov    -0x28(%rbp),%eax
mov    -0x8(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    130d <cmd_add+0x19d>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
mov    -0x44(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    1275 <cmd_add+0x105>
mov    -0x10(%rbp),%rax
movslq -0x44(%rbp),%rcx
mov    (%rax,%rcx,8),%rdx
mov    -0x10(%rbp),%rax
mov    -0x44(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    123e <cmd_add+0xce>
mov    -0x1c(%rbp),%eax
cmp    -0x28(%rbp),%eax
jle    128f <cmd_add+0x11f>
mov    -0x1c(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x48(%rbp)
jmp    1295 <cmd_add+0x125>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x48(%rbp)
mov    -0x48(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x28(%rbp),%eax
jle    12b5 <cmd_add+0x145>
mov    -0x20(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x4c(%rbp)
jmp    12bb <cmd_add+0x14b>
mov    -0x20(%rbp),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x4c(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x28(%rbp),%eax
jle    12db <cmd_add+0x16b>
mov    -0x2c(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x50(%rbp)
jmp    12e1 <cmd_add+0x171>
mov    -0x2c(%rbp),%eax
mov    %eax,-0x50(%rbp)
mov    -0x50(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x28(%rbp),%eax
jle    1301 <cmd_add+0x191>
mov    -0x24(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x54(%rbp)
jmp    1307 <cmd_add+0x197>
mov    -0x24(%rbp),%eax
mov    %eax,-0x54(%rbp)
mov    -0x54(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x8(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x8(%rbp)
mov    -0x8(%rbp),%edi
mov    -0x38(%rbp),%rsi
mov    -0x40(%rbp),%rdx
mov    -0x24(%rbp),%ecx
call   1090 <check_type_args@plt>
cmp    $0x0,%rax
jge    1354 <cmd_add+0x1e4>
lea    0xcdd(%rip),%rdi
call   1050 <printf@plt>
mov    -0x38(%rbp),%rdi
call   1030 <free@plt>
movl   $0xffffffff,-0x4(%rbp)
jmp    1443 <cmd_add+0x2d3>
jmp    13a3 <cmd_add+0x233>
mov    -0x8(%rbp),%eax
mov    -0x24(%rbp),%esi
xor    %ecx,%ecx
mov    $0x1,%edx
cmp    $0x0,%esi
cmovge %edx,%ecx
mov    -0x2c(%rbp),%edi
xor    %edx,%edx
mov    $0x1,%esi
cmp    $0x0,%edi
cmovge %esi,%edx
add    %edx,%ecx
cmp    %ecx,%eax
jle    139e <cmd_add+0x22e>
lea    0xca3(%rip),%rdi
call   1050 <printf@plt>
movl   $0xffffffff,-0x4(%rbp)
jmp    1443 <cmd_add+0x2d3>
jmp    13a3 <cmd_add+0x233>
mov    -0x8(%rbp),%edi
mov    -0x10(%rbp),%rsi
lea    -0x24(%rbp),%rdx
lea    -0x20(%rbp),%rcx
lea    -0x1c(%rbp),%r8
call   1070 <check_args@plt>
cmp    $0x0,%rax
je     13dd <cmd_add+0x26d>
lea    0xc7c(%rip),%rdi
call   1050 <printf@plt>
movl   $0xffffffff,-0x4(%rbp)
jmp    1443 <cmd_add+0x2d3>
mov    -0x8(%rbp),%edi
mov    -0x10(%rbp),%rsi
mov    -0x20(%rbp),%edx
mov    -0x24(%rbp),%ecx
mov    -0x1c(%rbp),%r8d
mov    -0x2c(%rbp),%r9d
mov    -0x38(%rbp),%r10
mov    -0x18(%rbp),%rax
mov    %r10,(%rsp)
mov    %rax,0x8(%rsp)
call   1040 <action_add@plt>
cmp    $0xffffffff,%eax
jne    1429 <cmd_add+0x2b9>
lea    0xc48(%rip),%rdi
call   1050 <printf@plt>
movl   $0xffffffff,-0x4(%rbp)
jmp    1443 <cmd_add+0x2d3>
cmpl   $0x0,-0x28(%rbp)
jl     143c <cmd_add+0x2cc>
mov    -0x38(%rbp),%rdi
call   1030 <free@plt>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x70,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<cmd_add>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
movl   $0xffffffff,0x10(%rsp)
ff
movl   $0xffffffff,0xc(%rsp)
ff
movl   $0xffffffff,0x4(%rsp)
ff
movl   $0xffffffff,0x14(%rsp)
ff
movl   $0xffffffff,0x8(%rsp)
ff
test   %edi,%edi
js     12be <cmd_add+0x14e>
mov    %rdx,%rbp
mov    %rsi,%rbx
sub    $0x8,%rsp
lea    0x10(%rsp),%rax
lea    0x18(%rsp),%rdx
lea    0x14(%rsp),%rcx
lea    0xc(%rsp),%r8
lea    0x1c(%rsp),%r9
push   %rax
call   1060 <check_option_add@plt>
add    $0x10,%rsp
mov    %eax,%r13d
cmpl   $0x0,0x14(%rsp)
js     12ca <cmd_add+0x15a>
mov    %r13d,%edi
call   1080 <malloc@plt>
mov    %rax,%r15
mov    0x14(%rsp),%r14d
movslq %r14d,%rdi
mov    (%rbx,%rdi,8),%rdx
lea    -0x1(%r13),%r12d
cmp    %r12d,%edi
jge    12ef <cmd_add+0x17f>
mov    %rbp,0x20(%rsp)
lea    0x1(%r14),%ecx
cmp    %r13d,%ecx
jge    1414 <cmd_add+0x2a4>
lea    0x1(%rdi),%r8
lea    -0x2(%r13),%ecx
mov    %ecx,%r11d
sub    %r14d,%r11d
cmp    $0x3,%r11d
jb     1303 <cmd_add+0x193>
cmp    %r14d,%ecx
jl     1303 <cmd_add+0x193>
mov    %r8,0x18(%rsp)
add    $0x1,%r11
mov    %r11,%r9
and    $0xfffffffffffffffc,%r9
lea    -0x4(%r9),%rcx
mov    %rcx,%r10
shr    $0x2,%r10
add    $0x1,%r10
test   %rcx,%rcx
je     1308 <cmd_add+0x198>
mov    %r10,%rcx
and    $0xfffffffffffffffe,%rcx
lea    (%rbx,%rdi,8),%rsi
add    $0x38,%rsi
lea    0x4(%r14),%ebp
xor    %edi,%edi
nopl   (%rax)
lea    (%r14,%rdi,1),%r8d
movups -0x30(%rsi,%rdi,8),%xmm0
movups -0x20(%rsi,%rdi,8),%xmm1
movslq %r8d,%rax
movups %xmm0,(%rbx,%rax,8)
movups %xmm1,0x10(%rbx,%rax,8)
lea    0x0(%rbp,%rdi,1),%eax
movups -0x10(%rsi,%rdi,8),%xmm0
movups (%rsi,%rdi,8),%xmm1
cltq
movups %xmm0,(%rbx,%rax,8)
movups %xmm1,0x10(%rbx,%rax,8)
add    $0x8,%rdi
add    $0xfffffffffffffffe,%rcx
jne    1280 <cmd_add+0x110>
jmp    130a <cmd_add+0x19a>
lea    0xd92(%rip),%rdi
jmp    1497 <cmd_add+0x327>
mov    0x4(%rsp),%eax
not    %eax
shr    $0x1f,%eax
mov    0x8(%rsp),%ecx
not    %ecx
shr    $0x1f,%ecx
add    %eax,%ecx
cmp    %ecx,%r13d
jle    12f8 <cmd_add+0x188>
lea    0xd3e(%rip),%rdi
jmp    1497 <cmd_add+0x327>
mov    0x4(%rsp),%ecx
jmp    1461 <cmd_add+0x2f1>
xor    %r15d,%r15d
mov    %r13d,%r12d
jmp    1471 <cmd_add+0x301>
mov    %r14d,%esi
jmp    1341 <cmd_add+0x1d1>
xor    %edi,%edi
test   $0x1,%r10b
mov    0x18(%rsp),%r8
je     1331 <cmd_add+0x1c1>
lea    (%r8,%rdi,1),%rax
add    %r14d,%edi
movups (%rbx,%rax,8),%xmm0
movups 0x10(%rbx,%rax,8),%xmm1
movslq %edi,%rax
movups %xmm0,(%rbx,%rax,8)
movups %xmm1,0x10(%rbx,%rax,8)
cmp    %r9,%r11
je     1414 <cmd_add+0x2a4>
add    %r9,%r8
lea    (%r14,%r9,1),%esi
mov    %r13d,%ebp
sub    %r8d,%ebp
mov    %r8d,%r9d
not    %r9d
add    %r13d,%r9d
and    $0x3,%ebp
je     138b <cmd_add+0x21b>
neg    %ebp
xor    %ecx,%ecx
mov    %r8,%rdi
nopl   0x0(%rax)
mov    (%rbx,%rdi,8),%rax
movslq %esi,%rsi
mov    %rax,(%rbx,%rsi,8)
mov    %edi,%esi
add    $0x1,%rdi
add    $0xffffffffffffffff,%rcx
cmp    %ecx,%ebp
jne    1360 <cmd_add+0x1f0>
not    %ecx
add    %r8d,%ecx
mov    %ecx,%esi
cmp    $0x3,%r9d
jae    1398 <cmd_add+0x228>
jmp    1414 <cmd_add+0x2a4>
mov    %r8,%rdi
cmp    $0x3,%r9d
jb     1414 <cmd_add+0x2a4>
movabs $0x1fffffffc,%r8
mov    %r13d,%ebp
mov    %rdi,%rcx
shl    $0x20,%rcx
movabs $0x100000000,%r9
movabs $0x400000000,%r10
mov    (%rbx,%rdi,8),%rax
movslq %esi,%rsi
mov    %rax,(%rbx,%rsi,8)
mov    0x8(%rbx,%rdi,8),%rax
mov    %rcx,%rsi
sar    $0x1d,%rsi
mov    %rax,(%rbx,%rsi,1)
mov    0x10(%rbx,%rdi,8),%rax
lea    (%rcx,%r9,1),%rsi
sar    $0x1d,%rsi
mov    %rax,(%rbx,%rsi,1)
mov    0x18(%rbx,%rdi,8),%rax
lea    (%r8,%rcx,1),%rsi
add    $0x4,%rsi
sar    $0x1d,%rsi
mov    %rax,(%rbx,%rsi,1)
mov    %edi,%esi
lea    0x4(%rdi),%rax
add    $0x3,%esi
add    %r10,%rcx
mov    %rax,%rdi
cmp    %eax,%ebp
jne    13c0 <cmd_add+0x250>
mov    0x10(%rsp),%eax
xor    %ecx,%ecx
cmp    %r14d,%eax
setg   %cl
sub    %ecx,%eax
mov    %eax,0x10(%rsp)
mov    0xc(%rsp),%eax
xor    %ecx,%ecx
cmp    %r14d,%eax
setg   %cl
sub    %ecx,%eax
mov    %eax,0xc(%rsp)
mov    0x8(%rsp),%eax
xor    %ecx,%ecx
cmp    %r14d,%eax
setg   %cl
sub    %ecx,%eax
mov    %eax,0x8(%rsp)
mov    0x4(%rsp),%ecx
xor    %eax,%eax
cmp    %r14d,%ecx
setg   %al
sub    %eax,%ecx
mov    %ecx,0x4(%rsp)
mov    0x20(%rsp),%rbp
mov    %r12d,%edi
mov    %r15,%rsi
call   1090 <check_type_args@plt>
test   %rax,%rax
js     14b2 <cmd_add+0x342>
lea    0x4(%rsp),%rdx
lea    0xc(%rsp),%rcx
lea    0x10(%rsp),%r8
mov    %r12d,%edi
mov    %rbx,%rsi
call   1070 <check_args@plt>
test   %rax,%rax
je     14c8 <cmd_add+0x358>
lea    0xb7a(%rip),%rdi
call   1050 <puts@plt>
mov    $0xffffffff,%ebx
mov    %ebx,%eax
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
lea    0xb86(%rip),%rdi
call   1050 <puts@plt>
mov    %r15,%rdi
call   1030 <free@plt>
jmp    149c <cmd_add+0x32c>
mov    0xc(%rsp),%edx
mov    0x4(%rsp),%ecx
mov    0x10(%rsp),%r8d
mov    0x8(%rsp),%r9d
mov    %r12d,%edi
mov    %rbx,%rsi
push   %rbp
push   %r15
call   1040 <action_add@plt>
add    $0x10,%rsp
cmp    $0xffffffff,%eax
je     1504 <cmd_add+0x394>
xor    %ebx,%ebx
cmpl   $0x0,0x14(%rsp)
js     14a1 <cmd_add+0x331>
mov    %r15,%rdi
call   1030 <free@plt>
jmp    14a1 <cmd_add+0x331>
lea    0xaf5(%rip),%rdi
jmp    1497 <cmd_add+0x327>

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

LLVM IR (-O2):
@str = [17 x i8] c"error action add\00"
@str.5 = [23 x i8] c"check path args failed\00"
@str.6 = [23 x i8] c"check_type_args failed\00"
@str.7 = [24 x i8] c"check_args_no_op failed\00"
@str.8 = [22 x i8] c"error no args for add\00"
define i32 @cmd_add(i32 %0, i8** %1, i8* %2) {
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = bitcast i32* %4 to i8*
store i32 -1, i32* %4
%10 = bitcast i32* %5 to i8*
store i32 -1, i32* %5
%11 = bitcast i32* %6 to i8*
store i32 -1, i32* %6
%12 = bitcast i32* %7 to i8*
store i32 -1, i32* %7
%13 = bitcast i32* %8 to i8*
store i32 -1, i32* %8
%14 = icmp slt i32 %0, 0
br i1 %14, label %15, label %17
15: ; preds = %3
%16 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @str.8, i64 0, i64 0))
br label %224
17: ; preds = %3
%18 = call i32 @check_option_add(i32 %0, i8** %1, i32* %4, i32* %5, i32* %6, i32* %7, i32* %8)
%19 = load i32, i32* %7
%20 = icmp sgt i32 %19, -1
br i1 %20, label %21, label %192
21: ; preds = %17
%22 = call i64 @malloc(i32 %18)
%23 = inttoptr i64 %22 to i8*
%24 = load i32, i32* %7
%25 = sext i32 %24 to i64
%26 = getelementptr inbounds i8*, i8** %1, i64 %25
%27 = load i8*, i8** %26
%28 = add nsw i32 %18, -1
%29 = icmp slt i32 %24, %28
br i1 %29, label %32, label %30
30: ; preds = %21
%31 = load i32, i32* %6
br label %185
32: ; preds = %21
%33 = add nsw i32 %24, 1
%34 = icmp slt i32 %33, %18
br i1 %34, label %35, label %168
35: ; preds = %32
%36 = add nsw i64 %25, 1
%37 = add i32 %18, -2
%38 = sub i32 %37, %24
%39 = zext i32 %38 to i64
%40 = add nuw nsw i64 %39, 1
%41 = icmp ult i32 %38, 3
%42 = add i32 %18, -2
%43 = icmp slt i32 %42, %24
%44 = select i1 %41, i1 true, i1 %43
br i1 %44, label %112, label %45
45: ; preds = %35
%46 = and i64 %40, 8589934588
%47 = add nsw i64 %36, %46
%48 = trunc i64 %46 to i32
%49 = add i32 %24, %48
%50 = add nsw i64 %46, -4
%51 = lshr exact i64 %50, 2
%52 = add nuw nsw i64 %51, 1
%53 = and i64 %52, 1
%54 = icmp eq i64 %50, 0
br i1 %54, label %92, label %55
55: ; preds = %45
%56 = and i64 %52, 9223372036854775806
br label %57
57: ; preds = %57, %55
%58 = phi i64 [ 0, %55 ], [ %89, %57 ]
%59 = phi i64 [ 0, %55 ], [ %90, %57 ]
%60 = add i64 %36, %58
%61 = trunc i64 %58 to i32
%62 = add i32 %24, %61
%63 = getelementptr inbounds i8*, i8** %1, i64 %60
%64 = bitcast i8** %63 to <2 x i8*>*
%65 = load <2 x i8*>, <2 x i8*>* %64
%66 = getelementptr inbounds i8*, i8** %63, i64 2
%67 = bitcast i8** %66 to <2 x i8*>*
%68 = load <2 x i8*>, <2 x i8*>* %67
%69 = sext i32 %62 to i64
%70 = getelementptr inbounds i8*, i8** %1, i64 %69
%71 = bitcast i8** %70 to <2 x i8*>*
store <2 x i8*> %65, <2 x i8*>* %71
%72 = getelementptr inbounds i8*, i8** %70, i64 2
%73 = bitcast i8** %72 to <2 x i8*>*
store <2 x i8*> %68, <2 x i8*>* %73
%74 = or i64 %58, 4
%75 = add i64 %36, %74
%76 = trunc i64 %74 to i32
%77 = add i32 %24, %76
%78 = getelementptr inbounds i8*, i8** %1, i64 %75
%79 = bitcast i8** %78 to <2 x i8*>*
%80 = load <2 x i8*>, <2 x i8*>* %79
%81 = getelementptr inbounds i8*, i8** %78, i64 2
%82 = bitcast i8** %81 to <2 x i8*>*
%83 = load <2 x i8*>, <2 x i8*>* %82
%84 = sext i32 %77 to i64
%85 = getelementptr inbounds i8*, i8** %1, i64 %84
%86 = bitcast i8** %85 to <2 x i8*>*
store <2 x i8*> %80, <2 x i8*>* %86
%87 = getelementptr inbounds i8*, i8** %85, i64 2
%88 = bitcast i8** %87 to <2 x i8*>*
store <2 x i8*> %83, <2 x i8*>* %88
%89 = add nuw i64 %58, 8
%90 = add i64 %59, 2
%91 = icmp eq i64 %90, %56
br i1 %91, label %92, label %57
92: ; preds = %57, %45
%93 = phi i64 [ 0, %45 ], [ %89, %57 ]
%94 = icmp eq i64 %53, 0
br i1 %94, label %110, label %95
95: ; preds = %92
%96 = add i64 %36, %93
%97 = trunc i64 %93 to i32
%98 = add i32 %24, %97
%99 = getelementptr inbounds i8*, i8** %1, i64 %96
%100 = bitcast i8** %99 to <2 x i8*>*
%101 = load <2 x i8*>, <2 x i8*>* %100
%102 = getelementptr inbounds i8*, i8** %99, i64 2
%103 = bitcast i8** %102 to <2 x i8*>*
%104 = load <2 x i8*>, <2 x i8*>* %103
%105 = sext i32 %98 to i64
%106 = getelementptr inbounds i8*, i8** %1, i64 %105
%107 = bitcast i8** %106 to <2 x i8*>*
store <2 x i8*> %101, <2 x i8*>* %107
%108 = getelementptr inbounds i8*, i8** %106, i64 2
%109 = bitcast i8** %108 to <2 x i8*>*
store <2 x i8*> %104, <2 x i8*>* %109
br label %110
110: ; preds = %92, %95
%111 = icmp eq i64 %40, %46
br i1 %111, label %168, label %112
112: ; preds = %35, %110
%113 = phi i64 [ %36, %35 ], [ %47, %110 ]
%114 = phi i32 [ %24, %35 ], [ %49, %110 ]
%115 = trunc i64 %113 to i32
%116 = sub i32 %18, %115
%117 = xor i32 %115, -1
%118 = add i32 %18, %117
%119 = and i32 %116, 3
%120 = icmp eq i32 %119, 0
br i1 %120, label %135, label %121
121: ; preds = %112, %121
%122 = phi i64 [ %129, %121 ], [ %113, %112 ]
%123 = phi i32 [ %130, %121 ], [ %114, %112 ]
%124 = phi i32 [ %131, %121 ], [ 0, %112 ]
%125 = getelementptr inbounds i8*, i8** %1, i64 %122
%126 = load i8*, i8** %125
%127 = sext i32 %123 to i64
%128 = getelementptr inbounds i8*, i8** %1, i64 %127
store i8* %126, i8** %128
%129 = add nsw i64 %122, 1
%130 = trunc i64 %122 to i32
%131 = add i32 %124, 1
%132 = icmp eq i32 %131, %119
br i1 %132, label %133, label %121
133: ; preds = %121
%134 = trunc i64 %122 to i32
br label %135
135: ; preds = %133, %112
%136 = phi i64 [ %113, %112 ], [ %129, %133 ]
%137 = phi i32 [ %114, %112 ], [ %134, %133 ]
%138 = icmp ult i32 %118, 3
br i1 %138, label %168, label %139
139: ; preds = %135, %139
%140 = phi i64 [ %164, %139 ], [ %136, %135 ]
%141 = phi i32 [ %165, %139 ], [ %137, %135 ]
%142 = getelementptr inbounds i8*, i8** %1, i64 %140
%143 = load i8*, i8** %142
%144 = sext i32 %141 to i64
%145 = getelementptr inbounds i8*, i8** %1, i64 %144
store i8* %143, i8** %145
%146 = add nsw i64 %140, 1
%147 = getelementptr inbounds i8*, i8** %1, i64 %146
%148 = load i8*, i8** %147
%149 = shl i64 %140, 32
%150 = ashr exact i64 %149, 32
%151 = getelementptr inbounds i8*, i8** %1, i64 %150
store i8* %148, i8** %151
%152 = add nsw i64 %140, 2
%153 = getelementptr inbounds i8*, i8** %1, i64 %152
%154 = load i8*, i8** %153
%155 = shl i64 %146, 32
%156 = ashr exact i64 %155, 32
%157 = getelementptr inbounds i8*, i8** %1, i64 %156
store i8* %154, i8** %157
%158 = add nsw i64 %140, 3
%159 = getelementptr inbounds i8*, i8** %1, i64 %158
%160 = load i8*, i8** %159
%161 = shl i64 %152, 32
%162 = ashr exact i64 %161, 32
%163 = getelementptr inbounds i8*, i8** %1, i64 %162
store i8* %160, i8** %163
%164 = add nsw i64 %140, 4
%165 = trunc i64 %158 to i32
%166 = trunc i64 %164 to i32
%167 = icmp eq i32 %18, %166
br i1 %167, label %168, label %139
168: ; preds = %135, %139, %110, %32
%169 = load i32, i32* %4
%170 = icmp sgt i32 %169, %24
%171 = sext i1 %170 to i32
%172 = add nsw i32 %169, %171
store i32 %172, i32* %4
%173 = load i32, i32* %5
%174 = icmp sgt i32 %173, %24
%175 = sext i1 %174 to i32
%176 = add nsw i32 %173, %175
store i32 %176, i32* %5
%177 = load i32, i32* %8
%178 = icmp sgt i32 %177, %24
%179 = sext i1 %178 to i32
%180 = add nsw i32 %177, %179
store i32 %180, i32* %8
%181 = load i32, i32* %6
%182 = icmp sgt i32 %181, %24
%183 = sext i1 %182 to i32
%184 = add nsw i32 %181, %183
store i32 %184, i32* %6
br label %185
185: ; preds = %30, %168
%186 = phi i32 [ %31, %30 ], [ %184, %168 ]
%187 = call i64 @check_type_args(i32 %28, i8* %23, i8* %27, i32 %186)
%188 = icmp slt i64 %187, 0
br i1 %188, label %189, label %203
189: ; preds = %185
%190 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([24 x i8], [24 x i8]* @str.7, i64 0, i64 0))
%191 = call i32 @free(i8* %23)
br label %224
192: ; preds = %17
%193 = load i32, i32* %6
%194 = xor i32 %193, -1
%195 = lshr i32 %194, 31
%196 = load i32, i32* %8
%197 = xor i32 %196, -1
%198 = lshr i32 %197, 31
%199 = add nuw nsw i32 %198, %195
%200 = icmp sgt i32 %18, %199
br i1 %200, label %201, label %203
201: ; preds = %192
%202 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([23 x i8], [23 x i8]* @str.6, i64 0, i64 0))
br label %224
203: ; preds = %185, %192
%204 = phi i32 [ %18, %192 ], [ %28, %185 ]
%205 = phi i8* [ null, %192 ], [ %23, %185 ]
%206 = call i64 @check_args(i32 %204, i8** %1, i32* %6, i32* %5, i32* %4)
%207 = icmp eq i64 %206, 0
br i1 %207, label %210, label %208
208: ; preds = %203
%209 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([23 x i8], [23 x i8]* @str.5, i64 0, i64 0))
br label %224
210: ; preds = %203
%211 = load i32, i32* %5
%212 = load i32, i32* %6
%213 = load i32, i32* %4
%214 = load i32, i32* %8
%215 = call i32 @action_add(i32 %204, i8** %1, i32 %211, i32 %212, i32 %213, i32 %214, i8* %205, i8* %2)
%216 = icmp eq i32 %215, -1
br i1 %216, label %217, label %219
217: ; preds = %210
%218 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([17 x i8], [17 x i8]* @str, i64 0, i64 0))
br label %224
219: ; preds = %210
%220 = load i32, i32* %7
%221 = icmp sgt i32 %220, -1
br i1 %221, label %222, label %224
222: ; preds = %219
%223 = call i32 @free(i8* %205)
br label %224
224: ; preds = %189, %219, %222, %217, %208, %201, %15
%225 = phi i32 [ -1, %15 ], [ -1, %208 ], [ -1, %217 ], [ -1, %189 ], [ -1, %201 ], [ 0, %222 ], [ 0, %219 ]
ret i32 %225
}