--- /dev/null
+// Copyright 2015 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 gc
+
+import (
+ "cmd/compile/internal/big"
+ "testing"
+)
+
+func TestExprcmp(t *testing.T) {
+ testdata := []struct {
+ a, b caseClause
+ want int
+ }{
+ // Non-constants.
+ {
+ caseClause{node: Nod(OXXX, nil, nil), typ: caseKindExprVar},
+ caseClause{node: Nod(OXXX, nil, nil), typ: caseKindExprConst},
+ +1,
+ },
+ {
+ caseClause{node: Nod(OXXX, nil, nil), typ: caseKindExprConst},
+ caseClause{node: Nod(OXXX, nil, nil), typ: caseKindExprVar},
+ -1,
+ },
+ // Type switches
+ {
+ caseClause{node: Nod(OXXX, Nodintconst(0), nil), typ: caseKindExprConst},
+ caseClause{node: Nod(OXXX, Nodbool(true), nil), typ: caseKindExprConst},
+ -1,
+ },
+ {
+ caseClause{node: Nod(OXXX, Nodbool(true), nil), typ: caseKindExprConst},
+ caseClause{node: Nod(OXXX, Nodintconst(1), nil), typ: caseKindExprConst},
+ +1,
+ },
+ {
+ caseClause{node: Nod(OXXX, &Node{Type: &Type{Etype: TBOOL, Vargen: 1}}, nil), typ: caseKindExprConst},
+ caseClause{node: Nod(OXXX, &Node{Type: &Type{Etype: TINT, Vargen: 0}}, nil), typ: caseKindExprConst},
+ +1,
+ },
+ {
+ caseClause{node: Nod(OXXX, &Node{Type: &Type{Etype: TBOOL, Vargen: 1}}, nil), typ: caseKindExprConst},
+ caseClause{node: Nod(OXXX, &Node{Type: &Type{Etype: TINT, Vargen: 1}}, nil), typ: caseKindExprConst},
+ -1,
+ },
+ {
+ caseClause{node: Nod(OXXX, &Node{Type: &Type{Etype: TBOOL, Vargen: 0}}, nil), typ: caseKindExprConst},
+ caseClause{node: Nod(OXXX, &Node{Type: &Type{Etype: TINT, Vargen: 1}}, nil), typ: caseKindExprConst},
+ -1,
+ },
+ // Constant values.
+ // CTFLT
+ {
+ caseClause{node: Nod(OXXX, nodlit(Val{&Mpflt{Val: *big.NewFloat(0.1)}}), nil), typ: caseKindExprConst},
+ caseClause{node: Nod(OXXX, nodlit(Val{&Mpflt{Val: *big.NewFloat(0.2)}}), nil), typ: caseKindExprConst},
+ -1,
+ },
+ {
+ caseClause{node: Nod(OXXX, nodlit(Val{&Mpflt{Val: *big.NewFloat(0.1)}}), nil), typ: caseKindExprConst},
+ caseClause{node: Nod(OXXX, nodlit(Val{&Mpflt{Val: *big.NewFloat(0.1)}}), nil), typ: caseKindExprConst},
+ 0,
+ },
+ {
+ caseClause{node: Nod(OXXX, nodlit(Val{&Mpflt{Val: *big.NewFloat(0.2)}}), nil), typ: caseKindExprConst},
+ caseClause{node: Nod(OXXX, nodlit(Val{&Mpflt{Val: *big.NewFloat(0.1)}}), nil), typ: caseKindExprConst},
+ +1,
+ },
+ // CTINT
+ {
+ caseClause{node: Nod(OXXX, Nodintconst(0), nil), typ: caseKindExprConst},
+ caseClause{node: Nod(OXXX, Nodintconst(1), nil), typ: caseKindExprConst},
+ -1,
+ },
+ {
+ caseClause{node: Nod(OXXX, Nodintconst(1), nil), typ: caseKindExprConst},
+ caseClause{node: Nod(OXXX, Nodintconst(1), nil), typ: caseKindExprConst},
+ 0,
+ },
+ {
+ caseClause{node: Nod(OXXX, Nodintconst(1), nil), typ: caseKindExprConst},
+ caseClause{node: Nod(OXXX, Nodintconst(0), nil), typ: caseKindExprConst},
+ +1,
+ },
+ // CTRUNE
+ {
+ caseClause{node: Nod(OXXX, nodlit(Val{&Mpint{Val: *big.NewInt('a'), Rune: true}}), nil), typ: caseKindExprConst},
+ caseClause{node: Nod(OXXX, nodlit(Val{&Mpint{Val: *big.NewInt('b'), Rune: true}}), nil), typ: caseKindExprConst},
+ -1,
+ },
+ {
+ caseClause{node: Nod(OXXX, nodlit(Val{&Mpint{Val: *big.NewInt('b'), Rune: true}}), nil), typ: caseKindExprConst},
+ caseClause{node: Nod(OXXX, nodlit(Val{&Mpint{Val: *big.NewInt('b'), Rune: true}}), nil), typ: caseKindExprConst},
+ 0,
+ },
+ {
+ caseClause{node: Nod(OXXX, nodlit(Val{&Mpint{Val: *big.NewInt('b'), Rune: true}}), nil), typ: caseKindExprConst},
+ caseClause{node: Nod(OXXX, nodlit(Val{&Mpint{Val: *big.NewInt('a'), Rune: true}}), nil), typ: caseKindExprConst},
+ +1,
+ },
+ // CTSTR
+ {
+ caseClause{node: Nod(OXXX, nodlit(Val{"ab"}), nil), typ: caseKindExprConst},
+ caseClause{node: Nod(OXXX, nodlit(Val{"abc"}), nil), typ: caseKindExprConst},
+ -1,
+ },
+ {
+ caseClause{node: Nod(OXXX, nodlit(Val{"abc"}), nil), typ: caseKindExprConst},
+ caseClause{node: Nod(OXXX, nodlit(Val{"xyz"}), nil), typ: caseKindExprConst},
+ -1,
+ },
+ {
+ caseClause{node: Nod(OXXX, nodlit(Val{"abc"}), nil), typ: caseKindExprConst},
+ caseClause{node: Nod(OXXX, nodlit(Val{"abc"}), nil), typ: caseKindExprConst},
+ 0,
+ },
+ {
+ caseClause{node: Nod(OXXX, nodlit(Val{"abc"}), nil), typ: caseKindExprConst},
+ caseClause{node: Nod(OXXX, nodlit(Val{"ab"}), nil), typ: caseKindExprConst},
+ +1,
+ },
+ {
+ caseClause{node: Nod(OXXX, nodlit(Val{"xyz"}), nil), typ: caseKindExprConst},
+ caseClause{node: Nod(OXXX, nodlit(Val{"abc"}), nil), typ: caseKindExprConst},
+ +1,
+ },
+ // Everything else should compare equal.
+ {
+ caseClause{node: Nod(OXXX, nodnil(), nil), typ: caseKindExprConst},
+ caseClause{node: Nod(OXXX, nodnil(), nil), typ: caseKindExprConst},
+ 0,
+ },
+ }
+ for i, d := range testdata {
+ got := exprcmp(&d.a, &d.b)
+ if d.want != got {
+ t.Errorf("%d: exprcmp(a, b) = %d; want %d", i, got, d.want)
+ t.Logf("\ta = caseClause{node: %#v, typ: %#v}", d.a.node, d.a.typ)
+ t.Logf("\tb = caseClause{node: %#v, typ: %#v}", d.b.node, d.b.typ)
+ }
+ }
+}