#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 */
scalar_t__ is_white(char const);
unsigned long strlen(char const *);
char *strtrm(char buffer[], unsigned long buflen, const char *str) {
  const char *ps, *pstart, *pend;
  char *pb;
  unsigned long len;
  long unsigned int i;
  if ((!buffer) || (buflen < 1))
    return ((char *)NULL);
  buffer[0] = '\0';
  if (!str)
    return (buffer);
  len = strlen(str);
  pstart = str;
  pend = str + len;
  while ((pstart < pend) && is_white(*pstart))
    pstart++;
  pend--;
  while ((pstart < pend) && is_white(*pend))
    pend--;
  ps = pstart;
  pb = &buffer[0];
  for (i = 1; i < buflen; i++) {
    if (ps > pend)
      break;
    *pb++ = *ps++;
  }
  *pb = '\0';
  return (buffer);
}


x86 assembly (clang, -O0):
<strtrm>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
cmpq   $0x0,-0x10(%rbp)
je     114a <strtrm+0x2a>
cmpq   $0x1,-0x18(%rbp)
jae    1157 <strtrm+0x37>
movq   $0x0,-0x8(%rbp)
jmp    12b2 <strtrm+0x192>
mov    -0x10(%rbp),%rax
movb   $0x0,(%rax)
cmpq   $0x0,-0x20(%rbp)
jne    1176 <strtrm+0x56>
mov    -0x10(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    12b2 <strtrm+0x192>
mov    -0x20(%rbp),%rdi
call   1030 <strlen@plt>
mov    %rax,-0x48(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x20(%rbp),%rax
add    -0x48(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x30(%rbp),%rcx
xor    %eax,%eax
cmp    -0x38(%rbp),%rcx
mov    %al,-0x51(%rbp)
jae    11c0 <strtrm+0xa0>
mov    -0x30(%rbp),%rax
movsbl (%rax),%edi
call   1040 <is_white@plt>
cmp    $0x0,%rax
setne  %al
mov    %al,-0x51(%rbp)
mov    -0x51(%rbp),%al
test   $0x1,%al
jne    11d0 <strtrm+0xb0>
jmp    11e1 <strtrm+0xc1>
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
jmp    1197 <strtrm+0x77>
mov    -0x38(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x38(%rbp)
mov    -0x30(%rbp),%rcx
xor    %eax,%eax
cmp    -0x38(%rbp),%rcx
mov    %al,-0x52(%rbp)
jae    1216 <strtrm+0xf6>
mov    -0x38(%rbp),%rax
movsbl (%rax),%edi
call   1040 <is_white@plt>
cmp    $0x0,%rax
setne  %al
mov    %al,-0x52(%rbp)
mov    -0x52(%rbp),%al
test   $0x1,%al
jne    1226 <strtrm+0x106>
jmp    1237 <strtrm+0x117>
mov    -0x38(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x38(%rbp)
jmp    11ed <strtrm+0xcd>
mov    -0x30(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x40(%rbp)
movq   $0x1,-0x50(%rbp)
mov    -0x50(%rbp),%rax
cmp    -0x18(%rbp),%rax
jae    12a3 <strtrm+0x183>
mov    -0x28(%rbp),%rax
cmp    -0x38(%rbp),%rax
jbe    1270 <strtrm+0x150>
jmp    12a3 <strtrm+0x183>
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x28(%rbp)
mov    (%rax),%cl
mov    -0x40(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x40(%rbp)
mov    %cl,(%rax)
mov    -0x50(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x50(%rbp)
jmp    124f <strtrm+0x12f>
mov    -0x40(%rbp),%rax
movb   $0x0,(%rax)
mov    -0x10(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<strtrm>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
xor    %eax,%eax
test   %rdi,%rdi
je     11f0 <strtrm+0xd0>
mov    %rsi,%r14
test   %rsi,%rsi
je     11f0 <strtrm+0xd0>
mov    %rdx,%r15
mov    %rdi,%r13
movb   $0x0,(%rdi)
test   %rdx,%rdx
je     11ed <strtrm+0xcd>
mov    %r15,%rdi
call   1030 <strlen@plt>
mov    %rax,%r12
mov    %r15,%rbp
test   %rax,%rax
jle    1187 <strtrm+0x67>
lea    (%r15,%r12,1),%rbx
mov    %r15,%rbp
xchg   %ax,%ax
movsbl 0x0(%rbp),%edi
call   1040 <is_white@plt>
test   %rax,%rax
je     1187 <strtrm+0x67>
add    $0x1,%rbp
cmp    %rbx,%rbp
jb     1170 <strtrm+0x50>
lea    (%r12,%r15,1),%rcx
add    $0xffffffffffffffff,%rcx
nop
mov    %rcx,%rbx
cmp    %rcx,%rbp
jae    11a9 <strtrm+0x89>
movsbl (%rbx),%edi
call   1040 <is_white@plt>
lea    -0x1(%rbx),%rcx
test   %rax,%rax
jne    1190 <strtrm+0x70>
mov    %r13,%rax
cmp    $0x2,%r14
jb     11ea <strtrm+0xca>
mov    %r13,%rax
cmp    %rbx,%rbp
ja     11ea <strtrm+0xca>
xor    %ecx,%ecx
nopl   0x0(%rax)
movzbl 0x0(%rbp,%rcx,1),%eax
mov    %al,0x0(%r13,%rcx,1)
lea    0x2(%rcx),%rdx
lea    0x1(%rcx),%rax
cmp    %r14,%rdx
jae    11e7 <strtrm+0xc7>
lea    (%rcx,%rbp,1),%rdx
add    $0x1,%rdx
mov    %rax,%rcx
cmp    %rbx,%rdx
jbe    11c0 <strtrm+0xa0>
add    %r13,%rax
movb   $0x0,(%rax)
mov    %r13,%rax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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