void decrement(int *counts) {
  counts[6]--;
  if (counts[6] < 0) {
    counts[6] = 59;
    counts[5]--;
  }
  if (counts[5] < 0) {
    counts[5] = 59;
    counts[4]--;
  }
  if (counts[4] < 0) {
    counts[4] = 23;
    counts[3]--;
  }
  if (counts[3] < 0) {
    counts[3] = 0;
  }
}


x86 assembly (clang, -O0):
<decrement>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rax
mov    0x18(%rax),%ecx
add    $0xffffffff,%ecx
mov    %ecx,0x18(%rax)
mov    -0x8(%rbp),%rax
cmpl   $0x0,0x18(%rax)
jge    113b <decrement+0x3b>
mov    -0x8(%rbp),%rax
movl   $0x3b,0x18(%rax)
mov    -0x8(%rbp),%rax
mov    0x14(%rax),%ecx
add    $0xffffffff,%ecx
mov    %ecx,0x14(%rax)
mov    -0x8(%rbp),%rax
cmpl   $0x0,0x14(%rax)
jge    1161 <decrement+0x61>
mov    -0x8(%rbp),%rax
movl   $0x3b,0x14(%rax)
mov    -0x8(%rbp),%rax
mov    0x10(%rax),%ecx
add    $0xffffffff,%ecx
mov    %ecx,0x10(%rax)
mov    -0x8(%rbp),%rax
cmpl   $0x0,0x10(%rax)
jge    1187 <decrement+0x87>
mov    -0x8(%rbp),%rax
movl   $0x17,0x10(%rax)
mov    -0x8(%rbp),%rax
mov    0xc(%rax),%ecx
add    $0xffffffff,%ecx
mov    %ecx,0xc(%rax)
mov    -0x8(%rbp),%rax
cmpl   $0x0,0xc(%rax)
jge    11a0 <decrement+0xa0>
mov    -0x8(%rbp),%rax
movl   $0x0,0xc(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<decrement>:
mov    0x18(%rdi),%eax
lea    -0x1(%rax),%ecx
mov    %ecx,0x18(%rdi)
test   %eax,%eax
jle    1123 <decrement+0x23>
mov    0x14(%rdi),%eax
test   %eax,%eax
js     1137 <decrement+0x37>
mov    0x10(%rdi),%eax
test   %eax,%eax
js     114b <decrement+0x4b>
mov    0xc(%rdi),%eax
test   %eax,%eax
js     115f <decrement+0x5f>
ret
movl   $0x3b,0x18(%rdi)
mov    0x14(%rdi),%eax
add    $0xffffffff,%eax
mov    %eax,0x14(%rdi)
test   %eax,%eax
jns    1114 <decrement+0x14>
movl   $0x3b,0x14(%rdi)
mov    0x10(%rdi),%eax
add    $0xffffffff,%eax
mov    %eax,0x10(%rdi)
test   %eax,%eax
jns    111b <decrement+0x1b>
movl   $0x17,0x10(%rdi)
mov    0xc(%rdi),%eax
add    $0xffffffff,%eax
mov    %eax,0xc(%rdi)
test   %eax,%eax
jns    1122 <decrement+0x22>
movl   $0x0,0xc(%rdi)
ret

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

LLVM IR (-O2):
define void @decrement(i32* nocapture %0) {
%2 = getelementptr inbounds i32, i32* %0, i64 6
%3 = load i32, i32* %2
%4 = add nsw i32 %3, -1
store i32 %4, i32* %2
%5 = icmp slt i32 %3, 1
br i1 %5, label %9, label %6
6: ; preds = %1
%7 = getelementptr inbounds i32, i32* %0, i64 5
%8 = load i32, i32* %7
br label %13
9: ; preds = %1
store i32 59, i32* %2
%10 = getelementptr inbounds i32, i32* %0, i64 5
%11 = load i32, i32* %10
%12 = add nsw i32 %11, -1
store i32 %12, i32* %10
br label %13
13: ; preds = %6, %9
%14 = phi i32 [ %8, %6 ], [ %12, %9 ]
%15 = icmp slt i32 %14, 0
br i1 %15, label %19, label %16
16: ; preds = %13
%17 = getelementptr inbounds i32, i32* %0, i64 4
%18 = load i32, i32* %17
br label %24
19: ; preds = %13
%20 = getelementptr inbounds i32, i32* %0, i64 5
store i32 59, i32* %20
%21 = getelementptr inbounds i32, i32* %0, i64 4
%22 = load i32, i32* %21
%23 = add nsw i32 %22, -1
store i32 %23, i32* %21
br label %24
24: ; preds = %16, %19
%25 = phi i32 [ %18, %16 ], [ %23, %19 ]
%26 = icmp slt i32 %25, 0
br i1 %26, label %30, label %27
27: ; preds = %24
%28 = getelementptr inbounds i32, i32* %0, i64 3
%29 = load i32, i32* %28
br label %35
30: ; preds = %24
%31 = getelementptr inbounds i32, i32* %0, i64 4
store i32 23, i32* %31
%32 = getelementptr inbounds i32, i32* %0, i64 3
%33 = load i32, i32* %32
%34 = add nsw i32 %33, -1
store i32 %34, i32* %32
br label %35
35: ; preds = %27, %30
%36 = phi i32 [ %29, %27 ], [ %34, %30 ]
%37 = icmp slt i32 %36, 0
br i1 %37, label %38, label %40
38: ; preds = %35
%39 = getelementptr inbounds i32, i32* %0, i64 3
store i32 0, i32* %39
br label %40
40: ; preds = %38, %35
ret void
}