// run
// Copyright 2009 The Go Authors. All rights reserved.
// Use of this source code is governed by a BSD-style
// license that can be found in the LICENSE file.
// Test simple boolean and numeric constants.
package main
import "os"
const (
c0 = 0
cm1 = -1
chuge = 1 << 100
chuge_1 = chuge - 1
c1 = chuge >> 100
c3div2 = 3 / 2
c1e3 = 1e3
rsh1 = 1e100 >> 1000
rsh2 = 1e302 >> 1000
ctrue = true
cfalse = !ctrue
// Issue #34563
_ = string(int(123))
_ = string(rune(456))
)
const (
f0 = 0.0
fm1 = -1.
fhuge float64 = 1 << 100
fhuge_1 float64 = chuge - 1
f1 float64 = chuge >> 100
f3div2 = 3. / 2.
f1e3 float64 = 1e3
)
func assert(t bool, s string) {
if !t {
panic(s)
}
}
func ints() {
assert(c0 == 0, "c0")
assert(c1 == 1, "c1")
assert(chuge > chuge_1, "chuge")
assert(chuge_1+1 == chuge, "chuge 1")
assert(chuge+cm1+1 == chuge, "cm1")
assert(c3div2 == 1, "3/2")
assert(c1e3 == 1000, "c1e3 int")
assert(c1e3 == 1e3, "c1e3 float")
assert(rsh1 == 0, "rsh1")
assert(rsh2 == 9, "rsh2")
// verify that all (in range) are assignable as ints
var i int
i = c0
assert(i == c0, "i == c0")
i = cm1
assert(i == cm1, "i == cm1")
i = c1
assert(i == c1, "i == c1")
i = c3div2
assert(i == c3div2, "i == c3div2")
i = c1e3
assert(i == c1e3, "i == c1e3")
// verify that all are assignable as floats
var f float64
f = c0
assert(f == c0, "f == c0")
f = cm1
assert(f == cm1, "f == cm1")
f = chuge
assert(f == chuge, "f == chuge")
f = chuge_1
assert(f == chuge_1, "f == chuge_1")
f = c1
assert(f == c1, "f == c1")
f = c3div2
assert(f == c3div2, "f == c3div2")
f = c1e3
assert(f == c1e3, "f == c1e3")
}
func floats() {
assert(f0 == c0, "f0")
assert(f1 == c1, "f1")
// TODO(gri): exp/ssa/interp constant folding is incorrect.
if os.Getenv("GOSSAINTERP") == "" {
assert(fhuge == fhuge_1, "fhuge") // float64 can't distinguish fhuge, fhuge_1.
}
assert(fhuge_1+1 == fhuge, "fhuge 1")
assert(fhuge+fm1+1 == fhuge, "fm1")
assert(f3div2 == 1.5, "3./2.")
assert(f1e3 == 1000, "f1e3 int")
assert(f1e3 == 1.e3, "f1e3 float")
// verify that all (in range) are assignable as ints
var i int
i = f0
assert(i == f0, "i == f0")
i = fm1
assert(i == fm1, "i == fm1")
// verify that all are assignable as floats
var f float64
f = f0
assert(f == f0, "f == f0")
f = fm1
assert(f == fm1, "f == fm1")
f = fhuge
assert(f == fhuge, "f == fhuge")
f = fhuge_1
assert(f == fhuge_1, "f == fhuge_1")
f = f1
assert(f == f1, "f == f1")
f = f3div2
assert(f == f3div2, "f == f3div2")
f = f1e3
assert(f == f1e3, "f == f1e3")
}
func interfaces() {
var (
nilN interface{}
nilI *int
five = 5
_ = nil == interface{}(nil)
_ = interface{}(nil) == nil
)
ii := func(i1 interface{}, i2 interface{}) bool { return i1 == i2 }
ni := func(n interface{}, i int) bool { return n == i }
in := func(i int, n interface{}) bool { return i == n }
pi := func(p *int, i interface{}) bool { return p == i }
ip := func(i interface{}, p *int) bool { return i == p }
assert((interface{}(nil) == interface{}(nil)) == ii(nilN, nilN),
"for interface{}==interface{} compiler == runtime")
assert(((*int)(nil) == interface{}(nil)) == pi(nilI, nilN),
"for *int==interface{} compiler == runtime")
assert((interface{}(nil) == (*int)(nil)) == ip(nilN, nilI),
"for interface{}==*int compiler == runtime")
assert((&five == interface{}(nil)) == pi(&five, nilN),
"for interface{}==*int compiler == runtime")
assert((interface{}(nil) == &five) == ip(nilN, &five),
"for interface{}==*int compiler == runtime")
assert((5 == interface{}(5)) == ni(five, five),
"for int==interface{} compiler == runtime")
assert((interface{}(5) == 5) == in(five, five),
"for interface{}==int comipiler == runtime")
}
// Test that typed floating-point and complex arithmetic
// is computed with correct precision.
func truncate() {
const (
x30 = 1 << 30
x60 = 1 << 60
staticF32 = float32(x30) + 1 - x30
staticF64 = float64(x60) + 1 - x60
staticC64 = complex64(x30) + 1 - x30
staticC128 = complex128(x60) + 1 - x60
)
dynamicF32 := float32(x30)
dynamicF32 += 1
dynamicF32 -= x30
dynamicF64 := float64(x60)
dynamicF64 += 1
dynamicF64 -= x60
dynamicC64 := complex64(x30)
dynamicC64 += 1
dynamicC64 -= x30
dynamicC128 := complex128(x60)
dynamicC128 += 1
dynamicC128 -= x60
assert(staticF32 == 0, "staticF32 == 0")
assert(staticF64 == 0, "staticF64 == 0")
assert(dynamicF32 == 0, "dynamicF32 == 0")
assert(dynamicF64 == 0, "dynamicF64 == 0")
assert(staticC64 == 0, "staticC64 == 0")
assert(staticC128 == 0, "staticC128 == 0")
assert(dynamicC64 == 0, "dynamicC64 == 0")
assert(dynamicC128 == 0, "dynamicC128 == 0")
}
func main() {
ints()
floats()
interfaces()
truncate()
assert(ctrue == true, "ctrue == true")
assert(cfalse == false, "cfalse == false")
}
Directory Contents
Dirs: 24 × Files: 338
!"#$%&'(()*+,-./00123456789 t\
wIDATx ]ys 47Y ƒ - " Rv < f{Ɛ $k l L > L ~h^ 1 [ r G t& h
l F z3O Y ! p A(_g̷ E8 )S 8 c Kb"z ~ 5 J xAL WU < *
5 m;W a pB h ~P J
2 3 6 ҙ .Ƹ P i 4g
F R L P ΪK/D M v (a3
k J
Œ4N5* SH ` SdJ z O J Xՠ V> u ߱ BE&L b2 ?2` tX+ c CB A$ i b C ĀMB E : / # Dx &l =q Ty 0 \p I ( L Ǎ { e
4k ;`u^ｦ eP!( d { )T A 8 O;Ě n >;s6 ! :Nx `[S D HU ~ qJ F}
a g*D 49 / pn k h (t 8NxƐF _!r չ7
ZR R q/5") Ӎ NY 0 x sZ! o
fu , K"$ ? pg 㕣= 1» {h " fh7
y } +7 $ y
" X ą - G P u 4 m >J 5 L =V ' ^@I p ?MS xЌ XV P ! h "C NS9B8̢ ]!K e zA , ӏkbY !< XQ ٿyS| *" f { w 4@[S <
# 0 ! js [m =,~ o
"ݎ DHf Wo $ g ! Vԅ t mB /y Wf V4 c+@x? B ~u " xUN e 0 BĂ)
~J pz!
7 y6]l Ԥ@ P a< O /DHC `≻ N m"$ 0ObB }{ x AO FCG D R ^ "B { WDH UR l@ T
# +"d T ; 0 i D}. 7 ` ' ] w rE &S i ƕiTD EL P _ u h $ Ա FG wVD G L R Zf ' .!] J /ZR oGЍ s Mr Ĥ ʬ 3 Q [3 cL ` ^ p +
( F;# B 5 ' 2Y f [ ϶R0e } E 7
6M aۮ H <& n % L] E}Up x紉, Uw' Q Ǯշo k ވۙ 0N94 VX5 xEDE l D #֤ } C o )W : ^ s 9 bRf iX5u ཱི 4 :[ T 1. | [E 2ؽ Iy\ : o x K G 5
ylP ' uK E
ftb/i[3 .g _ [3M n
G, #NwQ5~
ؚ) | n =Ц"x qg gB ` 듘 ~ x w ?
?
R~ _ u. &V Q K˻ H C ( TN˄+ `C dA n B D 3"Z G ê ^k H_ /- ~ " R_ .8 Z_ 6@ o xg uP ? 3լ @7AM! E7^
- =V L x g-D0 CtmW 7 O G _ WD0 g C w1 r
d w : a | \ *" f nֳ ^ H# f L ` Z ۽hV }S F r0Ù Bć5r] @! NL iQ]{s^=4 d WD " " M;
t" 8 5 e dL| "-*st" ) SWD ?R[S e ooF 20.D ? bo =) A i o d ģ ZҰaO
@E =) i D a &ܟa CϞ y6 ,<%{^x%{f8? `iw^ ?/
M
* IEND B`