Function: void LPlusTimesSdom::operator()<Kripke::ArchLayoutT<Kripke::ArchT_OpenMP, Kripke::LayoutT_ ... | Module: libkripke.so | Source: Collapse.hpp:81-89 [...] | Coverage: 3.71% |
---|
Function: void LPlusTimesSdom::operator()<Kripke::ArchLayoutT<Kripke::ArchT_OpenMP, Kripke::LayoutT_ ... | Module: libkripke.so | Source: Collapse.hpp:81-89 [...] | Coverage: 3.71% |
---|
/scratch_na/users/xoserete/qaas_runs/171-319-6990/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/util/View.hpp: 79 - 110 |
-------------------------------------------------------------------------------- |
79: : layout(V.layout), data(V.data) |
[...] |
110: return data[idx]; |
/scratch_na/users/xoserete/qaas_runs/171-319-6990/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/policy/openmp/kernel/Collapse.hpp: 81 - 89 |
-------------------------------------------------------------------------------- |
81: #pragma omp parallel for private(i0, i1) firstprivate(privatizer) \ |
82: RAJA_COLLAPSE(2) |
83: for (i0 = 0; i0 < l0; ++i0) { |
[...] |
89: } |
/scratch_na/users/xoserete/qaas_runs/171-319-6990/intel/Kripke/build/Kripke/src/Kripke/Kernel/LPlusTimes.cpp: 57 - 57 |
-------------------------------------------------------------------------------- |
57: rhs(d,g,z) += ell_plus(d, nm) * phi_out(nm, g, z); |
/scratch_na/users/xoserete/qaas_runs/171-319-6990/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) { |
/scratch_na/users/xoserete/qaas_runs/171-319-6990/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/util/Layout.hpp: 55 - 55 |
-------------------------------------------------------------------------------- |
55: return a * b; |
/scratch_na/users/xoserete/qaas_runs/171-319-6990/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/internal/Iterators.hpp: 55 - 177 |
-------------------------------------------------------------------------------- |
55: : val(rhs.val) |
[...] |
177: return value_type(val + rhs); |
0x40590 PUSH %RBP |
0x40591 MOV %RSP,%RBP |
0x40594 PUSH %R15 |
0x40596 PUSH %R14 |
0x40598 PUSH %R13 |
0x4059a PUSH %R12 |
0x4059c PUSH %RBX |
0x4059d SUB $0x248,%RSP |
0x405a4 MOV %RDX,-0x200(%RBP) |
0x405ab MOVL $0,-0x90(%RBP) |
0x405b5 MOV (%R8),%RAX |
0x405b8 MOV %RAX,-0x1f8(%RBP) |
0x405bf MOV 0x10(%R8),%RAX |
0x405c3 MOV %RAX,-0x40(%RBP) |
0x405c7 MOV 0x18(%R8),%RAX |
0x405cb MOV %RAX,-0x50(%RBP) |
0x405cf MOV 0x20(%R8),%RAX |
0x405d3 MOV %RAX,-0x1f0(%RBP) |
0x405da MOV 0x30(%R8),%RAX |
0x405de MOV %RAX,-0x58(%RBP) |
0x405e2 MOV 0x38(%R8),%RAX |
0x405e6 MOV %RAX,-0xd0(%RBP) |
0x405ed MOV 0x60(%R8),%RAX |
0x405f1 MOV %RAX,-0xc8(%RBP) |
0x405f8 MOV 0x68(%R8),%RAX |
0x405fc MOV %RAX,-0xc0(%RBP) |
0x40603 MOV 0xa8(%R8),%RAX |
0x4060a MOV %RAX,-0xb8(%RBP) |
0x40611 MOV (%RDI),%ESI |
0x40613 MOV %R9,-0x178(%RBP) |
0x4061a MOV 0xc0(%R8),%RAX |
0x40621 MOV %RAX,-0x1e8(%RBP) |
0x40628 MOV 0xf0(%R8),%R12 |
0x4062f MOV 0x110(%R8),%RBX |
0x40636 MOV 0x118(%R8),%RAX |
0x4063d MOV %RAX,-0xb0(%RBP) |
0x40644 MOV 0x158(%R8),%R13 |
0x4064b MOVQ $0,-0x180(%RBP) |
0x40656 MOVQ $0x1,-0x268(%RBP) |
0x40661 SUB $0x8,%RSP |
0x40665 LEA -0x268(%RBP),%RAX |
0x4066c LEA 0x293cdd(%RIP),%RDI |
0x40673 LEA -0x90(%RBP),%RCX |
0x4067a LEA -0x180(%RBP),%R8 |
0x40681 LEA -0x178(%RBP),%R9 |
0x40688 MOV %ESI,-0x8c(%RBP) |
0x4068e MOV $0x22,%EDX |
0x40693 PUSH $0x1 |
0x40695 PUSH $0x1 |
0x40697 PUSH %RAX |
0x40698 CALL 9930 <__kmpc_for_static_init_8@plt> |
0x4069d ADD $0x20,%RSP |
0x406a1 MOV -0x180(%RBP),%RCX |
0x406a8 MOV -0x178(%RBP),%RAX |
0x406af MOV %RCX,-0xa8(%RBP) |
0x406b6 CMP %RAX,%RCX |
0x406b9 JA 41042 |
0x406bf MOV -0x50(%RBP),%RCX |
0x406c3 CMP -0x40(%RBP),%RCX |
0x406c7 JLE 41042 |
0x406cd MOV %RBX,%RSI |
0x406d0 MOV -0xa8(%RBP),%RDX |
0x406d7 LEA 0x1(%RDX),%RCX |
0x406db INC %RAX |
0x406de CMP %RAX,%RCX |
0x406e1 CMOVG %RCX,%RAX |
0x406e5 NOT %RDX |
0x406e8 ADD %RAX,%RDX |
0x406eb MOV %RDX,-0x1e0(%RBP) |
0x406f2 MOV -0x40(%RBP),%RCX |
0x406f6 MOV %RCX,%RDI |
0x406f9 IMUL %RBX,%RDI |
0x406fd MOV %RBX,%RAX |
0x40700 SAR $0x3f,%RAX |
0x40704 ANDN %RBX,%RAX,%RDX |
0x40709 MOV -0x50(%RBP),%RAX |
0x4070d MOV %RAX,%R8 |
0x40710 MOV %RDX,-0x1d0(%RBP) |
0x40717 IMUL %RDX,%R8 |
0x4071b MOV %R8,-0x1c8(%RBP) |
0x40722 XOR %R8D,%R8D |
0x40725 TEST %RBX,%RBX |
0x40728 MOV $0,%EDX |
0x4072d CMOVS %RBX,%RDX |
0x40731 MOV %RAX,%R9 |
0x40734 MOV %RDX,-0x1c0(%RBP) |
0x4073b IMUL %RDX,%R9 |
0x4073f MOV %R9,-0x1b8(%RBP) |
0x40746 NOT %RCX |
0x40749 MOV %RCX,-0x1b0(%RBP) |
0x40750 ADD %RCX,%RAX |
0x40753 MOV %RAX,-0x68(%RBP) |
0x40757 SHR $0x6,%RAX |
0x4075b MOV %RAX,-0x220(%RBP) |
0x40762 MOV -0xd0(%RBP),%RAX |
0x40769 MOV -0x58(%RBP),%RDX |
0x4076d SUB %RDX,%RAX |
0x40770 MOV %RAX,-0x60(%RBP) |
0x40774 DEC %RAX |
0x40777 MOV %RAX,-0xf0(%RBP) |
0x4077e SHR $0x6,%RAX |
0x40782 MOV %RAX,-0x230(%RBP) |
0x40789 MOV %RBX,%RAX |
0x4078c SAL $0x6,%RAX |
0x40790 MOV %RAX,-0x130(%RBP) |
0x40797 LEA (,%RBX,8),%RAX |
0x4079f MOV %RAX,-0x38(%RBP) |
0x407a3 SUB %RBX,%RAX |
0x407a6 MOV %RAX,-0x168(%RBP) |
0x407ad LEA (,%RDX,8),%RAX |
0x407b5 LEA (%RAX,%RDI,8),%RAX |
0x407b9 ADD %R13,%RAX |
0x407bc MOV %RAX,-0xa0(%RBP) |
0x407c3 MOV %RBX,%RAX |
0x407c6 SAL $0x9,%RAX |
0x407ca MOV %RAX,-0x218(%RBP) |
0x407d1 LEA (%RBX,%RBX,1),%RAX |
0x407d5 MOV %RAX,-0x1a0(%RBP) |
0x407dc LEA (%RBX,%RBX,2),%R9 |
0x407e0 LEA (,%RBX,4),%R10 |
0x407e8 LEA (%RBX,%RBX,4),%RCX |
0x407ec MOV %RCX,-0x170(%RBP) |
0x407f3 LEA (%RAX,%RAX,2),%RAX |
0x407f7 MOV %RAX,-0x80(%RBP) |
0x407fb MOV -0xb0(%RBP),%RAX |
0x40802 LEA (,%RAX,8),%RAX |
0x4080a MOV %RAX,-0x98(%RBP) |
0x40811 MOV -0xb8(%RBP),%RAX |
0x40818 LEA (%RAX,%RDX,8),%RAX |
0x4081c MOV %RAX,-0x198(%RBP) |
0x40823 MOV -0xc0(%RBP),%RAX |
0x4082a LEA (,%RAX,8),%RAX |
0x40832 MOV %RAX,-0x190(%RBP) |
0x40839 MOV -0xc8(%RBP),%RAX |
0x40840 LEA (,%RAX,8),%RAX |
0x40848 MOV %RAX,-0x188(%RBP) |
0x4084f MOV %RDI,-0x1d8(%RBP) |
0x40856 LEA (%RDX,%RDI,1),%RAX |
0x4085a MOV %RAX,-0x1a8(%RBP) |
0x40861 MOV %RBX,-0x118(%RBP) |
0x40868 MOV %R12,-0x250(%RBP) |
0x4086f MOV %R9,-0x160(%RBP) |
0x40876 MOV %R10,-0x88(%RBP) |
0x4087d JMP 40898 |
0x4087f NOP |
(689) 0x40880 MOV -0x208(%RBP),%R8 |
(689) 0x40887 CMP -0x1e0(%RBP),%R8 |
(689) 0x4088e LEA 0x1(%R8),%R8 |
(689) 0x40892 JE 41042 |
(689) 0x40898 MOV -0xa8(%RBP),%RAX |
(689) 0x4089f ADD %R8,%RAX |
(689) 0x408a2 MOV %RAX,%RDX |
(689) 0x408a5 MOV -0x200(%RBP),%RSI |
(689) 0x408ac OR %RSI,%RDX |
(689) 0x408af SHR $0x20,%RDX |
(689) 0x408b3 MOV %R8,-0x208(%RBP) |
(689) 0x408ba JE 408d0 |
(689) 0x408bc CQTO |
(689) 0x408be IDIV %RSI |
(689) 0x408c1 MOV %RAX,%RBX |
(689) 0x408c4 JMP 408d6 |
0x408c6 NOPW %CS:(%RAX,%RAX,1) |
(689) 0x408d0 XOR %EDX,%EDX |
(689) 0x408d2 DIV %ESI |
(689) 0x408d4 MOV %EAX,%EBX |
(689) 0x408d6 ADD -0x1f8(%RBP),%RBX |
(689) 0x408dd ADD -0x1f0(%RBP),%RDX |
(689) 0x408e4 MOV -0xb0(%RBP),%R10 |
(689) 0x408eb IMUL %RDX,%R10 |
(689) 0x408ef MOV -0xd0(%RBP),%RSI |
(689) 0x408f6 MOV -0x1d8(%RBP),%RAX |
(689) 0x408fd ADD %RSI,%RAX |
(689) 0x40900 MOV -0x1d0(%RBP),%RDI |
(689) 0x40907 MOV -0x1b0(%RBP),%RCX |
(689) 0x4090e IMUL %RCX,%RDI |
(689) 0x40912 ADD %RAX,%RDI |
(689) 0x40915 ADD -0x1c8(%RBP),%RDI |
(689) 0x4091c ADD %R10,%RDI |
(689) 0x4091f LEA -0x8(,%RDI,8),%RDI |
(689) 0x40927 ADD %R13,%RDI |
(689) 0x4092a MOV -0xc0(%RBP),%R8 |
(689) 0x40931 MOV %RDX,-0x30(%RBP) |
(689) 0x40935 IMUL %RDX,%R8 |
(689) 0x40939 MOV -0x58(%RBP),%RAX |
(689) 0x4093d ADD %R8,%RAX |
(689) 0x40940 MOV -0xc8(%RBP),%R9 |
(689) 0x40947 IMUL %RBX,%R9 |
(689) 0x4094b ADD %R9,%RAX |
(689) 0x4094e MOV -0xb8(%RBP),%R11 |
(689) 0x40955 LEA (%R11,%RAX,8),%RAX |
(689) 0x40959 CMP %RAX,%RDI |
(689) 0x4095c SETAE %DL |
(689) 0x4095f ADD %RSI,%R8 |
(689) 0x40962 ADD %R9,%R8 |
(689) 0x40965 LEA (%R11,%R8,8),%R9 |
(689) 0x40969 ADD $-0x8,%R9 |
(689) 0x4096d MOV -0x1a8(%RBP),%RSI |
(689) 0x40974 ADD %R10,%RSI |
(689) 0x40977 MOV -0x1c0(%RBP),%R8 |
(689) 0x4097e IMUL %RCX,%R8 |
(689) 0x40982 ADD -0x1b8(%RBP),%R8 |
(689) 0x40989 MOV %RSI,-0x70(%RBP) |
(689) 0x4098d ADD %RSI,%R8 |
(689) 0x40990 LEA (,%R8,8),%R8 |
(689) 0x40998 ADD %R13,%R8 |
(689) 0x4099b CMP %R8,%R9 |
(689) 0x4099e SETAE %R11B |
(689) 0x409a2 MOV -0x1e8(%RBP),%RCX |
(689) 0x409a9 MOV %RBX,%RDI |
(689) 0x409ac IMUL %RBX,%RCX |
(689) 0x409b0 MOV -0x50(%RBP),%RSI |
(689) 0x409b4 LEA (%RSI,%RCX,1),%R8 |
(689) 0x409b8 MOV %R12,%RSI |
(689) 0x409bb LEA (%R12,%R8,8),%R8 |
(689) 0x409bf ADD $-0x8,%R8 |
(689) 0x409c3 CMP %RAX,%R8 |
(689) 0x409c6 SETB %R8B |
(689) 0x409ca ADD -0x40(%RBP),%RCX |
(689) 0x409ce MOV %RCX,-0x78(%RBP) |
(689) 0x409d2 LEA (%R12,%RCX,8),%RBX |
(689) 0x409d6 CMP %RBX,%R9 |
(689) 0x409d9 SETB %R9B |
(689) 0x409dd TEST %R11B,%DL |
(689) 0x409e0 JNE 40fd0 |
(689) 0x409e6 OR %R9B,%R8B |
(689) 0x409e9 JE 40fd0 |
(689) 0x409ef MOV -0x190(%RBP),%RAX |
(689) 0x409f6 MOV -0x30(%RBP),%RCX |
(689) 0x409fa IMUL %RCX,%RAX |
(689) 0x409fe ADD -0x198(%RBP),%RAX |
(689) 0x40a05 IMUL -0x188(%RBP),%RDI |
(689) 0x40a0d ADD %RAX,%RDI |
(689) 0x40a10 MOV %RDI,-0x210(%RBP) |
(689) 0x40a17 IMUL -0x98(%RBP),%RCX |
(689) 0x40a1f ADD -0xa0(%RBP),%RCX |
(689) 0x40a26 MOV -0x70(%RBP),%RAX |
(689) 0x40a2a LEA (,%RAX,8),%RAX |
(689) 0x40a32 ADD %R13,%RAX |
(689) 0x40a35 MOV %RAX,-0xe0(%RBP) |
(689) 0x40a3c ADD -0x58(%RBP),%R10 |
(689) 0x40a40 LEA (,%R10,8),%RAX |
(689) 0x40a48 ADD %R13,%RAX |
(689) 0x40a4b MOV %RAX,-0xd8(%RBP) |
(689) 0x40a52 MOV -0x68(%RBP),%RDX |
(689) 0x40a56 XOR %ESI,%ESI |
(689) 0x40a58 MOV -0x60(%RBP),%RAX |
(689) 0x40a5c MOV -0x1a0(%RBP),%R10 |
(689) 0x40a63 JMP 40ab6 |
0x40a65 NOPW %CS:(%RAX,%RAX,1) |
(692) 0x40a70 MOV %RCX,%R12 |
(692) 0x40a73 MOV -0x218(%RBP),%RAX |
(692) 0x40a7a MOV -0x30(%RBP),%RCX |
(692) 0x40a7e ADD %RAX,%RCX |
(692) 0x40a81 ADD %RAX,-0xe0(%RBP) |
(692) 0x40a88 ADD %RAX,-0xd8(%RBP) |
(692) 0x40a8f MOV -0x228(%RBP),%RDX |
(692) 0x40a96 ADD $-0x40,%RDX |
(692) 0x40a9a MOV -0xe8(%RBP),%RSI |
(692) 0x40aa1 CMP -0x220(%RBP),%RSI |
(692) 0x40aa8 LEA 0x1(%RSI),%RSI |
(692) 0x40aac MOV -0x60(%RBP),%RAX |
(692) 0x40ab0 JE 40880 |
(692) 0x40ab6 MOV %RCX,-0x30(%RBP) |
(692) 0x40aba CMP $0x3f,%RDX |
(692) 0x40abe MOV $0x3f,%R8D |
(692) 0x40ac4 MOV %RDX,-0x228(%RBP) |
(692) 0x40acb CMOVL %RDX,%R8 |
(692) 0x40acf MOV %RSI,-0xe8(%RBP) |
(692) 0x40ad6 SAL $0x6,%RSI |
(692) 0x40ada MOV -0x68(%RBP),%RDX |
(692) 0x40ade MOV %RSI,-0x148(%RBP) |
(692) 0x40ae5 SUB %RSI,%RDX |
(692) 0x40ae8 CMP $0x40,%RDX |
(692) 0x40aec MOV $0x3f,%ECX |
(692) 0x40af1 CMOVGE %RCX,%RDX |
(692) 0x40af5 MOV %RDX,-0x120(%RBP) |
(692) 0x40afc TEST %RAX,%RAX |
(692) 0x40aff MOV %R12,%RCX |
(692) 0x40b02 JLE 40a70 |
(692) 0x40b08 MOV %R8,%R12 |
(692) 0x40b0b INC %R12 |
(692) 0x40b0e AND $-0x8,%R12 |
(692) 0x40b12 ADD -0x40(%RBP),%R12 |
(692) 0x40b16 IMUL -0x38(%RBP),%R12 |
(692) 0x40b1b ADD -0xd8(%RBP),%R12 |
(692) 0x40b22 MOV -0x120(%RBP),%RAX |
(692) 0x40b29 INC %RAX |
(692) 0x40b2c MOV %RAX,-0x108(%RBP) |
(692) 0x40b33 SHR $0x3,%RAX |
(692) 0x40b37 DEC %RAX |
(692) 0x40b3a MOV %RAX,-0x258(%RBP) |
(692) 0x40b41 MOV -0xe0(%RBP),%RAX |
(692) 0x40b48 MOV %RAX,-0x100(%RBP) |
(692) 0x40b4f MOV -0xf0(%RBP),%RAX |
(692) 0x40b56 MOV -0x30(%RBP),%RDX |
(692) 0x40b5a MOV %RDX,-0xf8(%RBP) |
(692) 0x40b61 MOV -0x210(%RBP),%RDX |
(692) 0x40b68 XOR %R8D,%R8D |
(692) 0x40b6b JMP 40bb7 |
0x40b6d NOPL (%RAX) |
(694) 0x40b70 ADD $0x200,%RDX |
(694) 0x40b77 ADDQ $0x200,-0xf8(%RBP) |
(694) 0x40b82 MOV -0x240(%RBP),%RAX |
(694) 0x40b89 ADD $-0x40,%RAX |
(694) 0x40b8d ADDQ $0x200,-0x100(%RBP) |
(694) 0x40b98 ADD $0x200,%R12 |
(694) 0x40b9f MOV -0x238(%RBP),%R8 |
(694) 0x40ba6 CMP -0x230(%RBP),%R8 |
(694) 0x40bad LEA 0x1(%R8),%R8 |
(694) 0x40bb1 JE 40a70 |
(694) 0x40bb7 MOV %R10,%R15 |
(694) 0x40bba MOV %R12,-0x248(%RBP) |
(694) 0x40bc1 CMP $0x3f,%RAX |
(694) 0x40bc5 MOV $0x3f,%EDI |
(694) 0x40bca MOV %RAX,-0x240(%RBP) |
(694) 0x40bd1 CMOVL %RAX,%RDI |
(694) 0x40bd5 INC %RDI |
(694) 0x40bd8 MOV %RDI,-0x48(%RBP) |
(694) 0x40bdc MOV %R8,-0x238(%RBP) |
(694) 0x40be3 SAL $0x6,%R8 |
(694) 0x40be7 MOV -0xf0(%RBP),%RDI |
(694) 0x40bee SUB %R8,%RDI |
(694) 0x40bf1 CMP $0x40,%RDI |
(694) 0x40bf5 MOV $0x3f,%EAX |
(694) 0x40bfa CMOVGE %RAX,%RDI |
(694) 0x40bfe MOV %RDI,-0x110(%RBP) |
(694) 0x40c05 CMPQ $0x8,-0x108(%RBP) |
(694) 0x40c0d MOV -0x80(%RBP),%RDI |
(694) 0x40c11 JAE 40cf0 |
(694) 0x40c17 MOV -0x108(%RBP),%R8 |
(694) 0x40c1e MOV %R8,%RAX |
(694) 0x40c21 AND $-0x8,%RAX |
(694) 0x40c25 CMP %R8,%RAX |
(694) 0x40c28 MOV -0x248(%RBP),%R12 |
(694) 0x40c2f MOV -0x48(%RBP),%R8 |
(694) 0x40c33 MOV %R15,%R10 |
(694) 0x40c36 MOV -0x110(%RBP),%R15 |
(694) 0x40c3d JE 40b70 |
(694) 0x40c43 INC %R15 |
(694) 0x40c46 MOV %R12,%RBX |
(694) 0x40c49 JMP 40c65 |
0x40c4b NOPL (%RAX,%RAX,1) |
(696) 0x40c50 ADD -0x38(%RBP),%RBX |
(696) 0x40c54 CMP -0x120(%RBP),%RAX |
(696) 0x40c5b LEA 0x1(%RAX),%RAX |
(696) 0x40c5f JE 40b70 |
(696) 0x40c65 MOV -0x148(%RBP),%RSI |
(696) 0x40c6c ADD %RAX,%RSI |
(696) 0x40c6f ADD -0x78(%RBP),%RSI |
(696) 0x40c73 VMOVSD (%RCX,%RSI,8),%XMM0 |
(696) 0x40c78 MOV %R15,%R9 |
(696) 0x40c7b AND $-0x4,%R9 |
(696) 0x40c7f JE 40cc0 |
(696) 0x40c81 LEA -0x1(%R9),%R8 |
(696) 0x40c85 VBROADCASTSD %XMM0,%YMM1 |
(696) 0x40c8a XOR %R11D,%R11D |
(696) 0x40c8d NOPL (%RAX) |
(697) 0x40c90 VMOVUPD (%RBX,%R11,8),%YMM2 |
(697) 0x40c96 VFMADD213PD (%RDX,%R11,8),%YMM1,%YMM2 |
(697) 0x40c9c VMOVUPD %YMM2,(%RDX,%R11,8) |
(697) 0x40ca2 ADD $0x4,%R11 |
(697) 0x40ca6 CMP %R8,%R11 |
(697) 0x40ca9 JLE 40c90 |
(696) 0x40cab CMP %R9,%R15 |
(696) 0x40cae MOV -0x48(%RBP),%R8 |
(696) 0x40cb2 JNE 40cd0 |
(696) 0x40cb4 JMP 40c50 |
0x40cb6 NOPW %CS:(%RAX,%RAX,1) |
(696) 0x40cc0 XOR %R9D,%R9D |
(696) 0x40cc3 NOPW %CS:(%RAX,%RAX,1) |
(695) 0x40cd0 VMOVSD (%RBX,%R9,8),%XMM1 |
(695) 0x40cd6 VFMADD213SD (%RDX,%R9,8),%XMM0,%XMM1 |
(695) 0x40cdc VMOVSD %XMM1,(%RDX,%R9,8) |
(695) 0x40ce2 INC %R9 |
(695) 0x40ce5 CMP %R9,%R8 |
(695) 0x40ce8 JNE 40cd0 |
(696) 0x40cea JMP 40c50 |
0x40cef NOP |
(694) 0x40cf0 MOV -0x110(%RBP),%RAX |
(694) 0x40cf7 INC %RAX |
(694) 0x40cfa MOV %RAX,-0x138(%RBP) |
(694) 0x40d01 MOV -0x130(%RBP),%RAX |
(694) 0x40d08 IMUL -0xe8(%RBP),%RAX |
(694) 0x40d10 ADD %R8,%RAX |
(694) 0x40d13 MOV %RAX,-0x128(%RBP) |
(694) 0x40d1a MOV -0x100(%RBP),%R11 |
(694) 0x40d21 MOV -0xf8(%RBP),%RAX |
(694) 0x40d28 XOR %R10D,%R10D |
(694) 0x40d2b JMP 40d66 |
0x40d2d NOPL (%RAX) |
(698) 0x40d30 MOV -0x130(%RBP),%RCX |
(698) 0x40d37 MOV -0x150(%RBP),%RAX |
(698) 0x40d3e ADD %RCX,%RAX |
(698) 0x40d41 ADD %RCX,%R11 |
(698) 0x40d44 MOV -0x158(%RBP),%R10 |
(698) 0x40d4b CMP -0x258(%RBP),%R10 |
(698) 0x40d52 LEA 0x1(%R10),%R10 |
(698) 0x40d56 MOV -0x250(%RBP),%RCX |
(698) 0x40d5d MOV %R8,%RDI |
(698) 0x40d60 JE 40c17 |
(698) 0x40d66 MOV %RAX,-0x150(%RBP) |
(698) 0x40d6d MOV %R11,-0x140(%RBP) |
(698) 0x40d74 MOV -0x148(%RBP),%RAX |
(698) 0x40d7b LEA (%RAX,%R10,8),%R8 |
(698) 0x40d7f ADD -0x78(%RBP),%R8 |
(698) 0x40d83 VMOVUPD (%RCX,%R8,8),%YMM0 |
(698) 0x40d89 VMOVUPD 0x20(%RCX,%R8,8),%YMM1 |
(698) 0x40d90 MOV -0x138(%RBP),%RBX |
(698) 0x40d97 AND $-0x4,%RBX |
(698) 0x40d9b MOV %R10,-0x158(%RBP) |
(698) 0x40da2 JE 40ed0 |
(698) 0x40da8 LEA -0x1(%RBX),%RAX |
(698) 0x40dac MOV %RAX,-0x260(%RBP) |
(698) 0x40db3 VBROADCASTSD %XMM0,%YMM2 |
(698) 0x40db8 VPERMPD $0x55,%YMM0,%YMM3 |
(698) 0x40dbe VPERMPD $-0x56,%YMM0,%YMM4 |
(698) 0x40dc4 VPERMPD $-0x1,%YMM0,%YMM5 |
(698) 0x40dca VBROADCASTSD %XMM1,%YMM6 |
(698) 0x40dcf VPERMPD $0x55,%YMM1,%YMM7 |
(698) 0x40dd5 VPERMPD $-0x56,%YMM1,%YMM8 |
(698) 0x40ddb VPERMPD $-0x1,%YMM1,%YMM9 |
(698) 0x40de1 MOV -0x160(%RBP),%R9 |
(698) 0x40de8 MOV -0x118(%RBP),%RDI |
(698) 0x40def MOV -0x38(%RBP),%R11 |
(698) 0x40df3 IMUL %R10,%R11 |
(698) 0x40df7 XOR %R8D,%R8D |
(698) 0x40dfa MOV -0x168(%RBP),%RCX |
(698) 0x40e01 MOV -0x70(%RBP),%RAX |
(698) 0x40e05 MOV -0x128(%RBP),%R14 |
(698) 0x40e0c MOV -0x150(%RBP),%R10 |
(698) 0x40e13 NOPW %CS:(%RAX,%RAX,1) |
(699) 0x40e20 LEA (%R11,%R8,1),%R12 |
(699) 0x40e24 ADD %R14,%R12 |
(699) 0x40e27 VMOVUPD (%R10,%R8,8),%YMM10 |
(699) 0x40e2d VFMADD213PD (%RDX,%R8,8),%YMM2,%YMM10 |
(699) 0x40e33 ADD %RAX,%R12 |
(699) 0x40e36 LEA (%R12,%RDI,1),%RSI |
(699) 0x40e3a VFMADD231PD (%R13,%RSI,8),%YMM3,%YMM10 |
(699) 0x40e41 LEA (%R12,%R15,1),%RSI |
(699) 0x40e45 VFMADD231PD (%R13,%RSI,8),%YMM4,%YMM10 |
(699) 0x40e4c LEA (%R12,%R9,1),%RSI |
(699) 0x40e50 VFMADD231PD (%R13,%RSI,8),%YMM5,%YMM10 |
(699) 0x40e57 MOV -0x88(%RBP),%RSI |
(699) 0x40e5e ADD %R12,%RSI |
(699) 0x40e61 VFMADD231PD (%R13,%RSI,8),%YMM6,%YMM10 |
(699) 0x40e68 MOV -0x170(%RBP),%RSI |
(699) 0x40e6f ADD %R12,%RSI |
(699) 0x40e72 VFMADD231PD (%R13,%RSI,8),%YMM7,%YMM10 |
(699) 0x40e79 MOV -0x80(%RBP),%RSI |
(699) 0x40e7d ADD %R12,%RSI |
(699) 0x40e80 VFMADD231PD (%R13,%RSI,8),%YMM8,%YMM10 |
(699) 0x40e87 ADD %RCX,%R12 |
(699) 0x40e8a VFMADD231PD (%R13,%R12,8),%YMM9,%YMM10 |
(699) 0x40e91 VMOVUPD %YMM10,(%RDX,%R8,8) |
(699) 0x40e97 ADD $0x4,%R8 |
(699) 0x40e9b CMP -0x260(%RBP),%R8 |
(699) 0x40ea2 JLE 40e20 |
(698) 0x40ea8 CMP %RBX,-0x138(%RBP) |
(698) 0x40eaf MOV -0x88(%RBP),%R10 |
(698) 0x40eb6 MOV -0x80(%RBP),%R8 |
(698) 0x40eba MOV -0x48(%RBP),%RCX |
(698) 0x40ebe MOV -0x140(%RBP),%R11 |
(698) 0x40ec5 JE 40d30 |
(698) 0x40ecb JMP 40ef9 |
0x40ecd NOPL (%RAX) |
(698) 0x40ed0 XOR %EBX,%EBX |
(698) 0x40ed2 MOV -0x70(%RBP),%RAX |
(698) 0x40ed6 MOV -0x48(%RBP),%RCX |
(698) 0x40eda MOV -0x88(%RBP),%R10 |
(698) 0x40ee1 MOV %RDI,%R8 |
(698) 0x40ee4 MOV -0x118(%RBP),%RDI |
(698) 0x40eeb MOV -0x128(%RBP),%R14 |
(698) 0x40ef2 MOV -0x140(%RBP),%R11 |
(698) 0x40ef9 MOV -0x38(%RBP),%R9 |
(698) 0x40efd IMUL -0x158(%RBP),%R9 |
(698) 0x40f05 NOPW %CS:(%RAX,%RAX,1) |
(693) 0x40f10 LEA (%R9,%RBX,1),%RSI |
(693) 0x40f14 ADD %R14,%RSI |
(693) 0x40f17 ADD %RAX,%RSI |
(693) 0x40f1a MOV %RCX,%R12 |
(693) 0x40f1d MOV %R8,%RCX |
(693) 0x40f20 ADD %RSI,%R8 |
(693) 0x40f23 VMOVSD (%R13,%R8,8),%XMM2 |
(693) 0x40f2a MOV -0x168(%RBP),%R8 |
(693) 0x40f31 LEA (%RSI,%R8,1),%R8 |
(693) 0x40f35 VMOVHPD (%R13,%R8,8),%XMM2,%XMM2 |
(693) 0x40f3c LEA (%RSI,%R10,1),%R8 |
(693) 0x40f40 VMOVSD (%R13,%R8,8),%XMM3 |
(693) 0x40f47 MOV -0x170(%RBP),%R8 |
(693) 0x40f4e LEA (%RSI,%R8,1),%R8 |
(693) 0x40f52 VMOVHPD (%R13,%R8,8),%XMM3,%XMM3 |
(693) 0x40f59 LEA (%RSI,%R15,1),%R8 |
(693) 0x40f5d VMOVSD (%R13,%R8,8),%XMM4 |
(693) 0x40f64 MOV -0x160(%RBP),%R8 |
(693) 0x40f6b LEA (%RSI,%R8,1),%R8 |
(693) 0x40f6f VMOVHPD (%R13,%R8,8),%XMM4,%XMM4 |
(693) 0x40f76 MOV %RCX,%R8 |
(693) 0x40f79 MOV %R12,%RCX |
(693) 0x40f7c LEA (%RSI,%RDI,1),%RSI |
(693) 0x40f80 VMOVSD (%R11,%RBX,8),%XMM5 |
(693) 0x40f86 VMOVHPD (%R13,%RSI,8),%XMM5,%XMM5 |
(693) 0x40f8d VINSERTF128 $0x1,%XMM2,%YMM3,%YMM2 |
(693) 0x40f93 VINSERTF128 $0x1,%XMM4,%YMM5,%YMM3 |
(693) 0x40f99 VMULPD %YMM1,%YMM2,%YMM2 |
(693) 0x40f9d VFMADD231PD %YMM3,%YMM0,%YMM2 |
(693) 0x40fa2 VEXTRACTF128 $0x1,%YMM2,%XMM3 |
(693) 0x40fa8 VADDPD %XMM3,%XMM2,%XMM2 |
(693) 0x40fac VSHUFPD $0x1,%XMM2,%XMM2,%XMM3 |
(693) 0x40fb1 VADDSD %XMM3,%XMM2,%XMM2 |
(693) 0x40fb5 VADDSD (%RDX,%RBX,8),%XMM2,%XMM2 |
(693) 0x40fba VMOVSD %XMM2,(%RDX,%RBX,8) |
(693) 0x40fbf INC %RBX |
(693) 0x40fc2 CMP %RBX,%R12 |
(693) 0x40fc5 JNE 40f10 |
(698) 0x40fcb JMP 40d30 |
(689) 0x40fd0 MOV -0x30(%RBP),%RSI |
(689) 0x40fd4 IMUL -0x98(%RBP),%RSI |
(689) 0x40fdc ADD -0xa0(%RBP),%RSI |
(689) 0x40fe3 XOR %EDX,%EDX |
(689) 0x40fe5 MOV -0x60(%RBP),%RCX |
(689) 0x40fe9 JMP 41002 |
0x40feb NOPL (%RAX,%RAX,1) |
(690) 0x40ff0 ADD -0x38(%RBP),%RSI |
(690) 0x40ff4 CMP -0x68(%RBP),%RDX |
(690) 0x40ff8 LEA 0x1(%RDX),%RDX |
(690) 0x40ffc JE 40880 |
(690) 0x41002 TEST %RCX,%RCX |
(690) 0x41005 JLE 40ff0 |
(690) 0x41007 MOV %R12,%R9 |
(690) 0x4100a MOV -0x78(%RBP),%RDI |
(690) 0x4100e ADD %RDX,%RDI |
(690) 0x41011 XOR %R8D,%R8D |
(690) 0x41014 NOPW %CS:(%RAX,%RAX,1) |
(691) 0x41020 VMOVSD (%RSI,%R8,8),%XMM0 |
(691) 0x41026 VMOVSD (%R9,%RDI,8),%XMM1 |
(691) 0x4102c VFMADD213SD (%RAX,%R8,8),%XMM0,%XMM1 |
(691) 0x41032 VMOVSD %XMM1,(%RAX,%R8,8) |
(691) 0x41038 INC %R8 |
(691) 0x4103b CMP %R8,%RCX |
(691) 0x4103e JNE 41020 |
(690) 0x41040 JMP 40ff0 |
0x41042 LEA 0x293327(%RIP),%RDI |
0x41049 MOV -0x8c(%RBP),%ESI |
0x4104f ADD $0x248,%RSP |
0x41056 POP %RBX |
0x41057 POP %R12 |
0x41059 POP %R13 |
0x4105b POP %R14 |
0x4105d POP %R15 |
0x4105f POP %RBP |
0x41060 VZEROUPPER |
0x41063 JMP 9860 |
0x41068 NOPL (%RAX,%RAX,1) |
Path / |
Source file and lines | Collapse.hpp:81-89 |
Module | libkripke.so |
nb instructions | 166 |
nb uops | 168 |
loop length | 849 |
used x86 registers | 15 |
used mmx registers | 0 |
used xmm registers | 0 |
used ymm registers | 0 |
used zmm registers | 0 |
nb stack references | 47 |
micro-operation queue | 28.00 cycles |
front end | 28.00 cycles |
P0 | P1 | P2 | P3 | P4 | P5 | P6 | P7 | P8 | P9 | P10 | P11 | |
---|---|---|---|---|---|---|---|---|---|---|---|---|
uops | 5.70 | 5.60 | 11.67 | 11.67 | 28.50 | 5.67 | 5.50 | 28.50 | 28.50 | 28.50 | 5.53 | 11.67 |
cycles | 5.70 | 6.33 | 11.67 | 11.67 | 28.50 | 5.67 | 5.50 | 28.50 | 28.50 | 28.50 | 5.53 | 11.67 |
Cycles executing div or sqrt instructions | NA |
FE+BE cycles | 28.60 |
Stall cycles | 0.43 |
RS full (events) | 1.84 |
Front-end | 28.00 |
Dispatch | 28.50 |
Overall L1 | 28.50 |
all | 1% |
load | 0% |
store | 0% |
mul | 0% |
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 | 12% |
all | 12% |
load | 10% |
store | 11% |
mul | 12% |
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 | 14% |
Instruction | Nb FU | P0 | P1 | P2 | P3 | P4 | P5 | P6 | P7 | P8 | P9 | P10 | P11 | Latency | Recip. throughput |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
PUSH %RBP | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
MOV %RSP,%RBP | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
PUSH %R15 | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
PUSH %R14 | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
PUSH %R13 | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
PUSH %R12 | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
PUSH %RBX | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
SUB $0x248,%RSP | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RDX,-0x200(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOVL $0,-0x90(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV (%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x1f8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x10(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x40(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x18(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x50(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x20(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x1f0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x30(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x58(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x38(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0xd0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x60(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0xc8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x68(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0xc0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0xa8(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0xb8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV (%RDI),%ESI | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %R9,-0x178(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0xc0(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x1e8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0xf0(%R8),%R12 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV 0x110(%R8),%RBX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV 0x118(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0xb0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x158(%R8),%R13 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOVQ $0,-0x180(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOVQ $0x1,-0x268(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
SUB $0x8,%RSP | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
LEA -0x268(%RBP),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA 0x293cdd(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0x90(%RBP),%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0x180(%RBP),%R8 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0x178(%RBP),%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %ESI,-0x8c(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV $0x22,%EDX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
PUSH $0x1 | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
PUSH $0x1 | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
PUSH %RAX | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
CALL 9930 <__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 |
ADD $0x20,%RSP | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV -0x180(%RBP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0x178(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RCX,-0xa8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
CMP %RAX,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
JA 41042 <_ZNK14LPlusTimesSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS1_6MomentENS1_5GroupENS1_4ZoneEEEERNSC_IdJNS1_9DirectionESE_SF_EEERNSC_IdJSI_SD_EEE.extracted+0xab2> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
MOV -0x50(%RBP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
CMP -0x40(%RBP),%RCX | 1 | 0.20 | 0.20 | 0.33 | 0.33 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.33 | 1 | 0.33 |
JLE 41042 <_ZNK14LPlusTimesSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS1_6MomentENS1_5GroupENS1_4ZoneEEEERNSC_IdJNS1_9DirectionESE_SF_EEERNSC_IdJSI_SD_EEE.extracted+0xab2> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
MOV %RBX,%RSI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV -0xa8(%RBP),%RDX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA 0x1(%RDX),%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
INC %RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
CMP %RAX,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
CMOVG %RCX,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 |
NOT %RDX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
ADD %RAX,%RDX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RDX,-0x1e0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0x40(%RBP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RCX,%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
IMUL %RBX,%RDI | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %RBX,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
SAR $0x3f,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
ANDN %RBX,%RAX,%RDX | 1 | 0 | 0.33 | 0 | 0 | 0 | 0.33 | 0 | 0 | 0 | 0 | 0.33 | 0 | 1-2 | 0.33 |
MOV -0x50(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,%R8 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %RDX,-0x1d0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
IMUL %RDX,%R8 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %R8,-0x1c8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
XOR %R8D,%R8D | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
TEST %RBX,%RBX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 2 | 0.20 |
MOV $0,%EDX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
CMOVS %RBX,%RDX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 |
MOV %RAX,%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %RDX,-0x1c0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
IMUL %RDX,%R9 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %R9,-0x1b8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
NOT %RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RCX,-0x1b0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
ADD %RCX,%RAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RAX,-0x68(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
SHR $0x6,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
MOV %RAX,-0x220(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0xd0(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0x58(%RBP),%RDX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
SUB %RDX,%RAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RAX,-0x60(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
DEC %RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %RAX,-0xf0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
SHR $0x6,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
MOV %RAX,-0x230(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RBX,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
SAL $0x6,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
MOV %RAX,-0x130(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (,%RBX,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x38(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
SUB %RBX,%RAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RAX,-0x168(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (,%RDX,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA (%RAX,%RDI,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
ADD %R13,%RAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RAX,-0xa0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RBX,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
SAL $0x9,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
MOV %RAX,-0x218(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (%RBX,%RBX,1),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x1a0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (%RBX,%RBX,2),%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA (,%RBX,4),%R10 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA (%RBX,%RBX,4),%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RCX,-0x170(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (%RAX,%RAX,2),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x80(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0xb0(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA (,%RAX,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x98(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0xb8(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA (%RAX,%RDX,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x198(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0xc0(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA (,%RAX,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x190(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0xc8(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA (,%RAX,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x188(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RDI,-0x1d8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (%RDX,%RDI,1),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x1a8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RBX,-0x118(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R12,-0x250(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R9,-0x160(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R10,-0x88(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
JMP 40898 <_ZNK14LPlusTimesSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS1_6MomentENS1_5GroupENS1_4ZoneEEEERNSC_IdJNS1_9DirectionESE_SF_EEERNSC_IdJSI_SD_EEE.extracted+0x308> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5.84 |
NOP | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPL (%RAX) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPL (%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOP | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPL (%RAX) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPL (%RAX) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPL (%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA 0x293327(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV -0x8c(%RBP),%ESI | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
ADD $0x248,%RSP | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
POP %RBX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
POP %R12 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
POP %R13 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
POP %R14 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
POP %R15 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
POP %RBP | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
VZEROUPPER | 2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 |
JMP 9860 <__kmpc_for_static_fini@plt> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2.08 |
NOPL (%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
Source file and lines | Collapse.hpp:81-89 |
Module | libkripke.so |
nb instructions | 166 |
nb uops | 168 |
loop length | 849 |
used x86 registers | 15 |
used mmx registers | 0 |
used xmm registers | 0 |
used ymm registers | 0 |
used zmm registers | 0 |
nb stack references | 47 |
micro-operation queue | 28.00 cycles |
front end | 28.00 cycles |
P0 | P1 | P2 | P3 | P4 | P5 | P6 | P7 | P8 | P9 | P10 | P11 | |
---|---|---|---|---|---|---|---|---|---|---|---|---|
uops | 5.70 | 5.60 | 11.67 | 11.67 | 28.50 | 5.67 | 5.50 | 28.50 | 28.50 | 28.50 | 5.53 | 11.67 |
cycles | 5.70 | 6.33 | 11.67 | 11.67 | 28.50 | 5.67 | 5.50 | 28.50 | 28.50 | 28.50 | 5.53 | 11.67 |
Cycles executing div or sqrt instructions | NA |
FE+BE cycles | 28.60 |
Stall cycles | 0.43 |
RS full (events) | 1.84 |
Front-end | 28.00 |
Dispatch | 28.50 |
Overall L1 | 28.50 |
all | 1% |
load | 0% |
store | 0% |
mul | 0% |
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 | 12% |
all | 12% |
load | 10% |
store | 11% |
mul | 12% |
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 | 14% |
Instruction | Nb FU | P0 | P1 | P2 | P3 | P4 | P5 | P6 | P7 | P8 | P9 | P10 | P11 | Latency | Recip. throughput |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
PUSH %RBP | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
MOV %RSP,%RBP | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
PUSH %R15 | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
PUSH %R14 | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
PUSH %R13 | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
PUSH %R12 | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
PUSH %RBX | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
SUB $0x248,%RSP | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RDX,-0x200(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOVL $0,-0x90(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV (%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x1f8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x10(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x40(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x18(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x50(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x20(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x1f0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x30(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x58(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x38(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0xd0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x60(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0xc8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x68(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0xc0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0xa8(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0xb8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV (%RDI),%ESI | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %R9,-0x178(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0xc0(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x1e8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0xf0(%R8),%R12 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV 0x110(%R8),%RBX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV 0x118(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0xb0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x158(%R8),%R13 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOVQ $0,-0x180(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOVQ $0x1,-0x268(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
SUB $0x8,%RSP | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
LEA -0x268(%RBP),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA 0x293cdd(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0x90(%RBP),%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0x180(%RBP),%R8 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0x178(%RBP),%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %ESI,-0x8c(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV $0x22,%EDX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
PUSH $0x1 | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
PUSH $0x1 | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
PUSH %RAX | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
CALL 9930 <__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 |
ADD $0x20,%RSP | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV -0x180(%RBP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0x178(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RCX,-0xa8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
CMP %RAX,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
JA 41042 <_ZNK14LPlusTimesSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS1_6MomentENS1_5GroupENS1_4ZoneEEEERNSC_IdJNS1_9DirectionESE_SF_EEERNSC_IdJSI_SD_EEE.extracted+0xab2> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
MOV -0x50(%RBP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
CMP -0x40(%RBP),%RCX | 1 | 0.20 | 0.20 | 0.33 | 0.33 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.33 | 1 | 0.33 |
JLE 41042 <_ZNK14LPlusTimesSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS1_6MomentENS1_5GroupENS1_4ZoneEEEERNSC_IdJNS1_9DirectionESE_SF_EEERNSC_IdJSI_SD_EEE.extracted+0xab2> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
MOV %RBX,%RSI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV -0xa8(%RBP),%RDX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA 0x1(%RDX),%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
INC %RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
CMP %RAX,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
CMOVG %RCX,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 |
NOT %RDX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
ADD %RAX,%RDX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RDX,-0x1e0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0x40(%RBP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RCX,%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
IMUL %RBX,%RDI | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %RBX,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
SAR $0x3f,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
ANDN %RBX,%RAX,%RDX | 1 | 0 | 0.33 | 0 | 0 | 0 | 0.33 | 0 | 0 | 0 | 0 | 0.33 | 0 | 1-2 | 0.33 |
MOV -0x50(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,%R8 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %RDX,-0x1d0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
IMUL %RDX,%R8 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %R8,-0x1c8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
XOR %R8D,%R8D | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
TEST %RBX,%RBX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 2 | 0.20 |
MOV $0,%EDX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
CMOVS %RBX,%RDX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 |
MOV %RAX,%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %RDX,-0x1c0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
IMUL %RDX,%R9 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %R9,-0x1b8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
NOT %RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RCX,-0x1b0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
ADD %RCX,%RAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RAX,-0x68(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
SHR $0x6,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
MOV %RAX,-0x220(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0xd0(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0x58(%RBP),%RDX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
SUB %RDX,%RAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RAX,-0x60(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
DEC %RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %RAX,-0xf0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
SHR $0x6,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
MOV %RAX,-0x230(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RBX,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
SAL $0x6,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
MOV %RAX,-0x130(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (,%RBX,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x38(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
SUB %RBX,%RAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RAX,-0x168(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (,%RDX,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA (%RAX,%RDI,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
ADD %R13,%RAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RAX,-0xa0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RBX,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
SAL $0x9,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
MOV %RAX,-0x218(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (%RBX,%RBX,1),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x1a0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (%RBX,%RBX,2),%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA (,%RBX,4),%R10 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA (%RBX,%RBX,4),%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RCX,-0x170(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (%RAX,%RAX,2),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x80(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0xb0(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA (,%RAX,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x98(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0xb8(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA (%RAX,%RDX,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x198(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0xc0(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA (,%RAX,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x190(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0xc8(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA (,%RAX,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x188(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RDI,-0x1d8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (%RDX,%RDI,1),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x1a8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RBX,-0x118(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R12,-0x250(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R9,-0x160(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R10,-0x88(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
JMP 40898 <_ZNK14LPlusTimesSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS1_6MomentENS1_5GroupENS1_4ZoneEEEERNSC_IdJNS1_9DirectionESE_SF_EEERNSC_IdJSI_SD_EEE.extracted+0x308> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5.84 |
NOP | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPL (%RAX) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPL (%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOP | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPL (%RAX) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPL (%RAX) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPL (%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA 0x293327(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV -0x8c(%RBP),%ESI | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
ADD $0x248,%RSP | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
POP %RBX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
POP %R12 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
POP %R13 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
POP %R14 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
POP %R15 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
POP %RBP | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
VZEROUPPER | 2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 |
JMP 9860 <__kmpc_for_static_fini@plt> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2.08 |
NOPL (%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
Name | Coverage (%) | Time (s) |
---|---|---|
▼void LPlusTimesSdom::operator() | 3.71 | 2.05 |
▼Loop 689 - forall.hpp:59-59 - libkripke.so– | 0 | 0 |
▼Loop 690 - forall.hpp:59-59 - libkripke.so– | 0 | 0 |
○Loop 691 - forall.hpp:59-59 - libkripke.so | 0 | 0 |
▼Loop 692 - forall.hpp:59-59 - libkripke.so– | 0 | 0 |
▼Loop 694 - forall.hpp:59-59 - libkripke.so– | 0.01 | 0 |
▼Loop 698 - forall.hpp:59-59 - libkripke.so– | 0.03 | 0.02 |
○Loop 699 - forall.hpp:59-59 - libkripke.so | 3.53 | 1.95 |
○Loop 693 - forall.hpp:59-59 - libkripke.so | 0 | 0 |
▼Loop 696 - forall.hpp:59-59 - libkripke.so– | 0 | 0 |
○Loop 697 - forall.hpp:59-59 - libkripke.so | 0.14 | 0.08 |
○Loop 695 - forall.hpp:59-59 - libkripke.so | 0 | 0 |