URL https://opencores.org/ocsvn/openrisc/openrisc/trunk

Subversion Repositories openrisc

[/] [openrisc/] [trunk/] [gnu-dev/] [or1k-gcc/] [gcc/] [testsuite/] [go.test/] [test/] [bench/] [garbage/] [peano.go] - Blame information for rev 700

Details | Compare with Previous | View Log


// $G $F.go && $L $F.$A && ./$A.out
 
// 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.
 
package main
 
import (
        "fmt"
        "runtime"
        "time"
)
 
type Number struct {
        next *Number
}
 
// -------------------------------------
// Peano primitives
 
func zero() *Number { return nil }
 
func is_zero(x *Number) bool { return x == nil }
 
func add1(x *Number) *Number {
        e := new(Number)
        e.next = x
        return e
}
 
func sub1(x *Number) *Number { return x.next }
 
func add(x, y *Number) *Number {
        if is_zero(y) {
                return x
        }
 
        return add(add1(x), sub1(y))
}
 
func mul(x, y *Number) *Number {
        if is_zero(x) || is_zero(y) {
                return zero()
        }
 
        return add(mul(x, sub1(y)), x)
}
 
func fact(n *Number) *Number {
        if is_zero(n) {
                return add1(zero())
        }
 
        return mul(fact(sub1(n)), n)
}
 
// -------------------------------------
// Helpers to generate/count Peano integers
 
func gen(n int) *Number {
        if n > 0 {
                return add1(gen(n - 1))
        }
 
        return zero()
}
 
func count(x *Number) int {
        if is_zero(x) {
                return 0
        }
 
        return count(sub1(x)) + 1
}
 
func check(x *Number, expected int) {
        var c = count(x)
        if c != expected {
                panic(fmt.Sprintf("error: found %d; expected %d", c, expected))
        }
}
 
// -------------------------------------
// Test basic functionality
 
func verify() {
        check(zero(), 0)
        check(add1(zero()), 1)
        check(gen(10), 10)
 
        check(add(gen(3), zero()), 3)
        check(add(zero(), gen(4)), 4)
        check(add(gen(3), gen(4)), 7)
 
        check(mul(zero(), zero()), 0)
        check(mul(gen(3), zero()), 0)
        check(mul(zero(), gen(4)), 0)
        check(mul(gen(3), add1(zero())), 3)
        check(mul(add1(zero()), gen(4)), 4)
        check(mul(gen(3), gen(4)), 12)
 
        check(fact(zero()), 1)
        check(fact(add1(zero())), 1)
        check(fact(gen(5)), 120)
}
 
// -------------------------------------
// Factorial
 
func main() {
        t0 := time.Now()
        verify()
        for i := 0; i <= 9; i++ {
                print(i, "! = ", count(fact(gen(i))), "\n")
        }
        runtime.GC()
        t1 := time.Now()
 
        gcstats("BenchmarkPeano", 1, t1.Sub(t0))
}

Line No.	Rev	Author	Line
1	700	jeremybenn	`// $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 (`
10			`"fmt"`
11			`"runtime"`
12			`"time"`
13			`)`
14
15			`type Number struct {`
16			`next *Number`
17			`}`
18
19			`// -------------------------------------`
20			`// Peano primitives`
21
22			`func zero() *Number { return nil }`
23
24			`func is_zero(x *Number) bool { return x == nil }`
25
26			`func add1(x Number) Number {`
27			`e := new(Number)`
28			`e.next = x`
29			`return e`
30			`}`
31
32			`func sub1(x Number) Number { return x.next }`
33
34			`func add(x, y Number) Number {`
35			`if is_zero(y) {`
36			`return x`
37			`}`
38
39			`return add(add1(x), sub1(y))`
40			`}`
41
42			`func mul(x, y Number) Number {`
43			`if is_zero(x) \|\| is_zero(y) {`
44			`return zero()`
45			`}`
46
47			`return add(mul(x, sub1(y)), x)`
48			`}`
49
50			`func fact(n Number) Number {`
51			`if is_zero(n) {`
52			`return add1(zero())`
53			`}`
54
55			`return mul(fact(sub1(n)), n)`
56			`}`
57
58			`// -------------------------------------`
59			`// Helpers to generate/count Peano integers`
60
61			`func gen(n int) *Number {`
62			`if n > 0 {`
63			`return add1(gen(n - 1))`
64			`}`
65
66			`return zero()`
67			`}`
68
69			`func count(x *Number) int {`
70			`if is_zero(x) {`
71			`return 0`
72			`}`
73
74			`return count(sub1(x)) + 1`
75			`}`
76
77			`func check(x *Number, expected int) {`
78			`var c = count(x)`
79			`if c != expected {`
80			`panic(fmt.Sprintf("error: found %d; expected %d", c, expected))`
81			`}`
82			`}`
83
84			`// -------------------------------------`
85			`// Test basic functionality`
86
87			`func verify() {`
88			`check(zero(), 0)`
89			`check(add1(zero()), 1)`
90			`check(gen(10), 10)`
91
92			`check(add(gen(3), zero()), 3)`
93			`check(add(zero(), gen(4)), 4)`
94			`check(add(gen(3), gen(4)), 7)`
95
96			`check(mul(zero(), zero()), 0)`
97			`check(mul(gen(3), zero()), 0)`
98			`check(mul(zero(), gen(4)), 0)`
99			`check(mul(gen(3), add1(zero())), 3)`
100			`check(mul(add1(zero()), gen(4)), 4)`
101			`check(mul(gen(3), gen(4)), 12)`
102
103			`check(fact(zero()), 1)`
104			`check(fact(add1(zero())), 1)`
105			`check(fact(gen(5)), 120)`
106			`}`
107
108			`// -------------------------------------`
109			`// Factorial`
110
111			`func main() {`
112			`t0 := time.Now()`
113			`verify()`
114			`for i := 0; i <= 9; i++ {`
115			`print(i, "! = ", count(fact(gen(i))), "\n")`
116			`}`
117			`runtime.GC()`
118			`t1 := time.Now()`
119
120			`gcstats("BenchmarkPeano", 1, t1.Sub(t0))`
121			`}`

Browse

Tools

Subversion Repositories openrisc

[/] [openrisc/] [trunk/] [gnu-dev/] [or1k-gcc/] [gcc/] [testsuite/] [go.test/] [test/] [bench/] [garbage/] [peano.go] - Blame information for rev 700