#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_highlight(char const *);
scalar_t__ string_regex_flags(char *, int, int *);
char *string_strcasestr(char const *, char *);
char *strstr(char const *, char *);
char *utf8_prev_char(char *, char const *);
int string_has_highlight(const char *string, const char *highlight_words) {
  const char *match, *match_pre, *match_post, *msg_pos;
  char *msg, *highlight, *pos, *pos_end;
  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;
  highlight = strdup(highlight_words);
  if (!highlight) {
    free(msg);
    return 0;
  }
  pos = highlight;
  end = 0;
  while (!end) {
    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;
    }
    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 = msg;
      while (1) {
        match = (flags & REG_ICASE) ? string_strcasestr(msg_pos, pos)
                                    : strstr(msg_pos, pos);
        if (!match)
          break;
        match_pre = utf8_prev_char(msg, match);
        if (!match_pre)
          match_pre = match - 1;
        match_post = match + length;
        startswith =
            ((match == msg) || (!string_is_word_char_highlight(match_pre)));
        endswith =
            ((!match_post[0]) || (!string_is_word_char_highlight(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    1531 <string_has_highlight+0x3b1>
mov    -0x10(%rbp),%rdi
call   1090 <strdup@plt>
mov    %rax,-0x40(%rbp)
cmpq   $0x0,-0x40(%rbp)
jne    11f3 <string_has_highlight+0x73>
movl   $0x0,-0x4(%rbp)
jmp    1531 <string_has_highlight+0x3b1>
mov    -0x18(%rbp),%rdi
call   1090 <strdup@plt>
mov    %rax,-0x48(%rbp)
cmpq   $0x0,-0x48(%rbp)
jne    1220 <string_has_highlight+0xa0>
mov    -0x40(%rbp),%rdi
call   1030 <free@plt>
movl   $0x0,-0x4(%rbp)
jmp    1531 <string_has_highlight+0x3b1>
mov    -0x48(%rbp),%rax
mov    %rax,-0x50(%rbp)
movl   $0x0,-0x5c(%rbp)
cmpl   $0x0,-0x5c(%rbp)
setne  %al
xor    $0xff,%al
test   $0x1,%al
jne    1245 <string_has_highlight+0xc5>
jmp    1518 <string_has_highlight+0x398>
movl   $0x0,-0x74(%rbp)
mov    -0x50(%rbp),%rdi
mov    0x2d91(%rip),%rax
mov    (%rax),%esi
lea    -0x74(%rbp),%rdx
call   1070 <string_regex_flags@plt>
mov    %rax,-0x50(%rbp)
mov    -0x50(%rbp),%rdi
mov    $0x2c,%esi
call   1050 <strchr@plt>
mov    %rax,-0x58(%rbp)
cmpq   $0x0,-0x58(%rbp)
jne    1299 <string_has_highlight+0x119>
mov    -0x50(%rbp),%rdi
xor    %esi,%esi
call   1050 <strchr@plt>
mov    %rax,-0x58(%rbp)
movl   $0x1,-0x5c(%rbp)
cmpq   $0x0,-0x58(%rbp)
jne    12c2 <string_has_highlight+0x142>
mov    -0x40(%rbp),%rdi
call   1030 <free@plt>
mov    -0x48(%rbp),%rdi
call   1030 <free@plt>
movl   $0x0,-0x4(%rbp)
jmp    1531 <string_has_highlight+0x3b1>
mov    -0x58(%rbp),%rax
mov    -0x50(%rbp),%rcx
sub    %rcx,%rax
mov    %eax,-0x60(%rbp)
mov    -0x58(%rbp),%rax
movb   $0x0,(%rax)
cmpl   $0x0,-0x60(%rbp)
jle    1357 <string_has_highlight+0x1d7>
mov    -0x50(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2a,%eax
sete   %al
mov    %al,%cl
and    $0x1,%cl
movzbl %cl,%ecx
mov    %ecx,-0x6c(%rbp)
test   $0x1,%al
jne    1306 <string_has_highlight+0x186>
jmp    131b <string_has_highlight+0x19b>
mov    -0x50(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x50(%rbp)
mov    -0x60(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x60(%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,-0x70(%rbp)
test   $0x1,%al
jne    1341 <string_has_highlight+0x1c1>
jmp    1352 <string_has_highlight+0x1d2>
mov    -0x58(%rbp),%rax
movb   $0x0,-0x1(%rax)
mov    -0x60(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x60(%rbp)
jmp    1357 <string_has_highlight+0x1d7>
cmpl   $0x0,-0x60(%rbp)
jle    14fd <string_has_highlight+0x37d>
mov    -0x40(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x74(%rbp),%eax
mov    0x2c75(%rip),%rcx
and    (%rcx),%eax
cmp    $0x0,%eax
je     1394 <string_has_highlight+0x214>
mov    -0x38(%rbp),%rdi
mov    -0x50(%rbp),%rsi
call   1080 <string_strcasestr@plt>
mov    %rax,-0x80(%rbp)
jmp    13a5 <string_has_highlight+0x225>
mov    -0x38(%rbp),%rdi
mov    -0x50(%rbp),%rsi
call   10a0 <strstr@plt>
mov    %rax,-0x80(%rbp)
mov    -0x80(%rbp),%rax
mov    %rax,-0x20(%rbp)
cmpq   $0x0,-0x20(%rbp)
jne    13bd <string_has_highlight+0x23d>
jmp    14f8 <string_has_highlight+0x378>
mov    -0x40(%rbp),%rdi
mov    -0x20(%rbp),%rsi
call   1060 <utf8_prev_char@plt>
mov    %rax,-0x28(%rbp)
cmpq   $0x0,-0x28(%rbp)
jne    13e5 <string_has_highlight+0x265>
mov    -0x20(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x28(%rbp)
mov    -0x20(%rbp),%rax
movslq -0x60(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x30(%rbp)
mov    -0x20(%rbp),%rcx
mov    $0x1,%al
cmp    -0x40(%rbp),%rcx
mov    %al,-0x81(%rbp)
je     1421 <string_has_highlight+0x2a1>
mov    -0x28(%rbp),%rdi
call   1040 <string_is_word_char_highlight@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
mov    %al,-0x81(%rbp)
mov    -0x81(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x64(%rbp)
mov    -0x30(%rbp),%rcx
mov    $0x1,%al
cmpb   $0x0,(%rcx)
mov    %al,-0x82(%rbp)
je     145b <string_has_highlight+0x2db>
mov    -0x30(%rbp),%rdi
call   1040 <string_is_word_char_highlight@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
mov    %al,-0x82(%rbp)
mov    -0x82(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x68(%rbp)
cmpl   $0x0,-0x6c(%rbp)
je     147d <string_has_highlight+0x2fd>
cmpl   $0x0,-0x70(%rbp)
jne    14cd <string_has_highlight+0x34d>
cmpl   $0x0,-0x6c(%rbp)
jne    14a5 <string_has_highlight+0x325>
cmpl   $0x0,-0x70(%rbp)
jne    14a5 <string_has_highlight+0x325>
cmpl   $0x0,-0x64(%rbp)
je     14a5 <string_has_highlight+0x325>
cmpl   $0x0,-0x68(%rbp)
jne    14cd <string_has_highlight+0x34d>
cmpl   $0x0,-0x6c(%rbp)
je     14b9 <string_has_highlight+0x339>
cmpl   $0x0,-0x68(%rbp)
jne    14cd <string_has_highlight+0x34d>
cmpl   $0x0,-0x70(%rbp)
je     14eb <string_has_highlight+0x36b>
cmpl   $0x0,-0x64(%rbp)
je     14eb <string_has_highlight+0x36b>
mov    -0x40(%rbp),%rdi
call   1030 <free@plt>
mov    -0x48(%rbp),%rdi
call   1030 <free@plt>
movl   $0x1,-0x4(%rbp)
jmp    1531 <string_has_highlight+0x3b1>
mov    -0x30(%rbp),%rax
mov    %rax,-0x38(%rbp)
jmp    1369 <string_has_highlight+0x1e9>
jmp    14fd <string_has_highlight+0x37d>
cmpl   $0x0,-0x5c(%rbp)
jne    1513 <string_has_highlight+0x393>
mov    -0x58(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x50(%rbp)
jmp    122f <string_has_highlight+0xaf>
mov    -0x40(%rbp),%rdi
call   1030 <free@plt>
mov    -0x48(%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    $0x38,%rsp
xor    %ebp,%ebp
test   %rdi,%rdi
je     13b8 <string_has_highlight+0x228>
mov    %rsi,%rbx
test   %rsi,%rsi
je     13b8 <string_has_highlight+0x228>
cmpb   $0x0,(%rdi)
je     13b8 <string_has_highlight+0x228>
cmpb   $0x0,(%rbx)
je     13b8 <string_has_highlight+0x228>
call   10a0 <strdup@plt>
mov    %rax,0x8(%rsp)
test   %rax,%rax
je     13b8 <string_has_highlight+0x228>
mov    %rbx,%rdi
call   10a0 <strdup@plt>
test   %rax,%rax
je     13ae <string_has_highlight+0x21e>
mov    %rax,0x18(%rsp)
mov    %rax,%rdi
jmp    120a <string_has_highlight+0x7a>
mov    0x20(%rsp),%rdi
add    $0x1,%rdi
cmpq   $0x0,0x28(%rsp)
je     13c9 <string_has_highlight+0x239>
movl   $0x0,0x14(%rsp)
mov    0x2dcf(%rip),%rax
mov    (%rax),%esi
lea    0x14(%rsp),%rdx
call   1080 <string_regex_flags@plt>
mov    %rax,%rbp
mov    %rax,%rdi
mov    $0x2c,%esi
call   1060 <strchr@plt>
mov    %rax,%rbx
test   %rax,%rax
jne    124e <string_has_highlight+0xbe>
mov    %rbp,%rdi
call   1050 <strlen@plt>
add    %rbp,%rax
je     13c9 <string_has_highlight+0x239>
mov    %rbx,0x28(%rsp)
mov    %eax,%edx
sub    %ebp,%edx
mov    %rax,0x20(%rsp)
movb   $0x0,(%rax)
test   %edx,%edx
jle    11f5 <string_has_highlight+0x65>
mov    0x0(%rbp),%al
xor    %ecx,%ecx
mov    %al,0x5(%rsp)
cmp    $0x2a,%al
sete   %cl
sub    %ecx,%edx
mov    0x20(%rsp),%rax
mov    -0x1(%rax),%bl
mov    %bl,0x4(%rsp)
cmp    $0x2a,%bl
jne    128b <string_has_highlight+0xfb>
movb   $0x0,-0x1(%rax)
add    $0xffffffff,%edx
test   %edx,%edx
jle    11f5 <string_has_highlight+0x65>
add    %rcx,%rbp
cmpb   $0x2a,0x4(%rsp)
sete   %cl
cmpb   $0x2a,0x5(%rsp)
sete   %al
mov    %edx,%edx
mov    %rdx,0x30(%rsp)
mov    %eax,%edx
and    %cl,%dl
mov    %dl,0x7(%rsp)
or     %cl,%al
xor    $0x1,%al
mov    %al,0x6(%rsp)
mov    0x8(%rsp),%r13
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    0x2d11(%rip),%rax
mov    (%rax),%eax
test   %eax,0x14(%rsp)
je     12f0 <string_has_highlight+0x160>
mov    %r13,%rdi
mov    %rbp,%rsi
call   1090 <string_strcasestr@plt>
jmp    12fb <string_has_highlight+0x16b>
nopl   0x0(%rax)
mov    %r13,%rdi
mov    %rbp,%rsi
call   10b0 <strstr@plt>
mov    %rax,%r15
test   %rax,%rax
je     11f5 <string_has_highlight+0x65>
mov    %rbp,%rbx
mov    0x8(%rsp),%rbp
mov    %rbp,%rdi
mov    %r15,%rsi
call   1070 <utf8_prev_char@plt>
mov    0x30(%rsp),%rcx
lea    (%r15,%rcx,1),%r13
mov    $0x1,%r12b
mov    $0x1,%r14b
cmp    %rbp,%r15
je     1347 <string_has_highlight+0x1b7>
add    $0xffffffffffffffff,%r15
test   %rax,%rax
cmovne %rax,%r15
mov    %r15,%rdi
call   1040 <string_is_word_char_highlight@plt>
test   %eax,%eax
sete   %r14b
cmpb   $0x0,0x0(%r13)
je     135c <string_has_highlight+0x1cc>
mov    %r13,%rdi
call   1040 <string_is_word_char_highlight@plt>
test   %eax,%eax
sete   %r12b
cmpb   $0x0,0x7(%rsp)
jne    1393 <string_has_highlight+0x203>
movzbl 0x6(%rsp),%eax
and    %r14b,%al
test   %r12b,%al
jne    1393 <string_has_highlight+0x203>
cmpb   $0x2a,0x5(%rsp)
sete   %al
test   %r12b,%al
jne    1393 <string_has_highlight+0x203>
mov    %rbx,%rbp
cmpb   $0x2a,0x4(%rsp)
sete   %al
and    %r14b,%al
cmp    $0x1,%al
jne    12d0 <string_has_highlight+0x140>
mov    0x8(%rsp),%rdi
call   1030 <free@plt>
mov    0x18(%rsp),%rdi
call   1030 <free@plt>
mov    $0x1,%ebp
jmp    13b8 <string_has_highlight+0x228>
mov    0x8(%rsp),%rdi
call   1030 <free@plt>
mov    %ebp,%eax
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    0x8(%rsp),%rdi
call   1030 <free@plt>
mov    0x18(%rsp),%rdi
call   1030 <free@plt>
xor    %ebp,%ebp
jmp    13b8 <string_has_highlight+0x228>

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

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 %109, 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 %109
11: ; preds = %6
%12 = load i8, i8* %1
%13 = icmp eq i8 %12, 0
br i1 %13, label %109, label %14
14: ; preds = %11
%15 = tail call i8* @strdup(i8* %0)
%16 = icmp eq i8* %15, null
br i1 %16, label %109, label %17
17: ; preds = %14
%18 = tail call i8* @strdup(i8* %1)
%19 = icmp eq i8* %18, null
br i1 %19, label %20, label %22
20: ; preds = %17
%21 = tail call i32 @free(i8* %15)
br label %109
22: ; preds = %17, %104
%23 = phi i8* [ %105, %104 ], [ %18, %17 ]
store i32 0, i32* %3
%24 = load i32, i32* @REG_ICASE
%25 = call i64 @string_regex_flags(i8* %23, i32 %24, i32* %3)
%26 = inttoptr i64 %25 to i8*
%27 = call i8* @strchr(i8* dereferenceable(1) %26, i8 signext 44)
%28 = icmp eq i8* %27, null
br i1 %28, label %29, label %36
29: ; preds = %22
%30 = call i64 @strlen(i8* dereferenceable(1) %26)
%31 = getelementptr i8, i8* %26, i64 %30
%32 = icmp eq i8* %31, null
br i1 %32, label %33, label %36
33: ; preds = %29
%34 = call i32 @free(i8* %15)
%35 = call i32 @free(i8* %18)
br label %109
36: ; preds = %22, %29
%37 = phi i8* [ %31, %29 ], [ %27, %22 ]
%38 = ptrtoint i8* %37 to i64
%39 = sub i64 %38, %25
%40 = trunc i64 %39 to i32
store i8 0, i8* %37
%41 = icmp sgt i32 %40, 0
br i1 %41, label %42, label %104
42: ; preds = %36
%43 = load i8, i8* %26
%44 = icmp eq i8 %43, 42
%45 = zext i1 %44 to i64
%46 = getelementptr i8, i8* %26, i64 %45
%47 = sext i1 %44 to i32
%48 = add nsw i32 %47, %40
%49 = getelementptr inbounds i8, i8* %37, i64 -1
%50 = load i8, i8* %49
%51 = icmp eq i8 %50, 42
br i1 %51, label %52, label %54
52: ; preds = %42
store i8 0, i8* %49
%53 = add nsw i32 %48, -1
br label %54
54: ; preds = %42, %52
%55 = phi i32 [ %53, %52 ], [ %48, %42 ]
%56 = icmp sgt i32 %55, 0
br i1 %56, label %57, label %104
57: ; preds = %54
%58 = zext i32 %55 to i64
%59 = select i1 %44, i1 %51, i1 false
%60 = select i1 %44, i1 true, i1 %51
%61 = xor i1 %60, true
br label %62
62: ; preds = %57, %99
%63 = phi i8* [ %77, %99 ], [ %15, %57 ]
%64 = load i32, i32* %3
%65 = load i32, i32* @REG_ICASE
%66 = and i32 %65, %64
%67 = icmp eq i32 %66, 0
br i1 %67, label %70, label %68
68: ; preds = %62
%69 = call i8* @string_strcasestr(i8* %63, i8* %46)
br label %72
70: ; preds = %62
%71 = call i8* @strstr(i8* %63, i8* dereferenceable(1) %46)
br label %72
72: ; preds = %70, %68
%73 = phi i8* [ %69, %68 ], [ %71, %70 ]
%74 = icmp eq i8* %73, null
br i1 %74, label %104, label %75
75: ; preds = %72
%76 = call i8* @utf8_prev_char(i8* %15, i8* %73)
%77 = getelementptr inbounds i8, i8* %73, i64 %58
%78 = icmp eq i8* %73, %15
br i1 %78, label %85, label %79
79: ; preds = %75
%80 = icmp eq i8* %76, null
%81 = getelementptr inbounds i8, i8* %73, i64 -1
%82 = select i1 %80, i8* %81, i8* %76
%83 = call i32 @string_is_word_char_highlight(i8* %82)
%84 = icmp eq i32 %83, 0
br label %85
85: ; preds = %79, %75
%86 = phi i1 [ true, %75 ], [ %84, %79 ]
%87 = load i8, i8* %77
%88 = icmp eq i8 %87, 0
br i1 %88, label %92, label %89
89: ; preds = %85
%90 = call i32 @string_is_word_char_highlight(i8* %77)
%91 = icmp eq i32 %90, 0
br label %92
92: ; preds = %89, %85
%93 = phi i1 [ true, %85 ], [ %91, %89 ]
br i1 %59, label %101, label %94
94: ; preds = %92
%95 = select i1 %61, i1 %86, i1 false
%96 = select i1 %95, i1 %93, i1 false
br i1 %96, label %101, label %97
97: ; preds = %94
%98 = select i1 %44, i1 %93, i1 false
br i1 %98, label %101, label %99
99: ; preds = %97
%100 = select i1 %51, i1 %86, i1 false
br i1 %100, label %101, label %62
101: ; preds = %99, %97, %94, %92
%102 = call i32 @free(i8* %15)
%103 = call i32 @free(i8* %18)
br label %109
104: ; preds = %72, %36, %54
%105 = getelementptr inbounds i8, i8* %37, i64 1
br i1 %28, label %106, label %22
106: ; preds = %104
%107 = call i32 @free(i8* %15)
%108 = call i32 @free(i8* %18)
br label %109
109: ; preds = %14, %2, %6, %11, %106, %101, %33, %20
%110 = phi i32 [ 1, %101 ], [ 0, %33 ], [ 0, %106 ], [ 0, %20 ], [ 0, %11 ], [ 0, %6 ], [ 0, %2 ], [ 0, %14 ]
ret i32 %110
}