github.com/razvanm/vanadium-go-1.3@v0.0.0-20160721203343-4a65068e5915/test/const.go (about)

     1  // run
     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  // Test simple boolean and numeric constants.
     8  
     9  package main
    10  
    11  import "os"
    12  
    13  const (
    14  	c0      = 0
    15  	cm1     = -1
    16  	chuge   = 1 << 100
    17  	chuge_1 = chuge - 1
    18  	c1      = chuge >> 100
    19  	c3div2  = 3 / 2
    20  	c1e3    = 1e3
    21  
    22  	ctrue  = true
    23  	cfalse = !ctrue
    24  )
    25  
    26  const (
    27  	f0              = 0.0
    28  	fm1             = -1.
    29  	fhuge   float64 = 1 << 100
    30  	fhuge_1 float64 = chuge - 1
    31  	f1      float64 = chuge >> 100
    32  	f3div2          = 3. / 2.
    33  	f1e3    float64 = 1e3
    34  )
    35  
    36  func assert(t bool, s string) {
    37  	if !t {
    38  		panic(s)
    39  	}
    40  }
    41  
    42  func ints() {
    43  	assert(c0 == 0, "c0")
    44  	assert(c1 == 1, "c1")
    45  	assert(chuge > chuge_1, "chuge")
    46  	assert(chuge_1+1 == chuge, "chuge 1")
    47  	assert(chuge+cm1+1 == chuge, "cm1")
    48  	assert(c3div2 == 1, "3/2")
    49  	assert(c1e3 == 1000, "c1e3 int")
    50  	assert(c1e3 == 1e3, "c1e3 float")
    51  
    52  	// verify that all (in range) are assignable as ints
    53  	var i int
    54  	i = c0
    55  	assert(i == c0, "i == c0")
    56  	i = cm1
    57  	assert(i == cm1, "i == cm1")
    58  	i = c1
    59  	assert(i == c1, "i == c1")
    60  	i = c3div2
    61  	assert(i == c3div2, "i == c3div2")
    62  	i = c1e3
    63  	assert(i == c1e3, "i == c1e3")
    64  
    65  	// verify that all are assignable as floats
    66  	var f float64
    67  	f = c0
    68  	assert(f == c0, "f == c0")
    69  	f = cm1
    70  	assert(f == cm1, "f == cm1")
    71  	f = chuge
    72  	assert(f == chuge, "f == chuge")
    73  	f = chuge_1
    74  	assert(f == chuge_1, "f == chuge_1")
    75  	f = c1
    76  	assert(f == c1, "f == c1")
    77  	f = c3div2
    78  	assert(f == c3div2, "f == c3div2")
    79  	f = c1e3
    80  	assert(f == c1e3, "f == c1e3")
    81  }
    82  
    83  func floats() {
    84  	assert(f0 == c0, "f0")
    85  	assert(f1 == c1, "f1")
    86  	// TODO(gri): exp/ssa/interp constant folding is incorrect.
    87  	if os.Getenv("GOSSAINTERP") == "" {
    88  		assert(fhuge == fhuge_1, "fhuge") // float64 can't distinguish fhuge, fhuge_1.
    89  	}
    90  	assert(fhuge_1+1 == fhuge, "fhuge 1")
    91  	assert(fhuge+fm1+1 == fhuge, "fm1")
    92  	assert(f3div2 == 1.5, "3./2.")
    93  	assert(f1e3 == 1000, "f1e3 int")
    94  	assert(f1e3 == 1.e3, "f1e3 float")
    95  
    96  	// verify that all (in range) are assignable as ints
    97  	var i int
    98  	i = f0
    99  	assert(i == f0, "i == f0")
   100  	i = fm1
   101  	assert(i == fm1, "i == fm1")
   102  
   103  	// verify that all are assignable as floats
   104  	var f float64
   105  	f = f0
   106  	assert(f == f0, "f == f0")
   107  	f = fm1
   108  	assert(f == fm1, "f == fm1")
   109  	f = fhuge
   110  	assert(f == fhuge, "f == fhuge")
   111  	f = fhuge_1
   112  	assert(f == fhuge_1, "f == fhuge_1")
   113  	f = f1
   114  	assert(f == f1, "f == f1")
   115  	f = f3div2
   116  	assert(f == f3div2, "f == f3div2")
   117  	f = f1e3
   118  	assert(f == f1e3, "f == f1e3")
   119  }
   120  
   121  func main() {
   122  	ints()
   123  	floats()
   124  
   125  	assert(ctrue == true, "ctrue == true")
   126  	assert(cfalse == false, "cfalse == false")
   127  }