# bitwright proof ledger v2. Generated; do not edit.
core.arith::add_and_or 231e32f29079f031059e35c9ff2c7c8d identity exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.arith::add_disjoint c21668d593d2958761d618170fb36e1a rule exhaustive(inst=6,maxw=6,cases=5460,fired=1092) sampled(inst=22,cases=1408,fired=991)
core.arith::add_xor_and 91a74de0aba7b7ddb91240edcadabeb2 identity exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.arith::mul_pow2 6496ccdcfe6d1bf9444d7f829bb87e6a rule exhaustive(inst=6,maxw=6,cases=5460,fired=642) sampled(inst=22,cases=1408,fired=891)
core.arith::neg_not 15e193fa568fc257d7e9a277953b4ad3 rule exhaustive(inst=6,maxw=6,cases=126,fired=126) sampled(inst=22,cases=1408,fired=1408)
core.arith::neg_or_one 98376163b2a5e94798912073d97d99ce rule exhaustive(inst=6,maxw=6,cases=126,fired=63) sampled(inst=22,cases=1408,fired=1063)
core.arith::not_neg 96eba82dd2b9705852f297d0e47405d2 rule exhaustive(inst=6,maxw=6,cases=126,fired=126) sampled(inst=22,cases=1408,fired=1408)
core.arith::or_from_xor_and a443c4a7e3f9daf9bff105bcdadf5353 rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.arith::sub_and f494f97854ab0848902d5d10e05d614e rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.arith::udiv_pow2 ba7f88934bfc987b78342932a53ee20c rule exhaustive(inst=6,maxw=6,cases=5460,fired=642) sampled(inst=22,cases=1408,fired=920)
core.arith::urem_pow2 dc139eed7a696ecabc31d530548007af rule exhaustive(inst=6,maxw=6,cases=5460,fired=642) sampled(inst=22,cases=1408,fired=892)
core.bitwise::and_absorb_or 9fd8d816ee32d581eb8d62a20c32876f rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.bitwise::and_mask_disjoint 724ff9a4b679b662432c8d23dcd9fb85 rule exhaustive(inst=6,maxw=6,cases=5460,fired=1092) sampled(inst=22,cases=1408,fired=982)
core.bitwise::and_mask_redundant 4b04f26d37d4b772c21cf6f7c3c3c8dd rule exhaustive(inst=6,maxw=6,cases=5460,fired=1092) sampled(inst=22,cases=1408,fired=926)
core.bitwise::and_not_disjoint 83f48fcf27539de57d3fbbba72d0563d rule exhaustive(inst=6,maxw=6,cases=5460,fired=1092) sampled(inst=22,cases=1408,fired=990)
core.bitwise::and_not_self a7155cc265a14fe9cc6247305f489835 rule exhaustive(inst=6,maxw=6,cases=126,fired=126) sampled(inst=22,cases=1408,fired=1408)
core.bitwise::or_absorb_and 0575f368bd8b21ed6f428408bf9277b9 rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.bitwise::or_known_ones ac0b9516b1f47ebda223602957a6db4d rule exhaustive(inst=6,maxw=6,cases=5460,fired=1092) sampled(inst=22,cases=1408,fired=914)
core.bitwise::or_not_self 18cda80f123e6c06993304f495dab989 rule exhaustive(inst=6,maxw=6,cases=126,fired=126) sampled(inst=22,cases=1408,fired=1408)
core.bitwise::xor_and_or 158833683befb8f7c053b44791d1009e rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.bitwise::xor_not_self 30728f4168caab17ae4a4a889bcd36cb rule exhaustive(inst=6,maxw=6,cases=126,fired=126) sampled(inst=22,cases=1408,fired=1408)
core.bounds::and_at_most c6a26ef696145d1393de79f1761ce915 rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.bounds::and_at_most_or a3c9c709e02fe9d470ea00de7a4c72e7 rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.bounds::and_not_above 98cddb6f68e3498fa85d3003247a3825 rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.bounds::decrement_below 881e9b892e4e6cfe1290fccba5ecef77 rule exhaustive(inst=6,maxw=6,cases=126,fired=126) sampled(inst=22,cases=1408,fired=1408)
core.bounds::halves_sum_no_overflow aec5dad1d37f7d864dbde459a13bc74f rule exhaustive(inst=5,maxw=6,cases=5456,fired=5456) sampled(inst=22,cases=1408,fired=1408)
core.bounds::increment_wraps 5d5c7a3c548b437c0912bc942545f6be rule exhaustive(inst=6,maxw=6,cases=126,fired=126) sampled(inst=22,cases=1408,fired=1408)
core.bounds::longer_shift_smaller 029c7d26f700a51f2103ffcb0584afcd rule exhaustive(inst=5,maxw=5,cases=37448,fired=19406) sampled(inst=22,cases=1408,fired=686)
core.bounds::lshr_at_most 03817cf61e23119dd3d53c1bf39f57c5 rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.bounds::or_at_least 61fab45a744e96bb176f85e6f3f85212 rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.bounds::or_not_below 5551349b540dc4c96d17b126df83c6e6 rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.bounds::signed_increment_grows aea21b5afeb8c3fde7b295ac6f6556ab rule exhaustive(inst=6,maxw=6,cases=126,fired=126) sampled(inst=22,cases=1408,fired=1408)
core.bounds::signed_increment_wraps 5767a52823061e0e4c97d61b87c1335b rule exhaustive(inst=6,maxw=6,cases=126,fired=126) sampled(inst=22,cases=1408,fired=1408)
core.bounds::udiv_at_most 68eebfe7ad1999359369a8069043f96f rule exhaustive(inst=6,maxw=6,cases=5460,fired=5334) sampled(inst=22,cases=1408,fired=1345)
core.bounds::urem_at_most 6e6ee2dd205d047e436a5eb460fdfb63 rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.bounds::urem_below_divisor 7dc77726292a7fda1ff7f7aedcbe8a7a rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.casts::sext_from_sign_word ee0eb576cde4badf54fe874b005b357d rule exhaustive(inst=9,maxw=6,cases=98,fired=98) sampled(inst=190,cases=12160,fired=12160)
core.casts::zext_trunc 03adbad05bdae1e06b83d6d82f6cb943 rule exhaustive(inst=15,maxw=6,cases=516,fired=516) sampled(inst=350,cases=22400,fired=22400)
core.compare::eq_eq_distinct 6f255a110c3116629fa5e4079eb430d3 rule exhaustive(inst=5,maxw=5,cases=37448,fired=36084) sampled(inst=22,cases=1408,fired=1377)
core.compare::eq_sub_zero ca8026a4dea10e0d08061cffc2487da6 rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.compare::eq_xor_zero 17a6d95c209f639b59167b13239eaa14 rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.compare::eq_zext b39dea5b1d2ab79b1da6cc49558341c2 rule exhaustive(inst=15,maxw=6,cases=1812,fired=1812) sampled(inst=371,cases=23744,fired=23744)
core.compare::ne_xor_zero 8d9ce66dad854a8bb63a966ebf47b034 rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.compare::sle_const_not 9d3b42f8abf8a183bdaf41f9b123d126 rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.compare::sle_not_const 00cc7faec017605e52c0f9773c69a695 rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.compare::sle_not_not 9f63c6f648a5ccdeaf76154670e57a09 rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.compare::sle_or_common 95caafa9316b0fa74c2596e994d79ee3 rule exhaustive(inst=4,maxw=4,cases=69904,fired=22620) sampled(inst=22,cases=1408,fired=551)
core.compare::sle_zero_or_low da747bdf6705f9a7d007db6d5e1d4139 rule exhaustive(inst=5,maxw=5,cases=37448,fired=4856) sampled(inst=22,cases=1408,fired=286)
core.compare::slt_const_not a3c2d89b684069a7350ca3da6e818b86 rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.compare::slt_not_const 1477618f1607506633d72e55d84ffa3a rule exhaustive(inst=6,maxw=6,cases=5460,fired=5334) sampled(inst=22,cases=1408,fired=1289)
core.compare::slt_not_not c41be862ef554dc1bf880a0e9e696dae rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.compare::slt_not_zero 063df1dfe4c08374333e894a88facbf0 rule exhaustive(inst=6,maxw=6,cases=126,fired=126) sampled(inst=22,cases=1408,fired=1408)
core.compare::slt_or_common 452241393b96dfe156ce18c9b4e9d253 rule exhaustive(inst=4,maxw=4,cases=69904,fired=22620) sampled(inst=22,cases=1408,fired=543)
core.compare::slt_sext 4357801fd5d32647845c78115b30f1c7 rule exhaustive(inst=15,maxw=6,cases=1812,fired=1812) sampled(inst=360,cases=23040,fired=23040)
core.compare::slt_zero_or_low d69e23066c70f2d5c8aaf92f73d63ff5 rule exhaustive(inst=5,maxw=5,cases=37448,fired=6220) sampled(inst=22,cases=1408,fired=448)
core.compare::ule_const_not 60f09a2c18de403fbb90bb66ca244435 rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.compare::ule_not_const fae7fc5f6ef76cb5fb794c63e0396322 rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.compare::ule_not_not 20ad54740edb9169e34fea639af4e6a7 rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.compare::ule_or_common a7aa4f6d1ddce762a5003977f74fb6d8 rule exhaustive(inst=4,maxw=4,cases=69904,fired=22620) sampled(inst=22,cases=1408,fired=572)
core.compare::ult_const_not d08ec3446fc4d658b83c709c5b501dd3 rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.compare::ult_not_const c5d697169797939214a514fd38dfc194 rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.compare::ult_not_not 89405c4d64c880b19d9440b5efbe6546 rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.compare::ult_one 2aed343e84cf6eef6c63488913bf5f5e rule exhaustive(inst=6,maxw=6,cases=126,fired=126) sampled(inst=22,cases=1408,fired=1408)
core.compare::ult_or_common b9fce9a0571406aaf50d6d2fcc2f67ad rule exhaustive(inst=4,maxw=4,cases=69904,fired=22620) sampled(inst=22,cases=1408,fired=557)
core.compare::ult_zext 8f96fb762bf7187a560b7f4b3e5cd61b rule exhaustive(inst=15,maxw=6,cases=1812,fired=1812) sampled(inst=357,cases=22848,fired=22848)
core.compare::zero_sle_or_low b5373ec29026f6b9e1a5371c8a52c228 rule exhaustive(inst=5,maxw=5,cases=37448,fired=6220) sampled(inst=22,cases=1408,fired=394)
core.compare::zero_slt_or_low dd23eed5e80ee58c54a96385713c0aff rule exhaustive(inst=5,maxw=5,cases=37448,fired=4856) sampled(inst=22,cases=1408,fired=279)
core.concat::concat_and_high d698e0bd2d93eba5377c8ccf4042daab rule exhaustive(inst=34,maxw=11,cases=294744,fired=294744) sampled(inst=378,cases=24192,fired=24192)
core.concat::concat_and_low dd5f0f3269536c6a0fad0de5ea79f3ec rule exhaustive(inst=34,maxw=11,cases=294744,fired=294744) sampled(inst=364,cases=23296,fired=23296)
core.concat::concat_ashr f3a8c9d4fbb4f1cf97a702742473d57b rule exhaustive(inst=36,maxw=12,cases=15876,fired=15876) sampled(inst=369,cases=23616,fired=23616)
core.concat::concat_assoc 0494da654abf31f834943b492cac0041 rule exhaustive(inst=212,maxw=16,cases=1345016,fired=1345016) sampled(inst=371,cases=23744,fired=23744)
core.concat::concat_lshr 82ef8e7ce54ba9f64fcb1eaee1774900 rule exhaustive(inst=36,maxw=12,cases=15876,fired=15876) sampled(inst=373,cases=23872,fired=23872)
core.concat::concat_or_high 67491b73a2db13085fbbc799e760838e rule exhaustive(inst=34,maxw=11,cases=294744,fired=294744) sampled(inst=368,cases=23552,fired=23552)
core.concat::concat_or_low b54c0d79d81e68fbc143b365270906f0 rule exhaustive(inst=34,maxw=11,cases=294744,fired=294744) sampled(inst=369,cases=23616,fired=23616)
core.concat::concat_or_zext ff799c4b3f67dc2420cd55f5e9ea3b98 rule exhaustive(inst=36,maxw=12,cases=15876,fired=15876) sampled(inst=375,cases=24000,fired=24000)
core.concat::concat_sign_word e835ebfce06331667a13d6cf996a1c5a rule exhaustive(inst=5,maxw=12,cases=124,fired=124) sampled(inst=18,cases=1152,fired=1152)
core.concat::concat_xor_low 90be7324a23fb1fb4e9fb23278dd4276 rule exhaustive(inst=34,maxw=11,cases=294744,fired=294744) sampled(inst=362,cases=23168,fired=23168)
core.division::sdiv_identity 0e2713001f55bb560d86970d73facfe0 rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.division::sdiv_nonnegative_pow2 a1b76f032d482ad0e42136cdaeee8553 rule exhaustive(inst=6,maxw=6,cases=5460,fired=258) sampled(inst=22,cases=1408,fired=767)
core.division::sdiv_pow2_identity ef880b281311ee6730b62138ce957af7 rule exhaustive(inst=5,maxw=5,cases=37448,fired=258) sampled(inst=22,cases=1408,fired=19)
core.division::srem_self c965fc4891114794e9684e6aa4293f47 rule exhaustive(inst=6,maxw=6,cases=126,fired=126) sampled(inst=22,cases=1408,fired=1408)
core.division::udiv_identity f4874049e6d4b621754f0991c0191916 rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.division::urem_self c17059572c85f57a36a05bc9d28846c3 rule exhaustive(inst=6,maxw=6,cases=126,fired=126) sampled(inst=22,cases=1408,fired=1408)
core.division::urem_urem 31a59eda0eef7341e1045ccacd062d50 rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.factor::ashr_and f7f6d9392100c3f36c0d19d2196a24e7 rule exhaustive(inst=5,maxw=5,cases=37448,fired=37448) sampled(inst=22,cases=1408,fired=1408)
core.factor::ashr_or e3fb429d49bdd239f7aba51da4e29605 rule exhaustive(inst=5,maxw=5,cases=37448,fired=37448) sampled(inst=22,cases=1408,fired=1408)
core.factor::ashr_xor 1c9542d0741da79be29ffd7df9495796 rule exhaustive(inst=5,maxw=5,cases=37448,fired=37448) sampled(inst=22,cases=1408,fired=1408)
core.factor::extract_and 8265edd969930b25ad387054b132e864 rule exhaustive(inst=35,maxw=6,cases=73424,fired=73424) sampled(inst=348,cases=22272,fired=22272)
core.factor::extract_or 3334909a538a05c15d5735633ab33dab rule exhaustive(inst=35,maxw=6,cases=73424,fired=73424) sampled(inst=349,cases=22336,fired=22336)
core.factor::extract_xor b7b5c8d3578aaf3a166650108bf38dd8 rule exhaustive(inst=35,maxw=6,cases=73424,fired=73424) sampled(inst=353,cases=22592,fired=22592)
core.factor::lshr_and 8c5bd6169a2b7f18889e0005fe94aff0 rule exhaustive(inst=5,maxw=5,cases=37448,fired=37448) sampled(inst=22,cases=1408,fired=1408)
core.factor::lshr_or 064e33d0ec0870b05468d4134ee36368 rule exhaustive(inst=5,maxw=5,cases=37448,fired=37448) sampled(inst=22,cases=1408,fired=1408)
core.factor::lshr_xor 2d0f0c1a0b22abe27537957bb888c9b2 rule exhaustive(inst=5,maxw=5,cases=37448,fired=37448) sampled(inst=22,cases=1408,fired=1408)
core.factor::not_ashr_not ef4d8da80bb5726455e9399ba59ea0de rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.factor::not_rotl_not 473249eec8191e3b30f837320d14c32b rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.factor::rotl_and cd794efb39d108f85c6132a3ca7f38d9 rule exhaustive(inst=5,maxw=5,cases=37448,fired=37448) sampled(inst=22,cases=1408,fired=1408)
core.factor::rotl_or 196002df6b9e77d4254443e7598b0ed7 rule exhaustive(inst=5,maxw=5,cases=37448,fired=37448) sampled(inst=22,cases=1408,fired=1408)
core.factor::rotl_xor 5727ac6d3af7f36a029f8fa93ffcec8f rule exhaustive(inst=5,maxw=5,cases=37448,fired=37448) sampled(inst=22,cases=1408,fired=1408)
core.factor::sext_and 98cc4b52bd8988eec736fdb5be257e92 rule exhaustive(inst=15,maxw=6,cases=1812,fired=1812) sampled(inst=362,cases=23168,fired=23168)
core.factor::sext_or 33efacd6855ef53ba126af477606203e rule exhaustive(inst=15,maxw=6,cases=1812,fired=1812) sampled(inst=361,cases=23104,fired=23104)
core.factor::sext_xor f9b80b0a9bab431fa2cc96e6f1b2e4b5 rule exhaustive(inst=15,maxw=6,cases=1812,fired=1812) sampled(inst=369,cases=23616,fired=23616)
core.factor::shl_add 05c6376c2b072729ac4ef51070a77f8c rule exhaustive(inst=5,maxw=5,cases=37448,fired=37448) sampled(inst=22,cases=1408,fired=1408)
core.factor::shl_and 4f30cb0d93bb4ccc3f245db64c25ce5e rule exhaustive(inst=5,maxw=5,cases=37448,fired=37448) sampled(inst=22,cases=1408,fired=1408)
core.factor::shl_or 5e8d1a73304e23a57dcbc3c59e44650e rule exhaustive(inst=5,maxw=5,cases=37448,fired=37448) sampled(inst=22,cases=1408,fired=1408)
core.factor::shl_sub 9832dff8f86b9d9c97908dbf97f23fe6 rule exhaustive(inst=5,maxw=5,cases=37448,fired=37448) sampled(inst=22,cases=1408,fired=1408)
core.factor::shl_xor 835e7b8a272d34735833f7ecea7c46c5 rule exhaustive(inst=5,maxw=5,cases=37448,fired=37448) sampled(inst=22,cases=1408,fired=1408)
core.factor::trunc_and 372865c62b887749a74c087c4b123dc1 rule exhaustive(inst=15,maxw=6,cases=25488,fired=25488) sampled(inst=351,cases=22464,fired=22464)
core.factor::trunc_or c6b9406c4df8c1caabc9d1d75d3b0e12 rule exhaustive(inst=15,maxw=6,cases=25488,fired=25488) sampled(inst=351,cases=22464,fired=22464)
core.factor::trunc_xor 7498693ac466dd1dc64875c50ba2f5de rule exhaustive(inst=15,maxw=6,cases=25488,fired=25488) sampled(inst=355,cases=22720,fired=22720)
core.factor::zext_and 169b7fca4b0ce2402ad0b2ef5ffea16c rule exhaustive(inst=15,maxw=6,cases=1812,fired=1812) sampled(inst=360,cases=23040,fired=23040)
core.factor::zext_or f3a19e2202a27cbf6c97d1df27f11a2d rule exhaustive(inst=15,maxw=6,cases=1812,fired=1812) sampled(inst=357,cases=22848,fired=22848)
core.factor::zext_xor 6aecbc982cbd74e70376b30e08f60a50 rule exhaustive(inst=15,maxw=6,cases=1812,fired=1812) sampled(inst=360,cases=23040,fired=23040)
core.float::add_neg_zero a0f94c14f859a402b9279eed084de210 rule exhaustive(inst=125,maxw=12,cases=76880,fired=73780) sampled(inst=395,cases=25280,fired=20912)
core.float::add_neg_zero_rne 0da3e8b970098dc745264e10712e1fda rule exhaustive(inst=25,maxw=12,cases=15376,fired=14806) sampled(inst=345,cases=22080,fired=20225)
core.float::add_zero 1e4e1f5dafe59c62ae44246a54666897 rule exhaustive(inst=125,maxw=12,cases=76880,fired=73780) sampled(inst=380,cases=24320,fired=20134)
core.float::div_pow2 a77982939307dc5a43b08aa18175aaa6 rule exhaustive(inst=75,maxw=8,cases=2039040,fired=339040) sampled(inst=395,cases=25280,fired=2092)
core.float::div_self dda126a6c2c290fd69ab9472177b3f98 rule exhaustive(inst=125,maxw=12,cases=76880,fired=73530) sampled(inst=395,cases=25280,fired=20981)
core.float::eq_self c975f20c779466723cfb8940373c79af rule exhaustive(inst=25,maxw=6,cases=15376,fired=14806) sampled(inst=343,cases=21952,fired=20054)
core.float::le_self fbac144f5b329d149e875128cd71ebf5 rule exhaustive(inst=25,maxw=6,cases=15376,fired=14806) sampled(inst=342,cases=21888,fired=20055)
core.float::max_self 665231b35591b92def77aa0b2fb1d377 rule exhaustive(inst=25,maxw=12,cases=15376,fired=14806) sampled(inst=343,cases=21952,fired=20137)
core.float::min_self 6377d4ab3876a51d7c9bc39dd6589b31 rule exhaustive(inst=25,maxw=12,cases=15376,fired=14806) sampled(inst=343,cases=21952,fired=20194)
core.float::mul_neg_one 16af161ca98c1f1babd04ed5bdd1207d rule exhaustive(inst=125,maxw=12,cases=76880,fired=74030) sampled(inst=400,cases=25600,fired=23455)
core.float::mul_one 716044045bcce4aa0fc1e5f068d16ab5 rule exhaustive(inst=125,maxw=12,cases=76880,fired=74030) sampled(inst=405,cases=25920,fired=23689)
core.float::sqrt_square 4f59fa83c047ec7782e3eeca91f1287b rule exhaustive(inst=25,maxw=12,cases=15376,fired=6448) sampled(inst=342,cases=21888,fired=12852)
core.float::sub_self_rna 8f744904eec7f6e7be6ddfbe1e198883 rule exhaustive(inst=25,maxw=12,cases=15376,fired=14756) sampled(inst=344,cases=22016,fired=20217)
core.float::sub_self_rne cad33a4d22b39b64c32f4f080825d83b rule exhaustive(inst=25,maxw=12,cases=15376,fired=14756) sampled(inst=345,cases=22080,fired=20228)
core.float::sub_self_rtn b1422b6bcd5e309f670cd034351a1bda rule exhaustive(inst=25,maxw=12,cases=15376,fired=14756) sampled(inst=343,cases=21952,fired=20150)
core.float::sub_self_rtp a5ebdd240c3687e16ac837d0cc7aeab0 rule exhaustive(inst=25,maxw=12,cases=15376,fired=14756) sampled(inst=338,cases=21632,fired=19852)
core.float::sub_self_rtz 0e802ded4ef28cd3ee0eba5bff1925a6 rule exhaustive(inst=25,maxw=12,cases=15376,fired=14756) sampled(inst=343,cases=21952,fired=20117)
core.float::widen_narrow 57552ef3df4d79f54fd8132e76af6aed rule exhaustive(inst=5625,maxw=12,cases=1299600,fired=1225350) sampled(inst=350,cases=22400,fired=20497)
core.float_values::add_neg_zero_rna a28910d6acea4e905db5f0e40bec825b rule exhaustive(inst=25,maxw=12,cases=15376,fired=15376) sampled(inst=343,cases=21952,fired=21952)
core.float_values::add_neg_zero_rne 0bb325b4746a722b5ca0e32da549a842 rule exhaustive(inst=25,maxw=12,cases=15376,fired=15376) sampled(inst=340,cases=21760,fired=21760)
core.float_values::add_neg_zero_rtp 86c784cc80d5772f931632b27970e08f rule exhaustive(inst=25,maxw=12,cases=15376,fired=15376) sampled(inst=344,cases=22016,fired=22016)
core.float_values::add_neg_zero_rtz 1948e777e2f00868986469de46c31d22 rule exhaustive(inst=25,maxw=12,cases=15376,fired=15376) sampled(inst=344,cases=22016,fired=22016)
core.float_values::max_self a3a2938477d1e5bdcbb89c64ec0c38b7 rule exhaustive(inst=25,maxw=12,cases=15376,fired=15376) sampled(inst=344,cases=22016,fired=22016)
core.float_values::min_self d97f1a6bdf51ac88ade1c2b6f2220926 rule exhaustive(inst=25,maxw=12,cases=15376,fired=15376) sampled(inst=343,cases=21952,fired=21952)
core.float_values::mul_neg_one 7c19c46ccf8fcbb06b0d5626885e5b43 rule exhaustive(inst=125,maxw=12,cases=76880,fired=76880) sampled(inst=380,cases=24320,fired=24320)
core.float_values::mul_one 12e451fa3bb6125325351e593639df4d rule exhaustive(inst=125,maxw=12,cases=76880,fired=76880) sampled(inst=390,cases=24960,fired=24960)
core.float_values::widen_narrow fd83c0fd75b82ee4b9274a2c4f8547ef rule exhaustive(inst=5625,maxw=12,cases=1299600,fired=1299600) sampled(inst=350,cases=22400,fired=22400)
core.guarded_recovery::boolean_lowbit_mask_keep decb0ae9975b4524d6a760bd56c01cb5 rule exhaustive(inst=5,maxw=6,cases=5456,fired=5456) sampled(inst=22,cases=1408,fired=1408)
core.guarded_recovery::boolean_zext_mask_keep ba529cbf951c488bc69994b270c55ae8 rule exhaustive(inst=5,maxw=6,cases=248,fired=248) sampled(inst=22,cases=1408,fired=1408)
core.guarded_recovery::complementary_shift_rotate 261d5549bede65cb93aa803da98ba7be rule exhaustive(inst=5,maxw=5,cases=37448,fired=196) sampled(inst=22,cases=1408,fired=1)
core.guarded_recovery::increment_boolean cb487c5a0ad51813425d4989d024e1dd rule exhaustive(inst=1,maxw=1,cases=2,fired=2,complete) sampled(inst=1,cases=64,fired=64)
core.guarded_recovery::mask_or_add_constant 73495126a3e1879dff9d23437ca68248 rule exhaustive(inst=4,maxw=4,cases=69904,fired=41370) sampled(inst=22,cases=1408,fired=782)
core.guarded_recovery::mask_or_add_constant_carry 9382ff59b9ba5b15f2af9c6d05ede08c rule exhaustive(inst=4,maxw=4,cases=69904,fired=69904) sampled(inst=22,cases=1408,fired=1408)
core.guarded_recovery::negate_boolean b4d4394fef3ac4a714420c8fb792df79 rule exhaustive(inst=1,maxw=1,cases=2,fired=2,complete) sampled(inst=1,cases=64,fired=64)
core.guarded_recovery::recombine_shifted_field_or 8f9b6c7b8382124830bab5f753252d29 rule exhaustive(inst=4,maxw=4,cases=69904,fired=9020) sampled(inst=22,cases=1408,fired=75)
core.guarded_recovery::select_nonzero_value cc0b354dea08b023f7289413606535a4 rule exhaustive(inst=6,maxw=6,cases=126,fired=126) sampled(inst=22,cases=1408,fired=1408)
core.guarded_recovery::sle_neg_pair 9bed35d33e79ffb4f3d9eb767c5009d4 rule exhaustive(inst=6,maxw=6,cases=5460,fired=5214) sampled(inst=22,cases=1408,fired=1281)
core.guarded_recovery::slt_neg_pair cd86bf982e9a8aa5a1d3ed7d503648d1 rule exhaustive(inst=6,maxw=6,cases=5460,fired=5214) sampled(inst=22,cases=1408,fired=1299)
core.guarded_recovery::split_mask_add 5d82cae63e20c5d7a97a08ac2977290f rule exhaustive(inst=4,maxw=4,cases=69904,fired=22620) sampled(inst=22,cases=1408,fired=541)
core.guarded_recovery::split_mask_increment c20405c68570202ee3a38ecaf47a2a14 rule exhaustive(inst=5,maxw=5,cases=37448,fired=1364) sampled(inst=22,cases=1408,fired=49)
core.guarded_recovery::split_mask_or_or 3ebe1198631e1087ddabb16a6b70547c rule exhaustive(inst=4,maxw=4,cases=69904,fired=69904) sampled(inst=22,cases=1408,fired=1408)
core.guarded_recovery::split_mask_sub b6194d1b7fc8b679a724698c0ade0002 rule exhaustive(inst=4,maxw=4,cases=69904,fired=4680) sampled(inst=22,cases=1408,fired=42)
core.guarded_recovery::xor_complement_mask 960927c6017b6c83bf53419b598bc6e7 rule exhaustive(inst=5,maxw=5,cases=37448,fired=1364) sampled(inst=22,cases=1408,fired=36)
core.guarded_recovery::xor_zext_lowmask 2b2f0ea31c4fc44a521c08b0e23352ae rule exhaustive(inst=15,maxw=6,cases=114,fired=114) sampled(inst=361,cases=23104,fired=23104)
core.guarded_recovery_canonical::sle_neg_zero 7ac0936c5fb77be524554960e952feb1 rule exhaustive(inst=6,maxw=6,cases=126,fired=120) sampled(inst=22,cases=1408,fired=1357)
core.guarded_recovery_canonical::sle_zero_neg 33b225889c13b7d3bcb813aafbb36c11 rule exhaustive(inst=6,maxw=6,cases=126,fired=120) sampled(inst=22,cases=1408,fired=1355)
core.guarded_recovery_canonical::slt_neg_zero 81c11c2d8bfbca369d43fa48da869854 rule exhaustive(inst=6,maxw=6,cases=126,fired=120) sampled(inst=22,cases=1408,fired=1355)
core.guarded_recovery_canonical::slt_zero_neg e37484a4cd2660cd2d9ef2a9ac396c81 rule exhaustive(inst=6,maxw=6,cases=126,fired=120) sampled(inst=22,cases=1408,fired=1356)
core.guarded_recovery_canonical::split_mask_or_add 61dd03408ebe1c1fdfaf7d74166bfc2d rule exhaustive(inst=4,maxw=4,cases=69904,fired=1554) sampled(inst=22,cases=1408,fired=32)
core.guarded_recovery_concat::add_aligned_to_concat 5b006118f34f29a2c4623e16c2f9e125 rule exhaustive(inst=16,maxw=7,cases=255904,fired=255904) sampled(inst=368,cases=23552,fired=23552)
core.guarded_recovery_layout::add_constant_to_concat a32dedd375d4c13d453b2ea554fa64c6 rule exhaustive(inst=16,maxw=7,cases=255904,fired=255904) sampled(inst=377,cases=24128,fired=24128)
core.guarded_recovery_layout::or_constant_to_concat 89bc79641e116668b5d7725cda91a861 rule exhaustive(inst=16,maxw=7,cases=255904,fired=255904) sampled(inst=375,cases=24000,fired=24000)
core.guarded_recovery_layout::recombine_low_constant 423c3787ef3d8cc7a16be2133df45fd2 rule exhaustive(inst=4,maxw=4,cases=69904,fired=1592) sampled(inst=22,cases=1408,fired=27)
core.guarded_recovery_layout::shifted_add_constant 783090d943f6b905fe73d9757acf7da2 rule exhaustive(inst=5,maxw=5,cases=37448,fired=37448) sampled(inst=22,cases=1408,fired=1408)
core.guarded_recovery_layout::shifted_masked_add 35964b8448e43aa19ccd89fe200c28f5 rule exhaustive(inst=4,maxw=4,cases=69904,fired=69904) sampled(inst=22,cases=1408,fired=1408)
core.guarded_recovery_layout::shifted_or_constant 2fdeeefc747b6fd512be1019315b83cd rule exhaustive(inst=5,maxw=5,cases=37448,fired=37448) sampled(inst=22,cases=1408,fired=1408)
core.guarded_recovery_layout::split_or_masked_sum 6edef400bd6df617521f08587feff1f1 rule exhaustive(inst=4,maxw=4,cases=69904,fired=6850) sampled(inst=22,cases=1408,fired=292)
core.guarded_recovery_mba_normalized::sum_from_distributed_double_or 1b6e3629a493c8a0df1a7a29ef7ee94f rule exhaustive(inst=5,maxw=5,cases=37448,fired=2728) sampled(inst=22,cases=1408,fired=89)
core.guarded_recovery_mba_normalized::sum_from_vanishing_double_mask 032b3d9b00c8abe84e35da4485b84095 rule exhaustive(inst=6,maxw=6,cases=5460,fired=252) sampled(inst=22,cases=1408,fired=261)
core.guarded_recovery_mba_normalized::xor_from_distributed_double_or ff8265c4c02c540f99b1deb6abb5d3ce rule exhaustive(inst=5,maxw=5,cases=37448,fired=2728) sampled(inst=22,cases=1408,fired=102)
core.guarded_recovery_shuffle::recombine_extracted_field b550746379b99aa58a2c5bb6c72922e1 rule exhaustive(inst=76,maxw=8,cases=1728208,fired=1728208) sampled(inst=357,cases=22848,fired=22848)
core.guarded_recovery_shuffle::recombine_extracted_field_or 3ce7db0c3329567af085c8376f7ddb39 rule exhaustive(inst=76,maxw=8,cases=1728208,fired=1728208) sampled(inst=362,cases=23168,fired=23168)
core.recovery_arith::and_from_or_minus_xor 4f32959fb22c740ae27d6bc49c77c84a rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.recovery_arith::and_from_sum_minus_or 0848fe67a2976f410e84b40dc96043a5 rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.recovery_arith::negative_double 2dd9b11601ee02c12c2481336865e595 rule exhaustive(inst=6,maxw=6,cases=126,fired=126) sampled(inst=22,cases=1408,fired=1408)
core.recovery_arith::or_from_sum_minus_and f019fb342a613546b666686fef018ce0 rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.recovery_arith::sum_from_double_or_xor c497d69b28f29fe5c7fddbf8f1ed618c rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.recovery_arith::xor_from_double_or_sum a1a8b030220d48537138d9890d2f74e9 rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.recovery_arith::xor_from_or_minus_and da70d981bf49c9fd64529be76dc44a95 rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.recovery_arith::xor_from_sum_double_and 87922c512335e9dc7aead0ac1f51b865 rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.recovery_bmi2::pdep_inside_mask b21547342b4764bdc78919382df28147 rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.recovery_bmi2::pdep_ones 1cf95e04cab11d45e16faa0e5723c7a5 rule exhaustive(inst=6,maxw=6,cases=126,fired=126) sampled(inst=22,cases=1408,fired=1408)
core.recovery_bmi2::pdep_outside_mask 6cdc6658fa1fe8581bc5d36bb0507523 rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.recovery_bmi2::pdep_pext 434127252d87556ee17c32e8adf9837b rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.recovery_bmi2::pdep_pext_and c097cdca5f3d9cc029a256d06a38b93e rule exhaustive(inst=5,maxw=5,cases=37448,fired=37448) sampled(inst=22,cases=1408,fired=1408)
core.recovery_bmi2::pdep_pext_or 38a73402ab077b98a5047b95debd96fb rule exhaustive(inst=5,maxw=5,cases=37448,fired=37448) sampled(inst=22,cases=1408,fired=1408)
core.recovery_bmi2::pdep_pext_xor 13f4d3e6262c06a78db84ce5421f27ee rule exhaustive(inst=5,maxw=5,cases=37448,fired=37448) sampled(inst=22,cases=1408,fired=1408)
core.recovery_bmi2::pext_complement_mask bef068d280e4b2d936ec9c774d55bf58 rule exhaustive(inst=6,maxw=6,cases=126,fired=126) sampled(inst=22,cases=1408,fired=1408)
core.recovery_bmi2::pext_pdep 560d3ba6655ac3aea8ef21e16bc765ae rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.recovery_canonical::pdep_pext_xor_constant b0b52d691ec3d9f5890585cfa37eaa35 rule exhaustive(inst=5,maxw=5,cases=37448,fired=37448) sampled(inst=22,cases=1408,fired=1408)
core.recovery_canonical::ugt_constant_borrow df2566dd7d5038afcb647f8443468505 rule exhaustive(inst=5,maxw=5,cases=37448,fired=1364) sampled(inst=22,cases=1408,fired=43)
core.recovery_canonical::ule_constant_borrow 15f51e06628836a54b64ad1b0e91685f rule exhaustive(inst=5,maxw=5,cases=37448,fired=1364) sampled(inst=22,cases=1408,fired=44)
core.recovery_canonical::xor_sign_bit_add f18d342b0c28847a665ac1f8629c0834 rule exhaustive(inst=6,maxw=6,cases=126,fired=126) sampled(inst=22,cases=1408,fired=1408)
core.recovery_cast::add_trunc_pair 22d99e3b7a0a00771533a5b3209a8ba6 rule exhaustive(inst=15,maxw=6,cases=25488,fired=25488) sampled(inst=352,cases=22528,fired=22528)
core.recovery_cast::mul_trunc_pair cbbe3d929d5b43bc2b2524468a81c421 rule exhaustive(inst=15,maxw=6,cases=25488,fired=25488) sampled(inst=351,cases=22464,fired=22464)
core.recovery_cast::sub_trunc_pair 0a45027a533fdf6e7540c65b13d3af95 rule exhaustive(inst=15,maxw=6,cases=25488,fired=25488) sampled(inst=348,cases=22272,fired=22272)
core.recovery_compare::eq_complement ae5289db8dc7bc237fee54151a2b6eaf rule exhaustive(inst=6,maxw=6,cases=126,fired=126) sampled(inst=22,cases=1408,fired=1408)
core.recovery_compare::ne_complement a5a8e1f78d8062ff7e27da7502452dc9 rule exhaustive(inst=6,maxw=6,cases=126,fired=126) sampled(inst=22,cases=1408,fired=1408)
core.recovery_compare::ne_sub_zero e589b3357c2bc9540d2e8fccfc8d6eb5 rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.recovery_compare::uge_add_no_carry b23d2644f395495e95f2de495ef8dd89 rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.recovery_compare::ugt_add_no_carry 4ae0d0e87d6a1676e842bddd2c251a1f rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.recovery_compare::ugt_sub_borrow be2b71afc9cd772f13fe077f3fd3994b rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.recovery_compare::ule_add_carry db11312c1c1f6aa3198a77f33167ec6e rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.recovery_compare::ule_sub_no_borrow 1d9377217cd4738d39ea635185154c94 rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.recovery_minmax::smax_select_add 202e1d091ce0cbd95c5fde56649bcc6b rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.recovery_minmax::smax_select_or a96b051e78b1e3b4ccf1cfdc72cdca65 rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.recovery_minmax::smin_select_add 63fb767bb76c62b9657b8e1f7cb796e7 rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.recovery_minmax::smin_select_or ea53e0964607354ca9ae67367784e9f7 rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.recovery_minmax::umax_ones_sext_add 31e261b9853c15d1b1ffe9d7c00a6334 rule exhaustive(inst=5,maxw=6,cases=124,fired=124) sampled(inst=22,cases=1408,fired=1408)
core.recovery_minmax::umax_ones_sext_or f692afaca1ea5639d7430e4cdd1c9939 rule exhaustive(inst=5,maxw=6,cases=124,fired=124) sampled(inst=22,cases=1408,fired=1408)
core.recovery_minmax::umax_select_add 8d29c6759163c70788136963409a0c5d rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.recovery_minmax::umax_select_or 95e13c50ebb6c3206ae5203bd5f2fc3b rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.recovery_minmax::umin_select_add e85d34b2314c76d8155e7c8549eb6680 rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.recovery_minmax::umin_select_or d35f10229f29eec5051c058b953f81a0 rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.recovery_select::merge_complementary_select_add f6624bdbe048a26d0d370b585787c538 rule exhaustive(inst=6,maxw=6,cases=10920,fired=10920) sampled(inst=22,cases=1408,fired=1408)
core.recovery_select::merge_complementary_select_or c3d0f83fc0665e2cd570488760be1ade rule exhaustive(inst=6,maxw=6,cases=10920,fired=10920) sampled(inst=22,cases=1408,fired=1408)
core.recovery_select::merge_complementary_sext_add 47d01e868e1df71d3dbc07e0dbf18aec rule exhaustive(inst=5,maxw=6,cases=248,fired=248) sampled(inst=22,cases=1408,fired=1408)
core.recovery_select::merge_complementary_sext_or cd18f054e32a468a722bbf6d2908558f rule exhaustive(inst=5,maxw=6,cases=248,fired=248) sampled(inst=22,cases=1408,fired=1408)
core.recovery_select::merge_complementary_zext_add 482b75bc366fecc9585eea112bdfb826 rule exhaustive(inst=5,maxw=6,cases=248,fired=248) sampled(inst=22,cases=1408,fired=1408)
core.recovery_select::merge_complementary_zext_or 9d66980e81fc8f2d78d2575c1d50f24d rule exhaustive(inst=5,maxw=6,cases=248,fired=248) sampled(inst=22,cases=1408,fired=1408)
core.recovery_select::select_nonzero_self 75a81d70dd3cf878ddec1c312e4506d9 rule exhaustive(inst=6,maxw=6,cases=126,fired=126) sampled(inst=22,cases=1408,fired=1408)
core.recovery_select_one::smax_one_add f252c3a0d5c21512088b191386344522 rule exhaustive(inst=5,maxw=6,cases=124,fired=124) sampled(inst=22,cases=1408,fired=1408)
core.recovery_select_one::smax_one_first_add 99257cb81be9670cf19566d3a37f9e0e rule exhaustive(inst=5,maxw=6,cases=124,fired=124) sampled(inst=22,cases=1408,fired=1408)
core.recovery_select_one::smax_one_first_or 4c4ff31e6e2640f9464d8bc3d038a9f7 rule exhaustive(inst=5,maxw=6,cases=124,fired=124) sampled(inst=22,cases=1408,fired=1408)
core.recovery_select_one::smax_one_or c808260942e93cc7428a0e7ca5f93469 rule exhaustive(inst=5,maxw=6,cases=124,fired=124) sampled(inst=22,cases=1408,fired=1408)
core.recovery_select_one::smin_one_add 6f1d6148ecbc8753d2c1ec9754709835 rule exhaustive(inst=5,maxw=6,cases=124,fired=124) sampled(inst=22,cases=1408,fired=1408)
core.recovery_select_one::smin_one_first_add ee657915809e63c8c2617a326c865c80 rule exhaustive(inst=5,maxw=6,cases=124,fired=124) sampled(inst=22,cases=1408,fired=1408)
core.recovery_select_one::smin_one_first_or 43afa645a1a9a550de998a6cd533890d rule exhaustive(inst=5,maxw=6,cases=124,fired=124) sampled(inst=22,cases=1408,fired=1408)
core.recovery_select_one::smin_one_or 3d39dd507657d9392d1435a673c79a8b rule exhaustive(inst=5,maxw=6,cases=124,fired=124) sampled(inst=22,cases=1408,fired=1408)
core.recovery_select_one::umax_one_add f87d2c5af5961625f95309229a37c51f rule exhaustive(inst=5,maxw=6,cases=124,fired=124) sampled(inst=22,cases=1408,fired=1408)
core.recovery_select_one::umax_one_first_add 9cd7f73e7cdd32413aaaef3f161ccd63 rule exhaustive(inst=5,maxw=6,cases=124,fired=124) sampled(inst=22,cases=1408,fired=1408)
core.recovery_select_one::umax_one_first_or 5d23c2ac0c355e768755f6857564b45c rule exhaustive(inst=5,maxw=6,cases=124,fired=124) sampled(inst=22,cases=1408,fired=1408)
core.recovery_select_one::umax_one_or e128527ba3d2bf7143cb11eb4facad42 rule exhaustive(inst=5,maxw=6,cases=124,fired=124) sampled(inst=22,cases=1408,fired=1408)
core.recovery_select_one::umin_one_add a3f99d66a09c601ea8f5333aaaa9ff63 rule exhaustive(inst=5,maxw=6,cases=124,fired=124) sampled(inst=22,cases=1408,fired=1408)
core.recovery_select_one::umin_one_or 3642653cb96cf91401c09c675f4b1f79 rule exhaustive(inst=5,maxw=6,cases=124,fired=124) sampled(inst=22,cases=1408,fired=1408)
core.recovery_select_ones::smax_ones_add 130e46c5b562004757683fe2956d2e51 rule exhaustive(inst=5,maxw=6,cases=124,fired=124) sampled(inst=22,cases=1408,fired=1408)
core.recovery_select_ones::smax_ones_first_add cda854b3960486cf4f1da2f81627f764 rule exhaustive(inst=5,maxw=6,cases=124,fired=124) sampled(inst=22,cases=1408,fired=1408)
core.recovery_select_ones::smax_ones_first_or 016193b76ad263f85025c590231adf08 rule exhaustive(inst=5,maxw=6,cases=124,fired=124) sampled(inst=22,cases=1408,fired=1408)
core.recovery_select_ones::smax_ones_or f2d12fc870021b2152f32b5054073de0 rule exhaustive(inst=5,maxw=6,cases=124,fired=124) sampled(inst=22,cases=1408,fired=1408)
core.recovery_select_ones::smin_ones_add 65e455fb270251d1b026c0e5868e45df rule exhaustive(inst=5,maxw=6,cases=124,fired=124) sampled(inst=22,cases=1408,fired=1408)
core.recovery_select_ones::smin_ones_first_add 4b05bfcab7758d108ddabad036fa0e34 rule exhaustive(inst=5,maxw=6,cases=124,fired=124) sampled(inst=22,cases=1408,fired=1408)
core.recovery_select_ones::smin_ones_first_or 111707bdb6d5de2467d05f9524fe499b rule exhaustive(inst=5,maxw=6,cases=124,fired=124) sampled(inst=22,cases=1408,fired=1408)
core.recovery_select_ones::smin_ones_or 13ae505e7b40ee221d48a846777875f6 rule exhaustive(inst=5,maxw=6,cases=124,fired=124) sampled(inst=22,cases=1408,fired=1408)
core.recovery_select_ones::umin_ones_first_add d82416add4ac94a55d1b85206e526f15 rule exhaustive(inst=5,maxw=6,cases=124,fired=124) sampled(inst=22,cases=1408,fired=1408)
core.recovery_select_ones::umin_ones_first_or 7415c49d44c0286f84d23d5ca59deca0 rule exhaustive(inst=5,maxw=6,cases=124,fired=124) sampled(inst=22,cases=1408,fired=1408)
core.recovery_shift::ashr_ashr 2470743a4f433d82e228b6dc995fe955 rule exhaustive(inst=5,maxw=5,cases=37448,fired=37448) sampled(inst=22,cases=1408,fired=1408)
core.recovery_shift::lshr_xor_dead_constant bbeeb14021d97e8886bcf8592c4065aa rule exhaustive(inst=5,maxw=5,cases=37448,fired=32378) sampled(inst=22,cases=1408,fired=1121)
core.recovery_shift::negate_sign_bit 727f614c174e631cbad727114e8eeb9f rule exhaustive(inst=6,maxw=6,cases=126,fired=126) sampled(inst=22,cases=1408,fired=1408)
core.recovery_shift::nonzero_from_sign_union 2f5d37db586048bfff0350c45fbcd244 rule exhaustive(inst=5,maxw=6,cases=124,fired=124) sampled(inst=22,cases=1408,fired=1408)
core.recovery_shift::shl_lshr 40bcc0cd3f2033d7a8aa5dfe5af954cc rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.recovery_shift::shl_xor_dead_constant f76582445ce8a11bcba8e17a795fa4cb rule exhaustive(inst=5,maxw=5,cases=37448,fired=32378) sampled(inst=22,cases=1408,fired=1093)
core.recovery_shuffle::concat_low_zero 21a122a2e27ea38f2791ccd666efd22e rule exhaustive(inst=34,maxw=11,cases=294744,fired=9732) sampled(inst=373,cases=23872,fired=3107)
core.select::select_one_zero f389254f8f48d32f0573ee1a15809ada rule exhaustive(inst=5,maxw=6,cases=10,fired=10) sampled(inst=22,cases=1408,fired=1408)
core.select::select_ones_zero 2e36b373d0f0970a2e5fbe0ff85abc44 rule exhaustive(inst=5,maxw=6,cases=10,fired=10) sampled(inst=22,cases=1408,fired=1408)
core.select_idioms::mask_by_decremented_bit 162fa35a904c475ea0418b051773b36d rule exhaustive(inst=5,maxw=6,cases=248,fired=248) sampled(inst=22,cases=1408,fired=1408)
core.select_idioms::select_add 225e20a40bea53d8e65600ba88beb454 rule exhaustive(inst=5,maxw=5,cases=74896,fired=74896) sampled(inst=22,cases=1408,fired=1408)
core.select_idioms::select_by_mask 12c5fe34e9f57728c3c3a561658cd912 rule exhaustive(inst=5,maxw=6,cases=10912,fired=10912) sampled(inst=22,cases=1408,fired=1408)
core.select_idioms::select_by_xor_mask b6c8a35d5bde660c11f792433caf20d7 rule exhaustive(inst=5,maxw=6,cases=10912,fired=10912) sampled(inst=22,cases=1408,fired=1408)
core.select_idioms::select_else_same b4447a3a5246f92abbbfa1daf08b1722 rule exhaustive(inst=5,maxw=5,cases=74896,fired=74896) sampled(inst=22,cases=1408,fired=1408)
core.select_idioms::select_eq_difference 13c89067f9d2217c15871811224bfbb0 rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.select_idioms::select_eq_offset abea8f3ec2841912d477625099448212 rule exhaustive(inst=4,maxw=4,cases=69904,fired=4680) sampled(inst=22,cases=1408,fired=17)
core.select_idioms::select_eq_then 7d66550c7032098e2df88dec3cd0b71d rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.select_idioms::select_not b3dd06b672363841bc1978913307a335 rule exhaustive(inst=6,maxw=6,cases=10920,fired=10920) sampled(inst=22,cases=1408,fired=1408)
core.select_idioms::select_swapped_add d7714b35fbee23cfd7c3b397dd15cdf8 rule exhaustive(inst=6,maxw=6,cases=10920,fired=10920) sampled(inst=22,cases=1408,fired=1408)
core.select_idioms::select_swapped_and 5da681942954a83e3fcf39afd2c8a0d9 rule exhaustive(inst=6,maxw=6,cases=10920,fired=10920) sampled(inst=22,cases=1408,fired=1408)
core.select_idioms::select_swapped_mul 4a261f619159d3d423fbadbd5dcbbbb1 rule exhaustive(inst=6,maxw=6,cases=10920,fired=10920) sampled(inst=22,cases=1408,fired=1408)
core.select_idioms::select_swapped_or cce107fc7d1e4a786b783953853f2ce8 rule exhaustive(inst=6,maxw=6,cases=10920,fired=10920) sampled(inst=22,cases=1408,fired=1408)
core.select_idioms::select_swapped_xor 7908acbe82242b7b09ecd3b1e9323b92 rule exhaustive(inst=6,maxw=6,cases=10920,fired=10920) sampled(inst=22,cases=1408,fired=1408)
core.select_idioms::select_then_same 3e14ac3677bacd3456c15dc7cc69b3f5 rule exhaustive(inst=5,maxw=5,cases=74896,fired=74896) sampled(inst=22,cases=1408,fired=1408)
core.select_idioms::select_xor 32bb7d6beaca4bbf55281740a1b44600 rule exhaustive(inst=5,maxw=5,cases=74896,fired=74896) sampled(inst=22,cases=1408,fired=1408)
core.select_idioms::select_xor_zero 9d24a83ba9de57c908a46ea70bbad04b rule exhaustive(inst=6,maxw=6,cases=10920,fired=10920) sampled(inst=22,cases=1408,fired=1408)
core.select_idioms::select_zero_sum d50779b01e4873e3cc52811221686d84 rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.shift::lshr_lshr 87af211bb3c75865cff47a3b491ddba9 rule exhaustive(inst=5,maxw=5,cases=37448,fired=702) sampled(inst=22,cases=1408,fired=86)
core.shift::lshr_shl a74d7b719fb9c7d2eb29c298c256a209 rule exhaustive(inst=6,maxw=6,cases=5460,fired=642) sampled(inst=22,cases=1408,fired=391)
core.shift::rotl_rotl 212c7db1879190f843986b16418f0f33 rule exhaustive(inst=5,maxw=5,cases=37448,fired=37448) sampled(inst=22,cases=1408,fired=1408)
core.shift::rotl_rotr 9937dde5021a4bece4aea51006fd3a78 rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.shift::rotr_rotl 1811b7f0e3c2e1e5d95f0a8cddb8402a rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.shift::shl_shl efa9216e0faad669ca5020ba0de9e37d rule exhaustive(inst=5,maxw=5,cases=37448,fired=702) sampled(inst=22,cases=1408,fired=117)
core.shift_canonical::and_double_const 58bdc569248ae32a653eae351efa6578 rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.shift_canonical::and_shl_const 242d20cde05bd3dbc36b792fc7069535 rule exhaustive(inst=5,maxw=5,cases=37448,fired=37448) sampled(inst=22,cases=1408,fired=1408)
core.shift_canonical::or_double_const b04604ef0b6cb1a660daf8cf6fdea633 rule exhaustive(inst=6,maxw=6,cases=5460,fired=2730) sampled(inst=22,cases=1408,fired=699)
core.shift_canonical::or_shl_const 20596223631dec517bb551b1a7a0f406 rule exhaustive(inst=5,maxw=5,cases=37448,fired=3710) sampled(inst=22,cases=1408,fired=310)
core.shift_canonical::shl_mask_dead b687f5007019479c0957cd7cf5afab11 rule exhaustive(inst=5,maxw=5,cases=37448,fired=32378) sampled(inst=22,cases=1408,fired=1104)
core.shift_canonical::xor_double_const f8b7cd67abbe4487834a05877680d74c rule exhaustive(inst=6,maxw=6,cases=5460,fired=2730) sampled(inst=22,cases=1408,fired=685)
core.shift_canonical::xor_shl_const 0a5a40d33ee704e92ceee46f637d9798 rule exhaustive(inst=5,maxw=5,cases=37448,fired=3710) sampled(inst=22,cases=1408,fired=292)
core.sign::and_signs 141cd85c65274dc9446795f57d258782 rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.sign::eq_signs 4e247ce4d032df2fb29a7687877d1a4b rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.sign::lshr_sign_eq_one 54f66f8c24eddcc2971398a66093dadd rule exhaustive(inst=5,maxw=6,cases=124,fired=124) sampled(inst=22,cases=1408,fired=1408)
core.sign::lshr_sign_ne_zero 9f335e8c40f00e4d46b48e1509cd4c9d rule exhaustive(inst=6,maxw=6,cases=126,fired=126) sampled(inst=22,cases=1408,fired=1408)
core.sign::ne_sign_bits 70d49403c8e0c50a946ffa3bb94115ed rule exhaustive(inst=5,maxw=6,cases=5456,fired=5456) sampled(inst=22,cases=1408,fired=1408)
core.sign::ne_signs 32365ad93877c7f50b513071facc263e rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.sign::or_signs ecebadcfd942a430261c4617e1097502 rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.sign::sge_from_flag_bits 62c97662d4b98ada637c9a3013c8c46f rule exhaustive(inst=5,maxw=6,cases=5456,fired=5456) sampled(inst=22,cases=1408,fired=1408)
core.sign::sge_from_flags b944b3b931e674dc8e6c976d71c9b4f7 rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.sign::sge_from_flags_const 063b9a5d0e5e7ebc5fa5d36952a76c9b rule exhaustive(inst=5,maxw=5,cases=37448,fired=1364) sampled(inst=22,cases=1408,fired=49)
core.sign::slt_from_flag_bits f174d4a9429d3c1a3bfa756ee3f8b0de rule exhaustive(inst=5,maxw=6,cases=5456,fired=5456) sampled(inst=22,cases=1408,fired=1408)
core.sign::slt_from_flags 93ebea81412e6655ec05bfb1ca036bdd rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.sign::slt_from_flags_const c9a84d15eabd5887bbfb37eb549c06b6 rule exhaustive(inst=5,maxw=5,cases=37448,fired=1364) sampled(inst=22,cases=1408,fired=34)
core.sign::slt_from_flags_word b2d108eb76f2ddf5509b3eab7551bd01 rule exhaustive(inst=5,maxw=6,cases=5456,fired=5456) sampled(inst=22,cases=1408,fired=1408)
core.sign::xor_lshr_signs 4593d16a8aafa26bda98589a0df02814 rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.sign::xor_sign_bits f15ce0296dc46643b83b0839a8440fbe rule exhaustive(inst=5,maxw=6,cases=5456,fired=5456) sampled(inst=22,cases=1408,fired=1408)
core.sign::xor_signs bebaf9924fb359930cc992afea76efa5 rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.sign_tests::neg_sign_mask 7c173cde9becdabf3bd172ecf5da5505 rule exhaustive(inst=5,maxw=6,cases=124,fired=124) sampled(inst=22,cases=1408,fired=1408)
core.sign_tests::sext_negative 40c801784779d70a16c9b52bc474e316 rule exhaustive(inst=5,maxw=6,cases=124,fired=124) sampled(inst=22,cases=1408,fired=1408)
core.sign_tests::sign_bit_clear 45b94d98c4d58d75382b70baad279013 rule exhaustive(inst=5,maxw=6,cases=124,fired=124) sampled(inst=22,cases=1408,fired=1408)
core.sign_tests::sign_by_mask cdbaecbf334d99abd79b75a16d5c92d4 rule exhaustive(inst=6,maxw=6,cases=126,fired=126) sampled(inst=22,cases=1408,fired=1408)
core.sign_tests::sign_clear_by_mask 8cc674fdbfd1d02a1d2600efa6f3049d rule exhaustive(inst=6,maxw=6,cases=126,fired=126) sampled(inst=22,cases=1408,fired=1408)
core.sign_tests::sign_mask_and_bit f2bf7558845ff1e478d487bfee67b40c rule exhaustive(inst=5,maxw=6,cases=124,fired=124) sampled(inst=22,cases=1408,fired=1408)
core.sign_tests::sign_mask_ones e75ef53aead6b855a493ee5ea0de1181 rule exhaustive(inst=5,maxw=6,cases=124,fired=124) sampled(inst=22,cases=1408,fired=1408)
core.sign_tests::sign_mask_zero e23e8301a240db5941f8f46145536742 rule exhaustive(inst=5,maxw=6,cases=124,fired=124) sampled(inst=22,cases=1408,fired=1408)
core.sign_tests::slt_offset_by_smin 78856019b514ed892c1553ed05a8f015 rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.sign_tests::slt_sign_flipped 84927e3a45844fec46b665bdfa2d42ac rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.sign_tests::slt_zext 9d256a1b295dc2825921ab0b21229ea6 rule exhaustive(inst=15,maxw=6,cases=1812,fired=1812) sampled(inst=357,cases=22848,fired=22848)
core.sign_tests::ult_offset_by_smin c3f15569b5052ca10dc9fdc9030d3fb4 rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.sign_tests::ult_sign_flipped 03ecd8154db07b9ec46fabd7de1f45fe rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
core.sign_tests::zext_negative 2e17d7a859df4dfa4d8de2fb605a7f00 rule exhaustive(inst=5,maxw=6,cases=124,fired=124) sampled(inst=22,cases=1408,fired=1408)
core.single_bit::pow2_and_below d03faa2956a1674d99954abb65bda3bc rule exhaustive(inst=6,maxw=6,cases=126,fired=126) sampled(inst=22,cases=1408,fired=1408)