Searched refs:cc_dep2_formal (Results 1 – 7 of 7) sorted by relevance
| /dports/security/py-angr/angr-9.0.5405/angr/engines/vex/claripy/ |
| H A D | ccall.py | 523 def pc_calculate_rdata_all_WRK(state, cc_op, cc_dep1_formal, cc_dep2_formal, cc_ndep_formal, platfo… argument
538 cc_dep2_formal = cc_dep2_formal[nbits-1:0]
543 …return pc_actions_ADD(state, nbits, cc_dep1_formal, cc_dep2_formal, cc_ndep_formal, platform=platf…
547 …return pc_actions_ADC(state, nbits, cc_dep1_formal, cc_dep2_formal, cc_ndep_formal, platform=platf…
551 …return pc_actions_SUB(state, nbits, cc_dep1_formal, cc_dep2_formal, cc_ndep_formal, platform=platf…
555 …return pc_actions_SBB(state, nbits, cc_dep1_formal, cc_dep2_formal, cc_ndep_formal, platform=platf…
563 …return pc_actions_INC(state, nbits, cc_dep1_formal, cc_dep2_formal, cc_ndep_formal, platform=platf…
567 …return pc_actions_DEC(state, nbits, cc_dep1_formal, cc_dep2_formal, cc_ndep_formal, platform=platf…
571 …return pc_actions_SHL(state, nbits, cc_dep1_formal, cc_dep2_formal, cc_ndep_formal, platform=platf…
575 …return pc_actions_SHR(state, nbits, cc_dep1_formal, cc_dep2_formal, cc_ndep_formal, platform=platf…
[all …]
|
| /dports/security/py-pyvex/pyvex-9.0.5405/vex/priv/ |
| H A D | guest_x86_helpers.c | 135 /* const */ UInt CC_DEP2 = cc_dep2_formal; \
496 UInt cc_dep2_formal, in x86g_calculate_eflags_all_WRK() argument
567 cc_op, cc_dep1_formal, cc_dep2_formal, cc_ndep_formal ); in x86g_calculate_eflags_all_WRK()
|
| H A D | guest_amd64_helpers.c | 179 /* const */ ULong CC_DEP2 = cc_dep2_formal; \
664 ULong cc_dep2_formal,
768 cc_op, cc_dep1_formal, cc_dep2_formal, cc_ndep_formal );
|
| /dports/devel/valgrind-lts/valgrind-dragonfly-dragonfly/VEX/priv/ |
| H A D | guest_x86_helpers.c | 135 /* const */ UInt CC_DEP2 = cc_dep2_formal; \
496 UInt cc_dep2_formal, in x86g_calculate_eflags_all_WRK() argument
567 cc_op, cc_dep1_formal, cc_dep2_formal, cc_ndep_formal ); in x86g_calculate_eflags_all_WRK()
|
| H A D | guest_amd64_helpers.c | 179 /* const */ ULong CC_DEP2 = cc_dep2_formal; \
664 ULong cc_dep2_formal, in amd64g_calculate_rflags_all_WRK() argument
768 cc_op, cc_dep1_formal, cc_dep2_formal, cc_ndep_formal ); in amd64g_calculate_rflags_all_WRK()
|
| /dports/devel/valgrind/valgrind-dragonfly-dragonfly/VEX/priv/ |
| H A D | guest_x86_helpers.c | 135 /* const */ UInt CC_DEP2 = cc_dep2_formal; \
496 UInt cc_dep2_formal, in x86g_calculate_eflags_all_WRK() argument
567 cc_op, cc_dep1_formal, cc_dep2_formal, cc_ndep_formal ); in x86g_calculate_eflags_all_WRK()
|
| H A D | guest_amd64_helpers.c | 179 /* const */ ULong CC_DEP2 = cc_dep2_formal; \
664 ULong cc_dep2_formal, in amd64g_calculate_rflags_all_WRK() argument
768 cc_op, cc_dep1_formal, cc_dep2_formal, cc_ndep_formal ); in amd64g_calculate_rflags_all_WRK()
|