void modArray(int *array, int size) {
  int x = size;
  while (x--)
    *(array + x) *= 2;
}


x86 assembly (clang, -O0):
<modArray>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    -0xc(%rbp),%eax
mov    %eax,-0x10(%rbp)
mov    -0x10(%rbp),%eax
mov    %eax,%ecx
add    $0xffffffff,%ecx
mov    %ecx,-0x10(%rbp)
cmp    $0x0,%eax
je     113b <modArray+0x3b>
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
shl    $0x1,%edx
mov    %edx,(%rax,%rcx,4)
jmp    1111 <modArray+0x11>
pop    %rbp
ret

x86 assembly (clang, -O2):
<modArray>:
test   %esi,%esi
je     11dc <modArray+0xdc>
movslq %esi,%rax
add    $0xffffffff,%esi
cmp    $0x7,%esi
jb     11d0 <modArray+0xd0>
add    $0x1,%rsi
mov    %rsi,%r8
and    $0xfffffffffffffff8,%r8
lea    -0x8(%r8),%rcx
mov    %rcx,%r9
shr    $0x3,%r9
add    $0x1,%r9
test   %rcx,%rcx
je     11dd <modArray+0xdd>
mov    %r9,%r10
and    $0xfffffffffffffffe,%r10
lea    (%rdi,%rax,4),%rcx
add    $0xfffffffffffffff0,%rcx
mov    $0xfffffffffffffffc,%rdx
movdqu -0x20(%rcx,%rdx,4),%xmm0
movdqu -0x10(%rcx,%rdx,4),%xmm1
movdqu (%rcx,%rdx,4),%xmm2
movdqu 0x10(%rcx,%rdx,4),%xmm3
paddd  %xmm3,%xmm3
paddd  %xmm2,%xmm2
movdqu %xmm3,0x10(%rcx,%rdx,4)
movdqu %xmm2,(%rcx,%rdx,4)
paddd  %xmm1,%xmm1
paddd  %xmm0,%xmm0
movdqu %xmm1,-0x10(%rcx,%rdx,4)
movdqu %xmm0,-0x20(%rcx,%rdx,4)
add    $0xfffffffffffffff0,%rdx
add    $0xfffffffffffffffe,%r10
jne    1150 <modArray+0x50>
add    $0x3,%rdx
test   $0x1,%r9b
je     11c5 <modArray+0xc5>
add    %rax,%rdx
movdqu -0x1c(%rdi,%rdx,4),%xmm0
movdqu -0xc(%rdi,%rdx,4),%xmm1
paddd  %xmm1,%xmm1
paddd  %xmm0,%xmm0
movdqu %xmm1,-0xc(%rdi,%rdx,4)
movdqu %xmm0,-0x1c(%rdi,%rdx,4)
cmp    %r8,%rsi
je     11dc <modArray+0xdc>
sub    %r8,%rax
nopl   (%rax)
shll   -0x4(%rdi,%rax,4)
add    $0xffffffffffffffff,%rax
test   %eax,%eax
jne    11d0 <modArray+0xd0>
ret
mov    $0xffffffffffffffff,%rdx
test   $0x1,%r9b
jne    11a2 <modArray+0xa2>
jmp    11c5 <modArray+0xc5>

LLVM IR (-O0):
define void @modArray(i32* %0, i32 %1) {
%3 = alloca i32*
%4 = alloca i32
%5 = alloca i32
store i32* %0, i32** %3
store i32 %1, i32* %4
%6 = load i32, i32* %4
store i32 %6, i32* %5
br label %7
7: ; preds = %11, %2
%8 = load i32, i32* %5
%9 = add nsw i32 %8, -1
store i32 %9, i32* %5
%10 = icmp ne i32 %8, 0
br i1 %10, label %11, label %18
11: ; preds = %7
%12 = load i32*, i32** %3
%13 = load i32, i32* %5
%14 = sext i32 %13 to i64
%15 = getelementptr inbounds i32, i32* %12, i64 %14
%16 = load i32, i32* %15
%17 = mul nsw i32 %16, 2
store i32 %17, i32* %15
br label %7
18: ; preds = %7
ret void
}

LLVM IR (-O2):
define void @modArray(i32* nocapture %0, i32 %1) {
%3 = icmp eq i32 %1, 0
br i1 %3, label %85, label %4
4: ; preds = %2
%5 = sext i32 %1 to i64
%6 = add i32 %1, -1
%7 = zext i32 %6 to i64
%8 = add nuw nsw i64 %7, 1
%9 = icmp ult i32 %6, 7
br i1 %9, label %75, label %10
10: ; preds = %4
%11 = and i64 %8, 8589934584
%12 = sub nsw i64 %5, %11
%13 = add nsw i64 %11, -8
%14 = lshr exact i64 %13, 3
%15 = add nuw nsw i64 %14, 1
%16 = and i64 %15, 1
%17 = icmp eq i64 %13, 0
br i1 %17, label %56, label %18
18: ; preds = %10
%19 = and i64 %15, 4611686018427387902
br label %20
20: ; preds = %20, %18
%21 = phi i64 [ 0, %18 ], [ %51, %20 ]
%22 = phi i64 [ 0, %18 ], [ %52, %20 ]
%23 = xor i64 %21, -1
%24 = add i64 %23, %5
%25 = getelementptr inbounds i32, i32* %0, i64 %24
%26 = getelementptr inbounds i32, i32* %25, i64 -3
%27 = bitcast i32* %26 to <4 x i32>*
%28 = load <4 x i32>, <4 x i32>* %27
%29 = getelementptr inbounds i32, i32* %25, i64 -4
%30 = getelementptr inbounds i32, i32* %29, i64 -3
%31 = bitcast i32* %30 to <4 x i32>*
%32 = load <4 x i32>, <4 x i32>* %31
%33 = shl nsw <4 x i32> %28, <i32 1, i32 1, i32 1, i32 1>
%34 = shl nsw <4 x i32> %32, <i32 1, i32 1, i32 1, i32 1>
%35 = bitcast i32* %26 to <4 x i32>*
store <4 x i32> %33, <4 x i32>* %35
%36 = bitcast i32* %30 to <4 x i32>*
store <4 x i32> %34, <4 x i32>* %36
%37 = sub nuw nsw i64 -9, %21
%38 = add i64 %37, %5
%39 = getelementptr inbounds i32, i32* %0, i64 %38
%40 = getelementptr inbounds i32, i32* %39, i64 -3
%41 = bitcast i32* %40 to <4 x i32>*
%42 = load <4 x i32>, <4 x i32>* %41
%43 = getelementptr inbounds i32, i32* %39, i64 -4
%44 = getelementptr inbounds i32, i32* %43, i64 -3
%45 = bitcast i32* %44 to <4 x i32>*
%46 = load <4 x i32>, <4 x i32>* %45
%47 = shl nsw <4 x i32> %42, <i32 1, i32 1, i32 1, i32 1>
%48 = shl nsw <4 x i32> %46, <i32 1, i32 1, i32 1, i32 1>
%49 = bitcast i32* %40 to <4 x i32>*
store <4 x i32> %47, <4 x i32>* %49
%50 = bitcast i32* %44 to <4 x i32>*
store <4 x i32> %48, <4 x i32>* %50
%51 = add nuw i64 %21, 16
%52 = add i64 %22, 2
%53 = icmp eq i64 %52, %19
br i1 %53, label %54, label %20
54: ; preds = %20
%55 = sub i64 -17, %21
br label %56
56: ; preds = %54, %10
%57 = phi i64 [ -1, %10 ], [ %55, %54 ]
%58 = icmp eq i64 %16, 0
br i1 %58, label %73, label %59
59: ; preds = %56
%60 = add i64 %57, %5
%61 = getelementptr inbounds i32, i32* %0, i64 %60
%62 = getelementptr inbounds i32, i32* %61, i64 -3
%63 = bitcast i32* %62 to <4 x i32>*
%64 = load <4 x i32>, <4 x i32>* %63
%65 = getelementptr inbounds i32, i32* %61, i64 -4
%66 = getelementptr inbounds i32, i32* %65, i64 -3
%67 = bitcast i32* %66 to <4 x i32>*
%68 = load <4 x i32>, <4 x i32>* %67
%69 = shl nsw <4 x i32> %64, <i32 1, i32 1, i32 1, i32 1>
%70 = shl nsw <4 x i32> %68, <i32 1, i32 1, i32 1, i32 1>
%71 = bitcast i32* %62 to <4 x i32>*
store <4 x i32> %69, <4 x i32>* %71
%72 = bitcast i32* %66 to <4 x i32>*
store <4 x i32> %70, <4 x i32>* %72
br label %73
73: ; preds = %56, %59
%74 = icmp eq i64 %8, %11
br i1 %74, label %85, label %75
75: ; preds = %4, %73
%76 = phi i64 [ %5, %4 ], [ %12, %73 ]
br label %77
77: ; preds = %75, %77
%78 = phi i64 [ %79, %77 ], [ %76, %75 ]
%79 = add nsw i64 %78, -1
%80 = getelementptr inbounds i32, i32* %0, i64 %79
%81 = load i32, i32* %80
%82 = shl nsw i32 %81, 1
store i32 %82, i32* %80
%83 = trunc i64 %79 to i32
%84 = icmp eq i32 %83, 0
br i1 %84, label %85, label %77
85: ; preds = %77, %73, %2
ret void
}