1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
|
# This testcase is part of GDB, the GNU debugger.
# Copyright 1998-2016 Free Software Foundation, Inc.
# 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 3 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/>.
# This file was written by Elena Zannoni (ezannoni@cygnus.com)
# Tests for correctenss of logical operators, associativity and
# precedence with integer type variables
#
# test running programs
#
standard_testfile int-type.c
if { [gdb_compile "${srcdir}/${subdir}/${srcfile}" "${binfile}" executable {debug nowarnings}] != "" } {
untested "failed to compile"
return -1
}
if [get_compiler_info] {
return -1
}
clean_restart ${binfile}
#
# set it up at a breakpoint so we can play with the variable values
#
if ![runto_main] then {
perror "couldn't run to breakpoint"
continue
}
proc evaluate { vars ops } {
for {set vari 0} {$vari < [llength $vars]} {incr vari} {
set var [lindex $vars $vari]
for {set opi 0} {$opi < [llength $ops]} {incr opi} {
set op [lindex [lindex $ops $opi] 0]
set val [lindex [lindex $ops $opi] [expr $vari + 1]]
gdb_test "print $var, $op" " = $val" "evaluate $op; variables $var; expecting $val"
}
}
}
# Unary
evaluate {
{x = 0} {x = 1}
} {
{ {x} 0 1 }
{ {!x} 1 0 }
{ {!!x} 0 1 }
}
# Binary (with unary)
evaluate {
{x = 0, y = 0} {x = 0, y = 1} {x = 1, y = 0} {x = 1, y = 1}
} {
{ {x && y} 0 0 0 1 }
{ {!x && y} 0 1 0 0 }
{ {x && !y} 0 0 1 0 }
{ {!x && !y} 1 0 0 0 }
{ {x || y} 0 1 1 1 }
{ {!x || y} 1 1 0 1 }
{ {x || !y} 1 0 1 1 }
{ {!x || !y} 1 1 1 0 }
{ {x < y} 0 1 0 0 }
{ {x <= y} 1 1 0 1 }
{ {x == y} 1 0 0 1 }
{ {x != y} 0 1 1 0 }
{ {x >= y} 1 0 1 1 }
{ {x > y} 0 0 1 0 }
}
# Full table of &&, || combinations, followed by random mix of unary ops
evaluate {
{x = 0, y = 0, z = 0} {x = 0, y = 0, z = 1} {x = 0, y = 1, z = 0} {x = 0, y = 1, z = 1}
{x = 1, y = 0, z = 0} {x = 1, y = 0, z = 1} {x = 1, y = 1, z = 0} {x = 1, y = 1, z = 1}
} {
{ {x && y && z} 0 0 0 0 0 0 0 1 }
{ {x || y && z} 0 0 0 1 1 1 1 1 }
{ {x && y || z} 0 1 0 1 0 1 1 1 }
{ {x || y || z} 0 1 1 1 1 1 1 1 }
{ {x || !y && z} 0 1 0 0 1 1 1 1 }
{ {!x || y && z} 1 1 1 1 0 0 0 1 }
{ {!x || y && !z} 1 1 1 1 0 0 1 0 }
}
# More complex operations
evaluate {
{x = 1, y = 2, w = 3, z = 3}
{x = 1, y = 2, w = 1, z = 3}
{x = 2, y = 2, w = 2, z = 3}
} {
{ {x > y || w == z} 1 0 0 }
{ {x >= y && w != z} 0 0 1 }
{ {! x > y || w + z} 1 1 1 }
}
|
