Red Xu comments

Repositories
Issues
Comments

Results 2 comments of


                                            Red Xu

questions on translate LLVM language 'store <4 x i32>' to bpl

Hi @shaobo-he , Thanks for your clarification. Apart from warning this unsoundness, if it is possible to fix this to handle the operation correctly?

questions on translate LLVM language 'store <4 x i32>' to bpl

Hi @zvonimir , The codes we are verifying are compiled with `-O2` level and ran in production. I want to keep the llvm bitcodes and bpl codes which I verified...