void f(float *a1, float **a2, float ***a3, float ****a4, float *****a5, int n1,
       int n2, int n3, int n4, int n5) {
  int t10;
  int t8;
  int t6;
  int t4;
  int t2;
  int i1;
  int i2;
  int i3;
  int i4;
  int i5;
  for (t2 = 0; t2 <= n1 - 1; t2 += 1)
    for (t4 = 0; t4 <= n2 - 1; t4 += 1)
      for (t6 = 2 * t2 + 4 * t4; t6 <= 2 * t2 + 4 * t4 + 6 * n3 - 6; t6 += 6)
        for (t8 = 0; t8 <= n4 - 1; t8 += 1)
          for (t10 = 0; t10 <= n5 - 1; t10 += 1)
            a5[t2][t4][(-(2 * t2) - 4 * t4 + t6) / 6][t8][t10] = 0.0f;
}


x86 assembly (clang, -O0):
<f>:
push   %rbp
mov    %rsp,%rbp
mov    0x28(%rbp),%eax
mov    0x20(%rbp),%eax
mov    0x18(%rbp),%eax
mov    0x10(%rbp),%eax
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
mov    %r9d,-0x2c(%rbp)
movl   $0x0,-0x40(%rbp)
mov    -0x40(%rbp),%eax
mov    -0x2c(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jg     126b <f+0x16b>
movl   $0x0,-0x3c(%rbp)
mov    -0x3c(%rbp),%eax
mov    0x10(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jg     1258 <f+0x158>
mov    -0x40(%rbp),%eax
shl    $0x1,%eax
mov    -0x3c(%rbp),%ecx
shl    $0x2,%ecx
add    %ecx,%eax
mov    %eax,-0x38(%rbp)
mov    -0x38(%rbp),%eax
mov    -0x40(%rbp),%ecx
shl    $0x1,%ecx
mov    -0x3c(%rbp),%edx
shl    $0x2,%edx
add    %edx,%ecx
imul   $0x6,0x18(%rbp),%edx
add    %edx,%ecx
sub    $0x6,%ecx
cmp    %ecx,%eax
jg     1245 <f+0x145>
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
mov    0x20(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jg     1232 <f+0x132>
movl   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%eax
mov    0x28(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jg     121f <f+0x11f>
mov    -0x28(%rbp),%rax
movslq -0x40(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x3c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0x60(%rbp)
mov    -0x40(%rbp),%ecx
shl    $0x1,%ecx
xor    %eax,%eax
sub    %ecx,%eax
mov    -0x3c(%rbp),%ecx
shl    $0x2,%ecx
sub    %ecx,%eax
add    -0x38(%rbp),%eax
mov    $0x6,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x60(%rbp),%rax
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x30(%rbp),%rcx
xorps  %xmm0,%xmm0
movss  %xmm0,(%rax,%rcx,4)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    11aa <f+0xaa>
jmp    1224 <f+0x124>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    1192 <f+0x92>
jmp    1237 <f+0x137>
mov    -0x38(%rbp),%eax
add    $0x6,%eax
mov    %eax,-0x38(%rbp)
jmp    1169 <f+0x69>
jmp    124a <f+0x14a>
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    1147 <f+0x47>
jmp    125d <f+0x15d>
mov    -0x40(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x40(%rbp)
jmp    112f <f+0x2f>
pop    %rbp
ret

x86 assembly (clang, -O2):
<f>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x38,%rsp
test   %r9d,%r9d
jle    12ac <f+0x19c>
mov    %r8,%r14
mov    0x78(%rsp),%eax
lea    (%rax,%rax,2),%eax
add    %eax,%eax
add    $0xfffffffa,%eax
mov    %rax,0x20(%rsp)
mov    0x88(%rsp),%ebx
shl    $0x2,%rbx
mov    %r9d,%eax
mov    %rax,0x18(%rsp)
mov    0x80(%rsp),%eax
and    $0xfffffffe,%eax
mov    %rax,0x30(%rsp)
xor    %r12d,%r12d
jmp    117f <f+0x6f>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
add    $0x1,%r12
cmp    0x18(%rsp),%r12
je     12ac <f+0x19c>
cmpl   $0x0,0x70(%rsp)
jle    1170 <f+0x60>
lea    (%r12,%r12,1),%eax
mov    %rax,0x28(%rsp)
xor    %r15d,%r15d
jmp    11ad <f+0x9d>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
add    $0x1,%r15
mov    0x70(%rsp),%eax
cmp    %rax,%r15
je     1170 <f+0x60>
mov    0x28(%rsp),%rax
lea    (%rax,%r15,4),%ecx
mov    0x20(%rsp),%rax
add    %ecx,%eax
mov    %rcx,0x10(%rsp)
mov    %eax,0xc(%rsp)
cmp    %eax,%ecx
jg     11a0 <f+0x90>
mov    0x10(%rsp),%rax
jmp    11e9 <f+0xd9>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
add    $0x6,%eax
cmp    0xc(%rsp),%eax
jg     11a0 <f+0x90>
cmpl   $0x0,0x80(%rsp)
jle    11e0 <f+0xd0>
mov    %eax,0x8(%rsp)
sub    0x10(%rsp),%eax
cltq
imul   $0x2aaaaaab,%rax,%rax
mov    %rax,%rcx
shr    $0x3f,%rcx
shr    $0x20,%rax
add    %ecx,%eax
movslq %eax,%r13
xor    %ebp,%ebp
cmpl   $0x1,0x80(%rsp)
01
jne    126b <f+0x15b>
mov    0x80(%rsp),%eax
test   $0x1,%al
mov    0x8(%rsp),%eax
je     11e0 <f+0xd0>
cmpl   $0x0,0x88(%rsp)
jle    11e0 <f+0xd0>
mov    (%r14,%r12,8),%rax
mov    (%rax,%r15,8),%rax
mov    (%rax,%r13,8),%rax
mov    (%rax,%rbp,8),%rdi
xor    %esi,%esi
mov    %rbx,%rdx
call   1030 <memset@plt>
mov    0x8(%rsp),%eax
jmp    11e0 <f+0xd0>
nopl   0x0(%rax)
add    $0x2,%rbp
cmp    %rbp,0x30(%rsp)
je     1220 <f+0x110>
cmpl   $0x0,0x88(%rsp)
jle    1260 <f+0x150>
mov    (%r14,%r12,8),%rax
mov    (%rax,%r15,8),%rax
mov    (%rax,%r13,8),%rax
mov    (%rax,%rbp,8),%rdi
xor    %esi,%esi
mov    %rbx,%rdx
call   1030 <memset@plt>
mov    (%r14,%r12,8),%rax
mov    (%rax,%r15,8),%rax
mov    (%rax,%r13,8),%rax
mov    0x8(%rax,%rbp,8),%rdi
xor    %esi,%esi
mov    %rbx,%rdx
call   1030 <memset@plt>
jmp    1260 <f+0x150>
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @f(float* %0, float** %1, float*** %2, float**** %3, float***** %4, i32 %5, i32 %6, i32 %7, i32 %8, i32 %9) {
%11 = alloca float*
%12 = alloca float**
%13 = alloca float***
%14 = alloca float****
%15 = alloca float*****
%16 = alloca i32
%17 = alloca i32
%18 = alloca i32
%19 = alloca i32
%20 = alloca i32
%21 = alloca i32
%22 = alloca i32
%23 = alloca i32
%24 = alloca i32
%25 = alloca i32
%26 = alloca i32
%27 = alloca i32
%28 = alloca i32
%29 = alloca i32
%30 = alloca i32
store float* %0, float** %11
store float** %1, float*** %12
store float*** %2, float**** %13
store float**** %3, float***** %14
store float***** %4, float****** %15
store i32 %5, i32* %16
store i32 %6, i32* %17
store i32 %7, i32* %18
store i32 %8, i32* %19
store i32 %9, i32* %20
store i32 0, i32* %25
br label %31
31: ; preds = %117, %10
%32 = load i32, i32* %25
%33 = load i32, i32* %16
%34 = sub nsw i32 %33, 1
%35 = icmp sle i32 %32, %34
br i1 %35, label %36, label %120
36: ; preds = %31
store i32 0, i32* %24
br label %37
37: ; preds = %113, %36
%38 = load i32, i32* %24
%39 = load i32, i32* %17
%40 = sub nsw i32 %39, 1
%41 = icmp sle i32 %38, %40
br i1 %41, label %42, label %116
42: ; preds = %37
%43 = load i32, i32* %25
%44 = mul nsw i32 2, %43
%45 = load i32, i32* %24
%46 = mul nsw i32 4, %45
%47 = add nsw i32 %44, %46
store i32 %47, i32* %23
br label %48
48: ; preds = %109, %42
%49 = load i32, i32* %23
%50 = load i32, i32* %25
%51 = mul nsw i32 2, %50
%52 = load i32, i32* %24
%53 = mul nsw i32 4, %52
%54 = add nsw i32 %51, %53
%55 = load i32, i32* %18
%56 = mul nsw i32 6, %55
%57 = add nsw i32 %54, %56
%58 = sub nsw i32 %57, 6
%59 = icmp sle i32 %49, %58
br i1 %59, label %60, label %112
60: ; preds = %48
store i32 0, i32* %22
br label %61
61: ; preds = %105, %60
%62 = load i32, i32* %22
%63 = load i32, i32* %19
%64 = sub nsw i32 %63, 1
%65 = icmp sle i32 %62, %64
br i1 %65, label %66, label %108
66: ; preds = %61
store i32 0, i32* %21
br label %67
67: ; preds = %101, %66
%68 = load i32, i32* %21
%69 = load i32, i32* %20
%70 = sub nsw i32 %69, 1
%71 = icmp sle i32 %68, %70
br i1 %71, label %72, label %104
72: ; preds = %67
%73 = load float*****, float****** %15
%74 = load i32, i32* %25
%75 = sext i32 %74 to i64
%76 = getelementptr inbounds float****, float***** %73, i64 %75
%77 = load float****, float***** %76
%78 = load i32, i32* %24
%79 = sext i32 %78 to i64
%80 = getelementptr inbounds float***, float**** %77, i64 %79
%81 = load float***, float**** %80
%82 = load i32, i32* %25
%83 = mul nsw i32 2, %82
%84 = sub nsw i32 0, %83
%85 = load i32, i32* %24
%86 = mul nsw i32 4, %85
%87 = sub nsw i32 %84, %86
%88 = load i32, i32* %23
%89 = add nsw i32 %87, %88
%90 = sdiv i32 %89, 6
%91 = sext i32 %90 to i64
%92 = getelementptr inbounds float**, float*** %81, i64 %91
%93 = load float**, float*** %92
%94 = load i32, i32* %22
%95 = sext i32 %94 to i64
%96 = getelementptr inbounds float*, float** %93, i64 %95
%97 = load float*, float** %96
%98 = load i32, i32* %21
%99 = sext i32 %98 to i64
%100 = getelementptr inbounds float, float* %97, i64 %99
store float 0.000000e+00, float* %100
br label %101
101: ; preds = %72
%102 = load i32, i32* %21
%103 = add nsw i32 %102, 1
store i32 %103, i32* %21
br label %67
104: ; preds = %67
br label %105
105: ; preds = %104
%106 = load i32, i32* %22
%107 = add nsw i32 %106, 1
store i32 %107, i32* %22
br label %61
108: ; preds = %61
br label %109
109: ; preds = %108
%110 = load i32, i32* %23
%111 = add nsw i32 %110, 6
store i32 %111, i32* %23
br label %48
112: ; preds = %48
br label %113
113: ; preds = %112
%114 = load i32, i32* %24
%115 = add nsw i32 %114, 1
store i32 %115, i32* %24
br label %37
116: ; preds = %37
br label %117
117: ; preds = %116
%118 = load i32, i32* %25
%119 = add nsw i32 %118, 1
store i32 %119, i32* %25
br label %31
120: ; preds = %31
ret void
}

LLVM IR (-O2):
define void @f(float* nocapture readnone %0, float** nocapture readnone %1, float*** nocapture readnone %2, float**** nocapture readnone %3, float***** nocapture %4, i32 %5, i32 %6, i32 %7, i32 %8, i32 %9) {
%11 = icmp sgt i32 %5, 0
br i1 %11, label %12, label %93
12: ; preds = %10
%13 = icmp sgt i32 %6, 0
%14 = mul nsw i32 %7, 6
%15 = add i32 %14, -6
%16 = icmp sgt i32 %8, 0
%17 = icmp sgt i32 %9, 0
%18 = zext i32 %9 to i64
%19 = shl nuw nsw i64 %18, 2
%20 = zext i32 %5 to i64
%21 = zext i32 %6 to i64
%22 = zext i32 %8 to i64
%23 = and i64 %22, 1
%24 = icmp eq i32 %8, 1
%25 = and i64 %22, 4294967294
%26 = icmp eq i64 %23, 0
br label %27
27: ; preds = %12, %90
%28 = phi i64 [ 0, %12 ], [ %91, %90 ]
br i1 %13, label %29, label %90
29: ; preds = %27
%30 = getelementptr inbounds float****, float***** %4, i64 %28
%31 = trunc i64 %28 to i32
%32 = shl i32 %31, 1
br label %33
33: ; preds = %29, %87
%34 = phi i64 [ 0, %29 ], [ %88, %87 ]
%35 = trunc i64 %34 to i32
%36 = shl nsw i32 %35, 2
%37 = add nuw i32 %36, %32
%38 = add i32 %15, %37
%39 = icmp sgt i32 %37, %38
br i1 %39, label %87, label %40
40: ; preds = %33, %84
%41 = phi i32 [ %85, %84 ], [ %37, %33 ]
br i1 %16, label %42, label %84
42: ; preds = %40
%43 = sub nuw i32 %41, %37
%44 = sdiv i32 %43, 6
%45 = sext i32 %44 to i64
br i1 %24, label %71, label %46
46: ; preds = %42, %67
%47 = phi i64 [ %68, %67 ], [ 0, %42 ]
%48 = phi i64 [ %69, %67 ], [ 0, %42 ]
br i1 %17, label %49, label %67
49: ; preds = %46
%50 = load float****, float***** %30
%51 = getelementptr inbounds float***, float**** %50, i64 %34
%52 = load float***, float**** %51
%53 = getelementptr inbounds float**, float*** %52, i64 %45
%54 = load float**, float*** %53
%55 = getelementptr inbounds float*, float** %54, i64 %47
%56 = bitcast float** %55 to i8**
%57 = load i8*, i8** %56
%58 = or i64 %47, 1
%59 = load float****, float***** %30
%60 = getelementptr inbounds float***, float**** %59, i64 %34
%61 = load float***, float**** %60
%62 = getelementptr inbounds float**, float*** %61, i64 %45
%63 = load float**, float*** %62
%64 = getelementptr inbounds float*, float** %63, i64 %58
%65 = bitcast float** %64 to i8**
%66 = load i8*, i8** %65
br label %67
67: ; preds = %46, %49
%68 = add nuw nsw i64 %47, 2
%69 = add i64 %48, 2
%70 = icmp eq i64 %69, %25
br i1 %70, label %71, label %46
71: ; preds = %67, %42
%72 = phi i64 [ 0, %42 ], [ %68, %67 ]
%73 = xor i1 %17, true
%74 = or i1 %26, %73
br i1 %74, label %84, label %75
75: ; preds = %71
%76 = load float****, float***** %30
%77 = getelementptr inbounds float***, float**** %76, i64 %34
%78 = load float***, float**** %77
%79 = getelementptr inbounds float**, float*** %78, i64 %45
%80 = load float**, float*** %79
%81 = getelementptr inbounds float*, float** %80, i64 %72
%82 = bitcast float** %81 to i8**
%83 = load i8*, i8** %82
br label %84
84: ; preds = %71, %75, %40
%85 = add nuw nsw i32 %41, 6
%86 = icmp sgt i32 %85, %38
br i1 %86, label %87, label %40
87: ; preds = %84, %33
%88 = add nuw nsw i64 %34, 1
%89 = icmp eq i64 %88, %21
br i1 %89, label %90, label %33
90: ; preds = %87, %27
%91 = add nuw nsw i64 %28, 1
%92 = icmp eq i64 %91, %20
br i1 %92, label %93, label %27
93: ; preds = %90, %10
ret void
}