mirror of
https://sourceware.org/git/binutils-gdb.git
synced 2024-11-26 19:44:11 +08:00
[gdb/testsuite] Use precise align in gdb.arch/i386-{avx,sse}.exp
Test-cases gdb.arch/i386-{avx,sse}.exp use assembly instructions that require the memory operands to be aligned to a certain boundary, and the test-cases use C11's _Alignas to make that happen. The draw-back of using _Alignas is that while it does enforce a minimum alignment, the actual alignment may be bigger, which makes the following scenario possible: - copy say, gdb.arch/i386-avx.c as basis for a new test-case - run the test-case and observe a PASS - commit the new test-case in the supposition that the test-case is correct and well-tested - run later into a failure on a different test setup (which may be a setup where reproduction and investigation is more difficult and time-consuming), and find out that the specified alignment was incorrect and should have been updated to say, 64 bytes. The initial PASS occurred only because the actual alignment happened to be greater than required. The idea of having precise alignment as a means of having more predictable execution which allows flushing out bugs earlier, has been filed as PR gcc/103095. Add a new file lib/precise-aligned-alloc.c with functions precise_aligned_alloc and precise_aligned_dup, to support precise alignment. Use precise_aligned_dup in aforementioned test-cases to: - verify that the specified alignment is indeed sufficient, rather than too little but accidentally over-aligned. - prevent the same type of problems in any new test-cases based on these Tested on x86_64-linux, with both gcc and clang.
This commit is contained in:
parent
197a63068b
commit
b082698c5c
@ -28,7 +28,7 @@ typedef struct {
|
||||
} v8sf_t;
|
||||
|
||||
|
||||
v8sf_t data[] =
|
||||
v8sf_t data_orig[] =
|
||||
{
|
||||
{ { 0.0, 0.125, 0.25, 0.375, 0.50, 0.625, 0.75, 0.875 } },
|
||||
{ { 1.0, 1.125, 1.25, 1.375, 1.50, 1.625, 1.75, 1.875 } },
|
||||
@ -50,10 +50,16 @@ v8sf_t data[] =
|
||||
#endif
|
||||
};
|
||||
|
||||
#include "../lib/precise-aligned-alloc.c"
|
||||
|
||||
int
|
||||
main (int argc, char **argv)
|
||||
{
|
||||
void *allocated_ptr;
|
||||
v8sf_t *data
|
||||
= precise_aligned_dup (ALIGN, sizeof (data_orig), &allocated_ptr,
|
||||
data_orig);
|
||||
|
||||
asm ("vmovaps 0(%0), %%ymm0\n\t"
|
||||
"vmovaps 32(%0), %%ymm1\n\t"
|
||||
"vmovaps 64(%0), %%ymm2\n\t"
|
||||
@ -110,5 +116,7 @@ main (int argc, char **argv)
|
||||
|
||||
puts ("Bye!"); /* second breakpoint here */
|
||||
|
||||
free (allocated_ptr);
|
||||
|
||||
return 0;
|
||||
}
|
||||
|
@ -28,7 +28,7 @@ typedef struct {
|
||||
} v4sf_t;
|
||||
|
||||
|
||||
v4sf_t data[] =
|
||||
v4sf_t data_orig[] =
|
||||
{
|
||||
{ { 0.0, 0.25, 0.50, 0.75 } },
|
||||
{ { 1.0, 1.25, 1.50, 1.75 } },
|
||||
@ -65,9 +65,16 @@ have_sse (void)
|
||||
return 0;
|
||||
}
|
||||
|
||||
#include "../lib/precise-aligned-alloc.c"
|
||||
|
||||
int
|
||||
main (int argc, char **argv)
|
||||
{
|
||||
void *allocated_ptr;
|
||||
v4sf_t *data
|
||||
= precise_aligned_dup (ALIGN, sizeof (data_orig), &allocated_ptr,
|
||||
data_orig);
|
||||
|
||||
if (have_sse ())
|
||||
{
|
||||
asm ("movaps 0(%0), %%xmm0\n\t"
|
||||
@ -127,5 +134,7 @@ main (int argc, char **argv)
|
||||
puts ("Bye!"); /* second breakpoint here */
|
||||
}
|
||||
|
||||
free (allocated_ptr);
|
||||
|
||||
return 0;
|
||||
}
|
||||
|
87
gdb/testsuite/lib/precise-aligned-alloc.c
Normal file
87
gdb/testsuite/lib/precise-aligned-alloc.c
Normal file
@ -0,0 +1,87 @@
|
||||
/* This test file is part of GDB, the GNU debugger.
|
||||
|
||||
Copyright 2021 Free Software Foundation, Inc.
|
||||
|
||||
This program is free software; you can redistribute it and/or modify
|
||||
it under the terms of the GNU General Public License as published by
|
||||
the Free Software Foundation; either version 3 of the License, or
|
||||
(at your option) any later version.
|
||||
|
||||
This program is distributed in the hope that it will be useful,
|
||||
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
||||
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
||||
GNU General Public License for more details.
|
||||
|
||||
You should have received a copy of the GNU General Public License
|
||||
along with this program. If not, see <http://www.gnu.org/licenses/>.
|
||||
*/
|
||||
|
||||
#include <stdlib.h>
|
||||
#include <assert.h>
|
||||
#include <string.h>
|
||||
#include <stdint.h>
|
||||
|
||||
/* Return true if address P is ALIGNMENT-byte aligned. */
|
||||
|
||||
static int
|
||||
is_aligned (void *p, size_t alignment)
|
||||
{
|
||||
size_t mask = (alignment - 1);
|
||||
return ((uintptr_t)p & mask) == 0;
|
||||
}
|
||||
|
||||
/* Allocate SIZE memory with ALIGNMENT, and return it. If FREE_POINTER,
|
||||
return in it the corresponding pointer to be passed to free.
|
||||
|
||||
Do the alignment precisely, in other words, if an alignment of 4 is
|
||||
requested, make sure the pointer is 4-byte aligned, but not 8-byte
|
||||
aligned. In other words, make sure the pointer is not overaligned.
|
||||
|
||||
The benefit of using precise alignment is that accidentally specifying
|
||||
a too low alignment will not be compensated by accidental
|
||||
overalignment. */
|
||||
|
||||
static void *
|
||||
precise_aligned_alloc (size_t alignment, size_t size, void **free_pointer)
|
||||
{
|
||||
/* Allocate extra to compensate for "p += alignment". */
|
||||
size_t alloc_size = size + alignment;
|
||||
|
||||
/* Align extra, to be able to do precise align. */
|
||||
void *p = aligned_alloc (alignment * 2, alloc_size);
|
||||
assert (p != NULL);
|
||||
void *p_orig = p;
|
||||
void *p_end = p + alloc_size;
|
||||
|
||||
/* Make p precisely aligned. */
|
||||
p += alignment;
|
||||
|
||||
/* Verify p is without bounds, and points to large enough area. */
|
||||
assert (p >= p_orig);
|
||||
assert (p + size <= p_end);
|
||||
|
||||
/* Verify required alignment. */
|
||||
assert (is_aligned (p, alignment));
|
||||
|
||||
/* Verify required alignment is precise. */
|
||||
assert (! is_aligned (p, 2 * alignment));
|
||||
|
||||
if (free_pointer != NULL)
|
||||
*free_pointer = p_orig;
|
||||
|
||||
return p;
|
||||
}
|
||||
|
||||
/* Duplicate data SRC of size SIZE to a newly allocated, precisely aligned
|
||||
location with alignment ALIGNMENT. */
|
||||
|
||||
static void *
|
||||
precise_aligned_dup (size_t alignment, size_t size, void **free_pointer,
|
||||
void *src)
|
||||
{
|
||||
void *p = precise_aligned_alloc (alignment, size, free_pointer);
|
||||
|
||||
memcpy (p, src, size);
|
||||
|
||||
return p;
|
||||
}
|
Loading…
Reference in New Issue
Block a user