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

[Maxime Arthaud via llvm-dev]

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: 
https://github.com/NASA-SW-VnV/ikos/blob/master/frontend/llvm/src/pass/lower_select.cpp


Best,

-- 
Maxime Arthaud