#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 strlen(char const *);
char *strnsrch(const char *s1, const char *s2, const const int ls1) {
  char *s, *s1e;
  char cfirst, clast;
  int i, ls2;
  if (s1 == NULL || s2 == NULL) {
    return (NULL);
  }
  ls2 = strlen(s2);
  if (ls2 == 0) {
    return ((char *)s1);
  }
  if (ls1 == 0) {
    return (NULL);
  }
  cfirst = (char)s2[0];
  clast = (char)s2[ls2 - 1];
  s1e = (char *)s1 + (int)ls1 - ls2 + 1;
  s = (char *)s1;
  while (s < s1e) {
    if (*s == cfirst) {
      if (ls2 == 1) {
        return (s);
      }
      if (s[ls2 - 1] == clast) {
        if (ls2 == 2) {
          return (s);
        }
        i = 1;
        while (i < ls2 && s[i] == s2[i]) {
          i++;
        }
        if (i >= ls2) {
          return (s);
        }
      }
    }
    s++;
  }
  return (NULL);
}


x86 assembly (clang, -O0):
<strnsrch>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %edx,-0x1c(%rbp)
cmpq   $0x0,-0x10(%rbp)
je     1139 <strnsrch+0x29>
cmpq   $0x0,-0x18(%rbp)
jne    1146 <strnsrch+0x36>
movq   $0x0,-0x8(%rbp)
jmp    12c1 <strnsrch+0x1b1>
mov    -0x18(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x3c(%rbp)
cmpl   $0x0,-0x3c(%rbp)
jne    1169 <strnsrch+0x59>
mov    -0x10(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    12c1 <strnsrch+0x1b1>
cmpl   $0x0,-0x1c(%rbp)
jne    1180 <strnsrch+0x70>
movq   $0x0,-0x8(%rbp)
jmp    12c1 <strnsrch+0x1b1>
mov    -0x18(%rbp),%rax
mov    (%rax),%al
mov    %al,-0x31(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x3c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0x32(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
add    %rcx,%rax
movslq -0x3c(%rbp),%rdx
xor    %ecx,%ecx
sub    %rdx,%rcx
add    %rcx,%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
cmp    -0x30(%rbp),%rax
jae    12b9 <strnsrch+0x1a9>
mov    -0x28(%rbp),%rax
movsbl (%rax),%eax
movsbl -0x31(%rbp),%ecx
cmp    %ecx,%eax
jne    12a8 <strnsrch+0x198>
cmpl   $0x1,-0x3c(%rbp)
jne    11fb <strnsrch+0xeb>
mov    -0x28(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    12c1 <strnsrch+0x1b1>
mov    -0x28(%rbp),%rax
mov    -0x3c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
movsbl -0x32(%rbp),%ecx
cmp    %ecx,%eax
jne    12a3 <strnsrch+0x193>
cmpl   $0x2,-0x3c(%rbp)
jne    122f <strnsrch+0x11f>
mov    -0x28(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    12c1 <strnsrch+0x1b1>
movl   $0x1,-0x38(%rbp)
mov    -0x38(%rbp),%ecx
xor    %eax,%eax
cmp    -0x3c(%rbp),%ecx
mov    %al,-0x3d(%rbp)
jge    1267 <strnsrch+0x157>
mov    -0x28(%rbp),%rax
movslq -0x38(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x18(%rbp),%rcx
movslq -0x38(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
sete   %al
mov    %al,-0x3d(%rbp)
mov    -0x3d(%rbp),%al
test   $0x1,%al
jne    1277 <strnsrch+0x167>
jmp    1285 <strnsrch+0x175>
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    1236 <strnsrch+0x126>
mov    -0x38(%rbp),%eax
cmp    -0x3c(%rbp),%eax
jl     129e <strnsrch+0x18e>
mov    -0x28(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    12c1 <strnsrch+0x1b1>
jmp    12a3 <strnsrch+0x193>
jmp    12a8 <strnsrch+0x198>
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
jmp    11c3 <strnsrch+0xb3>
movq   $0x0,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<strnsrch>:
push   %rbp
push   %r14
push   %rbx
xor    %eax,%eax
test   %rdi,%rdi
je     11ba <strnsrch+0xaa>
mov    %rsi,%r14
test   %rsi,%rsi
je     11ba <strnsrch+0xaa>
mov    %edx,%ebp
mov    %rdi,%rbx
mov    %r14,%rdi
call   1030 <strlen@plt>
test   %eax,%eax
je     11b3 <strnsrch+0xa3>
test   %ebp,%ebp
je     11b8 <strnsrch+0xa8>
mov    %eax,%ecx
movslq %eax,%r9
movslq %ebp,%rsi
add    %rbx,%rsi
sub    %r9,%rsi
lea    0x1(%rsi),%rax
cmp    %rbx,%rax
jbe    11b8 <strnsrch+0xa8>
mov    (%r14),%r10b
mov    -0x1(%r9,%r14,1),%r8b
mov    %ecx,%ebp
xor    %eax,%eax
jmp    117c <strnsrch+0x6c>
cs nopw 0x0(%rax,%rax,1)
nop
lea    0x1(%rbx),%rdx
cmp    %rsi,%rbx
mov    %rdx,%rbx
jae    11ba <strnsrch+0xaa>
cmp    %r10b,(%rbx)
jne    1170 <strnsrch+0x60>
cmp    $0x1,%ecx
je     11b3 <strnsrch+0xa3>
cmp    %r8b,-0x1(%rbx,%r9,1)
jne    1170 <strnsrch+0x60>
cmp    $0x3,%ecx
jl     11b3 <strnsrch+0xa3>
mov    $0x1,%edi
nopw   0x0(%rax,%rax,1)
movzbl (%rbx,%rdi,1),%edx
cmp    (%r14,%rdi,1),%dl
jne    1170 <strnsrch+0x60>
add    $0x1,%rdi
cmp    %rdi,%rbp
jne    11a0 <strnsrch+0x90>
mov    %rbx,%rax
jmp    11ba <strnsrch+0xaa>
xor    %eax,%eax
pop    %rbx
pop    %r14
pop    %rbp
ret

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

LLVM IR (-O2):
define i8* @strnsrch(i8* %0, i8* %1, i32 %2) {
%4 = icmp eq i8* %0, null
%5 = icmp eq i8* %1, null
%6 = or i1 %4, %5
br i1 %6, label %52, label %7
7: ; preds = %3
%8 = tail call i32 @strlen(i8* %1)
%9 = icmp eq i32 %8, 0
br i1 %9, label %52, label %10
10: ; preds = %7
%11 = icmp eq i32 %2, 0
br i1 %11, label %52, label %12
12: ; preds = %10
%13 = load i8, i8* %1
%14 = add nsw i32 %8, -1
%15 = sext i32 %14 to i64
%16 = getelementptr inbounds i8, i8* %1, i64 %15
%17 = load i8, i8* %16
%18 = sext i32 %2 to i64
%19 = getelementptr inbounds i8, i8* %0, i64 %18
%20 = sext i32 %8 to i64
%21 = sub nsw i64 0, %20
%22 = getelementptr inbounds i8, i8* %19, i64 %21
%23 = getelementptr inbounds i8, i8* %22, i64 1
%24 = icmp ugt i8* %23, %0
br i1 %24, label %25, label %52
25: ; preds = %12
%26 = icmp eq i32 %8, 1
%27 = icmp slt i32 %8, 3
%28 = zext i32 %8 to i64
br label %29
29: ; preds = %25, %49
%30 = phi i8* [ %0, %25 ], [ %50, %49 ]
%31 = load i8, i8* %30
%32 = icmp eq i8 %31, %13
br i1 %32, label %33, label %49
33: ; preds = %29
br i1 %26, label %52, label %34
34: ; preds = %33
%35 = getelementptr inbounds i8, i8* %30, i64 %15
%36 = load i8, i8* %35
%37 = icmp eq i8 %36, %17
br i1 %37, label %38, label %49
38: ; preds = %34
br i1 %27, label %52, label %41
39: ; preds = %41
%40 = icmp eq i64 %48, %28
br i1 %40, label %52, label %41
41: ; preds = %38, %39
%42 = phi i64 [ %48, %39 ], [ 1, %38 ]
%43 = getelementptr inbounds i8, i8* %30, i64 %42
%44 = load i8, i8* %43
%45 = getelementptr inbounds i8, i8* %1, i64 %42
%46 = load i8, i8* %45
%47 = icmp eq i8 %44, %46
%48 = add nuw nsw i64 %42, 1
br i1 %47, label %39, label %49
49: ; preds = %41, %34, %29
%50 = getelementptr inbounds i8, i8* %30, i64 1
%51 = icmp ult i8* %30, %22
br i1 %51, label %29, label %52
52: ; preds = %38, %33, %49, %39, %12, %10, %7, %3
%53 = phi i8* [ null, %3 ], [ %0, %7 ], [ null, %10 ], [ null, %12 ], [ %30, %39 ], [ %30, %33 ], [ %30, %38 ], [ null, %49 ]
ret i8* %53
}