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

[Matt Arsenault via llvm-commits]

arsenm added inline comments.

================
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);
----------------
ab wrote:
> Looking at this again:  perhaps cleaner to do CFP0->getType()->isFloatTy() ?
Since the other condition needs the APFloat anyway maybe it's more consistent to use it to check all the conditions?


http://reviews.llvm.org/D21694