#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*/ free(char *);
scalar_t__ isdigit(char const);
scalar_t__ isspace(char const);
char *malloc(int /*<<< orphan*/);
int /*<<< orphan*/ strlen(char const *);
bool luhn(const char *input) {
  int length = 0;
  char *data = malloc(strlen(input));
  for (size_t i = 0; input[i] != '\0'; ++i) {
    if (!(isdigit(input[i]) || isspace(input[i]))) {
      free(data);
      return false;
    }
    if (!isspace(input[i]))
      data[length++] = input[i];
  }
  data[length] = '\0';
  if (length <= 1) {
    free(data);
    return false;
  }
  int sum = 0;
  for (int i = length - 1; i >= 0; --i) {
    int x = data[i] - '0';
    if ((length - i) % 2 == 0) {
      x *= 2;
      if (x > 9)
        x -= 9;
    }
    sum += x;
  }
  free(data);
  return sum % 10 == 0;
}


x86 assembly (clang, -O0):
<luhn>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
mov    -0x10(%rbp),%rdi
call   1050 <strlen@plt>
mov    %eax,%edi
call   1070 <malloc@plt>
mov    %rax,-0x20(%rbp)
movq   $0x0,-0x28(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     1230 <luhn+0xe0>
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%edi
call   1040 <isdigit@plt>
cmp    $0x0,%rax
jne    11df <luhn+0x8f>
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%edi
call   1060 <isspace@plt>
cmp    $0x0,%rax
jne    11df <luhn+0x8f>
mov    -0x20(%rbp),%rdi
call   1030 <free@plt>
movl   $0x0,-0x4(%rbp)
jmp    12f8 <luhn+0x1a8>
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%edi
call   1060 <isspace@plt>
cmp    $0x0,%rax
jne    121a <luhn+0xca>
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x20(%rbp),%rax
mov    -0x14(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x14(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
jmp    121f <luhn+0xcf>
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
jmp    117f <luhn+0x2f>
mov    -0x20(%rbp),%rax
movslq -0x14(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
cmpl   $0x1,-0x14(%rbp)
jg     125b <luhn+0x10b>
mov    -0x20(%rbp),%rdi
call   1030 <free@plt>
movl   $0x0,-0x4(%rbp)
jmp    12f8 <luhn+0x1a8>
movl   $0x0,-0x2c(%rbp)
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x30(%rbp)
cmpl   $0x0,-0x30(%rbp)
jl     12d6 <luhn+0x186>
mov    -0x20(%rbp),%rax
movslq -0x30(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
sub    $0x30,%eax
mov    %eax,-0x34(%rbp)
mov    -0x14(%rbp),%eax
sub    -0x30(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
jne    12bf <luhn+0x16f>
mov    -0x34(%rbp),%eax
shl    $0x1,%eax
mov    %eax,-0x34(%rbp)
cmpl   $0x9,-0x34(%rbp)
jle    12ba <luhn+0x16a>
mov    -0x34(%rbp),%eax
sub    $0x9,%eax
mov    %eax,-0x34(%rbp)
jmp    12bf <luhn+0x16f>
mov    -0x34(%rbp),%eax
add    -0x2c(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x30(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x30(%rbp)
jmp    126b <luhn+0x11b>
mov    -0x20(%rbp),%rdi
call   1030 <free@plt>
mov    -0x2c(%rbp),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
sete   %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<luhn>:
push   %r15
push   %r14
push   %rbx
mov    %rdi,%rbx
call   1050 <strlen@plt>
mov    %eax,%edi
call   1070 <malloc@plt>
mov    %rax,%r14
mov    (%rbx),%al
test   %al,%al
je     1243 <luhn+0xf3>
xor    %r15d,%r15d
jmp    118c <luhn+0x3c>
cs nopw 0x0(%rax,%rax,1)
movzbl 0x1(%rbx),%eax
add    $0x1,%rbx
test   %al,%al
je     11c7 <luhn+0x77>
movsbl %al,%edi
call   1040 <isdigit@plt>
test   %rax,%rax
jne    11aa <luhn+0x5a>
movsbl (%rbx),%edi
call   1060 <isspace@plt>
test   %rax,%rax
je     1247 <luhn+0xf7>
movsbl (%rbx),%edi
call   1060 <isspace@plt>
test   %rax,%rax
jne    1180 <luhn+0x30>
movzbl (%rbx),%eax
movslq %r15d,%rcx
add    $0x1,%r15d
mov    %al,(%r14,%rcx,1)
jmp    1180 <luhn+0x30>
movslq %r15d,%rax
movb   $0x0,(%r14,%rax,1)
cmp    $0x2,%eax
jl     1247 <luhn+0xf7>
mov    %r15d,%eax
xor    %ebx,%ebx
cmp    $0x4,%r15d
jae    1257 <luhn+0x107>
mov    %rax,%rcx
lea    0x1(%rcx),%rax
sub    %ecx,%r15d
add    $0x1,%r15d
nopl   (%rax)
lea    -0x2(%rax),%ecx
movsbl (%r14,%rcx,1),%ecx
cmp    $0x35,%ecx
lea    -0x60(%rcx,%rcx,1),%edx
lea    -0x69(%rcx,%rcx,1),%esi
cmovl  %edx,%esi
add    $0xffffffd0,%ecx
test   $0x1,%r15b
cmovne %ecx,%esi
add    %esi,%ebx
add    $0xffffffffffffffff,%rax
add    $0x1,%r15d
cmp    $0x1,%rax
ja     11f0 <luhn+0xa0>
mov    %r14,%rdi
call   1030 <free@plt>
imul   $0xcccccccd,%ebx,%ecx
add    $0x19999998,%ecx
ror    %ecx
xor    %eax,%eax
cmp    $0x19999999,%ecx
setb   %al
jmp    1251 <luhn+0x101>
movb   $0x0,(%r14)
mov    %r14,%rdi
call   1030 <free@plt>
xor    %eax,%eax
pop    %rbx
pop    %r14
pop    %r15
ret
lea    -0x1(%rax),%rcx
lea    -0x1(%r15),%edx
cmp    %ecx,%edx
jb     11df <luhn+0x8f>
shr    $0x20,%rcx
jne    11df <luhn+0x8f>
mov    %eax,%edx
and    $0xfffffffc,%edx
mov    %eax,%ecx
and    $0x3,%ecx
movd   %r15d,%xmm0
pshufd $0x0,%xmm0,%xmm1
pxor   %xmm8,%xmm8
movdqa 0xd6d(%rip),%xmm9
movdqa 0xd74(%rip),%xmm10
movdqa 0xd7b(%rip),%xmm11
movdqa 0xd82(%rip),%xmm12
movdqa 0xd8a(%rip),%xmm7
mov    %rax,%rsi
mov    %rdx,%rdi
pxor   %xmm6,%xmm6
movq   %rsi,%xmm0
pshufd $0x44,%xmm0,%xmm2
movdqa %xmm2,%xmm0
paddq  %xmm9,%xmm0
paddq  %xmm10,%xmm2
movq   %xmm2,%rbx
shufps $0x88,%xmm0,%xmm2
movd   %ebx,%xmm0
movss  %xmm0,%xmm2
movdqa %xmm1,%xmm0
psubd  %xmm2,%xmm0
mov    %ebx,%ebx
movd   -0x3(%r14,%rbx,1),%xmm2
punpcklbw %xmm8,%xmm2
pshuflw $0x1b,%xmm2,%xmm2
packuswb %xmm2,%xmm2
punpcklbw %xmm2,%xmm3
punpcklwd %xmm3,%xmm4
psrad  $0x18,%xmm4
paddd  %xmm11,%xmm4
movdqa %xmm4,%xmm3
paddd  %xmm4,%xmm3
pcmpgtb %xmm12,%xmm2
punpcklbw %xmm2,%xmm2
punpcklwd %xmm2,%xmm2
psrad  $0x18,%xmm2
movdqa %xmm2,%xmm5
pandn  %xmm3,%xmm5
paddd  %xmm7,%xmm3
pand   %xmm2,%xmm3
por    %xmm5,%xmm3
pslld  $0x1f,%xmm0
psrad  $0x1f,%xmm0
pand   %xmm0,%xmm4
pandn  %xmm3,%xmm0
por    %xmm4,%xmm0
paddd  %xmm0,%xmm6
add    $0xfffffffffffffffc,%rsi
add    $0xfffffffffffffffc,%rdi
jne    12c0 <luhn+0x170>
pshufd $0xee,%xmm6,%xmm0
paddd  %xmm6,%xmm0
pshufd $0x55,%xmm0,%xmm1
paddd  %xmm0,%xmm1
movd   %xmm1,%ebx
cmp    %rax,%rdx
jne    11e2 <luhn+0x92>
jmp    1220 <luhn+0xd0>

LLVM IR (-O0):
define i32 @luhn(i8* %0) {
%2 = alloca i32
%3 = alloca i8*
%4 = alloca i32
%5 = alloca i8*
%6 = alloca i64
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
store i8* %0, i8** %3
store i32 0, i32* %4
%10 = load i8*, i8** %3
%11 = call i32 @strlen(i8* %10)
%12 = call i8* @malloc(i32 %11)
store i8* %12, i8** %5
store i64 0, i64* %6
br label %13
13: ; preds = %55, %1
%14 = load i8*, i8** %3
%15 = load i64, i64* %6
%16 = getelementptr inbounds i8, i8* %14, i64 %15
%17 = load i8, i8* %16
%18 = sext i8 %17 to i32
%19 = icmp ne i32 %18, 0
br i1 %19, label %20, label %58
20: ; preds = %13
%21 = load i8*, i8** %3
%22 = load i64, i64* %6
%23 = getelementptr inbounds i8, i8* %21, i64 %22
%24 = load i8, i8* %23
%25 = call i64 @isdigit(i8 signext %24)
%26 = icmp ne i64 %25, 0
br i1 %26, label %37, label %27
27: ; preds = %20
%28 = load i8*, i8** %3
%29 = load i64, i64* %6
%30 = getelementptr inbounds i8, i8* %28, i64 %29
%31 = load i8, i8* %30
%32 = call i64 @isspace(i8 signext %31)
%33 = icmp ne i64 %32, 0
br i1 %33, label %37, label %34
34: ; preds = %27
%35 = load i8*, i8** %5
%36 = call i32 @free(i8* %35)
store i32 0, i32* %2
br label %110
37: ; preds = %27, %20
%38 = load i8*, i8** %3
%39 = load i64, i64* %6
%40 = getelementptr inbounds i8, i8* %38, i64 %39
%41 = load i8, i8* %40
%42 = call i64 @isspace(i8 signext %41)
%43 = icmp ne i64 %42, 0
br i1 %43, label %54, label %44
44: ; preds = %37
%45 = load i8*, i8** %3
%46 = load i64, i64* %6
%47 = getelementptr inbounds i8, i8* %45, i64 %46
%48 = load i8, i8* %47
%49 = load i8*, i8** %5
%50 = load i32, i32* %4
%51 = add nsw i32 %50, 1
store i32 %51, i32* %4
%52 = sext i32 %50 to i64
%53 = getelementptr inbounds i8, i8* %49, i64 %52
store i8 %48, i8* %53
br label %54
54: ; preds = %44, %37
br label %55
55: ; preds = %54
%56 = load i64, i64* %6
%57 = add i64 %56, 1
store i64 %57, i64* %6
br label %13
58: ; preds = %13
%59 = load i8*, i8** %5
%60 = load i32, i32* %4
%61 = sext i32 %60 to i64
%62 = getelementptr inbounds i8, i8* %59, i64 %61
store i8 0, i8* %62
%63 = load i32, i32* %4
%64 = icmp sle i32 %63, 1
br i1 %64, label %65, label %68
65: ; preds = %58
%66 = load i8*, i8** %5
%67 = call i32 @free(i8* %66)
store i32 0, i32* %2
br label %110
68: ; preds = %58
store i32 0, i32* %7
%69 = load i32, i32* %4
%70 = sub nsw i32 %69, 1
store i32 %70, i32* %8
br label %71
71: ; preds = %100, %68
%72 = load i32, i32* %8
%73 = icmp sge i32 %72, 0
br i1 %73, label %74, label %103
74: ; preds = %71
%75 = load i8*, i8** %5
%76 = load i32, i32* %8
%77 = sext i32 %76 to i64
%78 = getelementptr inbounds i8, i8* %75, i64 %77
%79 = load i8, i8* %78
%80 = sext i8 %79 to i32
%81 = sub nsw i32 %80, 48
store i32 %81, i32* %9
%82 = load i32, i32* %4
%83 = load i32, i32* %8
%84 = sub nsw i32 %82, %83
%85 = srem i32 %84, 2
%86 = icmp eq i32 %85, 0
br i1 %86, label %87, label %96
87: ; preds = %74
%88 = load i32, i32* %9
%89 = mul nsw i32 %88, 2
store i32 %89, i32* %9
%90 = load i32, i32* %9
%91 = icmp sgt i32 %90, 9
br i1 %91, label %92, label %95
92: ; preds = %87
%93 = load i32, i32* %9
%94 = sub nsw i32 %93, 9
store i32 %94, i32* %9
br label %95
95: ; preds = %92, %87
br label %96
96: ; preds = %95, %74
%97 = load i32, i32* %9
%98 = load i32, i32* %7
%99 = add nsw i32 %98, %97
store i32 %99, i32* %7
br label %100
100: ; preds = %96
%101 = load i32, i32* %8
%102 = add nsw i32 %101, -1
store i32 %102, i32* %8
br label %71
103: ; preds = %71
%104 = load i8*, i8** %5
%105 = call i32 @free(i8* %104)
%106 = load i32, i32* %7
%107 = srem i32 %106, 10
%108 = icmp eq i32 %107, 0
%109 = zext i1 %108 to i32
store i32 %109, i32* %2
br label %110
110: ; preds = %103, %65, %34
%111 = load i32, i32* %2
ret i32 %111
}

LLVM IR (-O2):
define i32 @luhn(i8* %0) {
%2 = tail call i32 @strlen(i8* %0)
%3 = tail call i8* @malloc(i32 %2)
%4 = load i8, i8* %0
%5 = icmp eq i8 %4, 0
br i1 %5, label %6, label %7
6: ; preds = %1
store i8 0, i8* %3
br label %88
7: ; preds = %1, %29
%8 = phi i8 [ %33, %29 ], [ %4, %1 ]
%9 = phi i8* [ %32, %29 ], [ %0, %1 ]
%10 = phi i64 [ %31, %29 ], [ 0, %1 ]
%11 = phi i32 [ %30, %29 ], [ 0, %1 ]
%12 = tail call i64 @isdigit(i8 signext %8)
%13 = icmp eq i64 %12, 0
br i1 %13, label %14, label %20
14: ; preds = %7
%15 = load i8, i8* %9
%16 = tail call i64 @isspace(i8 signext %15)
%17 = icmp eq i64 %16, 0
br i1 %17, label %18, label %20
18: ; preds = %14
%19 = tail call i32 @free(i8* %3)
br label %116
20: ; preds = %14, %7
%21 = load i8, i8* %9
%22 = tail call i64 @isspace(i8 signext %21)
%23 = icmp eq i64 %22, 0
br i1 %23, label %24, label %29
24: ; preds = %20
%25 = load i8, i8* %9
%26 = add nsw i32 %11, 1
%27 = sext i32 %11 to i64
%28 = getelementptr inbounds i8, i8* %3, i64 %27
store i8 %25, i8* %28
br label %29
29: ; preds = %20, %24
%30 = phi i32 [ %11, %20 ], [ %26, %24 ]
%31 = add i64 %10, 1
%32 = getelementptr inbounds i8, i8* %0, i64 %31
%33 = load i8, i8* %32
%34 = icmp eq i8 %33, 0
br i1 %34, label %35, label %7
35: ; preds = %29
%36 = sext i32 %30 to i64
%37 = getelementptr inbounds i8, i8* %3, i64 %36
store i8 0, i8* %37
%38 = icmp slt i32 %30, 2
br i1 %38, label %88, label %39
39: ; preds = %35
%40 = zext i32 %30 to i64
%41 = icmp ult i32 %30, 4
br i1 %41, label %85, label %42
42: ; preds = %39
%43 = add nsw i64 %40, -1
%44 = add i32 %30, -1
%45 = trunc i64 %43 to i32
%46 = icmp ult i32 %44, %45
%47 = icmp ugt i64 %43, 4294967295
%48 = or i1 %46, %47
br i1 %48, label %85, label %49
49: ; preds = %42
%50 = and i64 %40, 4294967292
%51 = and i64 %40, 3
%52 = insertelement <4 x i32> poison, i32 %30, i64 0
%53 = shufflevector <4 x i32> %52, <4 x i32> poison, <4 x i32> zeroinitializer
%54 = getelementptr inbounds i8, i8* %3, i64 -3
br label %55
55: ; preds = %55, %49
%56 = phi i64 [ 0, %49 ], [ %80, %55 ]
%57 = phi <4 x i32> [ zeroinitializer, %49 ], [ %79, %55 ]
%58 = sub i64 %40, %56
%59 = insertelement <4 x i64> poison, i64 %58, i64 0
%60 = shufflevector <4 x i64> %59, <4 x i64> poison, <4 x i32> zeroinitializer
%61 = add <4 x i64> %60, <i64 -1, i64 -2, i64 -3, i64 -4>
%62 = trunc <4 x i64> %61 to <4 x i32>
%63 = extractelement <4 x i64> %61, i64 0
%64 = and i64 %63, 4294967295
%65 = getelementptr inbounds i8, i8* %54, i64 %64
%66 = bitcast i8* %65 to <4 x i8>*
%67 = load <4 x i8>, <4 x i8>* %66
%68 = shufflevector <4 x i8> %67, <4 x i8> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%69 = sext <4 x i8> %68 to <4 x i32>
%70 = add nsw <4 x i32> %69, <i32 -48, i32 -48, i32 -48, i32 -48>
%71 = sub nsw <4 x i32> %53, %62
%72 = and <4 x i32> %71, <i32 1, i32 1, i32 1, i32 1>
%73 = icmp eq <4 x i32> %72, zeroinitializer
%74 = shl nsw <4 x i32> %70, <i32 1, i32 1, i32 1, i32 1>
%75 = icmp sgt <4 x i8> %68, <i8 52, i8 52, i8 52, i8 52>
%76 = add nsw <4 x i32> %74, <i32 -9, i32 -9, i32 -9, i32 -9>
%77 = select <4 x i1> %75, <4 x i32> %76, <4 x i32> %74
%78 = select <4 x i1> %73, <4 x i32> %77, <4 x i32> %70
%79 = add <4 x i32> %78, %57
%80 = add nuw i64 %56, 4
%81 = icmp eq i64 %80, %50
br i1 %81, label %82, label %55
82: ; preds = %55
%83 = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> %79)
%84 = icmp eq i64 %50, %40
br i1 %84, label %90, label %85
85: ; preds = %42, %39, %82
%86 = phi i64 [ %40, %42 ], [ %40, %39 ], [ %51, %82 ]
%87 = phi i32 [ 0, %42 ], [ 0, %39 ], [ %83, %82 ]
br label %96
88: ; preds = %6, %35
%89 = tail call i32 @free(i8* %3)
br label %116
90: ; preds = %96, %82
%91 = phi i32 [ %83, %82 ], [ %114, %96 ]
%92 = tail call i32 @free(i8* %3)
%93 = srem i32 %91, 10
%94 = icmp eq i32 %93, 0
%95 = zext i1 %94 to i32
br label %116
96: ; preds = %85, %96
%97 = phi i64 [ %99, %96 ], [ %86, %85 ]
%98 = phi i32 [ %114, %96 ], [ %87, %85 ]
%99 = add nsw i64 %97, -1
%100 = trunc i64 %99 to i32
%101 = and i64 %99, 4294967295
%102 = getelementptr inbounds i8, i8* %3, i64 %101
%103 = load i8, i8* %102
%104 = sext i8 %103 to i32
%105 = add nsw i32 %104, -48
%106 = sub nsw i32 %30, %100
%107 = and i32 %106, 1
%108 = icmp eq i32 %107, 0
%109 = shl nsw i32 %105, 1
%110 = icmp sgt i8 %103, 52
%111 = add nsw i32 %109, -9
%112 = select i1 %110, i32 %111, i32 %109
%113 = select i1 %108, i32 %112, i32 %105
%114 = add nsw i32 %113, %98
%115 = icmp ugt i64 %97, 1
br i1 %115, label %96, label %90
116: ; preds = %18, %90, %88
%117 = phi i32 [ 0, %88 ], [ %95, %90 ], [ 0, %18 ]
ret i32 %117
}