Re: [PATCH v4 00/63] LLVM fixes

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



Hi Luc,

On 21 March 2017 at 00:15, Luc Van Oostenryck
<luc.vanoostenryck@xxxxxxxxx> wrote:
> This series solves a number of issues in sparse-llvm,
> mainly about wrong or missing type information as needed
> to build LLVM IR.
>
>
>   llvm: add test cases for symbol's address
>   llvm: add test cases for pointers passed as argument
>   llvm: add test cases for arrays passed as argument
>   llvm: add test cases for degenerated pointers
>   llvm: add support for OP_NEG
>   llvm: add support for OP_SETVAL with floats
>   llvm: add support for OP_SETVAL with labels

Thank you once again for posting this set of patches. I wanted to
understand what your approach is with testing of the LLVM backend in
general. The test cases that are currently present and also the new
ones you are adding do not appear to be runnable. Unless you are
saving expected LLVM IR output and comparing the test output with that
I think the tests do not prove that the generated code is correct.

Thanks and Regards
Dibyendu
--
To unsubscribe from this list: send the line "unsubscribe linux-sparse" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html



[Index of Archives]     [Newbies FAQ]     [LKML]     [IETF Annouce]     [DCCP]     [Netdev]     [Networking]     [Security]     [Bugtraq]     [Yosemite]     [MIPS Linux]     [ARM Linux]     [Linux Security]     [Linux RAID]     [Linux SCSI]     [Trinity Fuzzer Tool]

  Powered by Linux