[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
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 ?
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
Lead, Compiler Technology and Programming Languages
Leadership Computing Facility
Argonne National Laboratory
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the llvm-dev