gcc/testsuite/go.test/test/literal.go

   1 // $G $F.go && $L $F.$A && ./$A.out
   2
   3 // Copyright 2009 The Go Authors. All rights reserved.
   4 // Use of this source code is governed by a BSD-style
   5 // license that can be found in the LICENSE file.
   6
   7 package main
   8
   9 import "os"
  10
  11 var nbad int
  12
  13 func assert(cond bool, msg string) {
  14         if !cond {
  15                 if nbad == 0 {
  16                         print("BUG")
  17                 }
  18                 nbad++
  19                 print(" ", msg)
  20         }
  21 }
  22
  23 func equal(a, b float) bool {
  24         if os.Getenv("GOARCH") != "arm" {
  25                 return a == b
  26         }
  27         d := a-b
  28         if a > b {
  29                 return d < a * 1.0e-7
  30         }
  31         d = -d
  32         return d < b * 1.0e-7
  33 }
  34
  35
  36 func main() {
  37         // bool
  38         var t bool = true
  39         var f bool = false
  40         assert(t == !f, "bool")
  41
  42         // int8
  43         var i00 int8 = 0
  44         var i01 int8 = 1
  45         var i02 int8 = -1
  46         var i03 int8 = 127
  47         var i04 int8 = -127
  48         var i05 int8 = -128
  49         var i06 int8 = +127
  50         assert(i01 == i00 + 1, "i01")
  51         assert(i02 == -i01, "i02")
  52         assert(i03 == -i04, "i03")
  53         assert(-(i05+1) == i06, "i05")
  54
  55         // int16
  56         var i10 int16 = 0
  57         var i11 int16 = 1
  58         var i12 int16 = -1
  59         var i13 int16 = 32767
  60         var i14 int16 = -32767
  61         var i15 int16 = -32768
  62         var i16 int16 = +32767
  63         assert(i11 == i10 + 1, "i11")
  64         assert(i12 == -i11, "i12")
  65         assert(i13 == -i14, "i13")
  66         assert(-(i15+1) == i16, "i15")
  67
  68         // int32
  69         var i20 int32 = 0
  70         var i21 int32 = 1
  71         var i22 int32 = -1
  72         var i23 int32 = 2147483647
  73         var i24 int32 = -2147483647
  74         var i25 int32 = -2147483648
  75         var i26 int32 = +2147483647
  76         assert(i21 == i20 + 1, "i21")
  77         assert(i22 == -i21, "i22")
  78         assert(i23 == -i24, "i23")
  79         assert(-(i25+1) == i26, "i25")
  80         assert(i23 == (1 << 31) - 1, "i23 size")
  81
  82         // int64
  83         var i30 int64 = 0
  84         var i31 int64 = 1
  85         var i32 int64 = -1
  86         var i33 int64 = 9223372036854775807
  87         var i34 int64 = -9223372036854775807
  88         var i35 int64 = -9223372036854775808
  89         var i36 int64 = +9223372036854775807
  90         assert(i31 == i30 + 1, "i31")
  91         assert(i32 == -i31, "i32")
  92         assert(i33 == -i34, "i33")
  93         assert(-(i35+1) == i36, "i35")
  94         assert(i33 == (1<<63) - 1, "i33 size")
  95
  96         // uint8
  97         var u00 uint8 = 0
  98         var u01 uint8 = 1
  99         var u02 uint8 = 255
 100         var u03 uint8 = +255
 101         assert(u01 == u00 + 1, "u01")
 102         assert(u02 == u03, "u02")
 103         assert(u03 == (1<<8) - 1, "u03 size")
 104
 105         // uint16
 106         var u10 uint16 = 0
 107         var u11 uint16 = 1
 108         var u12 uint16 = 65535
 109         var u13 uint16 = +65535
 110         assert(u11 == u10 + 1, "u11")
 111         assert(u12 == u13, "u12")
 112
 113         // uint32
 114         var u20 uint32 = 0
 115         var u21 uint32 = 1
 116         var u22 uint32 = 4294967295
 117         var u23 uint32 = +4294967295
 118         assert(u21 == u20 + 1, "u21")
 119         assert(u22 == u23, "u22")
 120
 121         // uint64
 122         var u30 uint64 = 0
 123         var u31 uint64 = 1
 124         var u32 uint64 = 18446744073709551615
 125         var u33 uint64 = +18446744073709551615
 126         _, _, _, _ = u30, u31, u32, u33
 127
 128         // float
 129         var f00 float = 3.14159
 130         var f01 float = -3.14159
 131         var f02 float = +3.14159
 132         var f03 float = 0.0
 133         var f04 float = .0
 134         var f05 float = 0.
 135         var f06 float = -0.0
 136         var f07 float = 1e10
 137         var f08 float = -1e10
 138         var f09 float = 1e-10
 139         var f10 float = 1e+10
 140         var f11 float = 1.e-10
 141         var f12 float = 1.e+10
 142         var f13 float = .1e-10
 143         var f14 float = .1e+10
 144         var f15 float = 1.1e-10
 145         var f16 float = 1.1e+10
 146         assert(f01 == -f00, "f01")
 147         assert(f02 == -f01, "f02")
 148         assert(f03 == f04, "f03")
 149         assert(f04 == f05, "f04")
 150         assert(f05 == f06, "f05")
 151         assert(f07 == -f08, "f07")
 152         assert(equal(f09, 1/f10), "f09")
 153         assert(f11 == f09, "f11")
 154         assert(f12 == f10, "f12")
 155         assert(equal(f13, f09/10.0), "f13")
 156         assert(equal(f14, f12/10.0), "f14")
 157         assert(equal(f15, f16/1e20), "f15")
 158
 159         // character
 160         var c0 uint8 = 'a'
 161         var c1 uint8 = 'ä'
 162         var c2 uint8 = '\a'
 163         var c3 uint8 = '\b'
 164         var c4 uint8 = '\f'
 165         var c5 uint8 = '\n'
 166         var c6 uint8 = '\r'
 167         var c7 uint8 = '\t'
 168         var c8 uint8 = '\v'
 169         // var c9 uint8 = '本' // correctly caught as error
 170         var c9 uint16 = '本'
 171         assert(c0 == 0x61, "c0")
 172         assert(c1 == 0xe4, "c1")
 173         assert(c2 == 0x07, "c2")
 174         assert(c3 == 0x08, "c3")
 175         assert(c4 == 0x0c, "c4")
 176         assert(c5 == 0x0a, "c4")
 177         assert(c6 == 0x0d, "c6")
 178         assert(c7 == 0x09, "c7")
 179         assert(c8 == 0x0b, "c8")
 180         assert(c9 == 0x672c, "c9")
 181
 182
 183         var c00 uint8 = '\000'
 184         var c01 uint8 = '\007'
 185         var c02 uint8 = '\177'
 186         var c03 uint8 = '\377'
 187         assert(c00 == 0, "c00")
 188         assert(c01 == 7, "c01")
 189         assert(c02 == 127, "c02")
 190         assert(c03 == 255, "c03")
 191
 192         var cx0 uint8 = '\x00'
 193         var cx1 uint8 = '\x0f'
 194         var cx2 uint8 = '\xff'
 195         assert(cx0 == 0, "cx0")
 196         assert(cx1 == 15, "cx1")
 197         assert(cx2 == 255, "cx2")
 198
 199         var cu0 uint16 = '\u1234'
 200         var cu1 uint32 = '\U00101234'
 201         assert(cu0 == 0x1234, "cu0")
 202         assert(cu1 == 0x101234, "cu1")
 203
 204         // string
 205         var s0 string = ""
 206         var s1 string = "hellô"
 207         assert(s1[0] == 'h', "s1-0")
 208         assert(s1[4] == 0xc3, "s1-4")
 209         assert(s1[5] == 0xb4, "s1-5")
 210         var s2 string = "\a\b\f\n\r\t\v"
 211         _, _ = s0, s2
 212
 213         var s00 string = "\000"
 214         var s01 string = "\007"
 215         var s02 string = "\377"
 216         assert(s00[0] == 0, "s00")
 217         assert(s01[0] == 7, "s01")
 218         assert(s02[0] == 255, "s02")
 219
 220         var x00 string = "\x00"
 221         var x01 string = "\x0f"
 222         var x02 string = "\xff"
 223         assert(x00[0] == 0, "x00")
 224         assert(x01[0] == 15, "x01")
 225         assert(x02[0] == 255, "x02")
 226
 227         // these are all the same string
 228         var sj0 string = "日本語"
 229         var sj1 string = "\u65e5\u672c\u8a9e"
 230         var sj2 string = "\U000065e5\U0000672c\U00008a9e"
 231         var sj3 string = "\xe6\x97\xa5\xe6\x9c\xac\xe8\xaa\x9e"
 232         assert(sj0 == sj1, "sj1")
 233         assert(sj0 == sj2, "sj2")
 234         assert(sj0 == sj3, "sj3")
 235
 236         if nbad > 0 {
 237                 println()
 238         }
 239 }