#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 *);
const char *extract_data(char **string) {
  char *str;
  if (**string != '"')
    return NULL;
  else
    (*string)++;
  str = *string;
  for (; *str; str++) {
    switch (*str) {
    case '"':
      return str;
      break;
    case 'a':
    case 'b':
    case 'c':
    case 'd':
    case 'e':
    case 'f':
    case 'A':
    case 'B':
    case 'C':
    case 'D':
    case 'E':
    case 'F':
    case '0':
    case '1':
    case '2':
    case '3':
    case '4':
    case '5':
    case '6':
    case '7':
    case '8':
    case '9':
      break;
    case '%':
      str++;
      switch (*str) {
      case '0':
      case '1':
      case '2':
      case '3':
      case '4':
      case '5':
      case '6':
      case '7':
      case '8':
      case '9':
        break;
      default:
        printf("Bad %% argument!\n");
        return NULL;
      }
      break;
    default:
      printf("Bad char in data!\n");
      return NULL;
    }
  }
  return NULL;
}


x86 assembly (clang, -O0):
<extract_data>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
movsbl (%rax),%eax
cmp    $0x22,%eax
je     113c <extract_data+0x2c>
movq   $0x0,-0x8(%rbp)
jmp    121f <extract_data+0x10f>
mov    -0x10(%rbp),%rax
mov    (%rax),%rcx
add    $0x1,%rcx
mov    %rcx,(%rax)
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
cmpb   $0x0,(%rax)
je     1217 <extract_data+0x107>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
add    $0xffffffde,%eax
mov    %eax,%ecx
mov    %rcx,-0x20(%rbp)
sub    $0x44,%eax
ja     11e8 <extract_data+0xd8>
mov    -0x20(%rbp),%rax
lea    0xe7a(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
mov    -0x18(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    121f <extract_data+0x10f>
jmp    1201 <extract_data+0xf1>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
add    $0xffffffd0,%eax
sub    $0x9,%eax
ja     11ca <extract_data+0xba>
jmp    11c5 <extract_data+0xb5>
jmp    11e3 <extract_data+0xd3>
lea    0xf43(%rip),%rdi
call   1030 <printf@plt>
movq   $0x0,-0x8(%rbp)
jmp    121f <extract_data+0x10f>
jmp    1201 <extract_data+0xf1>
lea    0xf37(%rip),%rdi
call   1030 <printf@plt>
movq   $0x0,-0x8(%rbp)
jmp    121f <extract_data+0x10f>
jmp    1206 <extract_data+0xf6>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    1155 <extract_data+0x45>
movq   $0x0,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<extract_data>:
push   %rax
mov    (%rdi),%rcx
cmpb   $0x22,(%rcx)
jne    118e <extract_data+0x6e>
lea    0x1(%rcx),%rax
mov    %rax,(%rdi)
mov    0x1(%rcx),%dl
test   %dl,%dl
je     118e <extract_data+0x6e>
lea    0xec2(%rip),%rcx
xchg   %ax,%ax
movsbl %dl,%edx
add    $0xffffffde,%edx
cmp    $0x44,%edx
ja     1174 <extract_data+0x54>
movslq (%rcx,%rdx,4),%rdx
add    %rcx,%rdx
jmp    *%rdx
movzbl 0x1(%rax),%edx
add    $0x1,%rax
test   %dl,%dl
jne    1140 <extract_data+0x20>
jmp    118e <extract_data+0x6e>
movsbl 0x1(%rax),%edx
add    $0xffffffd0,%edx
cmp    $0xa,%edx
jae    1182 <extract_data+0x62>
add    $0x1,%rax
jmp    1154 <extract_data+0x34>
lea    0xfab(%rip),%rdi
call   1030 <puts@plt>
jmp    118e <extract_data+0x6e>
lea    0xf8b(%rip),%rdi
call   1040 <printf@plt>
xor    %eax,%eax
pop    %rcx
ret

LLVM IR (-O0):
@.str = [18 x i8] c"Bad %% argument!\0A\00"
@.str.1 = [19 x i8] c"Bad char in data!\0A\00"
define i8* @extract_data(i8** %0) {
%2 = alloca i8*
%3 = alloca i8**
%4 = alloca i8*
store i8** %0, i8*** %3
%5 = load i8**, i8*** %3
%6 = load i8*, i8** %5
%7 = load i8, i8* %6
%8 = sext i8 %7 to i32
%9 = icmp ne i32 %8, 34
br i1 %9, label %10, label %11
10: ; preds = %1
store i8* null, i8** %2
br label %46
11: ; preds = %1
%12 = load i8**, i8*** %3
%13 = load i8*, i8** %12
%14 = getelementptr inbounds i8, i8* %13, i32 1
store i8* %14, i8** %12
br label %15
15: ; preds = %11
%16 = load i8**, i8*** %3
%17 = load i8*, i8** %16
store i8* %17, i8** %4
br label %18
18: ; preds = %42, %15
%19 = load i8*, i8** %4
%20 = load i8, i8* %19
%21 = icmp ne i8 %20, 0
br i1 %21, label %22, label %45
22: ; preds = %18
%23 = load i8*, i8** %4
%24 = load i8, i8* %23
%25 = sext i8 %24 to i32
switch i32 %25, label %39 [
i32 34, label %26
i32 97, label %28
i32 98, label %28
i32 99, label %28
i32 100, label %28
i32 101, label %28
i32 102, label %28
i32 65, label %28
i32 66, label %28
i32 67, label %28
i32 68, label %28
i32 69, label %28
i32 70, label %28
i32 48, label %28
i32 49, label %28
i32 50, label %28
i32 51, label %28
i32 52, label %28
i32 53, label %28
i32 54, label %28
i32 55, label %28
i32 56, label %28
i32 57, label %28
i32 37, label %29
]
26: ; preds = %22
%27 = load i8*, i8** %4
store i8* %27, i8** %2
br label %46
28: ; preds = %22, %22, %22, %22, %22, %22, %22, %22, %22, %22, %22, %22, %22, %22, %22, %22, %22, %22, %22, %22, %22, %22
br label %41
29: ; preds = %22
%30 = load i8*, i8** %4
%31 = getelementptr inbounds i8, i8* %30, i32 1
store i8* %31, i8** %4
%32 = load i8*, i8** %4
%33 = load i8, i8* %32
%34 = sext i8 %33 to i32
switch i32 %34, label %36 [
i32 48, label %35
i32 49, label %35
i32 50, label %35
i32 51, label %35
i32 52, label %35
i32 53, label %35
i32 54, label %35
i32 55, label %35
i32 56, label %35
i32 57, label %35
]
35: ; preds = %29, %29, %29, %29, %29, %29, %29, %29, %29, %29
br label %38
36: ; preds = %29
%37 = call i32 @printf(i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str, i64 0, i64 0))
store i8* null, i8** %2
br label %46
38: ; preds = %35
br label %41
39: ; preds = %22
%40 = call i32 @printf(i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.1, i64 0, i64 0))
store i8* null, i8** %2
br label %46
41: ; preds = %38, %28
br label %42
42: ; preds = %41
%43 = load i8*, i8** %4
%44 = getelementptr inbounds i8, i8* %43, i32 1
store i8* %44, i8** %4
br label %18
45: ; preds = %18
store i8* null, i8** %2
br label %46
46: ; preds = %45, %39, %36, %26, %10
%47 = load i8*, i8** %2
ret i8* %47
}

LLVM IR (-O2):
@.str = [18 x i8] c"Bad %% argument!\0A\00"
@str = [18 x i8] c"Bad char in data!\00"
define i8* @extract_data(i8** nocapture %0) {
%2 = load i8*, i8** %0
%3 = load i8, i8* %2
%4 = icmp eq i8 %3, 34
br i1 %4, label %5, label %28
5: ; preds = %1
%6 = getelementptr inbounds i8, i8* %2, i64 1
store i8* %6, i8** %0
%7 = load i8, i8* %6
%8 = icmp eq i8 %7, 0
br i1 %8, label %28, label %9
9: ; preds = %5, %23
%10 = phi i8 [ %26, %23 ], [ %7, %5 ]
%11 = phi i8* [ %25, %23 ], [ %6, %5 ]
%12 = sext i8 %10 to i32
switch i32 %12, label %21 [
i32 34, label %28
i32 97, label %23
i32 98, label %23
i32 99, label %23
i32 100, label %23
i32 101, label %23
i32 102, label %23
i32 65, label %23
i32 66, label %23
i32 67, label %23
i32 68, label %23
i32 69, label %23
i32 70, label %23
i32 48, label %23
i32 49, label %23
i32 50, label %23
i32 51, label %23
i32 52, label %23
i32 53, label %23
i32 54, label %23
i32 55, label %23
i32 56, label %23
i32 57, label %23
i32 37, label %13
]
13: ; preds = %9
%14 = getelementptr inbounds i8, i8* %11, i64 1
%15 = load i8, i8* %14
%16 = sext i8 %15 to i32
%17 = add nsw i32 %16, -48
%18 = icmp ult i32 %17, 10
br i1 %18, label %23, label %19
19: ; preds = %13
%20 = tail call i32 @printf(i8* dereferenceable(1) getelementptr inbounds ([18 x i8], [18 x i8]* @.str, i64 0, i64 0))
br label %28
21: ; preds = %9
%22 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([18 x i8], [18 x i8]* @str, i64 0, i64 0))
br label %28
23: ; preds = %13, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9
%24 = phi i8* [ %14, %13 ], [ %11, %9 ], [ %11, %9 ], [ %11, %9 ], [ %11, %9 ], [ %11, %9 ], [ %11, %9 ], [ %11, %9 ], [ %11, %9 ], [ %11, %9 ], [ %11, %9 ], [ %11, %9 ], [ %11, %9 ], [ %11, %9 ], [ %11, %9 ], [ %11, %9 ], [ %11, %9 ], [ %11, %9 ], [ %11, %9 ], [ %11, %9 ], [ %11, %9 ], [ %11, %9 ], [ %11, %9 ]
%25 = getelementptr inbounds i8, i8* %24, i64 1
%26 = load i8, i8* %25
%27 = icmp eq i8 %26, 0
br i1 %27, label %28, label %9
28: ; preds = %9, %23, %5, %1, %21, %19
%29 = phi i8* [ null, %21 ], [ null, %19 ], [ null, %1 ], [ null, %5 ], [ %11, %9 ], [ null, %23 ]
ret i8* %29
}