LXR qemu/tests/tcg/hexagon/hex

   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
  35typedef unsigned char uint8_t;
  36
  37int err;
  38int segv_caught;
  39
  40#define SHOULD_NOT_CHANGE_VAL        5
  41int should_not_change = SHOULD_NOT_CHANGE_VAL;
  42
  43#define BUF_SIZE        300
  44unsigned char buf[BUF_SIZE];
  45
  46
  47static 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
  58static 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
  68jmp_buf jmp_env;
  69
  70static 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
  77int 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