Function: void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, LTimesS ... | Module: exec | Source: Collapse.hpp:81-83 [...] | Coverage: 3.07% |
---|
Function: void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, LTimesS ... | Module: exec | Source: Collapse.hpp:81-83 [...] | Coverage: 3.07% |
---|
/home/eoseret/qaas_runs_CPU_9468/171-147-9160/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_CPU_9468/171-147-9160/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) { |
/home/eoseret/qaas_runs_CPU_9468/171-147-9160/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/util/Layout.hpp: 55 - 55 |
-------------------------------------------------------------------------------- |
55: return a * b; |
/home/eoseret/qaas_runs_CPU_9468/171-147-9160/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_CPU_9468/171-147-9160/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/internal/Iterators.hpp: 55 - 177 |
-------------------------------------------------------------------------------- |
55: : val(rhs.val) |
[...] |
177: return value_type(val + rhs); |
/home/eoseret/qaas_runs_CPU_9468/171-147-9160/intel/Kripke/build/Kripke/src/Kripke/Kernel/LTimes.cpp: 62 - 62 |
-------------------------------------------------------------------------------- |
62: phi(nm,g,z) += ell(nm, d) * psi(d, g, z); |
0x44da70 PUSH %RBP |
0x44da71 MOV %RSP,%RBP |
0x44da74 PUSH %R15 |
0x44da76 PUSH %R14 |
0x44da78 PUSH %R13 |
0x44da7a PUSH %R12 |
0x44da7c PUSH %RBX |
0x44da7d AND $-0x20,%RSP |
0x44da81 SUB $0x2c0,%RSP |
0x44da88 MOV %RDX,%R12 |
0x44da8b MOVL $0,0x74(%RSP) |
0x44da93 MOV (%R8),%RAX |
0x44da96 MOV %RAX,0x40(%RSP) |
0x44da9b MOV 0x10(%R8),%R13 |
0x44da9f MOV 0x18(%R8),%R15 |
0x44daa3 MOV 0x20(%R8),%RAX |
0x44daa7 MOV %RAX,0x1a0(%RSP) |
0x44daaf MOV 0x30(%R8),%RAX |
0x44dab3 MOV %RAX,0xa0(%RSP) |
0x44dabb MOV 0x38(%R8),%RAX |
0x44dabf MOV %RAX,0x98(%RSP) |
0x44dac7 MOV 0x60(%R8),%RAX |
0x44dacb MOV %RAX,0x198(%RSP) |
0x44dad3 MOV 0x68(%R8),%RAX |
0x44dad7 MOV %RAX,0x190(%RSP) |
0x44dadf MOV 0xa8(%R8),%RAX |
0x44dae6 MOV %RAX,0x58(%RSP) |
0x44daeb MOV 0xc8(%R8),%RAX |
0x44daf2 MOV %RAX,0x20(%RSP) |
0x44daf7 MOV 0xf0(%R8),%RBX |
0x44dafe MOV 0x110(%R8),%RAX |
0x44db05 MOV %RAX,0x60(%RSP) |
0x44db0a MOV 0x118(%R8),%RAX |
0x44db11 MOV %RAX,0x90(%RSP) |
0x44db19 MOV 0x158(%R8),%R14 |
0x44db20 MOV (%RDI),%ESI |
0x44db22 MOV %R9,0xf0(%RSP) |
0x44db2a MOVQ $0,0xf8(%RSP) |
0x44db36 MOVQ $0x1,0x1f8(%RSP) |
0x44db42 SUB $0x8,%RSP |
0x44db46 LEA 0x200(%RSP),%RAX |
0x44db4e LEA 0xa49db(%RIP),%RDI |
0x44db55 LEA 0x7c(%RSP),%RCX |
0x44db5a LEA 0x100(%RSP),%R8 |
0x44db62 LEA 0xf8(%RSP),%R9 |
0x44db6a MOV %ESI,0x78(%RSP) |
0x44db6e MOV $0x22,%EDX |
0x44db73 PUSH $0x1 |
0x44db75 PUSH $0x1 |
0x44db77 PUSH %RAX |
0x44db78 CALL 403140 <__kmpc_for_static_init_8@plt> |
0x44db7d ADD $0x20,%RSP |
0x44db81 MOV 0xf8(%RSP),%RCX |
0x44db89 MOV 0xf0(%RSP),%RAX |
0x44db91 MOV %RCX,0x88(%RSP) |
0x44db99 CMP %RAX,%RCX |
0x44db9c JA 44e6af |
0x44dba2 MOV %R15,%RCX |
0x44dba5 SUB %R13,%RCX |
0x44dba8 MOV %RCX,0x30(%RSP) |
0x44dbad TEST %RCX,%RCX |
0x44dbb0 JLE 44e6af |
0x44dbb6 MOV 0x88(%RSP),%RDX |
0x44dbbe LEA 0x1(%RDX),%RCX |
0x44dbc2 INC %RAX |
0x44dbc5 CMP %RAX,%RCX |
0x44dbc8 CMOVG %RCX,%RAX |
0x44dbcc NOT %RDX |
0x44dbcf ADD %RAX,%RDX |
0x44dbd2 MOV %RDX,0x188(%RSP) |
0x44dbda MOV %R13,%RSI |
0x44dbdd MOV %R13,%R11 |
0x44dbe0 MOV 0x60(%RSP),%R8 |
0x44dbe5 IMUL %R8,%R11 |
0x44dbe9 MOV %R8,%RAX |
0x44dbec SAR $0x3f,%RAX |
0x44dbf0 ANDN %R8,%RAX,%RAX |
0x44dbf5 MOV %R13,%RDX |
0x44dbf8 NOT %RDX |
0x44dbfb MOV %R15,%RCX |
0x44dbfe IMUL %RAX,%RCX |
0x44dc02 MOV %RCX,0x178(%RSP) |
0x44dc0a IMUL %RDX,%RAX |
0x44dc0e MOV %RAX,0x180(%RSP) |
0x44dc16 TEST %R8,%R8 |
0x44dc19 MOV $0,%R13D |
0x44dc1f CMOVS %R8,%R13 |
0x44dc23 MOV %R15,%RAX |
0x44dc26 IMUL %R13,%RAX |
0x44dc2a MOV %RAX,(%RSP) |
0x44dc2e IMUL %RDX,%R13 |
0x44dc32 MOV %RSI,%RAX |
0x44dc35 MOV 0x20(%RSP),%RDI |
0x44dc3a IMUL %RDI,%RAX |
0x44dc3e MOV %RAX,0x80(%RSP) |
0x44dc46 MOV %RDI,%RCX |
0x44dc49 SAR $0x3f,%RCX |
0x44dc4d ANDN %RDI,%RCX,%RAX |
0x44dc52 MOV %R15,%RCX |
0x44dc55 IMUL %RAX,%RCX |
0x44dc59 IMUL %RDX,%RAX |
0x44dc5d TEST %RDI,%RDI |
0x44dc60 MOV $0,%R9D |
0x44dc66 CMOVS %RDI,%R9 |
0x44dc6a IMUL %R9,%RDX |
0x44dc6e IMUL %R15,%R9 |
0x44dc72 ADD %RDX,%R9 |
0x44dc75 MOV %R9,0x160(%RSP) |
0x44dc7d MOV 0x98(%RSP),%R9 |
0x44dc85 MOV 0xa0(%RSP),%RDX |
0x44dc8d SUB %RDX,%R9 |
0x44dc90 MOV 0x30(%RSP),%R15 |
0x44dc95 MOV %R15,%R10 |
0x44dc98 SHR $0x3,%R10 |
0x44dc9c DEC %R10 |
0x44dc9f MOV %R10,0x1f0(%RSP) |
0x44dca7 VMOVSD 0x40(%RSP),%XMM0 |
0x44dcad VMOVUPS %YMM0,0x200(%RSP) |
0x44dcb6 VPBROADCASTQ %RDI,%YMM0 |
0x44dcbc VPBROADCASTQ %RSI,%YMM1 |
0x44dcc2 ADD (%RSP),%R13 |
0x44dcc6 MOV %R13,0x170(%RSP) |
0x44dcce LEA 0x2(%RSI),%R10 |
0x44dcd2 IMUL %RDI,%R10 |
0x44dcd6 MOV %R10,0x148(%RSP) |
0x44dcde ADD %RCX,%RAX |
0x44dce1 MOV %RAX,0x168(%RSP) |
0x44dce9 LEA 0x3(%RSI),%RAX |
0x44dced IMUL %RDI,%RAX |
0x44dcf1 MOV %RAX,0x140(%RSP) |
0x44dcf9 VPADDQ 0x5923f(%RIP),%YMM1,%YMM1 |
0x44dd01 VPMULLQ %YMM1,%YMM0,%YMM0 |
0x44dd07 VMOVDQU %YMM0,0x280(%RSP) |
0x44dd10 MOV %R9,%RCX |
0x44dd13 AND $-0x4,%RCX |
0x44dd17 LEA (,%R8,8),%RAX |
0x44dd1f MOV %RAX,0x8(%RSP) |
0x44dd24 SUB %R8,%RAX |
0x44dd27 MOV %RAX,0x138(%RSP) |
0x44dd2f VPBROADCASTQ %R9,%YMM0 |
0x44dd35 VMOVDQU %YMM0,0x220(%RSP) |
0x44dd3e MOV %R15,%R10 |
0x44dd41 AND $-0x8,%R10 |
0x44dd45 LEA (,%RDX,8),%RAX |
0x44dd4d MOV %R11,0xa8(%RSP) |
0x44dd55 LEA (%RAX,%R11,8),%R11 |
0x44dd59 ADD %R14,%R11 |
0x44dd5c MOV %R11,0x78(%RSP) |
0x44dd61 MOV %R8,%R11 |
0x44dd64 SAL $0x6,%R11 |
0x44dd68 MOV %R11,0x1e8(%RSP) |
0x44dd70 MOV %R10,0x158(%RSP) |
0x44dd78 ADD %R10,%RSI |
0x44dd7b IMUL %R8,%RSI |
0x44dd7f LEA (%RAX,%RSI,8),%RAX |
0x44dd83 ADD %R14,%RAX |
0x44dd86 MOV %RAX,0x130(%RSP) |
0x44dd8e ADD %RDX,%RSI |
0x44dd91 XOR %EDX,%EDX |
0x44dd93 MOV %RSI,0x150(%RSP) |
0x44dd9b LEA -0x1(%R15),%RAX |
0x44dd9f MOV %RAX,0xe8(%RSP) |
0x44dda7 LEA (,%RDI,8),%RAX |
0x44ddaf MOV %RAX,0x1c8(%RSP) |
0x44ddb7 MOV 0x80(%RSP),%RAX |
0x44ddbf LEA (%RDI,%RAX,1),%RAX |
0x44ddc3 MOV %RAX,0x128(%RSP) |
0x44ddcb MOV %RCX,0x18(%RSP) |
0x44ddd0 LEA -0x1(%RCX),%RAX |
0x44ddd4 MOV %RAX,(%RSP) |
0x44ddd8 LEA (%R8,%R8,1),%RAX |
0x44dddc LEA (%R8,%R8,2),%RCX |
0x44dde0 MOV %RCX,0x118(%RSP) |
0x44dde8 LEA (,%R8,4),%RCX |
0x44ddf0 MOV %RCX,0x110(%RSP) |
0x44ddf8 LEA (%R8,%R8,4),%RCX |
0x44ddfc MOV %RCX,0x108(%RSP) |
0x44de04 MOV %RAX,0x120(%RSP) |
0x44de0c LEA (%RAX,%RAX,2),%RAX |
0x44de10 MOV %RAX,0x100(%RSP) |
0x44de18 MOV 0x90(%RSP),%RAX |
0x44de20 LEA (,%RAX,8),%RAX |
0x44de28 MOV %RAX,0x28(%RSP) |
0x44de2d MOV %R12,0x38(%RSP) |
0x44de32 MOV %RBX,0xb0(%RSP) |
0x44de3a MOV %R9,0x1b8(%RSP) |
0x44de42 JMP 44de67 |
0x44de44 NOPW %CS:(%RAX,%RAX,1) |
(896) 0x44de50 MOV 0x48(%RSP),%RCX |
(896) 0x44de55 LEA 0x1(%RCX),%RDX |
(896) 0x44de59 CMP 0x188(%RSP),%RCX |
(896) 0x44de61 JE 44e6af |
(896) 0x44de67 MOV 0x88(%RSP),%RAX |
(896) 0x44de6f ADD %RDX,%RAX |
(896) 0x44de72 MOV %RAX,%RCX |
(896) 0x44de75 OR %R12,%RCX |
(896) 0x44de78 SHR $0x20,%RCX |
(896) 0x44de7c MOV %RDX,0x48(%RSP) |
(896) 0x44de81 JE 44de90 |
(896) 0x44de83 CQTO |
(896) 0x44de85 IDIV %R12 |
(896) 0x44de88 JMP 44de95 |
0x44de8a NOPW (%RAX,%RAX,1) |
(896) 0x44de90 XOR %EDX,%EDX |
(896) 0x44de92 DIV %R12D |
(896) 0x44de95 ADD 0x1a0(%RSP),%RDX |
(896) 0x44de9d MOV 0x90(%RSP),%R8 |
(896) 0x44dea5 IMUL %RDX,%R8 |
(896) 0x44dea9 MOV 0x98(%RSP),%R11 |
(896) 0x44deb1 MOV 0xa8(%RSP),%R13 |
(896) 0x44deb9 LEA (%R11,%R13,1),%RCX |
(896) 0x44debd ADD 0x180(%RSP),%RCX |
(896) 0x44dec5 ADD 0x178(%RSP),%RCX |
(896) 0x44decd ADD %R8,%RCX |
(896) 0x44ded0 LEA -0x8(%R14,%RCX,8),%RCX |
(896) 0x44ded5 MOV %RCX,0x10(%RSP) |
(896) 0x44deda MOV 0x190(%RSP),%RCX |
(896) 0x44dee2 IMUL %RDX,%RCX |
(896) 0x44dee6 MOV 0xa0(%RSP),%R10 |
(896) 0x44deee LEA (%R10,%RCX,1),%R15 |
(896) 0x44def2 MOV 0x40(%RSP),%RSI |
(896) 0x44def7 MOV %RAX,0x50(%RSP) |
(896) 0x44defc LEA (%RSI,%RAX,1),%R12 |
(896) 0x44df00 MOV 0x198(%RSP),%RDI |
(896) 0x44df08 IMUL %R12,%RDI |
(896) 0x44df0c ADD %RDI,%R15 |
(896) 0x44df0f MOV 0x58(%RSP),%RAX |
(896) 0x44df14 MOV %R15,0xe0(%RSP) |
(896) 0x44df1c LEA (%RAX,%R15,8),%RSI |
(896) 0x44df20 CMP %RSI,0x10(%RSP) |
(896) 0x44df25 SETAE %R15B |
(896) 0x44df29 ADD %R11,%RCX |
(896) 0x44df2c ADD %RDI,%RCX |
(896) 0x44df2f LEA -0x8(%RAX,%RCX,8),%RCX |
(896) 0x44df34 MOV %R8,0x1a8(%RSP) |
(896) 0x44df3c ADD %R8,%R10 |
(896) 0x44df3f LEA (%R10,%R13,1),%RDI |
(896) 0x44df43 MOV 0x170(%RSP),%RAX |
(896) 0x44df4b MOV %RDI,0x1b0(%RSP) |
(896) 0x44df53 ADD %RDI,%RAX |
(896) 0x44df56 LEA (%R14,%RAX,8),%RAX |
(896) 0x44df5a CMP %RAX,%RCX |
(896) 0x44df5d SETAE %DIL |
(896) 0x44df61 ADD 0x80(%RSP),%R12 |
(896) 0x44df69 MOV 0x168(%RSP),%RAX |
(896) 0x44df71 ADD %R12,%RAX |
(896) 0x44df74 LEA (%RBX,%RAX,8),%RAX |
(896) 0x44df78 CMP %RSI,%RAX |
(896) 0x44df7b SETB %AL |
(896) 0x44df7e MOV 0x160(%RSP),%R8 |
(896) 0x44df86 MOV %R12,0x10(%RSP) |
(896) 0x44df8b LEA (%R8,%R12,1),%R11 |
(896) 0x44df8f LEA (%RBX,%R11,8),%R11 |
(896) 0x44df93 CMP %R11,%RCX |
(896) 0x44df96 SETB %CL |
(896) 0x44df99 TEST %DIL,%R15B |
(896) 0x44df9c JNE 44e0d0 |
(896) 0x44dfa2 OR %CL,%AL |
(896) 0x44dfa4 JE 44e0d0 |
(896) 0x44dfaa CMPQ $0x8,0x30(%RSP) |
(896) 0x44dfb0 JAE 44e150 |
(896) 0x44dfb6 MOV 0x8(%RSP),%R13 |
(896) 0x44dfbb MOV (%RSP),%R8 |
(896) 0x44dfbf MOV 0x158(%RSP),%RAX |
(896) 0x44dfc7 CMP 0x30(%RSP),%RAX |
(896) 0x44dfcc MOV 0x38(%RSP),%R12 |
(896) 0x44dfd1 JAE 44de50 |
(896) 0x44dfd7 IMUL 0x28(%RSP),%RDX |
(896) 0x44dfdd ADD 0x130(%RSP),%RDX |
(896) 0x44dfe5 MOV 0x1a8(%RSP),%R12 |
(896) 0x44dfed ADD 0x150(%RSP),%R12 |
(896) 0x44dff5 MOV 0x20(%RSP),%R15 |
(896) 0x44dffa JMP 44e01d |
0x44dffc NOPL (%RAX) |
(899) 0x44e000 LEA 0x1(%RAX),%RCX |
(899) 0x44e004 ADD %R13,%RDX |
(899) 0x44e007 ADD 0x60(%RSP),%R12 |
(899) 0x44e00c CMP 0xe8(%RSP),%RAX |
(899) 0x44e014 MOV %RCX,%RAX |
(899) 0x44e017 JE 44e6a0 |
(899) 0x44e01d TEST %R9,%R9 |
(899) 0x44e020 JLE 44e000 |
(899) 0x44e022 MOV %R15,%RCX |
(899) 0x44e025 IMUL %RAX,%RCX |
(899) 0x44e029 ADD 0x10(%RSP),%RCX |
(899) 0x44e02e VMOVSD (%RBX,%RCX,8),%XMM20 |
(899) 0x44e035 CMPQ $0,0x18(%RSP) |
(899) 0x44e03b JE 44e080 |
(899) 0x44e03d VBROADCASTSD %XMM20,%YMM0 |
(899) 0x44e043 XOR %ECX,%ECX |
(899) 0x44e045 NOPW %CS:(%RAX,%RAX,1) |
(901) 0x44e050 VMOVUPD (%RDX,%RCX,8),%YMM1 |
(901) 0x44e055 VFMADD213PD (%RSI,%RCX,8),%YMM0,%YMM1 |
(901) 0x44e05b VMOVUPD %YMM1,(%RSI,%RCX,8) |
(901) 0x44e060 ADD $0x4,%RCX |
(901) 0x44e064 CMP %R8,%RCX |
(901) 0x44e067 JLE 44e050 |
(899) 0x44e069 MOV 0x18(%RSP),%RCX |
(899) 0x44e06e MOV %RCX,%R10 |
(899) 0x44e071 CMP %RCX,%R9 |
(899) 0x44e074 JE 44e000 |
(899) 0x44e076 JMP 44e083 |
0x44e078 NOPL (%RAX,%RAX,1) |
(899) 0x44e080 XOR %R10D,%R10D |
(899) 0x44e083 MOV %R9,%RCX |
(899) 0x44e086 SUB %R10,%RCX |
(899) 0x44e089 MOV 0xe0(%RSP),%RDI |
(899) 0x44e091 ADD %R10,%RDI |
(899) 0x44e094 MOV 0x58(%RSP),%R8 |
(899) 0x44e099 LEA (%R8,%RDI,8),%RDI |
(899) 0x44e09d MOV (%RSP),%R8 |
(899) 0x44e0a1 ADD %R12,%R10 |
(899) 0x44e0a4 LEA (%R14,%R10,8),%R10 |
(899) 0x44e0a8 XOR %R11D,%R11D |
(899) 0x44e0ab NOPL (%RAX,%RAX,1) |
(900) 0x44e0b0 VMOVSD (%R10,%R11,8),%XMM0 |
(900) 0x44e0b6 VFMADD213SD (%RDI,%R11,8),%XMM20,%XMM0 |
(900) 0x44e0bd VMOVSD %XMM0,(%RDI,%R11,8) |
(900) 0x44e0c3 INC %R11 |
(900) 0x44e0c6 CMP %R11,%RCX |
(900) 0x44e0c9 JNE 44e0b0 |
(899) 0x44e0cb JMP 44e000 |
(896) 0x44e0d0 IMUL 0x28(%RSP),%RDX |
(896) 0x44e0d6 ADD 0x78(%RSP),%RDX |
(896) 0x44e0db XOR %EAX,%EAX |
(896) 0x44e0dd MOV 0x20(%RSP),%R8 |
(896) 0x44e0e2 MOV 0x8(%RSP),%R10 |
(896) 0x44e0e7 MOV 0xe8(%RSP),%R11 |
(896) 0x44e0ef MOV 0x38(%RSP),%R12 |
(896) 0x44e0f4 JMP 44e113 |
0x44e0f6 NOPW %CS:(%RAX,%RAX,1) |
(897) 0x44e100 LEA 0x1(%RAX),%RCX |
(897) 0x44e104 ADD %R10,%RDX |
(897) 0x44e107 CMP %R11,%RAX |
(897) 0x44e10a MOV %RCX,%RAX |
(897) 0x44e10d JE 44de50 |
(897) 0x44e113 TEST %R9,%R9 |
(897) 0x44e116 JLE 44e100 |
(897) 0x44e118 MOV %R8,%RCX |
(897) 0x44e11b IMUL %RAX,%RCX |
(897) 0x44e11f ADD 0x10(%RSP),%RCX |
(897) 0x44e124 XOR %EDI,%EDI |
(897) 0x44e126 NOPW %CS:(%RAX,%RAX,1) |
(898) 0x44e130 VMOVSD (%RDX,%RDI,8),%XMM0 |
(898) 0x44e135 VMOVSD (%RBX,%RCX,8),%XMM1 |
(898) 0x44e13a VFMADD213SD (%RSI,%RDI,8),%XMM0,%XMM1 |
(898) 0x44e140 VMOVSD %XMM1,(%RSI,%RDI,8) |
(898) 0x44e145 INC %RDI |
(898) 0x44e148 CMP %RDI,%R9 |
(898) 0x44e14b JNE 44e130 |
(897) 0x44e14d JMP 44e100 |
0x44e14f NOP |
(896) 0x44e150 MOV 0x50(%RSP),%RDI |
(896) 0x44e155 VMOVQ %RDI,%XMM0 |
(896) 0x44e15a MOV 0x128(%RSP),%RAX |
(896) 0x44e162 LEA (%RAX,%RDI,1),%RCX |
(896) 0x44e166 MOV 0x40(%RSP),%RAX |
(896) 0x44e16b ADD %RAX,%RCX |
(896) 0x44e16e MOV %RCX,0x1d8(%RSP) |
(896) 0x44e176 MOV 0x148(%RSP),%RCX |
(896) 0x44e17e ADD %RDI,%RCX |
(896) 0x44e181 ADD %RAX,%RCX |
(896) 0x44e184 MOV %RCX,0x1d0(%RSP) |
(896) 0x44e18c ADD 0x140(%RSP),%RDI |
(896) 0x44e194 ADD %RAX,%RDI |
(896) 0x44e197 MOV %RDI,0x50(%RSP) |
(896) 0x44e19c MOV 0x60(%RSP),%RAX |
(896) 0x44e1a1 ADD %R10,%RAX |
(896) 0x44e1a4 MOV 0xa8(%RSP),%RCX |
(896) 0x44e1ac ADD %RCX,%RAX |
(896) 0x44e1af MOV %RAX,0xb8(%RSP) |
(896) 0x44e1b7 MOV 0x120(%RSP),%RAX |
(896) 0x44e1bf ADD %R10,%RAX |
(896) 0x44e1c2 ADD %RCX,%RAX |
(896) 0x44e1c5 MOV %RAX,0xc0(%RSP) |
(896) 0x44e1cd MOV 0x118(%RSP),%RAX |
(896) 0x44e1d5 LEA (%R10,%RAX,1),%RBX |
(896) 0x44e1d9 ADD %RCX,%RBX |
(896) 0x44e1dc MOV 0x110(%RSP),%RAX |
(896) 0x44e1e4 ADD %R10,%RAX |
(896) 0x44e1e7 ADD %RCX,%RAX |
(896) 0x44e1ea MOV %RAX,0xd0(%RSP) |
(896) 0x44e1f2 MOV 0x108(%RSP),%RAX |
(896) 0x44e1fa MOV %R10,%RDI |
(896) 0x44e1fd LEA (%R10,%RAX,1),%R12 |
(896) 0x44e201 ADD %RCX,%R12 |
(896) 0x44e204 MOV 0x100(%RSP),%RAX |
(896) 0x44e20c LEA (%R10,%RAX,1),%R8 |
(896) 0x44e210 MOV %RBX,%R10 |
(896) 0x44e213 MOV 0xb0(%RSP),%RBX |
(896) 0x44e21b ADD %RCX,%R8 |
(896) 0x44e21e MOV %R8,0xc8(%RSP) |
(896) 0x44e226 ADD 0x138(%RSP),%RDI |
(896) 0x44e22e ADD %RCX,%RDI |
(896) 0x44e231 MOV %RDI,0xd8(%RSP) |
(896) 0x44e239 MOV 0x28(%RSP),%RDI |
(896) 0x44e23e IMUL %RDX,%RDI |
(896) 0x44e242 ADD 0x78(%RSP),%RDI |
(896) 0x44e247 VPADDQ 0x200(%RSP),%XMM0,%XMM20 |
(896) 0x44e24f XOR %EAX,%EAX |
(896) 0x44e251 MOV 0x8(%RSP),%R13 |
(896) 0x44e256 MOV (%RSP),%R8 |
(896) 0x44e25a MOV %RDX,0x1c0(%RSP) |
(896) 0x44e262 JMP 44e28d |
0x44e264 NOPW %CS:(%RAX,%RAX,1) |
(902) 0x44e270 LEA 0x1(%RAX),%RCX |
(902) 0x44e274 ADD 0x1e8(%RSP),%RDI |
(902) 0x44e27c CMP 0x1f0(%RSP),%RAX |
(902) 0x44e284 MOV %RCX,%RAX |
(902) 0x44e287 JE 44dfbf |
(902) 0x44e28d TEST %R9,%R9 |
(902) 0x44e290 JLE 44e270 |
(902) 0x44e292 MOV %RDI,0x68(%RSP) |
(902) 0x44e297 MOV 0x1c8(%RSP),%R15 |
(902) 0x44e29f IMUL %RAX,%R15 |
(902) 0x44e2a3 MOV 0x10(%RSP),%RCX |
(902) 0x44e2a8 LEA (%RCX,%R15,1),%R13 |
(902) 0x44e2ac MOV 0x1d8(%RSP),%RCX |
(902) 0x44e2b4 ADD %R15,%RCX |
(902) 0x44e2b7 MOV 0x1d0(%RSP),%RDI |
(902) 0x44e2bf LEA (%RDI,%R15,1),%RDI |
(902) 0x44e2c3 MOV 0x50(%RSP),%R8 |
(902) 0x44e2c8 LEA (%R8,%R15,1),%R8 |
(902) 0x44e2cc VMOVSD (%RBX,%R13,8),%XMM28 |
(902) 0x44e2d3 VMOVSD (%RBX,%RCX,8),%XMM27 |
(902) 0x44e2da VMOVSD (%RBX,%RDI,8),%XMM26 |
(902) 0x44e2e1 VMOVSD (%RBX,%R8,8),%XMM25 |
(902) 0x44e2e8 VMOVQ %R15,%XMM0 |
(902) 0x44e2ed VPADDQ %XMM20,%XMM0,%XMM0 |
(902) 0x44e2f3 VPBROADCASTQ %XMM0,%YMM0 |
(902) 0x44e2f8 VPADDQ 0x280(%RSP),%YMM0,%YMM0 |
(902) 0x44e301 VMOVQ %XMM0,%RCX |
(902) 0x44e306 VMOVSD (%RBX,%RCX,8),%XMM24 |
(902) 0x44e30d VPEXTRQ $0x1,%XMM0,%RCX |
(902) 0x44e313 VMOVSD (%RBX,%RCX,8),%XMM23 |
(902) 0x44e31a VEXTRACTI128 $0x1,%YMM0,%XMM0 |
(902) 0x44e320 VMOVQ %XMM0,%RCX |
(902) 0x44e325 VMOVSD (%RBX,%RCX,8),%XMM22 |
(902) 0x44e32c VPEXTRQ $0x1,%XMM0,%RCX |
(902) 0x44e332 VMOVSD (%RBX,%RCX,8),%XMM21 |
(902) 0x44e339 CMPQ $0,0x18(%RSP) |
(902) 0x44e33f JE 44e470 |
(902) 0x44e345 MOV 0x8(%RSP),%R15 |
(902) 0x44e34a MOV %RAX,0x1e0(%RSP) |
(902) 0x44e352 IMUL %RAX,%R15 |
(902) 0x44e356 VBROADCASTSD %XMM28,%YMM29 |
(902) 0x44e35c VBROADCASTSD %XMM27,%YMM30 |
(902) 0x44e362 VBROADCASTSD %XMM26,%YMM31 |
(902) 0x44e368 VBROADCASTSD %XMM25,%YMM0 |
(902) 0x44e36e VBROADCASTSD %XMM24,%YMM3 |
(902) 0x44e374 VBROADCASTSD %XMM23,%YMM2 |
(902) 0x44e37a VBROADCASTSD %XMM22,%YMM1 |
(902) 0x44e380 VBROADCASTSD %XMM21,%YMM4 |
(902) 0x44e386 XOR %R13D,%R13D |
(902) 0x44e389 MOV %R10,%RBX |
(902) 0x44e38c MOV 0xc0(%RSP),%RDX |
(902) 0x44e394 MOV 0xb8(%RSP),%R10 |
(902) 0x44e39c MOV 0xd8(%RSP),%R11 |
(902) 0x44e3a4 MOV %R12,%R9 |
(902) 0x44e3a7 MOV 0xd0(%RSP),%R12 |
(902) 0x44e3af MOV 0xc8(%RSP),%R8 |
(902) 0x44e3b7 MOV 0x68(%RSP),%RAX |
(902) 0x44e3bc NOPL (%RAX) |
(903) 0x44e3c0 LEA (%R15,%R13,1),%RCX |
(903) 0x44e3c4 VMOVUPD (%RAX,%R13,8),%YMM5 |
(903) 0x44e3ca VFMADD213PD (%RSI,%R13,8),%YMM29,%YMM5 |
(903) 0x44e3d1 LEA (%R10,%RCX,1),%RDI |
(903) 0x44e3d5 VFMADD231PD (%R14,%RDI,8),%YMM30,%YMM5 |
(903) 0x44e3dc LEA (%RDX,%RCX,1),%RDI |
(903) 0x44e3e0 VFMADD231PD (%R14,%RDI,8),%YMM31,%YMM5 |
(903) 0x44e3e7 LEA (%RBX,%RCX,1),%RDI |
(903) 0x44e3eb VFMADD231PD (%R14,%RDI,8),%YMM0,%YMM5 |
(903) 0x44e3f1 LEA (%R12,%RCX,1),%RDI |
(903) 0x44e3f5 VFMADD231PD (%R14,%RDI,8),%YMM3,%YMM5 |
(903) 0x44e3fb LEA (%R9,%RCX,1),%RDI |
(903) 0x44e3ff VFMADD231PD (%R14,%RDI,8),%YMM2,%YMM5 |
(903) 0x44e405 LEA (%R8,%RCX,1),%RDI |
(903) 0x44e409 VFMADD231PD (%R14,%RDI,8),%YMM1,%YMM5 |
(903) 0x44e40f ADD %R11,%RCX |
(903) 0x44e412 VFMADD231PD (%R14,%RCX,8),%YMM4,%YMM5 |
(903) 0x44e418 VMOVUPD %YMM5,(%RSI,%R13,8) |
(903) 0x44e41e ADD $0x4,%R13 |
(903) 0x44e422 CMP (%RSP),%R13 |
(903) 0x44e426 JLE 44e3c0 |
(902) 0x44e428 MOV 0x18(%RSP),%RCX |
(902) 0x44e42d MOV %RCX,%R15 |
(902) 0x44e430 MOV 0x1b8(%RSP),%RDI |
(902) 0x44e438 CMP %RCX,%RDI |
(902) 0x44e43b MOV 0x8(%RSP),%R13 |
(902) 0x44e440 MOV %RBX,%R10 |
(902) 0x44e443 MOV 0xb0(%RSP),%RBX |
(902) 0x44e44b MOV %R9,%R12 |
(902) 0x44e44e MOV %RDI,%R9 |
(902) 0x44e451 MOV (%RSP),%R8 |
(902) 0x44e455 MOV 0x1c0(%RSP),%RDX |
(902) 0x44e45d MOV %RAX,%RDI |
(902) 0x44e460 MOV 0x1e0(%RSP),%RAX |
(902) 0x44e468 JE 44e270 |
(902) 0x44e46e JMP 44e481 |
(902) 0x44e470 XOR %R15D,%R15D |
(902) 0x44e473 MOV 0x8(%RSP),%R13 |
(902) 0x44e478 MOV (%RSP),%R8 |
(902) 0x44e47c MOV 0x68(%RSP),%RDI |
(902) 0x44e481 VPBROADCASTQ %R15,%YMM0 |
(902) 0x44e487 VMOVDQU 0x220(%RSP),%YMM1 |
(902) 0x44e490 VPSUBQ %YMM0,%YMM1,%YMM0 |
(902) 0x44e494 VPCMPNLEUQ 0x58a81(%RIP),%YMM0,%K1 |
(902) 0x44e49f KORTESTB %K1,%K1 |
(902) 0x44e4a3 JE 44e270 |
(902) 0x44e4a9 MOV 0x1b0(%RSP),%RCX |
(902) 0x44e4b1 ADD %R15,%RCX |
(902) 0x44e4b4 MOV %R13,%R11 |
(902) 0x44e4b7 IMUL %RAX,%R11 |
(902) 0x44e4bb ADD %R11,%RCX |
(902) 0x44e4be VMOVUPD (%R14,%RCX,8),%YMM0{%K1}{z} |
(902) 0x44e4c5 VMOVAPD %YMM0,%YMM19{%K1} |
(902) 0x44e4cb VBROADCASTSD %XMM28,%YMM0 |
(902) 0x44e4d1 MOV 0xe0(%RSP),%RCX |
(902) 0x44e4d9 MOV %R12,%R13 |
(902) 0x44e4dc MOV %R10,%R12 |
(902) 0x44e4df LEA (%RCX,%R15,1),%R10 |
(902) 0x44e4e3 MOV 0x58(%RSP),%RDI |
(902) 0x44e4e8 VMOVUPD (%RDI,%R10,8),%YMM1{%K1}{z} |
(902) 0x44e4ef VMOVAPD %YMM1,%YMM18{%K1} |
(902) 0x44e4f5 VFMADD213PD %YMM18,%YMM19,%YMM0 |
(902) 0x44e4fb VMOVUPD %YMM0,(%RDI,%R10,8){%K1} |
(902) 0x44e502 MOV 0xb8(%RSP),%RCX |
(902) 0x44e50a ADD %R15,%RCX |
(902) 0x44e50d ADD %R11,%RCX |
(902) 0x44e510 VMOVUPD (%R14,%RCX,8),%YMM1{%K1}{z} |
(902) 0x44e517 VMOVAPD %YMM1,%YMM17{%K1} |
(902) 0x44e51d VBROADCASTSD %XMM27,%YMM1 |
(902) 0x44e523 VMOVAPD %YMM0,%YMM16{%K1} |
(902) 0x44e529 VFMADD213PD %YMM16,%YMM17,%YMM1 |
(902) 0x44e52f VMOVUPD %YMM1,(%RDI,%R10,8){%K1} |
(902) 0x44e536 MOV 0xc0(%RSP),%RCX |
(902) 0x44e53e ADD %R15,%RCX |
(902) 0x44e541 ADD %R11,%RCX |
(902) 0x44e544 VMOVUPD (%R14,%RCX,8),%YMM0{%K1}{z} |
(902) 0x44e54b VMOVAPD %YMM0,%YMM15{%K1} |
(902) 0x44e551 VBROADCASTSD %XMM26,%YMM0 |
(902) 0x44e557 VMOVAPD %YMM1,%YMM14{%K1} |
(902) 0x44e55d VFMADD213PD %YMM14,%YMM15,%YMM0 |
(902) 0x44e562 VMOVUPD %YMM0,(%RDI,%R10,8){%K1} |
(902) 0x44e569 LEA (%R12,%R15,1),%RCX |
(902) 0x44e56d ADD %R11,%RCX |
(902) 0x44e570 VMOVUPD (%R14,%RCX,8),%YMM1{%K1}{z} |
(902) 0x44e577 VMOVAPD %YMM1,%YMM13{%K1} |
(902) 0x44e57d VBROADCASTSD %XMM25,%YMM1 |
(902) 0x44e583 VMOVAPD %YMM0,%YMM12{%K1} |
(902) 0x44e589 VFMADD213PD %YMM12,%YMM13,%YMM1 |
(902) 0x44e58e VMOVUPD %YMM1,(%RDI,%R10,8){%K1} |
(902) 0x44e595 MOV 0xd0(%RSP),%RCX |
(902) 0x44e59d ADD %R15,%RCX |
(902) 0x44e5a0 ADD %R11,%RCX |
(902) 0x44e5a3 VMOVUPD (%R14,%RCX,8),%YMM0{%K1}{z} |
(902) 0x44e5aa VMOVAPD %YMM0,%YMM11{%K1} |
(902) 0x44e5b0 VBROADCASTSD %XMM24,%YMM0 |
(902) 0x44e5b6 VMOVAPD %YMM1,%YMM10{%K1} |
(902) 0x44e5bc VFMADD213PD %YMM10,%YMM11,%YMM0 |
(902) 0x44e5c1 VMOVUPD %YMM0,(%RDI,%R10,8){%K1} |
(902) 0x44e5c8 LEA (%R13,%R15,1),%RCX |
(902) 0x44e5cd ADD %R11,%RCX |
(902) 0x44e5d0 VMOVUPD (%R14,%RCX,8),%YMM1{%K1}{z} |
(902) 0x44e5d7 VMOVAPD %YMM1,%YMM9{%K1} |
(902) 0x44e5dd VBROADCASTSD %XMM23,%YMM1 |
(902) 0x44e5e3 VMOVAPD %YMM0,%YMM8{%K1} |
(902) 0x44e5e9 VFMADD213PD %YMM8,%YMM9,%YMM1 |
(902) 0x44e5ee VMOVUPD %YMM1,(%RDI,%R10,8){%K1} |
(902) 0x44e5f5 MOV 0xc8(%RSP),%RCX |
(902) 0x44e5fd ADD %R15,%RCX |
(902) 0x44e600 ADD %R11,%RCX |
(902) 0x44e603 VMOVUPD (%R14,%RCX,8),%YMM0{%K1}{z} |
(902) 0x44e60a ADD 0xd8(%RSP),%R15 |
(902) 0x44e612 ADD %R11,%R15 |
(902) 0x44e615 VMOVAPD %YMM0,%YMM7{%K1} |
(902) 0x44e61b VBROADCASTSD %XMM22,%YMM0 |
(902) 0x44e621 VMOVAPD %YMM1,%YMM6{%K1} |
(902) 0x44e627 VFMADD213PD %YMM6,%YMM7,%YMM0 |
(902) 0x44e62c VMOVUPD %YMM0,(%RDI,%R10,8){%K1} |
(902) 0x44e633 VMOVUPD (%R14,%R15,8),%YMM1{%K1}{z} |
(902) 0x44e63a VMOVUPD 0x240(%RSP),%YMM3 |
(902) 0x44e643 VMOVAPD %YMM1,%YMM3{%K1} |
(902) 0x44e649 VBROADCASTSD %XMM21,%YMM1 |
(902) 0x44e64f VMOVUPD 0x260(%RSP),%YMM2 |
(902) 0x44e658 VMOVAPD %YMM0,%YMM2{%K1} |
(902) 0x44e65e VMOVUPD %YMM2,0x260(%RSP) |
(902) 0x44e667 VMOVUPD %YMM3,0x240(%RSP) |
(902) 0x44e670 VFMADD213PD %YMM2,%YMM3,%YMM1 |
(902) 0x44e675 VMOVUPD %YMM1,(%RDI,%R10,8){%K1} |
(902) 0x44e67c MOV %R12,%R10 |
(902) 0x44e67f MOV %R13,%R12 |
(902) 0x44e682 MOV 0x8(%RSP),%R13 |
(902) 0x44e687 MOV 0x68(%RSP),%RDI |
(902) 0x44e68c JMP 44e270 |
0x44e691 NOPW %CS:(%RAX,%RAX,1) |
(896) 0x44e6a0 MOV 0x48(%RSP),%RCX |
(896) 0x44e6a5 MOV 0x38(%RSP),%R12 |
(896) 0x44e6aa JMP 44de55 |
0x44e6af LEA 0xa3e9a(%RIP),%RDI |
0x44e6b6 MOV 0x70(%RSP),%ESI |
0x44e6ba LEA -0x28(%RBP),%RSP |
0x44e6be POP %RBX |
0x44e6bf POP %R12 |
0x44e6c1 POP %R13 |
0x44e6c3 POP %R14 |
0x44e6c5 POP %R15 |
0x44e6c7 POP %RBP |
0x44e6c8 VZEROUPPER |
0x44e6cb JMP 403050 |
Coverage (%) | Name | Source Location | Module |
---|---|---|---|
►100.00+ | __kmp_invoke_microtask | libiomp5.so | |
○ | __kmp_invoke_task_func | libiomp5.so |
Path / |
Source file and lines | Collapse.hpp:81-83 |
Module | exec |
nb instructions | 206 |
nb uops | 212 |
loop length | 1081 |
used x86 registers | 16 |
used mmx registers | 0 |
used xmm registers | 1 |
used ymm registers | 2 |
used zmm registers | 0 |
nb stack references | 54 |
micro-operation queue | 35.33 cycles |
front end | 35.33 cycles |
P0 | P1 | P2 | P3 | P4 | P5 | P6 | P7 | P8 | P9 | P10 | P11 | |
---|---|---|---|---|---|---|---|---|---|---|---|---|
uops | 10.80 | 13.00 | 11.67 | 11.67 | 31.50 | 10.80 | 10.80 | 31.50 | 31.50 | 31.50 | 10.60 | 11.67 |
cycles | 10.80 | 18.67 | 11.67 | 11.67 | 31.50 | 10.80 | 10.80 | 31.50 | 31.50 | 31.50 | 10.60 | 11.67 |
Cycles executing div or sqrt instructions | NA |
Front-end | 35.33 |
Dispatch | 31.50 |
Overall L1 | 35.33 |
all | 6% |
load | 16% |
store | 3% |
mul | 25% |
add-sub | 20% |
fma | NA (no fma vectorizable/vectorized instructions) |
other | 5% |
all | 50% |
load | 0% |
store | 100% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | NA (no add-sub vectorizable/vectorized instructions) |
fma | NA (no fma vectorizable/vectorized instructions) |
div/sqrt | NA (no div/sqrt vectorizable/vectorized instructions) |
other | NA (no other vectorizable/vectorized instructions) |
all | 7% |
load | 14% |
store | 5% |
mul | 25% |
add-sub | 20% |
fma | NA (no fma vectorizable/vectorized instructions) |
div/sqrt | NA (no div/sqrt vectorizable/vectorized instructions) |
other | 5% |
all | 14% |
load | 18% |
store | 13% |
mul | 21% |
add-sub | 20% |
fma | NA (no fma vectorizable/vectorized instructions) |
other | 12% |
all | 31% |
load | 12% |
store | 50% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | NA (no add-sub vectorizable/vectorized instructions) |
fma | NA (no fma vectorizable/vectorized instructions) |
div/sqrt | NA (no div/sqrt vectorizable/vectorized instructions) |
other | NA (no other vectorizable/vectorized instructions) |
all | 14% |
load | 17% |
store | 14% |
mul | 21% |
add-sub | 20% |
fma | NA (no fma vectorizable/vectorized instructions) |
div/sqrt | NA (no div/sqrt vectorizable/vectorized instructions) |
other | 12% |
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 |
AND $-0x20,%RSP | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1-2 | 0.20 | N/A |
SUB $0x2c0,%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,%R12 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 | scal (12.5%) |
MOVL $0,0x74(%RSP) | 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,0x40(%RSP) | 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),%R13 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 | scal (12.5%) |
MOV 0x18(%R8),%R15 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 | N/A |
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,0x1a0(%RSP) | 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),%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(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
MOV 0x38(%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(%RSP) | 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(%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(%RSP) | 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,0x190(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
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,0x58(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
MOV 0xc8(%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,0x20(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
MOV 0xf0(%R8),%RBX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 | scal (12.5%) |
MOV 0x110(%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(%RSP) | 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(%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(%RSP) | 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(%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 (%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,0xf0(%RSP) | 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,0xf8(%RSP) | 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,0x1f8(%RSP) | 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 0x200(%RSP),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 | N/A |
LEA 0xa49db(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 | N/A |
LEA 0x7c(%RSP),%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 | N/A |
LEA 0x100(%RSP),%R8 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 | N/A |
LEA 0xf8(%RSP),%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 | N/A |
MOV %ESI,0x78(%RSP) | 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 0xf8(%RSP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 | N/A |
MOV 0xf0(%RSP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 | N/A |
MOV %RCX,0x88(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
CMP %RAX,%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%) |
JA 44e6af <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE10LTimesSdomJRNS_6SdomIdERKNS_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS_9DirectionENS_5GroupENS_4ZoneEEEERNSC_IdJNS_6MomentESE_SF_EEERNSC_IdJSI_SD_EEEEEEvT_RKT0_DpOT1_.extracted+0xc3f> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 | N/A |
MOV %R15,%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 | N/A |
SUB %R13,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 | N/A |
MOV %RCX,0x30(%RSP) | 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 44e6af <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE10LTimesSdomJRNS_6SdomIdERKNS_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS_9DirectionENS_5GroupENS_4ZoneEEEERNSC_IdJNS_6MomentESE_SF_EEERNSC_IdJSI_SD_EEEEEEvT_RKT0_DpOT1_.extracted+0xc3f> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 | N/A |
MOV 0x88(%RSP),%RDX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 | N/A |
LEA 0x1(%RDX),%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 | N/A |
INC %RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 | N/A |
CMP %RAX,%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,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 | N/A |
NOT %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 %RAX,%RDX | 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,0x188(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
MOV %R13,%RSI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 | N/A |
MOV %R13,%R11 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 | N/A |
MOV 0x60(%RSP),%R8 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 | N/A |
IMUL %R8,%R11 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 | N/A |
MOV %R8,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 | N/A |
SAR $0x3f,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 | N/A |
ANDN %R8,%RAX,%RAX | 1 | 0 | 0.33 | 0 | 0 | 0 | 0.33 | 0 | 0 | 0 | 0 | 0.33 | 0 | 1-2 | 0.33 | N/A |
MOV %R13,%RDX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 | N/A |
NOT %RDX | 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,%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 | N/A |
IMUL %RAX,%RCX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 | N/A |
MOV %RCX,0x178(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
IMUL %RDX,%RAX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 | N/A |
MOV %RAX,0x180(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
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%) |
MOV $0,%R13D | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 | scal (6.3%) |
CMOVS %R8,%R13 | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
MOV %R15,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 | N/A |
IMUL %R13,%RAX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 | N/A |
MOV %RAX,(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
IMUL %RDX,%R13 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 | scal (12.5%) |
MOV %RSI,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 | N/A |
MOV 0x20(%RSP),%RDI | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 | N/A |
IMUL %RDI,%RAX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 | N/A |
MOV %RAX,0x80(%RSP) | 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,%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 | N/A |
SAR $0x3f,%RCX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 | N/A |
ANDN %RDI,%RCX,%RAX | 1 | 0 | 0.33 | 0 | 0 | 0 | 0.33 | 0 | 0 | 0 | 0 | 0.33 | 0 | 1-2 | 0.33 | N/A |
MOV %R15,%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 | N/A |
IMUL %RAX,%RCX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 | N/A |
IMUL %RDX,%RAX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 | N/A |
TEST %RDI,%RDI | 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%) |
CMOVS %RDI,%R9 | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
IMUL %R9,%RDX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 | N/A |
IMUL %R15,%R9 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 | scal (12.5%) |
ADD %RDX,%R9 | 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 %R9,0x160(%RSP) | 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(%RSP),%R9 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 | scal (12.5%) |
MOV 0xa0(%RSP),%RDX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 | N/A |
SUB %RDX,%R9 | 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 0x30(%RSP),%R15 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 | N/A |
MOV %R15,%R10 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 | scal (12.5%) |
SHR $0x3,%R10 | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 | scal (12.5%) |
DEC %R10 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 | scal (12.5%) |
MOV %R10,0x1f0(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
VMOVSD 0x40(%RSP),%XMM0 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 | scal (12.5%) |
VMOVUPS %YMM0,0x200(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 0-1 | 0.50 | vect (50.0%) |
VPBROADCASTQ %RDI,%YMM0 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 | scal (12.5%) |
VPBROADCASTQ %RSI,%YMM1 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 | scal (12.5%) |
ADD (%RSP),%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,0x170(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
LEA 0x2(%RSI),%R10 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 | N/A |
IMUL %RDI,%R10 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 | scal (12.5%) |
MOV %R10,0x148(%RSP) | 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 %RAX,0x168(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
LEA 0x3(%RSI),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 | N/A |
IMUL %RDI,%RAX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 | N/A |
MOV %RAX,0x140(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
VPADDQ 0x5923f(%RIP),%YMM1,%YMM1 | 1 | 0.33 | 0.33 | 0.33 | 0.33 | 0 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.40 | vect (50.0%) |
VPMULLQ %YMM1,%YMM0,%YMM0 | 5 | 1.50 | 1.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 15 | 1.50 | vect (50.0%) |
VMOVDQU %YMM0,0x280(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 0-1 | 0.50 | vect (50.0%) |
MOV %R9,%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 | N/A |
AND $-0x4,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1-2 | 0.20 | N/A |
LEA (,%R8,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 | N/A |
MOV %RAX,0x8(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
SUB %R8,%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,0x138(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
VPBROADCASTQ %R9,%YMM0 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 | scal (12.5%) |
VMOVDQU %YMM0,0x220(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 0-1 | 0.50 | vect (50.0%) |
MOV %R15,%R10 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 | scal (12.5%) |
AND $-0x8,%R10 | 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%) |
LEA (,%RDX,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 | N/A |
MOV %R11,0xa8(%RSP) | 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,%R11,8),%R11 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 | N/A |
ADD %R14,%R11 | 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,0x78(%RSP) | 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,%R11 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 | N/A |
SAL $0x6,%R11 | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 | N/A |
MOV %R11,0x1e8(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
MOV %R10,0x158(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
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 |
IMUL %R8,%RSI | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 | N/A |
LEA (%RAX,%RSI,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 | 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 %RAX,0x130(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
ADD %RDX,%RSI | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 | N/A |
XOR %EDX,%EDX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 | N/A |
MOV %RSI,0x150(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
LEA -0x1(%R15),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 | N/A |
MOV %RAX,0xe8(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
LEA (,%RDI,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 | N/A |
MOV %RAX,0x1c8(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
MOV 0x80(%RSP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 | N/A |
LEA (%RDI,%RAX,1),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 | N/A |
MOV %RAX,0x128(%RSP) | 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,0x18(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
LEA -0x1(%RCX),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 | N/A |
MOV %RAX,(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
LEA (%R8,%R8,1),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 | N/A |
LEA (%R8,%R8,2),%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 | N/A |
MOV %RCX,0x118(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
LEA (,%R8,4),%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 | N/A |
MOV %RCX,0x110(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
LEA (%R8,%R8,4),%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 | N/A |
MOV %RCX,0x108(%RSP) | 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,0x120(%RSP) | 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,%RAX,2),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 | N/A |
MOV %RAX,0x100(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
MOV 0x90(%RSP),%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,0x28(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
MOV %R12,0x38(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
MOV %RBX,0xb0(%RSP) | 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,0x1b8(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
JMP 44de67 <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE10LTimesSdomJRNS_6SdomIdERKNS_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS_9DirectionENS_5GroupENS_4ZoneEEEERNSC_IdJNS_6MomentESE_SF_EEERNSC_IdJSI_SD_EEEEEEvT_RKT0_DpOT1_.extracted+0x3f7> | 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 |
NOPW (%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 |
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 |
NOP | 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 |
LEA 0xa3e9a(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 | N/A |
MOV 0x70(%RSP),%ESI | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 | N/A |
LEA -0x28(%RBP),%RSP | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 | 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 |
VZEROUPPER | 2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | vect (25.0%) |
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 |
Source file and lines | Collapse.hpp:81-83 |
Module | exec |
nb instructions | 206 |
nb uops | 212 |
loop length | 1081 |
used x86 registers | 16 |
used mmx registers | 0 |
used xmm registers | 1 |
used ymm registers | 2 |
used zmm registers | 0 |
nb stack references | 54 |
micro-operation queue | 35.33 cycles |
front end | 35.33 cycles |
P0 | P1 | P2 | P3 | P4 | P5 | P6 | P7 | P8 | P9 | P10 | P11 | |
---|---|---|---|---|---|---|---|---|---|---|---|---|
uops | 10.80 | 13.00 | 11.67 | 11.67 | 31.50 | 10.80 | 10.80 | 31.50 | 31.50 | 31.50 | 10.60 | 11.67 |
cycles | 10.80 | 18.67 | 11.67 | 11.67 | 31.50 | 10.80 | 10.80 | 31.50 | 31.50 | 31.50 | 10.60 | 11.67 |
Cycles executing div or sqrt instructions | NA |
Front-end | 35.33 |
Dispatch | 31.50 |
Overall L1 | 35.33 |
all | 6% |
load | 16% |
store | 3% |
mul | 25% |
add-sub | 20% |
fma | NA (no fma vectorizable/vectorized instructions) |
other | 5% |
all | 50% |
load | 0% |
store | 100% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | NA (no add-sub vectorizable/vectorized instructions) |
fma | NA (no fma vectorizable/vectorized instructions) |
div/sqrt | NA (no div/sqrt vectorizable/vectorized instructions) |
other | NA (no other vectorizable/vectorized instructions) |
all | 7% |
load | 14% |
store | 5% |
mul | 25% |
add-sub | 20% |
fma | NA (no fma vectorizable/vectorized instructions) |
div/sqrt | NA (no div/sqrt vectorizable/vectorized instructions) |
other | 5% |
all | 14% |
load | 18% |
store | 13% |
mul | 21% |
add-sub | 20% |
fma | NA (no fma vectorizable/vectorized instructions) |
other | 12% |
all | 31% |
load | 12% |
store | 50% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | NA (no add-sub vectorizable/vectorized instructions) |
fma | NA (no fma vectorizable/vectorized instructions) |
div/sqrt | NA (no div/sqrt vectorizable/vectorized instructions) |
other | NA (no other vectorizable/vectorized instructions) |
all | 14% |
load | 17% |
store | 14% |
mul | 21% |
add-sub | 20% |
fma | NA (no fma vectorizable/vectorized instructions) |
div/sqrt | NA (no div/sqrt vectorizable/vectorized instructions) |
other | 12% |
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 |
AND $-0x20,%RSP | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1-2 | 0.20 | N/A |
SUB $0x2c0,%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,%R12 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 | scal (12.5%) |
MOVL $0,0x74(%RSP) | 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,0x40(%RSP) | 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),%R13 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 | scal (12.5%) |
MOV 0x18(%R8),%R15 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 | N/A |
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,0x1a0(%RSP) | 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),%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(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
MOV 0x38(%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(%RSP) | 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(%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(%RSP) | 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,0x190(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
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,0x58(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
MOV 0xc8(%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,0x20(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
MOV 0xf0(%R8),%RBX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 | scal (12.5%) |
MOV 0x110(%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(%RSP) | 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(%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(%RSP) | 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(%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 (%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,0xf0(%RSP) | 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,0xf8(%RSP) | 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,0x1f8(%RSP) | 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 0x200(%RSP),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 | N/A |
LEA 0xa49db(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 | N/A |
LEA 0x7c(%RSP),%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 | N/A |
LEA 0x100(%RSP),%R8 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 | N/A |
LEA 0xf8(%RSP),%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 | N/A |
MOV %ESI,0x78(%RSP) | 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 0xf8(%RSP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 | N/A |
MOV 0xf0(%RSP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 | N/A |
MOV %RCX,0x88(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
CMP %RAX,%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%) |
JA 44e6af <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE10LTimesSdomJRNS_6SdomIdERKNS_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS_9DirectionENS_5GroupENS_4ZoneEEEERNSC_IdJNS_6MomentESE_SF_EEERNSC_IdJSI_SD_EEEEEEvT_RKT0_DpOT1_.extracted+0xc3f> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 | N/A |
MOV %R15,%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 | N/A |
SUB %R13,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 | N/A |
MOV %RCX,0x30(%RSP) | 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 44e6af <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE10LTimesSdomJRNS_6SdomIdERKNS_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS_9DirectionENS_5GroupENS_4ZoneEEEERNSC_IdJNS_6MomentESE_SF_EEERNSC_IdJSI_SD_EEEEEEvT_RKT0_DpOT1_.extracted+0xc3f> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 | N/A |
MOV 0x88(%RSP),%RDX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 | N/A |
LEA 0x1(%RDX),%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 | N/A |
INC %RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 | N/A |
CMP %RAX,%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,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 | N/A |
NOT %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 %RAX,%RDX | 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,0x188(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
MOV %R13,%RSI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 | N/A |
MOV %R13,%R11 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 | N/A |
MOV 0x60(%RSP),%R8 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 | N/A |
IMUL %R8,%R11 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 | N/A |
MOV %R8,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 | N/A |
SAR $0x3f,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 | N/A |
ANDN %R8,%RAX,%RAX | 1 | 0 | 0.33 | 0 | 0 | 0 | 0.33 | 0 | 0 | 0 | 0 | 0.33 | 0 | 1-2 | 0.33 | N/A |
MOV %R13,%RDX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 | N/A |
NOT %RDX | 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,%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 | N/A |
IMUL %RAX,%RCX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 | N/A |
MOV %RCX,0x178(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
IMUL %RDX,%RAX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 | N/A |
MOV %RAX,0x180(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
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%) |
MOV $0,%R13D | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 | scal (6.3%) |
CMOVS %R8,%R13 | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
MOV %R15,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 | N/A |
IMUL %R13,%RAX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 | N/A |
MOV %RAX,(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
IMUL %RDX,%R13 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 | scal (12.5%) |
MOV %RSI,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 | N/A |
MOV 0x20(%RSP),%RDI | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 | N/A |
IMUL %RDI,%RAX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 | N/A |
MOV %RAX,0x80(%RSP) | 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,%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 | N/A |
SAR $0x3f,%RCX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 | N/A |
ANDN %RDI,%RCX,%RAX | 1 | 0 | 0.33 | 0 | 0 | 0 | 0.33 | 0 | 0 | 0 | 0 | 0.33 | 0 | 1-2 | 0.33 | N/A |
MOV %R15,%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 | N/A |
IMUL %RAX,%RCX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 | N/A |
IMUL %RDX,%RAX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 | N/A |
TEST %RDI,%RDI | 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%) |
CMOVS %RDI,%R9 | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
IMUL %R9,%RDX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 | N/A |
IMUL %R15,%R9 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 | scal (12.5%) |
ADD %RDX,%R9 | 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 %R9,0x160(%RSP) | 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(%RSP),%R9 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 | scal (12.5%) |
MOV 0xa0(%RSP),%RDX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 | N/A |
SUB %RDX,%R9 | 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 0x30(%RSP),%R15 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 | N/A |
MOV %R15,%R10 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 | scal (12.5%) |
SHR $0x3,%R10 | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 | scal (12.5%) |
DEC %R10 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 | scal (12.5%) |
MOV %R10,0x1f0(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
VMOVSD 0x40(%RSP),%XMM0 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 | scal (12.5%) |
VMOVUPS %YMM0,0x200(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 0-1 | 0.50 | vect (50.0%) |
VPBROADCASTQ %RDI,%YMM0 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 | scal (12.5%) |
VPBROADCASTQ %RSI,%YMM1 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 | scal (12.5%) |
ADD (%RSP),%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,0x170(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
LEA 0x2(%RSI),%R10 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 | N/A |
IMUL %RDI,%R10 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 | scal (12.5%) |
MOV %R10,0x148(%RSP) | 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 %RAX,0x168(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
LEA 0x3(%RSI),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 | N/A |
IMUL %RDI,%RAX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 | N/A |
MOV %RAX,0x140(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
VPADDQ 0x5923f(%RIP),%YMM1,%YMM1 | 1 | 0.33 | 0.33 | 0.33 | 0.33 | 0 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.40 | vect (50.0%) |
VPMULLQ %YMM1,%YMM0,%YMM0 | 5 | 1.50 | 1.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 15 | 1.50 | vect (50.0%) |
VMOVDQU %YMM0,0x280(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 0-1 | 0.50 | vect (50.0%) |
MOV %R9,%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 | N/A |
AND $-0x4,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1-2 | 0.20 | N/A |
LEA (,%R8,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 | N/A |
MOV %RAX,0x8(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
SUB %R8,%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,0x138(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
VPBROADCASTQ %R9,%YMM0 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 | scal (12.5%) |
VMOVDQU %YMM0,0x220(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 0-1 | 0.50 | vect (50.0%) |
MOV %R15,%R10 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 | scal (12.5%) |
AND $-0x8,%R10 | 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%) |
LEA (,%RDX,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 | N/A |
MOV %R11,0xa8(%RSP) | 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,%R11,8),%R11 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 | N/A |
ADD %R14,%R11 | 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,0x78(%RSP) | 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,%R11 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 | N/A |
SAL $0x6,%R11 | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 | N/A |
MOV %R11,0x1e8(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
MOV %R10,0x158(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
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 |
IMUL %R8,%RSI | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 | N/A |
LEA (%RAX,%RSI,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 | 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 %RAX,0x130(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
ADD %RDX,%RSI | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 | N/A |
XOR %EDX,%EDX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 | N/A |
MOV %RSI,0x150(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
LEA -0x1(%R15),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 | N/A |
MOV %RAX,0xe8(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
LEA (,%RDI,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 | N/A |
MOV %RAX,0x1c8(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
MOV 0x80(%RSP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 | N/A |
LEA (%RDI,%RAX,1),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 | N/A |
MOV %RAX,0x128(%RSP) | 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,0x18(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
LEA -0x1(%RCX),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 | N/A |
MOV %RAX,(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
LEA (%R8,%R8,1),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 | N/A |
LEA (%R8,%R8,2),%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 | N/A |
MOV %RCX,0x118(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
LEA (,%R8,4),%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 | N/A |
MOV %RCX,0x110(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
LEA (%R8,%R8,4),%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 | N/A |
MOV %RCX,0x108(%RSP) | 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,0x120(%RSP) | 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,%RAX,2),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 | N/A |
MOV %RAX,0x100(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
MOV 0x90(%RSP),%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,0x28(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
MOV %R12,0x38(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
MOV %RBX,0xb0(%RSP) | 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,0x1b8(%RSP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 | scal (12.5%) |
JMP 44de67 <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE10LTimesSdomJRNS_6SdomIdERKNS_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS_9DirectionENS_5GroupENS_4ZoneEEEERNSC_IdJNS_6MomentESE_SF_EEERNSC_IdJSI_SD_EEEEEEvT_RKT0_DpOT1_.extracted+0x3f7> | 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 |
NOPW (%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 |
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 |
NOP | 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 |
LEA 0xa3e9a(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 | N/A |
MOV 0x70(%RSP),%ESI | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 | N/A |
LEA -0x28(%RBP),%RSP | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 | 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 |
VZEROUPPER | 2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | vect (25.0%) |
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 |
Name | Coverage (%) | Time (s) |
---|---|---|
▼void Kripke::DispatchHelper | 3.07 | 1.48 |
▼Loop 896 - LTimes.cpp:62-62 - exec– | 0.00 | 0.00 |
▼Loop 902 - forall.hpp:59-59 - exec– | 0.00 | 0.00 |
○Loop 903 - forall.hpp:59-59 - exec | 1.81 | 0.86 |
▼Loop 899 - forall.hpp:59-59 - exec– | 0.00 | 0.00 |
○Loop 901 - forall.hpp:59-59 - exec | 1.25 | 0.59 |
○Loop 900 - forall.hpp:59-59 - exec | 0.00 | 0.00 |
▼Loop 897 - forall.hpp:59-59 - exec– | 0.00 | 0.00 |
○Loop 898 - forall.hpp:59-59 - exec | 0.00 | 0.00 |