diff options
| author | James Henderson <jh7370@my.bristol.ac.uk> | 2018-06-26 15:15:45 +0000 |
|---|---|---|
| committer | James Henderson <jh7370@my.bristol.ac.uk> | 2018-06-26 15:15:45 +0000 |
| commit | 5507f6688def557aca3dbbf7cf53cdf6a13ad8f8 (patch) | |
| tree | cab9ecb080d36f4f73dda00e4da645fa30eb73dd /llvm/lib/Analysis/IVUsers.cpp | |
| parent | 2f93fd1f50116cf4c17a491ef94869c784b47a96 (diff) | |
| download | bcm5719-llvm-5507f6688def557aca3dbbf7cf53cdf6a13ad8f8.tar.gz bcm5719-llvm-5507f6688def557aca3dbbf7cf53cdf6a13ad8f8.zip | |
[FileCheck] Add CHECK-EMPTY directive for checking for blank lines
Prior to this change, there was no clean way of getting FileCheck to
check that a line is completely empty. The expected way of using
"CHECK: {{^$}}" does not work because the '^' matches the end of the
previous match (this behaviour may be desirable in certain instances).
For the same reason, "CHECK-NEXT: {{^$}}" will fail when the previous
match was at the end of the line, as the pattern will match there.
Using the recommended [[:space:]] to match an explicit new line could
also match a space, and thus is not always desired. Literal '\n'
matches also do not work. A workaround was suggested in the review, but
it is a little clunky.
This change adds a new directive that behaves the same as CHECK-NEXT,
except that it only matches against empty lines (nothing, not even
whitespace, is allowed). As with CHECK-NEXT, it will fail if more than
one newline occurs before the next blank line. Example usage:
; test.txt
foo
bar
; CHECK: foo
; CHECK-EMPTY:
; CHECK-NEXT: bar
Differential Revision: https://reviews.llvm.org/D28896
Reviewed by: probinson
llvm-svn: 335613
Diffstat (limited to 'llvm/lib/Analysis/IVUsers.cpp')
0 files changed, 0 insertions, 0 deletions

