https://llvm.org/bugs/show_bug.cgi?id=31520
Bug ID: 31520
Summary: [guards] canonicalize guards in instcombine
Product: libraries
Version: trunk
Hardware: PC
OS: Linux
Status: NEW
Severity: normal
Priority: P
Component: Scalar Optimizations
Assignee: unassignedb...@nondot.org
Reporter: listm...@philipreames.com
CC: llvm-bugs@lists.llvm.org
Classification: Unclassified
At the moment, instcombine is missing any knowledge of the
llvm.experimental.guard intrinsics. We should implement canonicalization rules
similar to those used for instcombine:
1) remove immediately adjacent identical guards
2) guard(a && b) -> guard(a); guard(b);
3) guard(!(a || b)) ->guard(!a) guard(!b);
Once those three are done, we could consider implementing a naive form of guard
widening as an extension of (1) above.
--
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
