Creates a bitvector signed division operation

Synopsis

Declared in <llvm/Support/SMTAPI.h>

virtual
SMTExprRef
mkBVSDiv(
    SMTExprRef const& LHS,
    SMTExprRef const& RHS) = 0;

Return Value

An SMT expression for signed bitvector division.

Parameters

Name

Description

LHS

Left‐hand bitvector operand.

RHS

Right‐hand bitvector operand.

Created with MrDocs