| // runoutput |
| |
| // Copyright 2017 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" |
| |
| // Check that expressions like (c*n + d*(n+k)) get correctly merged by |
| // the compiler into (c+d)*n + d*k (with c+d and d*k computed at |
| // compile time). |
| // |
| // The merging is performed by a combination of the multiplication |
| // merge rules |
| // (c*n + d*n) -> (c+d)*n |
| // and the distributive multiplication rules |
| // c * (d+x) -> c*d + c*x |
| |
| // Generate a MergeTest that looks like this: |
| // |
| // a8, b8 = m1*n8 + m2*(n8+k), (m1+m2)*n8 + m2*k |
| // if a8 != b8 { |
| // // print error msg and panic |
| // } |
| func makeMergeAddTest(m1, m2, k int, size string) string { |
| |
| model := " a" + size + ", b" + size |
| model += fmt.Sprintf(" = %%d*n%s + %%d*(n%s+%%d), (%%d+%%d)*n%s + (%%d*%%d)", size, size, size) |
| |
| test := fmt.Sprintf(model, m1, m2, k, m1, m2, m2, k) |
| test += fmt.Sprintf(` |
| if a%s != b%s { |
| fmt.Printf("MergeAddTest(%d, %d, %d, %s) failed\n") |
| fmt.Printf("%%d != %%d\n", a%s, b%s) |
| panic("FAIL") |
| } |
| `, size, size, m1, m2, k, size, size, size) |
| return test + "\n" |
| } |
| |
| // Check that expressions like (c*n - d*(n+k)) get correctly merged by |
| // the compiler into (c-d)*n - d*k (with c-d and d*k computed at |
| // compile time). |
| // |
| // The merging is performed by a combination of the multiplication |
| // merge rules |
| // (c*n - d*n) -> (c-d)*n |
| // and the distributive multiplication rules |
| // c * (d-x) -> c*d - c*x |
| |
| // Generate a MergeTest that looks like this: |
| // |
| // a8, b8 = m1*n8 - m2*(n8+k), (m1-m2)*n8 - m2*k |
| // if a8 != b8 { |
| // // print error msg and panic |
| // } |
| func makeMergeSubTest(m1, m2, k int, size string) string { |
| |
| model := " a" + size + ", b" + size |
| model += fmt.Sprintf(" = %%d*n%s - %%d*(n%s+%%d), (%%d-%%d)*n%s - (%%d*%%d)", size, size, size) |
| |
| test := fmt.Sprintf(model, m1, m2, k, m1, m2, m2, k) |
| test += fmt.Sprintf(` |
| if a%s != b%s { |
| fmt.Printf("MergeSubTest(%d, %d, %d, %s) failed\n") |
| fmt.Printf("%%d != %%d\n", a%s, b%s) |
| panic("FAIL") |
| } |
| `, size, size, m1, m2, k, size, size, size) |
| return test + "\n" |
| } |
| |
| func makeAllSizes(m1, m2, k int) string { |
| var tests string |
| tests += makeMergeAddTest(m1, m2, k, "8") |
| tests += makeMergeAddTest(m1, m2, k, "16") |
| tests += makeMergeAddTest(m1, m2, k, "32") |
| tests += makeMergeAddTest(m1, m2, k, "64") |
| tests += makeMergeSubTest(m1, m2, k, "8") |
| tests += makeMergeSubTest(m1, m2, k, "16") |
| tests += makeMergeSubTest(m1, m2, k, "32") |
| tests += makeMergeSubTest(m1, m2, k, "64") |
| tests += "\n" |
| return tests |
| } |
| |
| func main() { |
| fmt.Println(`package main |
| |
| import "fmt" |
| |
| var n8 int8 = 42 |
| var n16 int16 = 42 |
| var n32 int32 = 42 |
| var n64 int64 = 42 |
| |
| func main() { |
| var a8, b8 int8 |
| var a16, b16 int16 |
| var a32, b32 int32 |
| var a64, b64 int64 |
| `) |
| |
| fmt.Println(makeAllSizes(03, 05, 0)) // 3*n + 5*n |
| fmt.Println(makeAllSizes(17, 33, 0)) |
| fmt.Println(makeAllSizes(80, 45, 0)) |
| fmt.Println(makeAllSizes(32, 64, 0)) |
| |
| fmt.Println(makeAllSizes(7, 11, +1)) // 7*n + 11*(n+1) |
| fmt.Println(makeAllSizes(9, 13, +2)) |
| fmt.Println(makeAllSizes(11, 16, -1)) |
| fmt.Println(makeAllSizes(17, 9, -2)) |
| |
| fmt.Println("}") |
| } |