gdb/testsuite/gdb.base/dfp-exprs.exp

   1 # Copyright (C) 2007-2012 Free Software Foundation, Inc.
   2
   3 # This program is free software; you can redistribute it and/or modify
   4 # it under the terms of the GNU General Public License as published by
   5 # the Free Software Foundation; either version 3 of the License, or
   6 # (at your option) any later version.
   7 #
   8 # This program is distributed in the hope that it will be useful,
   9 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  10 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  11 # GNU General Public License for more details.
  12 #
  13 # You should have received a copy of the GNU General Public License
  14 # along with this program.  If not, see <http://www.gnu.org/licenses/>.
  15
  16 # This file was written by Wu Zhou. (woodzltc@cn.ibm.com)
  17
  18 # This file is part of the gdb testsuite.  It contains test for evaluating
  19 # simple decimal floating point (DFP) expression.
  20
  21 proc test_dfp_literals_accepted {} {
  22
  23     # Test various dfp values, covering 32-bit, 64-bit and 128-bit ones
  24
  25     # _Decimal32 constants, which can support up to 7 digits
  26     gdb_test "p 1.2df" " = 1.2"
  27     gdb_test "p -1.2df" " = -1.2"
  28     gdb_test "p 1.234567df" " = 1.234567"
  29     gdb_test "p -1.234567df" " = -1.234567"
  30     gdb_test "p 1234567.df" " = 1234567"
  31     gdb_test "p -1234567.df" " = -1234567"
  32
  33     gdb_test "p 1.2E1df" " = 12"
  34     gdb_test "p 1.2E10df" " = 1.2E\\+10"
  35     gdb_test "p 1.2E-10df" " = 1.2E-10"
  36
  37     # The largest exponent for 32-bit dfp value is 96.
  38     gdb_test "p 1.2E96df" " = 1.200000E\\+96"
  39
  40     # _Decimal64 constants, which can support up to 16 digits
  41     gdb_test "p 1.2dd" " = 1.2"
  42     gdb_test "p -1.2dd" " = -1.2"
  43     gdb_test "p 1.234567890123456dd" " = 1.234567890123456"
  44     gdb_test "p -1.234567890123456dd" " = -1.234567890123456"
  45     gdb_test "p 1234567890123456.dd" " = 1234567890123456"
  46     gdb_test "p -1234567890123456.dd" " = -1234567890123456"
  47
  48     gdb_test "p 1.2E1dd" " = 12"
  49     gdb_test "p 1.2E10dd" " = 1.2E\\+10"
  50     gdb_test "p 1.2E-10dd" " = 1.2E-10"
  51
  52     # The largest exponent for 64-bit dfp value is 384.
  53     gdb_test "p 1.2E384dd" " = 1.200000000000000E\\+384"
  54
  55     # _Decimal128 constants, which can support up to 34 digits
  56     gdb_test "p 1.2dl" " = 1.2"
  57     gdb_test "p -1.2dl" " = -1.2"
  58     gdb_test "p 1.234567890123456789012345678901234dl" " = 1.234567890123456789012345678901234"
  59     gdb_test "p -1.234567890123456789012345678901234dl" " = -1.234567890123456789012345678901234"
  60     gdb_test "p 1234567890123456789012345678901234.dl" " = 1234567890123456789012345678901234"
  61     gdb_test "p -1234567890123456789012345678901234.dl" " = -1234567890123456789012345678901234"
  62
  63     gdb_test "p 1.2E1dl" " = 12"
  64     gdb_test "p 1.2E10dl" " = 1.2E\\+10"
  65     gdb_test "p 1.2E-10dl" " = 1.2E-10"
  66
  67     # The largest exponent for 128-bit dfp value is 6144.
  68     gdb_test "p 1.2E6144dl" " = 1.200000000000000000000000000000000E\\+6144"
  69 }
  70
  71 proc test_dfp_arithmetic_expressions {} {
  72
  73     # _Decimal32 operands.
  74     gdb_test "p 1.4df + 1.2df" " = 2.6"
  75     gdb_test "p 1.4df - 1.2df" " = 0.2"
  76     gdb_test "p 1.4df * 1.2df" " = 1.68"
  77     gdb_test "p 1.4df / 1.2df" " = 1.166667"
  78
  79     # _Decimal64 operands.
  80     gdb_test "p 1.4dd + 1.2dd" " = 2.6"
  81     gdb_test "p 1.4dd - 1.2dd" " = 0.2"
  82     gdb_test "p 1.4dd * 1.2dd" " = 1.68"
  83     gdb_test "p 1.4dd / 1.2dd" " = 1.166666666666667"
  84
  85     # _Decimal128 operands.
  86     gdb_test "p 1.4dl + 1.2dl" " = 2.6"
  87     gdb_test "p 1.4dl - 1.2dl" " = 0.2"
  88     gdb_test "p 1.4dl * 1.2dl" " = 1.68"
  89     gdb_test "p 1.4dl / 1.2dl" " = 1.166666666666666666666666666666667"
  90
  91     # Test type of operation result.
  92     gdb_test "ptype 2.df + 2.df" "= _Decimal32"
  93     gdb_test "ptype 2.dd + 2.dd" "= _Decimal64"
  94     gdb_test "ptype 2.dl + 2.dl" "= _Decimal128"
  95
  96     # Mixture of different _Decimal sizes.
  97     gdb_test "p 2.1df + 2.7dd" "= 4.8"
  98     gdb_test "p 2.1dd + 2.7df" "= 4.8"
  99     gdb_test "p 2.6df + 2.7dl" "= 5.3"
 100     gdb_test "p 2.6dl + 2.7df" "= 5.3"
 101     gdb_test "p 2.3dd + 2.2dl" "= 4.5"
 102     gdb_test "p 2.3dl + 2.2dd" "= 4.5"
 103     gdb_test "ptype 2.df + 2.dd" "= _Decimal64"
 104     gdb_test "ptype 2.df + 2.dl" "= _Decimal128"
 105     gdb_test "ptype 2.dd + 2.dl" "= _Decimal128"
 106
 107     # Mixture of Decimal and integral operands
 108     gdb_test "p 1.2df + 1" " = 2.2"
 109     gdb_test "p 2 + 1.7dd" " = 3.7"
 110     gdb_test "p 3 + 2.1dl" " = 5.1"
 111     gdb_test "ptype 1.2df + 1" " = _Decimal32"
 112     gdb_test "ptype 2 + 1.7dd" " = _Decimal64"
 113     gdb_test "ptype 3 + 2.1dl" " = _Decimal128"
 114
 115     # Reject operation with integral larger than 32-bits
 116     gdb_test "p 1.2df + 2ll" "Conversion of large integer to a decimal floating type is not supported."
 117
 118     # Reject operation with DFP and Binary FP
 119     gdb_test "p 1.2df + 1.2f" "Mixing decimal floating types with other floating types is not allowed."
 120
 121     # Test other operations with DFP operands
 122     gdb_test "p !0.df" " = 1"
 123     gdb_test "p !0.dd" " = 1"
 124     gdb_test "p !0.dl" " = 1"
 125     gdb_test "p !0.5df" " = 0"
 126     gdb_test "p !0.5dd" " = 0"
 127     gdb_test "p !0.5dl" " = 0"
 128
 129     gdb_test "p 1.2df == 1.2df" " = 1"
 130     gdb_test "p 1.2df == 1.2dd" " = 1"
 131     gdb_test "p 1.2df == 1.2dl" " = 1"
 132     gdb_test "p 1.2dd == 1.2df" " = 1"
 133     gdb_test "p 1.2dd == 1.2dl" " = 1"
 134     gdb_test "p 1.2dl == 1.2df" " = 1"
 135     gdb_test "p 1.2dl == 1.2dd" " = 1"
 136     gdb_test "p 1.2df == 1.3df" " = 0"
 137     gdb_test "p 1.2df == 1.3dd" " = 0"
 138     gdb_test "p 1.2df == 1.3dl" " = 0"
 139     gdb_test "p 1.2dd == 1.3df" " = 0"
 140     gdb_test "p 1.2dd == 1.3dl" " = 0"
 141     gdb_test "p 1.2dl == 1.3df" " = 0"
 142     gdb_test "p 1.2dl == 1.3dd" " = 0"
 143
 144     gdb_test "p +1.2df" " = 1.2"
 145     gdb_test "p +1.2dd" " = 1.2"
 146     gdb_test "p +1.2dl" " = 1.2"
 147
 148     gdb_test "p 1.2df < 1.3df" " = 1"
 149     gdb_test "p 1.2df < 1.3dd" " = 1"
 150     gdb_test "p 1.2dl < 1.3df" " = 1"
 151     gdb_test "p 1.2dd < 1.3dd" " = 1"
 152     gdb_test "p 1.2dd < 1.3dl" " = 1"
 153     gdb_test "p 1.2dl < 1.3dl" " = 1"
 154     gdb_test "p 1.2dl < 1.3df" " = 1"
 155     gdb_test "p 1.2df > 1" " = 1"
 156     gdb_test "p 1.2dl > 2" " = 0"
 157     gdb_test "p 2 > 1.2dd" " = 1"
 158     gdb_test "p 2 > 3.1dl" " = 0"
 159 }
 160
 161 proc test_dfp_conversions {} {
 162     # Test cast to and from DFP values, and between DFPs of different sizes
 163
 164     gdb_test "p (float) -0.1df" " = -0.(0999.*|1000.*)"
 165     gdb_test "p (int) 8.3dd" " = 8"
 166     gdb_test "p (_Decimal64) 3.1" " = 3.(0999.*|1000.*)"
 167     gdb_test "p (_Decimal128) 3.7df" " = 3.7"
 168     gdb_test "p (_Decimal32) 4" " = 4"
 169 }
 170
 171 # Start with a fresh gdb.
 172
 173 gdb_exit
 174 gdb_start
 175 gdb_reinitialize_dir $srcdir/$subdir
 176
 177 test_dfp_literals_accepted
 178 test_dfp_arithmetic_expressions
 179 test_dfp_conversions