bsr rax, rbx

Opcode: 480fbdc3

Instruction: BSR
Undefined flags: AF, CF, OF, PF, SF

Total states: 2,448
State # flag rax rbx
InitialFinalΔ InitialFinalΔ InitialFinalΔ
2000 0x0000000000000000 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF02 0x000000000000003F Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 =
2001 0x0000000000000001 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF02 0x000000000000003F Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 =
2002 0x0000000000000004 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF02 0x000000000000003F Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 =
2003 0x0000000000000010 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF02 0x000000000000003F Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 =
2004 0x0000000000000040 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF02 0x000000000000003F Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 =
2005 0x0000000000000080 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF02 0x000000000000003F Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 =
2006 0x0000000000000800 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF02 0x000000000000003F Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 =
2007 0x00000000000008D5 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF02 0x000000000000003F Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 =
2008 0x0000000000000000 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF02 0x000000000000003F Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
2009 0x0000000000000001 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF02 0x000000000000003F Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
2010 0x0000000000000004 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF02 0x000000000000003F Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
2011 0x0000000000000010 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF02 0x000000000000003F Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
2012 0x0000000000000040 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF02 0x000000000000003F Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
2013 0x0000000000000080 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF02 0x000000000000003F Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
2014 0x0000000000000800 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF02 0x000000000000003F Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
2015 0x00000000000008D5 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF02 0x000000000000003F Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
2016 0x0000000000000000 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF02 0x000000000000003F Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
2017 0x0000000000000001 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF02 0x000000000000003F Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
2018 0x0000000000000004 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF02 0x000000000000003F Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
2019 0x0000000000000010 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF02 0x000000000000003F Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
2020 0x0000000000000040 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF02 0x000000000000003F Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
2021 0x0000000000000080 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF02 0x000000000000003F Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
2022 0x0000000000000800 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF02 0x000000000000003F Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
2023 0x00000000000008D5 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF02 0x000000000000003F Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
2024 0x0000000000000000 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF02 0x000000000000003F Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
2025 0x0000000000000001 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF02 0x000000000000003F Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
2026 0x0000000000000004 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF02 0x000000000000003F Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
2027 0x0000000000000010 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF02 0x000000000000003F Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
2028 0x0000000000000040 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF02 0x000000000000003F Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
2029 0x0000000000000080 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF02 0x000000000000003F Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
2030 0x0000000000000800 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF02 0x000000000000003F Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
2031 0x00000000000008D5 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF02 0x000000000000003F Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
2032 0x0000000000000000 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF02 0x000000000000003F Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
2033 0x0000000000000001 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF02 0x000000000000003F Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
2034 0x0000000000000004 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF02 0x000000000000003F Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
2035 0x0000000000000010 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF02 0x000000000000003F Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
2036 0x0000000000000040 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF02 0x000000000000003F Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
2037 0x0000000000000080 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF02 0x000000000000003F Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
2038 0x0000000000000800 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF02 0x000000000000003F Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
2039 0x00000000000008D5 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF02 0x000000000000003F Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
2040 0x0000000000000000 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF80 0x0000000000000000 Δ 0x0000000000000001 0x0000000000000001 =
2041 0x0000000000000001 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF80 0x0000000000000000 Δ 0x0000000000000001 0x0000000000000001 =
2042 0x0000000000000004 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF80 0x0000000000000000 Δ 0x0000000000000001 0x0000000000000001 =
2043 0x0000000000000010 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF80 0x0000000000000000 Δ 0x0000000000000001 0x0000000000000001 =
2044 0x0000000000000040 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF80 0x0000000000000000 Δ 0x0000000000000001 0x0000000000000001 =
2045 0x0000000000000080 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF80 0x0000000000000000 Δ 0x0000000000000001 0x0000000000000001 =
2046 0x0000000000000800 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF80 0x0000000000000000 Δ 0x0000000000000001 0x0000000000000001 =
2047 0x00000000000008D5 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF80 0x0000000000000000 Δ 0x0000000000000001 0x0000000000000001 =
2048 0x0000000000000000 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF80 0x0000000000000001 Δ 0x0000000000000002 0x0000000000000002 =
2049 0x0000000000000001 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF80 0x0000000000000001 Δ 0x0000000000000002 0x0000000000000002 =
← Prev Page 41 of 49 Next →