diff options
| author | Chris Lattner <sabre@nondot.org> | 2010-03-29 17:28:16 +0000 |
|---|---|---|
| committer | Chris Lattner <sabre@nondot.org> | 2010-03-29 17:28:16 +0000 |
| commit | 5902e7bb22b4d75f00655bdda905d9438c144b5f (patch) | |
| tree | da4c1f142224f8531a68b4f28f57441906239a51 /clang | |
| parent | bd477bef25bd35f97d006997a99460db229cdc3b (diff) | |
| download | bcm5719-llvm-5902e7bb22b4d75f00655bdda905d9438c144b5f.tar.gz bcm5719-llvm-5902e7bb22b4d75f00655bdda905d9438c144b5f.zip | |
emit signed integer subtractions as 'sub nsw', patch by
Anton Yartsev!
llvm-svn: 99817
Diffstat (limited to 'clang')
| -rw-r--r-- | clang/lib/CodeGen/CGExprScalar.cpp | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/clang/lib/CodeGen/CGExprScalar.cpp b/clang/lib/CodeGen/CGExprScalar.cpp index 7e26971414b..1ef06ccf6f6 100644 --- a/clang/lib/CodeGen/CGExprScalar.cpp +++ b/clang/lib/CodeGen/CGExprScalar.cpp @@ -1337,6 +1337,11 @@ Value *ScalarExprEmitter::EmitSub(const BinOpInfo &Ops) { if (Ops.LHS->getType()->isFPOrFPVectorTy()) return Builder.CreateFSub(Ops.LHS, Ops.RHS, "sub"); + + // Signed integer overflow is undefined behavior. + if (Ops.Ty->isSignedIntegerType()) + return Builder.CreateNSWSub(Ops.LHS, Ops.RHS, "sub"); + return Builder.CreateSub(Ops.LHS, Ops.RHS, "sub"); } |
