1 /* 2 * Copyright(c) 2021 Qualcomm Innovation Center, Inc. All Rights Reserved. 3 * 4 * This program is free software; you can redistribute it and/or modify 5 * it under the terms of the GNU General Public License as published by 6 * the Free Software Foundation; either version 2 of the License, or 7 * (at your option) any later version. 8 * 9 * This program is distributed in the hope that it will be useful, 10 * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 * GNU General Public License for more details. 13 * 14 * You should have received a copy of the GNU General Public License 15 * along with this program; if not, see <http://www.gnu.org/licenses/>. 16 */ 17 18 /* 19 * Test the VLIW semantics of two stores in a packet 20 * 21 * When a packet has 2 stores, either both commit or neither commit. 22 * We test this with a packet that does stores to both NULL and a global 23 * variable, "should_not_change". After the SIGSEGV is caught, we check 24 * that the "should_not_change" value is the same. 25 */ 26 27 #include <stdlib.h> 28 #include <stdio.h> 29 #include <unistd.h> 30 #include <sys/types.h> 31 #include <fcntl.h> 32 #include <setjmp.h> 33 #include <signal.h> 34 35 typedef unsigned char uint8_t; 36 37 int err; 38 int segv_caught; 39 40 #define SHOULD_NOT_CHANGE_VAL 5 41 int should_not_change = SHOULD_NOT_CHANGE_VAL; 42 43 #define BUF_SIZE 300 44 unsigned char buf[BUF_SIZE]; 45 46 47 static void __check(const char *filename, int line, int x, int expect) 48 { 49 if (x != expect) { 50 printf("ERROR %s:%d - %d != %d\n", 51 filename, line, x, expect); 52 err++; 53 } 54 } 55 56 #define check(x, expect) __check(__FILE__, __LINE__, (x), (expect)) 57 58 static void __chk_error(const char *filename, int line, int ret) 59 { 60 if (ret < 0) { 61 printf("ERROR %s:%d - %d\n", filename, line, ret); 62 err++; 63 } 64 } 65 66 #define chk_error(ret) __chk_error(__FILE__, __LINE__, (ret)) 67 68 jmp_buf jmp_env; 69 70 static void sig_segv(int sig, siginfo_t *info, void *puc) 71 { 72 check(sig, SIGSEGV); 73 segv_caught = 1; 74 longjmp(jmp_env, 1); 75 } 76 77 int main() 78 { 79 struct sigaction act; 80 81 /* SIGSEGV test */ 82 act.sa_sigaction = sig_segv; 83 sigemptyset(&act.sa_mask); 84 act.sa_flags = SA_SIGINFO; 85 chk_error(sigaction(SIGSEGV, &act, NULL)); 86 if (setjmp(jmp_env) == 0) { 87 asm volatile("r18 = ##should_not_change\n\t" 88 "r19 = #0\n\t" 89 "{\n\t" 90 " memw(r18) = #7\n\t" 91 " memw(r19) = #0\n\t" 92 "}\n\t" 93 : : : "r18", "r19", "memory"); 94 } 95 96 act.sa_handler = SIG_DFL; 97 sigemptyset(&act.sa_mask); 98 act.sa_flags = 0; 99 chk_error(sigaction(SIGSEGV, &act, NULL)); 100 101 check(segv_caught, 1); 102 check(should_not_change, SHOULD_NOT_CHANGE_VAL); 103 104 puts(err ? "FAIL" : "PASS"); 105 return err ? EXIT_FAILURE : EXIT_SUCCESS; 106 } 107