// File: /workspace/github_cpp_makefile_star2_O3/dsharlet[P]array/test/shape.cpp
// Function: void nda::test_all_unknown_strides<3ul>()
void test_all_unknown_strides() {
  std::array<dim<>, rank> a;
  std::array<dim<>, rank> b;
  index_t stride = 1;
  for (size_t d = 0; d < rank; d++) {
    a[d] = dim<>(d);
    b[d] = a[d];
    b[d].set_stride(stride);
    stride *= std::max(static_cast<index_t>(1), a[d].extent());
  }
  shape_of_rank<rank> s_all_unknown(internal::array_to_tuple(a));
  shape_of_rank<rank> s_all_unknown_resolved(internal::array_to_tuple(b));
  s_all_unknown.resolve();
  s_all_unknown_resolved.resolve();
  ASSERT_EQ(s_all_unknown, s_all_unknown_resolved);
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0x2d0, %rsp            # imm = 0x2D0
movabsq $-0x8000000000000000, %rax # imm = 0x8000000000000000
movl $0x10, %ecx
xorps %xmm0, %xmm0
movups %xmm0, 0x10(%rsp,%rcx)
movq %rax, 0x20(%rsp,%rcx)
addq $0x18, %rcx
cmpq $0x58, %rcx
jne 0x8e127
movl $0x10, %ecx
xorps %xmm0, %xmm0
movups %xmm0, 0x58(%rsp,%rcx)
movq %rax, 0x68(%rsp,%rcx)
addq $0x18, %rcx
cmpq $0x58, %rcx
jne 0x8e143
movl $0x1, %ecx
xorl %edx, %edx
xorl %esi, %esi
movq $0x0, 0x20(%rsp,%rdx)
movq %rsi, 0x28(%rsp,%rdx)
movq %rax, 0x30(%rsp,%rdx)
movups 0x20(%rsp,%rdx), %xmm0
movups %xmm0, 0x68(%rsp,%rdx)
movq %rcx, 0x78(%rsp,%rdx)
cmpq $0x1, %rsi
movq %rsi, %rdi
adcq $0x0, %rdi
imulq %rdi, %rcx
incq %rsi
addq $0x18, %rdx
cmpq $0x3, %rsi
jne 0x8e160
movq 0x60(%rsp), %rcx
leaq 0x140(%rsp), %rax
movq %rcx, 0x10(%rax)
movups 0x50(%rsp), %xmm0
movaps %xmm0, (%rax)
movups 0x38(%rsp), %xmm0
movups %xmm0, 0x18(%rax)
movq 0x48(%rsp), %rcx
movq %rcx, 0x28(%rax)
movups 0x20(%rsp), %xmm0
movaps %xmm0, 0x30(%rax)
movq 0x30(%rsp), %rcx
movq %rcx, 0x40(%rax)
leaq 0xf8(%rsp), %rbx
movl $0x9, %ecx
movq %rbx, %rdi
movq %rax, %rsi
rep  movsq (%rsi), %es:(%rdi)
movq 0xa8(%rsp), %rcx
movq %rcx, 0x10(%rax)
movups 0x98(%rsp), %xmm0
movaps %xmm0, (%rax)
movups 0x80(%rsp), %xmm0
movups %xmm0, 0x18(%rax)
movq 0x90(%rsp), %rcx
movq %rcx, 0x28(%rax)
movups 0x68(%rsp), %xmm0
movaps %xmm0, 0x30(%rax)
movq 0x78(%rsp), %rcx
movq %rcx, 0x40(%rax)
leaq 0xb0(%rsp), %r14
leaq 0x140(%rsp), %rsi
movl $0x9, %ecx
movq %r14, %rdi
rep  movsq (%rsi), %es:(%rdi)
leaq 0x128(%rsp), %rsi
leaq 0x110(%rsp), %rdx
movq %rbx, %rdi
movq %rbx, %rcx
callq 0x1a9f3
leaq 0xe0(%rsp), %rsi
leaq 0xc8(%rsp), %rdx
movq %r14, %rdi
movq %r14, %rcx
callq 0x1a9f3
movq %rbx, %rdi
movq %r14, %rsi
callq 0x1dd08
movl %eax, %ebx
leaq 0x10(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x316dd(%rip), %rsi     # 0xbf97d
leaq 0x316fd(%rip), %rdx     # 0xbf9a4
movq %rsp, %r14
movq %r14, %rdi
callq 0xd14c
movzbl %bl, %esi
leaq 0x140(%rsp), %rdi
movq %r14, %rdx
callq 0xbf80
leaq 0x153b8(%rip), %rsi     # 0xa3684
leaq 0x140(%rsp), %rdi
callq 0x18fba
leaq 0x316c5(%rip), %rsi     # 0xbf9a5
movq %rax, %rdi
callq 0x1910a
leaq 0x18f67(%rip), %rsi     # 0xa7256
movq %rax, %rdi
callq 0x18fba
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x8e317
movq %rbx, %rdi
addq $0x10, %rdi
leaq 0xf8(%rsp), %rsi
callq 0x1fb71
leaq 0x15366(%rip), %rsi     # 0xa3684
movq %rbx, %rdi
callq 0x18fba
leaq 0x31661(%rip), %rsi     # 0xbf98e
movq %rax, %rdi
callq 0x19aca
leaq 0x18f1a(%rip), %rsi     # 0xa7256
movq %rax, %rdi
callq 0x18fba
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x8e364
movq %rbx, %rdi
addq $0x10, %rdi
leaq 0xb0(%rsp), %rsi
callq 0x1fb71
leaq 0x2bf2e(%rip), %rsi     # 0xba299
movq %rbx, %rdi
callq 0x18fba
leaq 0x140(%rsp), %rdi
callq 0xbfd8
movq (%rsp), %rdi
cmpq %r15, %rdi
je 0x8e396
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x21f0
addq $0x2d0, %rsp            # imm = 0x2D0
popq %rbx
popq %r14
popq %r15
retq
movq %rax, %rbx
jmp 0x8e3b8
movq %rax, %rbx
leaq 0x140(%rsp), %rdi
callq 0xbfd8
movq (%rsp), %rdi
cmpq %r15, %rdi
je 0x8e3ce
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x21f0
movq %rbx, %rdi
callq 0x2300
movq %rax, %rdi
callq 0xc0a9