// File: /workspace/github_cpp_makefile_star2_O1/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 0x8c476
movl $0x10, %ecx
xorps %xmm0, %xmm0
movups %xmm0, 0x58(%rsp,%rcx)
movq %rax, 0x68(%rsp,%rcx)
addq $0x18, %rcx
cmpq $0x58, %rcx
jne 0x8c492
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 0x8c4af
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 0x1a487
leaq 0xe0(%rsp), %rsi
leaq 0xc8(%rsp), %rdx
movq %r14, %rdi
movq %r14, %rcx
callq 0x1a487
movq %rbx, %rdi
movq %r14, %rsi
callq 0x1d87a
movl %eax, %ebx
leaq 0x10(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x3182e(%rip), %rsi     # 0xbde1d
leaq 0x3184e(%rip), %rdx     # 0xbde44
movq %rsp, %r14
movq %r14, %rdi
callq 0xd0b8
movzbl %bl, %esi
leaq 0x140(%rsp), %rdi
movq %r14, %rdx
callq 0xbf0a
leaq 0x15039(%rip), %rsi     # 0xa1654
leaq 0x140(%rsp), %rdi
callq 0x18a16
leaq 0x31816(%rip), %rsi     # 0xbde45
movq %rax, %rdi
callq 0x18b66
leaq 0x18cec(%rip), %rsi     # 0xa532a
movq %rax, %rdi
callq 0x18a16
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x8c666
movq %rbx, %rdi
addq $0x10, %rdi
leaq 0xf8(%rsp), %rsi
callq 0x1f0cd
leaq 0x14fe7(%rip), %rsi     # 0xa1654
movq %rbx, %rdi
callq 0x18a16
leaq 0x317b2(%rip), %rsi     # 0xbde2e
movq %rax, %rdi
callq 0x19578
leaq 0x18c9f(%rip), %rsi     # 0xa532a
movq %rax, %rdi
callq 0x18a16
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x8c6b3
movq %rbx, %rdi
addq $0x10, %rdi
leaq 0xb0(%rsp), %rsi
callq 0x1f0cd
leaq 0x2bcaf(%rip), %rsi     # 0xb8369
movq %rbx, %rdi
callq 0x18a16
leaq 0x140(%rsp), %rdi
callq 0xbf62
movq (%rsp), %rdi
cmpq %r15, %rdi
je 0x8c6e5
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x21f0
addq $0x2d0, %rsp            # imm = 0x2D0
popq %rbx
popq %r14
popq %r15
retq
movq %rax, %rbx
jmp 0x8c707
movq %rax, %rbx
leaq 0x140(%rsp), %rdi
callq 0xbf62
movq (%rsp), %rdi
cmpq %r15, %rdi
je 0x8c71d
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x21f0
movq %rbx, %rdi
callq 0x2300
movq %rax, %rdi
callq 0xc036