florian | bb913cd | 2012-08-28 16:50:39 +0000 | [diff] [blame] | 1 | /* -*- mode: C; c-basic-offset: 3; -*- */ |
| 2 | |
florian | 5aa9d1e | 2015-09-22 07:21:50 +0000 | [diff] [blame] | 3 | /* |
| 4 | This file is part of MemCheck, a heavyweight Valgrind tool for |
| 5 | detecting memory errors. |
| 6 | |
Elliott Hughes | ed39800 | 2017-06-21 14:41:24 -0700 | [diff] [blame^] | 7 | Copyright (C) 2012-2017 Florian Krohm |
florian | 5aa9d1e | 2015-09-22 07:21:50 +0000 | [diff] [blame] | 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 | |
florian | bb913cd | 2012-08-28 16:50:39 +0000 | [diff] [blame] | 27 | #include <assert.h> |
| 28 | #include "vtest.h" |
| 29 | |
| 30 | |
| 31 | /* Check the result of a ternary operation. */ |
| 32 | static void |
| 33 | check_result_for_ternary(const irop_t *op, const test_data_t *data) |
| 34 | { |
| 35 | const opnd_t *result = &data->result; |
| 36 | const opnd_t *opnd1 = &data->opnds[0]; |
| 37 | const opnd_t *opnd2 = &data->opnds[1]; |
| 38 | const opnd_t *opnd3 = &data->opnds[2]; |
| 39 | vbits_t expected_vbits; |
| 40 | |
| 41 | /* Only handle those undef-kinds that actually occur. */ |
| 42 | switch (op->undef_kind) { |
| 43 | case UNDEF_ALL: |
| 44 | expected_vbits = undefined_vbits(result->vbits.num_bits); |
| 45 | break; |
| 46 | |
| 47 | case UNDEF_SAME: |
| 48 | // SAME with respect to the 1-bits in all operands |
| 49 | expected_vbits = or_vbits(or_vbits(opnd1->vbits, opnd2->vbits), |
| 50 | opnd3->vbits); |
| 51 | break; |
| 52 | |
Elliott Hughes | a0664b9 | 2017-04-18 17:46:52 -0700 | [diff] [blame] | 53 | case UNDEF_SOME: |
| 54 | expected_vbits.num_bits = result->vbits.num_bits; |
| 55 | |
| 56 | if ((result->vbits.bits.u128[0] != 0) || |
| 57 | (result->vbits.bits.u128[1] != 0)) { |
| 58 | expected_vbits.bits.u128[0] = result->vbits.bits.u128[0]; |
| 59 | expected_vbits.bits.u128[1] = result->vbits.bits.u128[1]; |
| 60 | |
| 61 | } else { |
| 62 | /* The input had at least one vbit set but the result doesn't have any |
| 63 | * bit set. Set them all so we will trigger the error on the call |
| 64 | * to complain(). |
| 65 | */ |
| 66 | expected_vbits.bits.u128[0] = ~0x0ULL; |
| 67 | expected_vbits.bits.u128[1] = ~0x0ULL; |
| 68 | } |
| 69 | |
| 70 | break; |
| 71 | |
florian | bb913cd | 2012-08-28 16:50:39 +0000 | [diff] [blame] | 72 | default: |
| 73 | panic(__func__); |
| 74 | } |
| 75 | |
| 76 | if (! equal_vbits(result->vbits, expected_vbits)) |
| 77 | complain(op, data, expected_vbits); |
| 78 | } |
| 79 | |
| 80 | |
carll | 24c9e7f | 2012-11-16 19:41:21 +0000 | [diff] [blame] | 81 | int |
florian | bb913cd | 2012-08-28 16:50:39 +0000 | [diff] [blame] | 82 | test_ternary_op(const irop_t *op, test_data_t *data) |
| 83 | { |
| 84 | unsigned num_input_bits, i, bitpos; |
| 85 | opnd_t *opnds = data->opnds; |
carll | 24c9e7f | 2012-11-16 19:41:21 +0000 | [diff] [blame] | 86 | int tests_done = 0; |
florian | bb913cd | 2012-08-28 16:50:39 +0000 | [diff] [blame] | 87 | |
| 88 | /* For each operand, set a single bit to undefined and observe how |
| 89 | that propagates to the output. Do this for all bits in each |
| 90 | operand. */ |
| 91 | for (i = 0; i < 3; ++i) { |
| 92 | num_input_bits = bitsof_irtype(opnds[i].type); |
| 93 | |
| 94 | opnds[0].vbits = defined_vbits(bitsof_irtype(opnds[0].type)); |
| 95 | opnds[1].vbits = defined_vbits(bitsof_irtype(opnds[1].type)); |
| 96 | opnds[2].vbits = defined_vbits(bitsof_irtype(opnds[2].type)); |
| 97 | |
| 98 | for (bitpos = 0; bitpos < num_input_bits; ++bitpos) { |
| 99 | opnds[i].vbits = onehot_vbits(bitpos, bitsof_irtype(opnds[i].type)); |
| 100 | |
| 101 | valgrind_execute_test(op, data); |
| 102 | |
| 103 | check_result_for_ternary(op, data); |
carll | 24c9e7f | 2012-11-16 19:41:21 +0000 | [diff] [blame] | 104 | |
| 105 | tests_done++; |
florian | bb913cd | 2012-08-28 16:50:39 +0000 | [diff] [blame] | 106 | } |
| 107 | } |
florian | 29238c6 | 2012-12-27 03:00:49 +0000 | [diff] [blame] | 108 | return tests_done; |
florian | bb913cd | 2012-08-28 16:50:39 +0000 | [diff] [blame] | 109 | } |