http://llvm.org/bugs/show_bug.cgi?id=21291
Bug ID: 21291
Summary: reassociate pass needs to check for function-level
fast-ness
Product: libraries
Version: trunk
Hardware: PC
OS: All
Status: NEW
Severity: normal
Priority: P
Component: Scalar Optimizations
Assignee: [email protected]
Reporter: [email protected]
CC: [email protected]
Classification: Unclassified
Filing this bug as requested in http://reviews.llvm.org/D5222 and discussed in
http://reviews.llvm.org/D5787.
Currently, the reassociate pass checks for IR-level fast-math-flags (FMF) when
performing optimizations. It should also check function-level attributes to see
if reassociation is allowed.
LTO (and possibly just regular inlining?) creates a scenario where non-fast
instructions could end up in a function that has some level of fast-ness. In
that case, the parent function's attributes apply to whatever was inlined.
The other case where IR level FMF is not currently available is with FP
intrinsics. This is tracked by bug 21290.
--
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
LLVMbugs mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/llvmbugs
