[llvm-commits] PATCH: Add CHECK-FIRST/LAST to FIleCheck

[Argyris Kyrtzidis]

On Oct 1, 2009, at 1:19 AM, Argyris Kyrtzidis wrote:

> On Oct 1, 2009, at 12:53 AM, Chris Lattner wrote:
>
>>
>> On Sep 30, 2009, at 2:51 PM, Argyris Kyrtzidis wrote:
>>
>>> Actually, using these directives is not flexible enough, e.g you  
>>> can't use them to verify that the output is only one line.
>>>
>>> I attached a new patch that adds 2 command lines instead:
>>>
>>> -empty-before    - Nothing comes before the first check
>>> -empty-after      - Nothing comes after the last check
>>>
>>> If you want to make sure that the only output is the check line,  
>>> you do something like:
>>>
>>> // RUN: FileCheck -empty-before -empty-after
>>> // CHECK: foo
>>>
>>> Ok to go in ?
>>
>> can't CHECK-NOT be used for this?  If a NOT could be added before  
>> the first line, then you could do CHECK-NOT: {{.}} or something  
>> like that.
>
> "CHECK-NOT: {{.}}" is not good because it will reject inputs that  
> have characters on the same line as 'foo', e.g.
>
> "bar foo"
>
> should be a valid input but the above CHECK-NOT will reject it.
>
> I couldn't put a CHECK-NOT to work as the -empty-before (and - 
> after), any suggestions ?
>
> -Argiris

Ping ? Can the command line options go in ?

-Argiris