[LLVMdev] problem trying to write an LLVM register-allocation pass

[Lang Hames]

Hi Susan,

To my knowledge the verifier doesn't produce false positives with any of
the in-tree allocators. If it is raising an error that is worth
investigating. Is it raising an error on any simple test cases? Can you
share the failing case?

- Lang.


On Thu, Nov 15, 2012 at 2:44 PM, Susan Horwitz <horwitz at cs.wisc.edu> wrote:

> I tried using this flag and it gave me errors on code that otherwise
> assembles and runs just fine (using the version of Gcra.cpp that Lang
> wrote).  So I'm wondering if I should really be using the flag?  I'm using
> it like this:
>
> llc -verify-machineinstrs -load Debug/lib/P4.so -regalloc=gc xxx.bc
>
> Susan
>
>
>
> On 11/15/2012 01:13 PM, Jakob Stoklund Olesen wrote:
>
>>
>> On Nov 15, 2012, at 7:53 AM, Susan Horwitz<horwitz at cs.wisc.edu>
>> wrote:
>>
>>  Lang -
>>>
>>> Attached is a new example for which I still get assembler errors.
>>>
>>> Susan
>>>
>>
>> Hi Susan,
>>
>> You should never be getting assembler errors if 'llc
>> -verify-machineinstrs' approves of your machine code. It might give
>> you better error messages than the assembler.
>>
>> /jakob
>>
>>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20121115/9cddddf3/attachment.html>