[llvm-dev] how to verify completeness of the llvm backend

Hal Finkel via llvm-dev llvm-dev at lists.llvm.org
Wed Feb 1 17:35:53 PST 2017

Hi Vivek,

We don't have a fool-proof way to do this. I recommend that you look at 
the llvm-stress tool. Run through the regression tests in 
test/CodeGen/Generic. Also, if you can fully self host (including 
libc++, etc.) that's a good sign.


On 02/01/2017 10:58 AM, vivek pandya via llvm-dev wrote:
> Hello LLVM Devs,
> I have a question regarding porting a new target to LLVM backend.
> When we write a llvm backend for any new architecture then how can we 
> verify that each type of instructions are being generated i.e 
> particular pattern is not missing or not handled properly, every 
> possible addressing modes are getting generated etc ?
> One way is that generally architecture developer team should provide 
> set of benchmarks that can cover complete set of instructions for one 
> compiler other than LLVM  but have you ever heard about any tool to 
> check so? Or what is the industry standard practice that you guys 
> follow or know?
> For a tool very natural idea is write a script which does string 
> processing to find unique instructions generated over a given 
> benchmark. But Will it be possible to write tool which is generic 
> enough to take LLVM's target description files as input and then 
> perform certain check over generated assembly ?
> Sincerely,
> Vivek
> _______________________________________________
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
> http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev

Hal Finkel
Lead, Compiler Technology and Programming Languages
Leadership Computing Facility
Argonne National Laboratory

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20170201/6a5baab0/attachment.html>

More information about the llvm-dev mailing list