#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*/ assert(int);
int isdigit(int);
int isprint(int);
int isspace(int);
int isxdigit(int);
int skiboot_isdigit(int);
int skiboot_isprint(int);
int skiboot_isspace(int);
int skiboot_isxdigit(int);
scalar_t__ skiboot_tolower(int);
scalar_t__ skiboot_toupper(int);
scalar_t__ tolower(int);
scalar_t__ toupper(int);
int main(void) {
  int i;
  int r1, r2;
  for (i = '0'; i <= '9'; i++)
    assert(skiboot_isdigit(i));
  assert(skiboot_isdigit('a') == 0);
  assert(skiboot_isdigit('Z') == 0);
  for (i = 0; i < 257; i++) {
    r1 = skiboot_isdigit(i);
    r2 = isdigit(i);
    if (r1)
      assert(r2);
    if (!r1)
      assert(!r2);
  }
  for (i = '0'; i <= '9'; i++)
    assert(skiboot_isprint(i));
  assert(skiboot_isprint('\0') == 0);
  assert(skiboot_isprint(4) == 0);
  for (i = 0; i < 257; i++) {
    r1 = skiboot_isprint(i);
    r2 = isprint(i);
    if (r1)
      assert(r2);
    if (!r1)
      assert(!r2);
  }
  for (i = '0'; i <= '9'; i++)
    assert(skiboot_isspace(i) == 0);
  assert(skiboot_isspace('\f'));
  assert(skiboot_isspace('\n'));
  assert(skiboot_isspace(' '));
  for (i = 0; i < 257; i++) {
    r1 = skiboot_isspace(i);
    r2 = isspace(i);
    if (r1)
      assert(r2);
    if (!r1)
      assert(!r2);
  }
  for (i = '0'; i <= '9'; i++)
    assert(skiboot_isxdigit(i));
  assert(skiboot_isxdigit('a'));
  assert(skiboot_isxdigit('A'));
  assert(skiboot_isxdigit('F'));
  assert(skiboot_isxdigit('Z') == 0);
  for (i = 0; i < 257; i++) {
    r1 = skiboot_isxdigit(i);
    r2 = isxdigit(i);
    if (r1)
      assert(r2);
    if (!r1)
      assert(!r2);
  }
  for (i = 0; i < 257; i++) {
    assert(skiboot_tolower(i) == tolower(i));
  }
  for (i = 0; i < 257; i++) {
    assert(skiboot_toupper(i) == toupper(i));
  }
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
movl   $0x0,-0x4(%rbp)
movl   $0x30,-0x8(%rbp)
cmpl   $0x39,-0x8(%rbp)
jg     120d <main+0x3d>
mov    -0x8(%rbp),%edi
call   10f0 <skiboot_isdigit@plt>
mov    %eax,%edi
call   1090 <assert@plt>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    11e6 <main+0x16>
mov    $0x61,%edi
call   10f0 <skiboot_isdigit@plt>
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1090 <assert@plt>
mov    $0x5a,%edi
call   10f0 <skiboot_isdigit@plt>
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1090 <assert@plt>
movl   $0x0,-0x8(%rbp)
cmpl   $0x101,-0x8(%rbp)
jge    12ad <main+0xdd>
mov    -0x8(%rbp),%edi
call   10f0 <skiboot_isdigit@plt>
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%edi
call   1050 <isdigit@plt>
mov    %eax,-0x10(%rbp)
cmpl   $0x0,-0xc(%rbp)
je     127d <main+0xad>
mov    -0x10(%rbp),%edi
call   1090 <assert@plt>
cmpl   $0x0,-0xc(%rbp)
jne    129a <main+0xca>
cmpl   $0x0,-0x10(%rbp)
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
call   1090 <assert@plt>
jmp    129f <main+0xcf>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    1248 <main+0x78>
movl   $0x30,-0x8(%rbp)
cmpl   $0x39,-0x8(%rbp)
jg     12db <main+0x10b>
mov    -0x8(%rbp),%edi
call   1070 <skiboot_isprint@plt>
mov    %eax,%edi
call   1090 <assert@plt>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    12b4 <main+0xe4>
xor    %edi,%edi
call   1070 <skiboot_isprint@plt>
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1090 <assert@plt>
mov    $0x4,%edi
call   1070 <skiboot_isprint@plt>
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1090 <assert@plt>
movl   $0x0,-0x8(%rbp)
cmpl   $0x101,-0x8(%rbp)
jge    1378 <main+0x1a8>
mov    -0x8(%rbp),%edi
call   1070 <skiboot_isprint@plt>
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%edi
call   10c0 <isprint@plt>
mov    %eax,-0x10(%rbp)
cmpl   $0x0,-0xc(%rbp)
je     1348 <main+0x178>
mov    -0x10(%rbp),%edi
call   1090 <assert@plt>
cmpl   $0x0,-0xc(%rbp)
jne    1365 <main+0x195>
cmpl   $0x0,-0x10(%rbp)
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
call   1090 <assert@plt>
jmp    136a <main+0x19a>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    1313 <main+0x143>
movl   $0x30,-0x8(%rbp)
cmpl   $0x39,-0x8(%rbp)
jg     13af <main+0x1df>
mov    -0x8(%rbp),%edi
call   10b0 <skiboot_isspace@plt>
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1090 <assert@plt>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    137f <main+0x1af>
mov    $0xc,%edi
call   10b0 <skiboot_isspace@plt>
mov    %eax,%edi
call   1090 <assert@plt>
mov    $0xa,%edi
call   10b0 <skiboot_isspace@plt>
mov    %eax,%edi
call   1090 <assert@plt>
mov    $0x20,%edi
call   10b0 <skiboot_isspace@plt>
mov    %eax,%edi
call   1090 <assert@plt>
movl   $0x0,-0x8(%rbp)
cmpl   $0x101,-0x8(%rbp)
jge    144e <main+0x27e>
mov    -0x8(%rbp),%edi
call   10b0 <skiboot_isspace@plt>
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%edi
call   1080 <isspace@plt>
mov    %eax,-0x10(%rbp)
cmpl   $0x0,-0xc(%rbp)
je     141e <main+0x24e>
mov    -0x10(%rbp),%edi
call   1090 <assert@plt>
cmpl   $0x0,-0xc(%rbp)
jne    143b <main+0x26b>
cmpl   $0x0,-0x10(%rbp)
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
call   1090 <assert@plt>
jmp    1440 <main+0x270>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    13e9 <main+0x219>
movl   $0x30,-0x8(%rbp)
cmpl   $0x39,-0x8(%rbp)
jg     147c <main+0x2ac>
mov    -0x8(%rbp),%edi
call   1030 <skiboot_isxdigit@plt>
mov    %eax,%edi
call   1090 <assert@plt>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    1455 <main+0x285>
mov    $0x61,%edi
call   1030 <skiboot_isxdigit@plt>
mov    %eax,%edi
call   1090 <assert@plt>
mov    $0x41,%edi
call   1030 <skiboot_isxdigit@plt>
mov    %eax,%edi
call   1090 <assert@plt>
mov    $0x46,%edi
call   1030 <skiboot_isxdigit@plt>
mov    %eax,%edi
call   1090 <assert@plt>
mov    $0x5a,%edi
call   1030 <skiboot_isxdigit@plt>
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1090 <assert@plt>
movl   $0x0,-0x8(%rbp)
cmpl   $0x101,-0x8(%rbp)
jge    1535 <main+0x365>
mov    -0x8(%rbp),%edi
call   1030 <skiboot_isxdigit@plt>
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%edi
call   10e0 <isxdigit@plt>
mov    %eax,-0x10(%rbp)
cmpl   $0x0,-0xc(%rbp)
je     1505 <main+0x335>
mov    -0x10(%rbp),%edi
call   1090 <assert@plt>
cmpl   $0x0,-0xc(%rbp)
jne    1522 <main+0x352>
cmpl   $0x0,-0x10(%rbp)
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
call   1090 <assert@plt>
jmp    1527 <main+0x357>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    14d0 <main+0x300>
movl   $0x0,-0x8(%rbp)
cmpl   $0x101,-0x8(%rbp)
jge    1582 <main+0x3b2>
mov    -0x8(%rbp),%edi
call   10d0 <skiboot_tolower@plt>
mov    %rax,-0x18(%rbp)
mov    -0x8(%rbp),%edi
call   10a0 <tolower@plt>
mov    %rax,%rcx
mov    -0x18(%rbp),%rax
cmp    %rcx,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1090 <assert@plt>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    153c <main+0x36c>
movl   $0x0,-0x8(%rbp)
cmpl   $0x101,-0x8(%rbp)
jge    15cf <main+0x3ff>
mov    -0x8(%rbp),%edi
call   1040 <skiboot_toupper@plt>
mov    %rax,-0x20(%rbp)
mov    -0x8(%rbp),%edi
call   1060 <toupper@plt>
mov    %rax,%rcx
mov    -0x20(%rbp),%rax
cmp    %rcx,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1090 <assert@plt>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    1589 <main+0x3b9>
xor    %eax,%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %rbx
push   %rax
mov    $0x30,%edi
call   10e0 <skiboot_isdigit@plt>
mov    %eax,%edi
call   1080 <assert@plt>
mov    $0x31,%edi
call   10e0 <skiboot_isdigit@plt>
mov    %eax,%edi
call   1080 <assert@plt>
mov    $0x32,%edi
call   10e0 <skiboot_isdigit@plt>
mov    %eax,%edi
call   1080 <assert@plt>
mov    $0x33,%edi
call   10e0 <skiboot_isdigit@plt>
mov    %eax,%edi
call   1080 <assert@plt>
mov    $0x34,%edi
call   10e0 <skiboot_isdigit@plt>
mov    %eax,%edi
call   1080 <assert@plt>
mov    $0x35,%edi
call   10e0 <skiboot_isdigit@plt>
mov    %eax,%edi
call   1080 <assert@plt>
mov    $0x36,%edi
call   10e0 <skiboot_isdigit@plt>
mov    %eax,%edi
call   1080 <assert@plt>
mov    $0x37,%edi
call   10e0 <skiboot_isdigit@plt>
mov    %eax,%edi
call   1080 <assert@plt>
mov    $0x38,%edi
call   10e0 <skiboot_isdigit@plt>
mov    %eax,%edi
call   1080 <assert@plt>
mov    $0x39,%edi
call   10e0 <skiboot_isdigit@plt>
mov    %eax,%edi
call   1080 <assert@plt>
mov    $0x61,%edi
call   10e0 <skiboot_isdigit@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1080 <assert@plt>
mov    $0x5a,%edi
call   10e0 <skiboot_isdigit@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1080 <assert@plt>
xor    %ebx,%ebx
nopl   (%rax)
mov    %ebx,%edi
call   10e0 <skiboot_isdigit@plt>
lea    -0x30(%rbx),%ecx
cmp    $0xa,%ecx
setb   %cl
test   %eax,%eax
sete   %al
xor    %cl,%al
movzbl %al,%edi
call   1080 <assert@plt>
add    $0x1,%ebx
cmp    $0x101,%ebx
jne    12a0 <main+0xe0>
mov    $0x30,%edi
call   1060 <skiboot_isprint@plt>
mov    %eax,%edi
call   1080 <assert@plt>
mov    $0x31,%edi
call   1060 <skiboot_isprint@plt>
mov    %eax,%edi
call   1080 <assert@plt>
mov    $0x32,%edi
call   1060 <skiboot_isprint@plt>
mov    %eax,%edi
call   1080 <assert@plt>
mov    $0x33,%edi
call   1060 <skiboot_isprint@plt>
mov    %eax,%edi
call   1080 <assert@plt>
mov    $0x34,%edi
call   1060 <skiboot_isprint@plt>
mov    %eax,%edi
call   1080 <assert@plt>
mov    $0x35,%edi
call   1060 <skiboot_isprint@plt>
mov    %eax,%edi
call   1080 <assert@plt>
mov    $0x36,%edi
call   1060 <skiboot_isprint@plt>
mov    %eax,%edi
call   1080 <assert@plt>
mov    $0x37,%edi
call   1060 <skiboot_isprint@plt>
mov    %eax,%edi
call   1080 <assert@plt>
mov    $0x38,%edi
call   1060 <skiboot_isprint@plt>
mov    %eax,%edi
call   1080 <assert@plt>
mov    $0x39,%edi
call   1060 <skiboot_isprint@plt>
mov    %eax,%edi
call   1080 <assert@plt>
xor    %ebx,%ebx
xor    %edi,%edi
call   1060 <skiboot_isprint@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1080 <assert@plt>
mov    $0x4,%edi
call   1060 <skiboot_isprint@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1080 <assert@plt>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    %ebx,%edi
call   1060 <skiboot_isprint@plt>
mov    %eax,%ebp
mov    %ebx,%edi
call   10b0 <isprint@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
test   %ebp,%ebp
cmovne %eax,%edi
call   1080 <assert@plt>
add    $0x1,%ebx
cmp    $0x101,%ebx
jne    13b0 <main+0x1f0>
mov    $0x30,%edi
call   10a0 <skiboot_isspace@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1080 <assert@plt>
mov    $0x31,%edi
call   10a0 <skiboot_isspace@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1080 <assert@plt>
mov    $0x32,%edi
call   10a0 <skiboot_isspace@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1080 <assert@plt>
mov    $0x33,%edi
call   10a0 <skiboot_isspace@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1080 <assert@plt>
mov    $0x34,%edi
call   10a0 <skiboot_isspace@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1080 <assert@plt>
mov    $0x35,%edi
call   10a0 <skiboot_isspace@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1080 <assert@plt>
mov    $0x36,%edi
call   10a0 <skiboot_isspace@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1080 <assert@plt>
mov    $0x37,%edi
call   10a0 <skiboot_isspace@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1080 <assert@plt>
mov    $0x38,%edi
call   10a0 <skiboot_isspace@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1080 <assert@plt>
mov    $0x39,%edi
call   10a0 <skiboot_isspace@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1080 <assert@plt>
mov    $0xc,%edi
call   10a0 <skiboot_isspace@plt>
mov    %eax,%edi
call   1080 <assert@plt>
mov    $0xa,%edi
call   10a0 <skiboot_isspace@plt>
mov    %eax,%edi
call   1080 <assert@plt>
mov    $0x20,%edi
call   10a0 <skiboot_isspace@plt>
mov    %eax,%edi
call   1080 <assert@plt>
xor    %ebx,%ebx
nopl   0x0(%rax,%rax,1)
mov    %ebx,%edi
call   10a0 <skiboot_isspace@plt>
mov    %eax,%ebp
mov    %ebx,%edi
call   1070 <isspace@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
test   %ebp,%ebp
cmovne %eax,%edi
call   1080 <assert@plt>
add    $0x1,%ebx
cmp    $0x101,%ebx
jne    1500 <main+0x340>
mov    $0x30,%edi
call   1030 <skiboot_isxdigit@plt>
mov    %eax,%edi
call   1080 <assert@plt>
mov    $0x31,%edi
call   1030 <skiboot_isxdigit@plt>
mov    %eax,%edi
call   1080 <assert@plt>
mov    $0x32,%edi
call   1030 <skiboot_isxdigit@plt>
mov    %eax,%edi
call   1080 <assert@plt>
mov    $0x33,%edi
call   1030 <skiboot_isxdigit@plt>
mov    %eax,%edi
call   1080 <assert@plt>
mov    $0x34,%edi
call   1030 <skiboot_isxdigit@plt>
mov    %eax,%edi
call   1080 <assert@plt>
mov    $0x35,%edi
call   1030 <skiboot_isxdigit@plt>
mov    %eax,%edi
call   1080 <assert@plt>
mov    $0x36,%edi
call   1030 <skiboot_isxdigit@plt>
mov    %eax,%edi
call   1080 <assert@plt>
mov    $0x37,%edi
call   1030 <skiboot_isxdigit@plt>
mov    %eax,%edi
call   1080 <assert@plt>
mov    $0x38,%edi
call   1030 <skiboot_isxdigit@plt>
mov    %eax,%edi
call   1080 <assert@plt>
mov    $0x39,%edi
call   1030 <skiboot_isxdigit@plt>
mov    %eax,%edi
call   1080 <assert@plt>
mov    $0x61,%edi
call   1030 <skiboot_isxdigit@plt>
mov    %eax,%edi
call   1080 <assert@plt>
mov    $0x41,%edi
call   1030 <skiboot_isxdigit@plt>
mov    %eax,%edi
call   1080 <assert@plt>
mov    $0x46,%edi
call   1030 <skiboot_isxdigit@plt>
mov    %eax,%edi
call   1080 <assert@plt>
mov    $0x5a,%edi
call   1030 <skiboot_isxdigit@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1080 <assert@plt>
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    %ebx,%edi
call   1030 <skiboot_isxdigit@plt>
mov    %eax,%ebp
mov    %ebx,%edi
call   10d0 <isxdigit@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
test   %ebp,%ebp
cmovne %eax,%edi
call   1080 <assert@plt>
add    $0x1,%ebx
cmp    $0x101,%ebx
jne    1630 <main+0x470>
xor    %ebx,%ebx
nop
mov    %ebx,%edi
call   10c0 <skiboot_tolower@plt>
mov    %rax,%rbp
mov    %ebx,%edi
call   1090 <tolower@plt>
xor    %edi,%edi
cmp    %rax,%rbp
sete   %dil
call   1080 <assert@plt>
add    $0x1,%ebx
cmp    $0x101,%ebx
jne    1660 <main+0x4a0>
xor    %ebx,%ebx
nopl   0x0(%rax)
mov    %ebx,%edi
call   1040 <skiboot_toupper@plt>
mov    %rax,%rbp
mov    %ebx,%edi
call   1050 <toupper@plt>
xor    %edi,%edi
cmp    %rax,%rbp
sete   %dil
call   1080 <assert@plt>
add    $0x1,%ebx
cmp    $0x101,%ebx
jne    1690 <main+0x4d0>
xor    %eax,%eax
add    $0x8,%rsp
pop    %rbx
pop    %rbp
ret

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

LLVM IR (-O2):
define i32 @main() {
%1 = tail call i32 @skiboot_isdigit(i32 48)
%2 = tail call i32 @assert(i32 %1)
%3 = tail call i32 @skiboot_isdigit(i32 49)
%4 = tail call i32 @assert(i32 %3)
%5 = tail call i32 @skiboot_isdigit(i32 50)
%6 = tail call i32 @assert(i32 %5)
%7 = tail call i32 @skiboot_isdigit(i32 51)
%8 = tail call i32 @assert(i32 %7)
%9 = tail call i32 @skiboot_isdigit(i32 52)
%10 = tail call i32 @assert(i32 %9)
%11 = tail call i32 @skiboot_isdigit(i32 53)
%12 = tail call i32 @assert(i32 %11)
%13 = tail call i32 @skiboot_isdigit(i32 54)
%14 = tail call i32 @assert(i32 %13)
%15 = tail call i32 @skiboot_isdigit(i32 55)
%16 = tail call i32 @assert(i32 %15)
%17 = tail call i32 @skiboot_isdigit(i32 56)
%18 = tail call i32 @assert(i32 %17)
%19 = tail call i32 @skiboot_isdigit(i32 57)
%20 = tail call i32 @assert(i32 %19)
%21 = tail call i32 @skiboot_isdigit(i32 97)
%22 = icmp eq i32 %21, 0
%23 = zext i1 %22 to i32
%24 = tail call i32 @assert(i32 %23)
%25 = tail call i32 @skiboot_isdigit(i32 90)
%26 = icmp eq i32 %25, 0
%27 = zext i1 %26 to i32
%28 = tail call i32 @assert(i32 %27)
br label %29
29: ; preds = %0, %29
%30 = phi i32 [ 0, %0 ], [ %38, %29 ]
%31 = tail call i32 @skiboot_isdigit(i32 %30)
%32 = add nsw i32 %30, -48
%33 = icmp ult i32 %32, 10
%34 = icmp eq i32 %31, 0
%35 = xor i1 %33, %34
%36 = zext i1 %35 to i32
%37 = tail call i32 @assert(i32 %36)
%38 = add nuw nsw i32 %30, 1
%39 = icmp eq i32 %38, 257
br i1 %39, label %40, label %29
40: ; preds = %29
%41 = tail call i32 @skiboot_isprint(i32 48)
%42 = tail call i32 @assert(i32 %41)
%43 = tail call i32 @skiboot_isprint(i32 49)
%44 = tail call i32 @assert(i32 %43)
%45 = tail call i32 @skiboot_isprint(i32 50)
%46 = tail call i32 @assert(i32 %45)
%47 = tail call i32 @skiboot_isprint(i32 51)
%48 = tail call i32 @assert(i32 %47)
%49 = tail call i32 @skiboot_isprint(i32 52)
%50 = tail call i32 @assert(i32 %49)
%51 = tail call i32 @skiboot_isprint(i32 53)
%52 = tail call i32 @assert(i32 %51)
%53 = tail call i32 @skiboot_isprint(i32 54)
%54 = tail call i32 @assert(i32 %53)
%55 = tail call i32 @skiboot_isprint(i32 55)
%56 = tail call i32 @assert(i32 %55)
%57 = tail call i32 @skiboot_isprint(i32 56)
%58 = tail call i32 @assert(i32 %57)
%59 = tail call i32 @skiboot_isprint(i32 57)
%60 = tail call i32 @assert(i32 %59)
%61 = tail call i32 @skiboot_isprint(i32 0)
%62 = icmp eq i32 %61, 0
%63 = zext i1 %62 to i32
%64 = tail call i32 @assert(i32 %63)
%65 = tail call i32 @skiboot_isprint(i32 4)
%66 = icmp eq i32 %65, 0
%67 = zext i1 %66 to i32
%68 = tail call i32 @assert(i32 %67)
br label %69
69: ; preds = %40, %69
%70 = phi i32 [ 0, %40 ], [ %78, %69 ]
%71 = tail call i32 @skiboot_isprint(i32 %70)
%72 = tail call i32 @isprint(i32 %70)
%73 = icmp eq i32 %71, 0
%74 = icmp eq i32 %72, 0
%75 = zext i1 %74 to i32
%76 = select i1 %73, i32 %75, i32 %72
%77 = tail call i32 @assert(i32 %76)
%78 = add nuw nsw i32 %70, 1
%79 = icmp eq i32 %78, 257
br i1 %79, label %80, label %69
80: ; preds = %69
%81 = tail call i32 @skiboot_isspace(i32 48)
%82 = icmp eq i32 %81, 0
%83 = zext i1 %82 to i32
%84 = tail call i32 @assert(i32 %83)
%85 = tail call i32 @skiboot_isspace(i32 49)
%86 = icmp eq i32 %85, 0
%87 = zext i1 %86 to i32
%88 = tail call i32 @assert(i32 %87)
%89 = tail call i32 @skiboot_isspace(i32 50)
%90 = icmp eq i32 %89, 0
%91 = zext i1 %90 to i32
%92 = tail call i32 @assert(i32 %91)
%93 = tail call i32 @skiboot_isspace(i32 51)
%94 = icmp eq i32 %93, 0
%95 = zext i1 %94 to i32
%96 = tail call i32 @assert(i32 %95)
%97 = tail call i32 @skiboot_isspace(i32 52)
%98 = icmp eq i32 %97, 0
%99 = zext i1 %98 to i32
%100 = tail call i32 @assert(i32 %99)
%101 = tail call i32 @skiboot_isspace(i32 53)
%102 = icmp eq i32 %101, 0
%103 = zext i1 %102 to i32
%104 = tail call i32 @assert(i32 %103)
%105 = tail call i32 @skiboot_isspace(i32 54)
%106 = icmp eq i32 %105, 0
%107 = zext i1 %106 to i32
%108 = tail call i32 @assert(i32 %107)
%109 = tail call i32 @skiboot_isspace(i32 55)
%110 = icmp eq i32 %109, 0
%111 = zext i1 %110 to i32
%112 = tail call i32 @assert(i32 %111)
%113 = tail call i32 @skiboot_isspace(i32 56)
%114 = icmp eq i32 %113, 0
%115 = zext i1 %114 to i32
%116 = tail call i32 @assert(i32 %115)
%117 = tail call i32 @skiboot_isspace(i32 57)
%118 = icmp eq i32 %117, 0
%119 = zext i1 %118 to i32
%120 = tail call i32 @assert(i32 %119)
%121 = tail call i32 @skiboot_isspace(i32 12)
%122 = tail call i32 @assert(i32 %121)
%123 = tail call i32 @skiboot_isspace(i32 10)
%124 = tail call i32 @assert(i32 %123)
%125 = tail call i32 @skiboot_isspace(i32 32)
%126 = tail call i32 @assert(i32 %125)
br label %127
127: ; preds = %80, %127
%128 = phi i32 [ 0, %80 ], [ %136, %127 ]
%129 = tail call i32 @skiboot_isspace(i32 %128)
%130 = tail call i32 @isspace(i32 %128)
%131 = icmp eq i32 %129, 0
%132 = icmp eq i32 %130, 0
%133 = zext i1 %132 to i32
%134 = select i1 %131, i32 %133, i32 %130
%135 = tail call i32 @assert(i32 %134)
%136 = add nuw nsw i32 %128, 1
%137 = icmp eq i32 %136, 257
br i1 %137, label %138, label %127
138: ; preds = %127
%139 = tail call i32 @skiboot_isxdigit(i32 48)
%140 = tail call i32 @assert(i32 %139)
%141 = tail call i32 @skiboot_isxdigit(i32 49)
%142 = tail call i32 @assert(i32 %141)
%143 = tail call i32 @skiboot_isxdigit(i32 50)
%144 = tail call i32 @assert(i32 %143)
%145 = tail call i32 @skiboot_isxdigit(i32 51)
%146 = tail call i32 @assert(i32 %145)
%147 = tail call i32 @skiboot_isxdigit(i32 52)
%148 = tail call i32 @assert(i32 %147)
%149 = tail call i32 @skiboot_isxdigit(i32 53)
%150 = tail call i32 @assert(i32 %149)
%151 = tail call i32 @skiboot_isxdigit(i32 54)
%152 = tail call i32 @assert(i32 %151)
%153 = tail call i32 @skiboot_isxdigit(i32 55)
%154 = tail call i32 @assert(i32 %153)
%155 = tail call i32 @skiboot_isxdigit(i32 56)
%156 = tail call i32 @assert(i32 %155)
%157 = tail call i32 @skiboot_isxdigit(i32 57)
%158 = tail call i32 @assert(i32 %157)
%159 = tail call i32 @skiboot_isxdigit(i32 97)
%160 = tail call i32 @assert(i32 %159)
%161 = tail call i32 @skiboot_isxdigit(i32 65)
%162 = tail call i32 @assert(i32 %161)
%163 = tail call i32 @skiboot_isxdigit(i32 70)
%164 = tail call i32 @assert(i32 %163)
%165 = tail call i32 @skiboot_isxdigit(i32 90)
%166 = icmp eq i32 %165, 0
%167 = zext i1 %166 to i32
%168 = tail call i32 @assert(i32 %167)
br label %169
169: ; preds = %138, %169
%170 = phi i32 [ 0, %138 ], [ %178, %169 ]
%171 = tail call i32 @skiboot_isxdigit(i32 %170)
%172 = tail call i32 @isxdigit(i32 %170)
%173 = icmp eq i32 %171, 0
%174 = icmp eq i32 %172, 0
%175 = zext i1 %174 to i32
%176 = select i1 %173, i32 %175, i32 %172
%177 = tail call i32 @assert(i32 %176)
%178 = add nuw nsw i32 %170, 1
%179 = icmp eq i32 %178, 257
br i1 %179, label %180, label %169
180: ; preds = %169, %180
%181 = phi i32 [ %187, %180 ], [ 0, %169 ]
%182 = tail call i64 @skiboot_tolower(i32 %181)
%183 = tail call i64 @tolower(i32 %181)
%184 = icmp eq i64 %182, %183
%185 = zext i1 %184 to i32
%186 = tail call i32 @assert(i32 %185)
%187 = add nuw nsw i32 %181, 1
%188 = icmp eq i32 %187, 257
br i1 %188, label %189, label %180
189: ; preds = %180, %189
%190 = phi i32 [ %196, %189 ], [ 0, %180 ]
%191 = tail call i64 @skiboot_toupper(i32 %190)
%192 = tail call i64 @toupper(i32 %190)
%193 = icmp eq i64 %191, %192
%194 = zext i1 %193 to i32
%195 = tail call i32 @assert(i32 %194)
%196 = add nuw nsw i32 %190, 1
%197 = icmp eq i32 %196, 257
br i1 %197, label %198, label %189
198: ; preds = %189
ret i32 0
}