#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 *);
int utf8_getsize_char(char const *);
int utf8_cut_by_size(const char *utf8str, int len, size_t maxsize) {
  if (len < 0)
    len = strlen(utf8str);
  if ((size_t)len <= maxsize)
    return len;
  const char *p = utf8str + maxsize - 1;
  for (; p >= utf8str; p--) {
    unsigned int c = (*p & 0xc0);
    if (c == 0xc0) {
      int cs = utf8_getsize_char(p);
      if (cs > 0) {
        int res = (p + (cs - 1)) - utf8str + 1;
        if (res > maxsize)
          return p - utf8str;
        else
          return res;
      }
    } else if (c != 0x80) {
      return p - utf8str + 1;
    }
  }
  return 0;
}


x86 assembly (clang, -O0):
<utf8_cut_by_size>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %rdx,-0x20(%rbp)
cmpl   $0x0,-0x14(%rbp)
jge    1149 <utf8_cut_by_size+0x29>
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x14(%rbp)
movslq -0x14(%rbp),%rax
cmp    -0x20(%rbp),%rax
ja     1162 <utf8_cut_by_size+0x42>
mov    -0x14(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1247 <utf8_cut_by_size+0x127>
mov    -0x10(%rbp),%rax
add    -0x20(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
cmp    -0x10(%rbp),%rax
jb     1240 <utf8_cut_by_size+0x120>
mov    -0x28(%rbp),%rax
movsbl (%rax),%eax
and    $0xc0,%eax
mov    %eax,-0x2c(%rbp)
cmpl   $0xc0,-0x2c(%rbp)
jne    1201 <utf8_cut_by_size+0xe1>
mov    -0x28(%rbp),%rdi
call   1040 <utf8_getsize_char@plt>
mov    %eax,-0x30(%rbp)
cmpl   $0x0,-0x30(%rbp)
jle    11fc <utf8_cut_by_size+0xdc>
mov    -0x28(%rbp),%rax
mov    -0x30(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
add    %rcx,%rax
mov    -0x10(%rbp),%rcx
sub    %rcx,%rax
add    $0x1,%rax
mov    %eax,-0x34(%rbp)
movslq -0x34(%rbp),%rax
cmp    -0x20(%rbp),%rax
jbe    11f1 <utf8_cut_by_size+0xd1>
mov    -0x28(%rbp),%rax
mov    -0x10(%rbp),%rcx
sub    %rcx,%rax
mov    %eax,-0x4(%rbp)
jmp    1247 <utf8_cut_by_size+0x127>
mov    -0x34(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1247 <utf8_cut_by_size+0x127>
jmp    122a <utf8_cut_by_size+0x10a>
cmpl   $0x80,-0x2c(%rbp)
je     1225 <utf8_cut_by_size+0x105>
mov    -0x28(%rbp),%rax
mov    -0x10(%rbp),%rcx
sub    %rcx,%rax
add    $0x1,%rax
mov    %eax,-0x4(%rbp)
jmp    1247 <utf8_cut_by_size+0x127>
jmp    122a <utf8_cut_by_size+0x10a>
jmp    122f <utf8_cut_by_size+0x10f>
mov    -0x28(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x28(%rbp)
jmp    1172 <utf8_cut_by_size+0x52>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<utf8_cut_by_size>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
mov    %rdx,%r14
mov    %esi,%r15d
mov    %rdi,%r12
test   %esi,%esi
jns    1140 <utf8_cut_by_size+0x20>
mov    %r12,%rdi
call   1030 <strlen@plt>
mov    %eax,%r15d
movslq %r15d,%rax
cmp    %r14,%rax
jbe    1199 <utf8_cut_by_size+0x79>
lea    (%r12,%r14,1),%rbx
add    $0xffffffffffffffff,%rbx
xor    %r15d,%r15d
cmp    %r12,%rbx
jb     1199 <utf8_cut_by_size+0x79>
lea    -0x1(%r14),%ebp
jmp    1172 <utf8_cut_by_size+0x52>
xchg   %ax,%ax
and    $0xc0,%al
cmp    $0x80,%al
jne    1193 <utf8_cut_by_size+0x73>
add    $0xffffffffffffffff,%rbx
add    $0xffffffff,%ebp
cmp    %r12,%rbx
jb     1199 <utf8_cut_by_size+0x79>
movzbl (%rbx),%eax
cmp    $0xc0,%al
jb     1160 <utf8_cut_by_size+0x40>
mov    %rbx,%rdi
call   1040 <utf8_getsize_char@plt>
test   %eax,%eax
jle    1166 <utf8_cut_by_size+0x46>
add    %ebp,%eax
movslq %eax,%r15
cmp    %r14,%r15
cmova  %ebp,%r15d
jmp    1199 <utf8_cut_by_size+0x79>
add    $0x1,%ebp
mov    %ebp,%r15d
mov    %r15d,%eax
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @utf8_cut_by_size(i8* %0, i32 %1, i64 %2) {
%4 = alloca i32
%5 = alloca i8*
%6 = alloca i32
%7 = alloca i64
%8 = alloca i8*
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
store i8* %0, i8** %5
store i32 %1, i32* %6
store i64 %2, i64* %7
%12 = load i32, i32* %6
%13 = icmp slt i32 %12, 0
br i1 %13, label %14, label %17
14: ; preds = %3
%15 = load i8*, i8** %5
%16 = call i32 @strlen(i8* %15)
store i32 %16, i32* %6
br label %17
17: ; preds = %14, %3
%18 = load i32, i32* %6
%19 = sext i32 %18 to i64
%20 = load i64, i64* %7
%21 = icmp ule i64 %19, %20
br i1 %21, label %22, label %24
22: ; preds = %17
%23 = load i32, i32* %6
store i32 %23, i32* %4
br label %88
24: ; preds = %17
%25 = load i8*, i8** %5
%26 = load i64, i64* %7
%27 = getelementptr inbounds i8, i8* %25, i64 %26
%28 = getelementptr inbounds i8, i8* %27, i64 -1
store i8* %28, i8** %8
br label %29
29: ; preds = %84, %24
%30 = load i8*, i8** %8
%31 = load i8*, i8** %5
%32 = icmp uge i8* %30, %31
br i1 %32, label %33, label %87
33: ; preds = %29
%34 = load i8*, i8** %8
%35 = load i8, i8* %34
%36 = sext i8 %35 to i32
%37 = and i32 %36, 192
store i32 %37, i32* %9
%38 = load i32, i32* %9
%39 = icmp eq i32 %38, 192
br i1 %39, label %40, label %71
40: ; preds = %33
%41 = load i8*, i8** %8
%42 = call i32 @utf8_getsize_char(i8* %41)
store i32 %42, i32* %10
%43 = load i32, i32* %10
%44 = icmp sgt i32 %43, 0
br i1 %44, label %45, label %70
45: ; preds = %40
%46 = load i8*, i8** %8
%47 = load i32, i32* %10
%48 = sub nsw i32 %47, 1
%49 = sext i32 %48 to i64
%50 = getelementptr inbounds i8, i8* %46, i64 %49
%51 = load i8*, i8** %5
%52 = ptrtoint i8* %50 to i64
%53 = ptrtoint i8* %51 to i64
%54 = sub i64 %52, %53
%55 = add nsw i64 %54, 1
%56 = trunc i64 %55 to i32
store i32 %56, i32* %11
%57 = load i32, i32* %11
%58 = sext i32 %57 to i64
%59 = load i64, i64* %7
%60 = icmp ugt i64 %58, %59
br i1 %60, label %61, label %68
61: ; preds = %45
%62 = load i8*, i8** %8
%63 = load i8*, i8** %5
%64 = ptrtoint i8* %62 to i64
%65 = ptrtoint i8* %63 to i64
%66 = sub i64 %64, %65
%67 = trunc i64 %66 to i32
store i32 %67, i32* %4
br label %88
68: ; preds = %45
%69 = load i32, i32* %11
store i32 %69, i32* %4
br label %88
70: ; preds = %40
br label %83
71: ; preds = %33
%72 = load i32, i32* %9
%73 = icmp ne i32 %72, 128
br i1 %73, label %74, label %82
74: ; preds = %71
%75 = load i8*, i8** %8
%76 = load i8*, i8** %5
%77 = ptrtoint i8* %75 to i64
%78 = ptrtoint i8* %76 to i64
%79 = sub i64 %77, %78
%80 = add nsw i64 %79, 1
%81 = trunc i64 %80 to i32
store i32 %81, i32* %4
br label %88
82: ; preds = %71
br label %83
83: ; preds = %82, %70
br label %84
84: ; preds = %83
%85 = load i8*, i8** %8
%86 = getelementptr inbounds i8, i8* %85, i32 -1
store i8* %86, i8** %8
br label %29
87: ; preds = %29
store i32 0, i32* %4
br label %88
88: ; preds = %87, %74, %68, %61, %22
%89 = load i32, i32* %4
ret i32 %89
}

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