[PATCH] D62790: [CFLGraph] Add FAdd to visitConstantExpr.

George Burgess IV via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Mon Jun 3 11:48:25 PDT 2019


george.burgess.iv accepted this revision.
george.burgess.iv added a comment.
This revision is now accepted and ready to land.

Thanks for this!

I'm not super concerned about testing for this patch, since `fadd` can't operate on pointer types, so both assign edges would just get dropped anyway. It'd boil down to "let's not crash on this one known case," when we have many known cases in reality. :)

(If you really want a test, I'd assume it'd involve forcing an `fadd` to appear in `$X` in something like `getelementptr inbounds ([50 x i8], [50 x i8]* @cs, i64 0, i64 $X)`. ConstProp/bitcast.ll creatively does that: `ret i1 icmp eq (i32 ptrtoint (i16* @a to i32), i32 bitcast (float fadd (float bitcast (i32 ptrtoint (i16* @b to i32) to float), float 2.000000e+00) to i32))`, but again, I'm happy without it.)


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D62790/new/

https://reviews.llvm.org/D62790





More information about the llvm-commits mailing list