#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*/ dfs(int **, int *, int *, int *, int, int *);
int min(int /*<<< orphan*/, int /*<<< orphan*/);
int /*<<< orphan*/ printf(char *);
int /*<<< orphan*/ strlen(char *);
void dictionary(char **words, int count) {
  int i = 0, j = 0;
  int graph[26][26];
  int counter[26];
  int visited[26];
  int result[26];
  int reverse_result[26];
  for (i = 0; i < 26; i++) {
    counter[i] = 0;
    visited[i] = 0;
    result[i] = 0;
    reverse_result[i] = 0;
    for (j = 0; j < 26; j++) {
      graph[i][j] = 0;
    }
  }
  for (i = 0; i < count - 1; i++) {
    char *w1 = words[i];
    char *w2 = words[i + 1];
    int len = min(strlen(w1), strlen(w2));
    for (j = 0; j < len; j++) {
      if (w1[j] != w2[j]) {
        graph[w1[j] - 'a'][w2[j] - 'a'] = 1;
        counter[w1[j] - 'a'] = 1;
        break;
      }
    }
  }
  int result_idx = 0;
  for (i = 0; i < 26; i++) {
    if (counter[i] && !visited[i]) {
      dfs(graph, visited, result, counter, i, &result_idx);
    }
  }
  for (i = 0; i < 26; i++) {
    reverse_result[i] = result[25 - i];
  }
  for (i = 0; i < 26; i++) {
    for (j = i + 1; j < 26; j++) {
      if (counter[j] && graph[reverse_result[j]][reverse_result[i]] == 1) {
        printf("invalid");
        return;
      }
    }
  }
}


x86 assembly (clang, -O0):
<dictionary>:
push   %rbp
mov    %rsp,%rbp
sub    $0xc90,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
movl   $0x0,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
movl   $0x0,-0x10(%rbp)
cmpl   $0x1a,-0x10(%rbp)
jge    11fc <dictionary+0xbc>
movslq -0x10(%rbp),%rax
movl   $0x0,-0xb20(%rbp,%rax,4)
movslq -0x10(%rbp),%rax
movl   $0x0,-0xb90(%rbp,%rax,4)
movslq -0x10(%rbp),%rax
movl   $0x0,-0xc00(%rbp,%rax,4)
movslq -0x10(%rbp),%rax
movl   $0x0,-0xc70(%rbp,%rax,4)
movl   $0x0,-0x14(%rbp)
cmpl   $0x1a,-0x14(%rbp)
jge    11e9 <dictionary+0xa9>
movslq -0x10(%rbp),%rcx
lea    -0xab0(%rbp),%rax
imul   $0x68,%rcx,%rcx
add    %rcx,%rax
movslq -0x14(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    11b4 <dictionary+0x74>
jmp    11ee <dictionary+0xae>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1167 <dictionary+0x27>
movl   $0x0,-0x10(%rbp)
mov    -0x10(%rbp),%eax
mov    -0xc(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    1335 <dictionary+0x1f5>
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0xc78(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0xc80(%rbp)
mov    -0xc78(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0xc8c(%rbp)
mov    -0xc80(%rbp),%rdi
call   1030 <strlen@plt>
mov    -0xc8c(%rbp),%edi
mov    %eax,%esi
call   1050 <min@plt>
mov    %eax,-0xc84(%rbp)
movl   $0x0,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0xc84(%rbp),%eax
jge    1322 <dictionary+0x1e2>
mov    -0xc78(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0xc80(%rbp),%rcx
movslq -0x14(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
je     130f <dictionary+0x1cf>
mov    -0xc78(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
sub    $0x61,%eax
movslq %eax,%rcx
lea    -0xab0(%rbp),%rax
imul   $0x68,%rcx,%rcx
add    %rcx,%rax
mov    -0xc80(%rbp),%rcx
movslq -0x14(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
sub    $0x61,%ecx
movslq %ecx,%rcx
movl   $0x1,(%rax,%rcx,4)
mov    -0xc78(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
sub    $0x61,%eax
cltq
movl   $0x1,-0xb20(%rbp,%rax,4)
jmp    1322 <dictionary+0x1e2>
jmp    1314 <dictionary+0x1d4>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1277 <dictionary+0x137>
jmp    1327 <dictionary+0x1e7>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1203 <dictionary+0xc3>
movl   $0x0,-0xc88(%rbp)
movl   $0x0,-0x10(%rbp)
cmpl   $0x1a,-0x10(%rbp)
jge    13b3 <dictionary+0x273>
movslq -0x10(%rbp),%rax
cmpl   $0x0,-0xb20(%rbp,%rax,4)
je     13a0 <dictionary+0x260>
movslq -0x10(%rbp),%rax
cmpl   $0x0,-0xb90(%rbp,%rax,4)
jne    13a0 <dictionary+0x260>
lea    -0xab0(%rbp),%rdi
lea    -0xb90(%rbp),%rsi
lea    -0xc00(%rbp),%rdx
lea    -0xb20(%rbp),%rcx
mov    -0x10(%rbp),%r8d
lea    -0xc88(%rbp),%r9
call   1060 <dfs@plt>
jmp    13a5 <dictionary+0x265>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1346 <dictionary+0x206>
movl   $0x0,-0x10(%rbp)
cmpl   $0x1a,-0x10(%rbp)
jge    13ee <dictionary+0x2ae>
mov    $0x19,%eax
sub    -0x10(%rbp),%eax
cltq
mov    -0xc00(%rbp,%rax,4),%ecx
movslq -0x10(%rbp),%rax
mov    %ecx,-0xc70(%rbp,%rax,4)
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    13ba <dictionary+0x27a>
movl   $0x0,-0x10(%rbp)
cmpl   $0x1a,-0x10(%rbp)
jge    148b <dictionary+0x34b>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
cmpl   $0x1a,-0x14(%rbp)
jge    1478 <dictionary+0x338>
movslq -0x14(%rbp),%rax
cmpl   $0x0,-0xb20(%rbp,%rax,4)
je     1465 <dictionary+0x325>
movslq -0x14(%rbp),%rax
movslq -0xc70(%rbp,%rax,4),%rcx
ff
lea    -0xab0(%rbp),%rax
imul   $0x68,%rcx,%rcx
add    %rcx,%rax
movslq -0x10(%rbp),%rcx
movslq -0xc70(%rbp,%rcx,4),%rcx
ff
cmpl   $0x1,(%rax,%rcx,4)
jne    1465 <dictionary+0x325>
lea    0xba5(%rip),%rdi
call   1040 <printf@plt>
jmp    148b <dictionary+0x34b>
jmp    146a <dictionary+0x32a>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1408 <dictionary+0x2c8>
jmp    147d <dictionary+0x33d>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    13f5 <dictionary+0x2b5>
add    $0xc90,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<dictionary>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0xc68,%rsp
mov    %esi,%r14d
mov    %rdi,%r12
xorps  %xmm0,%xmm0
movaps %xmm0,0xf0(%rsp)
movaps %xmm0,0x100(%rsp)
movaps %xmm0,0x110(%rsp)
movaps %xmm0,0x120(%rsp)
movaps %xmm0,0x130(%rsp)
movaps %xmm0,0x140(%rsp)
movq   $0x0,0x150(%rsp)
movaps %xmm0,0x160(%rsp)
movaps %xmm0,0x170(%rsp)
movaps %xmm0,0x180(%rsp)
movaps %xmm0,0x190(%rsp)
movaps %xmm0,0x1a0(%rsp)
movaps %xmm0,0x1b0(%rsp)
movq   $0x0,0x1c0(%rsp)
movaps %xmm0,0x80(%rsp)
movaps %xmm0,0x90(%rsp)
movaps %xmm0,0xa0(%rsp)
movaps %xmm0,0xb0(%rsp)
movaps %xmm0,0xc0(%rsp)
movaps %xmm0,0xd0(%rsp)
movq   $0x0,0xe0(%rsp)
movaps %xmm0,0x60(%rsp)
movaps %xmm0,0x50(%rsp)
movaps %xmm0,0x40(%rsp)
movaps %xmm0,0x30(%rsp)
movaps %xmm0,0x20(%rsp)
movaps %xmm0,0x10(%rsp)
movq   $0x0,0x70(%rsp)
lea    0x1d0(%rsp),%rdi
mov    $0xa90,%edx
xor    %esi,%esi
call   1060 <memset@plt>
cmp    $0x2,%r14d
jl     12eb <dictionary+0x19b>
add    $0xffffffff,%r14d
xor    %r15d,%r15d
jmp    12a0 <dictionary+0x150>
nopl   0x0(%rax)
imul   $0x68,%rsi,%rcx
lea    0x1d0(%rsp),%rsi
add    %rsi,%rcx
movl   $0x1,-0x28ec(%rcx,%rdx,4)
movsbq 0x0(%r13,%rax,1),%rax
movl   $0x1,-0x94(%rsp,%rax,4)
cmp    %r14,%r15
je     12eb <dictionary+0x19b>
mov    (%r12,%r15,8),%r13
mov    0x8(%r12,%r15,8),%rbx
add    $0x1,%r15
mov    %r13,%rdi
call   1030 <strlen@plt>
mov    %eax,%ebp
mov    %rbx,%rdi
call   1030 <strlen@plt>
mov    %ebp,%edi
mov    %eax,%esi
call   1050 <min@plt>
test   %eax,%eax
jle    129b <dictionary+0x14b>
mov    %eax,%ecx
xor    %eax,%eax
movsbq 0x0(%r13,%rax,1),%rsi
movsbq (%rbx,%rax,1),%rdx
cmp    %dl,%sil
jne    1270 <dictionary+0x120>
add    $0x1,%rax
cmp    %rax,%rcx
jne    12d0 <dictionary+0x180>
jmp    129b <dictionary+0x14b>
movl   $0x0,0xc(%rsp)
xor    %ebx,%ebx
lea    0x1d0(%rsp),%r14
lea    0x160(%rsp),%r15
lea    0x80(%rsp),%r12
lea    0xf0(%rsp),%r13
lea    0xc(%rsp),%rbp
jmp    132a <dictionary+0x1da>
nopl   0x0(%rax)
add    $0x1,%rbx
cmp    $0x1a,%rbx
je     1357 <dictionary+0x207>
cmpl   $0x0,0xf0(%rsp,%rbx,4)
je     1320 <dictionary+0x1d0>
cmpl   $0x0,0x160(%rsp,%rbx,4)
jne    1320 <dictionary+0x1d0>
mov    %r14,%rdi
mov    %r15,%rsi
mov    %r12,%rdx
mov    %r13,%rcx
mov    %ebx,%r8d
mov    %rbp,%r9
call   1070 <dfs@plt>
jmp    1320 <dictionary+0x1d0>
movdqu 0xd8(%rsp),%xmm0
pshufd $0x1b,%xmm0,%xmm0
movdqa %xmm0,0x10(%rsp)
movdqu 0xc8(%rsp),%xmm0
pshufd $0x1b,%xmm0,%xmm0
movdqa %xmm0,0x20(%rsp)
movdqu 0xb8(%rsp),%xmm0
pshufd $0x1b,%xmm0,%xmm0
movdqa %xmm0,0x30(%rsp)
movdqu 0xa8(%rsp),%xmm0
pshufd $0x1b,%xmm0,%xmm0
movdqa %xmm0,0x40(%rsp)
movdqu 0x98(%rsp),%xmm0
pshufd $0x1b,%xmm0,%xmm0
movdqa %xmm0,0x50(%rsp)
movdqu 0x88(%rsp),%xmm0
pshufd $0x1b,%xmm0,%xmm0
mov    0x80(%rsp),%rax
rol    $0x20,%rax
movdqa %xmm0,0x60(%rsp)
mov    %rax,0x70(%rsp)
mov    $0x1,%eax
xor    %ecx,%ecx
jmp    13fe <dictionary+0x2ae>
nopl   0x0(%rax)
add    $0x1,%rcx
add    $0x1,%rax
cmp    $0x1a,%rcx
je     144e <dictionary+0x2fe>
cmp    $0x18,%rcx
ja     13f0 <dictionary+0x2a0>
mov    %rax,%rdx
jmp    141a <dictionary+0x2ca>
nopl   0x0(%rax)
add    $0x1,%rdx
cmp    $0x1a,%rdx
je     13f0 <dictionary+0x2a0>
cmpl   $0x0,0xf0(%rsp,%rdx,4)
je     1410 <dictionary+0x2c0>
movslq 0x10(%rsp,%rdx,4),%rsi
movslq 0x10(%rsp,%rcx,4),%rdi
imul   $0x68,%rsi,%rsi
add    %rsp,%rsi
add    $0x1d0,%rsi
cmpl   $0x1,(%rsi,%rdi,4)
jne    1410 <dictionary+0x2c0>
lea    0xbb7(%rip),%rdi
call   1040 <printf@plt>
add    $0xc68,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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