#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
int /*<<< orphan*/ printf(char *, int, ...);
int movesToMakeZigzag(int *nums, int numsSize) {
  int cnts = 0, cnts2 = 0;
  for (int i = 0; i < numsSize; i += 2) {
    if (i == 0 && nums[0] <= nums[1]) {
      cnts += (nums[1] - nums[0] + 1);
      printf("cnts 0 %d\n", cnts);
    }
    if (i == 0 && nums[0] >= nums[1]) {
      cnts2 += (nums[0] - nums[1] + 1);
      printf("cnts2 0 %d\n", cnts2);
    }
    if (i == numsSize - 1 && nums[i] <= nums[i - 1]) {
      cnts += (nums[i - 1] - nums[i] + 1);
      printf("cnts last %d\n", cnts);
    }
    if (i == numsSize - 1 && nums[i] >= nums[i - 1]) {
      cnts2 += (nums[i] - nums[i - 1] + 1);
      printf("cnts2 last %d\n", cnts2);
    }
    if (i > 0 && i < numsSize - 1 &&
        (nums[i] <= nums[i + 1] || nums[i] <= nums[i - 1])) {
      int max = nums[i - 1] > nums[i + 1] ? nums[i - 1] : nums[i + 1];
      cnts += (max - nums[i] + 1);
      printf("cnts %d\n", cnts);
    }
    if (i > 0 && i < numsSize - 1 &&
        (nums[i] >= nums[i + 1] || nums[i] >= nums[i - 1])) {
      int min = nums[i - 1] < nums[i + 1] ? nums[i - 1] : nums[i + 1];
      cnts2 += (nums[i] - min + 1);
      printf("cnts2 %d\n", cnts);
    }
  }
  printf("cnts %d cnts2 %d\n", cnts, cnts2);
  return (cnts > cnts2 ? cnts2 : cnts);
}


x86 assembly (clang, -O0):
<movesToMakeZigzag>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
movl   $0x0,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    1461 <movesToMakeZigzag+0x351>
cmpl   $0x0,-0x18(%rbp)
jne    1184 <movesToMakeZigzag+0x74>
mov    -0x8(%rbp),%rax
mov    (%rax),%eax
mov    -0x8(%rbp),%rcx
cmp    0x4(%rcx),%eax
jg     1184 <movesToMakeZigzag+0x74>
mov    -0x8(%rbp),%rax
mov    0x4(%rax),%eax
mov    -0x8(%rbp),%rcx
sub    (%rcx),%eax
add    $0x1,%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
mov    -0x10(%rbp),%esi
lea    0xe83(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
cmpl   $0x0,-0x18(%rbp)
jne    11c8 <movesToMakeZigzag+0xb8>
mov    -0x8(%rbp),%rax
mov    (%rax),%eax
mov    -0x8(%rbp),%rcx
cmp    0x4(%rcx),%eax
jl     11c8 <movesToMakeZigzag+0xb8>
mov    -0x8(%rbp),%rax
mov    (%rax),%eax
mov    -0x8(%rbp),%rcx
sub    0x4(%rcx),%eax
add    $0x1,%eax
add    -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%esi
lea    0xe4a(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x18(%rbp),%eax
mov    -0xc(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jne    122f <movesToMakeZigzag+0x11f>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
mov    -0x18(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
jg     122f <movesToMakeZigzag+0x11f>
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
movslq -0x18(%rbp),%rdx
sub    (%rcx,%rdx,4),%eax
add    $0x1,%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
mov    -0x10(%rbp),%esi
lea    0xdef(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x18(%rbp),%eax
mov    -0xc(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jne    1296 <movesToMakeZigzag+0x186>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
mov    -0x18(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
jl     1296 <movesToMakeZigzag+0x186>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
mov    -0x18(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
sub    (%rcx,%rdx,4),%eax
add    $0x1,%eax
add    -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%esi
lea    0xd96(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
cmpl   $0x0,-0x18(%rbp)
jle    1372 <movesToMakeZigzag+0x262>
mov    -0x18(%rbp),%eax
mov    -0xc(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    1372 <movesToMakeZigzag+0x262>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
mov    -0x18(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
jle    12f3 <movesToMakeZigzag+0x1e3>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
mov    -0x18(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
jg     1372 <movesToMakeZigzag+0x262>
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
mov    -0x18(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
jle    1331 <movesToMakeZigzag+0x221>
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x24(%rbp)
jmp    1344 <movesToMakeZigzag+0x234>
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
mov    -0x8(%rbp),%rcx
movslq -0x18(%rbp),%rdx
sub    (%rcx,%rdx,4),%eax
add    $0x1,%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
mov    -0x10(%rbp),%esi
lea    0xcc9(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
cmpl   $0x0,-0x18(%rbp)
jle    144e <movesToMakeZigzag+0x33e>
mov    -0x18(%rbp),%eax
mov    -0xc(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    144e <movesToMakeZigzag+0x33e>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
mov    -0x18(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
jge    13cf <movesToMakeZigzag+0x2bf>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
mov    -0x18(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
jl     144e <movesToMakeZigzag+0x33e>
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
mov    -0x18(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
jge    140d <movesToMakeZigzag+0x2fd>
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x28(%rbp)
jmp    1420 <movesToMakeZigzag+0x310>
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x28(%rbp)
mov    -0x28(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
sub    -0x20(%rbp),%eax
add    $0x1,%eax
add    -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%esi
lea    0xbfe(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    1453 <movesToMakeZigzag+0x343>
mov    -0x18(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x18(%rbp)
jmp    1134 <movesToMakeZigzag+0x24>
mov    -0x10(%rbp),%esi
mov    -0x14(%rbp),%edx
lea    0xbcf(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x10(%rbp),%eax
cmp    -0x14(%rbp),%eax
jle    148c <movesToMakeZigzag+0x37c>
mov    -0x14(%rbp),%eax
mov    %eax,-0x2c(%rbp)
jmp    1492 <movesToMakeZigzag+0x382>
mov    -0x10(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<movesToMakeZigzag>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
test   %esi,%esi
jle    1287 <movesToMakeZigzag+0x177>
mov    %rdi,%rbx
lea    -0x1(%rsi),%r12d
mov    %esi,%r13d
xor    %r15d,%r15d
xor    %r14d,%r14d
xor    %ebp,%ebp
jmp    116d <movesToMakeZigzag+0x5d>
nopw   0x0(%rax,%rax,1)
mov    (%rbx,%rdx,4),%edx
cmp    %eax,%edx
cmovl  %edx,%eax
add    %ecx,%ebp
sub    %eax,%ebp
add    $0x1,%ebp
lea    0xeef(%rip),%rdi
mov    %r14d,%esi
xor    %eax,%eax
call   1030 <printf@plt>
add    $0x2,%r15
cmp    %r13,%r15
jge    128c <movesToMakeZigzag+0x17c>
test   %r15,%r15
jne    11c0 <movesToMakeZigzag+0xb0>
mov    (%rbx),%ecx
mov    0x4(%rbx),%eax
cmp    %ecx,%eax
jl     119b <movesToMakeZigzag+0x8b>
sub    %ecx,%r14d
add    %eax,%r14d
add    $0x1,%r14d
lea    0xe74(%rip),%rdi
mov    %r14d,%esi
xor    %eax,%eax
call   1030 <printf@plt>
mov    (%rbx),%ecx
mov    0x4(%rbx),%eax
cmp    %eax,%ecx
jl     11c0 <movesToMakeZigzag+0xb0>
add    %ecx,%ebp
sub    %eax,%ebp
add    $0x1,%ebp
lea    0xe5e(%rip),%rdi
mov    %ebp,%esi
xor    %eax,%eax
call   1030 <printf@plt>
cs nopw 0x0(%rax,%rax,1)
cmp    %r15,%r12
jne    1211 <movesToMakeZigzag+0x101>
mov    -0x4(%rbx,%r12,4),%eax
mov    (%rbx,%r12,4),%ecx
cmp    %ecx,%eax
jl     11f6 <movesToMakeZigzag+0xe6>
sub    %ecx,%r14d
add    %eax,%r14d
add    $0x1,%r14d
lea    0xe34(%rip),%rdi
mov    %r14d,%esi
xor    %eax,%eax
call   1030 <printf@plt>
mov    -0x4(%rbx,%r12,4),%eax
mov    (%rbx,%r12,4),%ecx
cmp    %eax,%ecx
jl     1211 <movesToMakeZigzag+0x101>
add    %ecx,%ebp
sub    %eax,%ebp
add    $0x1,%ebp
lea    0xe1d(%rip),%rdi
mov    %ebp,%esi
xor    %eax,%eax
call   1030 <printf@plt>
test   %r15,%r15
je     1160 <movesToMakeZigzag+0x50>
cmp    %r12,%r15
jge    1160 <movesToMakeZigzag+0x50>
mov    (%rbx,%r15,4),%ecx
mov    0x4(%rbx,%r15,4),%eax
mov    $0xffffffff,%edx
add    %r15d,%edx
cmp    %eax,%ecx
jle    123d <movesToMakeZigzag+0x12d>
cmp    (%rbx,%rdx,4),%ecx
jg     1269 <movesToMakeZigzag+0x159>
mov    (%rbx,%rdx,4),%edx
cmp    %eax,%edx
cmovg  %edx,%eax
sub    %ecx,%r14d
add    %eax,%r14d
add    $0x1,%r14d
lea    0xdde(%rip),%rdi
mov    %r14d,%esi
xor    %eax,%eax
call   1030 <printf@plt>
mov    (%rbx,%r15,4),%ecx
mov    0x4(%rbx,%r15,4),%eax
mov    $0xffffffff,%edx
add    %r15d,%edx
cmp    %eax,%ecx
jge    1140 <movesToMakeZigzag+0x30>
cmp    (%rbx,%rdx,4),%ecx
jge    1140 <movesToMakeZigzag+0x30>
jmp    1160 <movesToMakeZigzag+0x50>
xor    %ebp,%ebp
xor    %r14d,%r14d
lea    0xdaa(%rip),%rdi
mov    %r14d,%esi
mov    %ebp,%edx
xor    %eax,%eax
call   1030 <printf@plt>
cmp    %ebp,%r14d
cmovg  %ebp,%r14d
mov    %r14d,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [11 x i8] c"cnts 0 %d\0A\00"
@.str.1 = [12 x i8] c"cnts2 0 %d\0A\00"
@.str.2 = [14 x i8] c"cnts last %d\0A\00"
@.str.3 = [15 x i8] c"cnts2 last %d\0A\00"
@.str.4 = [9 x i8] c"cnts %d\0A\00"
@.str.5 = [10 x i8] c"cnts2 %d\0A\00"
@.str.6 = [18 x i8] c"cnts %d cnts2 %d\0A\00"
define i32 @movesToMakeZigzag(i32* %0, i32 %1) {
%3 = alloca i32*
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
store i32* %0, i32** %3
store i32 %1, i32* %4
store i32 0, i32* %5
store i32 0, i32* %6
store i32 0, i32* %7
br label %10
10: ; preds = %287, %2
%11 = load i32, i32* %7
%12 = load i32, i32* %4
%13 = icmp slt i32 %11, %12
br i1 %13, label %14, label %290
14: ; preds = %10
%15 = load i32, i32* %7
%16 = icmp eq i32 %15, 0
br i1 %16, label %17, label %38
17: ; preds = %14
%18 = load i32*, i32** %3
%19 = getelementptr inbounds i32, i32* %18, i64 0
%20 = load i32, i32* %19
%21 = load i32*, i32** %3
%22 = getelementptr inbounds i32, i32* %21, i64 1
%23 = load i32, i32* %22
%24 = icmp sle i32 %20, %23
br i1 %24, label %25, label %38
25: ; preds = %17
%26 = load i32*, i32** %3
%27 = getelementptr inbounds i32, i32* %26, i64 1
%28 = load i32, i32* %27
%29 = load i32*, i32** %3
%30 = getelementptr inbounds i32, i32* %29, i64 0
%31 = load i32, i32* %30
%32 = sub nsw i32 %28, %31
%33 = add nsw i32 %32, 1
%34 = load i32, i32* %5
%35 = add nsw i32 %34, %33
store i32 %35, i32* %5
%36 = load i32, i32* %5
%37 = call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str, i64 0, i64 0), i32 %36)
br label %38
38: ; preds = %25, %17, %14
%39 = load i32, i32* %7
%40 = icmp eq i32 %39, 0
br i1 %40, label %41, label %62
41: ; preds = %38
%42 = load i32*, i32** %3
%43 = getelementptr inbounds i32, i32* %42, i64 0
%44 = load i32, i32* %43
%45 = load i32*, i32** %3
%46 = getelementptr inbounds i32, i32* %45, i64 1
%47 = load i32, i32* %46
%48 = icmp sge i32 %44, %47
br i1 %48, label %49, label %62
49: ; preds = %41
%50 = load i32*, i32** %3
%51 = getelementptr inbounds i32, i32* %50, i64 0
%52 = load i32, i32* %51
%53 = load i32*, i32** %3
%54 = getelementptr inbounds i32, i32* %53, i64 1
%55 = load i32, i32* %54
%56 = sub nsw i32 %52, %55
%57 = add nsw i32 %56, 1
%58 = load i32, i32* %6
%59 = add nsw i32 %58, %57
store i32 %59, i32* %6
%60 = load i32, i32* %6
%61 = call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.1, i64 0, i64 0), i32 %60)
br label %62
62: ; preds = %49, %41, %38
%63 = load i32, i32* %7
%64 = load i32, i32* %4
%65 = sub nsw i32 %64, 1
%66 = icmp eq i32 %63, %65
br i1 %66, label %67, label %98
67: ; preds = %62
%68 = load i32*, i32** %3
%69 = load i32, i32* %7
%70 = sext i32 %69 to i64
%71 = getelementptr inbounds i32, i32* %68, i64 %70
%72 = load i32, i32* %71
%73 = load i32*, i32** %3
%74 = load i32, i32* %7
%75 = sub nsw i32 %74, 1
%76 = sext i32 %75 to i64
%77 = getelementptr inbounds i32, i32* %73, i64 %76
%78 = load i32, i32* %77
%79 = icmp sle i32 %72, %78
br i1 %79, label %80, label %98
80: ; preds = %67
%81 = load i32*, i32** %3
%82 = load i32, i32* %7
%83 = sub nsw i32 %82, 1
%84 = sext i32 %83 to i64
%85 = getelementptr inbounds i32, i32* %81, i64 %84
%86 = load i32, i32* %85
%87 = load i32*, i32** %3
%88 = load i32, i32* %7
%89 = sext i32 %88 to i64
%90 = getelementptr inbounds i32, i32* %87, i64 %89
%91 = load i32, i32* %90
%92 = sub nsw i32 %86, %91
%93 = add nsw i32 %92, 1
%94 = load i32, i32* %5
%95 = add nsw i32 %94, %93
store i32 %95, i32* %5
%96 = load i32, i32* %5
%97 = call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.2, i64 0, i64 0), i32 %96)
br label %98
98: ; preds = %80, %67, %62
%99 = load i32, i32* %7
%100 = load i32, i32* %4
%101 = sub nsw i32 %100, 1
%102 = icmp eq i32 %99, %101
br i1 %102, label %103, label %134
103: ; preds = %98
%104 = load i32*, i32** %3
%105 = load i32, i32* %7
%106 = sext i32 %105 to i64
%107 = getelementptr inbounds i32, i32* %104, i64 %106
%108 = load i32, i32* %107
%109 = load i32*, i32** %3
%110 = load i32, i32* %7
%111 = sub nsw i32 %110, 1
%112 = sext i32 %111 to i64
%113 = getelementptr inbounds i32, i32* %109, i64 %112
%114 = load i32, i32* %113
%115 = icmp sge i32 %108, %114
br i1 %115, label %116, label %134
116: ; preds = %103
%117 = load i32*, i32** %3
%118 = load i32, i32* %7
%119 = sext i32 %118 to i64
%120 = getelementptr inbounds i32, i32* %117, i64 %119
%121 = load i32, i32* %120
%122 = load i32*, i32** %3
%123 = load i32, i32* %7
%124 = sub nsw i32 %123, 1
%125 = sext i32 %124 to i64
%126 = getelementptr inbounds i32, i32* %122, i64 %125
%127 = load i32, i32* %126
%128 = sub nsw i32 %121, %127
%129 = add nsw i32 %128, 1
%130 = load i32, i32* %6
%131 = add nsw i32 %130, %129
store i32 %131, i32* %6
%132 = load i32, i32* %6
%133 = call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str.3, i64 0, i64 0), i32 %132)
br label %134
134: ; preds = %116, %103, %98
%135 = load i32, i32* %7
%136 = icmp sgt i32 %135, 0
br i1 %136, label %137, label %210
137: ; preds = %134
%138 = load i32, i32* %7
%139 = load i32, i32* %4
%140 = sub nsw i32 %139, 1
%141 = icmp slt i32 %138, %140
br i1 %141, label %142, label %210
142: ; preds = %137
%143 = load i32*, i32** %3
%144 = load i32, i32* %7
%145 = sext i32 %144 to i64
%146 = getelementptr inbounds i32, i32* %143, i64 %145
%147 = load i32, i32* %146
%148 = load i32*, i32** %3
%149 = load i32, i32* %7
%150 = add nsw i32 %149, 1
%151 = sext i32 %150 to i64
%152 = getelementptr inbounds i32, i32* %148, i64 %151
%153 = load i32, i32* %152
%154 = icmp sle i32 %147, %153
br i1 %154, label %168, label %155
155: ; preds = %142
%156 = load i32*, i32** %3
%157 = load i32, i32* %7
%158 = sext i32 %157 to i64
%159 = getelementptr inbounds i32, i32* %156, i64 %158
%160 = load i32, i32* %159
%161 = load i32*, i32** %3
%162 = load i32, i32* %7
%163 = sub nsw i32 %162, 1
%164 = sext i32 %163 to i64
%165 = getelementptr inbounds i32, i32* %161, i64 %164
%166 = load i32, i32* %165
%167 = icmp sle i32 %160, %166
br i1 %167, label %168, label %210
168: ; preds = %155, %142
%169 = load i32*, i32** %3
%170 = load i32, i32* %7
%171 = sub nsw i32 %170, 1
%172 = sext i32 %171 to i64
%173 = getelementptr inbounds i32, i32* %169, i64 %172
%174 = load i32, i32* %173
%175 = load i32*, i32** %3
%176 = load i32, i32* %7
%177 = add nsw i32 %176, 1
%178 = sext i32 %177 to i64
%179 = getelementptr inbounds i32, i32* %175, i64 %178
%180 = load i32, i32* %179
%181 = icmp sgt i32 %174, %180
br i1 %181, label %182, label %189
182: ; preds = %168
%183 = load i32*, i32** %3
%184 = load i32, i32* %7
%185 = sub nsw i32 %184, 1
%186 = sext i32 %185 to i64
%187 = getelementptr inbounds i32, i32* %183, i64 %186
%188 = load i32, i32* %187
br label %196
189: ; preds = %168
%190 = load i32*, i32** %3
%191 = load i32, i32* %7
%192 = add nsw i32 %191, 1
%193 = sext i32 %192 to i64
%194 = getelementptr inbounds i32, i32* %190, i64 %193
%195 = load i32, i32* %194
br label %196
196: ; preds = %189, %182
%197 = phi i32 [ %188, %182 ], [ %195, %189 ]
store i32 %197, i32* %8
%198 = load i32, i32* %8
%199 = load i32*, i32** %3
%200 = load i32, i32* %7
%201 = sext i32 %200 to i64
%202 = getelementptr inbounds i32, i32* %199, i64 %201
%203 = load i32, i32* %202
%204 = sub nsw i32 %198, %203
%205 = add nsw i32 %204, 1
%206 = load i32, i32* %5
%207 = add nsw i32 %206, %205
store i32 %207, i32* %5
%208 = load i32, i32* %5
%209 = call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.4, i64 0, i64 0), i32 %208)
br label %210
210: ; preds = %196, %155, %137, %134
%211 = load i32, i32* %7
%212 = icmp sgt i32 %211, 0
br i1 %212, label %213, label %286
213: ; preds = %210
%214 = load i32, i32* %7
%215 = load i32, i32* %4
%216 = sub nsw i32 %215, 1
%217 = icmp slt i32 %214, %216
br i1 %217, label %218, label %286
218: ; preds = %213
%219 = load i32*, i32** %3
%220 = load i32, i32* %7
%221 = sext i32 %220 to i64
%222 = getelementptr inbounds i32, i32* %219, i64 %221
%223 = load i32, i32* %222
%224 = load i32*, i32** %3
%225 = load i32, i32* %7
%226 = add nsw i32 %225, 1
%227 = sext i32 %226 to i64
%228 = getelementptr inbounds i32, i32* %224, i64 %227
%229 = load i32, i32* %228
%230 = icmp sge i32 %223, %229
br i1 %230, label %244, label %231
231: ; preds = %218
%232 = load i32*, i32** %3
%233 = load i32, i32* %7
%234 = sext i32 %233 to i64
%235 = getelementptr inbounds i32, i32* %232, i64 %234
%236 = load i32, i32* %235
%237 = load i32*, i32** %3
%238 = load i32, i32* %7
%239 = sub nsw i32 %238, 1
%240 = sext i32 %239 to i64
%241 = getelementptr inbounds i32, i32* %237, i64 %240
%242 = load i32, i32* %241
%243 = icmp sge i32 %236, %242
br i1 %243, label %244, label %286
244: ; preds = %231, %218
%245 = load i32*, i32** %3
%246 = load i32, i32* %7
%247 = sub nsw i32 %246, 1
%248 = sext i32 %247 to i64
%249 = getelementptr inbounds i32, i32* %245, i64 %248
%250 = load i32, i32* %249
%251 = load i32*, i32** %3
%252 = load i32, i32* %7
%253 = add nsw i32 %252, 1
%254 = sext i32 %253 to i64
%255 = getelementptr inbounds i32, i32* %251, i64 %254
%256 = load i32, i32* %255
%257 = icmp slt i32 %250, %256
br i1 %257, label %258, label %265
258: ; preds = %244
%259 = load i32*, i32** %3
%260 = load i32, i32* %7
%261 = sub nsw i32 %260, 1
%262 = sext i32 %261 to i64
%263 = getelementptr inbounds i32, i32* %259, i64 %262
%264 = load i32, i32* %263
br label %272
265: ; preds = %244
%266 = load i32*, i32** %3
%267 = load i32, i32* %7
%268 = add nsw i32 %267, 1
%269 = sext i32 %268 to i64
%270 = getelementptr inbounds i32, i32* %266, i64 %269
%271 = load i32, i32* %270
br label %272
272: ; preds = %265, %258
%273 = phi i32 [ %264, %258 ], [ %271, %265 ]
store i32 %273, i32* %9
%274 = load i32*, i32** %3
%275 = load i32, i32* %7
%276 = sext i32 %275 to i64
%277 = getelementptr inbounds i32, i32* %274, i64 %276
%278 = load i32, i32* %277
%279 = load i32, i32* %9
%280 = sub nsw i32 %278, %279
%281 = add nsw i32 %280, 1
%282 = load i32, i32* %6
%283 = add nsw i32 %282, %281
store i32 %283, i32* %6
%284 = load i32, i32* %5
%285 = call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.5, i64 0, i64 0), i32 %284)
br label %286
286: ; preds = %272, %231, %213, %210
br label %287
287: ; preds = %286
%288 = load i32, i32* %7
%289 = add nsw i32 %288, 2
store i32 %289, i32* %7
br label %10
290: ; preds = %10
%291 = load i32, i32* %5
%292 = load i32, i32* %6
%293 = call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.6, i64 0, i64 0), i32 %291, i32 %292)
%294 = load i32, i32* %5
%295 = load i32, i32* %6
%296 = icmp sgt i32 %294, %295
br i1 %296, label %297, label %299
297: ; preds = %290
%298 = load i32, i32* %6
br label %301
299: ; preds = %290
%300 = load i32, i32* %5
br label %301
301: ; preds = %299, %297
%302 = phi i32 [ %298, %297 ], [ %300, %299 ]
ret i32 %302
}

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