#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 */
void *malloc(int);
scalar_t__ strcmp(char *, char *);
int /*<<< orphan*/ strcpy(char *, char *);
int strlen(char *);
int sort(char **array1, int num1, char (*array2)[30], int num2, char ***myp3,
         int *num3) {
  if (array1 == NULL || array2 == NULL || myp3 == NULL || num3 == NULL) {
    return -1;
  }
  int n = num1 + num2;
  char **p = malloc(n * sizeof(char *));
  if (p == NULL) {
    return -1;
  }
  int i = 0;
  for (i = 0; i < num1; i++) {
    p[i] = malloc(strlen(array1[i]) + 1);
    if (p[i] != NULL) {
      strcpy(p[i], array1[i]);
    }
  }
  int j = 0;
  for (i = num1, j = 0; i < n; i++, j++) {
    p[i] = malloc(strlen(array2[j]) + 1);
    if (p[i] != NULL) {
      strcpy(p[i], array2[j]);
    }
  }
  char *tmp = NULL;
  for (i = 0; i < n; i++) {
    for (j = i + 1; j < n; j++) {
      if (strcmp(p[i], p[j]) > 0) {
        tmp = p[i];
        p[i] = p[j];
        p[j] = tmp;
      }
    }
  }
  *myp3 = p;
  *num3 = n;
  return 0;
}


x86 assembly (clang, -O0):
<sort>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %ecx,-0x24(%rbp)
mov    %r8,-0x30(%rbp)
mov    %r9,-0x38(%rbp)
cmpq   $0x0,-0x10(%rbp)
je     118a <sort+0x4a>
cmpq   $0x0,-0x20(%rbp)
je     118a <sort+0x4a>
cmpq   $0x0,-0x30(%rbp)
je     118a <sort+0x4a>
cmpq   $0x0,-0x38(%rbp)
jne    1196 <sort+0x56>
movl   $0xffffffff,-0x4(%rbp)
jmp    13bc <sort+0x27c>
mov    -0x14(%rbp),%eax
add    -0x24(%rbp),%eax
mov    %eax,-0x3c(%rbp)
movslq -0x3c(%rbp),%rax
shl    $0x3,%rax
mov    %eax,%edi
call   1060 <malloc@plt>
mov    %rax,-0x48(%rbp)
cmpq   $0x0,-0x48(%rbp)
jne    11c9 <sort+0x89>
movl   $0xffffffff,-0x4(%rbp)
jmp    13bc <sort+0x27c>
movl   $0x0,-0x4c(%rbp)
movl   $0x0,-0x4c(%rbp)
mov    -0x4c(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    1250 <sort+0x110>
mov    -0x10(%rbp),%rax
movslq -0x4c(%rbp),%rcx
mov    (%rax,%rcx,8),%rdi
call   1040 <strlen@plt>
mov    %eax,%edi
add    $0x1,%edi
call   1060 <malloc@plt>
mov    %rax,%rdx
mov    -0x48(%rbp),%rax
movslq -0x4c(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0x48(%rbp),%rax
movslq -0x4c(%rbp),%rcx
cmpq   $0x0,(%rax,%rcx,8)
je     123d <sort+0xfd>
mov    -0x48(%rbp),%rax
movslq -0x4c(%rbp),%rcx
mov    (%rax,%rcx,8),%rdi
mov    -0x10(%rbp),%rax
movslq -0x4c(%rbp),%rcx
mov    (%rax,%rcx,8),%rsi
call   1030 <strcpy@plt>
jmp    1242 <sort+0x102>
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
jmp    11d7 <sort+0x97>
movl   $0x0,-0x50(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x4c(%rbp)
movl   $0x0,-0x50(%rbp)
mov    -0x4c(%rbp),%eax
cmp    -0x3c(%rbp),%eax
jge    12ec <sort+0x1ac>
mov    -0x20(%rbp),%rdi
movslq -0x50(%rbp),%rax
imul   $0x1e,%rax,%rax
add    %rax,%rdi
call   1040 <strlen@plt>
mov    %eax,%edi
add    $0x1,%edi
call   1060 <malloc@plt>
mov    %rax,%rdx
mov    -0x48(%rbp),%rax
movslq -0x4c(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0x48(%rbp),%rax
movslq -0x4c(%rbp),%rcx
cmpq   $0x0,(%rax,%rcx,8)
je     12d0 <sort+0x190>
mov    -0x48(%rbp),%rax
movslq -0x4c(%rbp),%rcx
mov    (%rax,%rcx,8),%rdi
mov    -0x20(%rbp),%rsi
movslq -0x50(%rbp),%rax
imul   $0x1e,%rax,%rax
add    %rax,%rsi
call   1030 <strcpy@plt>
jmp    12d5 <sort+0x195>
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
mov    -0x50(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x50(%rbp)
jmp    1264 <sort+0x124>
movq   $0x0,-0x58(%rbp)
movl   $0x0,-0x4c(%rbp)
mov    -0x4c(%rbp),%eax
cmp    -0x3c(%rbp),%eax
jge    13a1 <sort+0x261>
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x50(%rbp)
mov    -0x50(%rbp),%eax
cmp    -0x3c(%rbp),%eax
jge    138e <sort+0x24e>
mov    -0x48(%rbp),%rax
movslq -0x4c(%rbp),%rcx
mov    (%rax,%rcx,8),%rdi
mov    -0x48(%rbp),%rax
movslq -0x50(%rbp),%rcx
mov    (%rax,%rcx,8),%rsi
call   1050 <strcmp@plt>
cmp    $0x0,%rax
jle    137b <sort+0x23b>
mov    -0x48(%rbp),%rax
movslq -0x4c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0x58(%rbp)
mov    -0x48(%rbp),%rax
movslq -0x50(%rbp),%rcx
mov    (%rax,%rcx,8),%rdx
mov    -0x48(%rbp),%rax
movslq -0x4c(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0x58(%rbp),%rdx
mov    -0x48(%rbp),%rax
movslq -0x50(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
jmp    1380 <sort+0x240>
mov    -0x50(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x50(%rbp)
jmp    1310 <sort+0x1d0>
jmp    1393 <sort+0x253>
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
jmp    12fb <sort+0x1bb>
mov    -0x48(%rbp),%rcx
mov    -0x30(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x3c(%rbp),%ecx
mov    -0x38(%rbp),%rax
mov    %ecx,(%rax)
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<sort>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
mov    $0xffffffff,%r15d
test   %rdi,%rdi
je     12e6 <sort+0x1a6>
mov    %rdx,%r12
test   %rdx,%rdx
je     12e6 <sort+0x1a6>
mov    %r8,%rbp
test   %r8,%r8
je     12e6 <sort+0x1a6>
mov    %r9,%rbx
test   %r9,%r9
je     12e6 <sort+0x1a6>
mov    %rdi,%r14
mov    %rcx,0x10(%rsp)
lea    (%rcx,%rsi,1),%eax
mov    %rax,(%rsp)
lea    0x0(,%rax,8),%edi
mov    %rsi,0x8(%rsp)
call   1060 <malloc@plt>
test   %rax,%rax
je     12e6 <sort+0x1a6>
mov    %rax,%r13
mov    %rbp,0x18(%rsp)
mov    %rbx,0x20(%rsp)
mov    0x8(%rsp),%rax
mov    %rax,%r15
test   %eax,%eax
jle    1202 <sort+0xc2>
mov    %r15d,%ebp
xor    %ebx,%ebx
jmp    11d9 <sort+0x99>
nopw   0x0(%rax,%rax,1)
add    $0x1,%rbx
cmp    %rbx,%rbp
je     1202 <sort+0xc2>
mov    (%r14,%rbx,8),%rdi
call   1040 <strlen@plt>
lea    0x1(%rax),%edi
call   1060 <malloc@plt>
mov    %rax,0x0(%r13,%rbx,8)
test   %rax,%rax
je     11d0 <sort+0x90>
mov    (%r14,%rbx,8),%rsi
mov    %rax,%rdi
call   1030 <strcpy@plt>
jmp    11d0 <sort+0x90>
cmpl   $0x0,0x10(%rsp)
jle    1254 <sort+0x114>
movslq %r15d,%rbx
movslq (%rsp),%rbp
jmp    122d <sort+0xed>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
add    $0x1,%rbx
add    $0x1e,%r12
cmp    %rbp,%rbx
jge    1254 <sort+0x114>
mov    %r12,%rdi
call   1040 <strlen@plt>
lea    0x1(%rax),%edi
call   1060 <malloc@plt>
mov    %rax,0x0(%r13,%rbx,8)
test   %rax,%rax
je     1220 <sort+0xe0>
mov    %rax,%rdi
mov    %r12,%rsi
call   1030 <strcpy@plt>
jmp    1220 <sort+0xe0>
cmpl   $0x0,(%rsp)
jle    12d0 <sort+0x190>
mov    (%rsp),%eax
mov    $0x1,%r15d
xor    %r14d,%r14d
mov    %rax,0x8(%rsp)
jmp    1283 <sort+0x143>
nopl   (%rax)
add    $0x1,%r15
mov    0x8(%rsp),%rax
mov    0x10(%rsp),%r14
cmp    %rax,%r14
je     12d0 <sort+0x190>
lea    0x1(%r14),%rcx
mov    %rcx,0x10(%rsp)
cmp    %rax,%rcx
jae    1270 <sort+0x130>
mov    %r15,%r12
jmp    12aa <sort+0x16a>
cs nopw 0x0(%rax,%rax,1)
add    $0x1,%r12
cmp    %r12d,(%rsp)
jle    1270 <sort+0x130>
mov    0x0(%r13,%r14,8),%rbp
mov    0x0(%r13,%r12,8),%rbx
mov    %rbp,%rdi
mov    %rbx,%rsi
call   1050 <strcmp@plt>
test   %rax,%rax
jle    12a0 <sort+0x160>
mov    %rbx,0x0(%r13,%r14,8)
mov    %rbp,0x0(%r13,%r12,8)
jmp    12a0 <sort+0x160>
mov    0x18(%rsp),%rax
mov    %r13,(%rax)
mov    0x20(%rsp),%rax
mov    (%rsp),%rcx
mov    %ecx,(%rax)
xor    %r15d,%r15d
mov    %r15d,%eax
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @sort(i8** %0, i32 %1, [30 x i8]* %2, i32 %3, i8*** %4, i32* %5) {
%7 = alloca i32
%8 = alloca i8**
%9 = alloca i32
%10 = alloca [30 x i8]*
%11 = alloca i32
%12 = alloca i8***
%13 = alloca i32*
%14 = alloca i32
%15 = alloca i8**
%16 = alloca i32
%17 = alloca i32
%18 = alloca i8*
store i8** %0, i8*** %8
store i32 %1, i32* %9
store [30 x i8]* %2, [30 x i8]** %10
store i32 %3, i32* %11
store i8*** %4, i8**** %12
store i32* %5, i32** %13
%19 = load i8**, i8*** %8
%20 = icmp eq i8** %19, null
br i1 %20, label %30, label %21
21: ; preds = %6
%22 = load [30 x i8]*, [30 x i8]** %10
%23 = icmp eq [30 x i8]* %22, null
br i1 %23, label %30, label %24
24: ; preds = %21
%25 = load i8***, i8**** %12
%26 = icmp eq i8*** %25, null
br i1 %26, label %30, label %27
27: ; preds = %24
%28 = load i32*, i32** %13
%29 = icmp eq i32* %28, null
br i1 %29, label %30, label %31
30: ; preds = %27, %24, %21, %6
store i32 -1, i32* %7
br label %185
31: ; preds = %27
%32 = load i32, i32* %9
%33 = load i32, i32* %11
%34 = add nsw i32 %32, %33
store i32 %34, i32* %14
%35 = load i32, i32* %14
%36 = sext i32 %35 to i64
%37 = mul i64 %36, 8
%38 = trunc i64 %37 to i32
%39 = call i8* @malloc(i32 %38)
%40 = bitcast i8* %39 to i8**
store i8** %40, i8*** %15
%41 = load i8**, i8*** %15
%42 = icmp eq i8** %41, null
br i1 %42, label %43, label %44
43: ; preds = %31
store i32 -1, i32* %7
br label %185
44: ; preds = %31
store i32 0, i32* %16
store i32 0, i32* %16
br label %45
45: ; preds = %81, %44
%46 = load i32, i32* %16
%47 = load i32, i32* %9
%48 = icmp slt i32 %46, %47
br i1 %48, label %49, label %84
49: ; preds = %45
%50 = load i8**, i8*** %8
%51 = load i32, i32* %16
%52 = sext i32 %51 to i64
%53 = getelementptr inbounds i8*, i8** %50, i64 %52
%54 = load i8*, i8** %53
%55 = call i32 @strlen(i8* %54)
%56 = add nsw i32 %55, 1
%57 = call i8* @malloc(i32 %56)
%58 = load i8**, i8*** %15
%59 = load i32, i32* %16
%60 = sext i32 %59 to i64
%61 = getelementptr inbounds i8*, i8** %58, i64 %60
store i8* %57, i8** %61
%62 = load i8**, i8*** %15
%63 = load i32, i32* %16
%64 = sext i32 %63 to i64
%65 = getelementptr inbounds i8*, i8** %62, i64 %64
%66 = load i8*, i8** %65
%67 = icmp ne i8* %66, null
br i1 %67, label %68, label %80
68: ; preds = %49
%69 = load i8**, i8*** %15
%70 = load i32, i32* %16
%71 = sext i32 %70 to i64
%72 = getelementptr inbounds i8*, i8** %69, i64 %71
%73 = load i8*, i8** %72
%74 = load i8**, i8*** %8
%75 = load i32, i32* %16
%76 = sext i32 %75 to i64
%77 = getelementptr inbounds i8*, i8** %74, i64 %76
%78 = load i8*, i8** %77
%79 = call i32 @strcpy(i8* %73, i8* %78)
br label %80
80: ; preds = %68, %49
br label %81
81: ; preds = %80
%82 = load i32, i32* %16
%83 = add nsw i32 %82, 1
store i32 %83, i32* %16
br label %45
84: ; preds = %45
store i32 0, i32* %17
%85 = load i32, i32* %9
store i32 %85, i32* %16
store i32 0, i32* %17
br label %86
86: ; preds = %122, %84
%87 = load i32, i32* %16
%88 = load i32, i32* %14
%89 = icmp slt i32 %87, %88
br i1 %89, label %90, label %127
90: ; preds = %86
%91 = load [30 x i8]*, [30 x i8]** %10
%92 = load i32, i32* %17
%93 = sext i32 %92 to i64
%94 = getelementptr inbounds [30 x i8], [30 x i8]* %91, i64 %93
%95 = getelementptr inbounds [30 x i8], [30 x i8]* %94, i64 0, i64 0
%96 = call i32 @strlen(i8* %95)
%97 = add nsw i32 %96, 1
%98 = call i8* @malloc(i32 %97)
%99 = load i8**, i8*** %15
%100 = load i32, i32* %16
%101 = sext i32 %100 to i64
%102 = getelementptr inbounds i8*, i8** %99, i64 %101
store i8* %98, i8** %102
%103 = load i8**, i8*** %15
%104 = load i32, i32* %16
%105 = sext i32 %104 to i64
%106 = getelementptr inbounds i8*, i8** %103, i64 %105
%107 = load i8*, i8** %106
%108 = icmp ne i8* %107, null
br i1 %108, label %109, label %121
109: ; preds = %90
%110 = load i8**, i8*** %15
%111 = load i32, i32* %16
%112 = sext i32 %111 to i64
%113 = getelementptr inbounds i8*, i8** %110, i64 %112
%114 = load i8*, i8** %113
%115 = load [30 x i8]*, [30 x i8]** %10
%116 = load i32, i32* %17
%117 = sext i32 %116 to i64
%118 = getelementptr inbounds [30 x i8], [30 x i8]* %115, i64 %117
%119 = getelementptr inbounds [30 x i8], [30 x i8]* %118, i64 0, i64 0
%120 = call i32 @strcpy(i8* %114, i8* %119)
br label %121
121: ; preds = %109, %90
br label %122
122: ; preds = %121
%123 = load i32, i32* %16
%124 = add nsw i32 %123, 1
store i32 %124, i32* %16
%125 = load i32, i32* %17
%126 = add nsw i32 %125, 1
store i32 %126, i32* %17
br label %86
127: ; preds = %86
store i8* null, i8** %18
store i32 0, i32* %16
br label %128
128: ; preds = %177, %127
%129 = load i32, i32* %16
%130 = load i32, i32* %14
%131 = icmp slt i32 %129, %130
br i1 %131, label %132, label %180
132: ; preds = %128
%133 = load i32, i32* %16
%134 = add nsw i32 %133, 1
store i32 %134, i32* %17
br label %135
135: ; preds = %173, %132
%136 = load i32, i32* %17
%137 = load i32, i32* %14
%138 = icmp slt i32 %136, %137
br i1 %138, label %139, label %176
139: ; preds = %135
%140 = load i8**, i8*** %15
%141 = load i32, i32* %16
%142 = sext i32 %141 to i64
%143 = getelementptr inbounds i8*, i8** %140, i64 %142
%144 = load i8*, i8** %143
%145 = load i8**, i8*** %15
%146 = load i32, i32* %17
%147 = sext i32 %146 to i64
%148 = getelementptr inbounds i8*, i8** %145, i64 %147
%149 = load i8*, i8** %148
%150 = call i64 @strcmp(i8* %144, i8* %149)
%151 = icmp sgt i64 %150, 0
br i1 %151, label %152, label %172
152: ; preds = %139
%153 = load i8**, i8*** %15
%154 = load i32, i32* %16
%155 = sext i32 %154 to i64
%156 = getelementptr inbounds i8*, i8** %153, i64 %155
%157 = load i8*, i8** %156
store i8* %157, i8** %18
%158 = load i8**, i8*** %15
%159 = load i32, i32* %17
%160 = sext i32 %159 to i64
%161 = getelementptr inbounds i8*, i8** %158, i64 %160
%162 = load i8*, i8** %161
%163 = load i8**, i8*** %15
%164 = load i32, i32* %16
%165 = sext i32 %164 to i64
%166 = getelementptr inbounds i8*, i8** %163, i64 %165
store i8* %162, i8** %166
%167 = load i8*, i8** %18
%168 = load i8**, i8*** %15
%169 = load i32, i32* %17
%170 = sext i32 %169 to i64
%171 = getelementptr inbounds i8*, i8** %168, i64 %170
store i8* %167, i8** %171
br label %172
172: ; preds = %152, %139
br label %173
173: ; preds = %172
%174 = load i32, i32* %17
%175 = add nsw i32 %174, 1
store i32 %175, i32* %17
br label %135
176: ; preds = %135
br label %177
177: ; preds = %176
%178 = load i32, i32* %16
%179 = add nsw i32 %178, 1
store i32 %179, i32* %16
br label %128
180: ; preds = %128
%181 = load i8**, i8*** %15
%182 = load i8***, i8**** %12
store i8** %181, i8*** %182
%183 = load i32, i32* %14
%184 = load i32*, i32** %13
store i32 %183, i32* %184
store i32 0, i32* %7
br label %185
185: ; preds = %180, %43, %30
%186 = load i32, i32* %7
ret i32 %186
}

LLVM IR (-O2):
define i32 @sort(i8** %0, i32 %1, [30 x i8]* %2, i32 %3, i8*** writeonly %4, i32* writeonly %5) {
%7 = icmp eq i8** %0, null
%8 = icmp eq [30 x i8]* %2, null
%9 = or i1 %7, %8
%10 = icmp eq i8*** %4, null
%11 = or i1 %9, %10
%12 = icmp eq i32* %5, null
%13 = or i1 %11, %12
br i1 %13, label %88, label %14
14: ; preds = %6
%15 = add nsw i32 %3, %1
%16 = shl i32 %15, 3
%17 = tail call i8* @malloc(i32 %16)
%18 = bitcast i8* %17 to i8**
%19 = icmp eq i8* %17, null
br i1 %19, label %88, label %20
20: ; preds = %14
%21 = icmp sgt i32 %1, 0
br i1 %21, label %22, label %24
22: ; preds = %20
%23 = zext i32 %1 to i64
br label %29
24: ; preds = %41, %20
%25 = icmp sgt i32 %3, 0
br i1 %25, label %26, label %44
26: ; preds = %24
%27 = sext i32 %1 to i64
%28 = sext i32 %15 to i64
br label %49
29: ; preds = %22, %41
%30 = phi i64 [ 0, %22 ], [ %42, %41 ]
%31 = getelementptr inbounds i8*, i8** %0, i64 %30
%32 = load i8*, i8** %31
%33 = tail call i32 @strlen(i8* %32)
%34 = add nsw i32 %33, 1
%35 = tail call i8* @malloc(i32 %34)
%36 = getelementptr inbounds i8*, i8** %18, i64 %30
store i8* %35, i8** %36
%37 = icmp eq i8* %35, null
br i1 %37, label %41, label %38
38: ; preds = %29
%39 = load i8*, i8** %31
%40 = tail call i32 @strcpy(i8* %35, i8* %39)
br label %41
41: ; preds = %29, %38
%42 = add nuw nsw i64 %30, 1
%43 = icmp eq i64 %42, %23
br i1 %43, label %24, label %29
44: ; preds = %60, %24
%45 = icmp sgt i32 %15, 0
br i1 %45, label %46, label %86
46: ; preds = %44
%47 = zext i32 %15 to i64
%48 = zext i32 %15 to i64
br label %67
49: ; preds = %26, %60
%50 = phi i64 [ %27, %26 ], [ %61, %60 ]
%51 = phi i64 [ 0, %26 ], [ %62, %60 ]
%52 = getelementptr inbounds [30 x i8], [30 x i8]* %2, i64 %51, i64 0
%53 = tail call i32 @strlen(i8* %52)
%54 = add nsw i32 %53, 1
%55 = tail call i8* @malloc(i32 %54)
%56 = getelementptr inbounds i8*, i8** %18, i64 %50
store i8* %55, i8** %56
%57 = icmp eq i8* %55, null
br i1 %57, label %60, label %58
58: ; preds = %49
%59 = tail call i32 @strcpy(i8* %55, i8* %52)
br label %60
60: ; preds = %49, %58
%61 = add nsw i64 %50, 1
%62 = add nuw nsw i64 %51, 1
%63 = icmp slt i64 %61, %28
br i1 %63, label %49, label %44
64: ; preds = %82, %67
%65 = add nuw nsw i64 %69, 1
%66 = icmp eq i64 %70, %48
br i1 %66, label %86, label %67
67: ; preds = %46, %64
%68 = phi i64 [ 0, %46 ], [ %70, %64 ]
%69 = phi i64 [ 1, %46 ], [ %65, %64 ]
%70 = add nuw nsw i64 %68, 1
%71 = icmp ult i64 %70, %47
br i1 %71, label %72, label %64
72: ; preds = %67
%73 = getelementptr inbounds i8*, i8** %18, i64 %68
br label %74
74: ; preds = %72, %82
%75 = phi i64 [ %69, %72 ], [ %83, %82 ]
%76 = load i8*, i8** %73
%77 = getelementptr inbounds i8*, i8** %18, i64 %75
%78 = load i8*, i8** %77
%79 = tail call i64 @strcmp(i8* %76, i8* %78)
%80 = icmp sgt i64 %79, 0
br i1 %80, label %81, label %82
81: ; preds = %74
store i8* %78, i8** %73
store i8* %76, i8** %77
br label %82
82: ; preds = %74, %81
%83 = add nuw nsw i64 %75, 1
%84 = trunc i64 %83 to i32
%85 = icmp sgt i32 %15, %84
br i1 %85, label %74, label %64
86: ; preds = %64, %44
%87 = bitcast i8*** %4 to i8**
store i8* %17, i8** %87
store i32 %15, i32* %5
br label %88
88: ; preds = %86, %14, %6
%89 = phi i32 [ -1, %6 ], [ 0, %86 ], [ -1, %14 ]
ret i32 %89
}