<div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr">Hi mailing list,</div><div dir="ltr"><br></div><div dir="ltr">Is there any tool available for downgrading LLVM bitcode to a lower version (such as LLVM 3.x -> LLVM 2.x)? I need to use a symbolic execution tool (supporting only LLVM 2.7) to analyze a code base that contains some c++11 features. But I am facing some problem: I can use clang 1.1 to generate LLVM 2.7 but clang 1.1 does not support c+11; using a newer version of clang that supports c++11 (such as clang 3.3) will only generate LLVM bitcode of version newer than LLVM 2.7.  </div><div dir="ltr">So I am wondering if any LLVM pass or tool exists in the LLVM community for converting LLVM 3.3 bitcode to LLVM 2.7 bitcode. I found some discussion (<a href="http://lists.llvm.org/pipermail/llvm-dev/2016-August/103389.html">http://lists.llvm.org/pipermail/llvm-dev/2016-August/103389.html</a>) of LLVM bc converter for downgrading bitcode, but seems like it only supports downgrading within one main version (such as 3.x).</div><div dir="ltr"><div><div><br></div><div dir="ltr" class="gmail-m_6978523861584296502gmail-m_5022777136120822058m_7681877898930120029m_2605022326282904217gmail_signature"><div dir="ltr">Thanks,<div>David</div></div></div></div></div></div></div></div>