]> sourceware.org Git - valgrind.git/log
valgrind.git
3 years agoBug 444242 - s390x: Sign-extend "relative long" offset in EXRL
Andreas Arnez [Fri, 22 Oct 2021 17:55:12 +0000 (19:55 +0200)]
Bug 444242 - s390x: Sign-extend "relative long" offset in EXRL

In s390_irgen_EXRL, the offset is zero-extended instead of sign-extended,
typically causing Valgrind to crash when a negative offset occurs.

Fix this with a new helper function that calculates a "relative long"
address from a 32-bit offset.  Replace other calculations of "relative
long" addresses by invocations of this function as well.  And for
consistency, do the same with "relative" (short) addresses.

3 years agoSet version to 3.19.0.GIT in configure.ac
Mark Wielaard [Thu, 28 Oct 2021 12:10:49 +0000 (14:10 +0200)]
Set version to 3.19.0.GIT in configure.ac

And update docs/internals/release-HOWTO.txt.

3 years agoPrepare NEWS for the next release
Andreas Arnez [Thu, 28 Oct 2021 10:21:28 +0000 (12:21 +0200)]
Prepare NEWS for the next release

Add a placeholder for the next release to the NEWS file and start the list
of fixed bugs with Bug 444495.

3 years agoBug 444495 - dhat/tests/copy fails on s390x
Paul Floyd [Wed, 27 Oct 2021 19:37:00 +0000 (21:37 +0200)]
Bug 444495 - dhat/tests/copy fails on s390x

Add -fno-builtin to ensure that the copy functions get called and so dhat
can intercept and count them.

3 years agoChange nightly script to only print assembler if it is present.
Paul Floyd [Sat, 23 Oct 2021 07:02:58 +0000 (09:02 +0200)]
Change nightly script to only print assembler if it is present.

On FreeBSD 'as' is part of the optional 'binutils' packkage.
By default, clang uses its built-in assembler and 'as' is not
used.

3 years agoMake the nightly conf files for FreeBSD more generic
Paul Floyd [Tue, 19 Oct 2021 19:31:10 +0000 (21:31 +0200)]
Make the nightly conf files for FreeBSD more generic

I don't want to either rename or add new versions of these files
for every release.

3 years agoUpdate a few FreeBSD suppressions
Paul Floyd [Tue, 19 Oct 2021 18:03:39 +0000 (20:03 +0200)]
Update a few FreeBSD suppressions

Make one more generic
Add one for the libc buffer used by libc++ std::cout

3 years agoguest_amd64_toIR.c: use the VexAbiInfo mechanism to remove an `ifdef freebsd`. n...
Julian Seward [Tue, 19 Oct 2021 14:19:31 +0000 (16:19 +0200)]
guest_amd64_toIR.c: use the VexAbiInfo mechanism to remove an `ifdef freebsd`.  n-i-bz.

3 years agoSet version once in configure.ac, use in valgrind.h andvg-entities.xml
Mark Wielaard [Sun, 17 Oct 2021 20:13:25 +0000 (22:13 +0200)]
Set version once in configure.ac, use in valgrind.h andvg-entities.xml

Currently the version is updated in 3 places, configure.ac,
include/valgrind.h and docs/xml/vg-entities.xml. This goes wrong from
time to time. So only define the version (and release date) once in
configure.ac and update both other places at configure time.

3 years agoRemove executable bits from source files (drd_main.c, pub_tool_machine.h)
Mark Wielaard [Fri, 15 Oct 2021 16:00:52 +0000 (18:00 +0200)]
Remove executable bits from source files (drd_main.c, pub_tool_machine.h)

3 years ago-> 3.18.1 final VALGRIND_3_18_1
Mark Wielaard [Fri, 15 Oct 2021 12:23:54 +0000 (14:23 +0200)]
-> 3.18.1 final

Now with __VALGRIND_MINOR__ set to 18 in include/valgrind.h

3 years ago-> 3.18.0 final VALGRIND_3_18_0
Mark Wielaard [Fri, 15 Oct 2021 11:00:42 +0000 (13:00 +0200)]
-> 3.18.0 final

3 years agocoregrind: Vg_FnNameKind recognize __libc_start_call_main as below main
Mark Wielaard [Wed, 13 Oct 2021 15:05:29 +0000 (17:05 +0200)]
coregrind: Vg_FnNameKind recognize __libc_start_call_main as below main

Depending on architecture glibc has various functions that set things
up to call "main". glibc 2.34 added  __libc_start_call_main (at least
on ppc64le and s390x). Other variants recognized are __libc_start_main,
generic_start_main and variants of those names.

This fixes the massif/tests/deep-D and massif/tests/mmapunmap on ppc64le.

3 years agoVery minor updates for 3.18.
Julian Seward [Wed, 13 Oct 2021 15:06:10 +0000 (17:06 +0200)]
Very minor updates for 3.18.

3 years agoNEWS: add various core changes and arm64 additions
Mark Wielaard [Wed, 13 Oct 2021 11:49:15 +0000 (13:49 +0200)]
NEWS: add various core changes and arm64 additions

Add demangler update, __libc_freeres not being called on fatal signal,
DWARF reader improvements, glibc 2.34 support and various new arm64
v8.2 updates.

Remove Tool Changes section, since there were no user visible
changes to the tools in 3.18.0.

3 years ago-> 3.18.0.RC1
Mark Wielaard [Tue, 12 Oct 2021 21:57:00 +0000 (23:57 +0200)]
-> 3.18.0.RC1

3 years agoPrevious fix was out by one version tag.
Paul Floyd [Tue, 12 Oct 2021 21:04:52 +0000 (23:04 +0200)]
Previous fix was out by one version tag.

memalign must have been added with FreeBSD 12.2

3 years agovgdb: only queue up to 64 pending signals when waiting for SIGSTOP
Mark Wielaard [Tue, 12 Oct 2021 21:25:32 +0000 (23:25 +0200)]
vgdb: only queue up to 64 pending signals when waiting for SIGSTOP

We should not queue infinite pending signals so we won't run out of
memory when the SIGSTOP never arrives.

3 years agoImplement BPF_MAP_LOOKUP_AND_DELETE_ELEM and BPF_MAP_FREEZE
Mark Wielaard [Tue, 12 Oct 2021 21:15:41 +0000 (23:15 +0200)]
Implement BPF_MAP_LOOKUP_AND_DELETE_ELEM and BPF_MAP_FREEZE

Implement BPF_MAP_LOOKUP_AND_DELETE_ELEM (command 21) and
BPF_MAP_FREEZE (command 22) and produce a WARNING instead of a fatal
error for unrecognized BPF commands.

https://bugs.kde.org/show_bug.cgi?id=426148

3 years agoAdd close_range(2) support
Lubomir Rintel [Mon, 4 Oct 2021 13:40:29 +0000 (15:40 +0200)]
Add close_range(2) support

This is a system call introduced in Linux 5.9.

It's typically used to bulk-close file descriptors that a process inherited
without having desired so and doesn't want to pass them to its offspring
for security reasons. For this reason the sensible upper limit value tends
to be unknown and the users prefer to stay on the safe side by setting it
high.

This is a bit peculiar because, if unfiltered, the syscall could end up
closing descriptors Valgrind uses for its purposes, ending in no end of
mayhem and suffering.

This patch adjusts the upper bounds to a safe value and then skips over
the descriptor Valgrind uses by potentially calling the real system call
with sub-ranges that are safe to close.

The call can fail on negative ranges and bad flags -- we're dealing with
the first condition ourselves while letting the real call fail on bad
flags.

https://bugs.kde.org/show_bug.cgi?id=439090

3 years agocoregrind: Don't call final_tidyup (__libc_freeres) on FatalSignal
Mark Wielaard [Tue, 12 Oct 2021 20:47:57 +0000 (22:47 +0200)]
coregrind: Don't call final_tidyup (__libc_freeres) on FatalSignal

When a program gets a fatal signal (one it doesn't handle) valgrind
terminates the program. Before termination it will try to call
final_tidyup which tries to run __libc_freeres and
__gnu_cxx::__freeres to get rid of some memory glibc or libstdc++
don't normally release.

But when the program got the fatal signal in a critical section inside
glibc it might leave the datastructures in a bad state and cause
__libc_freeres to crash.  This makes valgrind itself crash just before
producing its own error summary, making the valgrind run unusable.

A reproducer can found at
https://bugzilla.redhat.com/show_bug.cgi?id=1952836 and
https://bugzilla.redhat.com/show_bug.cgi?id=1225994#c7

This reproducer is really a worse case scenario with multiple threads
racing to get into the critical section that when interrupted will
make __libc_freeres unable to cleanup. But it seems a good policy in
general. If a program is terminated by a fatal signal instead of
normal termination, it seems not having some of the glibc/libstdc++
resource cleaned up is an expected thing.

https://bugs.kde.org/show_bug.cgi?id=443605

3 years agofilter_gdb: Handle r = SYSCALL_CANCEL as alternative for return SYSCALL_CANCEL
Mark Wielaard [Tue, 12 Oct 2021 20:41:30 +0000 (22:41 +0200)]
filter_gdb: Handle r = SYSCALL_CANCEL as alternative for return SYSCALL_CANCEL

This happens with glibc 2.33 when debuginfo is installed.

3 years agoFix building memalign2 test on older FreeBSD
Paul Floyd [Tue, 12 Oct 2021 19:47:45 +0000 (21:47 +0200)]
Fix building memalign2 test on older FreeBSD

3 years agofilter_xml: Filter out '@*' from <fn> symbol names
Mark Wielaard [Tue, 12 Oct 2021 18:01:45 +0000 (20:01 +0200)]
filter_xml: Filter out '@*' from <fn> symbol names

With glibc 2.34 we would start seeing some function names ending in
'@*' this was already filtered out using drd/tests/filter_stderr.in
but not when using the drd xml tests. This would make
drd/tests/thread_name_xml and drd/tests/bar_bad_xml fail.

Filter this out in the memcheck/tests/filter_xml script, which is
also used by the drd test filters.

Tested against glibc 2.34, 2.33 and 2.17 on x86_64.

3 years agofilter_stderr also needs to handle FreeBSD libthr
Paul Floyd [Tue, 12 Oct 2021 17:31:04 +0000 (19:31 +0200)]
filter_stderr also needs to handle FreeBSD libthr

3 years agodrd/tests: Extract start_thread which can come from libpthread or libc
Mark Wielaard [Tue, 12 Oct 2021 16:51:23 +0000 (18:51 +0200)]
drd/tests: Extract start_thread which can come from libpthread or libc

The drd/tests/tc21_pthonce and drd/tests/annotate_barrier tests
would fail if start_thread came from libc (as it does in glibc 2.34)
instead of from libpthread. Extract start_thread in filter_stderr.in
and update the backtraces in annotate_barrier.stderr.exp and in
tc21_pthonce.stderr.exp

Tested against glibc 2.34, 2.33 and 2.17 on x86_64.

3 years agoDnother iteration for getting the right expected line numbers.
Paul Floyd [Mon, 11 Oct 2021 06:16:32 +0000 (08:16 +0200)]
Dnother iteration for getting the right expected line numbers.

3 years agomemalign is available on FreeBSD as a non-portable interface
Paul Floyd [Sun, 10 Oct 2021 20:15:59 +0000 (22:15 +0200)]
memalign is available on FreeBSD as a non-portable interface

Remove #if block protecting memalign calls

3 years agoFix the ramaining easily fixable warnings with clang
Paul Floyd [Sun, 10 Oct 2021 19:56:49 +0000 (21:56 +0200)]
Fix the ramaining easily fixable warnings with clang

There's one remaining
memalign2.c:29:9: warning: unused variable 'piece' [-Wunused-variable]
because of a block of #if FreeBSD for memalign that looks unnecessary

Otherwise all that is left is a few like

warning: unknown warning option '-Wno-alloc-size-larger-than'; did you mean '-Wno-frame-larger-than='? [-Wunknown-warning-option]

because there is no standard for compiler arguments.

3 years agoRemove a couple more warnings
Paul Floyd [Sun, 10 Oct 2021 18:32:44 +0000 (20:32 +0200)]
Remove a couple more warnings

suffix rule with dependency generates a warning
https://www.gnu.org/software/make/manual/html_node/Error-Messages.html
(bottom of page)

the other is a short initialized with an int literal that wraps to
a negative short value

3 years agoRemove more warnings from tests
Mark Wielaard [Sun, 10 Oct 2021 15:13:43 +0000 (17:13 +0200)]
Remove more warnings from tests

GCC12 catches various issues in tests at compile time that we want to
catch at runtime. Also glibc 2.34 deprecated various mallinfo related
functions. Add the relevant -Wno-foobar flags to those tests.  In one
case, unit_oset.c, the warning was correct and the uninitialized
variable was explicitly set.

3 years agoFix printf warning in libmpiwrap.c
Mark Wielaard [Sun, 10 Oct 2021 14:35:37 +0000 (16:35 +0200)]
Fix printf warning in libmpiwrap.c

libmpiwrap.c:1379:45: warning: format '%d' expects argument of type 'int',
but argument 5 has type 'MPI_Request' {aka 'struct ompi_request_t *'}

Unfortunately MPI_Request is an opaque type (we don't really know what
is in struct ompi_request_t) so we cannot simply print it as int. In
other places we print an MPI_Request as 0x%lx by casting it to an
unsigned long. Do the same here.

3 years agoRemove some warnings from tests
Mark Wielaard [Sun, 10 Oct 2021 13:56:50 +0000 (15:56 +0200)]
Remove some warnings from tests

Various tests do things which we want to detect at runtime, like
ignoring the result of malloc or doing a deliberate impossibly large
allocation or operations that would result in overflowing or
truncated strings, that generate a warning from gcc.

In once case, mq_setattr called with new and old attrs overlapping,
this was explicitly fixed, in others -Wno-foobar was added to silence
the warning. This is safe even for older gcc, since a compiler will
ignore any -Wno-foobar they don't know about - since they do know they
won't warn for foobar.

3 years agoUpdating a few expecteds based on valgrind-testresults
Paul Floyd [Sun, 10 Oct 2021 09:48:50 +0000 (11:48 +0200)]
Updating a few expecteds based on valgrind-testresults

I tried to work out what the expecteds should be based on the changes to
the testcase source so there may be a bit more to do.

3 years agoBug 443314 - In the latest GIT version, Valgrind with "--trace-flags" crashes at...
Paul Floyd [Sat, 9 Oct 2021 21:02:28 +0000 (23:02 +0200)]
Bug 443314 - In the latest GIT version, Valgrind with "--trace-flags" crashes at "al" register

3 years agoBug 439326 - Valgrind 3.17.0 won't compile with Intel 2021 oneAPI compilers
Paul Floyd [Sat, 9 Oct 2021 19:25:22 +0000 (21:25 +0200)]
Bug 439326 - Valgrind 3.17.0 won't compile with Intel 2021 oneAPI compilers

Also reorder NEWS

3 years agoFreeBSD support, last loose ends
Paul Floyd [Sat, 9 Oct 2021 13:13:50 +0000 (15:13 +0200)]
FreeBSD support, last loose ends

One merge I missed and make a couple of changes to remove
compiler warnings.

3 years agoFreeBSD support, patch 12
Paul Floyd [Sat, 9 Oct 2021 13:01:08 +0000 (15:01 +0200)]
FreeBSD support, patch 12

coregrind modified files

3 years agoFreeBSD support, patch 11
Paul Floyd [Sat, 9 Oct 2021 12:11:48 +0000 (14:11 +0200)]
FreeBSD support, patch 11

coregrind added files
the key mechanics and the syscall wrappers

3 years agoFreeBSD support, patch 10
Paul Floyd [Sat, 9 Oct 2021 10:51:41 +0000 (12:51 +0200)]
FreeBSD support, patch 10

Missing new expected file

3 years agoFreeBSD support, patch 10
Paul Floyd [Sat, 9 Oct 2021 10:37:17 +0000 (12:37 +0200)]
FreeBSD support, patch 10

memcheck
No code changes. A few modified tests. Adds new FreeBSD specific tests.

3 years agoAdd copyright statements to added FreeBSD headers
Paul Floyd [Fri, 8 Oct 2021 20:08:12 +0000 (22:08 +0200)]
Add copyright statements to added FreeBSD headers

3 years agoFreeBSD support, patch 9 supplemental
Paul Floyd [Thu, 7 Oct 2021 21:02:29 +0000 (23:02 +0200)]
FreeBSD support, patch 9 supplemental

These files are now derived objects and should have been removed in the
previous change.

3 years agoFreeBSD support, patch 9
Paul Floyd [Thu, 7 Oct 2021 20:41:22 +0000 (22:41 +0200)]
FreeBSD support, patch 9

cachegrind callgrind dhat exp-bbv gdbserver_tests massif none mpi shared

Mostly these are just updates (and new testcases) under new/tests
The other directories have just #ifdef changes

3 years agoFreeBSD support, patch 8b
Paul Floyd [Tue, 5 Oct 2021 07:12:45 +0000 (09:12 +0200)]
FreeBSD support, patch 8b

nightly directory

3 years agoFreeBSD support, patch 5
Paul Floyd [Thu, 7 Oct 2021 19:33:45 +0000 (21:33 +0200)]
FreeBSD support, patch 5

drd and helgrind tests

3 years agoFix make distcheck by removing references to uncommitted files
Mark Wielaard [Thu, 7 Oct 2021 11:43:19 +0000 (13:43 +0200)]
Fix make distcheck by removing references to uncommitted files

Some files for the freebsd port have not yet committed, but were
already referenced in the Makefiles. Remove those references for
now to make distcheck happy.

* coregrind/Makefile.am (valgrind_SOURCES): Remove
launcher-freebsd.c
* drd/tests/Makefile.am (check_PROGRAMS): Remove
thread_name_freebsd.
* none/tests/Makefile.am (SUBDIRS): Remove freebsd.
(DIST_SUBDIRS): Likewise.
* none/tests/freebsd/filter_stderr: Removed.

3 years agoFreeBSD support, patch 8a
Paul Floyd [Mon, 4 Oct 2021 22:05:18 +0000 (00:05 +0200)]
FreeBSD support, patch 8a

docs directory

3 years agoFreeBSD support, patch 2
Paul Floyd [Thu, 7 Oct 2021 05:53:33 +0000 (07:53 +0200)]
FreeBSD support, patch 2

Files in the root directory
Several Makefile.am files that have dependencies on FreeBSD autoconf
variables. Included a few new filter files to act as placeholders
to create new freebsd subdirectories.

Updated NEWS with the FreeBSD bugzilla items plus a couple of other
items fixed indirectly.

3 years agoFreeBSD support, patch 7
Paul Floyd [Wed, 6 Oct 2021 20:58:15 +0000 (22:58 +0200)]
FreeBSD support, patch 7

tests directory
configure.ac to generate tests/filter_discards and tests/filter_stderr_basic
.gitignore to ignore these generated filters

3 years agoFreeBSD support, patch 5
Paul Floyd [Mon, 4 Oct 2021 21:02:40 +0000 (23:02 +0200)]
FreeBSD support, patch 5

helgrind code
Mainly intercepts and changes to conditional compilation

3 years agoFreeBSD support, patch 4
Paul Floyd [Sun, 3 Oct 2021 17:49:08 +0000 (19:49 +0200)]
FreeBSD support, patch 4

DRD code
Mainly just intercepts, but also a hairy fix for early acces to
pthread_self()

3 years agoFreeBSD support, patch 3
Paul Floyd [Sun, 3 Oct 2021 17:02:04 +0000 (19:02 +0200)]
FreeBSD support, patch 3

include directory
New FreeBSD specific headers
SONAMES for FreeBSD libraries

3 years agoFreeBSD support, patch 1
Paul Floyd [Sun, 3 Oct 2021 14:06:07 +0000 (16:06 +0200)]
FreeBSD support, patch 1

Primarily these changes concern the nature of alignment generated signals. On Linux, these produce SIGSEGV and n FreeBSD they produce SIGBUS.

3 years agoAdd 368960 WARNING: unhandled amd64-linux syscall: 163 (acct) in NEWS
Mark Wielaard [Tue, 5 Oct 2021 10:27:46 +0000 (12:27 +0200)]
Add 368960 WARNING: unhandled amd64-linux syscall: 163 (acct) in NEWS

Fixed in commit 9aa51a6e2
Hook up acct syscall for amd64, mips32, ppc32 and ppc64

3 years agos390x: Add missing "cc" clobbers in test case inline asms
Andreas Arnez [Fri, 1 Oct 2021 18:10:54 +0000 (20:10 +0200)]
s390x: Add missing "cc" clobbers in test case inline asms

Some inline assemblies in various s390x test cases miss specifying the
condition code "cc" in the clobber list.  Although this has not actually
been seen to cause wrong code generation, it certainly might, so fix this.

3 years agos390x: Fix compile warnings in test cases
Andreas Arnez [Fri, 24 Sep 2021 18:06:39 +0000 (20:06 +0200)]
s390x: Fix compile warnings in test cases

Some GCC versions emit the following warnings for some s390x-specific test
cases:

   warning: listing the stack pointer register '15' in a clobber list is
   deprecated

   warning: this 'else' clause does not
   guard... [-Wmisleading-indentation] ...this statement, but...

Fix these.

Most of inline assemblies declaring r15 as clobbered do not actually
change its value.  Only in stmg_wrap() it becomes necessary to save and
restore r15.

3 years agoHook up acct syscall for amd64, mips32, ppc32 and ppc64
Mark Wielaard [Mon, 4 Oct 2021 09:34:05 +0000 (11:34 +0200)]
Hook up acct syscall for amd64, mips32, ppc32 and ppc64

There was already a generic linux wrapper for acct, but it was not
hooked up for all linux arches.

3 years agoAjust filter_gdb for arm64 with eglibc 2.19 and gdb 7.7.1
Mark Wielaard [Sat, 2 Oct 2021 10:03:46 +0000 (12:03 +0200)]
Ajust filter_gdb for arm64 with eglibc 2.19 and gdb 7.7.1

Older ubuntu arm64 setups used eglibc 2.19 and gdb 7.7.1.  In that
case select.c could be under linux/generic and the select argument
list could be split up differently over several lines. Adjust
filter_gdb to catch those differences.

Also checked against an Debian arm64 with glibc 2.31 and gdb 10.1.

3 years agoAdd shell.stderr.exp-dash4 to none/tests/scripts/Makefile.am EXTRA_DIST
Mark Wielaard [Sat, 2 Oct 2021 08:29:44 +0000 (10:29 +0200)]
Add shell.stderr.exp-dash4 to none/tests/scripts/Makefile.am EXTRA_DIST

3 years agoExtend filter_vgdb for GNU gdb (Debian 10.1-2) 10.1.90.20210103-git
Mark Wielaard [Fri, 1 Oct 2021 20:44:16 +0000 (22:44 +0200)]
Extend filter_vgdb for GNU gdb (Debian 10.1-2) 10.1.90.20210103-git

On Debian 11.0 arm64 gdb will emit a similar (stray) ENOTTY message
as on SLES11, but for _exit.c instead of rtld.c.

3 years agoAdd none/tests/scripts/shell.stderr.exp-dash4 for dash 0.5.11
Mark Wielaard [Fri, 1 Oct 2021 20:25:40 +0000 (22:25 +0200)]
Add none/tests/scripts/shell.stderr.exp-dash4 for dash 0.5.11

dash 0.5.11 produces slightly different error messagess.
The new exp file is similar to shell.stderr.exp-dash3 but
with the extra (second) "shell: " output removed.

3 years agoAdd generated glibc drd and helgrind files to .gitignore
Paul Floyd [Fri, 1 Oct 2021 18:41:44 +0000 (20:41 +0200)]
Add generated glibc drd and helgrind files to .gitignore

3 years agofix compiler print format warnings in test_isa_3_0.c
Carl Love [Tue, 28 Sep 2021 20:58:22 +0000 (20:58 +0000)]
fix compiler print format warnings in test_isa_3_0.c

GCC fixed the compiler warnings long long types.  Add explicit
casts so gcc will not generate compile warnings.

3 years agoFix compiler warnings for subnormal_test.c
Carl Love [Tue, 28 Sep 2021 19:54:49 +0000 (19:54 +0000)]
Fix compiler warnings for subnormal_test.c

GCC fixed the compiler warnings long long types.  Add explicit
casts so gcc will not generate compile warnings.

3 years agoFixes for the lxvx and stxvx instructions
Carl Love [Tue, 28 Sep 2021 18:00:35 +0000 (18:00 +0000)]
Fixes for the lxvx and stxvx instructions

The lxvx and stxvx tests are moved into their own separate
tests.  Add the expec files for the new test.

Update the expected results for the altivec test.

3 years agoFix tests for mfspr
Carl Love [Tue, 28 Sep 2021 15:49:10 +0000 (15:49 +0000)]
Fix tests for mfspr

Split out the mfspr tests into a separate test using command line option
"-M".  The value in the LR and CTR registers changed.  It appears the
changes are due to changes in the test program jm-insns.c.  Splinting
these instructions out will help to minimize the size of future updates
when the test program changes.

3 years agofix sraw, srawi, srad, sradi instructions
Carl Love [Thu, 9 Sep 2021 23:10:07 +0000 (23:10 +0000)]
fix sraw, srawi, srad, sradi instructions

For ISA 3.0 and beyond, the instructions also write the XER register.

Split the instructions out to a new command line option so we can create
an ISA 2.07 expect file, ISA 3.0 LE and ISA 3.0 BE expect file. The new
command line option is "-s" to just run just these four instructions.

3 years agoNew test for the ISA 3.0 mcrxrx instruction.
Carl Love [Wed, 29 Sep 2021 21:20:30 +0000 (21:20 +0000)]
New test for the ISA 3.0 mcrxrx instruction.

Add new test.

3 years agoAdd support for the mcrxrx instruction.
Carl Love [Thu, 9 Sep 2021 19:06:00 +0000 (19:06 +0000)]
Add support for the mcrxrx instruction.

The mcrxrx instruction was introduced in ISA 3.0. It was missed when the
ISA 3.0 support was added to Valgrind.

The mcrxr instruction is not supported on ISA 3.0 and beyond. The
instructions both do a move to the condition register however the mcrxrx
moves [OV|OV32|CA|CA32].  Where the mcrxr instruction moves XER[32:35]
(S0, OV, and CA bits) to the CR.

3 years agoFixes for mcrxr instruction
Carl Love [Tue, 14 Sep 2021 19:36:24 +0000 (19:36 +0000)]
Fixes for mcrxr instruction

Add .machine directives to ensure the mcrxr instruction is assembled
for power 6.  The instruction is not supported on later platforms.

3 years agoFix dfp tests.
Carl Love [Wed, 8 Sep 2021 22:01:05 +0000 (22:01 +0000)]
Fix dfp tests.

Due to changes between the compiler and linker, we need to add .machine
arguments to configure file to properly detect the availability of the
dfp instructions.

Add print statement if HAS_DFP is not enabled to make it
easier to determine when HAS_DFP is not enabled.

3 years agoAdd .machine directives for the darn instruction
Carl Love [Tue, 14 Sep 2021 21:43:49 +0000 (21:43 +0000)]
Add .machine directives for the darn instruction

3 years agoFixes to add .machine directives for assembly instructions
Carl Love [Fri, 17 Sep 2021 00:33:14 +0000 (00:33 +0000)]
Fixes to add .machine directives for assembly instructions

3 years agopowerpc: Add .machine directives for scv, copy, paste, cpabort instructions
Tulio Magno Quites Machado Filho [Fri, 20 Aug 2021 22:07:09 +0000 (19:07 -0300)]
powerpc: Add .machine directives for scv, copy, paste, cpabort instructions

GCC is no longer passing the "-many" flag to the assembler.  So, the
inline assembly instructions statements need to use the .machine directives
for the specific platform.

(gcc commit e154242724b084380e3221df7c08fcdbd8460674 ; "[RS6000] Don't
pass -many to the assembler".

Hardware sync instruction (hwsync) added after the copy, paste and cpabort
instructions to improve the reliability of the test.

3 years agoConfigure,makefile and test case fixes for older powerpc targets.
carl love [Mon, 13 Sep 2021 18:02:11 +0000 (13:02 -0500)]
Configure,makefile and test case fixes for older powerpc targets.

Assorted changes to fix up compile issues as seen during regression
testing of VG on hardware back as far as Power 6 (ISA 2.05).

3 years agoAdd generated man pages to .gitignore
Mark Wielaard [Thu, 30 Sep 2021 16:22:30 +0000 (18:22 +0200)]
Add generated man pages to .gitignore

3 years agoRemove VEX/nanoarm.orig file
Mark Wielaard [Thu, 30 Sep 2021 15:57:25 +0000 (17:57 +0200)]
Remove VEX/nanoarm.orig file

3 years agoconfigure.ac: Avoid the use of "which"
Andreas Arnez [Thu, 30 Sep 2021 12:10:29 +0000 (14:10 +0200)]
configure.ac: Avoid the use of "which"

The "which" command is not always installed, but configure.ac uses it in
the function AC_HWCAP_CONTAINS_FLAG to force invocation of the executable
"true" rather than the shell builtin with the same name.  (The point here
is to get LD_SHOW_AUXV=1 evaluated by the dynamic loader.)

Another option might be to hard-wire the location /bin/true, because the
filesystem hierarchy standard requires it to be there.  However, the FHS
doesn't apply to BSDs and at least some FreeBSD versions do not stick to
that specific rule.

On the other hand, the "env" command seems to be available on all relevant
platforms, so use that instead.

3 years agoUpdate libiberty demangler
Mark Wielaard [Sun, 26 Sep 2021 12:47:17 +0000 (14:47 +0200)]
Update libiberty demangler

Update the libiberty demangler using the auxprogs/update-demangler
script to gcc git commit b3585c0836e729bed56b9afd4292177673a25ca0.

This update includes:

- prevent null dereferencing on dlang_type
- prevent buffer overflow when decoding user input
- Add support for demangling local D template declarations
- Add support for demangling D function literals as template
  value parameters
- Add support for D `typeof(*null)' types
- Fix -Wundef warnings in ansidecl.h
- Fix endian bug in rust demangler
- Adjust mangling of __alignof__
- Avoid -Wstringop-truncation

3 years agoUpdate libiberty demangler to support Rust v0 name mangling
Amanieu d'Antras [Sun, 26 Sep 2021 10:42:26 +0000 (12:42 +0200)]
Update libiberty demangler to support Rust v0 name mangling

Update the libiberty demangler using the auxprogs/update-demangler
script to the gcc git 01d92cfd79872e4cffc78bf233bb9b767336beb8.
Updates rust demangling to support the new v0 mangling scheme.

This includes the following changes:
- Update the update-demangler script to use gcc git instead of svn.
- The result of running the updated script to get an updated
  demangler and resolving the merge conflicts.
- A change to long_namespace_xml.stderr.exp because two overly long
  symbols aren't demangled anymore, but just returned as is.
- an update to the m_demangle/demangle.c source to deal with Rust
  demangling in cp_demangle, which now directly demangles old and
  new style rust symbols.

3 years agoNEWS: Add 442061 - very slow execution under Fedora 34 (readdwarf3)
Mark Wielaard [Fri, 24 Sep 2021 20:35:41 +0000 (22:35 +0200)]
NEWS: Add 442061 - very slow execution under Fedora 34 (readdwarf3)

3 years agoreaddwarf3: Introduce abbv_state to read .debug_abbrev more lazily
Mark Wielaard [Sun, 19 Sep 2021 12:30:19 +0000 (14:30 +0200)]
readdwarf3: Introduce abbv_state to read .debug_abbrev more lazily

With the inline parser often a lot of DIEs are skipped, so reading
all abbrevs up front wastes time and memory. A lot of time and memory
can be saved by reading the abbrevs on demand. Do this by introducing
an abbv_state that is used to keep track of the abbrevs already read.
This does technically make the CUConst struct not const.

3 years agoreaddwarf3: Reuse abbrev if possible between units
Mark Wielaard [Sat, 18 Sep 2021 20:16:33 +0000 (22:16 +0200)]
readdwarf3: Reuse abbrev if possible between units

Instead of destroying the ht_abbrvs after processing a CU save it
and the offset so it can be reused for the next CU if that happens
to have the same abbrev offset. dwz compressed DWARF often reuse
the same abbrev for multiple CUs.

3 years agoreaddwarf3: Immediately skip to end of CU when not parsing children
Mark Wielaard [Sat, 18 Sep 2021 01:23:52 +0000 (03:23 +0200)]
readdwarf3: Immediately skip to end of CU when not parsing children

3 years agoreaddwarf3: Reuse fndn_ix_Table as much as possible
Mark Wielaard [Fri, 17 Sep 2021 22:24:38 +0000 (00:24 +0200)]
readdwarf3: Reuse fndn_ix_Table as much as possible

Both the var parser and the inl parser kept a fndn_ix_Table.
Initialize only one per debuginfo read pass and reuse if the stmt offset
is the same as last time (CUs can share the same line table and alt
files do share one for all units).

3 years agoreaddwarf3: Only read line table for units with addresses for inlined functions
Mark Wielaard [Thu, 16 Sep 2021 20:49:41 +0000 (22:49 +0200)]
readdwarf3: Only read line table for units with addresses for inlined functions

When parsing DIEs for inlined functions, only read the line table for
units which can actually contain inlined_subroutines.

3 years agoreaddwarf3: Skip units without addresses when looking for inlined functions
Mark Wielaard [Thu, 16 Sep 2021 20:01:47 +0000 (22:01 +0200)]
readdwarf3: Skip units without addresses when looking for inlined functions

When a unit doesn't cover any addresses skip it because no actual code
will be inside. Also use skip_DIE instead of read_DIE when not parsing
(skipping) children.

3 years agoamd64: add spec rules for: S/NS after ADDL, S after ADDQ.
Julian Seward [Thu, 23 Sep 2021 13:46:21 +0000 (15:46 +0200)]
amd64: add spec rules for: S/NS after ADDL, S after ADDQ.

3 years agom_debuginfo: Handle DW_TAG_atomic_type
Mark Wielaard [Sat, 18 Sep 2021 00:19:13 +0000 (02:19 +0200)]
m_debuginfo: Handle DW_TAG_atomic_type

DW_TAG_atomic_type is a DWARF5 qualifier tag like DW_TAG_volatile_type,
DW_TAG_const_type and DW_TAG_restrict_type.

3 years agos390x: Fix 64-bit shift in s390_irgen_VSTRS
Andreas Arnez [Fri, 17 Sep 2021 16:48:12 +0000 (18:48 +0200)]
s390x: Fix 64-bit shift in s390_irgen_VSTRS

The function s390_irgen_VSTRS in guest_s390_toIR.c contains a shift
operation that is intended to yield a 64-bit number but uses 1UL instead
of 1ULL.  This doesn't work on systems where 'unsigned long' is only 32
bits wide.  Fix by replacing 1UL by 1ULL.

3 years agoRemove deprecated regression tests for mftgpr and mffgpr.
Carl Love [Fri, 10 Sep 2021 22:15:57 +0000 (17:15 -0500)]
Remove deprecated regression tests for mftgpr and mffgpr.

The mftgpr and mffgpr instructions are deprecated.  Added comments in
VEX/priv/guest_ppc_toIR.c for the instructions stating the instructions
are deprecated.  Valgrind support can be removed if the opcodes get reused
in the future.  For now, leaving the functional support in Valgrind
for the instructions.

Removed the regression test power6_mf_gpr.c, expect files and vgtest file
from none/tests/ppc64.

3 years agoCleanup of none/tests/ppc64/Makefile.am
Carl Love [Fri, 10 Sep 2021 21:20:10 +0000 (16:20 -0500)]
Cleanup of none/tests/ppc64/Makefile.am

Fixing indentation and move the jm_insns_CFLAGS next to the other CFLAGS
definitions.

No functional changes.

3 years agoAdd getoff-arm64-linux to .gitignore
Mark Wielaard [Wed, 8 Sep 2021 10:51:18 +0000 (12:51 +0200)]
Add getoff-arm64-linux to .gitignore

3 years agoUpdate the expected output for test_isa_3_1_VRT.
Carl Love [Tue, 7 Sep 2021 17:15:38 +0000 (17:15 +0000)]
Update the expected output for test_isa_3_1_VRT.

The inputs into the vinsdlx,vinsdrx instructions changed as a result of
the impossible constraint issue fix.  This patch updates the expected
results.

https://bugs.kde.org/show_bug.cgi?id=441534

3 years agoFix impossible constraint issue in P10 testcase.
Carl Love [Fri, 3 Sep 2021 17:14:50 +0000 (17:14 +0000)]
Fix impossible constraint issue in P10 testcase.

This reworks the modulo operation as seen in
valgrind/none/tests/ppc64/test_isa_3_1_common.c:
  initialize_source_registers().

Due to a GCC issue (PR101882), we will try to avoid a modulo operation with
both input and outputs set to a hard register. In this case, we can apply
the modulo operation to the args[] array value used to initialize the ra
value.

https://bugs.kde.org/show_bug.cgi?id=440906

3 years agoRemove a unneeded / unnecessary prefix check.
Carl Love [Fri, 3 Sep 2021 16:36:31 +0000 (16:36 +0000)]
Remove a unneeded / unnecessary prefix check.

The pstxvp instruction is valid for R=1, i.e. use pc relative addressing.
The test should have been remmoved before committing the ISA 3.1 support.

https://bugs.kde.org/show_bug.cgi?id=441512

3 years agos390x: Wrap up misc-insn-3 and vec-enh-2 support
Andreas Arnez [Tue, 18 May 2021 17:59:32 +0000 (19:59 +0200)]
s390x: Wrap up misc-insn-3 and vec-enh-2 support

Wrap up support for the miscellaneous-instruction-extensions facility 3
and the vector-enhancements facility 2: Add 'case' statements for the
remaining unhandled arch13 instructions to 'guest_s390_toIR.c', document
the new support in 's390-opcodes.csv', adjust 's390-check-opcodes.pl', and
announce the new feature in 'NEWS'.

3 years agos390x: Vec-enh-2, test cases
Andreas Arnez [Mon, 17 May 2021 13:34:15 +0000 (15:34 +0200)]
s390x: Vec-enh-2, test cases

Add test cases for verifying the new/enhanced instructions in the
vector-enhancements facility 2.  For "vector string search" VSTRS add a
memcheck test case.

3 years agos390x: Mark arch13 features as supported
Andreas Arnez [Tue, 16 Feb 2021 16:52:09 +0000 (17:52 +0100)]
s390x: Mark arch13 features as supported

Make the STFLE instruction report the miscellaneous-instruction-extensions
facility 3 and the vector-enhancements facility 2 as supported.  Indicate
support for the latter in the HWCAP vector as well.

This page took 0.076933 seconds and 5 git commands to generate.