void advance_past_ambig(unsigned char **p, unsigned char *bound) {
  if (8 == 5) {
    while (((*p) < bound) &&
           ((*(*p) == 20) || (*((*p) + 1) == 20) || (*((*p) + 2) == 20) ||
            (*((*p) + 3) == 20) || (*((*p) + 4) == 20))) {
      (*p)++;
    }
  } else {
    int bad = 1;
    while ((*p < bound) && (bad == 1)) {
      bad = 0;
      if (*((*p) + 7) == 20) {
        bad = 1;
        (*p) += 8;
      } else if (*((*p) + 6) == 20) {
        bad = 1;
        (*p) += 7;
      } else if (*((*p) + 5) == 20) {
        bad = 1;
        (*p) += 6;
      } else if (*((*p) + 4) == 20) {
        bad = 1;
        (*p) += 5;
      } else if (*((*p) + 3) == 20) {
        bad = 1;
        (*p) += 4;
      } else if (*((*p) + 2) == 20) {
        bad = 1;
        (*p) += 3;
      } else if (*((*p) + 1) == 20) {
        bad = 1;
        (*p) += 2;
      } else if (*((*p) + 0) == 20) {
        bad = 1;
        (*p) += 1;
      }
    }
  }
}


x86 assembly (clang, -O0):
<advance_past_ambig>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movl   $0x1,-0x14(%rbp)
mov    -0x8(%rbp),%rax
mov    (%rax),%rcx
xor    %eax,%eax
cmp    -0x10(%rbp),%rcx
mov    %al,-0x15(%rbp)
jae    1133 <advance_past_ambig+0x33>
cmpl   $0x1,-0x14(%rbp)
sete   %al
mov    %al,-0x15(%rbp)
mov    -0x15(%rbp),%al
test   $0x1,%al
jne    1143 <advance_past_ambig+0x43>
jmp    12dc <advance_past_ambig+0x1dc>
movl   $0x0,-0x14(%rbp)
mov    -0x8(%rbp),%rax
mov    (%rax),%rax
movzbl 0x7(%rax),%eax
cmp    $0x14,%eax
jne    1178 <advance_past_ambig+0x78>
movl   $0x1,-0x14(%rbp)
mov    -0x8(%rbp),%rax
mov    (%rax),%rcx
add    $0x8,%rcx
mov    %rcx,(%rax)
jmp    12d7 <advance_past_ambig+0x1d7>
mov    -0x8(%rbp),%rax
mov    (%rax),%rax
movzbl 0x6(%rax),%eax
cmp    $0x14,%eax
jne    11a6 <advance_past_ambig+0xa6>
movl   $0x1,-0x14(%rbp)
mov    -0x8(%rbp),%rax
mov    (%rax),%rcx
add    $0x7,%rcx
mov    %rcx,(%rax)
jmp    12d2 <advance_past_ambig+0x1d2>
mov    -0x8(%rbp),%rax
mov    (%rax),%rax
movzbl 0x5(%rax),%eax
cmp    $0x14,%eax
jne    11d4 <advance_past_ambig+0xd4>
movl   $0x1,-0x14(%rbp)
mov    -0x8(%rbp),%rax
mov    (%rax),%rcx
add    $0x6,%rcx
mov    %rcx,(%rax)
jmp    12cd <advance_past_ambig+0x1cd>
mov    -0x8(%rbp),%rax
mov    (%rax),%rax
movzbl 0x4(%rax),%eax
cmp    $0x14,%eax
jne    1202 <advance_past_ambig+0x102>
movl   $0x1,-0x14(%rbp)
mov    -0x8(%rbp),%rax
mov    (%rax),%rcx
add    $0x5,%rcx
mov    %rcx,(%rax)
jmp    12c8 <advance_past_ambig+0x1c8>
mov    -0x8(%rbp),%rax
mov    (%rax),%rax
movzbl 0x3(%rax),%eax
cmp    $0x14,%eax
jne    1230 <advance_past_ambig+0x130>
movl   $0x1,-0x14(%rbp)
mov    -0x8(%rbp),%rax
mov    (%rax),%rcx
add    $0x4,%rcx
mov    %rcx,(%rax)
jmp    12c3 <advance_past_ambig+0x1c3>
mov    -0x8(%rbp),%rax
mov    (%rax),%rax
movzbl 0x2(%rax),%eax
cmp    $0x14,%eax
jne    125e <advance_past_ambig+0x15e>
movl   $0x1,-0x14(%rbp)
mov    -0x8(%rbp),%rax
mov    (%rax),%rcx
add    $0x3,%rcx
mov    %rcx,(%rax)
jmp    12be <advance_past_ambig+0x1be>
mov    -0x8(%rbp),%rax
mov    (%rax),%rax
movzbl 0x1(%rax),%eax
cmp    $0x14,%eax
jne    128c <advance_past_ambig+0x18c>
movl   $0x1,-0x14(%rbp)
mov    -0x8(%rbp),%rax
mov    (%rax),%rcx
add    $0x2,%rcx
mov    %rcx,(%rax)
jmp    12b9 <advance_past_ambig+0x1b9>
mov    -0x8(%rbp),%rax
mov    (%rax),%rax
movzbl (%rax),%eax
cmp    $0x14,%eax
jne    12b4 <advance_past_ambig+0x1b4>
movl   $0x1,-0x14(%rbp)
mov    -0x8(%rbp),%rax
mov    (%rax),%rcx
add    $0x1,%rcx
mov    %rcx,(%rax)
jmp    12b9 <advance_past_ambig+0x1b9>
jmp    12be <advance_past_ambig+0x1be>
jmp    12c3 <advance_past_ambig+0x1c3>
jmp    12c8 <advance_past_ambig+0x1c8>
jmp    12cd <advance_past_ambig+0x1cd>
jmp    12d2 <advance_past_ambig+0x1d2>
jmp    12d7 <advance_past_ambig+0x1d7>
jmp    1113 <advance_past_ambig+0x13>
pop    %rbp
ret

x86 assembly (clang, -O2):
<advance_past_ambig>:
mov    (%rdi),%rax
jmp    1117 <advance_past_ambig+0x17>
cs nopw 0x0(%rax,%rax,1)
nop
add    $0x8,%rax
mov    %rax,(%rdi)
cmp    %rsi,%rax
jae    119c <advance_past_ambig+0x9c>
cmpb   $0x14,0x7(%rax)
je     1110 <advance_past_ambig+0x10>
cmpb   $0x14,0x6(%rax)
jne    1140 <advance_past_ambig+0x40>
add    $0x7,%rax
mov    %rax,(%rdi)
jmp    1117 <advance_past_ambig+0x17>
cs nopw 0x0(%rax,%rax,1)
nop
cmpb   $0x14,0x5(%rax)
jne    114f <advance_past_ambig+0x4f>
add    $0x6,%rax
mov    %rax,(%rdi)
jmp    1117 <advance_past_ambig+0x17>
cmpb   $0x14,0x4(%rax)
jne    115e <advance_past_ambig+0x5e>
add    $0x5,%rax
mov    %rax,(%rdi)
jmp    1117 <advance_past_ambig+0x17>
cmpb   $0x14,0x3(%rax)
jne    116d <advance_past_ambig+0x6d>
add    $0x4,%rax
mov    %rax,(%rdi)
jmp    1117 <advance_past_ambig+0x17>
cmpb   $0x14,0x2(%rax)
jne    117c <advance_past_ambig+0x7c>
add    $0x3,%rax
mov    %rax,(%rdi)
jmp    1117 <advance_past_ambig+0x17>
cmpb   $0x14,0x1(%rax)
jne    118b <advance_past_ambig+0x8b>
add    $0x2,%rax
mov    %rax,(%rdi)
jmp    1117 <advance_past_ambig+0x17>
cmpb   $0x14,(%rax)
jne    119c <advance_past_ambig+0x9c>
add    $0x1,%rax
mov    %rax,(%rdi)
jmp    1117 <advance_past_ambig+0x17>
ret

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

LLVM IR (-O2):
define void @advance_past_ambig(i8** nocapture %0, i8* readnone %1) {
%3 = load i8*, i8** %0
%4 = icmp ult i8* %3, %1
br i1 %4, label %5, label %42
5: ; preds = %2, %39
%6 = phi i8* [ %40, %39 ], [ %3, %2 ]
%7 = getelementptr inbounds i8, i8* %6, i64 7
%8 = load i8, i8* %7
%9 = icmp eq i8 %8, 20
br i1 %9, label %10, label %12
10: ; preds = %5
%11 = getelementptr inbounds i8, i8* %6, i64 8
br label %39
12: ; preds = %5
%13 = getelementptr inbounds i8, i8* %6, i64 6
%14 = load i8, i8* %13
%15 = icmp eq i8 %14, 20
br i1 %15, label %39, label %16
16: ; preds = %12
%17 = getelementptr inbounds i8, i8* %6, i64 5
%18 = load i8, i8* %17
%19 = icmp eq i8 %18, 20
br i1 %19, label %39, label %20
20: ; preds = %16
%21 = getelementptr inbounds i8, i8* %6, i64 4
%22 = load i8, i8* %21
%23 = icmp eq i8 %22, 20
br i1 %23, label %39, label %24
24: ; preds = %20
%25 = getelementptr inbounds i8, i8* %6, i64 3
%26 = load i8, i8* %25
%27 = icmp eq i8 %26, 20
br i1 %27, label %39, label %28
28: ; preds = %24
%29 = getelementptr inbounds i8, i8* %6, i64 2
%30 = load i8, i8* %29
%31 = icmp eq i8 %30, 20
br i1 %31, label %39, label %32
32: ; preds = %28
%33 = getelementptr inbounds i8, i8* %6, i64 1
%34 = load i8, i8* %33
%35 = icmp eq i8 %34, 20
br i1 %35, label %39, label %36
36: ; preds = %32
%37 = load i8, i8* %6
%38 = icmp eq i8 %37, 20
br i1 %38, label %39, label %42
39: ; preds = %36, %32, %28, %24, %20, %16, %12, %10
%40 = phi i8* [ %11, %10 ], [ %7, %12 ], [ %13, %16 ], [ %17, %20 ], [ %21, %24 ], [ %25, %28 ], [ %29, %32 ], [ %33, %36 ]
store i8* %40, i8** %0
%41 = icmp ult i8* %40, %1
br i1 %41, label %5, label %42
42: ; preds = %36, %39, %2
ret void
}