unary.c revision a0664b9ca67b594bd6f570a61d3301167a24750c 
1/* -*- mode: C; c-basic-offset: 3; -*- */
2
3/*
4   This file is part of MemCheck, a heavyweight Valgrind tool for
5   detecting memory errors.
6
7   Copyright (C) 2012-2015  Florian Krohm
8
9   This program is free software; you can redistribute it and/or
10   modify it under the terms of the GNU General Public License as
11   published by the Free Software Foundation; either version 2 of the
12   License, or (at your option) any later version.
13
14   This program is distributed in the hope that it will be useful, but
15   WITHOUT ANY WARRANTY; without even the implied warranty of
16   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
17   General Public License for more details.
18
19   You should have received a copy of the GNU General Public License
20   along with this program; if not, write to the Free Software
21   Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
22   02111-1307, USA.
23
24   The GNU General Public License is contained in the file COPYING.
25*/
26
27#include <assert.h>
28#include "vtest.h"
29
30
31/* Check the result of a unary operation. */
32static void
33check_result_for_unary(const irop_t *op, const test_data_t *data)
34{
35   const opnd_t *result = &data->result;
36   const opnd_t *opnd   = &data->opnds[0];
37   unsigned num_bits = result->vbits.num_bits;
38   vbits_t expected_vbits;
39
40   /* Only handle those undef-kinds that actually occur. */
41   switch (op->undef_kind) {
42   case UNDEF_ALL:
43      expected_vbits = undefined_vbits(num_bits);
44      break;
45
46   case UNDEF_SAME:
47      expected_vbits = opnd->vbits;
48      break;
49
50   case UNDEF_TRUNC:
51      expected_vbits = truncate_vbits(opnd->vbits, num_bits);
52      break;
53
54   case UNDEF_LEFT:
55      expected_vbits = left_vbits(opnd->vbits, num_bits);
56      break;
57
58   case UNDEF_UPPER:
59      assert(num_bits * 2 == opnd->vbits.num_bits);
60      expected_vbits = upper_vbits(opnd->vbits);
61      break;
62
63   case UNDEF_SEXT:
64      expected_vbits = sextend_vbits(opnd->vbits, num_bits);
65      break;
66
67   case UNDEF_ZEXT:
68      expected_vbits = zextend_vbits(opnd->vbits, num_bits);
69      break;
70
71   case UNDEF_ALL_64x2:
72      assert(num_bits == 128);
73      expected_vbits = undefined_vbits_BxE(64, 2, opnd->vbits);
74      break;
75
76   case UNDEF_ALL_32x4:
77      assert(num_bits == 128);
78      expected_vbits = undefined_vbits_BxE(32, 4, opnd->vbits);
79      break;
80
81   case UNDEF_ALL_16x8:
82      assert(num_bits == 128);
83      expected_vbits = undefined_vbits_BxE(16, 8, opnd->vbits);
84      break;
85
86   case UNDEF_ALL_8x16:
87      assert(num_bits == 128);
88      expected_vbits = undefined_vbits_BxE(8, 16, opnd->vbits);
89      break;
90
91   case UNDEF_64x2_TRANSPOSE:
92      assert(num_bits == 128);
93      expected_vbits = undefined_vbits_64x2_transpose(opnd->vbits);
94      break;
95
96   default:
97      panic(__func__);
98   }
99
100   if (! equal_vbits(result->vbits, expected_vbits))
101      complain(op, data, expected_vbits);
102}
103
104
105int
106test_unary_op(const irop_t *op, test_data_t *data)
107{
108   unsigned num_input_bits, bitpos;
109   int tests_done = 0;
110
111   /* Immediate operands are currently not supported here */
112   assert(op->immediate_index == 0);
113
114   num_input_bits = bitsof_irtype(data->opnds[0].type);
115
116   for (bitpos = 0; bitpos < num_input_bits; ++bitpos) {
117      data->opnds[0].vbits = onehot_vbits(bitpos, num_input_bits);
118
119      valgrind_execute_test(op, data);
120
121      check_result_for_unary(op, data);
122      tests_done++;
123   }
124   return tests_done;
125}
126