__attribute__((no)) int liveloop1(int n, int *x, int *y) {
  int n0, n1, j;
  for (j = 0; j < n; ++j) {
    n0 = x[(j * 2)];
    n1 = x[(j * 2) + 1];
    y[(j * 2)] = n0 + 1;
    y[(j * 2) + 1] = n1 + 2;
  }
  return n1;
}


x86 assembly (clang, -O0):
<liveloop1>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    1188 <liveloop1+0x88>
mov    -0x10(%rbp),%rax
mov    -0x24(%rbp),%ecx
shl    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x24(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x20(%rbp)
mov    -0x1c(%rbp),%edx
add    $0x1,%edx
mov    -0x18(%rbp),%rax
mov    -0x24(%rbp),%ecx
shl    $0x1,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x20(%rbp),%edx
add    $0x2,%edx
mov    -0x18(%rbp),%rax
mov    -0x24(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1116 <liveloop1+0x16>
mov    -0x20(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<liveloop1>:
test   %edi,%edi
jle    1133 <liveloop1+0x33>
mov    %edi,%r9d
cmp    $0x1,%edi
je     111e <liveloop1+0x1e>
lea    (%rsi,%r9,8),%rax
cmp    %rdx,%rax
jbe    1194 <liveloop1+0x94>
lea    (%rdx,%r9,8),%rax
cmp    %rsi,%rax
jbe    1194 <liveloop1+0x94>
xor    %edi,%edi
mov    %rdi,%r10
not    %r10
test   $0x1,%r9b
jne    1134 <liveloop1+0x34>
add    %r9,%r10
jne    1160 <liveloop1+0x60>
jmp    1193 <liveloop1+0x93>
ret
mov    (%rsi,%rdi,8),%r8d
mov    0x4(%rsi,%rdi,8),%eax
add    $0x1,%r8d
mov    %r8d,(%rdx,%rdi,8)
lea    0x2(%rax),%ecx
mov    %ecx,0x4(%rdx,%rdi,8)
or     $0x1,%rdi
add    %r9,%r10
je     1193 <liveloop1+0x93>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    (%rsi,%rdi,8),%eax
mov    0x4(%rsi,%rdi,8),%ecx
add    $0x1,%eax
mov    %eax,(%rdx,%rdi,8)
add    $0x2,%ecx
mov    %ecx,0x4(%rdx,%rdi,8)
mov    0x8(%rsi,%rdi,8),%ecx
mov    0xc(%rsi,%rdi,8),%eax
add    $0x1,%ecx
mov    %ecx,0x8(%rdx,%rdi,8)
lea    0x2(%rax),%ecx
mov    %ecx,0xc(%rdx,%rdi,8)
add    $0x2,%rdi
cmp    %rdi,%r9
jne    1160 <liveloop1+0x60>
ret
mov    %r9d,%edi
and    $0xfffffffe,%edi
lea    -0x2(%rdi),%rax
mov    %rax,%r8
shr    %r8
add    $0x1,%r8
test   %rax,%rax
je     1224 <liveloop1+0x124>
mov    %r8,%rcx
and    $0xfffffffffffffffe,%rcx
xor    %eax,%eax
movdqa 0xe42(%rip),%xmm1
xchg   %ax,%ax
movdqu (%rsi,%rax,4),%xmm0
paddd  %xmm1,%xmm0
movdqu %xmm0,(%rdx,%rax,4)
movdqu 0x10(%rsi,%rax,4),%xmm0
movdqa %xmm0,%xmm2
paddd  %xmm1,%xmm2
movdqu %xmm2,0x10(%rdx,%rax,4)
add    $0x8,%rax
add    $0xfffffffffffffffe,%rcx
jne    11c0 <liveloop1+0xc0>
test   $0x1,%r8b
je     1211 <liveloop1+0x111>
movdqu (%rsi,%rax,4),%xmm0
shl    $0x2,%rax
or     $0x4,%rax
movdqa 0xdf9(%rip),%xmm1
paddd  %xmm0,%xmm1
movdqu %xmm1,-0x4(%rdx,%rax,1)
cmp    %r9,%rdi
jne    1120 <liveloop1+0x20>
pshufd $0xff,%xmm0,%xmm0
movd   %xmm0,%eax
ret
xor    %eax,%eax
test   $0x1,%r8b
jne    11f2 <liveloop1+0xf2>
jmp    1211 <liveloop1+0x111>

LLVM IR (-O0):
define i32 @liveloop1(i32 %0, i32* %1, i32* %2) {
%4 = alloca i32
%5 = alloca i32*
%6 = alloca i32*
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
store i32 %0, i32* %4
store i32* %1, i32** %5
store i32* %2, i32** %6
store i32 0, i32* %9
br label %10
10: ; preds = %43, %3
%11 = load i32, i32* %9
%12 = load i32, i32* %4
%13 = icmp slt i32 %11, %12
br i1 %13, label %14, label %46
14: ; preds = %10
%15 = load i32*, i32** %5
%16 = load i32, i32* %9
%17 = mul nsw i32 %16, 2
%18 = sext i32 %17 to i64
%19 = getelementptr inbounds i32, i32* %15, i64 %18
%20 = load i32, i32* %19
store i32 %20, i32* %7
%21 = load i32*, i32** %5
%22 = load i32, i32* %9
%23 = mul nsw i32 %22, 2
%24 = add nsw i32 %23, 1
%25 = sext i32 %24 to i64
%26 = getelementptr inbounds i32, i32* %21, i64 %25
%27 = load i32, i32* %26
store i32 %27, i32* %8
%28 = load i32, i32* %7
%29 = add nsw i32 %28, 1
%30 = load i32*, i32** %6
%31 = load i32, i32* %9
%32 = mul nsw i32 %31, 2
%33 = sext i32 %32 to i64
%34 = getelementptr inbounds i32, i32* %30, i64 %33
store i32 %29, i32* %34
%35 = load i32, i32* %8
%36 = add nsw i32 %35, 2
%37 = load i32*, i32** %6
%38 = load i32, i32* %9
%39 = mul nsw i32 %38, 2
%40 = add nsw i32 %39, 1
%41 = sext i32 %40 to i64
%42 = getelementptr inbounds i32, i32* %37, i64 %41
store i32 %36, i32* %42
br label %43
43: ; preds = %14
%44 = load i32, i32* %9
%45 = add nsw i32 %44, 1
store i32 %45, i32* %9
br label %10
46: ; preds = %10
%47 = load i32, i32* %8
ret i32 %47
}

LLVM IR (-O2):
define i32 @liveloop1(i32 %0, i32* nocapture %1, i32* nocapture writeonly %2) {
%4 = icmp sgt i32 %0, 0
br i1 %4, label %5, label %127
5: ; preds = %3
%6 = zext i32 %0 to i64
%7 = icmp eq i32 %0, 1
br i1 %7, label %80, label %8
8: ; preds = %5
%9 = shl nuw nsw i64 %6, 1
%10 = getelementptr i32, i32* %2, i64 %9
%11 = getelementptr i32, i32* %1, i64 %9
%12 = icmp ugt i32* %11, %2
%13 = icmp ugt i32* %10, %1
%14 = and i1 %12, %13
br i1 %14, label %80, label %15
15: ; preds = %8
%16 = and i64 %6, 4294967294
%17 = add nsw i64 %16, -2
%18 = lshr exact i64 %17, 1
%19 = add nuw i64 %18, 1
%20 = and i64 %19, 1
%21 = icmp eq i64 %17, 0
br i1 %21, label %59, label %22
22: ; preds = %15
%23 = and i64 %19, -2
%24 = getelementptr inbounds i32, i32* %2, i64 -1
%25 = getelementptr inbounds i32, i32* %2, i64 -1
br label %26
26: ; preds = %26, %22
%27 = phi i64 [ 0, %22 ], [ %54, %26 ]
%28 = phi i64 [ 0, %22 ], [ %55, %26 ]
%29 = shl nuw nsw i64 %27, 1
%30 = getelementptr inbounds i32, i32* %1, i64 %29
%31 = bitcast i32* %30 to <4 x i32>*
%32 = load <4 x i32>, <4 x i32>* %31
%33 = shufflevector <4 x i32> %32, <4 x i32> poison, <2 x i32> <i32 0, i32 2>
%34 = shufflevector <4 x i32> %32, <4 x i32> poison, <2 x i32> <i32 1, i32 3>
%35 = or i64 %29, 1
%36 = add nsw <2 x i32> %33, <i32 1, i32 1>
%37 = add nsw <2 x i32> %34, <i32 2, i32 2>
%38 = getelementptr inbounds i32, i32* %24, i64 %35
%39 = bitcast i32* %38 to <4 x i32>*
%40 = shufflevector <2 x i32> %36, <2 x i32> %37, <4 x i32> <i32 0, i32 2, i32 1, i32 3>
store <4 x i32> %40, <4 x i32>* %39
%41 = shl i64 %27, 1
%42 = or i64 %41, 4
%43 = getelementptr inbounds i32, i32* %1, i64 %42
%44 = bitcast i32* %43 to <4 x i32>*
%45 = load <4 x i32>, <4 x i32>* %44
%46 = shufflevector <4 x i32> %45, <4 x i32> poison, <2 x i32> <i32 0, i32 2>
%47 = shufflevector <4 x i32> %45, <4 x i32> poison, <2 x i32> <i32 1, i32 3>
%48 = or i64 %41, 5
%49 = add nsw <2 x i32> %46, <i32 1, i32 1>
%50 = add nsw <2 x i32> %47, <i32 2, i32 2>
%51 = getelementptr inbounds i32, i32* %25, i64 %48
%52 = bitcast i32* %51 to <4 x i32>*
%53 = shufflevector <2 x i32> %49, <2 x i32> %50, <4 x i32> <i32 0, i32 2, i32 1, i32 3>
store <4 x i32> %53, <4 x i32>* %52
%54 = add nuw i64 %27, 4
%55 = add nuw i64 %28, 2
%56 = icmp eq i64 %55, %23
br i1 %56, label %57, label %26
57: ; preds = %26
%58 = shl i64 %54, 1
br label %59
59: ; preds = %57, %15
%60 = phi <4 x i32> [ undef, %15 ], [ %45, %57 ]
%61 = phi i64 [ 0, %15 ], [ %58, %57 ]
%62 = icmp eq i64 %20, 0
br i1 %62, label %76, label %63
63: ; preds = %59
%64 = getelementptr inbounds i32, i32* %1, i64 %61
%65 = bitcast i32* %64 to <4 x i32>*
%66 = load <4 x i32>, <4 x i32>* %65
%67 = shufflevector <4 x i32> %66, <4 x i32> poison, <2 x i32> <i32 0, i32 2>
%68 = shufflevector <4 x i32> %66, <4 x i32> poison, <2 x i32> <i32 1, i32 3>
%69 = or i64 %61, 1
%70 = add nsw <2 x i32> %67, <i32 1, i32 1>
%71 = add nsw <2 x i32> %68, <i32 2, i32 2>
%72 = getelementptr inbounds i32, i32* %2, i64 -1
%73 = getelementptr inbounds i32, i32* %72, i64 %69
%74 = bitcast i32* %73 to <4 x i32>*
%75 = shufflevector <2 x i32> %70, <2 x i32> %71, <4 x i32> <i32 0, i32 2, i32 1, i32 3>
store <4 x i32> %75, <4 x i32>* %74
br label %76
76: ; preds = %59, %63
%77 = phi <4 x i32> [ %60, %59 ], [ %66, %63 ]
%78 = icmp eq i64 %16, %6
%79 = extractelement <4 x i32> %77, i64 3
br i1 %78, label %127, label %80
80: ; preds = %8, %5, %76
%81 = phi i64 [ 0, %8 ], [ 0, %5 ], [ %16, %76 ]
%82 = xor i64 %81, -1
%83 = and i64 %6, 1
%84 = icmp eq i64 %83, 0
br i1 %84, label %97, label %85
85: ; preds = %80
%86 = shl nuw nsw i64 %81, 1
%87 = getelementptr inbounds i32, i32* %1, i64 %86
%88 = load i32, i32* %87
%89 = or i64 %86, 1
%90 = getelementptr inbounds i32, i32* %1, i64 %89
%91 = load i32, i32* %90
%92 = add nsw i32 %88, 1
%93 = getelementptr inbounds i32, i32* %2, i64 %86
store i32 %92, i32* %93
%94 = add nsw i32 %91, 2
%95 = getelementptr inbounds i32, i32* %2, i64 %89
store i32 %94, i32* %95
%96 = or i64 %81, 1
br label %97
97: ; preds = %85, %80
%98 = phi i32 [ undef, %80 ], [ %91, %85 ]
%99 = phi i64 [ %81, %80 ], [ %96, %85 ]
%100 = sub nsw i64 0, %6
%101 = icmp eq i64 %82, %100
br i1 %101, label %127, label %102
102: ; preds = %97, %102
%103 = phi i64 [ %125, %102 ], [ %99, %97 ]
%104 = shl nuw nsw i64 %103, 1
%105 = getelementptr inbounds i32, i32* %1, i64 %104
%106 = load i32, i32* %105
%107 = or i64 %104, 1
%108 = getelementptr inbounds i32, i32* %1, i64 %107
%109 = load i32, i32* %108
%110 = add nsw i32 %106, 1
%111 = getelementptr inbounds i32, i32* %2, i64 %104
store i32 %110, i32* %111
%112 = add nsw i32 %109, 2
%113 = getelementptr inbounds i32, i32* %2, i64 %107
store i32 %112, i32* %113
%114 = shl i64 %103, 1
%115 = add i64 %114, 2
%116 = getelementptr inbounds i32, i32* %1, i64 %115
%117 = load i32, i32* %116
%118 = or i64 %115, 1
%119 = getelementptr inbounds i32, i32* %1, i64 %118
%120 = load i32, i32* %119
%121 = add nsw i32 %117, 1
%122 = getelementptr inbounds i32, i32* %2, i64 %115
store i32 %121, i32* %122
%123 = add nsw i32 %120, 2
%124 = getelementptr inbounds i32, i32* %2, i64 %118
store i32 %123, i32* %124
%125 = add nuw nsw i64 %103, 2
%126 = icmp eq i64 %125, %6
br i1 %126, label %127, label %102
127: ; preds = %97, %102, %76, %3
%128 = phi i32 [ undef, %3 ], [ %79, %76 ], [ %98, %97 ], [ %120, %102 ]
ret i32 %128
}