OV - exec - Function void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const [clone .extracted]

	Function: void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSd ...	Module: exec	Source: Collapse.hpp:81-83 [...]	Coverage (incl. loops): 0.87% \| (excl. loops): 0.00%

/home/eoseret/qaas_runs_GNR/173-926-6874/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/policy/loop/forall.hpp: 59 - 59

--------------------------------------------------------------------------------

59:   for (decltype(distance_it) i = 0; i < distance_it; ++i) {

/home/eoseret/qaas_runs_GNR/173-926-6874/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/internal/Iterators.hpp: 55 - 250

--------------------------------------------------------------------------------

55:       : val(rhs.val)

[...]

177:     return value_type(val + rhs);

[...]

207:       : val(rhs.val), stride(rhs.stride)

[...]

247:     difference_type diff = (static_cast<difference_type>(val) -

248:                             (static_cast<difference_type>(rhs.val)));

249:

250:     return (diff % stride != difference_type{0})

/home/eoseret/qaas_runs_GNR/173-926-6874/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/util/Layout.hpp: 55 - 55

--------------------------------------------------------------------------------

55:     return a * b;

/home/eoseret/qaas_runs_GNR/173-926-6874/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/util/View.hpp: 79 - 110

--------------------------------------------------------------------------------

79:       : layout(V.layout), data(V.data)

[...]

110:     return data[idx];

/home/eoseret/qaas_runs_GNR/173-926-6874/intel/Kripke/build/Kripke/src/Kripke/Kernel/SweepSubdomain.cpp: 85 - 105

--------------------------------------------------------------------------------

85:         KRIPKE_LAMBDA (Direction d, Group g, ZoneK k, ZoneJ j, ZoneI i) {

86:

87:             double xcos_dxi = 2.0 * xcos(d) / dx(i);

88:             double ycos_dyj = 2.0 * ycos(d) / dy(j);

89:             double zcos_dzk = 2.0 * zcos(d) / dz(k);

90:

91:             Zone z(zone_layout(*i, *j, *k));

92:

93:             /* Calculate new zonal flux */

94:             double psi_d_g_z = (rhs(d,g,z)

95:                 + psi_lf(d, g, j, k) * xcos_dxi

96:                 + psi_fr(d, g, i, k) * ycos_dyj

97:                 + psi_bo(d, g, i, j) * zcos_dzk)

98:                 / (xcos_dxi + ycos_dyj + zcos_dzk + sigt(g, z));

99:

100:             psi(d, g, z) = psi_d_g_z;

101:

102:             /* Apply diamond-difference relationships */

103:             psi_lf(d, g, j, k) = 2.0 * psi_d_g_z - psi_lf(d, g, j, k);

104:             psi_fr(d, g, i, k) = 2.0 * psi_d_g_z - psi_fr(d, g, i, k);

105:             psi_bo(d, g, i, j) = 2.0 * psi_d_g_z - psi_bo(d, g, i, j);

/home/eoseret/qaas_runs_GNR/173-926-6874/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/policy/openmp/kernel/Collapse.hpp: 81 - 83

--------------------------------------------------------------------------------

81: #pragma omp parallel for private(i0, i1) firstprivate(privatizer) \

82:     RAJA_COLLAPSE(2)

83:     for (i0 = 0; i0 < l0; ++i0) {

0x4aac90 PUSH	%RBP

0x4aac91 MOV	%RSP,%RBP

0x4aac94 PUSH	%R15

0x4aac96 PUSH	%R14

0x4aac98 PUSH	%R13

0x4aac9a PUSH	%R12

0x4aac9c PUSH	%RBX

0x4aac9d SUB	$0x458,%RSP

0x4aaca4 MOV	%RDX,-0x2c0(%RBP)

0x4aacab MOVL	$0,-0xe0(%RBP)

0x4aacb5 MOV	(%R8),%RAX

0x4aacb8 MOV	%RAX,-0x2b8(%RBP)

0x4aacbf MOV	0x10(%R8),%RAX

0x4aacc3 MOV	%RAX,-0x2b0(%RBP)

0x4aacca MOV	0x20(%R8),%RAX

0x4aacce MOV	%RAX,-0x90(%RBP)

0x4aacd5 MOV	0x28(%R8),%RAX

0x4aacd9 MOV	%RAX,-0x198(%RBP)

0x4aace0 MOV	0x30(%R8),%R12

0x4aace4 MOV	0x38(%R8),%R15

0x4aace8 MOV	0x40(%R8),%RAX

0x4aacec MOV	%RAX,-0x48(%RBP)

0x4aacf0 MOV	0x48(%R8),%RAX

0x4aacf4 MOV	%RAX,-0x98(%RBP)

0x4aacfb MOV	0x50(%R8),%R13

0x4aacff MOV	(%RDI),%ESI

0x4aad01 MOV	%R9,-0x1b8(%RBP)

0x4aad08 MOV	0x58(%R8),%R14

0x4aad0c MOV	0x60(%R8),%RAX

0x4aad10 MOV	%RAX,-0x88(%RBP)

0x4aad17 MOV	0x68(%R8),%RAX

0x4aad1b MOV	%RAX,-0x58(%RBP)

0x4aad1f MOV	0x70(%R8),%RAX

0x4aad23 MOV	%RAX,-0x50(%RBP)

0x4aad27 MOV	0x78(%R8),%RBX

0x4aad2b MOV	0xa8(%R8),%RAX

0x4aad32 MOV	%RAX,-0x2a8(%RBP)

0x4aad39 MOV	0xd0(%R8),%RAX

0x4aad40 MOV	%RAX,-0x70(%RBP)

0x4aad44 MOV	0xf8(%R8),%RAX

0x4aad4b MOV	%RAX,-0x2a0(%RBP)

0x4aad52 MOV	0x120(%R8),%RAX

0x4aad59 MOV	%RAX,-0xd8(%RBP)

0x4aad60 MOV	0x148(%R8),%RAX

0x4aad67 MOV	%RAX,-0x298(%RBP)

0x4aad6e MOV	0x170(%R8),%RAX

0x4aad75 MOV	%RAX,-0x348(%RBP)

0x4aad7c MOV	0x190(%R8),%RAX

0x4aad83 MOV	%RAX,-0x60(%RBP)

0x4aad87 MOV	0x198(%R8),%RAX

0x4aad8e MOV	%RAX,-0x40(%RBP)

0x4aad92 MOV	0x1a0(%R8),%RAX

0x4aad99 MOV	%RAX,-0x190(%RBP)

0x4aada0 MOV	0x1f0(%R8),%RAX

0x4aada7 MOV	%RAX,-0x158(%RBP)

0x4aadae MOV	0x1f8(%R8),%RAX

0x4aadb5 MOV	%RAX,-0x150(%RBP)

0x4aadbc MOV	0x238(%R8),%RAX

0x4aadc3 MOV	%RAX,-0x188(%RBP)

0x4aadca MOV	0x260(%R8),%RAX

0x4aadd1 MOV	%RAX,-0x290(%RBP)

0x4aadd8 MOV	0x268(%R8),%RAX

0x4aaddf MOV	%RAX,-0x288(%RBP)

0x4aade6 MOV	0x278(%R8),%RAX

0x4aaded MOV	%RAX,-0x180(%RBP)

0x4aadf4 MOV	0x2c0(%R8),%RAX

0x4aadfb MOV	%RAX,-0xa0(%RBP)

0x4aae02 MOV	0x2e8(%R8),%RAX

0x4aae09 MOV	%RAX,-0x148(%RBP)

0x4aae10 MOV	0x2f0(%R8),%RAX

0x4aae17 MOV	%RAX,-0x140(%RBP)

0x4aae1e MOV	0x300(%R8),%RAX

0x4aae25 MOV	%RAX,-0x178(%RBP)

0x4aae2c MOV	0x348(%R8),%RAX

0x4aae33 MOV	%RAX,-0x170(%RBP)

0x4aae3a MOV	0x370(%R8),%RAX

0x4aae41 MOV	%RAX,-0x138(%RBP)

0x4aae48 MOV	0x378(%R8),%RAX

0x4aae4f MOV	%RAX,-0x130(%RBP)

0x4aae56 MOV	0x388(%R8),%RAX

0x4aae5d MOV	%RAX,-0x68(%RBP)

0x4aae61 MOV	0x3d0(%R8),%RAX

0x4aae68 MOV	%RAX,-0x128(%RBP)

0x4aae6f MOV	0x3e8(%R8),%RAX

0x4aae76 MOV	%RAX,-0x120(%RBP)

0x4aae7d MOV	0x418(%R8),%RAX

0x4aae84 MOV	%RAX,-0x168(%RBP)

0x4aae8b MOV	0x438(%R8),%RAX

0x4aae92 MOV	%RAX,-0x118(%RBP)

0x4aae99 MOV	0x440(%R8),%RAX

0x4aaea0 MOV	%RAX,-0x110(%RBP)

0x4aaea7 MOV	0x480(%R8),%RAX

0x4aaeae MOV	%RAX,-0x160(%RBP)

0x4aaeb5 MOVQ	$0,-0x1c0(%RBP)

0x4aaec0 MOVQ	$0x1,-0x3b8(%RBP)

0x4aaecb SUB	$0x8,%RSP

0x4aaecf LEA	-0x3b8(%RBP),%RAX

0x4aaed6 LEA	0xb3fb3(%RIP),%RDI

0x4aaedd LEA	-0xe0(%RBP),%RCX

0x4aaee4 LEA	-0x1c0(%RBP),%R8

0x4aaeeb LEA	-0x1b8(%RBP),%R9

0x4aaef2 MOV	%ESI,-0xdc(%RBP)

0x4aaef8 MOV	$0x22,%EDX

0x4aaefd PUSH	$0x1

0x4aaeff PUSH	$0x1

0x4aaf01 PUSH	%RAX

0x4aaf02 CALL	403140 <__kmpc_for_static_init_8@plt>

0x4aaf07 ADD	$0x20,%RSP

0x4aaf0b MOV	-0x1c0(%RBP),%RAX

0x4aaf12 MOV	-0x1b8(%RBP),%RCX

0x4aaf19 MOV	%RAX,-0x108(%RBP)

0x4aaf20 CMP	%RCX,%RAX

0x4aaf23 JA	4abd80

0x4aaf29 MOV	%RCX,%RDI

0x4aaf2c SUB	-0x90(%RBP),%R12

0x4aaf33 MOV	%R12,%RCX

0x4aaf36 OR	%R15,%RCX

0x4aaf39 SHR	$0x20,%RCX

0x4aaf3d JE	4aaf80

0x4aaf3f MOV	%R12,%RAX

0x4aaf42 CQTO

0x4aaf44 IDIV	%R15

0x4aaf47 MOV	%RAX,%R8

0x4aaf4a CMP	$0x1,%RDX

0x4aaf4e SBB	$-0x1,%R8

0x4aaf52 TEST	%R8,%R8

0x4aaf55 JG	4aaf9c

0x4aaf57 JMP	4abd80

0x4aaf5c NOPW	%CS:(%RAX,%RAX,1)

0x4aaf6b NOPW	%CS:(%RAX,%RAX,1)

0x4aaf7a NOPW	(%RAX,%RAX,1)

0x4aaf80 MOV	%R12D,%EAX

0x4aaf83 XOR	%EDX,%EDX

0x4aaf85 DIV	%R15D

0x4aaf88 MOV	%EAX,%R8D

0x4aaf8b CMP	$0x1,%RDX

0x4aaf8f SBB	$-0x1,%R8

0x4aaf93 TEST	%R8,%R8

0x4aaf96 JLE	4abd80

0x4aaf9c SUB	-0x48(%RBP),%R13

0x4aafa0 MOV	%R13,%RCX

0x4aafa3 OR	%R14,%RCX

0x4aafa6 SHR	$0x20,%RCX

0x4aafaa JE	4aafc0

0x4aafac MOV	%R13,%RAX

0x4aafaf CQTO

0x4aafb1 IDIV	%R14

0x4aafb4 MOV	%RDX,%R10

0x4aafb7 MOV	%RAX,%R11

0x4aafba JMP	4aafce

0x4aafbc NOPL	(%RAX)

0x4aafc0 MOV	%R13D,%EAX

0x4aafc3 XOR	%EDX,%EDX

0x4aafc5 DIV	%R14D

0x4aafc8 MOV	%EDX,%R10D

0x4aafcb MOV	%EAX,%R11D

0x4aafce CMP	$0x1,%R10

0x4aafd2 MOV	%R11,%RCX

0x4aafd5 SBB	$-0x1,%RCX

0x4aafd9 MOV	%RCX,-0xd0(%RBP)

0x4aafe0 TEST	%RCX,%RCX

0x4aafe3 JLE	4abd80

0x4aafe9 MOV	-0x108(%RBP),%RSI

0x4aaff0 LEA	0x1(%RSI),%RCX

0x4aaff4 INC	%RDI

0x4aaff7 CMP	%RDI,%RCX

0x4aaffa CMOVG	%RCX,%RDI

0x4aaffe MOV	%RDI,-0x100(%RBP)

0x4ab005 NOT	%RSI

0x4ab008 MOV	-0x50(%RBP),%RDX

0x4ab00c SUB	-0x88(%RBP),%RDX

0x4ab013 MOV	%RDX,%RCX

0x4ab016 OR	%RBX,%RCX

0x4ab019 SHR	$0x20,%RCX

0x4ab01d JE	4ab040

0x4ab01f MOV	%RDX,%RAX

0x4ab022 CQTO

0x4ab024 IDIV	%RBX

0x4ab027 JMP	4ab046

0x4ab029 NOPW	%CS:(%RAX,%RAX,1)

0x4ab038 NOPL	(%RAX,%RAX,1)

0x4ab040 MOV	%EDX,%EAX

0x4ab042 XOR	%EDX,%EDX

0x4ab044 DIV	%EBX

0x4ab046 MOV	%RAX,-0x38(%RBP)

0x4ab04a MOV	-0x58(%RBP),%RAX

0x4ab04e ADD	%RSI,-0x100(%RBP)

0x4ab055 DEC	%R8

0x4ab058 MOV	%R8,-0x340(%RBP)

0x4ab05f MOV	-0x98(%RBP),%R9

0x4ab066 MOV	%R9,%RCX

0x4ab069 IMUL	-0x68(%RBP),%RCX

0x4ab06e MOV	%RCX,-0xc8(%RBP)

0x4ab075 MOV	%RCX,%R8

0x4ab078 SAR	$0x3f,%R8

0x4ab07c XOR	%ESI,%ESI

0x4ab07e TEST	%RCX,%RCX

0x4ab081 MOV	$0,%EDI

0x4ab086 CMOVG	%RCX,%RDI

0x4ab08a MOV	%RDI,-0x78(%RBP)

0x4ab08e TEST	%R10,%R10

0x4ab091 CMOVNE	%RSI,%RDI

0x4ab095 MOV	%RDI,-0x278(%RBP)

0x4ab09c AND	%RCX,%R8

0x4ab09f MOV	%R8,-0x80(%RBP)

0x4ab0a3 TEST	%R10,%R10

0x4ab0a6 MOV	%R8,%RDI

0x4ab0a9 CMOVNE	%RSI,%RDI

0x4ab0ad MOV	%RDI,-0x270(%RBP)

0x4ab0b4 MOV	%R9,%RCX

0x4ab0b7 IMUL	-0x40(%RBP),%RCX

0x4ab0bc MOV	%RCX,-0xc0(%RBP)

0x4ab0c3 TEST	%RCX,%RCX

0x4ab0c6 MOV	$0,%EBX

0x4ab0cb CMOVG	%RCX,%RBX

0x4ab0cf TEST	%R10,%R10

0x4ab0d2 MOV	%RBX,%RSI

0x4ab0d5 CMOVE	%R10,%RSI

0x4ab0d9 MOV	%RSI,-0x30(%RBP)

0x4ab0dd MOV	%RCX,%RDI

0x4ab0e0 SAR	$0x3f,%RDI

0x4ab0e4 AND	%RCX,%RDI

0x4ab0e7 TEST	%R10,%R10

0x4ab0ea MOV	%RDI,%RSI

0x4ab0ed CMOVE	%R10,%RSI

0x4ab0f1 TEST	%R9,%R9

0x4ab0f4 MOV	$0,%ECX

0x4ab0f9 CMOVG	%R9,%RCX

0x4ab0fd MOV	%RCX,-0xf0(%RBP)

0x4ab104 TEST	%R10,%R10

0x4ab107 CMOVE	%R10,%RCX

0x4ab10b MOV	%RCX,-0xe8(%RBP)

0x4ab112 MOV	%R9,%R13

0x4ab115 SAR	$0x3f,%R13

0x4ab119 AND	%R9,%R13

0x4ab11c TEST	%R10,%R10

0x4ab11f CMOVNE	%R13,%R10

0x4ab123 MOV	%R10,-0xf8(%RBP)

0x4ab12a MOV	%RAX,%RCX

0x4ab12d IMUL	-0x60(%RBP),%RCX

0x4ab132 MOV	%RCX,-0x50(%RBP)

0x4ab136 MOV	%RCX,%R12

0x4ab139 SAR	$0x3f,%R12

0x4ab13d TEST	%RCX,%RCX

0x4ab140 MOV	$0,%R14D

0x4ab146 CMOVG	%RCX,%R14

0x4ab14a TEST	%RDX,%RDX

0x4ab14d MOV	%R14,%R8

0x4ab150 CMOVE	%RDX,%R8

0x4ab154 AND	%RCX,%R12

0x4ab157 TEST	%RDX,%RDX

0x4ab15a MOV	%RAX,%R15

0x4ab15d MOV	%R12,%RAX

0x4ab160 CMOVE	%RDX,%RAX

0x4ab164 TEST	%R15,%R15

0x4ab167 MOV	$0,%R9D

0x4ab16d CMOVG	%R15,%R9

0x4ab171 TEST	%RDX,%RDX

0x4ab174 MOV	%R9,%RCX

0x4ab177 CMOVE	%RDX,%RCX

0x4ab17b MOV	%R15,%R10

0x4ab17e SAR	$0x3f,%R10

0x4ab182 AND	%R15,%R10

0x4ab185 XOR	%R15D,%R15D

0x4ab188 TEST	%RDX,%RDX

0x4ab18b SETNE	%R15B

0x4ab18f CMOVNE	%R10,%RDX

0x4ab193 ADD	%RSI,%RAX

0x4ab196 MOV	%R11,%RSI

0x4ab199 IMUL	%RDI,%RSI

0x4ab19d MOV	%RSI,-0x318(%RBP)

0x4ab1a4 ADD	%R12,%RDI

0x4ab1a7 SUB	%RDI,%RAX

0x4ab1aa MOV	%RAX,-0x320(%RBP)

0x4ab1b1 ADD	-0x30(%RBP),%R8

0x4ab1b5 MOV	%R11,%RAX

0x4ab1b8 IMUL	%RBX,%RAX

0x4ab1bc MOV	%RAX,-0x310(%RBP)

0x4ab1c3 ADD	%R14,%RBX

0x4ab1c6 SUB	%RBX,%R8

0x4ab1c9 MOV	%R8,-0x328(%RBP)

0x4ab1d0 MOV	%RDX,%RSI

0x4ab1d3 MOV	-0x88(%RBP),%RBX

0x4ab1da MOV	%RBX,%RDX

0x4ab1dd SUB	%R10,%RDX

0x4ab1e0 ADD	%RSI,%RDX

0x4ab1e3 SUB	%R10,%RSI

0x4ab1e6 MOV	-0x38(%RBP),%RDI

0x4ab1ea IMUL	%RDI,%R10

0x4ab1ee ADD	%R10,%RDX

0x4ab1f1 ADD	%R10,%RSI

0x4ab1f4 MOV	%RSI,-0x280(%RBP)

0x4ab1fb MOV	-0xf8(%RBP),%RAX

0x4ab202 MOV	%RBX,%RSI

0x4ab205 SUB	%R9,%RSI

0x4ab208 ADD	%RCX,%RSI

0x4ab20b SUB	%R9,%RCX

0x4ab20e IMUL	%RDI,%R9

0x4ab212 ADD	%R9,%RSI

0x4ab215 ADD	%R9,%RCX

0x4ab218 MOV	%RCX,-0x260(%RBP)

0x4ab21f IMUL	%RDI,%R12

0x4ab223 MOV	%R12,-0x338(%RBP)

0x4ab22a IMUL	%RDI,%R14

0x4ab22e MOV	%R14,-0x330(%RBP)

0x4ab235 MOV	%RAX,%R14

0x4ab238 ADD	%RDI,%R15

0x4ab23b MOV	%R15,-0x30(%RBP)

0x4ab23f MOV	-0x60(%RBP),%R15

0x4ab243 IMUL	%RBX,%R15

0x4ab247 MOV	-0x48(%RBP),%R8

0x4ab24b MOV	-0x40(%RBP),%R10

0x4ab24f IMUL	%R8,%R10

0x4ab253 MOV	-0x90(%RBP),%RDI

0x4ab25a MOV	%RDI,%RAX

0x4ab25d MOV	-0x190(%RBP),%R9

0x4ab264 IMUL	%R9,%RAX

0x4ab268 LEA	(%RAX,%R15,1),%RCX

0x4ab26c ADD	%R10,%RCX

0x4ab26f MOV	%RCX,-0x258(%RBP)

0x4ab276 SAL	$0x3,%R10

0x4ab27a LEA	(%R10,%RAX,8),%RAX

0x4ab27e LEA	(%RAX,%R15,8),%R15

0x4ab282 MOV	-0x70(%RBP),%R12

0x4ab286 LEA	(%R12,%RDX,8),%RAX

0x4ab28a MOV	%RAX,-0x308(%RBP)

0x4ab291 XOR	%EDX,%EDX

0x4ab293 LEA	(%R12,%RSI,8),%RAX

0x4ab297 MOV	%RAX,-0x300(%RBP)

0x4ab29e MOV	%R8,%RAX

0x4ab2a1 SUB	%R13,%RAX

0x4ab2a4 ADD	%R14,%RAX

0x4ab2a7 MOV	%R11,%RCX

0x4ab2aa MOV	%R13,-0x268(%RBP)

0x4ab2b1 IMUL	%R13,%RCX

0x4ab2b5 MOV	%RCX,-0x248(%RBP)

0x4ab2bc ADD	%RCX,%RAX

0x4ab2bf MOV	-0xd8(%RBP),%RSI

0x4ab2c6 LEA	(%RSI,%RAX,8),%RAX

0x4ab2ca MOV	%RAX,-0x2f8(%RBP)

0x4ab2d1 MOV	%R8,%RAX

0x4ab2d4 MOV	-0xf0(%RBP),%R13

0x4ab2db SUB	%R13,%RAX

0x4ab2de ADD	-0xe8(%RBP),%RAX

0x4ab2e5 MOV	-0x80(%RBP),%RCX

0x4ab2e9 IMUL	%R11,%RCX

0x4ab2ed MOV	%RCX,-0x80(%RBP)

0x4ab2f1 MOV	-0x78(%RBP),%RCX

0x4ab2f5 IMUL	%R11,%RCX

0x4ab2f9 MOV	%RCX,-0x78(%RBP)

0x4ab2fd IMUL	%R13,%R11

0x4ab301 MOV	%R11,-0x240(%RBP)

0x4ab308 ADD	%R11,%RAX

0x4ab30b LEA	(%RSI,%RAX,8),%RAX

0x4ab30f MOV	%RAX,-0x2f0(%RBP)

0x4ab316 MOV	%RDI,%RAX

0x4ab319 IMUL	-0x180(%RBP),%RAX

0x4ab321 MOV	%RAX,-0x238(%RBP)

0x4ab328 MOV	-0x178(%RBP),%RCX

0x4ab32f IMUL	%RCX,%RDI

0x4ab333 MOV	-0x68(%RBP),%RSI

0x4ab337 IMUL	%R8,%RSI

0x4ab33b DECQ	-0xd0(%RBP)

0x4ab342 LEA	(,%RBX,8),%RAX

0x4ab34a MOV	%RSI,-0x68(%RBP)

0x4ab34e LEA	(%RAX,%RSI,8),%RSI

0x4ab352 ADD	-0x128(%RBP),%RSI

0x4ab359 MOV	%RSI,-0x228(%RBP)

0x4ab360 SALQ	$0x3,-0xc8(%RBP)

0x4ab368 SALQ	$0x3,-0x58(%RBP)

0x4ab36d MOV	%RDI,-0x230(%RBP)

0x4ab374 LEA	(%RAX,%RDI,8),%RAX

0x4ab378 ADD	-0x170(%RBP),%RAX

0x4ab37f MOV	%RAX,-0x220(%RBP)

0x4ab386 MOV	-0x198(%RBP),%RAX

0x4ab38d IMUL	%RAX,%RCX

0x4ab391 SAL	$0x3,%RCX

0x4ab395 MOV	%RCX,-0x2e8(%RBP)

0x4ab39c IMUL	%RAX,%R9

0x4ab3a0 SAL	$0x3,%R9

0x4ab3a4 MOV	%R9,-0x2e0(%RBP)

0x4ab3ab SALQ	$0x3,-0xc0(%RBP)

0x4ab3b3 SALQ	$0x3,-0x50(%RBP)

0x4ab3b8 LEA	(%R12,%RBX,8),%RAX

0x4ab3bc MOV	%RAX,-0x70(%RBP)

0x4ab3c0 MOV	-0x160(%RBP),%RAX

0x4ab3c7 ADD	%R15,%RAX

0x4ab3ca MOV	%RAX,-0x218(%RBP)

0x4ab3d1 MOV	-0x168(%RBP),%RAX

0x4ab3d8 ADD	%R15,%RAX

0x4ab3db MOV	%RAX,-0x210(%RBP)

0x4ab3e2 ADD	-0x188(%RBP),%R15

0x4ab3e9 MOV	%R15,-0x250(%RBP)

0x4ab3f0 MOV	-0x130(%RBP),%RAX

0x4ab3f7 LEA	(,%RAX,8),%RAX

0x4ab3ff MOV	%RAX,-0x208(%RBP)

0x4ab406 MOV	-0x138(%RBP),%RAX

0x4ab40d LEA	(,%RAX,8),%RAX

0x4ab415 MOV	%RAX,-0x200(%RBP)

0x4ab41c MOV	-0x140(%RBP),%RAX

0x4ab423 LEA	(,%RAX,8),%RAX

0x4ab42b MOV	%RAX,-0x1f8(%RBP)

0x4ab432 MOV	-0x148(%RBP),%RAX

0x4ab439 LEA	(,%RAX,8),%RAX

0x4ab441 MOV	%RAX,-0x1f0(%RBP)

0x4ab448 MOV	-0x118(%RBP),%RAX

0x4ab44f LEA	(,%RAX,8),%RAX

0x4ab457 MOV	%RAX,-0x1e8(%RBP)

0x4ab45e MOV	-0x110(%RBP),%RAX

0x4ab465 LEA	(,%RAX,8),%RAX

0x4ab46d MOV	%RAX,-0x1e0(%RBP)

0x4ab474 MOV	-0x120(%RBP),%RAX

0x4ab47b LEA	(,%RAX,8),%RAX

0x4ab483 MOV	%RAX,-0x1d8(%RBP)

0x4ab48a MOV	-0x150(%RBP),%RAX

0x4ab491 LEA	(,%RAX,8),%RAX

0x4ab499 MOV	%RAX,-0x1d0(%RBP)

0x4ab4a0 MOV	-0x158(%RBP),%RAX

0x4ab4a7 LEA	(,%RAX,8),%RAX

0x4ab4af MOV	%RAX,-0x1c8(%RBP)

0x4ab4b6 JMP	4ab4d8

0x4ab4b8 NOPL	(%RAX,%RAX,1)

(1427) 0x4ab4c0 MOV	-0x2c8(%RBP),%RDX

(1427) 0x4ab4c7 CMP	-0x100(%RBP),%RDX

(1427) 0x4ab4ce LEA	0x1(%RDX),%RDX

(1427) 0x4ab4d2 JE	4abd80

(1427) 0x4ab4d8 MOV	-0x108(%RBP),%RAX

(1427) 0x4ab4df ADD	%RDX,%RAX

(1427) 0x4ab4e2 MOV	%RAX,%RCX

(1427) 0x4ab4e5 MOV	-0x2c0(%RBP),%RSI

(1427) 0x4ab4ec OR	%RSI,%RCX

(1427) 0x4ab4ef SHR	$0x20,%RCX

(1427) 0x4ab4f3 MOV	%RDX,-0x2c8(%RBP)

(1427) 0x4ab4fa JE	4ab540

(1427) 0x4ab4fc CQTO

(1427) 0x4ab4fe IDIV	%RSI

(1427) 0x4ab501 MOV	%RAX,%RBX

(1427) 0x4ab504 JMP	4ab546

0x4ab506 NOPW	%CS:(%RAX,%RAX,1)

0x4ab515 NOPW	%CS:(%RAX,%RAX,1)

0x4ab524 NOPW	%CS:(%RAX,%RAX,1)

0x4ab533 NOPW	%CS:(%RAX,%RAX,1)

(1427) 0x4ab540 XOR	%EDX,%EDX

(1427) 0x4ab542 DIV	%ESI

(1427) 0x4ab544 MOV	%EAX,%EBX

(1427) 0x4ab546 ADD	-0x2b0(%RBP),%RDX

(1427) 0x4ab54d ADD	-0x2b8(%RBP),%RBX

(1427) 0x4ab554 MOV	-0x2a8(%RBP),%RAX

(1427) 0x4ab55b LEA	(%RAX,%RBX,8),%R9

(1427) 0x4ab55f MOV	-0x2a0(%RBP),%RAX

(1427) 0x4ab566 LEA	(%RAX,%RBX,8),%R11

(1427) 0x4ab56a MOV	-0x288(%RBP),%RAX

(1427) 0x4ab571 IMUL	%RDX,%RAX

(1427) 0x4ab575 ADD	-0x48(%RBP),%RAX

(1427) 0x4ab579 ADD	-0x238(%RBP),%RAX

(1427) 0x4ab580 MOV	-0x290(%RBP),%RDI

(1427) 0x4ab587 IMUL	%RBX,%RDI

(1427) 0x4ab58b ADD	%RAX,%RDI

(1427) 0x4ab58e MOV	-0x150(%RBP),%RCX

(1427) 0x4ab595 IMUL	%RDX,%RCX

(1427) 0x4ab599 MOV	-0x158(%RBP),%RAX

(1427) 0x4ab5a0 IMUL	%RBX,%RAX

(1427) 0x4ab5a4 MOV	-0x258(%RBP),%R8

(1427) 0x4ab5ab ADD	%R8,%RCX

(1427) 0x4ab5ae ADD	%RAX,%RCX

(1427) 0x4ab5b1 MOV	%RCX,-0x390(%RBP)

(1427) 0x4ab5b8 MOV	-0x140(%RBP),%R10

(1427) 0x4ab5bf IMUL	%RDX,%R10

(1427) 0x4ab5c3 MOV	-0x88(%RBP),%RCX

(1427) 0x4ab5ca ADD	%RCX,%R10

(1427) 0x4ab5cd MOV	-0x148(%RBP),%RAX

(1427) 0x4ab5d4 IMUL	%RBX,%RAX

(1427) 0x4ab5d8 ADD	-0x230(%RBP),%R10

(1427) 0x4ab5df ADD	%RAX,%R10

(1427) 0x4ab5e2 MOV	-0x130(%RBP),%RAX

(1427) 0x4ab5e9 IMUL	%RDX,%RAX

(1427) 0x4ab5ed ADD	%RCX,%RAX

(1427) 0x4ab5f0 MOV	-0x138(%RBP),%RCX

(1427) 0x4ab5f7 IMUL	%RBX,%RCX

(1427) 0x4ab5fb ADD	-0x68(%RBP),%RAX

(1427) 0x4ab5ff ADD	%RCX,%RAX

(1427) 0x4ab602 MOV	-0x120(%RBP),%RSI

(1427) 0x4ab609 IMUL	%RDX,%RSI

(1427) 0x4ab60d MOV	-0x110(%RBP),%RCX

(1427) 0x4ab614 IMUL	%RDX,%RCX

(1427) 0x4ab618 ADD	%R8,%RCX

(1427) 0x4ab61b MOV	-0x118(%RBP),%R15

(1427) 0x4ab622 IMUL	%RBX,%R15

(1427) 0x4ab626 ADD	%RCX,%R15

(1427) 0x4ab629 MOV	%R15,-0x378(%RBP)

(1427) 0x4ab630 MOV	-0x208(%RBP),%RCX

(1427) 0x4ab637 IMUL	%RDX,%RCX

(1427) 0x4ab63b MOV	-0x200(%RBP),%R13

(1427) 0x4ab642 IMUL	%RBX,%R13

(1427) 0x4ab646 ADD	%RCX,%R13

(1427) 0x4ab649 MOV	-0x1f8(%RBP),%RCX

(1427) 0x4ab650 IMUL	%RDX,%RCX

(1427) 0x4ab654 MOV	-0x1f0(%RBP),%R15

(1427) 0x4ab65b IMUL	%RBX,%R15

(1427) 0x4ab65f ADD	%RCX,%R15

(1427) 0x4ab662 MOV	-0x1e8(%RBP),%RCX

(1427) 0x4ab669 IMUL	%RBX,%RCX

(1427) 0x4ab66d MOV	-0x1e0(%RBP),%R14

(1427) 0x4ab674 IMUL	%RDX,%R14

(1427) 0x4ab678 ADD	%RCX,%R14

(1427) 0x4ab67b MOV	-0x1d8(%RBP),%R12

(1427) 0x4ab682 IMUL	%RDX,%R12

(1427) 0x4ab686 IMUL	-0x1d0(%RBP),%RDX

(1427) 0x4ab68e MOV	-0x298(%RBP),%RCX

(1427) 0x4ab695 LEA	(%RCX,%RBX,8),%RCX

(1427) 0x4ab699 MOV	%RCX,-0xa8(%RBP)

(1427) 0x4ab6a0 IMUL	-0x1c8(%RBP),%RBX

(1427) 0x4ab6a8 ADD	%RDX,%RBX

(1427) 0x4ab6ab MOV	%RDI,%RCX

(1427) 0x4ab6ae SUB	-0x268(%RBP),%RCX

(1427) 0x4ab6b5 ADD	-0xf8(%RBP),%RCX

(1427) 0x4ab6bc ADD	-0x248(%RBP),%RCX

(1427) 0x4ab6c3 MOV	%RCX,-0x370(%RBP)

(1427) 0x4ab6ca MOV	%RDI,-0x1a0(%RBP)

(1427) 0x4ab6d1 SUB	-0xf0(%RBP),%RDI

(1427) 0x4ab6d8 ADD	-0xe8(%RBP),%RDI

(1427) 0x4ab6df ADD	-0x240(%RBP),%RDI

(1427) 0x4ab6e6 MOV	%RDI,-0x368(%RBP)

(1427) 0x4ab6ed MOV	-0x280(%RBP),%RDX

(1427) 0x4ab6f4 LEA	(%RDX,%R10,1),%RCX

(1427) 0x4ab6f8 MOV	%RCX,-0x360(%RBP)

(1427) 0x4ab6ff MOV	-0x260(%RBP),%RDI

(1427) 0x4ab706 ADD	%RDI,%R10

(1427) 0x4ab709 MOV	%R10,-0x388(%RBP)

(1427) 0x4ab710 LEA	(%RDX,%RAX,1),%RCX

(1427) 0x4ab714 SUB	-0x270(%RBP),%RCX

(1427) 0x4ab71b ADD	-0x80(%RBP),%RCX

(1427) 0x4ab71f MOV	-0x128(%RBP),%RDX

(1427) 0x4ab726 LEA	(%RDX,%RCX,8),%RCX

(1427) 0x4ab72a MOV	%RCX,-0x358(%RBP)

(1427) 0x4ab731 ADD	%RDI,%RAX

(1427) 0x4ab734 SUB	-0x278(%RBP),%RAX

(1427) 0x4ab73b ADD	-0x78(%RBP),%RAX

(1427) 0x4ab73f LEA	(%RDX,%RAX,8),%RAX

(1427) 0x4ab743 MOV	%RAX,-0x350(%RBP)

(1427) 0x4ab74a ADD	%R8,%RSI

(1427) 0x4ab74d MOV	%RSI,-0x380(%RBP)

(1427) 0x4ab754 ADD	-0x220(%RBP),%R15

(1427) 0x4ab75b ADD	-0x218(%RBP),%R14

(1427) 0x4ab762 ADD	-0x210(%RBP),%R12

(1427) 0x4ab769 ADD	-0x250(%RBP),%RBX

(1427) 0x4ab770 MOV	-0x228(%RBP),%RAX

(1427) 0x4ab777 LEA	(%RAX,%R13,1),%RCX

(1427) 0x4ab77b MOV	%RCX,-0x2d8(%RBP)

(1427) 0x4ab782 ADD	%RAX,%R13

(1427) 0x4ab785 MOV	%R13,-0x2d0(%RBP)

(1427) 0x4ab78c XOR	%R13D,%R13D

(1427) 0x4ab78f MOV	%R9,-0xb0(%RBP)

(1427) 0x4ab796 MOV	%R11,-0x40(%RBP)

(1427) 0x4ab79a JMP	4ab819

0x4ab79c NOPW	%CS:(%RAX,%RAX,1)

0x4ab7ab NOPW	%CS:(%RAX,%RAX,1)

0x4ab7ba NOPW	(%RAX,%RAX,1)

  (1428) 0x4ab7c0 MOV	-0xb8(%RBP),%R15

  (1428) 0x4ab7c7 ADD	-0x2e8(%RBP),%R15

  (1428) 0x4ab7ce MOV	-0x2e0(%RBP),%RAX

  (1428) 0x4ab7d5 MOV	-0x3a8(%RBP),%R14

  (1428) 0x4ab7dc ADD	%RAX,%R14

  (1428) 0x4ab7df MOV	-0x3a0(%RBP),%R12

  (1428) 0x4ab7e6 ADD	%RAX,%R12

  (1428) 0x4ab7e9 MOV	-0x3b0(%RBP),%RBX

  (1428) 0x4ab7f0 ADD	%RAX,%RBX

  (1428) 0x4ab7f3 MOV	-0x340(%RBP),%RAX

  (1428) 0x4ab7fa MOV	-0x398(%RBP),%R13

  (1428) 0x4ab801 CMP	%RAX,%R13

  (1428) 0x4ab804 LEA	0x1(%R13),%R13

  (1428) 0x4ab808 MOV	-0xb0(%RBP),%R9

  (1428) 0x4ab80f MOV	-0x40(%RBP),%R11

  (1428) 0x4ab813 JE	4ab4c0

  (1428) 0x4ab819 MOV	%R15,-0xb8(%RBP)

  (1428) 0x4ab820 MOV	%R9,-0x478(%RBP)

  (1428) 0x4ab827 MOV	%R9,-0x470(%RBP)

  (1428) 0x4ab82e MOV	-0x308(%RBP),%RAX

  (1428) 0x4ab835 MOV	%RAX,-0x468(%RBP)

  (1428) 0x4ab83c MOV	-0x300(%RBP),%RAX

  (1428) 0x4ab843 MOV	%RAX,-0x460(%RBP)

  (1428) 0x4ab84a MOV	%R11,-0x458(%RBP)

  (1428) 0x4ab851 MOV	%R11,-0x450(%RBP)

  (1428) 0x4ab858 MOV	-0x2f8(%RBP),%RAX

  (1428) 0x4ab85f MOV	%RAX,-0x448(%RBP)

  (1428) 0x4ab866 MOV	-0x2f0(%RBP),%RAX

  (1428) 0x4ab86d MOV	%RAX,-0x440(%RBP)

  (1428) 0x4ab874 MOV	-0xa8(%RBP),%RAX

  (1428) 0x4ab87b MOV	%RAX,-0x438(%RBP)

  (1428) 0x4ab882 MOV	%RAX,-0x430(%RBP)

  (1428) 0x4ab889 MOV	-0x198(%RBP),%RCX

  (1428) 0x4ab890 IMUL	%R13,%RCX

  (1428) 0x4ab894 MOV	-0x90(%RBP),%RAX

  (1428) 0x4ab89b ADD	%RCX,%RAX

  (1428) 0x4ab89e MOV	-0x348(%RBP),%RDX

  (1428) 0x4ab8a5 LEA	(%RDX,%RAX,8),%RAX

  (1428) 0x4ab8a9 MOV	%RAX,-0x1b0(%RBP)

  (1428) 0x4ab8b0 MOV	%RAX,-0x428(%RBP)

  (1428) 0x4ab8b7 MOV	%RAX,-0x420(%RBP)

  (1428) 0x4ab8be MOV	%RCX,%RSI

  (1428) 0x4ab8c1 IMUL	-0x180(%RBP),%RSI

  (1428) 0x4ab8c9 MOV	-0x370(%RBP),%RAX

  (1428) 0x4ab8d0 ADD	%RSI,%RAX

  (1428) 0x4ab8d3 MOV	-0xa0(%RBP),%RDX

  (1428) 0x4ab8da LEA	(%RDX,%RAX,8),%RAX

  (1428) 0x4ab8de MOV	%RAX,-0x418(%RBP)

  (1428) 0x4ab8e5 MOV	-0x368(%RBP),%RAX

  (1428) 0x4ab8ec MOV	%RSI,-0x1a8(%RBP)

  (1428) 0x4ab8f3 ADD	%RSI,%RAX

  (1428) 0x4ab8f6 LEA	(%RDX,%RAX,8),%RAX

  (1428) 0x4ab8fa MOV	%RAX,-0x410(%RBP)

  (1428) 0x4ab901 MOV	%RCX,%RAX

  (1428) 0x4ab904 IMUL	-0x190(%RBP),%RAX

  (1428) 0x4ab90c MOV	-0x320(%RBP),%RDX

  (1428) 0x4ab913 ADD	%RAX,%RDX

  (1428) 0x4ab916 ADD	-0x318(%RBP),%RDX

  (1428) 0x4ab91d ADD	-0x338(%RBP),%RDX

  (1428) 0x4ab924 MOV	-0x390(%RBP),%R8

  (1428) 0x4ab92b LEA	(%RDX,%R8,1),%RSI

  (1428) 0x4ab92f MOV	-0x188(%RBP),%RDI

  (1428) 0x4ab936 LEA	(%RDI,%RSI,8),%RSI

  (1428) 0x4ab93a MOV	%RSI,-0x408(%RBP)

  (1428) 0x4ab941 ADD	-0x328(%RBP),%RAX

  (1428) 0x4ab948 ADD	-0x310(%RBP),%RAX

  (1428) 0x4ab94f ADD	-0x330(%RBP),%RAX

  (1428) 0x4ab956 LEA	(%RAX,%R8,1),%RSI

  (1428) 0x4ab95a LEA	(%RDI,%RSI,8),%RSI

  (1428) 0x4ab95e MOV	%RSI,-0x400(%RBP)

  (1428) 0x4ab965 IMUL	-0x178(%RBP),%RCX

  (1428) 0x4ab96d MOV	-0x360(%RBP),%RSI

  (1428) 0x4ab974 ADD	%RCX,%RSI

  (1428) 0x4ab977 MOV	-0x170(%RBP),%RDI

  (1428) 0x4ab97e LEA	(%RDI,%RSI,8),%RSI

  (1428) 0x4ab982 MOV	%RSI,-0x3f8(%RBP)

  (1428) 0x4ab989 ADD	-0x388(%RBP),%RCX

  (1428) 0x4ab990 LEA	(%RDI,%RCX,8),%RCX

  (1428) 0x4ab994 MOV	%RCX,-0x3f0(%RBP)

  (1428) 0x4ab99b MOV	-0x358(%RBP),%RCX

  (1428) 0x4ab9a2 MOV	%RCX,-0x3e8(%RBP)

  (1428) 0x4ab9a9 MOV	-0x350(%RBP),%RCX

  (1428) 0x4ab9b0 MOV	%RCX,-0x3e0(%RBP)

  (1428) 0x4ab9b7 MOV	-0x380(%RBP),%RDI

  (1428) 0x4ab9be LEA	(%RDX,%RDI,1),%RCX

  (1428) 0x4ab9c2 MOV	-0x168(%RBP),%RSI

  (1428) 0x4ab9c9 LEA	(%RSI,%RCX,8),%RCX

  (1428) 0x4ab9cd MOV	%RCX,-0x3d8(%RBP)

  (1428) 0x4ab9d4 LEA	(%RAX,%RDI,1),%RCX

  (1428) 0x4ab9d8 LEA	(%RSI,%RCX,8),%RCX

  (1428) 0x4ab9dc MOV	%RCX,-0x3d0(%RBP)

  (1428) 0x4ab9e3 MOV	-0x378(%RBP),%RDI

  (1428) 0x4ab9ea ADD	%RDI,%RDX

  (1428) 0x4ab9ed MOV	-0x160(%RBP),%RSI

  (1428) 0x4ab9f4 LEA	(%RSI,%RDX,8),%RCX

  (1428) 0x4ab9f8 MOV	%RCX,-0x3c8(%RBP)

  (1428) 0x4ab9ff ADD	%RDI,%RAX

  (1428) 0x4aba02 LEA	(%RSI,%RAX,8),%RAX

  (1428) 0x4aba06 MOV	%RAX,-0x3c0(%RBP)

  (1428) 0x4aba0d MOV	$0xc,%ESI

  (1428) 0x4aba12 LEA	-0x478(%RBP),%RDI

  (1428) 0x4aba19 CALL	50d710 <__intel_rtdd_indep>

  (1428) 0x4aba1e TEST	%RAX,%RAX

  (1428) 0x4aba21 MOV	%RBX,-0x3b0(%RBP)

  (1428) 0x4aba28 MOV	%R14,-0x3a8(%RBP)

  (1428) 0x4aba2f MOV	%R12,-0x3a0(%RBP)

  (1428) 0x4aba36 MOV	%R13,-0x398(%RBP)

  (1428) 0x4aba3d JE	4abc00

  (1428) 0x4aba43 MOV	-0x2d8(%RBP),%RSI

  (1428) 0x4aba4a MOVQ	$0,-0x38(%RBP)

  (1428) 0x4aba52 JMP	4abab7

0x4aba54 NOPW	%CS:(%RAX,%RAX,1)

0x4aba63 NOPW	%CS:(%RAX,%RAX,1)

0x4aba72 NOPW	%CS:(%RAX,%RAX,1)

    (1431) 0x4aba80 ADD	-0xc8(%RBP),%RSI

    (1431) 0x4aba87 MOV	-0xc0(%RBP),%RDI

    (1431) 0x4aba8e ADD	%RDI,%RAX

    (1431) 0x4aba91 ADD	%RDI,%R12

    (1431) 0x4aba94 MOV	-0x60(%RBP),%RBX

    (1431) 0x4aba98 ADD	%RDI,%RBX

    (1431) 0x4aba9b MOV	%RAX,%R14

    (1431) 0x4aba9e MOV	-0x38(%RBP),%RAX

    (1431) 0x4abaa2 CMP	-0xd0(%RBP),%RAX

    (1431) 0x4abaa9 LEA	0x1(%RAX),%RAX

    (1431) 0x4abaad MOV	%RAX,-0x38(%RBP)

    (1431) 0x4abab1 JE	4ab7c0

    (1431) 0x4abab7 MOV	%RBX,-0x60(%RBP)

    (1431) 0x4ababb CMPQ	$0,-0x30(%RBP)

    (1431) 0x4abac0 MOV	-0xa0(%RBP),%RBX

    (1431) 0x4abac7 MOV	-0xb0(%RBP),%RDX

    (1431) 0x4abace MOV	%R14,%RAX

    (1431) 0x4abad1 MOV	-0xa8(%RBP),%R15

    (1431) 0x4abad8 MOV	-0xb8(%RBP),%R13

    (1431) 0x4abadf MOV	-0x1b0(%RBP),%RDI

    (1431) 0x4abae6 JLE	4aba80

    (1431) 0x4abae8 MOV	-0x98(%RBP),%R8

    (1431) 0x4abaef IMUL	-0x38(%RBP),%R8

    (1431) 0x4abaf4 MOV	-0x48(%RBP),%R9

    (1431) 0x4abaf8 ADD	%R8,%R9

    (1431) 0x4abafb ADD	-0x1a8(%RBP),%R8

    (1431) 0x4abb02 ADD	-0x1a0(%RBP),%R8

    (1431) 0x4abb09 XOR	%R10D,%R10D

    (1431) 0x4abb0c XOR	%R11D,%R11D

    (1431) 0x4abb0f MOV	-0x30(%RBP),%R14

    (1431) 0x4abb13 NOPW	%CS:(%RAX,%RAX,1)

      (1432) 0x4abb20 VMOVSD	(%RDX),%XMM0

      (1432) 0x4abb24 VADDSD	%XMM0,%XMM0,%XMM0

      (1432) 0x4abb28 MOV	-0x70(%RBP),%RCX

      (1432) 0x4abb2c VDIVSD	(%RCX,%R11,1),%XMM0,%XMM0

      (1432) 0x4abb32 MOV	-0x40(%RBP),%RCX

      (1432) 0x4abb36 VMOVSD	(%RCX),%XMM1

      (1432) 0x4abb3a VMOVHPD	(%R15),%XMM1,%XMM1

      (1432) 0x4abb3f VADDPD	%XMM1,%XMM1,%XMM1

      (1432) 0x4abb43 MOV	-0xd8(%RBP),%RCX

      (1432) 0x4abb4a VMOVSD	(%RCX,%R9,8),%XMM2

      (1432) 0x4abb50 VMOVHPD	(%RDI),%XMM2,%XMM2

      (1432) 0x4abb54 VDIVPD	%XMM2,%XMM1,%XMM1

      (1432) 0x4abb58 VMOVSD	(%RBX,%R8,8),%XMM2

      (1432) 0x4abb5e MOV	%RAX,%RCX

      (1432) 0x4abb61 MOV	%R12,%RAX

      (1432) 0x4abb64 MOV	-0x60(%RBP),%R12

      (1432) 0x4abb68 VFMADD213SD	(%R12,%R10,1),%XMM0,%XMM2

      (1432) 0x4abb6e MOV	%RAX,%R12

      (1432) 0x4abb71 MOV	%RCX,%RAX

      (1432) 0x4abb74 VFMADD231SD	(%R13,%R11,1),%XMM1,%XMM2

      (1432) 0x4abb7b VSHUFPD	$0x1,%XMM1,%XMM1,%XMM3

      (1432) 0x4abb80 VFMADD231SD	(%RSI,%R11,1),%XMM3,%XMM2

      (1432) 0x4abb86 VADDSD	%XMM0,%XMM1,%XMM0

      (1432) 0x4abb8a VADDSD	(%R12,%R10,1),%XMM3,%XMM1

      (1432) 0x4abb90 VADDSD	%XMM0,%XMM1,%XMM0

      (1432) 0x4abb94 VDIVSD	%XMM0,%XMM2,%XMM0

      (1432) 0x4abb98 VMOVSD	%XMM0,(%RCX,%R10,1)

      (1432) 0x4abb9e VADDSD	%XMM0,%XMM0,%XMM0

      (1432) 0x4abba2 VSUBSD	(%RBX,%R8,8),%XMM0,%XMM1

      (1432) 0x4abba8 VMOVSD	%XMM1,(%RBX,%R8,8)

      (1432) 0x4abbae VSUBSD	(%R13,%R11,1),%XMM0,%XMM1

      (1432) 0x4abbb5 VMOVSD	%XMM1,(%R13,%R11,1)

      (1432) 0x4abbbc VSUBSD	(%RSI,%R11,1),%XMM0,%XMM0

      (1432) 0x4abbc2 VMOVSD	%XMM0,(%RSI,%R11,1)

      (1432) 0x4abbc8 ADD	-0x58(%RBP),%R11

      (1432) 0x4abbcc ADD	-0x50(%RBP),%R10

      (1432) 0x4abbd0 DEC	%R14

      (1432) 0x4abbd3 JNE	4abb20

    (1431) 0x4abbd9 JMP	4aba80

0x4abbde NOPW	%CS:(%RAX,%RAX,1)

0x4abbed NOPW	%CS:(%RAX,%RAX,1)

0x4abbfc NOPL	(%RAX)

  (1428) 0x4abc00 MOV	%RBX,%RAX

  (1428) 0x4abc03 MOV	%R12,%RCX

  (1428) 0x4abc06 MOV	%R14,%RDX

  (1428) 0x4abc09 MOV	-0x2d0(%RBP),%RSI

  (1428) 0x4abc10 XOR	%EDI,%EDI

  (1428) 0x4abc12 JMP	4abc68

0x4abc14 NOPW	%CS:(%RAX,%RAX,1)

0x4abc23 NOPW	%CS:(%RAX,%RAX,1)

0x4abc32 NOPW	%CS:(%RAX,%RAX,1)

    (1429) 0x4abc40 ADD	-0xc8(%RBP),%RSI

    (1429) 0x4abc47 MOV	-0xc0(%RBP),%R8

    (1429) 0x4abc4e ADD	%R8,%RDX

    (1429) 0x4abc51 ADD	%R8,%RCX

    (1429) 0x4abc54 ADD	%R8,%RAX

    (1429) 0x4abc57 CMP	-0xd0(%RBP),%RDI

    (1429) 0x4abc5e LEA	0x1(%RDI),%RDI

    (1429) 0x4abc62 JE	4ab7c0

    (1429) 0x4abc68 CMPQ	$0,-0x30(%RBP)

    (1429) 0x4abc6d JLE	4abc40

    (1429) 0x4abc6f MOV	-0xb0(%RBP),%R8

    (1429) 0x4abc76 VMOVSD	(%R8),%XMM1

    (1429) 0x4abc7b MOV	-0x98(%RBP),%R8

    (1429) 0x4abc82 IMUL	%RDI,%R8

    (1429) 0x4abc86 MOV	-0x48(%RBP),%R9

    (1429) 0x4abc8a ADD	%R8,%R9

    (1429) 0x4abc8d ADD	-0x1a8(%RBP),%R8

    (1429) 0x4abc94 ADD	-0x1a0(%RBP),%R8

    (1429) 0x4abc9b MOV	-0xa0(%RBP),%RBX

    (1429) 0x4abca2 VMOVSD	(%RBX,%R8,8),%XMM0

    (1429) 0x4abca8 MOV	-0x40(%RBP),%R10

    (1429) 0x4abcac VMOVSD	(%R10),%XMM2

    (1429) 0x4abcb1 MOV	-0xa8(%RBP),%R10

    (1429) 0x4abcb8 VMOVHPD	(%R10),%XMM2,%XMM2

    (1429) 0x4abcbd MOV	-0xd8(%RBP),%R10

    (1429) 0x4abcc4 VMOVSD	(%R10,%R9,8),%XMM3

    (1429) 0x4abcca MOV	-0x1b0(%RBP),%R9

    (1429) 0x4abcd1 VMOVHPD	(%R9),%XMM3,%XMM3

    (1429) 0x4abcd6 VADDSD	%XMM1,%XMM1,%XMM1

    (1429) 0x4abcda VADDPD	%XMM2,%XMM2,%XMM2

    (1429) 0x4abcde VDIVPD	%XMM3,%XMM2,%XMM2

    (1429) 0x4abce2 VSHUFPD	$0x1,%XMM2,%XMM2,%XMM3

    (1429) 0x4abce7 VADDSD	%XMM3,%XMM2,%XMM4

    (1429) 0x4abceb XOR	%R9D,%R9D

    (1429) 0x4abcee XOR	%R10D,%R10D

    (1429) 0x4abcf1 MOV	-0x30(%RBP),%R11

    (1429) 0x4abcf5 MOV	-0x58(%RBP),%R14

    (1429) 0x4abcf9 MOV	-0x50(%RBP),%R12

    (1429) 0x4abcfd MOV	-0x70(%RBP),%R13

    (1429) 0x4abd01 MOV	-0xb8(%RBP),%R15

    (1429) 0x4abd08 NOPL	(%RAX,%RAX,1)

      (1430) 0x4abd10 VDIVSD	(%R13,%R10,1),%XMM1,%XMM5

      (1430) 0x4abd17 VMOVSD	(%RAX,%R9,1),%XMM6

      (1430) 0x4abd1d VMOVSD	(%R15,%R10,1),%XMM7

      (1430) 0x4abd23 VFMADD231SD	%XMM5,%XMM0,%XMM6

      (1430) 0x4abd28 VMOVSD	(%RSI,%R10,1),%XMM8

      (1430) 0x4abd2e VADDSD	%XMM5,%XMM4,%XMM5

      (1430) 0x4abd32 VADDSD	(%RCX,%R9,1),%XMM5,%XMM5

      (1430) 0x4abd38 VFMADD231SD	%XMM2,%XMM7,%XMM6

      (1430) 0x4abd3d VFMADD231SD	%XMM3,%XMM8,%XMM6

      (1430) 0x4abd42 VDIVSD	%XMM5,%XMM6,%XMM5

      (1430) 0x4abd46 VADDSD	%XMM5,%XMM5,%XMM6

      (1430) 0x4abd4a VSUBSD	%XMM7,%XMM6,%XMM7

      (1430) 0x4abd4e VMOVSD	%XMM5,(%RDX,%R9,1)

      (1430) 0x4abd54 VMOVSD	%XMM7,(%R15,%R10,1)

      (1430) 0x4abd5a VSUBSD	%XMM0,%XMM6,%XMM0

      (1430) 0x4abd5e VSUBSD	%XMM8,%XMM6,%XMM5

      (1430) 0x4abd63 VMOVSD	%XMM5,(%RSI,%R10,1)

      (1430) 0x4abd69 ADD	%R14,%R10

      (1430) 0x4abd6c ADD	%R12,%R9

      (1430) 0x4abd6f DEC	%R11

      (1430) 0x4abd72 JNE	4abd10

    (1429) 0x4abd74 VMOVSD	%XMM0,(%RBX,%R8,8)

    (1429) 0x4abd7a JMP	4abc40

0x4abd7f NOP

0x4abd80 LEA	0xb3129(%RIP),%RDI

0x4abd87 MOV	-0xdc(%RBP),%ESI

0x4abd8d ADD	$0x458,%RSP

0x4abd94 POP	%RBX

0x4abd95 POP	%R12

0x4abd97 POP	%R13

0x4abd99 POP	%R14

0x4abd9b POP	%R15

0x4abd9d POP	%RBP

0x4abd9e JMP	403050

0x4abda3 NOPW	%CS:(%RAX,%RAX,1)

Coverage (%)	Name	Source Location	Module
►100.00+	__kmp_invoke_microtask		libiomp5.so
○	__kmp_invoke_task_func		libiomp5.so

Path /

Average path: Display a virtual path defined by average values of all real paths

The code analyzed by CQA in that panel excludes loops and represents 0.00% of application time for run icx_1

Source file and lines	Collapse.hpp:81-83
Module	exec

The function is defined in:

/home/eoseret/qaas_runs_GNR/173-926-6874/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/policy/loop/forall.hpp:59
/home/eoseret/qaas_runs_GNR/173-926-6874/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/internal/Iterators.hpp:55,177,207,247-250
/home/eoseret/qaas_runs_GNR/173-926-6874/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/util/Layout.hpp:55
/home/eoseret/qaas_runs_GNR/173-926-6874/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/util/View.hpp:79,110
/home/eoseret/qaas_runs_GNR/173-926-6874/intel/Kripke/build/Kripke/src/Kripke/Kernel/SweepSubdomain.cpp:85-105
/home/eoseret/qaas_runs_GNR/173-926-6874/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/policy/openmp/kernel/Collapse.hpp:81-83

Warnings:
Ignoring paths for analysis

gain
potential
hint
expert

Vectorization

Your function is not vectorized. Only 12% of vector register length is used (average across all SSE/AVX instructions). By vectorizing your function, you can lower the cost of an iteration from 80.50 to 19.50 cycles (4.13x speedup).

Details

All SSE/AVX instructions are used in scalar version (process only one data element in vector registers). Since your execution units are vector units, only a vectorized function can use their full power.

Workaround

Try another compiler or update/tune your current one
Make array accesses unit-stride:
- If your function streams arrays of structures (AoS), try to use structures of arrays instead (SoA): for(i) a[i].x = b[i].x; (slow, non stride 1) => for(i) a.x[i] = b.x[i]; (fast, stride 1)

Execution units bottlenecks

Found no such bottlenecks but see expert reports for more complex bottlenecks.

No data for this section

CALL instructions

Detected function call instructions.

Details

Calling (and then returning from) a function prevents many compiler optimizations (like vectorization), breaks control flow (which reduces pipeline performance) and executes extra instructions to save/restore the registers used inside it, which is very expensive (dozens of cycles). Consider to inline small functions.

__kmpc_for_static_init_8@plt: 1 occurrences►
- /home/eoseret/qaas_runs_GNR/173-926-6874/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/policy/openmp/kernel/Collapse.hpp:81

Complex instructions

Detected COMPLEX INSTRUCTIONS.

Details

These instructions generate more than one micro-operation and only one of them can be decoded during a cycle and the extra micro-operations increase pressure on execution units.

ADD: 1 occurrences►
- /home/eoseret/qaas_runs_GNR/173-926-6874/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/policy/loop/forall.hpp:59
DEC: 1 occurrences►
- /home/eoseret/qaas_runs_GNR/173-926-6874/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/policy/loop/forall.hpp:59
DIV: 3 occurrences►
- /home/eoseret/qaas_runs_GNR/173-926-6874/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/internal/Iterators.hpp:250
- /home/eoseret/qaas_runs_GNR/173-926-6874/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/internal/Iterators.hpp:250
- /home/eoseret/qaas_runs_GNR/173-926-6874/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/internal/Iterators.hpp:250
IDIV: 3 occurrences►
- /home/eoseret/qaas_runs_GNR/173-926-6874/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/internal/Iterators.hpp:250
- /home/eoseret/qaas_runs_GNR/173-926-6874/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/internal/Iterators.hpp:250
- /home/eoseret/qaas_runs_GNR/173-926-6874/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/internal/Iterators.hpp:250
SAL: 4 occurrences►
- /home/eoseret/qaas_runs_GNR/173-926-6874/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/policy/loop/forall.hpp:59
- /home/eoseret/qaas_runs_GNR/173-926-6874/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/policy/loop/forall.hpp:59
- /home/eoseret/qaas_runs_GNR/173-926-6874/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/policy/loop/forall.hpp:59
- /home/eoseret/qaas_runs_GNR/173-926-6874/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/policy/loop/forall.hpp:59

Conversion instructions

Detected expensive conversion instructions.

Details

CQTO: 3 occurrences►
- /home/eoseret/qaas_runs_GNR/173-926-6874/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/internal/Iterators.hpp:250
- /home/eoseret/qaas_runs_GNR/173-926-6874/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/internal/Iterators.hpp:250
- /home/eoseret/qaas_runs_GNR/173-926-6874/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/internal/Iterators.hpp:250

Workaround

Avoid mixing data with different types. In particular, check if the type of constants is the same as array elements.

Type of elements and instruction set

No instructions are processing arithmetic or math operations on FP elements. This function is probably writing/copying data or processing integer elements.

Matching between your function (in the source code) and the binary function

The binary function does not contain any FP arithmetical operations. The binary function is loading 760 bytes. The binary function is storing 832 bytes.

General properties

nb instructions	450
nb uops	483
loop length	2361
used x86 registers	16
used mmx registers	0
used xmm registers	0
used ymm registers	0
used zmm registers	0
nb stack references	93

Front-end

MACRO FUSION NOT POSSIBLE FIT IN UOP CACHE

micro-operation queue	80.50 cycles
front end	80.50 cycles

Back-end

	P0	P1	P2	P3	P4	P5	P6	P7	P8	P9	P10	P11
uops	29.70	39.00	34.00	34.00	57.50	29.80	29.70	57.50	57.50	57.50	29.80	34.00
cycles	29.70	53.80	34.00	34.00	57.50	29.80	29.70	57.50	57.50	57.50	29.80	34.00

Execution ports to units layout:

P0 (256 bits): VPU, BRU, ALU, DIV/SQRT
P1 (256 bits): ALU, VPU
P2 (512 bits): load
P3 (512 bits): load
P4 (512 bits): store data
P5 (512 bits): ALU, VPU
P6: ALU, BRU
P7: store address
P8: store address
P9 (512 bits): store data
P10: ALU
P11 (512 bits): load

Cycles executing div or sqrt instructions

48.00

Cycles summary

Front-end	80.50
Dispatch	57.50
DIV/SQRT	48.00
Overall L1	80.50

Vectorization ratios

all	0%
load	0%
store	0%
mul	0%
add-sub	0%
fma	NA (no fma vectorizable/vectorized instructions)
div/sqrt	0%
other	0%

Vector efficiency ratios

all	12%
load	12%
store	12%
mul	12%
add-sub	12%
fma	NA (no fma vectorizable/vectorized instructions)
div/sqrt	9%
other	12%

Cycles and memory resources usage

Assuming all data fit into the L1 cache, each call to the function takes 80.50 cycles. At this rate:

4% of peak load performance is reached (9.44 out of 192.00 bytes loaded per cycle (GB/s @ 1GHz))
8% of peak store performance is reached (10.34 out of 128.00 bytes stored per cycle (GB/s @ 1GHz))

Front-end bottlenecks

Performance is limited by instruction throughput (loading/decoding program instructions to execution core) (front-end is a bottleneck). By removing all these bottlenecks, you can lower the cost of an iteration from 80.50 to 57.50 cycles (1.40x speedup).

ASM code

In the binary file, the address of the function is: 4aac90

Instruction	Nb FU	P0	P1	P2	P3	P4	P5	P6	P7	P8	P9	P10	P11	Latency	Recip. throughput	Vectorization
PUSH %RBP	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	5-12	0.50	N/A
MOV %RSP,%RBP	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
PUSH %R15	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	5-12	0.50	N/A
PUSH %R14	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	5-12	0.50	N/A
PUSH %R13	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	5-12	0.50	N/A
PUSH %R12	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	5-12	0.50	N/A
PUSH %RBX	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	5-12	0.50	N/A
SUB $0x458,%RSP	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	N/A
MOV %RDX,-0x2c0(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOVL $0,-0xe0(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (6.3%)
MOV (%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x2b8(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x10(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x2b0(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x20(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x90(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x28(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x198(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x30(%R8),%R12	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV 0x38(%R8),%R15	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV 0x40(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x48(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x48(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x98(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x50(%R8),%R13	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	scal (12.5%)
MOV (%RDI),%ESI	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %R9,-0x1b8(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x58(%R8),%R14	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	scal (12.5%)
MOV 0x60(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x88(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x68(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x58(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x70(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x50(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x78(%R8),%RBX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV 0xa8(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x2a8(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0xd0(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x70(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0xf8(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x2a0(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x120(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0xd8(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x148(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x298(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x170(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x348(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x190(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x60(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x198(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x40(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x1a0(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x190(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x1f0(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x158(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x1f8(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x150(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x238(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x188(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x260(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x290(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x268(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x288(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x278(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x180(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x2c0(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0xa0(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x2e8(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x148(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x2f0(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x140(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x300(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x178(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x348(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x170(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x370(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x138(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x378(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x130(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x388(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x68(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x3d0(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x128(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x3e8(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x120(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x418(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x168(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x438(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x118(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x440(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x110(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x480(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x160(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOVQ $0,-0x1c0(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (6.3%)
MOVQ $0x1,-0x3b8(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (6.3%)
SUB $0x8,%RSP	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
LEA -0x3b8(%RBP),%RAX	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
LEA 0xb3fb3(%RIP),%RDI	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
LEA -0xe0(%RBP),%RCX	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
LEA -0x1c0(%RBP),%R8	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
LEA -0x1b8(%RBP),%R9	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
MOV %ESI,-0xdc(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (6.3%)
MOV $0x22,%EDX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	N/A
PUSH $0x1	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	5-12	0.50	N/A
PUSH $0x1	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	5-12	0.50	N/A
PUSH %RAX	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	5-12	0.50	N/A
CALL 403140 <__kmpc_for_static_init_8@plt>	2	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	0	1	N/A
ADD $0x20,%RSP	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
MOV -0x1c0(%RBP),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV -0x1b8(%RBP),%RCX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	scal (12.5%)
MOV %RAX,-0x108(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
CMP %RCX,%RAX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	scal (12.5%)
JA 4abd80 <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE9SweepSdomJRNS_4Core9DataStoreERNS_6SdomIdEEEEvT_RKT0_DpOT1_.extracted+0x10f0>	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	0	0.50	N/A
MOV %RCX,%RDI	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
SUB -0x90(%RBP),%R12	1	0.20	0.20	0.33	0.33	0	0.20	0.20	0	0	0	0.20	0.33	1	0.33	N/A
MOV %R12,%RCX	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	scal (12.5%)
OR %R15,%RCX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1-2	0.20	scal (12.5%)
SHR $0x20,%RCX	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	0-2	0.50	scal (12.5%)
JE 4aaf80 <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE9SweepSdomJRNS_4Core9DataStoreERNS_6SdomIdEEEEvT_RKT0_DpOT1_.extracted+0x2f0>	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	0	0.50	N/A
MOV %R12,%RAX	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
CQTO	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	1	0.50	scal (12.5%)
IDIV %R15	5	0	3	0	0	0	0	0	0	0	0	0	0	11-16	10	scal (12.5%)
MOV %RAX,%R8	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
CMP $0x1,%RDX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	scal (12.5%)
SBB $-0x1,%R8	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	1	0.50	N/A
TEST %R8,%R8	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	2	0.20	scal (12.5%)
JG 4aaf9c <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE9SweepSdomJRNS_4Core9DataStoreERNS_6SdomIdEEEEvT_RKT0_DpOT1_.extracted+0x30c>	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	0	0.50	N/A
JMP 4abd80 <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE9SweepSdomJRNS_4Core9DataStoreERNS_6SdomIdEEEEvT_RKT0_DpOT1_.extracted+0x10f0>	1	0	0	0	0	0	0	0	0	0	0	0	0	0	2.08	N/A
NOPW %CS:(%RAX,%RAX,1)	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
NOPW %CS:(%RAX,%RAX,1)	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
NOPW (%RAX,%RAX,1)	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
MOV %R12D,%EAX	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
XOR %EDX,%EDX	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
DIV %R15D	4	0	3	0	0	0	0	0	0	0	0	0	0	11-16	6	scal (6.3%)
MOV %EAX,%R8D	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
CMP $0x1,%RDX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	scal (12.5%)
SBB $-0x1,%R8	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	1	0.50	N/A
TEST %R8,%R8	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	2	0.20	scal (12.5%)
JLE 4abd80 <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE9SweepSdomJRNS_4Core9DataStoreERNS_6SdomIdEEEEvT_RKT0_DpOT1_.extracted+0x10f0>	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	0	0.50	N/A
SUB -0x48(%RBP),%R13	1	0.20	0.20	0.33	0.33	0	0.20	0.20	0	0	0	0.20	0.33	1	0.33	scal (12.5%)
MOV %R13,%RCX	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	scal (12.5%)
OR %R14,%RCX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1-2	0.20	scal (12.5%)
SHR $0x20,%RCX	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	0-2	0.50	scal (12.5%)
JE 4aafc0 <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE9SweepSdomJRNS_4Core9DataStoreERNS_6SdomIdEEEEvT_RKT0_DpOT1_.extracted+0x330>	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	0	0.50	N/A
MOV %R13,%RAX	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
CQTO	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	1	0.50	scal (12.5%)
IDIV %R14	5	0	3	0	0	0	0	0	0	0	0	0	0	11-16	10	scal (12.5%)
MOV %RDX,%R10	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
MOV %RAX,%R11	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	scal (12.5%)
JMP 4aafce <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE9SweepSdomJRNS_4Core9DataStoreERNS_6SdomIdEEEEvT_RKT0_DpOT1_.extracted+0x33e>	1	0	0	0	0	0	0	0	0	0	0	0	0	0	5.84	N/A
NOPL (%RAX)	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
MOV %R13D,%EAX	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
XOR %EDX,%EDX	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
DIV %R14D	4	0	3	0	0	0	0	0	0	0	0	0	0	11-16	6	scal (6.3%)
MOV %EDX,%R10D	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
MOV %EAX,%R11D	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	scal (6.3%)
CMP $0x1,%R10	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	scal (12.5%)
MOV %R11,%RCX	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	scal (12.5%)
SBB $-0x1,%RCX	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	1	0.50	scal (12.5%)
MOV %RCX,-0xd0(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
TEST %RCX,%RCX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	2	0.20	scal (12.5%)
JLE 4abd80 <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE9SweepSdomJRNS_4Core9DataStoreERNS_6SdomIdEEEEvT_RKT0_DpOT1_.extracted+0x10f0>	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	0	0.50	N/A
MOV -0x108(%RBP),%RSI	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
LEA 0x1(%RSI),%RCX	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
INC %RDI	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
CMP %RDI,%RCX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	scal (12.5%)
CMOVG %RCX,%RDI	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	1	0.50	N/A
MOV %RDI,-0x100(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
NOT %RSI	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	N/A
MOV -0x50(%RBP),%RDX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
SUB -0x88(%RBP),%RDX	1	0.20	0.20	0.33	0.33	0	0.20	0.20	0	0	0	0.20	0.33	1	0.33	N/A
MOV %RDX,%RCX	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	scal (12.5%)
OR %RBX,%RCX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1-2	0.20	scal (12.5%)
SHR $0x20,%RCX	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	0-2	0.50	scal (12.5%)
JE 4ab040 <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE9SweepSdomJRNS_4Core9DataStoreERNS_6SdomIdEEEEvT_RKT0_DpOT1_.extracted+0x3b0>	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	0	0.50	N/A
MOV %RDX,%RAX	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
CQTO	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	1	0.50	scal (12.5%)
IDIV %RBX	5	0	3	0	0	0	0	0	0	0	0	0	0	11-16	10	scal (12.5%)
JMP 4ab046 <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE9SweepSdomJRNS_4Core9DataStoreERNS_6SdomIdEEEEvT_RKT0_DpOT1_.extracted+0x3b6>	1	0	0	0	0	0	0	0	0	0	0	0	0	0	5.84	N/A
NOPW %CS:(%RAX,%RAX,1)	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
NOPL (%RAX,%RAX,1)	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
MOV %EDX,%EAX	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
XOR %EDX,%EDX	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
DIV %EBX	4	0	3	0	0	0	0	0	0	0	0	0	0	11-16	6	scal (6.3%)
MOV %RAX,-0x38(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV -0x58(%RBP),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
ADD %RSI,-0x100(%RBP)	2	0.20	0.20	0.33	0.33	0.50	0.20	0.20	0.50	0.50	0.50	0.20	0.33	1	0.50	scal (12.5%)
DEC %R8	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
MOV %R8,-0x340(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV -0x98(%RBP),%R9	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	scal (12.5%)
MOV %R9,%RCX	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	scal (12.5%)
IMUL -0x68(%RBP),%RCX	1	0	1	0.33	0.33	0	0	0	0	0	0	0	0.33	3	1	scal (12.5%)
MOV %RCX,-0xc8(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV %RCX,%R8	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
SAR $0x3f,%R8	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	0-2	0.50	N/A
XOR %ESI,%ESI	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
TEST %RCX,%RCX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	2	0.20	scal (12.5%)
MOV $0,%EDI	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	N/A
CMOVG %RCX,%RDI	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	1	0.50	N/A
MOV %RDI,-0x78(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
TEST %R10,%R10	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	2	0.20	scal (12.5%)
CMOVNE %RSI,%RDI	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	1	0.50	N/A
MOV %RDI,-0x278(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
AND %RCX,%R8	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1-2	0.20	N/A
MOV %R8,-0x80(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
TEST %R10,%R10	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	2	0.20	scal (12.5%)
MOV %R8,%RDI	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
CMOVNE %RSI,%RDI	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	1	0.50	N/A
MOV %RDI,-0x270(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV %R9,%RCX	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	scal (12.5%)
IMUL -0x40(%RBP),%RCX	1	0	1	0.33	0.33	0	0	0	0	0	0	0	0.33	3	1	scal (12.5%)
MOV %RCX,-0xc0(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
TEST %RCX,%RCX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	2	0.20	scal (12.5%)
MOV $0,%EBX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	N/A
CMOVG %RCX,%RBX	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	1	0.50	N/A
TEST %R10,%R10	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	2	0.20	scal (12.5%)
MOV %RBX,%RSI	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
CMOVE %R10,%RSI	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	1	0.50	N/A
MOV %RSI,-0x30(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV %RCX,%RDI	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
SAR $0x3f,%RDI	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	0-2	0.50	N/A
AND %RCX,%RDI	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1-2	0.20	N/A
TEST %R10,%R10	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	2	0.20	scal (12.5%)
MOV %RDI,%RSI	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
CMOVE %R10,%RSI	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	1	0.50	N/A
TEST %R9,%R9	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	2	0.20	scal (12.5%)
MOV $0,%ECX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	scal (6.3%)
CMOVG %R9,%RCX	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	1	0.50	scal (12.5%)
MOV %RCX,-0xf0(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
TEST %R10,%R10	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	2	0.20	scal (12.5%)
CMOVE %R10,%RCX	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	1	0.50	scal (12.5%)
MOV %RCX,-0xe8(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV %R9,%R13	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	scal (12.5%)
SAR $0x3f,%R13	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	0-2	0.50	scal (12.5%)
AND %R9,%R13	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1-2	0.20	scal (12.5%)
TEST %R10,%R10	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	2	0.20	scal (12.5%)
CMOVNE %R13,%R10	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	1	0.50	N/A
MOV %R10,-0xf8(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV %RAX,%RCX	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	scal (12.5%)
IMUL -0x60(%RBP),%RCX	1	0	1	0.33	0.33	0	0	0	0	0	0	0	0.33	3	1	scal (12.5%)
MOV %RCX,-0x50(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV %RCX,%R12	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
SAR $0x3f,%R12	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	0-2	0.50	N/A
TEST %RCX,%RCX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	2	0.20	scal (12.5%)
MOV $0,%R14D	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	scal (6.3%)
CMOVG %RCX,%R14	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	1	0.50	scal (12.5%)
TEST %RDX,%RDX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	2	0.20	scal (12.5%)
MOV %R14,%R8	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
CMOVE %RDX,%R8	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	1	0.50	N/A
AND %RCX,%R12	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1-2	0.20	N/A
TEST %RDX,%RDX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	2	0.20	scal (12.5%)
MOV %RAX,%R15	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
MOV %R12,%RAX	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
CMOVE %RDX,%RAX	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	1	0.50	N/A
TEST %R15,%R15	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	2	0.20	scal (12.5%)
MOV $0,%R9D	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	scal (6.3%)
CMOVG %R15,%R9	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	1	0.50	scal (12.5%)
TEST %RDX,%RDX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	2	0.20	scal (12.5%)
MOV %R9,%RCX	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	scal (12.5%)
CMOVE %RDX,%RCX	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	1	0.50	scal (12.5%)
MOV %R15,%R10	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
SAR $0x3f,%R10	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	0-2	0.50	N/A
AND %R15,%R10	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1-2	0.20	N/A
XOR %R15D,%R15D	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
TEST %RDX,%RDX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	2	0.20	scal (12.5%)
SETNE %R15B	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	1	0.50	N/A
CMOVNE %R10,%RDX	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	1	0.50	N/A
ADD %RSI,%RAX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	N/A
MOV %R11,%RSI	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
IMUL %RDI,%RSI	1	0	1	0	0	0	0	0	0	0	0	0	0	3	1	N/A
MOV %RSI,-0x318(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
ADD %R12,%RDI	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	N/A
SUB %RDI,%RAX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	N/A
MOV %RAX,-0x320(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
ADD -0x30(%RBP),%R8	1	0.20	0.20	0.33	0.33	0	0.20	0.20	0	0	0	0.20	0.33	1	0.33	N/A
MOV %R11,%RAX	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
IMUL %RBX,%RAX	1	0	1	0	0	0	0	0	0	0	0	0	0	3	1	N/A
MOV %RAX,-0x310(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
ADD %R14,%RBX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	N/A
SUB %RBX,%R8	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	N/A
MOV %R8,-0x328(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV %RDX,%RSI	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
MOV -0x88(%RBP),%RBX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RBX,%RDX	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
SUB %R10,%RDX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	N/A
ADD %RSI,%RDX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	N/A
SUB %R10,%RSI	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	N/A
MOV -0x38(%RBP),%RDI	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
IMUL %RDI,%R10	1	0	1	0	0	0	0	0	0	0	0	0	0	3	1	N/A
ADD %R10,%RDX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	N/A
ADD %R10,%RSI	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	N/A
MOV %RSI,-0x280(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV -0xf8(%RBP),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RBX,%RSI	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
SUB %R9,%RSI	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	N/A
ADD %RCX,%RSI	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	N/A
SUB %R9,%RCX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	scal (12.5%)
IMUL %RDI,%R9	1	0	1	0	0	0	0	0	0	0	0	0	0	3	1	scal (12.5%)
ADD %R9,%RSI	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	N/A
ADD %R9,%RCX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	scal (12.5%)
MOV %RCX,-0x260(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
IMUL %RDI,%R12	1	0	1	0	0	0	0	0	0	0	0	0	0	3	1	N/A
MOV %R12,-0x338(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
IMUL %RDI,%R14	1	0	1	0	0	0	0	0	0	0	0	0	0	3	1	scal (12.5%)
MOV %R14,-0x330(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV %RAX,%R14	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	scal (12.5%)
ADD %RDI,%R15	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	N/A
MOV %R15,-0x30(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV -0x60(%RBP),%R15	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
IMUL %RBX,%R15	1	0	1	0	0	0	0	0	0	0	0	0	0	3	1	N/A
MOV -0x48(%RBP),%R8	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV -0x40(%RBP),%R10	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
IMUL %R8,%R10	1	0	1	0	0	0	0	0	0	0	0	0	0	3	1	N/A
MOV -0x90(%RBP),%RDI	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RDI,%RAX	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
MOV -0x190(%RBP),%R9	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	scal (12.5%)
IMUL %R9,%RAX	1	0	1	0	0	0	0	0	0	0	0	0	0	3	1	N/A
LEA (%RAX,%R15,1),%RCX	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
ADD %R10,%RCX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	scal (12.5%)
MOV %RCX,-0x258(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
SAL $0x3,%R10	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	0-2	0.50	N/A
LEA (%R10,%RAX,8),%RAX	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
LEA (%RAX,%R15,8),%R15	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
MOV -0x70(%RBP),%R12	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
LEA (%R12,%RDX,8),%RAX	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
MOV %RAX,-0x308(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
XOR %EDX,%EDX	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
LEA (%R12,%RSI,8),%RAX	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
MOV %RAX,-0x300(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV %R8,%RAX	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
SUB %R13,%RAX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	N/A
ADD %R14,%RAX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	N/A
MOV %R11,%RCX	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	scal (12.5%)
MOV %R13,-0x268(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
IMUL %R13,%RCX	1	0	1	0	0	0	0	0	0	0	0	0	0	3	1	scal (12.5%)
MOV %RCX,-0x248(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
ADD %RCX,%RAX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	N/A
MOV -0xd8(%RBP),%RSI	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
LEA (%RSI,%RAX,8),%RAX	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
MOV %RAX,-0x2f8(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV %R8,%RAX	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
MOV -0xf0(%RBP),%R13	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	scal (12.5%)
SUB %R13,%RAX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	N/A
ADD -0xe8(%RBP),%RAX	1	0.20	0.20	0.33	0.33	0	0.20	0.20	0	0	0	0.20	0.33	1	0.33	N/A
MOV -0x80(%RBP),%RCX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	scal (12.5%)
IMUL %R11,%RCX	1	0	1	0	0	0	0	0	0	0	0	0	0	3	1	scal (12.5%)
MOV %RCX,-0x80(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV -0x78(%RBP),%RCX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	scal (12.5%)
IMUL %R11,%RCX	1	0	1	0	0	0	0	0	0	0	0	0	0	3	1	scal (12.5%)
MOV %RCX,-0x78(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
IMUL %R13,%R11	1	0	1	0	0	0	0	0	0	0	0	0	0	3	1	scal (12.5%)
MOV %R11,-0x240(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
ADD %R11,%RAX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	N/A
LEA (%RSI,%RAX,8),%RAX	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
MOV %RAX,-0x2f0(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV %RDI,%RAX	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
IMUL -0x180(%RBP),%RAX	1	0	1	0.33	0.33	0	0	0	0	0	0	0	0.33	3	1	N/A
MOV %RAX,-0x238(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV -0x178(%RBP),%RCX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	scal (12.5%)
IMUL %RCX,%RDI	1	0	1	0	0	0	0	0	0	0	0	0	0	3	1	N/A
MOV -0x68(%RBP),%RSI	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
IMUL %R8,%RSI	1	0	1	0	0	0	0	0	0	0	0	0	0	3	1	N/A
DECQ -0xd0(%RBP)	3	0.20	0.20	0.33	0.33	0.50	0.20	0.20	0.50	0.50	0.50	0.20	0.33	1	0.50	scal (12.5%)
LEA (,%RBX,8),%RAX	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
MOV %RSI,-0x68(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
LEA (%RAX,%RSI,8),%RSI	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
ADD -0x128(%RBP),%RSI	1	0.20	0.20	0.33	0.33	0	0.20	0.20	0	0	0	0.20	0.33	1	0.33	N/A
MOV %RSI,-0x228(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
SALQ $0x3,-0xc8(%RBP)	3	0.50	0	0.33	0.33	0.50	0	0.50	0.50	0.50	0.50	0	0.33	0-2	0.50	scal (12.5%)
SALQ $0x3,-0x58(%RBP)	3	0.50	0	0.33	0.33	0.50	0	0.50	0.50	0.50	0.50	0	0.33	0-2	0.50	scal (12.5%)
MOV %RDI,-0x230(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
LEA (%RAX,%RDI,8),%RAX	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
ADD -0x170(%RBP),%RAX	1	0.20	0.20	0.33	0.33	0	0.20	0.20	0	0	0	0.20	0.33	1	0.33	N/A
MOV %RAX,-0x220(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV -0x198(%RBP),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
IMUL %RAX,%RCX	1	0	1	0	0	0	0	0	0	0	0	0	0	3	1	scal (12.5%)
SAL $0x3,%RCX	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	0-2	0.50	scal (12.5%)
MOV %RCX,-0x2e8(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
IMUL %RAX,%R9	1	0	1	0	0	0	0	0	0	0	0	0	0	3	1	scal (12.5%)
SAL $0x3,%R9	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	0-2	0.50	scal (12.5%)
MOV %R9,-0x2e0(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
SALQ $0x3,-0xc0(%RBP)	3	0.50	0	0.33	0.33	0.50	0	0.50	0.50	0.50	0.50	0	0.33	0-2	0.50	scal (12.5%)
SALQ $0x3,-0x50(%RBP)	3	0.50	0	0.33	0.33	0.50	0	0.50	0.50	0.50	0.50	0	0.33	0-2	0.50	scal (12.5%)
LEA (%R12,%RBX,8),%RAX	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
MOV %RAX,-0x70(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV -0x160(%RBP),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
ADD %R15,%RAX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	N/A
MOV %RAX,-0x218(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV -0x168(%RBP),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
ADD %R15,%RAX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	N/A
MOV %RAX,-0x210(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
ADD -0x188(%RBP),%R15	1	0.20	0.20	0.33	0.33	0	0.20	0.20	0	0	0	0.20	0.33	1	0.33	N/A
MOV %R15,-0x250(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV -0x130(%RBP),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
LEA (,%RAX,8),%RAX	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
MOV %RAX,-0x208(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV -0x138(%RBP),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
LEA (,%RAX,8),%RAX	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
MOV %RAX,-0x200(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV -0x140(%RBP),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
LEA (,%RAX,8),%RAX	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
MOV %RAX,-0x1f8(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV -0x148(%RBP),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
LEA (,%RAX,8),%RAX	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
MOV %RAX,-0x1f0(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV -0x118(%RBP),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
LEA (,%RAX,8),%RAX	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
MOV %RAX,-0x1e8(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV -0x110(%RBP),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
LEA (,%RAX,8),%RAX	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
MOV %RAX,-0x1e0(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV -0x120(%RBP),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
LEA (,%RAX,8),%RAX	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
MOV %RAX,-0x1d8(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV -0x150(%RBP),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
LEA (,%RAX,8),%RAX	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
MOV %RAX,-0x1d0(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV -0x158(%RBP),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
LEA (,%RAX,8),%RAX	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
MOV %RAX,-0x1c8(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
JMP 4ab4d8 <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE9SweepSdomJRNS_4Core9DataStoreERNS_6SdomIdEEEEvT_RKT0_DpOT1_.extracted+0x848>	1	0	0	0	0	0	0	0	0	0	0	0	0	0	5.84	N/A
NOPL (%RAX,%RAX,1)	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
NOPW %CS:(%RAX,%RAX,1)	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
NOPW %CS:(%RAX,%RAX,1)	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
NOPW %CS:(%RAX,%RAX,1)	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
NOPW %CS:(%RAX,%RAX,1)	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
NOPW %CS:(%RAX,%RAX,1)	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
NOPW %CS:(%RAX,%RAX,1)	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
NOPW (%RAX,%RAX,1)	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
NOPW %CS:(%RAX,%RAX,1)	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
NOPW %CS:(%RAX,%RAX,1)	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
NOPW %CS:(%RAX,%RAX,1)	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
NOPW %CS:(%RAX,%RAX,1)	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
NOPW %CS:(%RAX,%RAX,1)	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
NOPL (%RAX)	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
NOPW %CS:(%RAX,%RAX,1)	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
NOPW %CS:(%RAX,%RAX,1)	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
NOPW %CS:(%RAX,%RAX,1)	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
NOP	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
LEA 0xb3129(%RIP),%RDI	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
MOV -0xdc(%RBP),%ESI	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
ADD $0x458,%RSP	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	N/A
POP %RBX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1-6	0.33	N/A
POP %R12	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1-6	0.33	N/A
POP %R13	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1-6	0.33	N/A
POP %R14	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1-6	0.33	N/A
POP %R15	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1-6	0.33	N/A
POP %RBP	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1-6	0.33	N/A
JMP 403050 <__kmpc_for_static_fini@plt>	1	0	0	0	0	0	0	0	0	0	0	0	0	0	2.08	N/A
NOPW %CS:(%RAX,%RAX,1)	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A

The code analyzed by CQA in that panel excludes loops and represents 0.00% of application time for run icx_1

Source file and lines	Collapse.hpp:81-83
Module	exec

The function is defined in:

/home/eoseret/qaas_runs_GNR/173-926-6874/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/policy/loop/forall.hpp:59
/home/eoseret/qaas_runs_GNR/173-926-6874/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/internal/Iterators.hpp:55,177,207,247-250
/home/eoseret/qaas_runs_GNR/173-926-6874/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/util/Layout.hpp:55
/home/eoseret/qaas_runs_GNR/173-926-6874/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/util/View.hpp:79,110
/home/eoseret/qaas_runs_GNR/173-926-6874/intel/Kripke/build/Kripke/src/Kripke/Kernel/SweepSubdomain.cpp:85-105
/home/eoseret/qaas_runs_GNR/173-926-6874/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/policy/openmp/kernel/Collapse.hpp:81-83

Warnings:
Ignoring paths for analysis

gain
potential
hint
expert

Vectorization

Details

Workaround

Try another compiler or update/tune your current one
Make array accesses unit-stride:
- If your function streams arrays of structures (AoS), try to use structures of arrays instead (SoA): for(i) a[i].x = b[i].x; (slow, non stride 1) => for(i) a.x[i] = b.x[i]; (fast, stride 1)

Execution units bottlenecks

Found no such bottlenecks but see expert reports for more complex bottlenecks.

No data for this section

CALL instructions

Detected function call instructions.

Details

__kmpc_for_static_init_8@plt: 1 occurrences►
- /home/eoseret/qaas_runs_GNR/173-926-6874/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/policy/openmp/kernel/Collapse.hpp:81

Complex instructions

Detected COMPLEX INSTRUCTIONS.

Details

These instructions generate more than one micro-operation and only one of them can be decoded during a cycle and the extra micro-operations increase pressure on execution units.

ADD: 1 occurrences►
- /home/eoseret/qaas_runs_GNR/173-926-6874/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/policy/loop/forall.hpp:59
DEC: 1 occurrences►
- /home/eoseret/qaas_runs_GNR/173-926-6874/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/policy/loop/forall.hpp:59
DIV: 3 occurrences►
- /home/eoseret/qaas_runs_GNR/173-926-6874/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/internal/Iterators.hpp:250
- /home/eoseret/qaas_runs_GNR/173-926-6874/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/internal/Iterators.hpp:250
- /home/eoseret/qaas_runs_GNR/173-926-6874/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/internal/Iterators.hpp:250
IDIV: 3 occurrences►
- /home/eoseret/qaas_runs_GNR/173-926-6874/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/internal/Iterators.hpp:250
- /home/eoseret/qaas_runs_GNR/173-926-6874/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/internal/Iterators.hpp:250
- /home/eoseret/qaas_runs_GNR/173-926-6874/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/internal/Iterators.hpp:250
SAL: 4 occurrences►
- /home/eoseret/qaas_runs_GNR/173-926-6874/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/policy/loop/forall.hpp:59
- /home/eoseret/qaas_runs_GNR/173-926-6874/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/policy/loop/forall.hpp:59
- /home/eoseret/qaas_runs_GNR/173-926-6874/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/policy/loop/forall.hpp:59
- /home/eoseret/qaas_runs_GNR/173-926-6874/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/policy/loop/forall.hpp:59

Conversion instructions

Detected expensive conversion instructions.

Details

CQTO: 3 occurrences►
- /home/eoseret/qaas_runs_GNR/173-926-6874/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/internal/Iterators.hpp:250
- /home/eoseret/qaas_runs_GNR/173-926-6874/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/internal/Iterators.hpp:250
- /home/eoseret/qaas_runs_GNR/173-926-6874/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/internal/Iterators.hpp:250

Workaround

Avoid mixing data with different types. In particular, check if the type of constants is the same as array elements.

Type of elements and instruction set

No instructions are processing arithmetic or math operations on FP elements. This function is probably writing/copying data or processing integer elements.

Matching between your function (in the source code) and the binary function

The binary function does not contain any FP arithmetical operations. The binary function is loading 760 bytes. The binary function is storing 832 bytes.

General properties

nb instructions	450
nb uops	483
loop length	2361
used x86 registers	16
used mmx registers	0
used xmm registers	0
used ymm registers	0
used zmm registers	0
nb stack references	93

Front-end

MACRO FUSION NOT POSSIBLE FIT IN UOP CACHE

micro-operation queue	80.50 cycles
front end	80.50 cycles

Back-end

	P0	P1	P2	P3	P4	P5	P6	P7	P8	P9	P10	P11
uops	29.70	39.00	34.00	34.00	57.50	29.80	29.70	57.50	57.50	57.50	29.80	34.00
cycles	29.70	53.80	34.00	34.00	57.50	29.80	29.70	57.50	57.50	57.50	29.80	34.00

Execution ports to units layout:

P0 (256 bits): VPU, BRU, ALU, DIV/SQRT
P1 (256 bits): ALU, VPU
P2 (512 bits): load
P3 (512 bits): load
P4 (512 bits): store data
P5 (512 bits): ALU, VPU
P6: ALU, BRU
P7: store address
P8: store address
P9 (512 bits): store data
P10: ALU
P11 (512 bits): load

Cycles executing div or sqrt instructions

48.00

Cycles summary

Front-end	80.50
Dispatch	57.50
DIV/SQRT	48.00
Overall L1	80.50

Vectorization ratios

all	0%
load	0%
store	0%
mul	0%
add-sub	0%
fma	NA (no fma vectorizable/vectorized instructions)
div/sqrt	0%
other	0%

Vector efficiency ratios

all	12%
load	12%
store	12%
mul	12%
add-sub	12%
fma	NA (no fma vectorizable/vectorized instructions)
div/sqrt	9%
other	12%

Cycles and memory resources usage

Assuming all data fit into the L1 cache, each call to the function takes 80.50 cycles. At this rate:

4% of peak load performance is reached (9.44 out of 192.00 bytes loaded per cycle (GB/s @ 1GHz))
8% of peak store performance is reached (10.34 out of 128.00 bytes stored per cycle (GB/s @ 1GHz))

Front-end bottlenecks

ASM code

In the binary file, the address of the function is: 4aac90

Instruction	Nb FU	P0	P1	P2	P3	P4	P5	P6	P7	P8	P9	P10	P11	Latency	Recip. throughput	Vectorization
PUSH %RBP	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	5-12	0.50	N/A
MOV %RSP,%RBP	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
PUSH %R15	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	5-12	0.50	N/A
PUSH %R14	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	5-12	0.50	N/A
PUSH %R13	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	5-12	0.50	N/A
PUSH %R12	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	5-12	0.50	N/A
PUSH %RBX	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	5-12	0.50	N/A
SUB $0x458,%RSP	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	N/A
MOV %RDX,-0x2c0(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOVL $0,-0xe0(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (6.3%)
MOV (%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x2b8(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x10(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x2b0(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x20(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x90(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x28(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x198(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x30(%R8),%R12	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV 0x38(%R8),%R15	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV 0x40(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x48(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x48(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x98(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x50(%R8),%R13	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	scal (12.5%)
MOV (%RDI),%ESI	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %R9,-0x1b8(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x58(%R8),%R14	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	scal (12.5%)
MOV 0x60(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x88(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x68(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x58(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x70(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x50(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x78(%R8),%RBX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV 0xa8(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x2a8(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0xd0(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x70(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0xf8(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x2a0(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x120(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0xd8(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x148(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x298(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x170(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x348(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x190(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x60(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x198(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x40(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x1a0(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x190(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x1f0(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x158(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x1f8(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x150(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x238(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x188(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x260(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x290(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x268(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x288(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x278(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x180(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x2c0(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0xa0(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x2e8(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x148(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x2f0(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x140(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x300(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x178(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x348(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x170(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x370(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x138(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x378(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x130(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x388(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x68(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x3d0(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x128(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x3e8(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x120(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x418(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x168(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x438(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x118(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x440(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x110(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV 0x480(%R8),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RAX,-0x160(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOVQ $0,-0x1c0(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (6.3%)
MOVQ $0x1,-0x3b8(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (6.3%)
SUB $0x8,%RSP	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
LEA -0x3b8(%RBP),%RAX	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
LEA 0xb3fb3(%RIP),%RDI	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
LEA -0xe0(%RBP),%RCX	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
LEA -0x1c0(%RBP),%R8	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
LEA -0x1b8(%RBP),%R9	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
MOV %ESI,-0xdc(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (6.3%)
MOV $0x22,%EDX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	N/A
PUSH $0x1	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	5-12	0.50	N/A
PUSH $0x1	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	5-12	0.50	N/A
PUSH %RAX	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	5-12	0.50	N/A
CALL 403140 <__kmpc_for_static_init_8@plt>	2	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	0	1	N/A
ADD $0x20,%RSP	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
MOV -0x1c0(%RBP),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV -0x1b8(%RBP),%RCX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	scal (12.5%)
MOV %RAX,-0x108(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
CMP %RCX,%RAX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	scal (12.5%)
JA 4abd80 <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE9SweepSdomJRNS_4Core9DataStoreERNS_6SdomIdEEEEvT_RKT0_DpOT1_.extracted+0x10f0>	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	0	0.50	N/A
MOV %RCX,%RDI	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
SUB -0x90(%RBP),%R12	1	0.20	0.20	0.33	0.33	0	0.20	0.20	0	0	0	0.20	0.33	1	0.33	N/A
MOV %R12,%RCX	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	scal (12.5%)
OR %R15,%RCX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1-2	0.20	scal (12.5%)
SHR $0x20,%RCX	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	0-2	0.50	scal (12.5%)
JE 4aaf80 <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE9SweepSdomJRNS_4Core9DataStoreERNS_6SdomIdEEEEvT_RKT0_DpOT1_.extracted+0x2f0>	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	0	0.50	N/A
MOV %R12,%RAX	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
CQTO	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	1	0.50	scal (12.5%)
IDIV %R15	5	0	3	0	0	0	0	0	0	0	0	0	0	11-16	10	scal (12.5%)
MOV %RAX,%R8	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
CMP $0x1,%RDX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	scal (12.5%)
SBB $-0x1,%R8	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	1	0.50	N/A
TEST %R8,%R8	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	2	0.20	scal (12.5%)
JG 4aaf9c <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE9SweepSdomJRNS_4Core9DataStoreERNS_6SdomIdEEEEvT_RKT0_DpOT1_.extracted+0x30c>	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	0	0.50	N/A
JMP 4abd80 <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE9SweepSdomJRNS_4Core9DataStoreERNS_6SdomIdEEEEvT_RKT0_DpOT1_.extracted+0x10f0>	1	0	0	0	0	0	0	0	0	0	0	0	0	0	2.08	N/A
NOPW %CS:(%RAX,%RAX,1)	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
NOPW %CS:(%RAX,%RAX,1)	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
NOPW (%RAX,%RAX,1)	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
MOV %R12D,%EAX	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
XOR %EDX,%EDX	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
DIV %R15D	4	0	3	0	0	0	0	0	0	0	0	0	0	11-16	6	scal (6.3%)
MOV %EAX,%R8D	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
CMP $0x1,%RDX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	scal (12.5%)
SBB $-0x1,%R8	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	1	0.50	N/A
TEST %R8,%R8	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	2	0.20	scal (12.5%)
JLE 4abd80 <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE9SweepSdomJRNS_4Core9DataStoreERNS_6SdomIdEEEEvT_RKT0_DpOT1_.extracted+0x10f0>	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	0	0.50	N/A
SUB -0x48(%RBP),%R13	1	0.20	0.20	0.33	0.33	0	0.20	0.20	0	0	0	0.20	0.33	1	0.33	scal (12.5%)
MOV %R13,%RCX	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	scal (12.5%)
OR %R14,%RCX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1-2	0.20	scal (12.5%)
SHR $0x20,%RCX	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	0-2	0.50	scal (12.5%)
JE 4aafc0 <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE9SweepSdomJRNS_4Core9DataStoreERNS_6SdomIdEEEEvT_RKT0_DpOT1_.extracted+0x330>	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	0	0.50	N/A
MOV %R13,%RAX	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
CQTO	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	1	0.50	scal (12.5%)
IDIV %R14	5	0	3	0	0	0	0	0	0	0	0	0	0	11-16	10	scal (12.5%)
MOV %RDX,%R10	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
MOV %RAX,%R11	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	scal (12.5%)
JMP 4aafce <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE9SweepSdomJRNS_4Core9DataStoreERNS_6SdomIdEEEEvT_RKT0_DpOT1_.extracted+0x33e>	1	0	0	0	0	0	0	0	0	0	0	0	0	0	5.84	N/A
NOPL (%RAX)	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
MOV %R13D,%EAX	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
XOR %EDX,%EDX	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
DIV %R14D	4	0	3	0	0	0	0	0	0	0	0	0	0	11-16	6	scal (6.3%)
MOV %EDX,%R10D	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
MOV %EAX,%R11D	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	scal (6.3%)
CMP $0x1,%R10	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	scal (12.5%)
MOV %R11,%RCX	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	scal (12.5%)
SBB $-0x1,%RCX	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	1	0.50	scal (12.5%)
MOV %RCX,-0xd0(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
TEST %RCX,%RCX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	2	0.20	scal (12.5%)
JLE 4abd80 <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE9SweepSdomJRNS_4Core9DataStoreERNS_6SdomIdEEEEvT_RKT0_DpOT1_.extracted+0x10f0>	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	0	0.50	N/A
MOV -0x108(%RBP),%RSI	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
LEA 0x1(%RSI),%RCX	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
INC %RDI	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
CMP %RDI,%RCX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	scal (12.5%)
CMOVG %RCX,%RDI	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	1	0.50	N/A
MOV %RDI,-0x100(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
NOT %RSI	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	N/A
MOV -0x50(%RBP),%RDX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
SUB -0x88(%RBP),%RDX	1	0.20	0.20	0.33	0.33	0	0.20	0.20	0	0	0	0.20	0.33	1	0.33	N/A
MOV %RDX,%RCX	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	scal (12.5%)
OR %RBX,%RCX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1-2	0.20	scal (12.5%)
SHR $0x20,%RCX	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	0-2	0.50	scal (12.5%)
JE 4ab040 <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE9SweepSdomJRNS_4Core9DataStoreERNS_6SdomIdEEEEvT_RKT0_DpOT1_.extracted+0x3b0>	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	0	0.50	N/A
MOV %RDX,%RAX	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
CQTO	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	1	0.50	scal (12.5%)
IDIV %RBX	5	0	3	0	0	0	0	0	0	0	0	0	0	11-16	10	scal (12.5%)
JMP 4ab046 <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE9SweepSdomJRNS_4Core9DataStoreERNS_6SdomIdEEEEvT_RKT0_DpOT1_.extracted+0x3b6>	1	0	0	0	0	0	0	0	0	0	0	0	0	0	5.84	N/A
NOPW %CS:(%RAX,%RAX,1)	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
NOPL (%RAX,%RAX,1)	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
MOV %EDX,%EAX	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
XOR %EDX,%EDX	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
DIV %EBX	4	0	3	0	0	0	0	0	0	0	0	0	0	11-16	6	scal (6.3%)
MOV %RAX,-0x38(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV -0x58(%RBP),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
ADD %RSI,-0x100(%RBP)	2	0.20	0.20	0.33	0.33	0.50	0.20	0.20	0.50	0.50	0.50	0.20	0.33	1	0.50	scal (12.5%)
DEC %R8	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
MOV %R8,-0x340(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV -0x98(%RBP),%R9	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	scal (12.5%)
MOV %R9,%RCX	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	scal (12.5%)
IMUL -0x68(%RBP),%RCX	1	0	1	0.33	0.33	0	0	0	0	0	0	0	0.33	3	1	scal (12.5%)
MOV %RCX,-0xc8(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV %RCX,%R8	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
SAR $0x3f,%R8	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	0-2	0.50	N/A
XOR %ESI,%ESI	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
TEST %RCX,%RCX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	2	0.20	scal (12.5%)
MOV $0,%EDI	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	N/A
CMOVG %RCX,%RDI	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	1	0.50	N/A
MOV %RDI,-0x78(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
TEST %R10,%R10	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	2	0.20	scal (12.5%)
CMOVNE %RSI,%RDI	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	1	0.50	N/A
MOV %RDI,-0x278(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
AND %RCX,%R8	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1-2	0.20	N/A
MOV %R8,-0x80(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
TEST %R10,%R10	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	2	0.20	scal (12.5%)
MOV %R8,%RDI	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
CMOVNE %RSI,%RDI	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	1	0.50	N/A
MOV %RDI,-0x270(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV %R9,%RCX	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	scal (12.5%)
IMUL -0x40(%RBP),%RCX	1	0	1	0.33	0.33	0	0	0	0	0	0	0	0.33	3	1	scal (12.5%)
MOV %RCX,-0xc0(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
TEST %RCX,%RCX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	2	0.20	scal (12.5%)
MOV $0,%EBX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	N/A
CMOVG %RCX,%RBX	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	1	0.50	N/A
TEST %R10,%R10	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	2	0.20	scal (12.5%)
MOV %RBX,%RSI	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
CMOVE %R10,%RSI	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	1	0.50	N/A
MOV %RSI,-0x30(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV %RCX,%RDI	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
SAR $0x3f,%RDI	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	0-2	0.50	N/A
AND %RCX,%RDI	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1-2	0.20	N/A
TEST %R10,%R10	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	2	0.20	scal (12.5%)
MOV %RDI,%RSI	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
CMOVE %R10,%RSI	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	1	0.50	N/A
TEST %R9,%R9	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	2	0.20	scal (12.5%)
MOV $0,%ECX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	scal (6.3%)
CMOVG %R9,%RCX	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	1	0.50	scal (12.5%)
MOV %RCX,-0xf0(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
TEST %R10,%R10	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	2	0.20	scal (12.5%)
CMOVE %R10,%RCX	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	1	0.50	scal (12.5%)
MOV %RCX,-0xe8(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV %R9,%R13	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	scal (12.5%)
SAR $0x3f,%R13	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	0-2	0.50	scal (12.5%)
AND %R9,%R13	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1-2	0.20	scal (12.5%)
TEST %R10,%R10	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	2	0.20	scal (12.5%)
CMOVNE %R13,%R10	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	1	0.50	N/A
MOV %R10,-0xf8(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV %RAX,%RCX	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	scal (12.5%)
IMUL -0x60(%RBP),%RCX	1	0	1	0.33	0.33	0	0	0	0	0	0	0	0.33	3	1	scal (12.5%)
MOV %RCX,-0x50(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV %RCX,%R12	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
SAR $0x3f,%R12	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	0-2	0.50	N/A
TEST %RCX,%RCX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	2	0.20	scal (12.5%)
MOV $0,%R14D	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	scal (6.3%)
CMOVG %RCX,%R14	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	1	0.50	scal (12.5%)
TEST %RDX,%RDX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	2	0.20	scal (12.5%)
MOV %R14,%R8	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
CMOVE %RDX,%R8	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	1	0.50	N/A
AND %RCX,%R12	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1-2	0.20	N/A
TEST %RDX,%RDX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	2	0.20	scal (12.5%)
MOV %RAX,%R15	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
MOV %R12,%RAX	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
CMOVE %RDX,%RAX	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	1	0.50	N/A
TEST %R15,%R15	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	2	0.20	scal (12.5%)
MOV $0,%R9D	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	scal (6.3%)
CMOVG %R15,%R9	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	1	0.50	scal (12.5%)
TEST %RDX,%RDX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	2	0.20	scal (12.5%)
MOV %R9,%RCX	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	scal (12.5%)
CMOVE %RDX,%RCX	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	1	0.50	scal (12.5%)
MOV %R15,%R10	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
SAR $0x3f,%R10	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	0-2	0.50	N/A
AND %R15,%R10	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1-2	0.20	N/A
XOR %R15D,%R15D	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
TEST %RDX,%RDX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	2	0.20	scal (12.5%)
SETNE %R15B	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	1	0.50	N/A
CMOVNE %R10,%RDX	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	1	0.50	N/A
ADD %RSI,%RAX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	N/A
MOV %R11,%RSI	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
IMUL %RDI,%RSI	1	0	1	0	0	0	0	0	0	0	0	0	0	3	1	N/A
MOV %RSI,-0x318(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
ADD %R12,%RDI	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	N/A
SUB %RDI,%RAX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	N/A
MOV %RAX,-0x320(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
ADD -0x30(%RBP),%R8	1	0.20	0.20	0.33	0.33	0	0.20	0.20	0	0	0	0.20	0.33	1	0.33	N/A
MOV %R11,%RAX	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
IMUL %RBX,%RAX	1	0	1	0	0	0	0	0	0	0	0	0	0	3	1	N/A
MOV %RAX,-0x310(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
ADD %R14,%RBX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	N/A
SUB %RBX,%R8	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	N/A
MOV %R8,-0x328(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV %RDX,%RSI	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
MOV -0x88(%RBP),%RBX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RBX,%RDX	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
SUB %R10,%RDX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	N/A
ADD %RSI,%RDX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	N/A
SUB %R10,%RSI	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	N/A
MOV -0x38(%RBP),%RDI	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
IMUL %RDI,%R10	1	0	1	0	0	0	0	0	0	0	0	0	0	3	1	N/A
ADD %R10,%RDX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	N/A
ADD %R10,%RSI	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	N/A
MOV %RSI,-0x280(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV -0xf8(%RBP),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RBX,%RSI	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
SUB %R9,%RSI	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	N/A
ADD %RCX,%RSI	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	N/A
SUB %R9,%RCX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	scal (12.5%)
IMUL %RDI,%R9	1	0	1	0	0	0	0	0	0	0	0	0	0	3	1	scal (12.5%)
ADD %R9,%RSI	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	N/A
ADD %R9,%RCX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	scal (12.5%)
MOV %RCX,-0x260(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
IMUL %RDI,%R12	1	0	1	0	0	0	0	0	0	0	0	0	0	3	1	N/A
MOV %R12,-0x338(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
IMUL %RDI,%R14	1	0	1	0	0	0	0	0	0	0	0	0	0	3	1	scal (12.5%)
MOV %R14,-0x330(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV %RAX,%R14	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	scal (12.5%)
ADD %RDI,%R15	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	N/A
MOV %R15,-0x30(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV -0x60(%RBP),%R15	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
IMUL %RBX,%R15	1	0	1	0	0	0	0	0	0	0	0	0	0	3	1	N/A
MOV -0x48(%RBP),%R8	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV -0x40(%RBP),%R10	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
IMUL %R8,%R10	1	0	1	0	0	0	0	0	0	0	0	0	0	3	1	N/A
MOV -0x90(%RBP),%RDI	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
MOV %RDI,%RAX	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
MOV -0x190(%RBP),%R9	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	scal (12.5%)
IMUL %R9,%RAX	1	0	1	0	0	0	0	0	0	0	0	0	0	3	1	N/A
LEA (%RAX,%R15,1),%RCX	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
ADD %R10,%RCX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	scal (12.5%)
MOV %RCX,-0x258(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
SAL $0x3,%R10	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	0-2	0.50	N/A
LEA (%R10,%RAX,8),%RAX	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
LEA (%RAX,%R15,8),%R15	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
MOV -0x70(%RBP),%R12	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
LEA (%R12,%RDX,8),%RAX	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
MOV %RAX,-0x308(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
XOR %EDX,%EDX	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
LEA (%R12,%RSI,8),%RAX	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
MOV %RAX,-0x300(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV %R8,%RAX	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
SUB %R13,%RAX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	N/A
ADD %R14,%RAX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	N/A
MOV %R11,%RCX	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	scal (12.5%)
MOV %R13,-0x268(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
IMUL %R13,%RCX	1	0	1	0	0	0	0	0	0	0	0	0	0	3	1	scal (12.5%)
MOV %RCX,-0x248(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
ADD %RCX,%RAX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	N/A
MOV -0xd8(%RBP),%RSI	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
LEA (%RSI,%RAX,8),%RAX	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
MOV %RAX,-0x2f8(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV %R8,%RAX	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
MOV -0xf0(%RBP),%R13	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	scal (12.5%)
SUB %R13,%RAX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	N/A
ADD -0xe8(%RBP),%RAX	1	0.20	0.20	0.33	0.33	0	0.20	0.20	0	0	0	0.20	0.33	1	0.33	N/A
MOV -0x80(%RBP),%RCX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	scal (12.5%)
IMUL %R11,%RCX	1	0	1	0	0	0	0	0	0	0	0	0	0	3	1	scal (12.5%)
MOV %RCX,-0x80(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV -0x78(%RBP),%RCX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	scal (12.5%)
IMUL %R11,%RCX	1	0	1	0	0	0	0	0	0	0	0	0	0	3	1	scal (12.5%)
MOV %RCX,-0x78(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
IMUL %R13,%R11	1	0	1	0	0	0	0	0	0	0	0	0	0	3	1	scal (12.5%)
MOV %R11,-0x240(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
ADD %R11,%RAX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	N/A
LEA (%RSI,%RAX,8),%RAX	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
MOV %RAX,-0x2f0(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV %RDI,%RAX	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0.17	N/A
IMUL -0x180(%RBP),%RAX	1	0	1	0.33	0.33	0	0	0	0	0	0	0	0.33	3	1	N/A
MOV %RAX,-0x238(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV -0x178(%RBP),%RCX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	scal (12.5%)
IMUL %RCX,%RDI	1	0	1	0	0	0	0	0	0	0	0	0	0	3	1	N/A
MOV -0x68(%RBP),%RSI	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
IMUL %R8,%RSI	1	0	1	0	0	0	0	0	0	0	0	0	0	3	1	N/A
DECQ -0xd0(%RBP)	3	0.20	0.20	0.33	0.33	0.50	0.20	0.20	0.50	0.50	0.50	0.20	0.33	1	0.50	scal (12.5%)
LEA (,%RBX,8),%RAX	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
MOV %RSI,-0x68(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
LEA (%RAX,%RSI,8),%RSI	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
ADD -0x128(%RBP),%RSI	1	0.20	0.20	0.33	0.33	0	0.20	0.20	0	0	0	0.20	0.33	1	0.33	N/A
MOV %RSI,-0x228(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
SALQ $0x3,-0xc8(%RBP)	3	0.50	0	0.33	0.33	0.50	0	0.50	0.50	0.50	0.50	0	0.33	0-2	0.50	scal (12.5%)
SALQ $0x3,-0x58(%RBP)	3	0.50	0	0.33	0.33	0.50	0	0.50	0.50	0.50	0.50	0	0.33	0-2	0.50	scal (12.5%)
MOV %RDI,-0x230(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
LEA (%RAX,%RDI,8),%RAX	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
ADD -0x170(%RBP),%RAX	1	0.20	0.20	0.33	0.33	0	0.20	0.20	0	0	0	0.20	0.33	1	0.33	N/A
MOV %RAX,-0x220(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV -0x198(%RBP),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
IMUL %RAX,%RCX	1	0	1	0	0	0	0	0	0	0	0	0	0	3	1	scal (12.5%)
SAL $0x3,%RCX	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	0-2	0.50	scal (12.5%)
MOV %RCX,-0x2e8(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
IMUL %RAX,%R9	1	0	1	0	0	0	0	0	0	0	0	0	0	3	1	scal (12.5%)
SAL $0x3,%R9	1	0.50	0	0	0	0	0	0.50	0	0	0	0	0	0-2	0.50	scal (12.5%)
MOV %R9,-0x2e0(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
SALQ $0x3,-0xc0(%RBP)	3	0.50	0	0.33	0.33	0.50	0	0.50	0.50	0.50	0.50	0	0.33	0-2	0.50	scal (12.5%)
SALQ $0x3,-0x50(%RBP)	3	0.50	0	0.33	0.33	0.50	0	0.50	0.50	0.50	0.50	0	0.33	0-2	0.50	scal (12.5%)
LEA (%R12,%RBX,8),%RAX	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
MOV %RAX,-0x70(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV -0x160(%RBP),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
ADD %R15,%RAX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	N/A
MOV %RAX,-0x218(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV -0x168(%RBP),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
ADD %R15,%RAX	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	N/A
MOV %RAX,-0x210(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
ADD -0x188(%RBP),%R15	1	0.20	0.20	0.33	0.33	0	0.20	0.20	0	0	0	0.20	0.33	1	0.33	N/A
MOV %R15,-0x250(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV -0x130(%RBP),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
LEA (,%RAX,8),%RAX	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
MOV %RAX,-0x208(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV -0x138(%RBP),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
LEA (,%RAX,8),%RAX	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
MOV %RAX,-0x200(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV -0x140(%RBP),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
LEA (,%RAX,8),%RAX	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
MOV %RAX,-0x1f8(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV -0x148(%RBP),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
LEA (,%RAX,8),%RAX	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
MOV %RAX,-0x1f0(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV -0x118(%RBP),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
LEA (,%RAX,8),%RAX	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
MOV %RAX,-0x1e8(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV -0x110(%RBP),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
LEA (,%RAX,8),%RAX	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
MOV %RAX,-0x1e0(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV -0x120(%RBP),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
LEA (,%RAX,8),%RAX	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
MOV %RAX,-0x1d8(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV -0x150(%RBP),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
LEA (,%RAX,8),%RAX	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
MOV %RAX,-0x1d0(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
MOV -0x158(%RBP),%RAX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
LEA (,%RAX,8),%RAX	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
MOV %RAX,-0x1c8(%RBP)	1	0	0	0	0	0.50	0	0	0.50	0.50	0.50	0	0	1	0.50	scal (12.5%)
JMP 4ab4d8 <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE9SweepSdomJRNS_4Core9DataStoreERNS_6SdomIdEEEEvT_RKT0_DpOT1_.extracted+0x848>	1	0	0	0	0	0	0	0	0	0	0	0	0	0	5.84	N/A
NOPL (%RAX,%RAX,1)	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
NOPW %CS:(%RAX,%RAX,1)	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
NOPW %CS:(%RAX,%RAX,1)	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
NOPW %CS:(%RAX,%RAX,1)	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
NOPW %CS:(%RAX,%RAX,1)	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
NOPW %CS:(%RAX,%RAX,1)	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
NOPW %CS:(%RAX,%RAX,1)	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
NOPW (%RAX,%RAX,1)	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
NOPW %CS:(%RAX,%RAX,1)	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
NOPW %CS:(%RAX,%RAX,1)	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
NOPW %CS:(%RAX,%RAX,1)	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
NOPW %CS:(%RAX,%RAX,1)	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
NOPW %CS:(%RAX,%RAX,1)	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
NOPL (%RAX)	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
NOPW %CS:(%RAX,%RAX,1)	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
NOPW %CS:(%RAX,%RAX,1)	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
NOPW %CS:(%RAX,%RAX,1)	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
NOP	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
LEA 0xb3129(%RIP),%RDI	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A
MOV -0xdc(%RBP),%ESI	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1	0.33	N/A
ADD $0x458,%RSP	1	0.20	0.20	0	0	0	0.20	0.20	0	0	0	0.20	0	1	0.20	N/A
POP %RBX	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1-6	0.33	N/A
POP %R12	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1-6	0.33	N/A
POP %R13	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1-6	0.33	N/A
POP %R14	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1-6	0.33	N/A
POP %R15	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1-6	0.33	N/A
POP %RBP	1	0	0	0.33	0.33	0	0	0	0	0	0	0	0.33	1-6	0.33	N/A
JMP 403050 <__kmpc_for_static_fini@plt>	1	0	0	0	0	0	0	0	0	0	0	0	0	0	2.08	N/A
NOPW %CS:(%RAX,%RAX,1)	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0.17	N/A

Name	Coverage (%)	Time (s)
▼void Kripke::DispatchHelper::operator()(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const [clone .extracted]–	0.87	0.10
▼Loop 1427 - forall.hpp:59-59 - exec–	0.00	0.01
▼Loop 1428 - forall.hpp:59-59 - exec–	0.03	0.01
▼Loop 1429 - SweepSubdomain.cpp:87-105 - exec–	0.03	0.01
○Loop 1430 - forall.hpp:59-59 - exec	0.81	0.09
▼Loop 1431 - forall.hpp:59-59 - exec–	0.00	0.00
○Loop 1432 - forall.hpp:59-59 - exec	0.00	0.00

Report Configuration

Vectorization

Details

Workaround

Execution units bottlenecks

CALL instructions

Details

Complex instructions

Details

Conversion instructions

Details

Workaround

Type of elements and instruction set

Matching between your function (in the source code) and the binary function

General properties

Front-end

Back-end

Cycles summary

Vectorization ratios

Vector efficiency ratios

Cycles and memory resources usage

Front-end bottlenecks

ASM code

Vectorization

Details

Workaround

Execution units bottlenecks

CALL instructions

Details

Complex instructions

Details

Conversion instructions

Details

Workaround

Type of elements and instruction set

Matching between your function (in the source code) and the binary function

General properties

Front-end

Back-end

Cycles summary

Vectorization ratios

Vector efficiency ratios

Cycles and memory resources usage

Front-end bottlenecks

ASM code