[PATCH] D21694: Verifier: Reject non-float !fpmath

[Ahmed Bougacha via llvm-commits]

ab accepted this revision.
ab added a reviewer: ab.
ab added a comment.
This revision is now accepted and ready to land.

Thanks, LGTM


================
Comment at: lib/IR/Verifier.cpp:3671
@@ -3670,1 +3670,3 @@
       const APFloat &Accuracy = CFP0->getValueAPF();
+      Assert(&Accuracy.getSemantics() == &APFloat::IEEEsingle,
+             "fpmath accuracy must have float type", &I);
----------------
Looking at this again:  perhaps cleaner to do CFP0->getType()->isFloatTy() ?


http://reviews.llvm.org/D21694