const unsigned int *skip_terms(const unsigned int *in, int n) {
  in += 1;
  while (n-- > 0)
    in += (in[0] > 0) ? 4 : 1;
  return in;
}


x86 assembly (clang, -O0):
<skip_terms>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    -0x8(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x8(%rbp)
mov    -0xc(%rbp),%eax
mov    %eax,%ecx
add    $0xffffffff,%ecx
mov    %ecx,-0xc(%rbp)
cmp    $0x0,%eax
jle    1158 <skip_terms+0x58>
mov    -0x8(%rbp),%rax
mov    (%rax),%edx
mov    $0x1,%ecx
mov    $0x4,%eax
cmp    $0x0,%edx
cmova  %eax,%ecx
mov    -0x8(%rbp),%rax
movslq %ecx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x8(%rbp)
jmp    1117 <skip_terms+0x17>
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<skip_terms>:
mov    %rdi,%rax
add    $0x4,%rax
test   %esi,%esi
jle    113d <skip_terms+0x3d>
lea    -0x1(%rsi),%ecx
mov    %esi,%edx
and    $0x3,%edx
je     1138 <skip_terms+0x38>
xor    %edi,%edi
jmp    112b <skip_terms+0x2b>
nopl   0x0(%rax)
add    $0x10,%rax
add    $0x1,%edi
cmp    %edi,%edx
je     1136 <skip_terms+0x36>
cmpl   $0x0,(%rax)
jne    1120 <skip_terms+0x20>
add    $0x4,%rax
jmp    1124 <skip_terms+0x24>
sub    %edi,%esi
cmp    $0x3,%ecx
jae    113e <skip_terms+0x3e>
ret
add    $0xffffffff,%esi
jmp    115c <skip_terms+0x5c>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
add    $0x10,%rax
add    $0xfffffffc,%esi
cmp    $0xfffffffe,%esi
jae    113d <skip_terms+0x3d>
cmpl   $0x0,(%rax)
je     1180 <skip_terms+0x80>
add    $0x10,%rax
cmpl   $0x0,(%rax)
jne    1189 <skip_terms+0x89>
add    $0x4,%rax
cmpl   $0x0,(%rax)
jne    1192 <skip_terms+0x92>
add    $0x4,%rax
cmpl   $0x0,(%rax)
jne    1150 <skip_terms+0x50>
jmp    119b <skip_terms+0x9b>
xchg   %ax,%ax
add    $0x4,%rax
cmpl   $0x0,(%rax)
je     116a <skip_terms+0x6a>
add    $0x10,%rax
cmpl   $0x0,(%rax)
je     1173 <skip_terms+0x73>
add    $0x10,%rax
cmpl   $0x0,(%rax)
jne    1150 <skip_terms+0x50>
add    $0x4,%rax
jmp    1154 <skip_terms+0x54>

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

LLVM IR (-O2):
define i32* @skip_terms(i32* %0, i32 %1) {
%3 = getelementptr inbounds i32, i32* %0, i64 1
%4 = icmp sgt i32 %1, 0
br i1 %4, label %5, label %47
5: ; preds = %2
%6 = add i32 %1, -1
%7 = and i32 %1, 3
%8 = icmp eq i32 %7, 0
br i1 %8, label %20, label %9
9: ; preds = %5, %9
%10 = phi i32 [ %13, %9 ], [ %1, %5 ]
%11 = phi i32* [ %17, %9 ], [ %3, %5 ]
%12 = phi i32 [ %18, %9 ], [ 0, %5 ]
%13 = add nsw i32 %10, -1
%14 = load i32, i32* %11
%15 = icmp eq i32 %14, 0
%16 = select i1 %15, i64 1, i64 4
%17 = getelementptr inbounds i32, i32* %11, i64 %16
%18 = add i32 %12, 1
%19 = icmp eq i32 %18, %7
br i1 %19, label %20, label %9
20: ; preds = %9, %5
%21 = phi i32 [ %1, %5 ], [ %13, %9 ]
%22 = phi i32* [ %3, %5 ], [ %17, %9 ]
%23 = phi i32* [ undef, %5 ], [ %17, %9 ]
%24 = icmp ult i32 %6, 3
br i1 %24, label %47, label %25
25: ; preds = %20, %25
%26 = phi i32 [ %40, %25 ], [ %21, %20 ]
%27 = phi i32* [ %44, %25 ], [ %22, %20 ]
%28 = load i32, i32* %27
%29 = icmp eq i32 %28, 0
%30 = select i1 %29, i64 1, i64 4
%31 = getelementptr inbounds i32, i32* %27, i64 %30
%32 = load i32, i32* %31
%33 = icmp eq i32 %32, 0
%34 = select i1 %33, i64 1, i64 4
%35 = getelementptr inbounds i32, i32* %31, i64 %34
%36 = load i32, i32* %35
%37 = icmp eq i32 %36, 0
%38 = select i1 %37, i64 1, i64 4
%39 = getelementptr inbounds i32, i32* %35, i64 %38
%40 = add nsw i32 %26, -4
%41 = load i32, i32* %39
%42 = icmp eq i32 %41, 0
%43 = select i1 %42, i64 1, i64 4
%44 = getelementptr inbounds i32, i32* %39, i64 %43
%45 = add i32 %26, -5
%46 = icmp ult i32 %45, -2
br i1 %46, label %25, label %47
47: ; preds = %20, %25, %2
%48 = phi i32* [ %3, %2 ], [ %23, %20 ], [ %44, %25 ]
ret i32* %48
}