#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 /*<<< orphan*/ printf(char *);
int strend(char *s, char *t) {
  char *pt = t;
  char *ps = s;
  while (*++pt)
    ;
  while (*++ps)
    ;
  if (!((pt - t) <= (ps - s))) {
    printf("string less than target\n");
    return 0;
  }
  for (s = (s + ((ps - s) - (pt - t))); *s && *t; *s++, *t++) {
    if (*s != *t) {
      return 0;
    }
  }
  return 1;
}


x86 assembly (clang, -O0):
<strend>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x20(%rbp)
cmpb   $0x0,0x1(%rax)
je     114e <strend+0x3e>
jmp    1130 <strend+0x20>
jmp    1153 <strend+0x43>
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x28(%rbp)
cmpb   $0x0,0x1(%rax)
je     1171 <strend+0x61>
jmp    1153 <strend+0x43>
mov    -0x20(%rbp),%rax
mov    -0x18(%rbp),%rcx
sub    %rcx,%rax
mov    -0x28(%rbp),%rcx
mov    -0x10(%rbp),%rdx
sub    %rdx,%rcx
cmp    %rcx,%rax
jle    11a8 <strend+0x98>
lea    0xe69(%rip),%rdi
call   1030 <printf@plt>
movl   $0x0,-0x4(%rbp)
jmp    124c <strend+0x13c>
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%rcx
mov    -0x10(%rbp),%rdx
sub    %rdx,%rcx
mov    -0x20(%rbp),%rdx
mov    -0x18(%rbp),%rsi
sub    %rsi,%rdx
sub    %rdx,%rcx
add    %rcx,%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x29(%rbp)
je     11f1 <strend+0xe1>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
setne  %al
mov    %al,-0x29(%rbp)
mov    -0x29(%rbp),%al
test   $0x1,%al
jne    1201 <strend+0xf1>
jmp    1245 <strend+0x135>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
mov    -0x18(%rbp),%rcx
movsbl (%rcx),%ecx
cmp    %ecx,%eax
je     1223 <strend+0x113>
movl   $0x0,-0x4(%rbp)
jmp    124c <strend+0x13c>
jmp    1228 <strend+0x118>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    11cc <strend+0xbc>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<strend>:
push   %rax
add    $0x1,%rdi
xor    %eax,%eax
nopw   0x0(%rax,%rax,1)
cmpb   $0x0,0x1(%rsi,%rax,1)
lea    0x1(%rax),%rax
jne    1120 <strend+0x10>
mov    %rdi,%rcx
sub    %rax,%rcx
xor    %edx,%edx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
add    $0x1,%rcx
cmpb   $0x0,(%rdi,%rdx,1)
lea    0x1(%rdx),%rdx
jne    1140 <strend+0x30>
cmp    %rax,%rdx
jge    1163 <strend+0x53>
lea    0xea6(%rip),%rdi
call   1030 <puts@plt>
xor    %eax,%eax
pop    %rcx
ret
mov    -0x1(%rcx),%dil
mov    $0x1,%eax
test   %dil,%dil
je     1161 <strend+0x51>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movzbl (%rsi),%edx
test   %dl,%dl
je     1161 <strend+0x51>
cmp    %dl,%dil
jne    115f <strend+0x4f>
add    $0x1,%rsi
movzbl (%rcx),%edi
add    $0x1,%rcx
test   %dil,%dil
jne    1180 <strend+0x70>
jmp    1161 <strend+0x51>

LLVM IR (-O0):
@.str = [25 x i8] c"string less than target\0A\00"
define i32 @strend(i8* %0, i8* %1) {
%3 = alloca i32
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i8*
%7 = alloca i8*
store i8* %0, i8** %4
store i8* %1, i8** %5
%8 = load i8*, i8** %5
store i8* %8, i8** %6
%9 = load i8*, i8** %4
store i8* %9, i8** %7
br label %10
10: ; preds = %15, %2
%11 = load i8*, i8** %6
%12 = getelementptr inbounds i8, i8* %11, i32 1
store i8* %12, i8** %6
%13 = load i8, i8* %12
%14 = icmp ne i8 %13, 0
br i1 %14, label %15, label %16
15: ; preds = %10
br label %10
16: ; preds = %10
br label %17
17: ; preds = %22, %16
%18 = load i8*, i8** %7
%19 = getelementptr inbounds i8, i8* %18, i32 1
store i8* %19, i8** %7
%20 = load i8, i8* %19
%21 = icmp ne i8 %20, 0
br i1 %21, label %22, label %23
22: ; preds = %17
br label %17
23: ; preds = %17
%24 = load i8*, i8** %6
%25 = load i8*, i8** %5
%26 = ptrtoint i8* %24 to i64
%27 = ptrtoint i8* %25 to i64
%28 = sub i64 %26, %27
%29 = load i8*, i8** %7
%30 = load i8*, i8** %4
%31 = ptrtoint i8* %29 to i64
%32 = ptrtoint i8* %30 to i64
%33 = sub i64 %31, %32
%34 = icmp sle i64 %28, %33
br i1 %34, label %37, label %35
35: ; preds = %23
%36 = call i32 @printf(i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str, i64 0, i64 0))
store i32 0, i32* %3
br label %81
37: ; preds = %23
%38 = load i8*, i8** %4
%39 = load i8*, i8** %7
%40 = load i8*, i8** %4
%41 = ptrtoint i8* %39 to i64
%42 = ptrtoint i8* %40 to i64
%43 = sub i64 %41, %42
%44 = load i8*, i8** %6
%45 = load i8*, i8** %5
%46 = ptrtoint i8* %44 to i64
%47 = ptrtoint i8* %45 to i64
%48 = sub i64 %46, %47
%49 = sub nsw i64 %43, %48
%50 = getelementptr inbounds i8, i8* %38, i64 %49
store i8* %50, i8** %4
br label %51
51: ; preds = %73, %37
%52 = load i8*, i8** %4
%53 = load i8, i8* %52
%54 = sext i8 %53 to i32
%55 = icmp ne i32 %54, 0
br i1 %55, label %56, label %61
56: ; preds = %51
%57 = load i8*, i8** %5
%58 = load i8, i8* %57
%59 = sext i8 %58 to i32
%60 = icmp ne i32 %59, 0
br label %61
61: ; preds = %56, %51
%62 = phi i1 [ false, %51 ], [ %60, %56 ]
br i1 %62, label %63, label %80
63: ; preds = %61
%64 = load i8*, i8** %4
%65 = load i8, i8* %64
%66 = sext i8 %65 to i32
%67 = load i8*, i8** %5
%68 = load i8, i8* %67
%69 = sext i8 %68 to i32
%70 = icmp ne i32 %66, %69
br i1 %70, label %71, label %72
71: ; preds = %63
store i32 0, i32* %3
br label %81
72: ; preds = %63
br label %73
73: ; preds = %72
%74 = load i8*, i8** %4
%75 = getelementptr inbounds i8, i8* %74, i32 1
store i8* %75, i8** %4
%76 = load i8, i8* %74
%77 = load i8*, i8** %5
%78 = getelementptr inbounds i8, i8* %77, i32 1
store i8* %78, i8** %5
%79 = load i8, i8* %77
br label %51
80: ; preds = %61
store i32 1, i32* %3
br label %81
81: ; preds = %80, %71, %35
%82 = load i32, i32* %3
ret i32 %82
}

LLVM IR (-O2):
@str = [24 x i8] c"string less than target\00"
define i32 @strend(i8* %0, i8* %1) {
br label %3
3: ; preds = %3, %2
%4 = phi i8* [ %1, %2 ], [ %5, %3 ]
%5 = getelementptr inbounds i8, i8* %4, i64 1
%6 = load i8, i8* %5
%7 = icmp eq i8 %6, 0
br i1 %7, label %8, label %3
8: ; preds = %3, %8
%9 = phi i8* [ %10, %8 ], [ %0, %3 ]
%10 = getelementptr inbounds i8, i8* %9, i64 1
%11 = load i8, i8* %10
%12 = icmp eq i8 %11, 0
br i1 %12, label %13, label %8
13: ; preds = %8
%14 = ptrtoint i8* %5 to i64
%15 = ptrtoint i8* %1 to i64
%16 = sub i64 %14, %15
%17 = ptrtoint i8* %10 to i64
%18 = ptrtoint i8* %0 to i64
%19 = sub i64 %17, %18
%20 = icmp slt i64 %19, %16
br i1 %20, label %21, label %23
21: ; preds = %13
%22 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([24 x i8], [24 x i8]* @str, i64 0, i64 0))
br label %41
23: ; preds = %13
%24 = sub nsw i64 %19, %16
%25 = getelementptr inbounds i8, i8* %0, i64 %24
%26 = load i8, i8* %25
%27 = icmp eq i8 %26, 0
br i1 %27, label %41, label %28
28: ; preds = %23, %36
%29 = phi i8 [ %39, %36 ], [ %26, %23 ]
%30 = phi i8* [ %38, %36 ], [ %1, %23 ]
%31 = phi i8* [ %37, %36 ], [ %25, %23 ]
%32 = load i8, i8* %30
%33 = icmp eq i8 %32, 0
br i1 %33, label %41, label %34
34: ; preds = %28
%35 = icmp eq i8 %29, %32
br i1 %35, label %36, label %41
36: ; preds = %34
%37 = getelementptr inbounds i8, i8* %31, i64 1
%38 = getelementptr inbounds i8, i8* %30, i64 1
%39 = load i8, i8* %37
%40 = icmp eq i8 %39, 0
br i1 %40, label %41, label %28
41: ; preds = %34, %36, %28, %23, %21
%42 = phi i32 [ 0, %21 ], [ 1, %23 ], [ 0, %34 ], [ 1, %36 ], [ 1, %28 ]
ret i32 %42
}