#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*/ printf(char *, ...);
int /*<<< orphan*/ scanf(char *, char *);
int main() {
  char karti[13];
  int i = 0, k, help;
  printf("vyvedete testeto (Vyvedete T vmesto 10)");
  for (i = 0; i < 13; i++) {
    scanf("%c", &karti[i]);
    switch (karti[i]) {
    case 'T':
      karti[i] = 100;
      break;
    case 'J':
      karti[i] = 101;
      break;
    case 'Q':
      karti[i] = 102;
      break;
    case 'K':
      karti[i] = 103;
      break;
    case 'A':
      karti[i] = 104;
      break;
    default: {
      if (!(karti[i] >= 50 && karti[i] <= 57))
        i--;
      break;
    }
    }
  }
  for (i = 0; i < 13; i++) {
    for (k = 0; k < 13; k++) {
      if (karti[i] < karti[k]) {
        help = karti[k];
        karti[k] = karti[i];
        karti[i] = help;
      }
    }
  }
  for (i = 0; i < 13; i++) {
    switch (karti[i]) {
    case 100:
      karti[i] = 'T';
      break;
    case 101:
      karti[i] = 'J';
      break;
    case 102:
      karti[i] = 'Q';
      break;
    case 103:
      karti[i] = 'K';
      break;
    case 104:
      karti[i] = 'A';
      break;
    }
    printf("%c ", karti[i]);
  }
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
movl   $0x0,-0x4(%rbp)
movl   $0x0,-0x18(%rbp)
lea    0xf27(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0x0,-0x18(%rbp)
cmpl   $0xd,-0x18(%rbp)
jge    1224 <main+0x104>
movslq -0x18(%rbp),%rax
lea    -0x11(%rbp,%rax,1),%rsi
lea    0xf27(%rip),%rdi
call   1040 <scanf@plt>
movslq -0x18(%rbp),%rax
movsbl -0x11(%rbp,%rax,1),%eax
add    $0xffffffbf,%eax
mov    %eax,%ecx
mov    %rcx,-0x28(%rbp)
sub    $0x13,%eax
ja     11df <main+0xbf>
mov    -0x28(%rbp),%rax
lea    0xe84(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
movslq -0x18(%rbp),%rax
movb   $0x64,-0x11(%rbp,%rax,1)
jmp    1211 <main+0xf1>
movslq -0x18(%rbp),%rax
movb   $0x65,-0x11(%rbp,%rax,1)
jmp    1211 <main+0xf1>
movslq -0x18(%rbp),%rax
movb   $0x66,-0x11(%rbp,%rax,1)
jmp    1211 <main+0xf1>
movslq -0x18(%rbp),%rax
movb   $0x67,-0x11(%rbp,%rax,1)
jmp    1211 <main+0xf1>
movslq -0x18(%rbp),%rax
movb   $0x68,-0x11(%rbp,%rax,1)
jmp    1211 <main+0xf1>
movslq -0x18(%rbp),%rax
movsbl -0x11(%rbp,%rax,1),%eax
cmp    $0x32,%eax
jl     1203 <main+0xe3>
movslq -0x18(%rbp),%rax
movsbl -0x11(%rbp,%rax,1),%eax
cmp    $0x39,%eax
jle    120c <main+0xec>
mov    -0x18(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x18(%rbp)
jmp    1211 <main+0xf1>
jmp    1216 <main+0xf6>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    114b <main+0x2b>
movl   $0x0,-0x18(%rbp)
cmpl   $0xd,-0x18(%rbp)
jge    12af <main+0x18f>
movl   $0x0,-0x1c(%rbp)
cmpl   $0xd,-0x1c(%rbp)
jge    129c <main+0x17c>
movslq -0x18(%rbp),%rax
movsbl -0x11(%rbp,%rax,1),%eax
movslq -0x1c(%rbp),%rcx
movsbl -0x11(%rbp,%rcx,1),%ecx
cmp    %ecx,%eax
jge    1289 <main+0x169>
movslq -0x1c(%rbp),%rax
movsbl -0x11(%rbp,%rax,1),%eax
mov    %eax,-0x20(%rbp)
movslq -0x18(%rbp),%rax
mov    -0x11(%rbp,%rax,1),%cl
movslq -0x1c(%rbp),%rax
mov    %cl,-0x11(%rbp,%rax,1)
mov    -0x20(%rbp),%eax
mov    %al,%cl
movslq -0x18(%rbp),%rax
mov    %cl,-0x11(%rbp,%rax,1)
jmp    128e <main+0x16e>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    123c <main+0x11c>
jmp    12a1 <main+0x181>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    122b <main+0x10b>
movl   $0x0,-0x18(%rbp)
cmpl   $0xd,-0x18(%rbp)
jge    1355 <main+0x235>
movslq -0x18(%rbp),%rax
movsbl -0x11(%rbp,%rax,1),%eax
add    $0xffffff9c,%eax
mov    %eax,%ecx
mov    %rcx,-0x30(%rbp)
sub    $0x4,%eax
ja     1330 <main+0x210>
mov    -0x30(%rbp),%rax
lea    0xd1a(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
movslq -0x18(%rbp),%rax
movb   $0x54,-0x11(%rbp,%rax,1)
jmp    1330 <main+0x210>
movslq -0x18(%rbp),%rax
movb   $0x4a,-0x11(%rbp,%rax,1)
jmp    1330 <main+0x210>
movslq -0x18(%rbp),%rax
movb   $0x51,-0x11(%rbp,%rax,1)
jmp    1330 <main+0x210>
movslq -0x18(%rbp),%rax
movb   $0x4b,-0x11(%rbp,%rax,1)
jmp    1330 <main+0x210>
movslq -0x18(%rbp),%rax
movb   $0x41,-0x11(%rbp,%rax,1)
movslq -0x18(%rbp),%rax
movsbl -0x11(%rbp,%rax,1),%esi
lea    0xd4f(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    12b6 <main+0x196>
mov    -0x4(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x10,%rsp
lea    0xf1c(%rip),%rdi
xor    %r13d,%r13d
xor    %eax,%eax
call   1030 <printf@plt>
lea    0xf33(%rip),%r14
lea    0xeb4(%rip),%r12
jmp    116d <main+0x4d>
add    $0xc6,%al
cmp    $0xf8,%al
sbb    $0x0,%r13d
cs nopw 0x0(%rax,%rax,1)
lea    0x1(%r13),%eax
cmp    $0xc,%r13d
mov    %eax,%r13d
jge    11b7 <main+0x97>
movslq %r13d,%rbx
lea    (%rsp,%rbx,1),%r15
add    $0x3,%r15
mov    %r14,%rdi
mov    %r15,%rsi
call   1040 <scanf@plt>
movsbl 0x3(%rsp,%rbx,1),%eax
lea    -0x41(%rax),%ecx
cmp    $0x13,%ecx
ja     114e <main+0x2e>
movslq (%r12,%rcx,4),%rcx
add    %r12,%rcx
jmp    *%rcx
movb   $0x68,(%r15)
jmp    1160 <main+0x40>
movb   $0x65,(%r15)
jmp    1160 <main+0x40>
movb   $0x67,(%r15)
jmp    1160 <main+0x40>
movb   $0x66,(%r15)
jmp    1160 <main+0x40>
movb   $0x64,(%r15)
jmp    1160 <main+0x40>
xor    %eax,%eax
jmp    11ce <main+0xae>
nopl   0x0(%rax,%rax,1)
add    $0x1,%rax
cmp    $0xd,%rax
je     136c <main+0x24c>
movzbl 0x3(%rsp,%rax,1),%edx
movzbl 0x3(%rsp),%ecx
cmp    %cl,%dl
jge    11f0 <main+0xd0>
mov    %dl,0x3(%rsp)
mov    %cl,0x3(%rsp,%rax,1)
jmp    11f2 <main+0xd2>
cs nopw 0x0(%rax,%rax,1)
mov    %edx,%ecx
movzbl 0x4(%rsp),%edx
cmp    %dl,%cl
jge    1210 <main+0xf0>
mov    %cl,0x4(%rsp)
mov    %dl,0x3(%rsp,%rax,1)
jmp    1212 <main+0xf2>
cs nopw 0x0(%rax,%rax,1)
nop
mov    %ecx,%edx
movzbl 0x5(%rsp),%ecx
cmp    %cl,%dl
jge    1230 <main+0x110>
mov    %dl,0x5(%rsp)
mov    %cl,0x3(%rsp,%rax,1)
jmp    1232 <main+0x112>
cs nopw 0x0(%rax,%rax,1)
nop
mov    %edx,%ecx
movzbl 0x6(%rsp),%edx
cmp    %dl,%cl
jge    1250 <main+0x130>
mov    %cl,0x6(%rsp)
mov    %dl,0x3(%rsp,%rax,1)
jmp    1252 <main+0x132>
cs nopw 0x0(%rax,%rax,1)
nop
mov    %ecx,%edx
movzbl 0x7(%rsp),%ecx
cmp    %cl,%dl
jge    1270 <main+0x150>
mov    %dl,0x7(%rsp)
mov    %cl,0x3(%rsp,%rax,1)
jmp    1272 <main+0x152>
cs nopw 0x0(%rax,%rax,1)
nop
mov    %edx,%ecx
movzbl 0x8(%rsp),%edx
cmp    %dl,%cl
jge    1290 <main+0x170>
mov    %cl,0x8(%rsp)
mov    %dl,0x3(%rsp,%rax,1)
jmp    1292 <main+0x172>
cs nopw 0x0(%rax,%rax,1)
nop
mov    %ecx,%edx
movzbl 0x9(%rsp),%ecx
cmp    %cl,%dl
jge    12b0 <main+0x190>
mov    %dl,0x9(%rsp)
mov    %cl,0x3(%rsp,%rax,1)
jmp    12b2 <main+0x192>
cs nopw 0x0(%rax,%rax,1)
nop
mov    %edx,%ecx
movzbl 0xa(%rsp),%edx
cmp    %dl,%cl
jge    12d0 <main+0x1b0>
mov    %cl,0xa(%rsp)
mov    %dl,0x3(%rsp,%rax,1)
jmp    12d2 <main+0x1b2>
cs nopw 0x0(%rax,%rax,1)
nop
mov    %ecx,%edx
movzbl 0xb(%rsp),%ecx
cmp    %cl,%dl
jge    12f0 <main+0x1d0>
mov    %dl,0xb(%rsp)
mov    %cl,0x3(%rsp,%rax,1)
jmp    12f2 <main+0x1d2>
cs nopw 0x0(%rax,%rax,1)
nop
mov    %edx,%ecx
movzbl 0xc(%rsp),%edx
cmp    %dl,%cl
jge    1310 <main+0x1f0>
mov    %cl,0xc(%rsp)
mov    %dl,0x3(%rsp,%rax,1)
jmp    1312 <main+0x1f2>
cs nopw 0x0(%rax,%rax,1)
nop
mov    %ecx,%edx
movzbl 0xd(%rsp),%ecx
cmp    %cl,%dl
jge    1330 <main+0x210>
mov    %dl,0xd(%rsp)
mov    %cl,0x3(%rsp,%rax,1)
jmp    1332 <main+0x212>
cs nopw 0x0(%rax,%rax,1)
nop
mov    %edx,%ecx
movzbl 0xe(%rsp),%edx
cmp    %dl,%cl
jge    1350 <main+0x230>
mov    %cl,0xe(%rsp)
mov    %dl,0x3(%rsp,%rax,1)
jmp    1352 <main+0x232>
cs nopw 0x0(%rax,%rax,1)
nop
mov    %ecx,%edx
movzbl 0xf(%rsp),%ecx
cmp    %cl,%dl
jge    11c0 <main+0xa0>
mov    %dl,0xf(%rsp)
mov    %cl,0x3(%rsp,%rax,1)
jmp    11c0 <main+0xa0>
movabs $0x414b514a54,%r14
lea    0xcfe(%rip),%r15
xor    %ebx,%ebx
jmp    13a7 <main+0x287>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movsbl %al,%esi
mov    %r15,%rdi
xor    %eax,%eax
call   1030 <printf@plt>
add    $0x1,%rbx
cmp    $0xd,%rbx
je     13c5 <main+0x2a5>
movsbl 0x3(%rsp,%rbx,1),%eax
mov    %eax,%ecx
add    $0xffffff9c,%ecx
cmp    $0x4,%ecx
ja     1390 <main+0x270>
shl    $0x3,%ecx
mov    %r14,%rax
shr    %cl,%rax
mov    %al,0x3(%rsp,%rbx,1)
jmp    1390 <main+0x270>
xor    %eax,%eax
add    $0x10,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
ret

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

LLVM IR (-O2):
@.str = [40 x i8] c"vyvedete testeto (Vyvedete T vmesto 10)\00"
@.str.1 = [3 x i8] c"%c\00"
@.str.2 = [4 x i8] c"%c \00"
define i32 @main() {
%1 = alloca [13 x i8]
%2 = getelementptr inbounds [13 x i8], [13 x i8]* %1, i64 0, i64 0
%3 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([40 x i8], [40 x i8]* @.str, i64 0, i64 0))
br label %4
4: ; preds = %0, %21
%5 = phi i32 [ 0, %0 ], [ %23, %21 ]
%6 = sext i32 %5 to i64
%7 = getelementptr inbounds [13 x i8], [13 x i8]* %1, i64 0, i64 %6
%8 = call i32 @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.1, i64 0, i64 0), i8* %7)
%9 = load i8, i8* %7
%10 = sext i8 %9 to i32
switch i32 %10, label %16 [
i32 84, label %11
i32 74, label %12
i32 81, label %13
i32 75, label %14
i32 65, label %15
]
11: ; preds = %4
store i8 100, i8* %7
br label %21
12: ; preds = %4
store i8 101, i8* %7
br label %21
13: ; preds = %4
store i8 102, i8* %7
br label %21
14: ; preds = %4
store i8 103, i8* %7
br label %21
15: ; preds = %4
store i8 104, i8* %7
br label %21
16: ; preds = %4
%17 = add i8 %9, -58
%18 = icmp ult i8 %17, -8
%19 = sext i1 %18 to i32
%20 = add nsw i32 %5, %19
br label %21
21: ; preds = %16, %11, %12, %13, %14, %15
%22 = phi i32 [ %5, %15 ], [ %5, %14 ], [ %5, %13 ], [ %5, %12 ], [ %5, %11 ], [ %20, %16 ]
%23 = add nsw i32 %22, 1
%24 = icmp slt i32 %22, 12
br i1 %24, label %4, label %25
25: ; preds = %21
%26 = getelementptr inbounds [13 x i8], [13 x i8]* %1, i64 0, i64 1
%27 = getelementptr inbounds [13 x i8], [13 x i8]* %1, i64 0, i64 2
%28 = getelementptr inbounds [13 x i8], [13 x i8]* %1, i64 0, i64 3
%29 = getelementptr inbounds [13 x i8], [13 x i8]* %1, i64 0, i64 4
%30 = getelementptr inbounds [13 x i8], [13 x i8]* %1, i64 0, i64 5
%31 = getelementptr inbounds [13 x i8], [13 x i8]* %1, i64 0, i64 6
%32 = getelementptr inbounds [13 x i8], [13 x i8]* %1, i64 0, i64 7
%33 = getelementptr inbounds [13 x i8], [13 x i8]* %1, i64 0, i64 8
%34 = getelementptr inbounds [13 x i8], [13 x i8]* %1, i64 0, i64 9
%35 = getelementptr inbounds [13 x i8], [13 x i8]* %1, i64 0, i64 10
%36 = getelementptr inbounds [13 x i8], [13 x i8]* %1, i64 0, i64 11
%37 = getelementptr inbounds [13 x i8], [13 x i8]* %1, i64 0, i64 12
br label %38
38: ; preds = %25, %105
%39 = phi i64 [ 0, %25 ], [ %106, %105 ]
%40 = getelementptr inbounds [13 x i8], [13 x i8]* %1, i64 0, i64 %39
%41 = load i8, i8* %40
%42 = load i8, i8* %2
%43 = icmp slt i8 %41, %42
br i1 %43, label %44, label %45
44: ; preds = %38
store i8 %41, i8* %2
store i8 %42, i8* %40
br label %45
45: ; preds = %38, %44
%46 = phi i8 [ %41, %38 ], [ %42, %44 ]
%47 = load i8, i8* %26
%48 = icmp slt i8 %46, %47
br i1 %48, label %49, label %50
49: ; preds = %45
store i8 %46, i8* %26
store i8 %47, i8* %40
br label %50
50: ; preds = %49, %45
%51 = phi i8 [ %47, %49 ], [ %46, %45 ]
%52 = load i8, i8* %27
%53 = icmp slt i8 %51, %52
br i1 %53, label %54, label %55
54: ; preds = %50
store i8 %51, i8* %27
store i8 %52, i8* %40
br label %55
55: ; preds = %54, %50
%56 = phi i8 [ %52, %54 ], [ %51, %50 ]
%57 = load i8, i8* %28
%58 = icmp slt i8 %56, %57
br i1 %58, label %59, label %60
59: ; preds = %55
store i8 %56, i8* %28
store i8 %57, i8* %40
br label %60
60: ; preds = %59, %55
%61 = phi i8 [ %57, %59 ], [ %56, %55 ]
%62 = load i8, i8* %29
%63 = icmp slt i8 %61, %62
br i1 %63, label %64, label %65
64: ; preds = %60
store i8 %61, i8* %29
store i8 %62, i8* %40
br label %65
65: ; preds = %64, %60
%66 = phi i8 [ %62, %64 ], [ %61, %60 ]
%67 = load i8, i8* %30
%68 = icmp slt i8 %66, %67
br i1 %68, label %69, label %70
69: ; preds = %65
store i8 %66, i8* %30
store i8 %67, i8* %40
br label %70
70: ; preds = %69, %65
%71 = phi i8 [ %67, %69 ], [ %66, %65 ]
%72 = load i8, i8* %31
%73 = icmp slt i8 %71, %72
br i1 %73, label %74, label %75
74: ; preds = %70
store i8 %71, i8* %31
store i8 %72, i8* %40
br label %75
75: ; preds = %74, %70
%76 = phi i8 [ %72, %74 ], [ %71, %70 ]
%77 = load i8, i8* %32
%78 = icmp slt i8 %76, %77
br i1 %78, label %79, label %80
79: ; preds = %75
store i8 %76, i8* %32
store i8 %77, i8* %40
br label %80
80: ; preds = %79, %75
%81 = phi i8 [ %77, %79 ], [ %76, %75 ]
%82 = load i8, i8* %33
%83 = icmp slt i8 %81, %82
br i1 %83, label %84, label %85
84: ; preds = %80
store i8 %81, i8* %33
store i8 %82, i8* %40
br label %85
85: ; preds = %84, %80
%86 = phi i8 [ %82, %84 ], [ %81, %80 ]
%87 = load i8, i8* %34
%88 = icmp slt i8 %86, %87
br i1 %88, label %89, label %90
89: ; preds = %85
store i8 %86, i8* %34
store i8 %87, i8* %40
br label %90
90: ; preds = %89, %85
%91 = phi i8 [ %87, %89 ], [ %86, %85 ]
%92 = load i8, i8* %35
%93 = icmp slt i8 %91, %92
br i1 %93, label %94, label %95
94: ; preds = %90
store i8 %91, i8* %35
store i8 %92, i8* %40
br label %95
95: ; preds = %94, %90
%96 = phi i8 [ %92, %94 ], [ %91, %90 ]
%97 = load i8, i8* %36
%98 = icmp slt i8 %96, %97
br i1 %98, label %99, label %100
99: ; preds = %95
store i8 %96, i8* %36
store i8 %97, i8* %40
br label %100
100: ; preds = %99, %95
%101 = phi i8 [ %97, %99 ], [ %96, %95 ]
%102 = load i8, i8* %37
%103 = icmp slt i8 %101, %102
br i1 %103, label %104, label %105
104: ; preds = %100
store i8 %101, i8* %37
store i8 %102, i8* %40
br label %105
105: ; preds = %104, %100
%106 = add nuw nsw i64 %39, 1
%107 = icmp eq i64 %106, 13
br i1 %107, label %108, label %38
108: ; preds = %105, %120
%109 = phi i64 [ %124, %120 ], [ 0, %105 ]
%110 = getelementptr inbounds [13 x i8], [13 x i8]* %1, i64 0, i64 %109
%111 = load i8, i8* %110
%112 = sext i8 %111 to i32
%113 = add nsw i32 %112, -100
%114 = icmp ult i32 %113, 5
br i1 %114, label %115, label %120
115: ; preds = %108
%116 = zext i32 %113 to i40
%117 = shl nuw nsw i40 %116, 3
%118 = lshr i40 280436492884, %117
%119 = trunc i40 %118 to i8
store i8 %119, i8* %110
br label %120
120: ; preds = %108, %115
%121 = phi i8 [ %111, %108 ], [ %119, %115 ]
%122 = sext i8 %121 to i32
%123 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([4 x i8], [4 x i8]* @.str.2, i64 0, i64 0), i32 %122)
%124 = add nuw nsw i64 %109, 1
%125 = icmp eq i64 %124, 13
br i1 %125, label %126, label %108
126: ; preds = %120
ret i32 0
}