sdasgup3/binary-decompilation#77: wip

docs/relatedwork/k-semantics/immediate_instructions.txt

@@ -307,3 +307,11 @@ xorq_r64_imm8
 xorb_r8_imm8
 xorq_rax_imm32
 xorb_rh_imm8
+movw_r16_imm16_1 <-- Duplicate
+movl_r32_imm32_1
+movb_r8_imm8_1
+movb_rh_imm8_1
+pextrw_r32_xmm_imm8_1
+pextrw_r64_xmm_imm8_1
+vpextrw_r32_xmm_imm8_1
+vpextrw_r64_xmm_imm8_1 <-- End

docs/relatedwork/k-semantics/memory_instructions.txt

@@ -1366,3 +1366,9 @@ xorb_r8_m8
 xorb_rh_m8
 xorpd_xmm_m128
 xorps_xmm_m128
+movq_m64_mm_1 <-- Duplicate
+movq_m64_xmm_1
+movq_mm_m64_1
+movq_xmm_m64_1
+vmovq_m64_xmm_1
+vmovq_xmm_m64_1 <-- End

docs/relatedwork/k-semantics/register_instructions.txt

@@ -1132,3 +1132,143 @@ xorl_r32_r32
 xorpd_xmm_xmm
 xorps_xmm_xmm
 xorw_r16_r16
+popw_r16    <-- push/pop
+popw_r16_1
+popq_r64
+popq_r64_1
+pushw_r16
+pushw_r16_1
+pushq_r64
+pushq_r64_1 <-- End
+bsfl_r32_m32  <-- Bit Scan
+bsfl_r32_r32
+bsfq_r64_m64
+bsfq_r64_r64
+bsfw_r16_m16
+bsfw_r16_r16
+bsrw_r16_m16
+bsrw_r16_r16
+bsrl_r32_m32
+bsrl_r32_r32
+bsrq_r64_m64
+bsrq_r64_r64  
+shldw_m16_r16_cl
+shldw_m16_r16_imm8
+shldl_m32_r32_cl
+shldl_m32_r32_imm8
+shldq_m64_r64_cl
+shldq_m64_r64_imm8
+shldw_r16_r16_cl
+shldw_r16_r16_imm8
+shldl_r32_r32_cl
+shldl_r32_r32_imm8
+shldq_r64_r64_cl
+shldq_r64_r64_imm8
+shrdw_m16_r16_cl
+shrdw_m16_r16_imm8
+shrdl_m32_r32_cl
+shrdl_m32_r32_imm8
+shrdq_m64_r64_cl
+shrdq_m64_r64_imm8
+shrdw_r16_r16_cl
+shrdw_r16_r16_imm8
+shrdl_r32_r32_cl
+shrdl_r32_r32_imm8
+shrdq_r64_r64_cl
+shrdq_r64_r64_imm8 <-- End
+adcw_r16_r16_1 <-- duplicate
+adcl_r32_r32_1
+adcq_r64_r64_1
+adcb_r8_r8_1
+adcb_r8_rh_1
+adcb_rh_r8_1
+adcb_rh_rh_1
+addw_r16_r16_1
+addl_r32_r32_1
+addq_r64_r64_1
+addb_r8_r8_1
+addb_r8_rh_1
+addb_rh_r8_1
+addb_rh_rh_1
+andw_r16_r16_1
+andl_r32_r32_1
+andq_r64_r64_1
+andb_r8_r8_1
+andb_r8_rh_1
+andb_rh_r8_1
+andb_rh_rh_1
+cmpw_r16_r16_1
+cmpl_r32_r32_1
+cmpq_r64_r64_1
+cmpb_r8_r8_1
+cmpb_r8_rh_1
+cmpb_rh_r8_1
+cmpb_rh_rh_1
+movw_r16_r16_1
+movl_r32_r32_1
+movq_r64_r64_1
+movb_r8_r8_1
+movb_r8_rh_1
+movb_rh_r8_1
+movb_rh_rh_1
+movapd_xmm_xmm_1
+movaps_xmm_xmm_1
+movdqa_xmm_xmm_1
+movdqu_xmm_xmm_1
+movq_mm_mm_1
+movq_xmm_xmm_1
+movsd_xmm_xmm_1
+movss_xmm_xmm_1
+movupd_xmm_xmm_1
+movups_xmm_xmm_1
+orw_r16_r16_1
+orl_r32_r32_1
+orq_r64_r64_1
+orb_r8_r8_1
+orb_r8_rh_1
+orb_rh_r8_1
+orb_rh_rh_1
+rep lodsb_al_1
+sbbw_r16_r16_1
+sbbl_r32_r32_1
+sbbq_r64_r64_1
+sbbb_r8_r8_1
+sbbb_r8_rh_1
+sbbb_rh_r8_1
+sbbb_rh_rh_1
+subw_r16_r16_1
+subl_r32_r32_1
+subq_r64_r64_1
+subb_r8_r8_1
+subb_r8_rh_1
+subb_rh_r8_1
+subb_rh_rh_1
+vmovapd_xmm_xmm_1
+vmovapd_ymm_ymm_1
+vmovaps_xmm_xmm_1
+vmovaps_ymm_ymm_1
+vmovdqa_xmm_xmm_1
+vmovdqa_ymm_ymm_1
+vmovdqu_xmm_xmm_1
+vmovdqu_ymm_ymm_1
+vmovq_xmm_xmm_1
+vmovsd_xmm_xmm_xmm_1
+vmovss_xmm_xmm_xmm_1
+vmovupd_xmm_xmm_1
+vmovupd_ymm_ymm_1
+vmovups_xmm_xmm_1
+vmovups_ymm_ymm_1
+xchgw_r16_r16_1
+xchgl_r32_r32_1
+xchgq_r64_r64_1
+xchgb_r8_r8_1
+xchgb_r8_rh_1
+xchgb_rh_r8_1
+xchgb_rh_rh_1
+xorw_r16_r16_1
+xorl_r32_r32_1
+xorq_r64_r64_1
+xorb_r8_r8_1
+xorb_r8_rh_1
+xorb_rh_r8_1
+xorb_rh_rh_1 <-- End