populate(int *p, int n) {
  while (n-- > 0)
    *p++ = n;
}


x86 assembly (clang, -O0):
<populate>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,%ecx
add    $0xffffffff,%ecx
mov    %ecx,-0x14(%rbp)
cmp    $0x0,%eax
jle    1138 <populate+0x38>
mov    -0x14(%rbp),%ecx
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x10(%rbp)
mov    %ecx,(%rax)
jmp    110b <populate+0xb>
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<populate>:
test   %esi,%esi
jle    12b1 <populate+0x1b1>
lea    -0x1(%rsi),%r9d
cmp    $0x7,%r9d
jb     1294 <populate+0x194>
add    $0x1,%r9
mov    %r9,%r8
and    $0xfffffffffffffff8,%r8
movd   %esi,%xmm0
pshufd $0x0,%xmm0,%xmm0
paddd  0xece(%rip),%xmm0
lea    -0x8(%r8),%rax
mov    %rax,%rdx
shr    $0x3,%rdx
add    $0x1,%rdx
mov    %edx,%ecx
and    $0x3,%ecx
cmp    $0x18,%rax
jae    1153 <populate+0x53>
xor    %eax,%eax
jmp    1235 <populate+0x135>
and    $0xfffffffffffffffc,%rdx
xor    %eax,%eax
pcmpeqd %xmm8,%xmm8
movdqa 0xea9(%rip),%xmm9
movdqa 0xeb0(%rip),%xmm10
movdqa 0xeb7(%rip),%xmm11
movdqa 0xebf(%rip),%xmm5
movdqa 0xec7(%rip),%xmm6
movdqa 0xecf(%rip),%xmm7
movdqa 0xed7(%rip),%xmm1
movdqa 0xedf(%rip),%xmm2
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movdqa %xmm0,%xmm3
paddd  %xmm8,%xmm3
movdqa %xmm0,%xmm4
paddd  %xmm9,%xmm4
movdqu %xmm3,(%rdi,%rax,4)
movdqu %xmm4,0x10(%rdi,%rax,4)
movdqa %xmm0,%xmm3
paddd  %xmm10,%xmm3
movdqa %xmm0,%xmm4
paddd  %xmm11,%xmm4
movdqu %xmm3,0x20(%rdi,%rax,4)
movdqu %xmm4,0x30(%rdi,%rax,4)
movdqa %xmm0,%xmm3
paddd  %xmm5,%xmm3
movdqa %xmm0,%xmm4
paddd  %xmm6,%xmm4
movdqu %xmm3,0x40(%rdi,%rax,4)
movdqu %xmm4,0x50(%rdi,%rax,4)
movdqa %xmm0,%xmm3
paddd  %xmm7,%xmm3
movdqa %xmm0,%xmm4
paddd  %xmm1,%xmm4
movdqu %xmm3,0x60(%rdi,%rax,4)
movdqu %xmm4,0x70(%rdi,%rax,4)
add    $0x20,%rax
paddd  %xmm2,%xmm0
add    $0xfffffffffffffffc,%rdx
jne    11b0 <populate+0xb0>
test   %rcx,%rcx
je     1288 <populate+0x188>
lea    (%rdi,%rax,4),%rax
add    $0x10,%rax
shl    $0x5,%rcx
xor    %edx,%edx
pcmpeqd %xmm1,%xmm1
movdqa 0xdbc(%rip),%xmm2
movdqa 0xe34(%rip),%xmm3
nopl   0x0(%rax)
movdqa %xmm0,%xmm4
paddd  %xmm1,%xmm4
movdqa %xmm0,%xmm5
paddd  %xmm2,%xmm5
movdqu %xmm4,-0x10(%rax,%rdx,1)
movdqu %xmm5,(%rax,%rdx,1)
paddd  %xmm3,%xmm0
add    $0x20,%rdx
cmp    %rdx,%rcx
jne    1260 <populate+0x160>
cmp    %r8,%r9
je     12b1 <populate+0x1b1>
sub    %r8d,%esi
lea    (%rdi,%r8,4),%rdi
add    $0x1,%esi
nopw   0x0(%rax,%rax,1)
lea    -0x2(%rsi),%eax
mov    %eax,(%rdi)
add    $0x4,%rdi
add    $0xffffffff,%esi
cmp    $0x1,%esi
ja     12a0 <populate+0x1a0>
ret

LLVM IR (-O0):
define i32 @populate(i32* %0, i32 %1) {
%3 = alloca i32
%4 = alloca i32*
%5 = alloca i32
store i32* %0, i32** %4
store i32 %1, i32* %5
br label %6
6: ; preds = %10, %2
%7 = load i32, i32* %5
%8 = add nsw i32 %7, -1
store i32 %8, i32* %5
%9 = icmp sgt i32 %7, 0
br i1 %9, label %10, label %14
10: ; preds = %6
%11 = load i32, i32* %5
%12 = load i32*, i32** %4
%13 = getelementptr inbounds i32, i32* %12, i32 1
store i32* %13, i32** %4
store i32 %11, i32* %12
br label %6
14: ; preds = %6
%15 = load i32, i32* %3
ret i32 %15
}

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