[llvm-dev] Bitcode generated with LLVM 7.0 used in LLVM 3.4

[Jeremy Lakeman via llvm-dev]

https://llvm.org/docs/DeveloperPolicy.html#ir-backwards-compatibility
LLVM 7.0 can probably read and compile bitcode from 3.4, though some
optimisations may be missed.
3.4 definitely cannot read bitcode from later versions.


On 15 July 2018 at 17:37, mayuyu.io via llvm-dev <llvm-dev at lists.llvm.org>
wrote:

> As far as I remember the bitcode format changed during 3.4 and 7.0 so
> BitcodeReader might broke, just saying
>
> Zhang
>
> > 在 2018年7月15日，09:25，Muhui Jiang via llvm-dev <llvm-dev at lists.llvm.org>
> 写道：
> >
> > Hi
> >
> > I need a concolic execution framework based on LLVM. As far as I know,
> KLEE might be the best choice. However, KLEE(the stable version) is based
> on LLVM 3.4.
> >
> > I compiled my code with the latest LLVM, whose version is 7.0. Anyone
> know whether the bitcode could be used by KLEE. Or do I have to compile
> with the old version of LLVM again. Furthermore, if you have any other
> concolic execution framework, please recommend it to me. Many Thanks
> >
> > Regards
> > Muhui
> > _______________________________________________
> > LLVM Developers mailing list
> > llvm-dev at lists.llvm.org
> > http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev
>
> _______________________________________________
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
> http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20180715/fd954943/attachment.html>