[#llvm-computeOverflowForSignedAdd-09]
= xref:llvm.adoc[llvm]::computeOverflowForSignedAdd
:relfileprefix: ../
:mrdocs:

`computeOverflowForSignedAdd` overloads

== Synopses

Declared in `<llvm/Analysis/ValueTracking.h>`

This version also leverages the sign bit of Add if known.


[source,cpp,subs="verbatim,replacements,macros,-callouts"]
----
xref:llvm/OverflowResult.adoc[OverflowResult]
xref:llvm/computeOverflowForSignedAdd-04.adoc[computeOverflowForSignedAdd](
    xref:llvm/AddOperator.adoc[AddOperator] const* Add,
    xref:llvm/SimplifyQuery.adoc[SimplifyQuery] const& SQ);
----

[.small]#xref:llvm/computeOverflowForSignedAdd-04.adoc[_» more..._]#

Compute whether a signed add of `LHS` and `RHS` can overflow.


[source,cpp,subs="verbatim,replacements,macros,-callouts"]
----
xref:llvm/OverflowResult.adoc[OverflowResult]
xref:llvm/computeOverflowForSignedAdd-08.adoc[computeOverflowForSignedAdd](
    xref:llvm/WithCache.adoc[WithCache<Value const*>] const& LHS,
    xref:llvm/WithCache.adoc[WithCache<Value const*>] const& RHS,
    xref:llvm/SimplifyQuery.adoc[SimplifyQuery] const& SQ);
----

[.small]#xref:llvm/computeOverflowForSignedAdd-08.adoc[_» more..._]#

== Return Value

Overflow classification for the signed add.

== Parameters

[cols="1,4"]
|===
| Name| Description
| *Add*
| Signed add operator to analyze for overflow.
| *SQ*
| Simplify query providing context for the analysis.
| *LHS*
| Left‐hand operand of the add.
| *RHS*
| Right‐hand operand of the add.
|===


[.small]#Created with https://www.mrdocs.com[MrDocs]#