0d57cd61d9
Move test infra to header file
check functions (always print line number on error)
USR manipulation
Useful floating point values
Use stdint.h types
Use stdbool.h bool where appropriate
Use trip counts local to for loop
Suggested-by: Anton Johansson <anjo@rev.ng>
Signed-off-by: Taylor Simpson <tsimpson@quicinc.com>
Reviewed-by: Anton Johansson <anjo@rev.ng>
Tested-by: Anton Johansson <anjo@rev.ng>
Message-Id: <20230522174341.1805460-1-tsimpson@quicinc.com>
87 lines
2.4 KiB
C
87 lines
2.4 KiB
C
/*
|
|
* Copyright(c) 2021-2023 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 <stdint.h>
|
|
#include <stdbool.h>
|
|
#include <stdio.h>
|
|
#include <unistd.h>
|
|
#include <sys/types.h>
|
|
#include <fcntl.h>
|
|
#include <setjmp.h>
|
|
#include <signal.h>
|
|
|
|
int err;
|
|
|
|
#include "hex_test.h"
|
|
|
|
bool segv_caught;
|
|
|
|
#define SHOULD_NOT_CHANGE_VAL 5
|
|
int32_t should_not_change = SHOULD_NOT_CHANGE_VAL;
|
|
|
|
#define BUF_SIZE 300
|
|
uint8_t buf[BUF_SIZE];
|
|
jmp_buf jmp_env;
|
|
|
|
static void sig_segv(int sig, siginfo_t *info, void *puc)
|
|
{
|
|
check32(sig, SIGSEGV);
|
|
segv_caught = true;
|
|
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));
|
|
|
|
check32(segv_caught, true);
|
|
check32(should_not_change, SHOULD_NOT_CHANGE_VAL);
|
|
|
|
puts(err ? "FAIL" : "PASS");
|
|
return err ? EXIT_FAILURE : EXIT_SUCCESS;
|
|
}
|