#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 REG_ICASE;
int /*<<< orphan*/ free(char *);
char *strchr(char *, char);
char *strdup(char const *);
int /*<<< orphan*/ string_is_word_char(char *);
scalar_t__ string_regex_flags(char *, int, int *);
int /*<<< orphan*/ string_tolower(char *);
char *strstr(char *, char *);
char *utf8_prev_char(char *, char *);
int string_has_highlight(const char *string, const char *highlight_words) {
  char *msg, *highlight, *match, *match_pre, *match_post, *msg_pos;
  char *pos, *pos_end, *ptr_str, *ptr_string_ref;
  int end, length, startswith, endswith, wildcard_start, wildcard_end, flags;
  if (!string || !string[0] || !highlight_words || !highlight_words[0])
    return 0;
  msg = strdup(string);
  if (!msg)
    return 0;
  string_tolower(msg);
  highlight = strdup(highlight_words);
  if (!highlight) {
    free(msg);
    return 0;
  }
  string_tolower(highlight);
  pos = highlight;
  end = 0;
  while (!end) {
    ptr_string_ref = (char *)string;
    flags = 0;
    pos = (char *)string_regex_flags(pos, REG_ICASE, &flags);
    pos_end = strchr(pos, ',');
    if (!pos_end) {
      pos_end = strchr(pos, '\0');
      end = 1;
    }
    if (!pos_end) {
      free(msg);
      free(highlight);
      return 0;
    }
    if (flags & REG_ICASE) {
      for (ptr_str = pos; ptr_str < pos_end; ptr_str++) {
        if ((ptr_str[0] >= 'A') && (ptr_str[0] <= 'Z'))
          ptr_str[0] += ('a' - 'A');
      }
      ptr_string_ref = msg;
    }
    length = pos_end - pos;
    pos_end[0] = '\0';
    if (length > 0) {
      if ((wildcard_start = (pos[0] == '*'))) {
        pos++;
        length--;
      }
      if ((wildcard_end = (*(pos_end - 1) == '*'))) {
        *(pos_end - 1) = '\0';
        length--;
      }
    }
    if (length > 0) {
      msg_pos = ptr_string_ref;
      while ((match = strstr(msg_pos, pos)) != NULL) {
        match_pre = utf8_prev_char(ptr_string_ref, match);
        if (!match_pre)
          match_pre = match - 1;
        match_post = match + length;
        startswith =
            ((match == ptr_string_ref) || (!string_is_word_char(match_pre)));
        endswith = ((!match_post[0]) || (!string_is_word_char(match_post)));
        if ((wildcard_start && wildcard_end) ||
            (!wildcard_start && !wildcard_end && startswith && endswith) ||
            (wildcard_start && endswith) || (wildcard_end && startswith)) {
          free(msg);
          free(highlight);
          return 1;
        }
        msg_pos = match_post;
      }
    }
    if (!end)
      pos = pos_end + 1;
  }
  free(msg);
  free(highlight);
  return 0;
}


x86 assembly (clang, -O0):
<string_has_highlight>:
push   %rbp
mov    %rsp,%rbp
sub    $0x90,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
cmpq   $0x0,-0x10(%rbp)
je     11c3 <string_has_highlight+0x43>
mov    -0x10(%rbp),%rax
cmpb   $0x0,(%rax)
je     11c3 <string_has_highlight+0x43>
cmpq   $0x0,-0x18(%rbp)
je     11c3 <string_has_highlight+0x43>
mov    -0x18(%rbp),%rax
cmpb   $0x0,(%rax)
jne    11cf <string_has_highlight+0x4f>
movl   $0x0,-0x4(%rbp)
jmp    1590 <string_has_highlight+0x410>
mov    -0x10(%rbp),%rdi
call   1080 <strdup@plt>
mov    %rax,-0x20(%rbp)
cmpq   $0x0,-0x20(%rbp)
jne    11f3 <string_has_highlight+0x73>
movl   $0x0,-0x4(%rbp)
jmp    1590 <string_has_highlight+0x410>
mov    -0x20(%rbp),%rdi
call   1060 <string_tolower@plt>
mov    -0x18(%rbp),%rdi
call   1080 <strdup@plt>
mov    %rax,-0x28(%rbp)
cmpq   $0x0,-0x28(%rbp)
jne    1229 <string_has_highlight+0xa9>
mov    -0x20(%rbp),%rdi
call   1030 <free@plt>
movl   $0x0,-0x4(%rbp)
jmp    1590 <string_has_highlight+0x410>
mov    -0x28(%rbp),%rdi
call   1060 <string_tolower@plt>
mov    -0x28(%rbp),%rax
mov    %rax,-0x50(%rbp)
movl   $0x0,-0x6c(%rbp)
cmpl   $0x0,-0x6c(%rbp)
setne  %al
xor    $0xff,%al
test   $0x1,%al
jne    1257 <string_has_highlight+0xd7>
jmp    1577 <string_has_highlight+0x3f7>
mov    -0x10(%rbp),%rax
mov    %rax,-0x68(%rbp)
movl   $0x0,-0x84(%rbp)
mov    -0x50(%rbp),%rdi
mov    0x2d74(%rip),%rax
mov    (%rax),%esi
lea    -0x84(%rbp),%rdx
call   1070 <string_regex_flags@plt>
mov    %rax,-0x50(%rbp)
mov    -0x50(%rbp),%rdi
mov    $0x2c,%esi
call   1040 <strchr@plt>
mov    %rax,-0x58(%rbp)
cmpq   $0x0,-0x58(%rbp)
jne    12b9 <string_has_highlight+0x139>
mov    -0x50(%rbp),%rdi
xor    %esi,%esi
call   1040 <strchr@plt>
mov    %rax,-0x58(%rbp)
movl   $0x1,-0x6c(%rbp)
cmpq   $0x0,-0x58(%rbp)
jne    12e2 <string_has_highlight+0x162>
mov    -0x20(%rbp),%rdi
call   1030 <free@plt>
mov    -0x28(%rbp),%rdi
call   1030 <free@plt>
movl   $0x0,-0x4(%rbp)
jmp    1590 <string_has_highlight+0x410>
mov    -0x84(%rbp),%eax
mov    0x2cf9(%rip),%rcx
and    (%rcx),%eax
cmp    $0x0,%eax
je     135a <string_has_highlight+0x1da>
mov    -0x50(%rbp),%rax
mov    %rax,-0x60(%rbp)
mov    -0x60(%rbp),%rax
cmp    -0x58(%rbp),%rax
jae    1352 <string_has_highlight+0x1d2>
mov    -0x60(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x41,%eax
jl     133c <string_has_highlight+0x1bc>
mov    -0x60(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5a,%eax
jg     133c <string_has_highlight+0x1bc>
mov    -0x60(%rbp),%rax
movsbl (%rax),%ecx
add    $0x20,%ecx
mov    %cl,(%rax)
jmp    1341 <string_has_highlight+0x1c1>
mov    -0x60(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x60(%rbp)
jmp    1302 <string_has_highlight+0x182>
mov    -0x20(%rbp),%rax
mov    %rax,-0x68(%rbp)
mov    -0x58(%rbp),%rax
mov    -0x50(%rbp),%rcx
sub    %rcx,%rax
mov    %eax,-0x70(%rbp)
mov    -0x58(%rbp),%rax
movb   $0x0,(%rax)
cmpl   $0x0,-0x70(%rbp)
jle    13ef <string_has_highlight+0x26f>
mov    -0x50(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2a,%eax
sete   %al
mov    %al,%cl
and    $0x1,%cl
movzbl %cl,%ecx
mov    %ecx,-0x7c(%rbp)
test   $0x1,%al
jne    139e <string_has_highlight+0x21e>
jmp    13b3 <string_has_highlight+0x233>
mov    -0x50(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x50(%rbp)
mov    -0x70(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x70(%rbp)
mov    -0x58(%rbp),%rax
movsbl -0x1(%rax),%eax
cmp    $0x2a,%eax
sete   %al
mov    %al,%cl
and    $0x1,%cl
movzbl %cl,%ecx
mov    %ecx,-0x80(%rbp)
test   $0x1,%al
jne    13d9 <string_has_highlight+0x259>
jmp    13ea <string_has_highlight+0x26a>
mov    -0x58(%rbp),%rax
movb   $0x0,-0x1(%rax)
mov    -0x70(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x70(%rbp)
jmp    13ef <string_has_highlight+0x26f>
cmpl   $0x0,-0x70(%rbp)
jle    155c <string_has_highlight+0x3dc>
mov    -0x68(%rbp),%rax
mov    %rax,-0x48(%rbp)
mov    -0x48(%rbp),%rdi
mov    -0x50(%rbp),%rsi
call   10a0 <strstr@plt>
mov    %rax,-0x30(%rbp)
cmp    $0x0,%rax
je     1557 <string_has_highlight+0x3d7>
mov    -0x68(%rbp),%rdi
mov    -0x30(%rbp),%rsi
call   1050 <utf8_prev_char@plt>
mov    %rax,-0x38(%rbp)
cmpq   $0x0,-0x38(%rbp)
jne    1444 <string_has_highlight+0x2c4>
mov    -0x30(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x38(%rbp)
mov    -0x30(%rbp),%rax
movslq -0x70(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x40(%rbp)
mov    -0x30(%rbp),%rcx
mov    $0x1,%al
cmp    -0x68(%rbp),%rcx
mov    %al,-0x85(%rbp)
je     1480 <string_has_highlight+0x300>
mov    -0x38(%rbp),%rdi
call   1090 <string_is_word_char@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
mov    %al,-0x85(%rbp)
mov    -0x85(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x74(%rbp)
mov    -0x40(%rbp),%rcx
mov    $0x1,%al
cmpb   $0x0,(%rcx)
mov    %al,-0x86(%rbp)
je     14ba <string_has_highlight+0x33a>
mov    -0x40(%rbp),%rdi
call   1090 <string_is_word_char@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
mov    %al,-0x86(%rbp)
mov    -0x86(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x78(%rbp)
cmpl   $0x0,-0x7c(%rbp)
je     14dc <string_has_highlight+0x35c>
cmpl   $0x0,-0x80(%rbp)
jne    152c <string_has_highlight+0x3ac>
cmpl   $0x0,-0x7c(%rbp)
jne    1504 <string_has_highlight+0x384>
cmpl   $0x0,-0x80(%rbp)
jne    1504 <string_has_highlight+0x384>
cmpl   $0x0,-0x74(%rbp)
je     1504 <string_has_highlight+0x384>
cmpl   $0x0,-0x78(%rbp)
jne    152c <string_has_highlight+0x3ac>
cmpl   $0x0,-0x7c(%rbp)
je     1518 <string_has_highlight+0x398>
cmpl   $0x0,-0x78(%rbp)
jne    152c <string_has_highlight+0x3ac>
cmpl   $0x0,-0x80(%rbp)
je     154a <string_has_highlight+0x3ca>
cmpl   $0x0,-0x74(%rbp)
je     154a <string_has_highlight+0x3ca>
mov    -0x20(%rbp),%rdi
call   1030 <free@plt>
mov    -0x28(%rbp),%rdi
call   1030 <free@plt>
movl   $0x1,-0x4(%rbp)
jmp    1590 <string_has_highlight+0x410>
mov    -0x40(%rbp),%rax
mov    %rax,-0x48(%rbp)
jmp    1401 <string_has_highlight+0x281>
jmp    155c <string_has_highlight+0x3dc>
cmpl   $0x0,-0x6c(%rbp)
jne    1572 <string_has_highlight+0x3f2>
mov    -0x58(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x50(%rbp)
jmp    1241 <string_has_highlight+0xc1>
mov    -0x20(%rbp),%rdi
call   1030 <free@plt>
mov    -0x28(%rbp),%rdi
call   1030 <free@plt>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x90,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<string_has_highlight>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x48,%rsp
xor    %ebx,%ebx
test   %rdi,%rdi
je     1595 <string_has_highlight+0x405>
mov    %rsi,%rbp
test   %rsi,%rsi
je     1595 <string_has_highlight+0x405>
mov    %rdi,%r14
cmpb   $0x0,(%rdi)
je     1595 <string_has_highlight+0x405>
cmpb   $0x0,0x0(%rbp)
je     1595 <string_has_highlight+0x405>
mov    %r14,%rdi
call   1090 <strdup@plt>
test   %rax,%rax
je     1595 <string_has_highlight+0x405>
mov    %rax,%r15
mov    %rax,%rdi
call   1070 <string_tolower@plt>
mov    %rbp,%rdi
call   1090 <strdup@plt>
test   %rax,%rax
je     158d <string_has_highlight+0x3fd>
mov    %rax,%rbp
mov    %rax,%rdi
call   1070 <string_tolower@plt>
mov    0x2dde(%rip),%r12
mov    %rbp,0x10(%rsp)
mov    %rbp,%rdi
mov    %r14,0x30(%rsp)
mov    %r15,0x18(%rsp)
jmp    1244 <string_has_highlight+0xb4>
mov    0x20(%rsp),%rdi
add    $0x1,%rdi
cmpq   $0x0,0x38(%rsp)
mov    0x30(%rsp),%r14
mov    0x18(%rsp),%r15
mov    0x2daa(%rip),%r12
je     15a6 <string_has_highlight+0x416>
movl   $0x0,0xc(%rsp)
mov    (%r12),%esi
lea    0xc(%rsp),%rdx
call   1080 <string_regex_flags@plt>
mov    %rax,%rbp
mov    %rax,%rdi
mov    $0x2c,%esi
call   1050 <strchr@plt>
mov    %rax,%r13
test   %rax,%rax
jne    1283 <string_has_highlight+0xf3>
mov    %rbp,%rdi
call   1040 <strlen@plt>
add    %rbp,%rax
je     15a6 <string_has_highlight+0x416>
mov    (%r12),%ecx
mov    %r14,%rsi
test   %ecx,0xc(%rsp)
je     144e <string_has_highlight+0x2be>
mov    %rax,%rcx
mov    %r15,%rsi
sub    %rbp,%rcx
jbe    144e <string_has_highlight+0x2be>
mov    %rbp,%rbx
cmp    $0x8,%rcx
jb     1439 <string_has_highlight+0x2a9>
mov    %rcx,%rdx
and    $0xfffffffffffffff8,%rdx
lea    (%rdx,%rbp,1),%rbx
xor    %esi,%esi
movdqa 0xd3b(%rip),%xmm4
movdqa 0xd43(%rip),%xmm5
pcmpeqd %xmm6,%xmm6
jmp    12ed <string_has_highlight+0x15d>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
add    $0x8,%rsi
cmp    %rsi,%rdx
je     1421 <string_has_highlight+0x291>
movq   0x0(%rbp,%rsi,1),%xmm0
movdqa %xmm0,%xmm1
paddb  %xmm4,%xmm1
movdqa %xmm1,%xmm2
pmaxub %xmm5,%xmm2
pcmpeqb %xmm1,%xmm2
movd   %xmm2,%edi
not    %dil
test   $0x1,%dil
je     1321 <string_has_highlight+0x191>
movd   %xmm0,%edi
add    $0x20,%dil
mov    %dil,0x0(%rbp,%rsi,1)
movdqa %xmm2,%xmm1
pxor   %xmm6,%xmm1
movdqa %xmm1,%xmm3
pslld  $0x8,%xmm3
movd   %xmm3,%edi
shr    $0x10,%edi
test   $0x1,%dil
je     134f <string_has_highlight+0x1bf>
movd   %xmm0,%edi
shr    $0x8,%edi
add    $0x20,%dil
mov    %dil,0x1(%rbp,%rsi,1)
pshuflw $0x55,%xmm2,%xmm3
pxor   %xmm6,%xmm3
pextrw $0x2,%xmm3,%edi
test   $0x1,%dil
je     1373 <string_has_highlight+0x1e3>
movd   %xmm0,%edi
shr    $0x10,%edi
add    $0x20,%dil
mov    %dil,0x2(%rbp,%rsi,1)
movdqa %xmm1,%xmm3
psllq  $0x18,%xmm3
pextrw $0x3,%xmm3,%edi
test   $0x1,%dil
je     1397 <string_has_highlight+0x207>
movd   %xmm0,%edi
shr    $0x18,%edi
add    $0x20,%dil
mov    %dil,0x3(%rbp,%rsi,1)
pshufd $0x55,%xmm2,%xmm2
pxor   %xmm6,%xmm2
pextrw $0x4,%xmm2,%edi
test   $0x1,%dil
je     13b9 <string_has_highlight+0x229>
pextrw $0x2,%xmm0,%edi
add    $0x20,%dil
mov    %dil,0x4(%rbp,%rsi,1)
movdqa %xmm1,%xmm2
pslldq $0x5,%xmm2
pextrw $0x5,%xmm2,%edi
test   $0x1,%dil
je     13de <string_has_highlight+0x24e>
pextrw $0x2,%xmm0,%edi
shr    $0x8,%edi
add    $0x20,%dil
mov    %dil,0x5(%rbp,%rsi,1)
pextrw $0x3,%xmm1,%edi
test   $0x1,%dil
je     13f7 <string_has_highlight+0x267>
pextrw $0x3,%xmm0,%edi
add    $0x20,%dil
mov    %dil,0x6(%rbp,%rsi,1)
pslldq $0x7,%xmm1
pextrw $0x7,%xmm1,%edi
test   $0x1,%dil
je     12e0 <string_has_highlight+0x150>
pextrw $0x3,%xmm0,%edi
shr    $0x8,%edi
add    $0x20,%dil
mov    %dil,0x7(%rbp,%rsi,1)
jmp    12e0 <string_has_highlight+0x150>
mov    %r15,%rsi
cmp    %rdx,%rcx
jne    1439 <string_has_highlight+0x2a9>
jmp    144e <string_has_highlight+0x2be>
nopl   0x0(%rax,%rax,1)
add    $0x1,%rbx
cmp    %rax,%rbx
je     144b <string_has_highlight+0x2bb>
movzbl (%rbx),%ecx
lea    -0x41(%rcx),%edx
cmp    $0x19,%dl
ja     1430 <string_has_highlight+0x2a0>
add    $0x20,%cl
mov    %cl,(%rbx)
jmp    1430 <string_has_highlight+0x2a0>
mov    %r15,%rsi
mov    %rsi,0x28(%rsp)
mov    %r13,0x38(%rsp)
mov    %eax,%edx
sub    %ebp,%edx
mov    %rax,0x20(%rsp)
movb   $0x0,(%rax)
test   %edx,%edx
jle    121e <string_has_highlight+0x8e>
mov    0x0(%rbp),%al
xor    %ecx,%ecx
mov    %al,0x9(%rsp)
cmp    $0x2a,%al
sete   %cl
sub    %ecx,%edx
mov    0x20(%rsp),%rax
mov    -0x1(%rax),%bl
mov    %bl,0x8(%rsp)
cmp    $0x2a,%bl
jne    1494 <string_has_highlight+0x304>
movb   $0x0,-0x1(%rax)
add    $0xffffffff,%edx
test   %edx,%edx
jle    121e <string_has_highlight+0x8e>
add    %rcx,%rbp
cmpb   $0x2a,0x8(%rsp)
sete   %cl
cmpb   $0x2a,0x9(%rsp)
sete   %al
mov    %edx,%edx
mov    %rdx,0x40(%rsp)
mov    %eax,%edx
and    %cl,%dl
mov    %dl,0xb(%rsp)
or     %cl,%al
xor    $0x1,%al
mov    %al,0xa(%rsp)
mov    0x28(%rsp),%r14
nopl   0x0(%rax,%rax,1)
mov    %r14,%rdi
mov    %rbp,%rsi
call   10b0 <strstr@plt>
test   %rax,%rax
je     121e <string_has_highlight+0x8e>
mov    %rax,%r12
mov    %rbp,%rbx
mov    0x28(%rsp),%rbp
mov    %rbp,%rdi
mov    %rax,%rsi
call   1060 <utf8_prev_char@plt>
mov    0x40(%rsp),%rcx
lea    (%r12,%rcx,1),%r14
mov    $0x1,%r15b
mov    $0x1,%r13b
cmp    %rbp,%r12
je     1527 <string_has_highlight+0x397>
add    $0xffffffffffffffff,%r12
test   %rax,%rax
cmovne %rax,%r12
mov    %r12,%rdi
call   10a0 <string_is_word_char@plt>
test   %eax,%eax
sete   %r13b
cmpb   $0x0,(%r14)
je     153b <string_has_highlight+0x3ab>
mov    %r14,%rdi
call   10a0 <string_is_word_char@plt>
test   %eax,%eax
sete   %r15b
cmpb   $0x0,0xb(%rsp)
jne    1572 <string_has_highlight+0x3e2>
movzbl 0xa(%rsp),%eax
and    %r13b,%al
test   %r15b,%al
jne    1572 <string_has_highlight+0x3e2>
cmpb   $0x2a,0x9(%rsp)
sete   %al
test   %r15b,%al
jne    1572 <string_has_highlight+0x3e2>
mov    %rbx,%rbp
cmpb   $0x2a,0x8(%rsp)
sete   %al
and    %r13b,%al
cmp    $0x1,%al
jne    14d0 <string_has_highlight+0x340>
mov    0x18(%rsp),%rdi
call   1030 <free@plt>
mov    0x10(%rsp),%rdi
call   1030 <free@plt>
mov    $0x1,%ebx
jmp    1595 <string_has_highlight+0x405>
mov    %r15,%rdi
call   1030 <free@plt>
mov    %ebx,%eax
add    $0x48,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    %r15,%rdi
call   1030 <free@plt>
mov    0x10(%rsp),%rdi
call   1030 <free@plt>
xor    %ebx,%ebx
jmp    1595 <string_has_highlight+0x405>

LLVM IR (-O0):
@REG_ICASE = global i32 0
define i32 @string_has_highlight(i8* %0, i8* %1) {
%3 = alloca i32
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i8*
%7 = alloca i8*
%8 = alloca i8*
%9 = alloca i8*
%10 = alloca i8*
%11 = alloca i8*
%12 = alloca i8*
%13 = alloca i8*
%14 = alloca i8*
%15 = alloca i8*
%16 = alloca i32
%17 = alloca i32
%18 = alloca i32
%19 = alloca i32
%20 = alloca i32
%21 = alloca i32
%22 = alloca i32
store i8* %0, i8** %4
store i8* %1, i8** %5
%23 = load i8*, i8** %4
%24 = icmp ne i8* %23, null
br i1 %24, label %25, label %38
25: ; preds = %2
%26 = load i8*, i8** %4
%27 = getelementptr inbounds i8, i8* %26, i64 0
%28 = load i8, i8* %27
%29 = icmp ne i8 %28, 0
br i1 %29, label %30, label %38
30: ; preds = %25
%31 = load i8*, i8** %5
%32 = icmp ne i8* %31, null
br i1 %32, label %33, label %38
33: ; preds = %30
%34 = load i8*, i8** %5
%35 = getelementptr inbounds i8, i8* %34, i64 0
%36 = load i8, i8* %35
%37 = icmp ne i8 %36, 0
br i1 %37, label %39, label %38
38: ; preds = %33, %30, %25, %2
store i32 0, i32* %3
br label %252
39: ; preds = %33
%40 = load i8*, i8** %4
%41 = call i8* @strdup(i8* %40)
store i8* %41, i8** %6
%42 = load i8*, i8** %6
%43 = icmp ne i8* %42, null
br i1 %43, label %45, label %44
44: ; preds = %39
store i32 0, i32* %3
br label %252
45: ; preds = %39
%46 = load i8*, i8** %6
%47 = call i32 @string_tolower(i8* %46)
%48 = load i8*, i8** %5
%49 = call i8* @strdup(i8* %48)
store i8* %49, i8** %7
%50 = load i8*, i8** %7
%51 = icmp ne i8* %50, null
br i1 %51, label %55, label %52
52: ; preds = %45
%53 = load i8*, i8** %6
%54 = call i32 @free(i8* %53)
store i32 0, i32* %3
br label %252
55: ; preds = %45
%56 = load i8*, i8** %7
%57 = call i32 @string_tolower(i8* %56)
%58 = load i8*, i8** %7
store i8* %58, i8** %12
store i32 0, i32* %16
br label %59
59: ; preds = %246, %55
%60 = load i32, i32* %16
%61 = icmp ne i32 %60, 0
%62 = xor i1 %61, true
br i1 %62, label %63, label %247
63: ; preds = %59
%64 = load i8*, i8** %4
store i8* %64, i8** %15
store i32 0, i32* %22
%65 = load i8*, i8** %12
%66 = load i32, i32* @REG_ICASE
%67 = call i64 @string_regex_flags(i8* %65, i32 %66, i32* %22)
%68 = inttoptr i64 %67 to i8*
store i8* %68, i8** %12
%69 = load i8*, i8** %12
%70 = call i8* @strchr(i8* %69, i8 signext 44)
store i8* %70, i8** %13
%71 = load i8*, i8** %13
%72 = icmp ne i8* %71, null
br i1 %72, label %76, label %73
73: ; preds = %63
%74 = load i8*, i8** %12
%75 = call i8* @strchr(i8* %74, i8 signext 0)
store i8* %75, i8** %13
store i32 1, i32* %16
br label %76
76: ; preds = %73, %63
%77 = load i8*, i8** %13
%78 = icmp ne i8* %77, null
br i1 %78, label %84, label %79
79: ; preds = %76
%80 = load i8*, i8** %6
%81 = call i32 @free(i8* %80)
%82 = load i8*, i8** %7
%83 = call i32 @free(i8* %82)
store i32 0, i32* %3
br label %252
84: ; preds = %76
%85 = load i32, i32* %22
%86 = load i32, i32* @REG_ICASE
%87 = and i32 %85, %86
%88 = icmp ne i32 %87, 0
br i1 %88, label %89, label %120
89: ; preds = %84
%90 = load i8*, i8** %12
store i8* %90, i8** %14
br label %91
91: ; preds = %115, %89
%92 = load i8*, i8** %14
%93 = load i8*, i8** %13
%94 = icmp ult i8* %92, %93
br i1 %94, label %95, label %118
95: ; preds = %91
%96 = load i8*, i8** %14
%97 = getelementptr inbounds i8, i8* %96, i64 0
%98 = load i8, i8* %97
%99 = sext i8 %98 to i32
%100 = icmp sge i32 %99, 65
br i1 %100, label %101, label %114
101: ; preds = %95
%102 = load i8*, i8** %14
%103 = getelementptr inbounds i8, i8* %102, i64 0
%104 = load i8, i8* %103
%105 = sext i8 %104 to i32
%106 = icmp sle i32 %105, 90
br i1 %106, label %107, label %114
107: ; preds = %101
%108 = load i8*, i8** %14
%109 = getelementptr inbounds i8, i8* %108, i64 0
%110 = load i8, i8* %109
%111 = sext i8 %110 to i32
%112 = add nsw i32 %111, 32
%113 = trunc i32 %112 to i8
store i8 %113, i8* %109
br label %114
114: ; preds = %107, %101, %95
br label %115
115: ; preds = %114
%116 = load i8*, i8** %14
%117 = getelementptr inbounds i8, i8* %116, i32 1
store i8* %117, i8** %14
br label %91
118: ; preds = %91
%119 = load i8*, i8** %6
store i8* %119, i8** %15
br label %120
120: ; preds = %118, %84
%121 = load i8*, i8** %13
%122 = load i8*, i8** %12
%123 = ptrtoint i8* %121 to i64
%124 = ptrtoint i8* %122 to i64
%125 = sub i64 %123, %124
%126 = trunc i64 %125 to i32
store i32 %126, i32* %17
%127 = load i8*, i8** %13
%128 = getelementptr inbounds i8, i8* %127, i64 0
store i8 0, i8* %128
%129 = load i32, i32* %17
%130 = icmp sgt i32 %129, 0
br i1 %130, label %131, label %156
131: ; preds = %120
%132 = load i8*, i8** %12
%133 = getelementptr inbounds i8, i8* %132, i64 0
%134 = load i8, i8* %133
%135 = sext i8 %134 to i32
%136 = icmp eq i32 %135, 42
%137 = zext i1 %136 to i32
store i32 %137, i32* %20
br i1 %136, label %138, label %143
138: ; preds = %131
%139 = load i8*, i8** %12
%140 = getelementptr inbounds i8, i8* %139, i32 1
store i8* %140, i8** %12
%141 = load i32, i32* %17
%142 = add nsw i32 %141, -1
store i32 %142, i32* %17
br label %143
143: ; preds = %138, %131
%144 = load i8*, i8** %13
%145 = getelementptr inbounds i8, i8* %144, i64 -1
%146 = load i8, i8* %145
%147 = sext i8 %146 to i32
%148 = icmp eq i32 %147, 42
%149 = zext i1 %148 to i32
store i32 %149, i32* %21
br i1 %148, label %150, label %155
150: ; preds = %143
%151 = load i8*, i8** %13
%152 = getelementptr inbounds i8, i8* %151, i64 -1
store i8 0, i8* %152
%153 = load i32, i32* %17
%154 = add nsw i32 %153, -1
store i32 %154, i32* %17
br label %155
155: ; preds = %150, %143
br label %156
156: ; preds = %155, %120
%157 = load i32, i32* %17
%158 = icmp sgt i32 %157, 0
br i1 %158, label %159, label %240
159: ; preds = %156
%160 = load i8*, i8** %15
store i8* %160, i8** %11
br label %161
161: ; preds = %237, %159
%162 = load i8*, i8** %11
%163 = load i8*, i8** %12
%164 = call i8* @strstr(i8* %162, i8* %163)
store i8* %164, i8** %8
%165 = icmp ne i8* %164, null
br i1 %165, label %166, label %239
166: ; preds = %161
%167 = load i8*, i8** %15
%168 = load i8*, i8** %8
%169 = call i8* @utf8_prev_char(i8* %167, i8* %168)
store i8* %169, i8** %9
%170 = load i8*, i8** %9
%171 = icmp ne i8* %170, null
br i1 %171, label %175, label %172
172: ; preds = %166
%173 = load i8*, i8** %8
%174 = getelementptr inbounds i8, i8* %173, i64 -1
store i8* %174, i8** %9
br label %175
175: ; preds = %172, %166
%176 = load i8*, i8** %8
%177 = load i32, i32* %17
%178 = sext i32 %177 to i64
%179 = getelementptr inbounds i8, i8* %176, i64 %178
store i8* %179, i8** %10
%180 = load i8*, i8** %8
%181 = load i8*, i8** %15
%182 = icmp eq i8* %180, %181
br i1 %182, label %188, label %183
183: ; preds = %175
%184 = load i8*, i8** %9
%185 = call i32 @string_is_word_char(i8* %184)
%186 = icmp ne i32 %185, 0
%187 = xor i1 %186, true
br label %188
188: ; preds = %183, %175
%189 = phi i1 [ true, %175 ], [ %187, %183 ]
%190 = zext i1 %189 to i32
store i32 %190, i32* %18
%191 = load i8*, i8** %10
%192 = getelementptr inbounds i8, i8* %191, i64 0
%193 = load i8, i8* %192
%194 = icmp ne i8 %193, 0
br i1 %194, label %195, label %200
195: ; preds = %188
%196 = load i8*, i8** %10
%197 = call i32 @string_is_word_char(i8* %196)
%198 = icmp ne i32 %197, 0
%199 = xor i1 %198, true
br label %200
200: ; preds = %195, %188
%201 = phi i1 [ true, %188 ], [ %199, %195 ]
%202 = zext i1 %201 to i32
store i32 %202, i32* %19
%203 = load i32, i32* %20
%204 = icmp ne i32 %203, 0
br i1 %204, label %205, label %208
205: ; preds = %200
%206 = load i32, i32* %21
%207 = icmp ne i32 %206, 0
br i1 %207, label %232, label %208
208: ; preds = %205, %200
%209 = load i32, i32* %20
%210 = icmp ne i32 %209, 0
br i1 %210, label %220, label %211
211: ; preds = %208
%212 = load i32, i32* %21
%213 = icmp ne i32 %212, 0
br i1 %213, label %220, label %214
214: ; preds = %211
%215 = load i32, i32* %18
%216 = icmp ne i32 %215, 0
br i1 %216, label %217, label %220
217: ; preds = %214
%218 = load i32, i32* %19
%219 = icmp ne i32 %218, 0
br i1 %219, label %232, label %220
220: ; preds = %217, %214, %211, %208
%221 = load i32, i32* %20
%222 = icmp ne i32 %221, 0
br i1 %222, label %223, label %226
223: ; preds = %220
%224 = load i32, i32* %19
%225 = icmp ne i32 %224, 0
br i1 %225, label %232, label %226
226: ; preds = %223, %220
%227 = load i32, i32* %21
%228 = icmp ne i32 %227, 0
br i1 %228, label %229, label %237
229: ; preds = %226
%230 = load i32, i32* %18
%231 = icmp ne i32 %230, 0
br i1 %231, label %232, label %237
232: ; preds = %229, %223, %217, %205
%233 = load i8*, i8** %6
%234 = call i32 @free(i8* %233)
%235 = load i8*, i8** %7
%236 = call i32 @free(i8* %235)
store i32 1, i32* %3
br label %252
237: ; preds = %229, %226
%238 = load i8*, i8** %10
store i8* %238, i8** %11
br label %161
239: ; preds = %161
br label %240
240: ; preds = %239, %156
%241 = load i32, i32* %16
%242 = icmp ne i32 %241, 0
br i1 %242, label %246, label %243
243: ; preds = %240
%244 = load i8*, i8** %13
%245 = getelementptr inbounds i8, i8* %244, i64 1
store i8* %245, i8** %12
br label %246
246: ; preds = %243, %240
br label %59
247: ; preds = %59
%248 = load i8*, i8** %6
%249 = call i32 @free(i8* %248)
%250 = load i8*, i8** %7
%251 = call i32 @free(i8* %250)
store i32 0, i32* %3
br label %252
252: ; preds = %247, %232, %79, %52, %44, %38
%253 = load i32, i32* %3
ret i32 %253
}

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