c23b5764e7
When a packet has 2 stores, either both commit or neither commit. At the beginning of gen_commit_packet, we check for multiple stores. If there are multiple stores, call a helper that will probe each of them before proceeding with the commit. Note that we don't call the probe helper for packets with only one store. Therefore, we call process_store_log before anything else involved in committing the packet. We also fix a typo in the comment in process_store_log. Test case added in tests/tcg/hexagon/hex_sigsegv.c Reviewed-by: Richard Henderson <richard.henderson@linaro.org> Signed-off-by: Taylor Simpson <tsimpson@quicinc.com> Message-Id: <1633036599-7637-1-git-send-email-tsimpson@quicinc.com>
107 lines
2.8 KiB
C
107 lines
2.8 KiB
C
/*
|
|
* Copyright(c) 2021 Qualcomm Innovation Center, Inc. All Rights Reserved.
|
|
*
|
|
* 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 2 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/>.
|
|
*/
|
|
|
|
/*
|
|
* Test the VLIW semantics of two stores in a packet
|
|
*
|
|
* When a packet has 2 stores, either both commit or neither commit.
|
|
* We test this with a packet that does stores to both NULL and a global
|
|
* variable, "should_not_change". After the SIGSEGV is caught, we check
|
|
* that the "should_not_change" value is the same.
|
|
*/
|
|
|
|
#include <stdlib.h>
|
|
#include <stdio.h>
|
|
#include <unistd.h>
|
|
#include <sys/types.h>
|
|
#include <fcntl.h>
|
|
#include <setjmp.h>
|
|
#include <signal.h>
|
|
|
|
typedef unsigned char uint8_t;
|
|
|
|
int err;
|
|
int segv_caught;
|
|
|
|
#define SHOULD_NOT_CHANGE_VAL 5
|
|
int should_not_change = SHOULD_NOT_CHANGE_VAL;
|
|
|
|
#define BUF_SIZE 300
|
|
unsigned char buf[BUF_SIZE];
|
|
|
|
|
|
static void __check(const char *filename, int line, int x, int expect)
|
|
{
|
|
if (x != expect) {
|
|
printf("ERROR %s:%d - %d != %d\n",
|
|
filename, line, x, expect);
|
|
err++;
|
|
}
|
|
}
|
|
|
|
#define check(x, expect) __check(__FILE__, __LINE__, (x), (expect))
|
|
|
|
static void __chk_error(const char *filename, int line, int ret)
|
|
{
|
|
if (ret < 0) {
|
|
printf("ERROR %s:%d - %d\n", filename, line, ret);
|
|
err++;
|
|
}
|
|
}
|
|
|
|
#define chk_error(ret) __chk_error(__FILE__, __LINE__, (ret))
|
|
|
|
jmp_buf jmp_env;
|
|
|
|
static void sig_segv(int sig, siginfo_t *info, void *puc)
|
|
{
|
|
check(sig, SIGSEGV);
|
|
segv_caught = 1;
|
|
longjmp(jmp_env, 1);
|
|
}
|
|
|
|
int main()
|
|
{
|
|
struct sigaction act;
|
|
|
|
/* SIGSEGV test */
|
|
act.sa_sigaction = sig_segv;
|
|
sigemptyset(&act.sa_mask);
|
|
act.sa_flags = SA_SIGINFO;
|
|
chk_error(sigaction(SIGSEGV, &act, NULL));
|
|
if (setjmp(jmp_env) == 0) {
|
|
asm volatile("r18 = ##should_not_change\n\t"
|
|
"r19 = #0\n\t"
|
|
"{\n\t"
|
|
" memw(r18) = #7\n\t"
|
|
" memw(r19) = #0\n\t"
|
|
"}\n\t"
|
|
: : : "r18", "r19", "memory");
|
|
}
|
|
|
|
act.sa_handler = SIG_DFL;
|
|
sigemptyset(&act.sa_mask);
|
|
act.sa_flags = 0;
|
|
chk_error(sigaction(SIGSEGV, &act, NULL));
|
|
|
|
check(segv_caught, 1);
|
|
check(should_not_change, SHOULD_NOT_CHANGE_VAL);
|
|
|
|
puts(err ? "FAIL" : "PASS");
|
|
return err ? EXIT_FAILURE : EXIT_SUCCESS;
|
|
}
|