#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 strlen(char *);
void check_ISBN_validity(char *ISBN) {
  int valid = 1, dash = 0, i, counter = 0, check_digit = 0, publisher_ptr = 0;
  char publisher1[6] = "933346", publisher2[5] = "55583",
       publisher3[4] = "4210", publisher4[2] = "01";
  char ex1[4] = "978-", ex2[4] = "979-";
  if (strlen(ISBN) != 17)
    valid = 0;
  for (i = 0; i < strlen(ISBN); i++) {
    if (ISBN[i] == '-')
      dash++;
    if (dash == 2 && publisher_ptr == 0)
      publisher_ptr = i + 1;
    if ((ISBN[i] < '0' || ISBN[i] > '9') && ISBN[i] != '-' && ISBN[i] != '\n' &&
        ISBN[i] != ' ')
      valid = 0;
    else if (ISBN[i] >= '0' && ISBN[i] <= '9') {
      counter++;
      if (counter <= 12) {
        if (counter % 2)
          check_digit += ISBN[i] - '0';
        else
          check_digit += (ISBN[i] - '0') * 3;
      }
    }
  }
  if (dash != 4)
    valid = 0;
  else {
    check_digit %= 10;
    if (check_digit)
      check_digit = 10 - check_digit;
    if (ISBN[16] - '0' != check_digit)
      valid = 0;
  }
  for (i = 0; i < 4; i++) {
    if (ISBN[i] != ex1[i] && ISBN[i] != ex2[i])
      valid = 0;
  }
  int publisher1_result = 0;
  int publisher2_result = 0;
  int publisher3_result = 0;
  int publisher4_result = 0;
  if (valid) {
    printf("1");
    for (i = publisher_ptr; ISBN[i] != '-'; i++) {
      if (ISBN[i] == publisher1[i - publisher_ptr])
        publisher1_result++;
      else if (ISBN[i] == publisher2[i - publisher_ptr])
        publisher2_result++;
      else if (ISBN[i] == publisher3[i - publisher_ptr])
        publisher3_result++;
      else if (ISBN[i] == publisher4[i - publisher_ptr])
        publisher4_result++;
    }
    if (i - publisher_ptr == publisher1_result)
      printf("\nBluebridge");
    else if (i - publisher_ptr == publisher2_result)
      printf("\nAlyson Books");
    else if (i - publisher_ptr == publisher3_result)
      printf("\nFUNimation Productions, Ltd.");
    else if (i - publisher_ptr == publisher4_result)
      printf("\nPyramid Books");
  } else
    printf("0");
}


x86 assembly (clang, -O0):
<check_ISBN_validity>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x8(%rbp)
movl   $0x1,-0xc(%rbp)
movl   $0x0,-0x10(%rbp)
movl   $0x0,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
movl   $0x0,-0x20(%rbp)
mov    0xeab(%rip),%eax
mov    %eax,-0x26(%rbp)
mov    0xea5(%rip),%ax
mov    %ax,-0x22(%rbp)
mov    0xe9d(%rip),%eax
mov    %eax,-0x2b(%rbp)
mov    0xe98(%rip),%al
mov    %al,-0x27(%rbp)
mov    0xe92(%rip),%eax
mov    %eax,-0x2f(%rbp)
mov    0xe86(%rip),%ax
mov    %ax,-0x31(%rbp)
mov    0xe82(%rip),%eax
mov    %eax,-0x35(%rbp)
mov    0xe7d(%rip),%eax
mov    %eax,-0x39(%rbp)
mov    -0x8(%rbp),%rdi
call   1030 <strlen@plt>
cmp    $0x11,%eax
je     11b4 <check_ISBN_validity+0x94>
movl   $0x0,-0xc(%rbp)
movl   $0x0,-0x14(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x50(%rbp)
mov    -0x8(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,%ecx
mov    -0x50(%rbp),%eax
cmp    %ecx,%eax
jge    132c <check_ISBN_validity+0x20c>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2d,%eax
jne    11f5 <check_ISBN_validity+0xd5>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
cmpl   $0x2,-0x10(%rbp)
jne    1212 <check_ISBN_validity+0xf2>
cmpl   $0x0,-0x20(%rbp)
jne    1212 <check_ISBN_validity+0xf2>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x30,%eax
jl     123c <check_ISBN_validity+0x11c>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x39,%eax
jle    1287 <check_ISBN_validity+0x167>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2d,%eax
je     1287 <check_ISBN_validity+0x167>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0xa,%eax
je     1287 <check_ISBN_validity+0x167>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x20,%eax
je     1287 <check_ISBN_validity+0x167>
movl   $0x0,-0xc(%rbp)
jmp    1319 <check_ISBN_validity+0x1f9>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x30,%eax
jl     1314 <check_ISBN_validity+0x1f4>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x39,%eax
jg     1314 <check_ISBN_validity+0x1f4>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
cmpl   $0xc,-0x18(%rbp)
jg     130f <check_ISBN_validity+0x1ef>
mov    -0x18(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
je     12f2 <check_ISBN_validity+0x1d2>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
sub    $0x30,%eax
add    -0x1c(%rbp),%eax
mov    %eax,-0x1c(%rbp)
jmp    130a <check_ISBN_validity+0x1ea>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
sub    $0x30,%eax
imul   $0x3,%eax,%eax
add    -0x1c(%rbp),%eax
mov    %eax,-0x1c(%rbp)
jmp    130f <check_ISBN_validity+0x1ef>
jmp    1314 <check_ISBN_validity+0x1f4>
jmp    1319 <check_ISBN_validity+0x1f9>
jmp    131e <check_ISBN_validity+0x1fe>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    11bb <check_ISBN_validity+0x9b>
cmpl   $0x4,-0x10(%rbp)
je     1342 <check_ISBN_validity+0x222>
movl   $0x0,-0xc(%rbp)
jmp    1385 <check_ISBN_validity+0x265>
mov    -0x1c(%rbp),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
mov    %edx,-0x1c(%rbp)
cmpl   $0x0,-0x1c(%rbp)
je     1365 <check_ISBN_validity+0x245>
mov    $0xa,%eax
sub    -0x1c(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x8(%rbp),%rax
movsbl 0x10(%rax),%eax
sub    $0x30,%eax
cmp    -0x1c(%rbp),%eax
je     1380 <check_ISBN_validity+0x260>
movl   $0x0,-0xc(%rbp)
jmp    1385 <check_ISBN_validity+0x265>
movl   $0x0,-0x14(%rbp)
cmpl   $0x4,-0x14(%rbp)
jge    13ea <check_ISBN_validity+0x2ca>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
movslq -0x14(%rbp),%rcx
movsbl -0x35(%rbp,%rcx,1),%ecx
cmp    %ecx,%eax
je     13d7 <check_ISBN_validity+0x2b7>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
movslq -0x14(%rbp),%rcx
movsbl -0x39(%rbp,%rcx,1),%ecx
cmp    %ecx,%eax
je     13d7 <check_ISBN_validity+0x2b7>
movl   $0x0,-0xc(%rbp)
jmp    13dc <check_ISBN_validity+0x2bc>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    138c <check_ISBN_validity+0x26c>
movl   $0x0,-0x40(%rbp)
movl   $0x0,-0x44(%rbp)
movl   $0x0,-0x48(%rbp)
movl   $0x0,-0x4c(%rbp)
cmpl   $0x0,-0xc(%rbp)
je     15a3 <check_ISBN_validity+0x483>
lea    0xc02(%rip),%rdi
call   1040 <printf@plt>
mov    -0x20(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2d,%eax
je     1514 <check_ISBN_validity+0x3f4>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x14(%rbp),%ecx
sub    -0x20(%rbp),%ecx
movslq %ecx,%rcx
movsbl -0x26(%rbp,%rcx,1),%ecx
cmp    %ecx,%eax
jne    1467 <check_ISBN_validity+0x347>
mov    -0x40(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x40(%rbp)
jmp    1501 <check_ISBN_validity+0x3e1>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x14(%rbp),%ecx
sub    -0x20(%rbp),%ecx
movslq %ecx,%rcx
movsbl -0x2b(%rbp,%rcx,1),%ecx
cmp    %ecx,%eax
jne    1497 <check_ISBN_validity+0x377>
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    14fc <check_ISBN_validity+0x3dc>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x14(%rbp),%ecx
sub    -0x20(%rbp),%ecx
movslq %ecx,%rcx
movsbl -0x2f(%rbp,%rcx,1),%ecx
cmp    %ecx,%eax
jne    14c7 <check_ISBN_validity+0x3a7>
mov    -0x48(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x48(%rbp)
jmp    14f7 <check_ISBN_validity+0x3d7>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x14(%rbp),%ecx
sub    -0x20(%rbp),%ecx
movslq %ecx,%rcx
movsbl -0x31(%rbp,%rcx,1),%ecx
cmp    %ecx,%eax
jne    14f2 <check_ISBN_validity+0x3d2>
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
jmp    14f7 <check_ISBN_validity+0x3d7>
jmp    14fc <check_ISBN_validity+0x3dc>
jmp    1501 <check_ISBN_validity+0x3e1>
jmp    1506 <check_ISBN_validity+0x3e6>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1422 <check_ISBN_validity+0x302>
mov    -0x14(%rbp),%eax
sub    -0x20(%rbp),%eax
cmp    -0x40(%rbp),%eax
jne    1534 <check_ISBN_validity+0x414>
lea    0xaf1(%rip),%rdi
call   1040 <printf@plt>
jmp    159e <check_ISBN_validity+0x47e>
mov    -0x14(%rbp),%eax
sub    -0x20(%rbp),%eax
cmp    -0x44(%rbp),%eax
jne    1554 <check_ISBN_validity+0x434>
lea    0xadd(%rip),%rdi
call   1040 <printf@plt>
jmp    1599 <check_ISBN_validity+0x479>
mov    -0x14(%rbp),%eax
sub    -0x20(%rbp),%eax
cmp    -0x48(%rbp),%eax
jne    1574 <check_ISBN_validity+0x454>
lea    0xacb(%rip),%rdi
call   1040 <printf@plt>
jmp    1594 <check_ISBN_validity+0x474>
mov    -0x14(%rbp),%eax
sub    -0x20(%rbp),%eax
cmp    -0x4c(%rbp),%eax
jne    158f <check_ISBN_validity+0x46f>
lea    0xac9(%rip),%rdi
call   1040 <printf@plt>
jmp    1594 <check_ISBN_validity+0x474>
jmp    1599 <check_ISBN_validity+0x479>
jmp    159e <check_ISBN_validity+0x47e>
jmp    15af <check_ISBN_validity+0x48f>
lea    0xab8(%rip),%rdi
call   1040 <printf@plt>
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<check_ISBN_validity>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rdi,%r12
call   1040 <strlen@plt>
mov    %eax,%ebp
mov    %r12,%rdi
call   1040 <strlen@plt>
mov    $0x1,%cl
test   %eax,%eax
jle    1264 <check_ISBN_validity+0x134>
xor    %eax,%eax
cmp    $0x11,%ebp
sete   %al
mov    %eax,0x4(%rsp)
xor    %ebx,%ebx
xor    %ebp,%ebp
xor    %r13d,%r13d
xor    %r14d,%r14d
xor    %r15d,%r15d
jmp    1191 <check_ISBN_validity+0x61>
lea    (%rax,%rax,2),%eax
add    %eax,%r13d
add    $0xffffff70,%r13d
mov    %ecx,%r14d
mov    %r12,%rdi
call   1040 <strlen@plt>
cltq
cmp    %rax,%rbx
jge    120f <check_ISBN_validity+0xdf>
mov    %r15d,%ecx
mov    %ebp,%edx
movzbl (%r12,%rbx,1),%eax
xor    %r15d,%r15d
cmp    $0x2d,%eax
sete   %r15b
add    %ecx,%r15d
mov    %r15d,%ecx
xor    $0x2,%ecx
add    $0x1,%rbx
or     %ebp,%ecx
mov    %ebx,%ebp
cmovne %edx,%ebp
lea    -0x3a(%rax),%ecx
cmp    $0xf5,%cl
ja     11f0 <check_ISBN_validity+0xc0>
cmp    $0x2d,%al
ja     11d7 <check_ISBN_validity+0xa7>
mov    %eax,%eax
movabs $0x200100000400,%rcx
bt     %rax,%rcx
jb     1182 <check_ISBN_validity+0x52>
movl   $0x0,0x4(%rsp)
jmp    1182 <check_ISBN_validity+0x52>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
lea    0x1(%r14),%ecx
cmp    $0xb,%r14d
jg     117f <check_ISBN_validity+0x4f>
test   $0x1,%cl
je     1172 <check_ISBN_validity+0x42>
add    %eax,%r13d
add    $0xffffffd0,%r13d
jmp    117f <check_ISBN_validity+0x4f>
cmp    $0x4,%r15d
jne    1273 <check_ISBN_validity+0x143>
movslq %r13d,%rax
imul   $0x66666667,%rax,%rcx
mov    %rcx,%rdx
shr    $0x3f,%rdx
sar    $0x22,%rcx
add    %edx,%ecx
add    %ecx,%ecx
lea    (%rcx,%rcx,4),%ecx
sub    %ecx,%eax
mov    $0xa,%ecx
sub    %eax,%ecx
test   %eax,%eax
cmove  %eax,%ecx
movsbl 0x10(%r12),%eax
add    $0xffffffd0,%eax
cmp    %ecx,%eax
setne  %al
cmpl   $0x0,0x4(%rsp)
sete   %cl
or     %al,%cl
cmpb   $0x2d,0x3(%r12)
je     1281 <check_ISBN_validity+0x151>
jmp    135a <check_ISBN_validity+0x22a>
xor    %ebp,%ebp
cmpb   $0x2d,0x3(%r12)
je     1281 <check_ISBN_validity+0x151>
jmp    135a <check_ISBN_validity+0x22a>
mov    $0x1,%cl
cmpb   $0x2d,0x3(%r12)
jne    135a <check_ISBN_validity+0x22a>
mov    0x2(%r12),%al
and    $0xfe,%al
cmp    $0x38,%al
jne    135a <check_ISBN_validity+0x22a>
cmpb   $0x37,0x1(%r12)
jne    135a <check_ISBN_validity+0x22a>
cmpb   $0x39,(%r12)
jne    135a <check_ISBN_validity+0x22a>
test   %cl,%cl
jne    135a <check_ISBN_validity+0x22a>
mov    $0x31,%edi
call   1030 <putchar@plt>
movslq %ebp,%rcx
mov    (%r12,%rcx,1),%dl
xor    %edi,%edi
mov    %ebp,%eax
mov    $0x0,%esi
mov    $0x0,%r14d
mov    $0x0,%r8d
cmp    $0x2d,%dl
je     1374 <check_ISBN_validity+0x244>
lea    (%rcx,%r12,1),%rbx
add    $0x1,%rbx
xor    %eax,%eax
lea    0xd11(%rip),%r15
lea    0xd10(%rip),%r9
lea    0xd10(%rip),%r10
lea    0xd07(%rip),%r11
xor    %r8d,%r8d
xor    %r14d,%r14d
xor    %esi,%esi
xor    %edi,%edi
jmp    1320 <check_ISBN_validity+0x1f0>
add    $0x1,%edi
movzbl (%rbx,%rax,1),%edx
add    $0x1,%rax
cmp    $0x2d,%dl
je     1372 <check_ISBN_validity+0x242>
cmp    (%rax,%r15,1),%dl
je     1310 <check_ISBN_validity+0x1e0>
cmp    (%rax,%r9,1),%dl
jne    1340 <check_ISBN_validity+0x210>
add    $0x1,%esi
jmp    1313 <check_ISBN_validity+0x1e3>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
cmp    (%rax,%r10,1),%dl
jne    134c <check_ISBN_validity+0x21c>
add    $0x1,%r14d
jmp    1313 <check_ISBN_validity+0x1e3>
xor    %ecx,%ecx
cmp    (%rax,%r11,1),%dl
sete   %cl
add    %ecx,%r8d
jmp    1313 <check_ISBN_validity+0x1e3>
mov    $0x30,%edi
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1030 <putchar@plt>
add    %ebp,%eax
sub    %ebp,%eax
cmp    %edi,%eax
jne    1383 <check_ISBN_validity+0x253>
lea    0xc90(%rip),%rdi
jmp    13aa <check_ISBN_validity+0x27a>
cmp    %esi,%eax
jne    1390 <check_ISBN_validity+0x260>
lea    0xc8f(%rip),%rdi
jmp    13aa <check_ISBN_validity+0x27a>
cmp    %r14d,%eax
jne    139e <check_ISBN_validity+0x26e>
lea    0xc8f(%rip),%rdi
jmp    13aa <check_ISBN_validity+0x27a>
cmp    %r8d,%eax
jne    13bd <check_ISBN_validity+0x28d>
lea    0xc9f(%rip),%rdi
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1050 <printf@plt>
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@__const.check_ISBN_validity.publisher1 = [6 x i8] c"933346"
@__const.check_ISBN_validity.publisher2 = [5 x i8] c"55583"
@__const.check_ISBN_validity.publisher3 = [4 x i8] c"4210"
@__const.check_ISBN_validity.publisher4 = [2 x i8] c"01"
@__const.check_ISBN_validity.ex1 = [4 x i8] c"978-"
@__const.check_ISBN_validity.ex2 = [4 x i8] c"979-"
@.str = [2 x i8] c"1\00"
@.str.1 = [12 x i8] c"\0ABluebridge\00"
@.str.2 = [14 x i8] c"\0AAlyson Books\00"
@.str.3 = [30 x i8] c"\0AFUNimation Productions, Ltd.\00"
@.str.4 = [15 x i8] c"\0APyramid Books\00"
@.str.5 = [2 x i8] c"0\00"
define void @check_ISBN_validity(i8* %0) {
%2 = alloca i8*
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca [6 x i8]
%10 = alloca [5 x i8]
%11 = alloca [4 x i8]
%12 = alloca [2 x i8]
%13 = alloca [4 x i8]
%14 = alloca [4 x i8]
%15 = alloca i32
%16 = alloca i32
%17 = alloca i32
%18 = alloca i32
store i8* %0, i8** %2
store i32 1, i32* %3
store i32 0, i32* %4
store i32 0, i32* %6
store i32 0, i32* %7
store i32 0, i32* %8
%19 = bitcast [6 x i8]* %9 to i8*
%20 = bitcast [5 x i8]* %10 to i8*
%21 = bitcast [4 x i8]* %11 to i8*
%22 = bitcast [2 x i8]* %12 to i8*
%23 = bitcast [4 x i8]* %13 to i8*
%24 = bitcast [4 x i8]* %14 to i8*
%25 = load i8*, i8** %2
%26 = call i32 @strlen(i8* %25)
%27 = icmp ne i32 %26, 17
br i1 %27, label %28, label %29
28: ; preds = %1
store i32 0, i32* %3
br label %29
29: ; preds = %28, %1
store i32 0, i32* %5
br label %30
30: ; preds = %146, %29
%31 = load i32, i32* %5
%32 = load i8*, i8** %2
%33 = call i32 @strlen(i8* %32)
%34 = icmp slt i32 %31, %33
br i1 %34, label %35, label %149
35: ; preds = %30
%36 = load i8*, i8** %2
%37 = load i32, i32* %5
%38 = sext i32 %37 to i64
%39 = getelementptr inbounds i8, i8* %36, i64 %38
%40 = load i8, i8* %39
%41 = sext i8 %40 to i32
%42 = icmp eq i32 %41, 45
br i1 %42, label %43, label %46
43: ; preds = %35
%44 = load i32, i32* %4
%45 = add nsw i32 %44, 1
store i32 %45, i32* %4
br label %46
46: ; preds = %43, %35
%47 = load i32, i32* %4
%48 = icmp eq i32 %47, 2
br i1 %48, label %49, label %55
49: ; preds = %46
%50 = load i32, i32* %8
%51 = icmp eq i32 %50, 0
br i1 %51, label %52, label %55
52: ; preds = %49
%53 = load i32, i32* %5
%54 = add nsw i32 %53, 1
store i32 %54, i32* %8
br label %55
55: ; preds = %52, %49, %46
%56 = load i8*, i8** %2
%57 = load i32, i32* %5
%58 = sext i32 %57 to i64
%59 = getelementptr inbounds i8, i8* %56, i64 %58
%60 = load i8, i8* %59
%61 = sext i8 %60 to i32
%62 = icmp slt i32 %61, 48
br i1 %62, label %71, label %63
63: ; preds = %55
%64 = load i8*, i8** %2
%65 = load i32, i32* %5
%66 = sext i32 %65 to i64
%67 = getelementptr inbounds i8, i8* %64, i64 %66
%68 = load i8, i8* %67
%69 = sext i8 %68 to i32
%70 = icmp sgt i32 %69, 57
br i1 %70, label %71, label %96
71: ; preds = %63, %55
%72 = load i8*, i8** %2
%73 = load i32, i32* %5
%74 = sext i32 %73 to i64
%75 = getelementptr inbounds i8, i8* %72, i64 %74
%76 = load i8, i8* %75
%77 = sext i8 %76 to i32
%78 = icmp ne i32 %77, 45
br i1 %78, label %79, label %96
79: ; preds = %71
%80 = load i8*, i8** %2
%81 = load i32, i32* %5
%82 = sext i32 %81 to i64
%83 = getelementptr inbounds i8, i8* %80, i64 %82
%84 = load i8, i8* %83
%85 = sext i8 %84 to i32
%86 = icmp ne i32 %85, 10
br i1 %86, label %87, label %96
87: ; preds = %79
%88 = load i8*, i8** %2
%89 = load i32, i32* %5
%90 = sext i32 %89 to i64
%91 = getelementptr inbounds i8, i8* %88, i64 %90
%92 = load i8, i8* %91
%93 = sext i8 %92 to i32
%94 = icmp ne i32 %93, 32
br i1 %94, label %95, label %96
95: ; preds = %87
store i32 0, i32* %3
br label %145
96: ; preds = %87, %79, %71, %63
%97 = load i8*, i8** %2
%98 = load i32, i32* %5
%99 = sext i32 %98 to i64
%100 = getelementptr inbounds i8, i8* %97, i64 %99
%101 = load i8, i8* %100
%102 = sext i8 %101 to i32
%103 = icmp sge i32 %102, 48
br i1 %103, label %104, label %144
104: ; preds = %96
%105 = load i8*, i8** %2
%106 = load i32, i32* %5
%107 = sext i32 %106 to i64
%108 = getelementptr inbounds i8, i8* %105, i64 %107
%109 = load i8, i8* %108
%110 = sext i8 %109 to i32
%111 = icmp sle i32 %110, 57
br i1 %111, label %112, label %144
112: ; preds = %104
%113 = load i32, i32* %6
%114 = add nsw i32 %113, 1
store i32 %114, i32* %6
%115 = load i32, i32* %6
%116 = icmp sle i32 %115, 12
br i1 %116, label %117, label %143
117: ; preds = %112
%118 = load i32, i32* %6
%119 = srem i32 %118, 2
%120 = icmp ne i32 %119, 0
br i1 %120, label %121, label %131
121: ; preds = %117
%122 = load i8*, i8** %2
%123 = load i32, i32* %5
%124 = sext i32 %123 to i64
%125 = getelementptr inbounds i8, i8* %122, i64 %124
%126 = load i8, i8* %125
%127 = sext i8 %126 to i32
%128 = sub nsw i32 %127, 48
%129 = load i32, i32* %7
%130 = add nsw i32 %129, %128
store i32 %130, i32* %7
br label %142
131: ; preds = %117
%132 = load i8*, i8** %2
%133 = load i32, i32* %5
%134 = sext i32 %133 to i64
%135 = getelementptr inbounds i8, i8* %132, i64 %134
%136 = load i8, i8* %135
%137 = sext i8 %136 to i32
%138 = sub nsw i32 %137, 48
%139 = mul nsw i32 %138, 3
%140 = load i32, i32* %7
%141 = add nsw i32 %140, %139
store i32 %141, i32* %7
br label %142
142: ; preds = %131, %121
br label %143
143: ; preds = %142, %112
br label %144
144: ; preds = %143, %104, %96
br label %145
145: ; preds = %144, %95
br label %146
146: ; preds = %145
%147 = load i32, i32* %5
%148 = add nsw i32 %147, 1
store i32 %148, i32* %5
br label %30
149: ; preds = %30
%150 = load i32, i32* %4
%151 = icmp ne i32 %150, 4
br i1 %151, label %152, label %153
152: ; preds = %149
store i32 0, i32* %3
br label %171
153: ; preds = %149
%154 = load i32, i32* %7
%155 = srem i32 %154, 10
store i32 %155, i32* %7
%156 = load i32, i32* %7
%157 = icmp ne i32 %156, 0
br i1 %157, label %158, label %161
158: ; preds = %153
%159 = load i32, i32* %7
%160 = sub nsw i32 10, %159
store i32 %160, i32* %7
br label %161
161: ; preds = %158, %153
%162 = load i8*, i8** %2
%163 = getelementptr inbounds i8, i8* %162, i64 16
%164 = load i8, i8* %163
%165 = sext i8 %164 to i32
%166 = sub nsw i32 %165, 48
%167 = load i32, i32* %7
%168 = icmp ne i32 %166, %167
br i1 %168, label %169, label %170
169: ; preds = %161
store i32 0, i32* %3
br label %170
170: ; preds = %169, %161
br label %171
171: ; preds = %170, %152
store i32 0, i32* %5
br label %172
172: ; preds = %203, %171
%173 = load i32, i32* %5
%174 = icmp slt i32 %173, 4
br i1 %174, label %175, label %206
175: ; preds = %172
%176 = load i8*, i8** %2
%177 = load i32, i32* %5
%178 = sext i32 %177 to i64
%179 = getelementptr inbounds i8, i8* %176, i64 %178
%180 = load i8, i8* %179
%181 = sext i8 %180 to i32
%182 = load i32, i32* %5
%183 = sext i32 %182 to i64
%184 = getelementptr inbounds [4 x i8], [4 x i8]* %13, i64 0, i64 %183
%185 = load i8, i8* %184
%186 = sext i8 %185 to i32
%187 = icmp ne i32 %181, %186
br i1 %187, label %188, label %202
188: ; preds = %175
%189 = load i8*, i8** %2
%190 = load i32, i32* %5
%191 = sext i32 %190 to i64
%192 = getelementptr inbounds i8, i8* %189, i64 %191
%193 = load i8, i8* %192
%194 = sext i8 %193 to i32
%195 = load i32, i32* %5
%196 = sext i32 %195 to i64
%197 = getelementptr inbounds [4 x i8], [4 x i8]* %14, i64 0, i64 %196
%198 = load i8, i8* %197
%199 = sext i8 %198 to i32
%200 = icmp ne i32 %194, %199
br i1 %200, label %201, label %202
201: ; preds = %188
store i32 0, i32* %3
br label %202
202: ; preds = %201, %188, %175
br label %203
203: ; preds = %202
%204 = load i32, i32* %5
%205 = add nsw i32 %204, 1
store i32 %205, i32* %5
br label %172
206: ; preds = %172
store i32 0, i32* %15
store i32 0, i32* %16
store i32 0, i32* %17
store i32 0, i32* %18
%207 = load i32, i32* %3
%208 = icmp ne i32 %207, 0
br i1 %208, label %209, label %335
209: ; preds = %206
%210 = call i32 @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%211 = load i32, i32* %8
store i32 %211, i32* %5
br label %212
212: ; preds = %296, %209
%213 = load i8*, i8** %2
%214 = load i32, i32* %5
%215 = sext i32 %214 to i64
%216 = getelementptr inbounds i8, i8* %213, i64 %215
%217 = load i8, i8* %216
%218 = sext i8 %217 to i32
%219 = icmp ne i32 %218, 45
br i1 %219, label %220, label %299
220: ; preds = %212
%221 = load i8*, i8** %2
%222 = load i32, i32* %5
%223 = sext i32 %222 to i64
%224 = getelementptr inbounds i8, i8* %221, i64 %223
%225 = load i8, i8* %224
%226 = sext i8 %225 to i32
%227 = load i32, i32* %5
%228 = load i32, i32* %8
%229 = sub nsw i32 %227, %228
%230 = sext i32 %229 to i64
%231 = getelementptr inbounds [6 x i8], [6 x i8]* %9, i64 0, i64 %230
%232 = load i8, i8* %231
%233 = sext i8 %232 to i32
%234 = icmp eq i32 %226, %233
br i1 %234, label %235, label %238
235: ; preds = %220
%236 = load i32, i32* %15
%237 = add nsw i32 %236, 1
store i32 %237, i32* %15
br label %295
238: ; preds = %220
%239 = load i8*, i8** %2
%240 = load i32, i32* %5
%241 = sext i32 %240 to i64
%242 = getelementptr inbounds i8, i8* %239, i64 %241
%243 = load i8, i8* %242
%244 = sext i8 %243 to i32
%245 = load i32, i32* %5
%246 = load i32, i32* %8
%247 = sub nsw i32 %245, %246
%248 = sext i32 %247 to i64
%249 = getelementptr inbounds [5 x i8], [5 x i8]* %10, i64 0, i64 %248
%250 = load i8, i8* %249
%251 = sext i8 %250 to i32
%252 = icmp eq i32 %244, %251
br i1 %252, label %253, label %256
253: ; preds = %238
%254 = load i32, i32* %16
%255 = add nsw i32 %254, 1
store i32 %255, i32* %16
br label %294
256: ; preds = %238
%257 = load i8*, i8** %2
%258 = load i32, i32* %5
%259 = sext i32 %258 to i64
%260 = getelementptr inbounds i8, i8* %257, i64 %259
%261 = load i8, i8* %260
%262 = sext i8 %261 to i32
%263 = load i32, i32* %5
%264 = load i32, i32* %8
%265 = sub nsw i32 %263, %264
%266 = sext i32 %265 to i64
%267 = getelementptr inbounds [4 x i8], [4 x i8]* %11, i64 0, i64 %266
%268 = load i8, i8* %267
%269 = sext i8 %268 to i32
%270 = icmp eq i32 %262, %269
br i1 %270, label %271, label %274
271: ; preds = %256
%272 = load i32, i32* %17
%273 = add nsw i32 %272, 1
store i32 %273, i32* %17
br label %293
274: ; preds = %256
%275 = load i8*, i8** %2
%276 = load i32, i32* %5
%277 = sext i32 %276 to i64
%278 = getelementptr inbounds i8, i8* %275, i64 %277
%279 = load i8, i8* %278
%280 = sext i8 %279 to i32
%281 = load i32, i32* %5
%282 = load i32, i32* %8
%283 = sub nsw i32 %281, %282
%284 = sext i32 %283 to i64
%285 = getelementptr inbounds [2 x i8], [2 x i8]* %12, i64 0, i64 %284
%286 = load i8, i8* %285
%287 = sext i8 %286 to i32
%288 = icmp eq i32 %280, %287
br i1 %288, label %289, label %292
289: ; preds = %274
%290 = load i32, i32* %18
%291 = add nsw i32 %290, 1
store i32 %291, i32* %18
br label %292
292: ; preds = %289, %274
br label %293
293: ; preds = %292, %271
br label %294
294: ; preds = %293, %253
br label %295
295: ; preds = %294, %235
br label %296
296: ; preds = %295
%297 = load i32, i32* %5
%298 = add nsw i32 %297, 1
store i32 %298, i32* %5
br label %212
299: ; preds = %212
%300 = load i32, i32* %5
%301 = load i32, i32* %8
%302 = sub nsw i32 %300, %301
%303 = load i32, i32* %15
%304 = icmp eq i32 %302, %303
br i1 %304, label %305, label %307
305: ; preds = %299
%306 = call i32 @printf(i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.1, i64 0, i64 0))
br label %334
307: ; preds = %299
%308 = load i32, i32* %5
%309 = load i32, i32* %8
%310 = sub nsw i32 %308, %309
%311 = load i32, i32* %16
%312 = icmp eq i32 %310, %311
br i1 %312, label %313, label %315
313: ; preds = %307
%314 = call i32 @printf(i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.2, i64 0, i64 0))
br label %333
315: ; preds = %307
%316 = load i32, i32* %5
%317 = load i32, i32* %8
%318 = sub nsw i32 %316, %317
%319 = load i32, i32* %17
%320 = icmp eq i32 %318, %319
br i1 %320, label %321, label %323
321: ; preds = %315
%322 = call i32 @printf(i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.3, i64 0, i64 0))
br label %332
323: ; preds = %315
%324 = load i32, i32* %5
%325 = load i32, i32* %8
%326 = sub nsw i32 %324, %325
%327 = load i32, i32* %18
%328 = icmp eq i32 %326, %327
br i1 %328, label %329, label %331
329: ; preds = %323
%330 = call i32 @printf(i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str.4, i64 0, i64 0))
br label %331
331: ; preds = %329, %323
br label %332
332: ; preds = %331, %321
br label %333
333: ; preds = %332, %313
br label %334
334: ; preds = %333, %305
br label %337
335: ; preds = %206
%336 = call i32 @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.5, i64 0, i64 0))
br label %337
337: ; preds = %335, %334
ret void
}

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