wristow added a comment. > ...but gcc currently says we can do this with just -freciprocal-math Regardless of what gcc is doing in this case, I think both 'reassoc' and 'arcp' are needed here. So I think your code is right. https://reviews.llvm.org/D43398