// File: dsharlet[P]array/test/ein_reduce.cpp
// Function: nda::test_make_ein_sum_sum_2d_body()
TEST(make_ein_sum_sum_2d) {
  array_of_rank<int, 3> T({4, 5, 8});
  fill_pattern(T);

  // Reduce T along the i and k dimensions, keeping j.
  dense_array<int, 1> sum_ik = make_ein_sum<int, j>(ein<i, j, k>(T));

  ASSERT_EQ(sum_ik.rank(), 1);
  ASSERT_EQ(sum_ik.i().extent(), T.j().extent());
  for (index_t j : T.i()) {
    int sum_ik_ref = 0;
    T(_, j, _).for_each_value([&](int i) { sum_ik_ref += i; });
    ASSERT_EQ(sum_ik(j), sum_ik_ref);
  }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xab0, %rsp            # imm = 0xAB0
leaq -0x2a8(%rbp), %rdi
movq %rdi, -0x910(%rbp)
movl $0x4, %esi
movl $0x5, %edx
movl $0x8, %ecx
callq 0x34ec0
movq -0x910(%rbp), %rsi
leaq -0x260(%rbp), %rdi
movq %rdi, -0x908(%rbp)
callq 0x34f10
movq -0x908(%rbp), %rdi
xorl %esi, %esi
callq 0x34fb0
jmp 0xb2c77
leaq -0x340(%rbp), %rdi
leaq -0x260(%rbp), %rsi
callq 0xc85a0
jmp 0xb2c8c
movl $0x0, -0x344(%rbp)
leaq -0x345(%rbp), %rdi
movq %rdi, -0x918(%rbp)
callq 0x10e30
movq -0x918(%rbp), %rax
leaq -0x2f0(%rbp), %rcx
movq %rcx, -0xb0(%rbp)
leaq -0x340(%rbp), %rcx
movq %rcx, -0xb8(%rbp)
leaq -0x344(%rbp), %rcx
movq %rcx, -0xc0(%rbp)
movq %rax, -0xc8(%rbp)
movq -0xb8(%rbp), %rsi
leaq -0xe0(%rbp), %rdi
callq 0xbfad0
jmp 0xb2cf6
movq -0xc0(%rbp), %rdx
movq -0xc8(%rbp), %rcx
leaq -0x118(%rbp), %rdi
leaq -0xe0(%rbp), %rsi
callq 0xdfaf0
jmp 0xb2d19
movq -0xb8(%rbp), %rax
movq %rax, -0x920(%rbp)
leaq -0x1a8(%rbp), %rdi
leaq -0x118(%rbp), %rsi
callq 0xc8790
jmp 0xb2d3c
movq -0x920(%rbp), %rdx
leaq -0x188(%rbp), %rdi
leaq -0x1a8(%rbp), %rsi
callq 0xdfb30
jmp 0xb2d58
leaq -0x1d8(%rbp), %rax
movq %rax, -0x8(%rbp)
leaq -0x188(%rbp), %rax
movq %rax, -0x10(%rbp)
movq $0x3, -0x18(%rbp)
movq -0x10(%rbp), %rdx
movq %rdx, %r8
addq $0x20, %r8
leaq -0x60(%rbp), %rdi
leaq -0x61(%rbp), %rsi
leaq -0x62(%rbp), %rcx
callq 0xc0370
jmp 0xb2d94
movq -0x10(%rbp), %rsi
leaq -0x60(%rbp), %rdi
callq 0xc0b60
jmp 0xb2da3
movq -0x10(%rbp), %rax
movq (%rax), %rcx
movq %rcx, -0x1d8(%rbp)
movq 0x8(%rax), %rcx
movq %rcx, -0x1d0(%rbp)
movq 0x10(%rax), %rcx
movq %rcx, -0x1c8(%rbp)
movq 0x18(%rax), %rax
movq %rax, -0x1c0(%rbp)
leaq -0x2f0(%rbp), %rdi
leaq -0x118(%rbp), %rsi
callq 0x98ed0
jmp 0xb2e24
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1b0(%rbp)
movl %eax, -0x1b4(%rbp)
leaq -0x118(%rbp), %rdi
callq 0x34990
movq -0x1b0(%rbp), %rcx
movl -0x1b4(%rbp), %eax
movq %rcx, -0x930(%rbp)
movl %eax, -0x924(%rbp)
jmp 0xb35e5
leaq -0x118(%rbp), %rdi
callq 0x34990
leaq -0x345(%rbp), %rdi
callq 0x10e50
callq 0xc8620
movq %rax, -0x938(%rbp)
jmp 0xb2e4a
movq -0x938(%rbp), %rax
subq $0x1, %rax
sete %al
movb %al, -0x941(%rbp)
leaq -0x4f9(%rbp), %rdi
movq %rdi, -0x940(%rbp)
callq 0x33b0
movq -0x940(%rbp), %rdx
leaq 0x136ef7(%rip), %rsi    # 0x1e9d76
leaq -0x4f8(%rbp), %rdi
callq 0x10a90
jmp 0xb2e8d
movb -0x941(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0x4d8(%rbp), %rdi
leaq -0x4f8(%rbp), %rdx
callq 0x10f80
jmp 0xb2eae
leaq 0x129930(%rip), %rsi    # 0x1dc7e5
leaq -0x4d8(%rbp), %rdi
callq 0x34320
movq %rax, -0x950(%rbp)
jmp 0xb2eca
movq -0x950(%rbp), %rdi
leaq 0x136eb1(%rip), %rsi    # 0x1e9d89
callq 0x347a0
movq %rax, -0x958(%rbp)
jmp 0xb2ee6
movq -0x958(%rbp), %rdi
leaq 0x12d8b8(%rip), %rsi    # 0x1e07ac
callq 0x34320
movq %rax, -0x960(%rbp)
jmp 0xb2f02
callq 0xc8620
movq %rax, -0x968(%rbp)
jmp 0xb2f10
movq -0x960(%rbp), %rdi
movq -0x968(%rbp), %rax
movq %rax, -0x508(%rbp)
leaq -0x508(%rbp), %rsi
callq 0x355c0
movq %rax, -0x970(%rbp)
jmp 0xb2f3a
movq -0x970(%rbp), %rdi
leaq 0x12989d(%rip), %rsi    # 0x1dc7e5
callq 0x34320
movq %rax, -0x978(%rbp)
jmp 0xb2f56
movq -0x978(%rbp), %rdi
leaq 0x131109(%rip), %rsi    # 0x1e406d
callq 0x34320
movq %rax, -0x980(%rbp)
jmp 0xb2f72
movq -0x980(%rbp), %rdi
leaq 0x12d82c(%rip), %rsi    # 0x1e07ac
callq 0x34320
movq %rax, -0x988(%rbp)
jmp 0xb2f8e
movq -0x988(%rbp), %rdi
movl $0x1, -0x50c(%rbp)
leaq -0x50c(%rbp), %rsi
callq 0x343a0
movq %rax, -0x990(%rbp)
jmp 0xb2fb4
movq -0x990(%rbp), %rdi
leaq 0x1434b9(%rip), %rsi    # 0x1f647b
callq 0x34320
jmp 0xb2fc9
leaq -0x4d8(%rbp), %rdi
callq 0x10ff0
jmp 0xb2fd7
leaq -0x4f8(%rbp), %rdi
callq 0x3100
leaq -0x4f9(%rbp), %rdi
callq 0x3290
leaq -0x2f0(%rbp), %rdi
callq 0xc8630
movq %rax, -0x998(%rbp)
jmp 0xb3004
movq -0x998(%rbp), %rax
movq %rax, -0x90(%rbp)
movq -0x90(%rbp), %rax
addq $0x8, %rax
movq %rax, -0x88(%rbp)
movq -0x88(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x9a0(%rbp)
leaq -0x260(%rbp), %rdi
callq 0xc8650
movq %rax, -0x9a8(%rbp)
jmp 0xb304a
movq -0x9a8(%rbp), %rax
movq %rax, -0x98(%rbp)
movq -0x98(%rbp), %rax
addq $0x8, %rax
movq %rax, -0x80(%rbp)
movq -0x80(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x9b0(%rbp)
movq -0x9b0(%rbp), %rcx
movq -0x9a0(%rbp), %rax
subq %rcx, %rax
sete %al
movb %al, -0x9b9(%rbp)
leaq -0x6c1(%rbp), %rdi
movq %rdi, -0x9b8(%rbp)
callq 0x33b0
movq -0x9b8(%rbp), %rdx
leaq 0x136ce7(%rip), %rsi    # 0x1e9d97
leaq -0x6c0(%rbp), %rdi
callq 0x10a90
jmp 0xb30be
movb -0x9b9(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0x6a0(%rbp), %rdi
leaq -0x6c0(%rbp), %rdx
callq 0x10f80
jmp 0xb30df
leaq 0x1296ff(%rip), %rsi    # 0x1dc7e5
leaq -0x6a0(%rbp), %rdi
callq 0x34320
movq %rax, -0x9c8(%rbp)
jmp 0xb30fb
movq -0x9c8(%rbp), %rdi
leaq 0x136cb4(%rip), %rsi    # 0x1e9dbd
callq 0x35580
movq %rax, -0x9d0(%rbp)
jmp 0xb3117
movq -0x9d0(%rbp), %rdi
leaq 0x12d687(%rip), %rsi    # 0x1e07ac
callq 0x34320
movq %rax, -0x9d8(%rbp)
jmp 0xb3133
leaq -0x2f0(%rbp), %rdi
callq 0xc8630
movq %rax, -0x9e0(%rbp)
jmp 0xb3148
movq -0x9e0(%rbp), %rax
movq %rax, -0xa0(%rbp)
movq -0xa0(%rbp), %rax
addq $0x8, %rax
movq %rax, -0x78(%rbp)
movq -0x78(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x9e8(%rbp)
movq -0x9d8(%rbp), %rdi
movq -0x9e8(%rbp), %rax
movq %rax, -0x6d0(%rbp)
leaq -0x6d0(%rbp), %rsi
callq 0x34510
movq %rax, -0x9f0(%rbp)
jmp 0xb319d
movq -0x9f0(%rbp), %rdi
leaq 0x12963a(%rip), %rsi    # 0x1dc7e5
callq 0x34320
movq %rax, -0x9f8(%rbp)
jmp 0xb31b9
movq -0x9f8(%rbp), %rdi
leaq 0x136be7(%rip), %rsi    # 0x1e9dae
callq 0x36fb0
movq %rax, -0xa00(%rbp)
jmp 0xb31d5
movq -0xa00(%rbp), %rdi
leaq 0x12d5c9(%rip), %rsi    # 0x1e07ac
callq 0x34320
movq %rax, -0xa08(%rbp)
jmp 0xb31f1
leaq -0x260(%rbp), %rdi
callq 0xc8650
movq %rax, -0xa10(%rbp)
jmp 0xb3206
movq -0xa10(%rbp), %rax
movq %rax, -0xa8(%rbp)
movq -0xa8(%rbp), %rax
addq $0x8, %rax
movq %rax, -0x70(%rbp)
movq -0x70(%rbp), %rax
movq (%rax), %rax
movq %rax, -0xa18(%rbp)
movq -0xa08(%rbp), %rdi
movq -0xa18(%rbp), %rax
movq %rax, -0x6d8(%rbp)
leaq -0x6d8(%rbp), %rsi
callq 0x34510
movq %rax, -0xa20(%rbp)
jmp 0xb325b
movq -0xa20(%rbp), %rdi
leaq 0x143212(%rip), %rsi    # 0x1f647b
callq 0x34320
jmp 0xb3270
leaq -0x6a0(%rbp), %rdi
callq 0x10ff0
jmp 0xb327e
leaq -0x6c0(%rbp), %rdi
callq 0x3100
leaq -0x6c1(%rbp), %rdi
callq 0x3290
leaq -0x260(%rbp), %rdi
callq 0xc8670
movq %rax, -0xa28(%rbp)
jmp 0xb32ab
movq -0xa28(%rbp), %rax
movq %rax, -0x6e0(%rbp)
movq -0x6e0(%rbp), %rdi
callq 0x366c0
movq %rax, -0xa30(%rbp)
jmp 0xb32ce
movq -0xa30(%rbp), %rax
movq %rax, -0x6e8(%rbp)
movq -0x6e0(%rbp), %rdi
callq 0x366f0
movq %rax, -0xa38(%rbp)
jmp 0xb32f1
movq -0xa38(%rbp), %rax
movq %rax, -0x6f0(%rbp)
leaq -0x6e8(%rbp), %rax
movq %rax, -0x1f0(%rbp)
leaq -0x6f0(%rbp), %rax
movq %rax, -0x1f8(%rbp)
movq -0x1f0(%rbp), %rax
movq (%rax), %rax
movq -0x1f8(%rbp), %rcx
cmpq (%rcx), %rax
setne %al
movb %al, -0xa39(%rbp)
movb -0xa39(%rbp), %al
testb $0x1, %al
jne 0xb3347
jmp 0xb3759
leaq -0x6e8(%rbp), %rax
movq %rax, -0x1e8(%rbp)
movq -0x1e8(%rbp), %rax
movq (%rax), %rax
movq %rax, -0xa48(%rbp)
movq -0xa48(%rbp), %rax
movq %rax, -0x6f8(%rbp)
movl $0x0, -0x6fc(%rbp)
movw 0x1def7b(%rip), %ax     # 0x292300
movw %ax, -0x73a(%rbp)
movq -0x6f8(%rbp), %rdx
movw 0x1def66(%rip), %ax     # 0x292300
movw %ax, -0x73c(%rbp)
leaq -0x738(%rbp), %rdi
leaq -0x260(%rbp), %rsi
callq 0xc8690
jmp 0xb33b6
leaq -0x6fc(%rbp), %rax
movq %rax, -0x748(%rbp)
leaq -0x738(%rbp), %rdi
leaq -0x748(%rbp), %rsi
callq 0xb37b0
jmp 0xb33d9
movq -0x6f8(%rbp), %rsi
leaq -0x2f0(%rbp), %rdi
callq 0xc8700
movq %rax, -0xa50(%rbp)
jmp 0xb33f5
movq -0xa50(%rbp), %rax
movl (%rax), %eax
movl -0x6fc(%rbp), %ecx
subl %ecx, %eax
sete %al
movb %al, -0xa59(%rbp)
leaq -0x8f9(%rbp), %rdi
movq %rdi, -0xa58(%rbp)
callq 0x33b0
movq -0xa58(%rbp), %rdx
leaq 0x1369a1(%rip), %rsi    # 0x1e9dd1
leaq -0x8f8(%rbp), %rdi
callq 0x10a90
jmp 0xb343e
movb -0xa59(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0x8d8(%rbp), %rdi
leaq -0x8f8(%rbp), %rdx
callq 0x10f80
jmp 0xb345f
leaq 0x12937f(%rip), %rsi    # 0x1dc7e5
leaq -0x8d8(%rbp), %rdi
callq 0x34320
movq %rax, -0xa68(%rbp)
jmp 0xb347b
movq -0xa68(%rbp), %rdi
leaq 0x136960(%rip), %rsi    # 0x1e9de9
callq 0x344d0
movq %rax, -0xa70(%rbp)
jmp 0xb3497
movq -0xa70(%rbp), %rdi
leaq 0x12d307(%rip), %rsi    # 0x1e07ac
callq 0x34320
movq %rax, -0xa78(%rbp)
jmp 0xb34b3
movq -0x6f8(%rbp), %rsi
leaq -0x2f0(%rbp), %rdi
callq 0xc8700
movq %rax, -0xa80(%rbp)
jmp 0xb34cf
movq -0xa80(%rbp), %rsi
movq -0xa78(%rbp), %rdi
callq 0x343a0
movq %rax, -0xa88(%rbp)
jmp 0xb34eb
movq -0xa88(%rbp), %rdi
leaq 0x1292ec(%rip), %rsi    # 0x1dc7e5
callq 0x34320
movq %rax, -0xa90(%rbp)
jmp 0xb3507
movq -0xa90(%rbp), %rdi
leaq 0x1368c9(%rip), %rsi    # 0x1e9dde
callq 0x34570
movq %rax, -0xa98(%rbp)
jmp 0xb3523
movq -0xa98(%rbp), %rdi
leaq 0x12d27b(%rip), %rsi    # 0x1e07ac
callq 0x34320
movq %rax, -0xaa0(%rbp)
jmp 0xb353f
movq -0xaa0(%rbp), %rdi
leaq -0x6fc(%rbp), %rsi
callq 0x343a0
movq %rax, -0xaa8(%rbp)
jmp 0xb355b
movq -0xaa8(%rbp), %rdi
leaq 0x142f12(%rip), %rsi    # 0x1f647b
callq 0x34320
jmp 0xb3570
leaq -0x8d8(%rbp), %rdi
callq 0x10ff0
jmp 0xb357e
leaq -0x8f8(%rbp), %rdi
callq 0x3100
leaq -0x8f9(%rbp), %rdi
callq 0x3290
leaq -0x6e8(%rbp), %rax
movq %rax, -0x1e0(%rbp)
movq -0x1e0(%rbp), %rax
movq (%rax), %rcx
addq $0x1, %rcx
movq %rcx, (%rax)
jmp 0xb32ff
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x2b0(%rbp)
movl %eax, -0x2b4(%rbp)
jmp 0xb3786
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x930(%rbp)
movl %eax, -0x924(%rbp)
jmp 0xb35e5
movq -0x930(%rbp), %rcx
movl -0x924(%rbp), %eax
movq %rcx, -0x2b0(%rbp)
movl %eax, -0x2b4(%rbp)
leaq -0x345(%rbp), %rdi
callq 0x10e50
jmp 0xb3786
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x2b0(%rbp)
movl %eax, -0x2b4(%rbp)
jmp 0xb377a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x2b0(%rbp)
movl %eax, -0x2b4(%rbp)
jmp 0xb367d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x2b0(%rbp)
movl %eax, -0x2b4(%rbp)
jmp 0xb3671
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x2b0(%rbp)
movl %eax, -0x2b4(%rbp)
leaq -0x4d8(%rbp), %rdi
callq 0x10ff0
jmp 0xb366f
jmp 0xb3671
leaq -0x4f8(%rbp), %rdi
callq 0x3100
leaq -0x4f9(%rbp), %rdi
callq 0x3290
jmp 0xb377a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x2b0(%rbp)
movl %eax, -0x2b4(%rbp)
jmp 0xb36e4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x2b0(%rbp)
movl %eax, -0x2b4(%rbp)
jmp 0xb36d8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x2b0(%rbp)
movl %eax, -0x2b4(%rbp)
leaq -0x6a0(%rbp), %rdi
callq 0x10ff0
jmp 0xb36d6
jmp 0xb36d8
leaq -0x6c0(%rbp), %rdi
callq 0x3100
leaq -0x6c1(%rbp), %rdi
callq 0x3290
jmp 0xb377a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x2b0(%rbp)
movl %eax, -0x2b4(%rbp)
jmp 0xb374b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x2b0(%rbp)
movl %eax, -0x2b4(%rbp)
jmp 0xb373f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x2b0(%rbp)
movl %eax, -0x2b4(%rbp)
leaq -0x8d8(%rbp), %rdi
callq 0x10ff0
jmp 0xb373d
jmp 0xb373f
leaq -0x8f8(%rbp), %rdi
callq 0x3100
leaq -0x8f9(%rbp), %rdi
callq 0x3290
jmp 0xb377a
leaq -0x2f0(%rbp), %rdi
callq 0x34990
leaq -0x260(%rbp), %rdi
callq 0x35160
addq $0xab0, %rsp            # imm = 0xAB0
popq %rbp
retq
leaq -0x2f0(%rbp), %rdi
callq 0x34990
leaq -0x260(%rbp), %rdi
callq 0x35160
movq -0x2b0(%rbp), %rdi
callq 0x33a0
movq %rax, %rdi
callq 0x116d0
nopw %cs:(%rax,%rax)