diff options
| author | Russ Cox <rsc@golang.org> | 2011-05-31 15:05:40 -0400 |
|---|---|---|
| committer | Russ Cox <rsc@golang.org> | 2011-05-31 15:05:40 -0400 |
| commit | 5ab096d0308f7a3f8a59286e2a4123af7e26e3ae (patch) | |
| tree | cad2c6bed99760d382d6637648827e5ccbc8fb7e | |
| parent | 9b82408f6df2dde74828f9c945112ef554f67397 (diff) | |
| download | go-5ab096d0308f7a3f8a59286e2a4123af7e26e3ae.tar.gz go-5ab096d0308f7a3f8a59286e2a4123af7e26e3ae.zip | |
gc: implement new shift rules
The change is that 1.0<<2 is now okay.
R=ken2
CC=golang-dev
https://golang.org/cl/4524084
| -rw-r--r-- | src/cmd/gc/const.c | 4 | ||||
| -rw-r--r-- | test/golden.out | 15 | ||||
| -rw-r--r-- | test/shift2.go | 2 |
3 files changed, 5 insertions, 16 deletions
diff --git a/src/cmd/gc/const.c b/src/cmd/gc/const.c index a36ec68c0a..8fe9072b23 100644 --- a/src/cmd/gc/const.c +++ b/src/cmd/gc/const.c @@ -103,6 +103,8 @@ convlit1(Node **np, Type *t, int explicit) case ORSH: convlit1(&n->left, t, explicit && isideal(n->left->type)); t = n->left->type; + if(t != T && t->etype == TIDEAL && n->val.ctype != CTINT) + n->val = toint(n->val); if(t != T && !isint[t->etype]) { yyerror("invalid operation: %#N (shift of type %T)", n, t); t = T; @@ -514,6 +516,8 @@ evconst(Node *n) n->right = nr; if(nr->type && (issigned[nr->type->etype] || !isint[nr->type->etype])) goto illegal; + nl->val = toint(nl->val); + nr->val = toint(nr->val); break; } diff --git a/test/golden.out b/test/golden.out index ba60fbfed1..4400e41dd1 100644 --- a/test/golden.out +++ b/test/golden.out @@ -40,21 +40,6 @@ hello, world -9223372036854775808 9223372036854775807 -=========== ./shift1.go -BUG: errchk: ./shift1.go:33: error message does not match 'overflow' -errchk: ./shift1.go:34: error message does not match 'overflow' -errchk: ./shift1.go:35: error message does not match 'overflow' - -=========== ./shift2.go -./shift2.go:22: illegal constant expression: ideal LSH uint -./shift2.go:35: illegal constant expression: ideal LSH uint -./shift2.go:36: illegal constant expression: ideal LSH uint -./shift2.go:36: invalid operation: 2 << c (shift of type float64) -./shift2.go:39: illegal constant expression: ideal LSH uint -./shift2.go:40: illegal constant expression: ideal LSH uint -./shift2.go:40: invalid operation: 2 << c (shift of type float64) -./shift2.go:40: cannot use 2 << c as type interface { } in function argument - =========== ./sigchld.go survived SIGCHLD diff --git a/test/shift2.go b/test/shift2.go index b08b37b7f9..ec4c7addc2 100644 --- a/test/shift2.go +++ b/test/shift2.go @@ -1,4 +1,4 @@ -// $G $D/$F.go && $L $F.$A && ./$A.out +// $G $D/$F.go || echo BUG: shift2 // Copyright 2011 The Go Authors. All rights reserved. // Use of this source code is governed by a BSD-style |