Hi Zeng Jie, the llvm language was introduced in Lattner et Adve: LLVM: a compilation framework for lifelong program analysis & transformation. It is documented in great detail at: http://llvm.org/docs/LangRef.html
Cheers, Oscar On 02/06/14 16:50, 小、 ￣洁 wrote: > Hi > How to read the file Assembly.ll ? > Is there some explanations? > Thanks > ZengJie > > > > > ------------------ 原始邮件 ------------------ > 发件人: "agan Davis"<[email protected]>; > 发送时间: 2014年5月22日(星期四) 上午10:19 > 收件人: "klee-dev"<[email protected]>; > 主题: [klee-dev] (no subject) > > > > Hi everyone > > How to solve the problem " KLEE: ERROR: Link with library > ../klee/Release+Asserts/lib/libkleeRuntimePOSIX.bca failed: Linking globals > named 'strverscmp': symbol multiply defined!"? > what's the reason of the situation of multiply defined? Does someone come > across this problem? and how to avoid it? > > > Thanks > Davis > > > > _______________________________________________ > klee-dev mailing list > [email protected] > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev > _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
