[LLVMdev] instruction reordering in vellvm

Zahra Marj zahrafatehimarj at gmail.com
Sun Dec 14 23:20:20 PST 2014

I understand from [1] (part 4.4) that instruction reordering is verified in
I download vellvm, but I dont know where instruction reordering has
considered. And I would like to apply just that to my input.
Can anyone help me? I am unfamiliar with coq and newbie in formal methods.

[1] http://www.cis.upenn.edu/~stevez/papers/ZNMZ12.pdf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20141215/8172ed19/attachment.html>

More information about the llvm-dev mailing list