int change_state(int cur_char, int last_char) {
  extern int state;
  if (state == 0) {
    if (cur_char == '"') {
      state = 1;
    } else if (last_char == '#' && cur_char == 'd') {
      state = 2;
    } else if (last_char == '/' && cur_char == '*') {
      state = 3;
    } else {
      state = 0;
    }
  } else if (state == 1) {
    if (cur_char == '"') {
      state = 0;
    } else {
      state = 1;
    }
  } else if (state == 2) {
    if (cur_char == '\n') {
      state = 0;
    } else {
      state = 2;
    }
  } else if (state == 3) {
    if (last_char == '*' && cur_char == '/') {
      state = 0;
    } else {
      state = 3;
    }
  } else {
  }
  return state;
}


x86 assembly (clang, -O0):
<change_state>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    0x2ecf(%rip),%rax
cmpl   $0x0,(%rax)
jne    119e <change_state+0x9e>
cmpl   $0x22,-0x4(%rbp)
jne    1136 <change_state+0x36>
mov    0x2eb5(%rip),%rax
movl   $0x1,(%rax)
jmp    1199 <change_state+0x99>
cmpl   $0x23,-0x8(%rbp)
jne    115c <change_state+0x5c>
cmpl   $0x64,-0x4(%rbp)
jne    115c <change_state+0x5c>
mov    0x2e8f(%rip),%rax
movl   $0x2,(%rax)
jmp    1194 <change_state+0x94>
cmpl   $0x2f,-0x8(%rbp)
jne    1182 <change_state+0x82>
cmpl   $0x2a,-0x4(%rbp)
jne    1182 <change_state+0x82>
mov    0x2e69(%rip),%rax
movl   $0x3,(%rax)
jmp    118f <change_state+0x8f>
mov    0x2e57(%rip),%rax
movl   $0x0,(%rax)
jmp    1194 <change_state+0x94>
jmp    1199 <change_state+0x99>
jmp    1276 <change_state+0x176>
mov    0x2e3b(%rip),%rax
cmpl   $0x1,(%rax)
jne    11dc <change_state+0xdc>
cmpl   $0x22,-0x4(%rbp)
jne    11ca <change_state+0xca>
mov    0x2e21(%rip),%rax
movl   $0x0,(%rax)
jmp    11d7 <change_state+0xd7>
mov    0x2e0f(%rip),%rax
movl   $0x1,(%rax)
jmp    1271 <change_state+0x171>
mov    0x2dfd(%rip),%rax
cmpl   $0x2,(%rax)
jne    121a <change_state+0x11a>
cmpl   $0xa,-0x4(%rbp)
jne    1208 <change_state+0x108>
mov    0x2de3(%rip),%rax
movl   $0x0,(%rax)
jmp    1215 <change_state+0x115>
mov    0x2dd1(%rip),%rax
movl   $0x2,(%rax)
jmp    126c <change_state+0x16c>
mov    0x2dbf(%rip),%rax
cmpl   $0x3,(%rax)
jne    1262 <change_state+0x162>
cmpl   $0x2a,-0x8(%rbp)
jne    1250 <change_state+0x150>
cmpl   $0x2f,-0x4(%rbp)
jne    1250 <change_state+0x150>
mov    0x2d9b(%rip),%rax
movl   $0x0,(%rax)
jmp    125d <change_state+0x15d>
mov    0x2d89(%rip),%rax
movl   $0x3,(%rax)
jmp    1267 <change_state+0x167>
jmp    1267 <change_state+0x167>
jmp    126c <change_state+0x16c>
jmp    1271 <change_state+0x171>
jmp    1276 <change_state+0x176>
mov    0x2d63(%rip),%rax
mov    (%rax),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<change_state>:
mov    0x2ed9(%rip),%rcx
mov    (%rcx),%eax
cmp    $0x3,%rax
ja     116f <change_state+0x6f>
lea    0xeea(%rip),%rdx
movslq (%rdx,%rax,4),%rax
add    %rdx,%rax
jmp    *%rax
mov    $0x1,%eax
cmp    $0x22,%edi
je     116d <change_state+0x6d>
cmp    $0x64,%edi
jne    1138 <change_state+0x38>
mov    $0x2,%eax
cmp    $0x23,%esi
je     116d <change_state+0x6d>
xor    $0x2f,%esi
xor    $0x2a,%edi
xor    %eax,%eax
or     %esi,%edi
sete   %al
jmp    116a <change_state+0x6a>
xor    %eax,%eax
cmp    $0xa,%edi
setne  %al
add    %eax,%eax
jmp    116d <change_state+0x6d>
xor    %eax,%eax
cmp    $0x22,%edi
setne  %al
jmp    116d <change_state+0x6d>
xor    $0x2a,%esi
xor    $0x2f,%edi
xor    %eax,%eax
or     %esi,%edi
setne  %al
lea    (%rax,%rax,2),%eax
mov    %eax,(%rcx)
ret

LLVM IR (-O0):
@state = external global i32
define i32 @change_state(i32 %0, i32 %1) {
%3 = alloca i32
%4 = alloca i32
store i32 %0, i32* %3
store i32 %1, i32* %4
%5 = load i32, i32* @state
%6 = icmp eq i32 %5, 0
br i1 %6, label %7, label %29
7: ; preds = %2
%8 = load i32, i32* %3
%9 = icmp eq i32 %8, 34
br i1 %9, label %10, label %11
10: ; preds = %7
store i32 1, i32* @state
br label %28
11: ; preds = %7
%12 = load i32, i32* %4
%13 = icmp eq i32 %12, 35
br i1 %13, label %14, label %18
14: ; preds = %11
%15 = load i32, i32* %3
%16 = icmp eq i32 %15, 100
br i1 %16, label %17, label %18
17: ; preds = %14
store i32 2, i32* @state
br label %27
18: ; preds = %14, %11
%19 = load i32, i32* %4
%20 = icmp eq i32 %19, 47
br i1 %20, label %21, label %25
21: ; preds = %18
%22 = load i32, i32* %3
%23 = icmp eq i32 %22, 42
br i1 %23, label %24, label %25
24: ; preds = %21
store i32 3, i32* @state
br label %26
25: ; preds = %21, %18
store i32 0, i32* @state
br label %26
26: ; preds = %25, %24
br label %27
27: ; preds = %26, %17
br label %28
28: ; preds = %27, %10
br label %63
29: ; preds = %2
%30 = load i32, i32* @state
%31 = icmp eq i32 %30, 1
br i1 %31, label %32, label %38
32: ; preds = %29
%33 = load i32, i32* %3
%34 = icmp eq i32 %33, 34
br i1 %34, label %35, label %36
35: ; preds = %32
store i32 0, i32* @state
br label %37
36: ; preds = %32
store i32 1, i32* @state
br label %37
37: ; preds = %36, %35
br label %62
38: ; preds = %29
%39 = load i32, i32* @state
%40 = icmp eq i32 %39, 2
br i1 %40, label %41, label %47
41: ; preds = %38
%42 = load i32, i32* %3
%43 = icmp eq i32 %42, 10
br i1 %43, label %44, label %45
44: ; preds = %41
store i32 0, i32* @state
br label %46
45: ; preds = %41
store i32 2, i32* @state
br label %46
46: ; preds = %45, %44
br label %61
47: ; preds = %38
%48 = load i32, i32* @state
%49 = icmp eq i32 %48, 3
br i1 %49, label %50, label %59
50: ; preds = %47
%51 = load i32, i32* %4
%52 = icmp eq i32 %51, 42
br i1 %52, label %53, label %57
53: ; preds = %50
%54 = load i32, i32* %3
%55 = icmp eq i32 %54, 47
br i1 %55, label %56, label %57
56: ; preds = %53
store i32 0, i32* @state
br label %58
57: ; preds = %53, %50
store i32 3, i32* @state
br label %58
58: ; preds = %57, %56
br label %60
59: ; preds = %47
br label %60
60: ; preds = %59, %58
br label %61
61: ; preds = %60, %46
br label %62
62: ; preds = %61, %37
br label %63
63: ; preds = %62, %28
%64 = load i32, i32* @state
ret i32 %64
}

LLVM IR (-O2):
@state = external global i32
define i32 @change_state(i32 %0, i32 %1) {
%3 = load i32, i32* @state
switch i32 %3, label %28 [
i32 0, label %4
i32 1, label %15
i32 2, label %18
i32 3, label %21
]
4: ; preds = %2
%5 = icmp eq i32 %0, 34
br i1 %5, label %26, label %6
6: ; preds = %4
%7 = icmp eq i32 %1, 35
%8 = icmp eq i32 %0, 100
%9 = and i1 %8, %7
br i1 %9, label %26, label %10
10: ; preds = %6
%11 = icmp eq i32 %1, 47
%12 = icmp eq i32 %0, 42
%13 = and i1 %12, %11
%14 = select i1 %13, i32 3, i32 0
br label %26
15: ; preds = %2
%16 = icmp ne i32 %0, 34
%17 = zext i1 %16 to i32
br label %26
18: ; preds = %2
%19 = icmp eq i32 %0, 10
%20 = select i1 %19, i32 0, i32 2
br label %26
21: ; preds = %2
%22 = icmp eq i32 %1, 42
%23 = icmp eq i32 %0, 47
%24 = and i1 %23, %22
%25 = select i1 %24, i32 0, i32 3
br label %26
26: ; preds = %21, %18, %15, %10, %6, %4
%27 = phi i32 [ 1, %4 ], [ 2, %6 ], [ %14, %10 ], [ %17, %15 ], [ %20, %18 ], [ %25, %21 ]
store i32 %27, i32* @state
br label %28
28: ; preds = %26, %2
%29 = phi i32 [ %3, %2 ], [ %27, %26 ]
ret i32 %29
}