[llvm-dev] how to generate select-free LLVM IR?

Maxime Arthaud via llvm-dev llvm-dev at lists.llvm.org
Sun Aug 4 10:55:40 PDT 2019

Hi Robert,

You could write your own LLVM pass that lowers select instructions.

Many static analyzers based on LLVM actually do that. See for instance 
in IKOS: 


Maxime Arthaud

More information about the llvm-dev mailing list