void predec(long *q, long n) {
  long i;
  for (i = n; i >= 0; i--)
    q[i] = i;
}


x86 assembly (clang, -O0):
<predec>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x18(%rbp)
cmpq   $0x0,-0x18(%rbp)
jl     1140 <predec+0x40>
mov    -0x18(%rbp),%rdx
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0x18(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x18(%rbp)
jmp    1114 <predec+0x14>
pop    %rbp
ret

x86 assembly (clang, -O2):
<predec>:
test   %rsi,%rsi
js     121a <predec+0x11a>
lea    0x1(%rsi),%r9
cmp    $0x4,%r9
jb     1210 <predec+0x110>
mov    %r9,%r8
and    $0xfffffffffffffffc,%r8
movq   %rsi,%xmm0
pshufd $0x44,%xmm0,%xmm0
paddq  0xed0(%rip),%xmm0
lea    -0x4(%r8),%rax
mov    %rax,%r10
shr    $0x2,%r10
add    $0x1,%r10
test   %rax,%rax
je     121b <predec+0x11b>
mov    %r10,%rdx
and    $0xfffffffffffffffe,%rdx
lea    (%rdi,%rsi,8),%rax
add    $0xfffffffffffffff8,%rax
xor    %ecx,%ecx
movdqa 0xeaf(%rip),%xmm1
movdqa 0xeb7(%rip),%xmm2
movdqa 0xebf(%rip),%xmm3
movdqa 0xec7(%rip),%xmm4
nopl   0x0(%rax)
movdqa %xmm0,%xmm5
paddq  %xmm1,%xmm5
pshufd $0x4e,%xmm0,%xmm6
movdqu %xmm6,(%rax,%rcx,8)
pshufd $0x4e,%xmm5,%xmm5
movdqu %xmm5,-0x10(%rax,%rcx,8)
movdqa %xmm0,%xmm5
paddq  %xmm2,%xmm5
movdqa %xmm0,%xmm6
paddq  %xmm3,%xmm6
pshufd $0x4e,%xmm5,%xmm5
movdqu %xmm5,-0x20(%rax,%rcx,8)
pshufd $0x4e,%xmm6,%xmm5
movdqu %xmm5,-0x30(%rax,%rcx,8)
paddq  %xmm4,%xmm0
add    $0xfffffffffffffff8,%rcx
add    $0xfffffffffffffffe,%rdx
jne    1180 <predec+0x80>
neg    %rcx
test   $0x1,%r10b
je     11fe <predec+0xfe>
pshufd $0x4e,%xmm0,%xmm1
paddq  0xe29(%rip),%xmm0
mov    %rsi,%rax
sub    %rcx,%rax
movdqu %xmm1,-0x8(%rdi,%rax,8)
pshufd $0x4e,%xmm0,%xmm0
movdqu %xmm0,-0x18(%rdi,%rax,8)
cmp    %r8,%r9
je     121a <predec+0x11a>
sub    %r8,%rsi
cs nopw 0x0(%rax,%rax,1)
mov    %rsi,(%rdi,%rsi,8)
add    $0xffffffffffffffff,%rsi
jb     1210 <predec+0x110>
ret
xor    %ecx,%ecx
test   $0x1,%r10b
jne    11da <predec+0xda>
jmp    11fe <predec+0xfe>

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

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