(state, cond, cc_op, cc_dep1, cc_dep2, cc_ndep, platform=None)
return claripy.Concat(claripy.BVV(0, data[platform]['size'] - 1), r)
A simplified version of pc_calculate_condition(). Please refer to the documentation of Simplified CCalls above.

    Limitation: symbolic flags are not supported for now.
A simplified version of pc_calculate_condition(). Please refer to the documentation of Simplified CCalls above.
A simplified version of pc_calculate_condition () . Please refer to the documentation of Simplified CCalls above .
def pc_calculate_condition_simple(state, cond, cc_op, cc_dep1, cc_dep2, cc_ndep, platform=None):
    """
    A simplified version of pc_calculate_condition(). Please refer to the documentation of Simplified CCalls above.

    Limitation: symbolic flags are not supported for now.
    """


    # Extract the operation
    v = op_concretize(cond)
    cc_op = op_concretize(cc_op)

    if cc_op == data[platform]['OpTypes']['G_CC_OP_COPY']:
        raise SimCCallError("G_CC_OP_COPY is not supported in pc_calculate_condition_simple(). Consider implementing.")
    if cc_op == data[platform]['OpTypes']['G_CC_OP_NUMBER']:
        raise SimCCallError("G_CC_OP_NUMBER is not supported in pc_calculate_condition_simple(). Consider implementing.")

    op = data_inverted[platform]['OpTypes'][cc_op]
    nbits = _get_nbits(op)
    op = op[8 : -1]

    # Extract the condition
    cond = None
    # TODO: Convert it to a table-lookup later
    for key, cond_val in data[platform]['CondTypes'].items():
        if cond_val == v:
            cond = key
            break

    cc_dep1_nbits = cc_dep1[nbits-1:0]
    cc_dep2_nbits = cc_dep2[nbits-1:0]

    # check for a specialized version first
    funcname = "pc_actions_%s_%s" % (op, cond)
    if funcname in globals():
        r = globals()[funcname](state, cc_dep1_nbits, cc_dep2_nbits, cc_ndep)
    else:
        op_funcname = "pc_actions_op_%s" % op
        cond_funcname = "pc_actions_cond_%s" % cond
        if op_funcname in globals() and cond_funcname in globals():
            cc_expr = globals()[op_funcname](cc_dep1_nbits, cc_dep2_nbits, cc_ndep)
            r = globals()[cond_funcname](state, cc_expr)
        else:
            l.warning('Operation %s with condition %s is not supported in pc_calculate_condition_simple(). Consider implementing.', op, cond)
            raise SimCCallError('Operation %s with condition %s not found.' % (op, cond))

    return claripy.Concat(claripy.BVV(0, data[platform]['size'] - 1), r)
def pc_calculate_condition_simple ( state , cond , cc_op , cc_dep1 , cc_dep2 , cc_ndep , platform = None ) : # Extract the operation v = op_concretize ( cond ) cc_op = op_concretize ( cc_op ) if cc_op == data [ platform ] [ 'OpTypes' ] [ 'G_CC_OP_COPY' ] : raise SimCCallError ( "G_CC_OP_COPY is not supported in pc_calculate_condition_simple(). Consider implementing." ) if cc_op == data [ platform ] [ 'OpTypes' ] [ 'G_CC_OP_NUMBER' ] : raise SimCCallError ( "G_CC_OP_NUMBER is not supported in pc_calculate_condition_simple(). Consider implementing." ) op = data_inverted [ platform ] [ 'OpTypes' ] [ cc_op ] nbits = _get_nbits ( op ) op = op [ 8 : - 1 ] # Extract the condition cond = None # TODO: Convert it to a table-lookup later for key , cond_val in data [ platform ] [ 'CondTypes' ] . items ( ) : if cond_val == v : cond = key break cc_dep1_nbits = cc_dep1 [ nbits - 1 : 0 ] cc_dep2_nbits = cc_dep2 [ nbits - 1 : 0 ] # check for a specialized version first funcname = "pc_actions_%s_%s" % ( op , cond ) if funcname in globals ( ) : r = globals ( ) [ funcname ] ( state , cc_dep1_nbits , cc_dep2_nbits , cc_ndep ) else : op_funcname = "pc_actions_op_%s" % op cond_funcname = "pc_actions_cond_%s" % cond if op_funcname in globals ( ) and cond_funcname in globals ( ) : cc_expr = globals ( ) [ op_funcname ] ( cc_dep1_nbits , cc_dep2_nbits , cc_ndep ) r = globals ( ) [ cond_funcname ] ( state , cc_expr ) else : l . warning ( 'Operation %s with condition %s is not supported in pc_calculate_condition_simple(). Consider implementing.' , op , cond ) raise SimCCallError ( 'Operation %s with condition %s not found.' % ( op , cond ) ) return claripy . Concat ( claripy . BVV ( 0 , data [ platform ] [ 'size' ] - 1 ) , r )