diff options
| author | Matt Arsenault <Matthew.Arsenault@amd.com> | 2019-01-22 18:18:02 +0000 |
|---|---|---|
| committer | Matt Arsenault <Matthew.Arsenault@amd.com> | 2019-01-22 18:18:02 +0000 |
| commit | 39508331ef7e9417afc43f634c0ef23eb768d974 (patch) | |
| tree | 37138807947246687637b0b5eccc66f6b5b9ed61 /llvm/lib/IR/Verifier.cpp | |
| parent | 1c5d23f1405994da05697b3b66c9f5a32735fdc3 (diff) | |
| download | bcm5719-llvm-39508331ef7e9417afc43f634c0ef23eb768d974.tar.gz bcm5719-llvm-39508331ef7e9417afc43f634c0ef23eb768d974.zip | |
Reapply "IR: Add fp operations to atomicrmw"
This reapplies commits r351778 and r351782 with
RISCV test fixes.
llvm-svn: 351850
Diffstat (limited to 'llvm/lib/IR/Verifier.cpp')
| -rw-r--r-- | llvm/lib/IR/Verifier.cpp | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/llvm/lib/IR/Verifier.cpp b/llvm/lib/IR/Verifier.cpp index fb2388c232b..1000e210533 100644 --- a/llvm/lib/IR/Verifier.cpp +++ b/llvm/lib/IR/Verifier.cpp @@ -3435,6 +3435,11 @@ void Verifier::visitAtomicRMWInst(AtomicRMWInst &RMWI) { AtomicRMWInst::getOperationName(Op) + " operand must have integer or floating point type!", &RMWI, ElTy); + } else if (AtomicRMWInst::isFPOperation(Op)) { + Assert(ElTy->isFloatingPointTy(), "atomicrmw " + + AtomicRMWInst::getOperationName(Op) + + " operand must have floating point type!", + &RMWI, ElTy); } else { Assert(ElTy->isIntegerTy(), "atomicrmw " + AtomicRMWInst::getOperationName(Op) + |
