Gray_Image(ptr, Width, Height, X1, Y1, X2, Y2) {
  int x, y, p, b;
  for (y = Y1; y < Y2; y++) {
    p = ptr + 4 * ((Height - y) * Width + (X1 - 1));
    for (x = X1; x < X2; x++) {
      b = *(char *)p++;
      *(char *)p++ = b;
      *(char *)p++ = b;
      *(char *)p++ = 0;
    }
  }
}


x86 assembly (clang, -O0):
<Gray_Image>:
push   %rbp
mov    %rsp,%rbp
mov    0x10(%rbp),%eax
mov    %edi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %ecx,-0x14(%rbp)
mov    %r8d,-0x18(%rbp)
mov    %r9d,-0x1c(%rbp)
mov    -0x18(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    0x10(%rbp),%eax
jge    11c8 <Gray_Image+0xc8>
mov    -0x8(%rbp),%eax
mov    -0x10(%rbp),%ecx
sub    -0x24(%rbp),%ecx
imul   -0xc(%rbp),%ecx
mov    -0x14(%rbp),%edx
sub    $0x1,%edx
add    %edx,%ecx
shl    $0x2,%ecx
add    %ecx,%eax
mov    %eax,-0x28(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    11b5 <Gray_Image+0xb5>
mov    -0x28(%rbp),%eax
mov    %eax,%ecx
add    $0x1,%ecx
mov    %ecx,-0x28(%rbp)
cltq
movsbl (%rax),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
mov    %al,%cl
mov    -0x28(%rbp),%eax
mov    %eax,%edx
add    $0x1,%edx
mov    %edx,-0x28(%rbp)
cltq
mov    %cl,(%rax)
mov    -0x2c(%rbp),%eax
mov    %al,%cl
mov    -0x28(%rbp),%eax
mov    %eax,%edx
add    $0x1,%edx
mov    %edx,-0x28(%rbp)
cltq
mov    %cl,(%rax)
mov    -0x28(%rbp),%eax
mov    %eax,%ecx
add    $0x1,%ecx
mov    %ecx,-0x28(%rbp)
cltq
movb   $0x0,(%rax)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1150 <Gray_Image+0x50>
jmp    11ba <Gray_Image+0xba>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1121 <Gray_Image+0x21>
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<Gray_Image>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
mov    0x30(%rsp),%r10d
cmp    %r10d,%r8d
jge    11c6 <Gray_Image+0xc6>
sub    %r8d,%edx
imul   %esi,%edx
lea    (%rdi,%rdx,4),%eax
lea    (%rax,%rcx,4),%edx
add    $0xfffffffc,%edx
shl    $0x2,%esi
neg    %esi
mov    %r9d,%r14d
sub    %ecx,%r14d
mov    %ecx,%r15d
not    %r15d
lea    0x1(%rcx),%r11d
mov    %r9d,%r12d
neg    %r12d
jmp    115b <Gray_Image+0x5b>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
add    $0x1,%r8d
add    %esi,%edx
cmp    %r10d,%r8d
je     11c6 <Gray_Image+0xc6>
cmp    %ecx,%r9d
jle    1150 <Gray_Image+0x50>
movslq %edx,%rdi
test   $0x1,%r14b
jne    1180 <Gray_Image+0x80>
mov    %ecx,%eax
cmp    %r12d,%r15d
je     1150 <Gray_Image+0x50>
jmp    1198 <Gray_Image+0x98>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    (%rdi),%al
mov    %al,0x1(%rdi)
mov    %al,0x2(%rdi)
movb   $0x0,0x3(%rdi)
add    $0x4,%rdi
mov    %r11d,%eax
cmp    %r12d,%r15d
je     1150 <Gray_Image+0x50>
mov    %r9d,%ebp
sub    %eax,%ebp
nopl   (%rax)
movzbl (%rdi),%eax
movzbl 0x4(%rdi),%ebx
mov    %al,0x1(%rdi)
mov    %al,0x2(%rdi)
movb   $0x0,0x3(%rdi)
mov    %bl,0x5(%rdi)
mov    %bl,0x6(%rdi)
movb   $0x0,0x7(%rdi)
add    $0x8,%rdi
add    $0xfffffffe,%ebp
jne    11a0 <Gray_Image+0xa0>
jmp    1150 <Gray_Image+0x50>
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @Gray_Image(i32 %0, i32 %1, i32 %2, i32 %3, i32 %4, i32 %5, i32 %6) {
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
%15 = alloca i32
%16 = alloca i32
%17 = alloca i32
%18 = alloca i32
%19 = alloca i32
store i32 %0, i32* %9
store i32 %1, i32* %10
store i32 %2, i32* %11
store i32 %3, i32* %12
store i32 %4, i32* %13
store i32 %5, i32* %14
store i32 %6, i32* %15
%20 = load i32, i32* %13
store i32 %20, i32* %17
br label %21
21: ; preds = %69, %7
%22 = load i32, i32* %17
%23 = load i32, i32* %15
%24 = icmp slt i32 %22, %23
br i1 %24, label %25, label %72
25: ; preds = %21
%26 = load i32, i32* %9
%27 = load i32, i32* %11
%28 = load i32, i32* %17
%29 = sub nsw i32 %27, %28
%30 = load i32, i32* %10
%31 = mul nsw i32 %29, %30
%32 = load i32, i32* %12
%33 = sub nsw i32 %32, 1
%34 = add nsw i32 %31, %33
%35 = mul nsw i32 4, %34
%36 = add nsw i32 %26, %35
store i32 %36, i32* %18
%37 = load i32, i32* %12
store i32 %37, i32* %16
br label %38
38: ; preds = %65, %25
%39 = load i32, i32* %16
%40 = load i32, i32* %14
%41 = icmp slt i32 %39, %40
br i1 %41, label %42, label %68
42: ; preds = %38
%43 = load i32, i32* %18
%44 = add nsw i32 %43, 1
store i32 %44, i32* %18
%45 = sext i32 %43 to i64
%46 = inttoptr i64 %45 to i8*
%47 = load i8, i8* %46
%48 = sext i8 %47 to i32
store i32 %48, i32* %19
%49 = load i32, i32* %19
%50 = trunc i32 %49 to i8
%51 = load i32, i32* %18
%52 = add nsw i32 %51, 1
store i32 %52, i32* %18
%53 = sext i32 %51 to i64
%54 = inttoptr i64 %53 to i8*
store i8 %50, i8* %54
%55 = load i32, i32* %19
%56 = trunc i32 %55 to i8
%57 = load i32, i32* %18
%58 = add nsw i32 %57, 1
store i32 %58, i32* %18
%59 = sext i32 %57 to i64
%60 = inttoptr i64 %59 to i8*
store i8 %56, i8* %60
%61 = load i32, i32* %18
%62 = add nsw i32 %61, 1
store i32 %62, i32* %18
%63 = sext i32 %61 to i64
%64 = inttoptr i64 %63 to i8*
store i8 0, i8* %64
br label %65
65: ; preds = %42
%66 = load i32, i32* %16
%67 = add nsw i32 %66, 1
store i32 %67, i32* %16
br label %38
68: ; preds = %38
br label %69
69: ; preds = %68
%70 = load i32, i32* %17
%71 = add nsw i32 %70, 1
store i32 %71, i32* %17
br label %21
72: ; preds = %21
%73 = load i32, i32* %8
ret i32 %73
}

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