unsigned char *image_crop_rgb24(signed int xres, signed int yres,
                                unsigned char *img, signed int szx,
                                signed int szy, signed int sx, signed int sy) {
  unsigned char *cropped;
  signed int x;
  signed int y;
  void *return_value_malloc$1;
  return_value_malloc$1 = malloc((unsigned long int)(szx * szy * 3) * 1ul);
  cropped = (unsigned char *)return_value_malloc$1;
  memset((void *)cropped, 0, (unsigned long int)(szx * szy * 3) * 1ul);
  y = 0;
  while (!(y >= szy)) {
    signed int oaddr = ((y + sy) * xres + sx) * 3;
    if (y + sy >= 0) {
      if (!(y + sy >= yres)) {
        x = 0;
        while (!(x >= szx)) {
          if (x + sx >= 0) {
            if (!(x + sx >= xres)) {
              signed int addr = (szx * y + x) * 3;
              cropped[(signed long int)addr] =
                  img[(signed long int)(oaddr + x * 3)];
              cropped[(signed long int)(addr + 1)] =
                  img[(signed long int)(oaddr + x * 3 + 1)];
              cropped[(signed long int)(addr + 2)] =
                  img[(signed long int)(oaddr + x * 3 + 2)];
            }
          }
          x = x + 1;
        }
      }
    }
    y = y + 1;
  }
  return cropped;
}


x86 assembly (clang, -O0):
<image_crop_rgb24>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    0x10(%rbp),%eax
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %rdx,-0x10(%rbp)
mov    %ecx,-0x14(%rbp)
mov    %r8d,-0x18(%rbp)
mov    %r9d,-0x1c(%rbp)
mov    -0x14(%rbp),%eax
imul   -0x18(%rbp),%eax
imul   $0x3,%eax,%eax
movslq %eax,%rdi
shl    $0x0,%rdi
call   1040 <malloc@plt>
mov    %rax,-0x38(%rbp)
mov    -0x38(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rdi
mov    -0x14(%rbp),%eax
imul   -0x18(%rbp),%eax
imul   $0x3,%eax,%eax
movslq %eax,%rdx
shl    $0x0,%rdx
xor    %esi,%esi
call   1030 <memset@plt>
movl   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x18(%rbp),%eax
setge  %al
xor    $0xff,%al
test   $0x1,%al
jne    119d <image_crop_rgb24+0x7d>
jmp    12b0 <image_crop_rgb24+0x190>
mov    -0x30(%rbp),%eax
add    0x10(%rbp),%eax
imul   -0x4(%rbp),%eax
add    -0x1c(%rbp),%eax
imul   $0x3,%eax,%eax
mov    %eax,-0x3c(%rbp)
mov    -0x30(%rbp),%eax
add    0x10(%rbp),%eax
cmp    $0x0,%eax
jl     12a2 <image_crop_rgb24+0x182>
mov    -0x30(%rbp),%eax
add    0x10(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    129d <image_crop_rgb24+0x17d>
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x14(%rbp),%eax
setge  %al
xor    $0xff,%al
test   $0x1,%al
jne    11ed <image_crop_rgb24+0xcd>
jmp    1298 <image_crop_rgb24+0x178>
mov    -0x2c(%rbp),%eax
add    -0x1c(%rbp),%eax
cmp    $0x0,%eax
jl     128a <image_crop_rgb24+0x16a>
mov    -0x2c(%rbp),%eax
add    -0x1c(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    1285 <image_crop_rgb24+0x165>
mov    -0x14(%rbp),%eax
imul   -0x30(%rbp),%eax
add    -0x2c(%rbp),%eax
imul   $0x3,%eax,%eax
mov    %eax,-0x40(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x3c(%rbp),%ecx
imul   $0x3,-0x2c(%rbp),%edx
add    %edx,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x28(%rbp),%rax
movslq -0x40(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x10(%rbp),%rax
mov    -0x3c(%rbp),%ecx
imul   $0x3,-0x2c(%rbp),%edx
add    %edx,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x28(%rbp),%rax
mov    -0x40(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x10(%rbp),%rax
mov    -0x3c(%rbp),%ecx
imul   $0x3,-0x2c(%rbp),%edx
add    %edx,%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x28(%rbp),%rax
mov    -0x40(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
jmp    128a <image_crop_rgb24+0x16a>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    11d5 <image_crop_rgb24+0xb5>
jmp    129d <image_crop_rgb24+0x17d>
jmp    12a2 <image_crop_rgb24+0x182>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    1185 <image_crop_rgb24+0x65>
mov    -0x28(%rbp),%rax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<image_crop_rgb24>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
mov    %r9d,%r12d
mov    %r8d,%r14d
mov    %rdx,%rbx
mov    %esi,%ebp
mov    %edi,%r13d
mov    %ecx,0xc(%rsp)
mov    %ecx,%eax
imul   %r8d,%eax
lea    (%rax,%rax,2),%eax
movslq %eax,%rsi
mov    $0x1,%edi
call   1030 <calloc@plt>
mov    %rax,0x10(%rsp)
test   %r14d,%r14d
jle    1224 <image_crop_rgb24+0x114>
mov    0x60(%rsp),%ecx
movslq %r12d,%rax
movslq %r13d,%r9
movslq 0xc(%rsp),%rsi
movslq %ecx,%r11
movslq %ebp,%rcx
mov    %rcx,0x20(%rsp)
mov    %r14d,%r10d
mov    %esi,%edi
mov    0x10(%rsp),%rbp
add    $0x2,%rbp
lea    (%rsi,%rsi,2),%r14
mov    %r11d,%ecx
imul   %r9d,%ecx
lea    (%rcx,%rcx,2),%esi
mov    %rax,0x18(%rsp)
lea    (%rax,%rax,2),%ecx
add    %esi,%ecx
lea    (%r9,%r9,2),%r12d
lea    (%rdi,%rdi,2),%rdi
xor    %r13d,%r13d
jmp    11bf <image_crop_rgb24+0xaf>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
add    $0x1,%r13
add    %r14,%rbp
add    %r12,%rcx
cmp    %r10,%r13
je     1224 <image_crop_rgb24+0x114>
mov    %r13,%rsi
add    %r11,%rsi
js     11b0 <image_crop_rgb24+0xa0>
cmp    0x20(%rsp),%rsi
jge    11b0 <image_crop_rgb24+0xa0>
cmpl   $0x0,0xc(%rsp)
jle    11b0 <image_crop_rgb24+0xa0>
xor    %esi,%esi
mov    0x18(%rsp),%r8
jmp    11ed <image_crop_rgb24+0xdd>
xchg   %ax,%ax
add    $0x1,%r8
add    $0x3,%rsi
cmp    %rsi,%rdi
je     11b0 <image_crop_rgb24+0xa0>
test   %r8,%r8
js     11e0 <image_crop_rgb24+0xd0>
cmp    %r9,%r8
jge    11e0 <image_crop_rgb24+0xd0>
lea    (%rcx,%rsi,1),%rax
cltq
movzbl (%rbx,%rax,1),%r15d
mov    %r15b,-0x2(%rbp,%rsi,1)
lea    0x1(%rax),%edx
movslq %edx,%rdx
movzbl (%rbx,%rdx,1),%edx
mov    %dl,-0x1(%rbp,%rsi,1)
add    $0x2,%eax
cltq
movzbl (%rbx,%rax,1),%eax
mov    %al,0x0(%rbp,%rsi,1)
jmp    11e0 <image_crop_rgb24+0xd0>
mov    0x10(%rsp),%rax
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define noalias i8* @image_crop_rgb24(i32 %0, i32 %1, i8* nocapture %2, i32 %3, i32 %4, i32 %5, i32 %6) {
%8 = mul i32 %3, 3
%9 = mul i32 %8, %4
%10 = sext i32 %9 to i64
%11 = call i8* @calloc(i64 1, i64 %10)
%12 = icmp sgt i32 %4, 0
br i1 %12, label %13, label %68
13: ; preds = %7
%14 = icmp slt i32 %3, 1
%15 = sext i32 %5 to i64
%16 = sext i32 %0 to i64
%17 = sext i32 %3 to i64
%18 = sext i32 %6 to i64
%19 = sext i32 %1 to i64
%20 = zext i32 %4 to i64
%21 = zext i32 %3 to i64
br label %22
22: ; preds = %13, %65
%23 = phi i64 [ 0, %13 ], [ %66, %65 ]
%24 = add nsw i64 %23, %18
%25 = icmp slt i64 %24, 0
%26 = icmp sge i64 %24, %19
%27 = or i1 %25, %26
%28 = or i1 %27, %14
br i1 %28, label %65, label %29
29: ; preds = %22
%30 = mul nsw i64 %23, %17
%31 = trunc i64 %24 to i32
%32 = mul i32 %31, %0
br label %33
33: ; preds = %29, %62
%34 = phi i64 [ 0, %29 ], [ %63, %62 ]
%35 = add nsw i64 %34, %15
%36 = icmp sgt i64 %35, -1
%37 = icmp slt i64 %35, %16
%38 = and i1 %36, %37
br i1 %38, label %39, label %62
39: ; preds = %33
%40 = add nsw i64 %34, %30
%41 = mul nsw i64 %40, 3
%42 = trunc i64 %34 to i32
%43 = add i32 %42, %5
%44 = add i32 %43, %32
%45 = mul i32 %44, 3
%46 = sext i32 %45 to i64
%47 = getelementptr inbounds i8, i8* %2, i64 %46
%48 = load i8, i8* %47
%49 = getelementptr inbounds i8, i8* %11, i64 %41
store i8 %48, i8* %49
%50 = add nsw i32 %45, 1
%51 = sext i32 %50 to i64
%52 = getelementptr inbounds i8, i8* %2, i64 %51
%53 = load i8, i8* %52
%54 = add nsw i64 %41, 1
%55 = getelementptr inbounds i8, i8* %11, i64 %54
store i8 %53, i8* %55
%56 = add nsw i32 %45, 2
%57 = sext i32 %56 to i64
%58 = getelementptr inbounds i8, i8* %2, i64 %57
%59 = load i8, i8* %58
%60 = add nsw i64 %41, 2
%61 = getelementptr inbounds i8, i8* %11, i64 %60
store i8 %59, i8* %61
br label %62
62: ; preds = %39, %33
%63 = add nuw nsw i64 %34, 1
%64 = icmp eq i64 %63, %21
br i1 %64, label %65, label %33
65: ; preds = %62, %22
%66 = add nuw nsw i64 %23, 1
%67 = icmp eq i64 %66, %20
br i1 %67, label %68, label %22
68: ; preds = %65, %7
ret i8* %11
}