[LLVMdev] Boolean simplification in LLVM

[Anirudh Sivaraman]

I am trying to implement if-conversion as an LLVM pass. My reference
is Chapter 7 of the book ""Optimizing Compilers for Modern
Architectures", based on the suggestion here:
https://groups.google.com/d/msg/llvm-dev/FlDGnqSGbR8/eH5hO9IBbXYJ Some
steps in the if-conversion pass require simplification of Boolean
Expressions. Is this doable within the LLVM API? llvm::ConstantExpr
seems like the data structure to use, but I haven't found a way to
simplify a value represented by a ConstantExpr.

Thanks for any advice you may have,
Anirudh