[llvm-objcopy] [llvm-symbolizer] Fix failing tests

[hintonda]

Summary

Don't use simple single word strings for matching as they can
match a substring in the path and give erroneous results.

[hintonda]

@Bulletmagnet reported this here: http://lists.llvm.org/pipermail/llvm-dev/2019-March/131429.html

[mattd]

LGTM, I'll let @jhenderson weigh-in to see what he says.

[jhenderson]

llvm/test/tools/llvm-objcopy/ELF/regex.test

54

Nit: I know this was there before, but would you mind indenting this match, so that it lines up with the other patterns, please?

#REGEX2-NOT: Name: foobaz
#REGEX2:     Name: bar
#REGEX2-NOT: Name: rebar

llvm/test/tools/llvm-symbolizer/ignore-undefined-symbols.s

3

Is implicit-check-not a regex pattern or just a literal check (I think it's a literal check)? Does this still fail when bar appears instead of foo?

[hintonda]

llvm/test/tools/llvm-symbolizer/ignore-undefined-symbols.s

3

Yes, you're correct, it's a literal check. I can reproduce by using my login -- which obviously isn't a symbol:

$ bin/llvm-symbolizer --obj=x.o 0 | bin/FileCheck /Users/dhinton/projects/llvm_project/monorepo/llvm-project/llvm/test/tools/llvm-symbolizer/ignore-undefined-symbols.s --implicit-check-not=dhinton
command line:1:22: error: CHECK-NOT: excluded string found in input
-implicit-check-not='dhinton'
                     ^
<stdin>:2:8: note: found here
/Users/dhinton/projects/llvm_project/monorepo/build/Debug/../../llvm-project/llvm/test/tools/llvm-symbolizer/ignore-undefined-symbols.s:12:0
       ^~~~~~~

I'll see if I can come up with a better solution.

[hintonda]

llvm/test/tools/llvm-symbolizer/ignore-undefined-symbols.s

3

Okay, prepending {{.*}} to ignore-undefined-symbols below fixes the problem. Will update shortly. Thanks for the feedback.

[hintonda]

• Fix formatting and implicit-check-not matching.

[jhenderson]

llvm/test/tools/llvm-symbolizer/ignore-undefined-symbols.s

3

You may be able to use --implicit-check-not={{^}}bar{{$}}. I haven't tested that though.

3

I'm not sure I follow how {{.*}} helps fix this? Isn't the problem to do with the use of "foo" without other checks?

3

"bar", I mean.

[hintonda]

llvm/test/tools/llvm-symbolizer/ignore-undefined-symbols.s

3

This works as well. Would you prefer this change?

[hintonda]

• Move the regex expression(s) to the parameter.

[rupprecht]

llvm/test/tools/llvm-objcopy/ELF/regex.test

49–53

These tests fails because the match is embedded in the filename depending on the username. So you can skip the filename by searching for "Symbols [", since FileCheck checks for things in order.

e.g.

# REGEX1:     Symbols [
# REGEX1-NOT:   Name: foobaz
# REGEX1-NOT:   Name: bar
# REGEX1-NOT:   Name: rebar
...

(It should even work without the Name: part, but it's clearer to leave that in)

[hintonda]

• Address comments.

[jhenderson]

LGTM.

[jhenderson]

llvm/test/tools/llvm-symbolizer/ignore-undefined-symbols.s

3

For reference, I figured out what the issue was, so I'm going to clarify it for any future readers. The full text of the ignore-undefined-symbols.s:12:0 line is an absolute path, IIRC, so could be "/foo/bar/ignore-undefined-symbol.s:12:0". By adding {{.*}} to the pattern, the positive match includes everything on the line. CHECK-NOT (and therefore --implicit-check-not) only matches against things not matched by other CHECKs, so this avoids the issue.

llvm/test/tools/llvm-objcopy/ELF/regex.test

- Name:     bar
     Value:    0x1008
     Size:     8
   - Name:     rebar
     Type:     STT_FUNC
     Section:  .text
     Value:    0x1010
     Size:     8
 
-#REGEX1-NOT: foobaz
-#REGEX1-NOT: bar
-#REGEX1-NOT: rebar
-
-#REGEX2-NOT: foobaz
-#REGEX2: bar
-#REGEX2-NOT: rebar
-
-#REGEX3: foobaz
-#REGEX3: bar
-#REGEX3: rebar
+#REGEX1:     Symbols [
+#REGEX1-NOT:   Name: foobaz
+#REGEX1-NOT:   Name: bar
+#REGEX1-NOT:   Name: rebar
+#REGEX1:     ]
+
+#REGEX2:     Symbols [
+#REGEX2-NOT:   Name: foobaz
+#REGEX2:       Name: bar
+#REGEX2-NOT:   Name: rebar
+#REGEX2:     ]
+
+#REGEX3: Symbols [
+#REGEX3:   Name: foobaz
+#REGEX3:   Name: bar
+#REGEX3:   Name: rebar
+#REGEX3: ]

llvm/test/tools/llvm-symbolizer/ignore-undefined-symbols.s

 # REQUIRES: x86-registered-target
 # RUN: llvm-mc --filetype=obj --triple=x86_64-pc-linux %s -o %t.o -g
-# RUN: llvm-symbolizer --obj=%t.o 0 | FileCheck %s --implicit-check-not=bar
+# RUN: llvm-symbolizer --obj=%t.o 0 | FileCheck %s --implicit-check-not={{^}}bar{{$}}
 
 # CHECK:      foo
 # CHECK-NEXT: ignore-undefined-symbols.s:12:0
 
 .type bar,@function
 .type foo,@function
 .global foo
 foo:
     call bar