g(out, size, lo, hi) int *out, size, lo, hi;
{
  int j;
  for (j = 0; j < size; j++)
    out[j] = j * (hi - lo);
}


x86 assembly (clang, -O0):
<g>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    1149 <g+0x49>
mov    -0x20(%rbp),%edx
mov    -0x1c(%rbp),%eax
sub    -0x18(%rbp),%eax
imul   %eax,%edx
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1118 <g+0x18>
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<g>:
test   %esi,%esi
jle    12ae <g+0x1ae>
sub    %edx,%ecx
mov    %esi,%r9d
cmp    $0x8,%esi
jae    1119 <g+0x19>
xor    %edx,%edx
jmp    129b <g+0x19b>
mov    %r9d,%edx
and    $0xfffffff8,%edx
movd   %ecx,%xmm0
pshufd $0x0,%xmm0,%xmm3
lea    -0x8(%rdx),%rax
mov    %rax,%r8
shr    $0x3,%r8
add    $0x1,%r8
pshufd $0xf5,%xmm3,%xmm1
test   %rax,%rax
je     12af <g+0x1af>
mov    %r8,%rax
and    $0xfffffffffffffffe,%rax
movdqa 0xeac(%rip),%xmm2
xor    %esi,%esi
movdqa 0xeb1(%rip),%xmm8
movdqa 0xeb8(%rip),%xmm9
movdqa 0xec0(%rip),%xmm5
movdqa 0xec8(%rip),%xmm6
nopl   0x0(%rax,%rax,1)
movdqa %xmm2,%xmm7
paddd  %xmm8,%xmm7
movdqa %xmm3,%xmm0
pmuludq %xmm2,%xmm0
pshufd $0xe8,%xmm0,%xmm0
pshufd $0xf5,%xmm2,%xmm4
pmuludq %xmm1,%xmm4
pshufd $0xe8,%xmm4,%xmm4
punpckldq %xmm4,%xmm0
movdqa %xmm3,%xmm4
pmuludq %xmm7,%xmm4
pshufd $0xe8,%xmm4,%xmm4
pshufd $0xf5,%xmm7,%xmm7
pmuludq %xmm1,%xmm7
pshufd $0xe8,%xmm7,%xmm7
punpckldq %xmm7,%xmm4
movdqu %xmm0,(%rdi,%rsi,4)
movdqu %xmm4,0x10(%rdi,%rsi,4)
movdqa %xmm2,%xmm0
paddd  %xmm9,%xmm0
movdqa %xmm2,%xmm4
paddd  %xmm5,%xmm4
movdqa %xmm3,%xmm7
pmuludq %xmm0,%xmm7
pshufd $0xe8,%xmm7,%xmm7
pshufd $0xf5,%xmm0,%xmm0
pmuludq %xmm1,%xmm0
pshufd $0xe8,%xmm0,%xmm0
punpckldq %xmm0,%xmm7
movdqa %xmm3,%xmm0
pmuludq %xmm4,%xmm0
pshufd $0xe8,%xmm0,%xmm0
pshufd $0xf5,%xmm4,%xmm4
pmuludq %xmm1,%xmm4
pshufd $0xe8,%xmm4,%xmm4
punpckldq %xmm4,%xmm0
movdqu %xmm7,0x20(%rdi,%rsi,4)
movdqu %xmm0,0x30(%rdi,%rsi,4)
add    $0x10,%rsi
paddd  %xmm6,%xmm2
add    $0xfffffffffffffffe,%rax
jne    1180 <g+0x80>
test   $0x1,%r8b
je     1296 <g+0x196>
movdqa 0xdc3(%rip),%xmm0
paddd  %xmm2,%xmm0
movdqa %xmm3,%xmm4
pmuludq %xmm2,%xmm4
pshufd $0xe8,%xmm4,%xmm4
pshufd $0xf5,%xmm2,%xmm2
pmuludq %xmm1,%xmm2
pshufd $0xe8,%xmm2,%xmm2
punpckldq %xmm2,%xmm4
pmuludq %xmm0,%xmm3
pshufd $0xe8,%xmm3,%xmm2
pshufd $0xf5,%xmm0,%xmm0
pmuludq %xmm1,%xmm0
pshufd $0xe8,%xmm0,%xmm0
punpckldq %xmm0,%xmm2
movdqu %xmm4,(%rdi,%rsi,4)
movdqu %xmm2,0x10(%rdi,%rsi,4)
cmp    %r9,%rdx
je     12ae <g+0x1ae>
mov    %ecx,%eax
imul   %edx,%eax
mov    %eax,(%rdi,%rdx,4)
add    $0x1,%rdx
add    %ecx,%eax
cmp    %rdx,%r9
jne    12a0 <g+0x1a0>
ret
movdqa 0xd49(%rip),%xmm2
xor    %esi,%esi
test   $0x1,%r8b
jne    1245 <g+0x145>
jmp    1296 <g+0x196>

LLVM IR (-O0):
define i32 @g(i32* %0, i32 %1, i32 %2, i32 %3) {
%5 = alloca i32
%6 = alloca i32*
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
store i32* %0, i32** %6
store i32 %1, i32* %7
store i32 %2, i32* %8
store i32 %3, i32* %9
store i32 0, i32* %10
br label %11
11: ; preds = %25, %4
%12 = load i32, i32* %10
%13 = load i32, i32* %7
%14 = icmp slt i32 %12, %13
br i1 %14, label %15, label %28
15: ; preds = %11
%16 = load i32, i32* %10
%17 = load i32, i32* %9
%18 = load i32, i32* %8
%19 = sub nsw i32 %17, %18
%20 = mul nsw i32 %16, %19
%21 = load i32*, i32** %6
%22 = load i32, i32* %10
%23 = sext i32 %22 to i64
%24 = getelementptr inbounds i32, i32* %21, i64 %23
store i32 %20, i32* %24
br label %25
25: ; preds = %15
%26 = load i32, i32* %10
%27 = add nsw i32 %26, 1
store i32 %27, i32* %10
br label %11
28: ; preds = %11
%29 = load i32, i32* %5
ret i32 %29
}

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