Katie Hockman
363f2f3df9
[dev.fuzz] testing: allow -fuzzminimizetime to be 0
...
Fixes golang/go#48321
Change-Id: I1547379eb7a703f7f3c4594d27833eb3587796a0
Reviewed-on: https://go-review.googlesource.com/c/go/+/349089
Trust: Katie Hockman <katie@golang.org>
Run-TryBot: Katie Hockman <katie@golang.org>
TryBot-Result: Go Bot <gobot@golang.org>
Reviewed-by: Jay Conrod <jayconrod@google.com>
2021-09-10 17:46:52 +00:00
WANG Xuerui
cf2fe5d6f1
doc/asm: fix HTML markup
...
Change-Id: I33bde4835d3b83fafd55beea483f6236c4c62840
Reviewed-on: https://go-review.googlesource.com/c/go/+/338990
Reviewed-by: Ian Lance Taylor <iant@golang.org>
Trust: Than McIntosh <thanm@google.com>
2021-09-10 17:15:37 +00:00
Florin Papa
1bf2cd1291
debug/elf: retain original error message when getSymbols fails.
...
The original error is currently discarded, and that makes it difficult
to know what failed, in case we want to retry only certain errors.
Change-Id: Id7e927ec242464249c4dfa5cda0f264adef3c898
Reviewed-on: https://go-review.googlesource.com/c/go/+/317851
Run-TryBot: Ian Lance Taylor <iant@golang.org>
TryBot-Result: Go Bot <gobot@golang.org>
Reviewed-by: Ian Lance Taylor <iant@golang.org>
Trust: Than McIntosh <thanm@google.com>
2021-09-10 17:13:40 +00:00
Josh Bleecher Snyder
5a4b9f9494
time: reference -tags=timetzdata in testing panic
...
This will spare anyone who hits it having to search for the workaround.
Change-Id: Iff0d449212f2675ac78e30ae5ffc8efb4d924088
Reviewed-on: https://go-review.googlesource.com/c/go/+/334611
Trust: Josh Bleecher Snyder <josharian@gmail.com>
Run-TryBot: Josh Bleecher Snyder <josharian@gmail.com>
TryBot-Result: Go Bot <gobot@golang.org>
Reviewed-by: Ian Lance Taylor <iant@golang.org>
2021-09-10 17:11:39 +00:00
Ethan Reesor
025308fe08
testing: increase alternation precedence
...
Updates handling of go test flags -run and -bench to give alternation
precendence over the / delimiter. Currently, `A/B|C/D` is effectively
`A/(B|C)/D` - with this change, it changes to effectively `(A/B)|(C/D)`.
Fixes #39904
Change-Id: Iebe5efd8d91c72eed6351bd63b4689b0fcb0ed0f
Reviewed-on: https://go-review.googlesource.com/c/go/+/343883
Run-TryBot: Ian Lance Taylor <iant@golang.org>
TryBot-Result: Go Bot <gobot@golang.org>
Reviewed-by: Ian Lance Taylor <iant@golang.org>
Trust: Than McIntosh <thanm@google.com>
2021-09-10 17:09:57 +00:00
Robert Griesemer
5a94a90d84
cmd/compile/internal/types2: better error message for invalid array decls
...
Fixes #43527 .
Change-Id: I988a4d49f2f54b4b1741688fb52a55bf313d39e1
Reviewed-on: https://go-review.googlesource.com/c/go/+/348731
Trust: Robert Griesemer <gri@golang.org>
Reviewed-by: Robert Findley <rfindley@google.com>
2021-09-10 16:51:52 +00:00
Robert Griesemer
da1aa65053
cmd/compile/internal/syntax: correct follow token for type parameter lists
...
When parsing a type parameter declaration, parts of the code still
expected a ) as closing token. Use the correct follow token ) or ]
depending on parameter list kind.
Also, consistently use tokstring (not tok.String()) for user-facing
(error) messages.
Follow-up on comment in CL 348730.
For #43527 .
Change-Id: Ib1d4feb526771a1668a54c3bb7a671f6c8a65940
Reviewed-on: https://go-review.googlesource.com/c/go/+/348742
Trust: Robert Griesemer <gri@golang.org>
Run-TryBot: Robert Griesemer <gri@golang.org>
TryBot-Result: Go Bot <gobot@golang.org>
Reviewed-by: Robert Findley <rfindley@google.com>
2021-09-10 16:08:21 +00:00
Katie Hockman
b38e853d04
[dev.fuzz] testing: move corpus from testdata/corpus to testdata/fuzz
...
Fixes golang/go#48128
Change-Id: I04deb17226ff5d5dfcbe408fe089f400d4d3836f
Reviewed-on: https://go-review.googlesource.com/c/go/+/349053
Trust: Katie Hockman <katie@golang.org>
Run-TryBot: Katie Hockman <katie@golang.org>
TryBot-Result: Go Bot <gobot@golang.org>
Reviewed-by: Jay Conrod <jayconrod@google.com>
2021-09-10 15:20:44 +00:00
Katie Hockman
213d9f9a38
[dev.fuzz] internal/fuzz: improve warning message when not instrumented
...
Change-Id: I005f66c965014b699de7e22750f417b28a32c03f
Reviewed-on: https://go-review.googlesource.com/c/go/+/349052
Trust: Katie Hockman <katie@golang.org>
Run-TryBot: Katie Hockman <katie@golang.org>
TryBot-Result: Go Bot <gobot@golang.org>
Reviewed-by: Jay Conrod <jayconrod@google.com>
2021-09-10 15:20:38 +00:00
Zheng Xu
96ab854ab0
cmd/compile/internal: better AST line highlight in ssa.html
...
We tend to set div class with the line number in HTML AST nodes. So that
the AST nodes can be highlighted with corresponding source and ssa ir.
The pure AST text dump is created first. And then it is parsed and
written to the HTML file.
CL 275785 changed the format of the line information in AST node dump,
which makes the HTMLWriter fail to parse the line information.
This CL updates the code in HTMLWriter to align with the format of AST
node dump.
Fix #48133
Change-Id: I2b56fc5e3e9771456d91f22caf23a427c235eb12
Reviewed-on: https://go-review.googlesource.com/c/go/+/347269
Reviewed-by: Cherry Mui <cherryyz@google.com>
Trust: Than McIntosh <thanm@google.com>
2021-09-10 14:03:35 +00:00
Hajime Hoshi
90c5660616
embed: guarantee the returned file of FS.Open implements io.Seeker
...
Fixes golang/go#45745
Change-Id: Ib49a9605a38074f544a5d28116862e191cea8c0f
Reviewed-on: https://go-review.googlesource.com/c/go/+/313352
Run-TryBot: Hajime Hoshi <hajimehoshi@gmail.com>
TryBot-Result: Go Bot <gobot@golang.org>
Reviewed-by: Ian Lance Taylor <iant@golang.org>
Trust: Than McIntosh <thanm@google.com>
2021-09-10 13:30:50 +00:00
Michael Munday
c69f5c0d76
cmd/compile: add support for Abs and Copysign intrinsics on riscv64
...
Also, add the FABSS and FABSD pseudo instructions to the assembler.
The compiler could use FSGNJX[SD] directly but there doesn't seem
to be much advantage to doing so and the pseudo instructions are
easier to understand.
Change-Id: Ie8825b8aa8773c69cc4f07a32ef04abf4061d80d
Reviewed-on: https://go-review.googlesource.com/c/go/+/348989
Trust: Michael Munday <mike.munday@lowrisc.org>
Run-TryBot: Michael Munday <mike.munday@lowrisc.org>
TryBot-Result: Go Bot <gobot@golang.org>
Reviewed-by: Joel Sing <joel@sing.id.au>
2021-09-10 10:45:59 +00:00
fanzha02
2091bd3f26
cmd/compile: simiplify arm64 bitfield optimizations
...
In some rewrite rules for arm64 bitfield optimizations, the
bitfield lsb value and the bitfield width value are related
to datasize, some of them use datasize directly to check the
bitfield lsb value is valid, to get the bitfiled width value,
but some of them call isARM64BFMask() and arm64BFWidth()
functions. In order to be consistent, this patch changes them
all to use datasize.
Besides, this patch sorts the codegen test cases.
Run the "toolstash-check -all" command and find one inconsistent code
is as the following.
new: src/math/fma.go:104 BEQ 247
master: src/math/fma.go:104 BEQ 248
The above inconsistence is due to this patch changing the range of the
field lsb value in "UBFIZ" optimization rules from "lc+(32|16|8)<64" to
"lc<64", so that the following code is generated as "UBFIZ". The logical
of changed code is still correct.
The code of src/math/fma.go:160:
const uvinf = 0x7FF0000000000000
func FMA(a, b uint32) float64 {
ps := a+b
return Float64frombits(uint64(ps)<<63 | uvinf)
}
The new assembly code:
TEXT "".FMA(SB), LEAF|NOFRAME|ABIInternal, $0-16
MOVWU "".a(FP), R0
MOVWU "".b+4(FP), R1
ADD R1, R0, R0
UBFIZ $63, R0, $1, R0
ORR $9218868437227405312, R0, R0
MOVD R0, "".~r2+8(FP)
RET (R30)
The master assembly code:
TEXT "".FMA(SB), LEAF|NOFRAME|ABIInternal, $0-16
MOVWU "".a(FP), R0
MOVWU "".b+4(FP), R1
ADD R1, R0, R0
MOVWU R0, R0
LSL $63, R0, R0
ORR $9218868437227405312, R0, R0
MOVD R0, "".~r2+8(FP)
RET (R30)
Change-Id: I9061104adfdfd3384d0525327ae1e5c8b0df5c35
Reviewed-on: https://go-review.googlesource.com/c/go/+/265038
Trust: fannie zhang <Fannie.Zhang@arm.com>
Run-TryBot: fannie zhang <Fannie.Zhang@arm.com>
TryBot-Result: Go Bot <gobot@golang.org>
Reviewed-by: Cherry Mui <cherryyz@google.com>
2021-09-10 02:44:36 +00:00
Robert Griesemer
b32209d22d
cmd/compile: fix test case for unified IR (fix build)
...
For #48301 .
Change-Id: Ie5f57dcce86773c06c5140abf13a6cfff79eb323
Reviewed-on: https://go-review.googlesource.com/c/go/+/348743
Trust: Robert Griesemer <gri@golang.org>
Run-TryBot: Robert Griesemer <gri@golang.org>
Reviewed-by: Matthew Dempsky <mdempsky@google.com>
TryBot-Result: Go Bot <gobot@golang.org>
2021-09-09 23:18:18 +00:00
Robert Griesemer
1a708bcf1d
cmd/compile: don't crash while reporting invalid alias cycle
...
Add a missing nil check in the formatting code for expression
nodes. Matches the nil checks in the same code.
Fixes #48301 .
Change-Id: Ia9bfd3535254a94996ee190b544d95e15433d252
Reviewed-on: https://go-review.googlesource.com/c/go/+/348740
Trust: Robert Griesemer <gri@golang.org>
Reviewed-by: Matthew Dempsky <mdempsky@google.com>
2021-09-09 22:20:16 +00:00
Ian Lance Taylor
426ff3746f
cmd/cgo, runtime/cgo: avoid GCC/clang conversion warnings
...
Add explicit conversions to avoid warnings from -Wsign-conversion and
-Wshorten-64-to-32. Also avoid runtime errors from -fsanitize=undefined.
Fixes #48121
Change-Id: I29dc8d976884fc42826392c10f1e1759bb1a3989
Reviewed-on: https://go-review.googlesource.com/c/go/+/348739
Trust: Ian Lance Taylor <iant@golang.org>
Run-TryBot: Ian Lance Taylor <iant@golang.org>
TryBot-Result: Go Bot <gobot@golang.org>
Reviewed-by: Cherry Mui <cherryyz@google.com>
2021-09-09 22:18:05 +00:00
Robert Griesemer
73483df406
cmd/compile/internal/syntax: better error message for missing type constraint
...
For #43527 .
Change-Id: I8c706e68572286d5675383eb2dfd75b5618b646b
Reviewed-on: https://go-review.googlesource.com/c/go/+/348730
Trust: Robert Griesemer <gri@golang.org>
Run-TryBot: Robert Griesemer <gri@golang.org>
TryBot-Result: Go Bot <gobot@golang.org>
Reviewed-by: Robert Findley <rfindley@google.com>
2021-09-09 22:17:54 +00:00
korzhao
e1c3f2158f
time: propagate "," separator for fractional seconds into Format
...
In CL 300996 that fixed issue #6189 , we made Parse recognize
"," as a separator for fractional seconds.
However, we didn't modify Format to propagate the separator
verbatim from Parse. Without this change, we break prior
functionality that relied on a comma being used in Format.
Fixes #48037
Change-Id: I6565a25e8657ca3747a58b25acba58f27cdcddc0
Reviewed-on: https://go-review.googlesource.com/c/go/+/345438
Run-TryBot: Ian Lance Taylor <iant@golang.org>
TryBot-Result: Go Bot <gobot@golang.org>
Reviewed-by: Ian Lance Taylor <iant@golang.org>
Reviewed-by: Emmanuel Odeke <emmanuel@orijtech.com>
Trust: Cherry Mui <cherryyz@google.com>
2021-09-09 22:17:48 +00:00
korzhao
c981874a5a
cmd/compile: fix implement for closure in a global assignment
...
If closure in a global assignment and has a method receiver.
We should assign receiver as a global variable, not a local variable.
Fixes #48225
Change-Id: I8f65dd6e8baf66a5eff24028d28ad0a594091add
Reviewed-on: https://go-review.googlesource.com/c/go/+/348512
Run-TryBot: Dan Scales <danscales@google.com>
TryBot-Result: Go Bot <gobot@golang.org>
Reviewed-by: Dan Scales <danscales@google.com>
Reviewed-by: Keith Randall <khr@golang.org>
Trust: Dan Scales <danscales@google.com>
2021-09-09 21:28:56 +00:00
Paul E. Murphy
2c4f389c02
cmd/link: enable internal linker in more cases for ppc64le
...
The internal linker is capable of linking the ppc64le linux
race detector and approved cgo packages.
Likewise, ppc64/linux and ppc64/aix do not support the race
detector. Thus, extra code to enforce external linking when
using the race detector on ppc64/ppc64le can be removed
entirely.
Fixes #21961
Change-Id: I10db14f65ee616ee3291e17409e8333e3af7d4df
Reviewed-on: https://go-review.googlesource.com/c/go/+/304459
Run-TryBot: Paul Murphy <murp@ibm.com>
TryBot-Result: Go Bot <gobot@golang.org>
Trust: Lynn Boger <laboger@linux.vnet.ibm.com>
Reviewed-by: Cherry Mui <cherryyz@google.com>
2021-09-09 19:43:39 +00:00
Matthew Dempsky
fb84e99eb7
test: add compiler regress tests for #46461
...
gri@ reports that types2 now correctly handles when type parameters
recursively refer back to the parameterized type, so we might as well
add tests to exercise that. Unified IR also correctly handles
importing and exporting these types, but -G=3 currently does not.
Updates #46461 .
Change-Id: I272102aa08c40c980b9aeeca9f834291dfbbcc3e
Reviewed-on: https://go-review.googlesource.com/c/go/+/348738
Trust: Matthew Dempsky <mdempsky@google.com>
Run-TryBot: Matthew Dempsky <mdempsky@google.com>
TryBot-Result: Go Bot <gobot@golang.org>
Reviewed-by: Robert Griesemer <gri@golang.org>
2021-09-09 19:37:25 +00:00
Dan Scales
b9e1a24581
cmd/compile: fix case where init info of OAS node is dropped
...
When an OAS node is converted to an OSELRECV2 node in tcSelect(), the
possible DCL node in the Init field was being dropped, since a
completely new node was being created and the Init field was not set. I
don't expect n.Init() to be set for the ORECV case, but the code now
deals with that too.
Fixed bug in both tcSelect() and transformSelect().
Fixes #48289
Change-Id: I09918a70f7cbaa4aa9a17546169f908a8787df15
Reviewed-on: https://go-review.googlesource.com/c/go/+/348569
Trust: Dan Scales <danscales@google.com>
Run-TryBot: Dan Scales <danscales@google.com>
TryBot-Result: Go Bot <gobot@golang.org>
Reviewed-by: Cuong Manh Le <cuong.manhle.vn@gmail.com>
Reviewed-by: Matthew Dempsky <mdempsky@google.com>
Reviewed-by: Robert Griesemer <gri@golang.org>
2021-09-09 19:17:02 +00:00
Katie Hockman
7c648e2acb
[dev.fuzz] internal/fuzz: avoid incorrect bytes modification during minimization
...
During minimization, the "canonical inputs" (vals) are updated
as viable minimized values are found. Previously, these bytes
could be changed later during minimization. This patch updates
the minimization code to revert the bytes back when a candidate
doesn't pass the minimization checks.
Another approach was in CL 340630 which would make a new allocation
each time a candidate was attempted. This will get very expensive
very quickly, as minimization can run several thousand times for every
new crash and every newly discovered interesting input.
Credit to Steven Johnstone (steven.james.johnstone@gmail.com ) for the
"single_bytes" test which was added to minimize_test.go.
Fixes golang/go#47587
Change-Id: Ibd12f73458ed812bab7d3f1d4118854a54fc4d0a
Reviewed-on: https://go-review.googlesource.com/c/go/+/348610
Trust: Katie Hockman <katie@golang.org>
Trust: Jay Conrod <jayconrod@google.com>
Run-TryBot: Katie Hockman <katie@golang.org>
Reviewed-by: Jay Conrod <jayconrod@google.com>
2021-09-09 17:28:03 +00:00
Robert Findley
f9271e4f85
go/types, types2: rename RParams -> RecvTypeParams
...
To be consistent with CL 348376, spell out 'RecvTypeParams' in go/types
and types2 API.
Updates #47916
Change-Id: If8b3fd4274ccb944bd0ff04d7007e94e5fba61c1
Reviewed-on: https://go-review.googlesource.com/c/go/+/348810
Trust: Robert Findley <rfindley@google.com>
Run-TryBot: Robert Findley <rfindley@google.com>
TryBot-Result: Go Bot <gobot@golang.org>
Reviewed-by: Robert Griesemer <gri@golang.org>
2021-09-09 17:02:45 +00:00
Michael Anthony Knyszek
ea434450c2
reflect: add hooks for dealing with narrow width floats
...
Currently on amd64 and arm64, float32 values just live in the bottom 32
bits of the register, so reflect simply places them there in a RegArgs
for reflectcall to load them. This works fine because both of these
platforms don't care what the upper 32 bits are, and have instructions
to operate on float32 values specifically that we use. In sum, the
representation of the float32 in memory is identical to that of the
representation in a register.
On other platforms, however, the representation of FP values differ
depending on whether they're in memory or in a register. For instance,
on ppc64, all floating point values get promoted to a float64 when
loaded to a register (i.e. there's only one set of FP instructions). As
another example, on riscv64, narrow-width floats in registers need to be
NaN-boxed.
What all this means is that for supporting the register ABI on these
platforms, reflect needs to do a little extra work to ensure that the
representation of FP values in a RegArgs matches the representation it
takes on in a register. For this purpose, this change abstracts away the
action of storing values into a RegArgs a little bit and adds a
platform-specific hook which currently does nothing but copy the value.
For #40724 .
Change-Id: I65dcc7d86d5602a584f86026ac204564617f4c5a
Reviewed-on: https://go-review.googlesource.com/c/go/+/347566
Trust: Michael Knyszek <mknyszek@google.com>
Run-TryBot: Michael Knyszek <mknyszek@google.com>
TryBot-Result: Go Bot <gobot@golang.org>
Reviewed-by: Cherry Mui <cherryyz@google.com>
2021-09-09 16:48:19 +00:00
Damien Neil
a53e3d5f88
net: deprecate (net.Error).Temporary
...
Fixes #45729 .
Change-Id: I819dd0cc79fc23baac46cafd78bb80f5133c992b
Reviewed-on: https://go-review.googlesource.com/c/go/+/340261
Trust: Damien Neil <dneil@google.com>
Trust: Bryan C. Mills <bcmills@google.com>
Run-TryBot: Damien Neil <dneil@google.com>
TryBot-Result: Go Bot <gobot@golang.org>
Reviewed-by: Ian Lance Taylor <iant@golang.org>
2021-09-09 16:32:28 +00:00
Jay Conrod
5abfd2379b
[dev.fuzz] all: merge master ( 65f0d24) into dev.fuzz
...
Conflicts:
- api/next.txt
- src/cmd/go/alldocs.go
- src/cmd/go/internal/test/test.go
Merge List:
+ 2021-09-08 65f0d24f7337c9552e06c8d4fe2adcd419f9c61212eb7331b938c2e08cbdcb9ccd494ba1a6540bf1409434d623054710ce4673a062c3e79581d891ab82142573471da64686f8fdc207242064bdad2011929572307950c69cc3a9c50d811c7af030043e37da790cccc5f5bdbf311cbab79dd362963218cc9c3fff213ac2b606739be6b5e33a50fe07f623063da9a01a3fbddcf354577480783558b023f4f0db68d92101f452903958d2f56640171914e581ec07ee81188661f12a4845257fbca8c6ffa221de6bc4636226020c2fa1938435d620a71c9a1decfff58fb8c7f09eeb137b69ddc17143b05173a27619a4528d1b2d794ca39133245be728dae3defb37e9c1d6fe2d90df91a85c224ec921ba66d62b685ec298d7b00b663109248a01010c269cb5716f004957976b1ad9244f8b6404d8d2496052aef05498ab7c904bf217910ed4ff9f69a44308065f380815a8aa6cfa6d58244eee019633195ae17609b50701acc2957bc92a463a22ceead3fe0dba08588e6036d01388b04f782aa42255d8b156773c014a9720f937d45328674fb79569d2b8420baf464591f49938a35c5c98c090ed54114969107e73ce08e2519ded6705191e0217e9d148d3d13d62c49a840b4292c91ae7ddc2353db4888a059afbf826671bd35fab05df4c625d882872496ba50bfd6fcea688859f3cd850f38d04055e0f8edbdcea51e223c2711e1c8224592ee433f56c5f0282428f397bc1185670ff4ae5717f337d1d5a687eeaf1faf9c7d8fe2dd7b770de62ba72b353f4e24599dd36ac2214fa1a9807906d5cd1b847dc0df6df17e13c8c9e1e442d98a4b4bcb2f09cd7175e9ba0b1bd580987cd58d15a75e0701f83a8c16cbb0b5117387637345b6e78d0f8c870ae2b2dc01ab93581e47daed59d172a891470fbf746121306d3144e0b1f6ef27d6a23b068152359fd605d1aaea2ded10d75a93920d6f208f118d145a5d384ebde607622e41c843342aa5f51b06cfe9b25437362ccec86fa510d248f4c0206608250141c9a5f0d821add61120c634caf9009a9899da7ccab58bdc1bef8a0b602daea1b7b38dd8e2556c3856d5221d0b306afa29d9aad7af29abccd8af4cd001b576df3aac4ae5afa555428d7a43e8912044550ab0e010817714ef371b30f32ef4cb2f7765fb177163bc81fa001a7a9377183d082efc0540368ecdc2c7072c003ef8294f2a039516a35e075124f0dedca7139eb1cc3f4acdea4f9f7220bc44220bc44a4c67f7e1667f7e16bcc2c60a99f72d350a66532d7e2e2ec2bc92759978362f88b6dc8e7eee5e265f153b6739b967a8017f7af80af22b503db2c2413c9e05fdcf7eb6a07fcf938369837791f8d4562dede83ef67ac5e6a7e95e6a7e9b86166b691b65d6bdae33e9770df2e18da6ff433d6a4f2620285d0ac64f6d704068fb6c21bf0bc4122f4158e88f64647bef6c596cf1d5d0fa5baf60d4723d667671ad4f2ebfe34bd2f002cb39de23549a393b523caf4108d4cc20ca109c13b64fc2f96e6099b819085e1fcf8857ed37b8dedf741b99dab0fde1c934b9754cdef1f105d863f89fec2f96e686f5b643811554a9f0cec29daa55b21d1e6798795ffb1cdf860dd1ff0554b53bd97763577bba460499cd70c69d830f98b6111eb8eeb1bff1dbe1a6934778157960d7f22540abf76fa34678c670a7f00ae236b9e3f883e3081f817da8486ced8b0aeec6dbfe0f457ecc7f0f1d8ea1da34fbb5c86667a6d64fed624386606029fe5c7f122baf2866956c7e354d9d1c1a14781ec457418b47586ee89225a29d7e5472b8fcc6143605d5e50c3db5d0c2840da19585826fa6416bde023bd6845965c96d816c5746e50991d2a8fff20ffebbcd146d398dcee007aade17439e087c9912780ab97d17dc023835ff47c16f67e31d643ab9aaf46ee5045477be80f2525112730a423eb39e49775e0574d00fcbc43bacbc334397007431374303446395de9e0d1ef70c92c2c9d6265074a40860e598e7da491e2e3b9039871726c7269d8fbec7a3bdc1799d6740f7d7370c85695a117322879d5c9687f2acf6aeda3de0f79805d38a352c2bd9ee2db8f0578ef39165ebd85a74a0fd73ead0c83e01e0c8b471db71b946e2543f88e18428e38aef24d8f7dddfcc02352a2a9a7b5133848488f0face1730a410f85b0c0e19d9e3291facf12b0d1f93001b0abf04012fea822b7b790a71aa304273d74d3deb2c35929ec74fb8291a935ea0fa8d39f151d1951afc9192a193337169c5eb16f6cd9349175ad8ff16c1990df9c5d8f5d213e157d3ac04a32e59a6406227d71a05a7d49a954ce8793a8742dcba7bb41d991e4e144661418228d2066177dec27168712d35035f84eddffe30a21631af58e20d1ba047edf56a919f17fff36d114702460cf8602281ed619f8aab1d1fcb99ff61acbd7fda8ee8b07e61d1445ab5c7a460a1c850768bbc9a0adf91d855a40100141c92f5ee1705da2010840ea8298e2f5fe489c86a7b9f135d98fc2b4ec8f4911a43df461b0fba64ef4efd206eb407b7d7d781802f932e173a192ef8ac411a1f37b070b61dc4577c88e3ff648d043c8ea8994002f6fca3d679c6554fcdc3c098c160d7972606a760d6c367aa57a968757c115e1f6717894cf806ed946313348dfddbab31162aae0adff3469b1c20a0a160d4d49c688e45cb2253c8041456759b2462d250043b450f4ebbdd3fc27eb50ff7eaabae84d58490972c0a95f1b51be89a4f996402eb4d68833bad1fc1265641e8bc2c798f3d7fecb20a620fd9f4c8ffb3baa4be75faa3e1fffeddfe9e2e1987b310d019340944d3cc84044ec4fa983601aedff64d3cc844d3cc8477446fd547a64ab8d3ec46fd5477e9f911ec446fd547d895805efc78e39634e7daed397fc1169095bb790e1677dfe5ad6dea23e9ca88ab59d812aaaf914d0e6d7d4f28a06eeb7899137d4c0ed26ac0888a8cd2d7308d747e70f34a92df740ba119e3ffb8579746c2e250cc957337cebd2c12fbf6aafe7e4cfa2f6da508624f3591f9c9d8530f5f79c47f9f1dce319ff9f4d6a8359ca3c6985cd57668b84ff7aeaad5c86507cc341ecd10a904712891547e2d43025ce2fa88eaf4d16bcfc8e0cbbba63b968f4f89e0ac72d689bd1817e41313924f2720d7dc417ea09d82689ed3a9fd99849c3b57af8bc081110867093285c89d15aac85ad5e110343e4a25e33d11e10ac78501b9c70546f6404fd45e267c2f78d538858c5b6c36dddf14908d01bbb5608dd5d6dadee759c5dcb5e2cea3cdf8b429e1b708c02600ec2a8b42de5fe769be1b730a26729e590cb64f96e738868a7d27a889119b01e775e9c3efc8f9a8ded3667d079880ab6209e5b51cf47dce0d090721218e050372489897473e21ea3596b4188bd92bb6d1a0630aef4077925e2b07ab8754029fe73f28dc5656f0888b71b193598b3e56234a305c3c19731a9156eeb40a68a7ee4c51e283991bd7faa3d54da07b8ca6e59ed0b8a9ccb253799012990b3b53e1dad47694b59eb90830699ae7bed50e667e3e9f0bb2d8e2ab05dd39eee0ed40e561d933fd0011dca553fd5b1b77ea94e5d3c552e970b1c83a69cef65a137089ffb9b7a85e00034480e3b11a27283d208f3e7571f6ff1d35d8ffa535dbdda2fe600b7b431b5ecbd811b546cc68638127552e9172af903261e7c079b6baaaff0c0dbca62fa8f00915f4f503e0a370fd4e47d74a47e40a14506fd520d5adedf54288535575300947cdfa95ae9eee0ed9eee0ed439473e493d18176baafd5b288a83dcffb39e0f461ce00a6ec0842c8acf63c272233d27c47cd10c1149b2205eab0ef05f5ceffac751e2e6bac8cf0f74e45d8f90f904cb14e673ec7ba8e796c933ff155970840e583ff3bfbb2885749c81fd53b37ce257147f3cd15e02ed37d2219960d6753fd4919e3274bb3db93f646125996b0dbc65ecaa681bfcb7c4c8aecaa6816bf1868f8296e849b791129b27c7e30dca2e2b0362b3dc0a0a2c577e0bf294c9f928f93186992dcdad9e6d956e1c502c017250012866bd8ea0914646ab94cdc65d32a244267e8c4798ec73052da5717ed8ceb133caa27e325c59798ec73798ec73519a627fcd3c45cb84f060473162a54c280127a7dfefca3e5c4455ba06495c16f57139c7a311baf65f4fdb45acd1fb7149b781f61f69d25598e9109e95aee20dff27d4e6836e82cdcc8350ad3f19e49e7b1e6a2cf233f4a97fe8c222fe4b1479573af5f718fa7a17f0ca83e48c0381f48c88f1b1b897970688bd5f6ba943c6a931673f0e4994e71fbc8f4e619e26569293d568e6e075ab361499efc8f4e6152d1d91551b73404127c30fc6d3d0b0ad6298cfe6726bf2667d4e7e714f448e82f875d73562f6f130febaeabf3b36b3d91e3a24cf7e66b7d419b4142f24d6d7f8458e796ac6d5f222f39ba2084a72be87b341ff0aac139e147c55b722a38ba5cab96f1b941943ad1ffa99c7c13ae432ccf95f17dd76b39959f449402bee369b85985d36a66190ecee650fc2117adf778e6fd9e9836fe318c4cd76fbbb521828091c624d152db7e12d43866db3e7f23a487c35f5c2fcde209e693a0f4198b5e25f50a6442e726ffce65979955155e9fe4f13404db98b8b9b5bfce6290e0a24f9eb2de3b296e5461810c8b7c1d7ed9e109dc93d8453e00eaa4e0f528e334f2fc0456b85a218b80941dbca6a69728ead87c1cc9f9c3d21a04e33354ff0e04c2e3a047326e8dd8bdf4a1f2a8087817c95f8e64fc05f0ea40c676511922a14ff33d3dc3a2b00a54bafe3e6cd30222b10d7ff0b60ddf42b465517053d1782744bfbfcd8f348a589e5faa8d84bd0324eb8fb70f1246a9f22e9265467a98589711dcfbd73ba331c783dc1480dcab98fd83c3c1d8d28a12ad271195059aed9ddab4085ce84f2ed30c31e69d945fc6e04acb8a7b92b1d70a137296ddf242fe132787d4f6d161e4296ddf2a93ce76298ee72ca44fe22118135150b0d2bf94fb8603ec8de24b47547d850860cb2cab9785267f402c5c59e11f5eb003a8b1ae11f5df2d67991fd381d5186a3bb4b000c00558e1f264879f74c65ca97a45501725032cb614c05a15b4844c9f54c96833e5ba4676c3675e5c42b6a95349ade6b298aa4da4f189912f075cd00499c61899b158ee9ea5369bac0c45d0eaadbad2ba3ff515dac279fbd611056ec34912f075ef39edefe1f35d86fd5f912f075b994cc69e0912f075047287c5e8066743f03eeb06dec18cc756125d0c426a18726a6482aea44204e30e5f266ed9c1e7d9eff838079beef03761ede02877688c838ef8ae82b379ba294e15b770899f7e1835d86a17eeb437ba92c0e0b80cb561aadb18f83fac21803ce1eb756689c9cb1b0f50b1cd505c353706c580ee1372b3127359d65578b83ad7e5b219e4711bf34711bf30e58767b87ab5ed56ea73e8b47cbc2ffef0206e3df21ff43d1b174b5fdb0b7ac080d0323b7d0e9e6e740fa3265fe1f503740ccfd19a53338fc45e800e0cf9d50953b96a5f7e84985fa6bbc669e294b8a49e3463852b76fd4b587da3e2e05af6e1dfa8fd861c4bb0847b081519271a935385e2386b64e6c75924956c81bfe6a1d27269d6901510ed4e361159c055f99b3fe2aba8861b907d20a04f60411b995f91a5d44ed5d1443ea0fcfe1527e3b797bb0cf71f7f92180c338c68942bcc2d4fd417b8cf87ed647b16d0942edc7502373ca3a84637f9a8f1b60284c0a9fe7c38d3df4198f85d53f1a517a45badb98364bac2de11cfb37f9a8f2493c72742f190a9280daee209c04475ad323773808dca3b2dddb09af1b8df00abc61bb55cc6687d9bdbf73c98ee4fc0c1bc8165256bc2a72a499c24eb691fdd620a0e3a3dea574ec1c6459be8303df970f4ab6565107b1fce6499732b90701a445dab66e59a19cceb493e177639c4e0c652fb62095c66e0541612b9743e6219c6a9077100dfcd859d903b06d626ba27bb16e82be844c076359e57da8e53c3f7f72a258d24c90a1533f7a3133dae9c01f98046fa043795854fe57bc2278aa251ace2a7900762c90096f445efeec53c4e5fb84d213a89f50d9a0b4890a8407a9bfd9b63f1295c104ee612e600fb8b346e1e74a867b0e9cae6681a6a4354b33d1b82d1685b12a85639a93072a079c58e399a4671954e72e5c028751bd6d89c90fb16d85891b29122f5e16d6804ecc2581b14fd720a88115ae198d6237e441bc6e50f4f111b6fc4d01a8795f4475e58e14a9cf04aecfd5c29ec7a460526ee7451f661654f854fb41ab4b3c4b157c5d7a4cafad59efb0271ba2074440dd95a4e3db132ea56d298f95eaddd3a4121d7dd64d6f9d60cf785a8f6ee0420d3b5cf1ae5fc3679cd1687e6ea438bda85fdab5be8eeaf961c5f1b1c2f67fdb7c8683070132b911278f00eb00992954f11eadc93d5d1a522fe324858be0e9fb8aff4468e1cfb9ef6c5be1604a735ce06861888d47c462e32dd38618788245eab20747334ac0a86c10f174b0b2772ab80a4c56f083da32749c8e5304f72900d01b578612b37b713f5b350505daa9de78ac88e58bddde700c40cb4a0774d46381b2ccfb0ce8dfcf4b6dc48ebcb3927cb5f0c97219a38212707201d55e6370e39cdc0e982127077c8a5be2d67497e57a392f26adc2321395952075991dca0112c23294d6b3a5be3eaee24c072c94dc4e001a8d9e246a5570be692399fbaaa94e4f5a85bad388744bde614651564cf7f5f6943298c749ac46beeed0ac8e6dfe1b3193a886a165ffc74ad5d3090a17c99862c40878e4e32fab145bcd6e9df446655246f99ad7592ab424410fa4c75b298149a9152175e2f5734d2b5287955f034f9b46026480d06ba2d6a2caeb55b4310acd6b1e4430bb1c947e4f31e9ba0750b628bd325e413de49868525a40fab19f370ff5ff965a008a92e8165d39a1d4b5f37faf3b9c054f413795c618e99a10d6b36ca38cdce85bdfc790964ae49a99e728fed36b7d7bdd3c1d502a19848b58e47397cb0113a36b1cdeaef3c7b9811581498a48327fcc52fdd1f38c5c5a9e69589e32dbdf7b876def6caa9cfdf7750c123cdf8b2e4b79949fdc2cb529a8d2b435117db1f48e8add58ad36b359c3639918d16633dc8b09e4003463ff8e7abefdaac9d1a2bdd227255222580e9a1604b10e4c547f32f4f58d922f5ece3b1417955d15188583a2a66ea522bc546de5d1aca5ec2c1b53b398c99e5db43963f33b03b06df0ee7fa1ec056244e6da1661371e99e9a6e014c68edd1fea4b2a04bc54bb927f82ecf23daeda34ed6317e73b7f7d1cd7b95748d1b74fd54ae8b0c6c9e1c58bc5c1e119d48f22ec51155dc0e5415770d7a637cc7ceea5851608577e05d48f6d9f6f4c50721cdadcaf785addf642742678e0844acfc8ae26b45113b18b2d372e5b1120fac78d2b4cb6cc626e89c2616a81e063dd7d928460a10e0a1f94f3fb42fb705d21db1d193cb1a398cf0fccbfbb1c33243076da64cfe0250497211244e1727b3ee6102d15ad61aff5468efd5e2f382c5dd5f7240d6d00caed2001232a02117775d1a5cd89b8c36bdfff112feff66248ea3f6f12972bb69347d24a701bd60646c2966ae272fb79f6955ec92ae885d990b6e72605fc9e64cc98c81562d99f81b22480cff3fc8b5779140cd7c1d3bbc0059b03f208f1ac99c7dd3e305d690a8c3077f03f4d8f39200b0370d1e293b2303ed590e51c3fa51c9a29daf3cca8204f65d394cd2b3efcb909b848146dc2c16f95
2021-09-09 09:23:26 -07:00
Keith Randall
19457a58e5
cmd/compile: stenciled conversions might be NOPs
...
A generic conversion might be required for when converting T->interface{}.
When stenciled with T=interface{}, then that conversion doesn't need
to do anything.
Fixes #48276
Change-Id: Ife65d01c99fbd0895cb7eec79df9e93e752b1fa5
Reviewed-on: https://go-review.googlesource.com/c/go/+/348736
Trust: Keith Randall <khr@golang.org>
Run-TryBot: Keith Randall <khr@golang.org>
Reviewed-by: Cuong Manh Le <cuong.manhle.vn@gmail.com>
TryBot-Result: Go Bot <gobot@golang.org>
2021-09-09 15:34:08 +00:00
Matthew Dempsky
a295b3cec8
test: re-enable AsmCheck tests for types2-based frontends
...
run.go has logic for being able to run tests with various -G flags,
but not all test types (in particular, "asmcheck" tests) support
configuring non-default -G levels. The intention was that these tests
would continue running in the default mode (at the time -G=0), but at
some point it seems like we accidentally disabled them all
together (if it ever worked correctly in the first place).
Fixes #48247 .
Change-Id: I13917cb0012cbe522d29b23b888de6136872ead4
Reviewed-on: https://go-review.googlesource.com/c/go/+/348671
Trust: Matthew Dempsky <mdempsky@google.com>
Run-TryBot: Matthew Dempsky <mdempsky@google.com>
TryBot-Result: Go Bot <gobot@golang.org>
Reviewed-by: Michael Munday <mike.munday@lowrisc.org>
2021-09-09 15:07:50 +00:00
Robert Findley
66f0d35f71
go/types: reduce number of delayed functions
...
This is a port of CL 348018 to go/types. It differs from that CL due to
the way that field lists are represented in go/ast.
Change-Id: Ib5a0243b44d0bf9e95d039f624c668f8c329f8fa
Reviewed-on: https://go-review.googlesource.com/c/go/+/348691
Trust: Robert Findley <rfindley@google.com>
Run-TryBot: Robert Findley <rfindley@google.com>
TryBot-Result: Go Bot <gobot@golang.org>
Reviewed-by: Robert Griesemer <gri@golang.org>
2021-09-09 12:57:26 +00:00
Robert Findley
d2a77f1c76
go/types: handle recursive type parameter constraints
...
This is a port of CL 348090 to go/types. Notably, unlike in types2,
declareTypeParams was previously setting the default constraint to the
empty interface, not nil, because this was missed in CL 335034 (no
changes were made to declareTypeParams). This CL fixes this discrepancy.
Change-Id: I0fa54a660ba14c6cbefa81a27ab7eb193df3be20
Reviewed-on: https://go-review.googlesource.com/c/go/+/348690
Trust: Robert Findley <rfindley@google.com>
Run-TryBot: Robert Findley <rfindley@google.com>
TryBot-Result: Go Bot <gobot@golang.org>
Reviewed-by: Robert Griesemer <gri@golang.org>
2021-09-09 12:56:36 +00:00
Robert Findley
9e1eea6f8b
go/types: detect constraint type inference cycles
...
This is a port of CL 347300 to go/types. The test was adjusted to match
the differing error positioning in go/types: errors are placed on the
ast.CallExpr.Fun, rather than the Lparen.
Change-Id: I3dee5d7d75bae18817cc1f04ab0d357d3a6a8198
Reviewed-on: https://go-review.googlesource.com/c/go/+/348689
Trust: Robert Findley <rfindley@google.com>
Run-TryBot: Robert Findley <rfindley@google.com>
TryBot-Result: Go Bot <gobot@golang.org>
Reviewed-by: Robert Griesemer <gri@golang.org>
2021-09-09 12:56:20 +00:00
Tobias Klauser
b86e8dd0f3
test/typeparam: fix issue48094b test build
...
CL 347529 broke the longtest builders due to missing -G=3 flag when
compiling the added test.
Change-Id: I73007801dd6871a8cf3554e957d247f5f56fd641
Reviewed-on: https://go-review.googlesource.com/c/go/+/348330
Trust: Tobias Klauser <tobias.klauser@gmail.com>
Trust: Cuong Manh Le <cuong.manhle.vn@gmail.com>
Reviewed-by: Cuong Manh Le <cuong.manhle.vn@gmail.com>
Run-TryBot: Tobias Klauser <tobias.klauser@gmail.com>
TryBot-Result: Go Bot <gobot@golang.org>
2021-09-09 09:06:46 +00:00
Tobias Klauser
c84f3a4004
syscall: drop fallback to pipe in Pipe on linux/arm
...
Follow-up for CL 346789
The minimum required Linux kernel version for Go 1.18 will be changed to
2.6.32, see #45964 . The pipe2 syscall was added in 2.6.27, so the
fallback to use pipe in Pipe on linux/arm can be removed.
For #45964
Change-Id: I8b18244ca1f849f10e90565b4fef80ce777fef69
Reviewed-on: https://go-review.googlesource.com/c/go/+/347349
Trust: Tobias Klauser <tobias.klauser@gmail.com>
Run-TryBot: Tobias Klauser <tobias.klauser@gmail.com>
TryBot-Result: Go Bot <gobot@golang.org>
Reviewed-by: Ian Lance Taylor <iant@golang.org>
2021-09-09 04:47:41 +00:00
Cuong Manh Le
376a079762
cmd/compile: fix unified IR panic when expanding nested inline function
...
When reading body of inlining function, which has another inlined
function in the body, the reader still add this inlined function to
todoBodies, which it shouldn't because the inlined function was read
already.
To fix this, introduce new flag to signal that we are done construting
all functions in todoBodies, thus the addBody shouldn't add anything
to todoBodies then.
Updates #48094
Change-Id: I45105dd518f0a7b69c6dcbaf23b957623f271203
Reviewed-on: https://go-review.googlesource.com/c/go/+/347529
Trust: Cuong Manh Le <cuong.manhle.vn@gmail.com>
Run-TryBot: Cuong Manh Le <cuong.manhle.vn@gmail.com>
TryBot-Result: Go Bot <gobot@golang.org>
Reviewed-by: Matthew Dempsky <mdempsky@google.com>
2021-09-09 04:37:47 +00:00
Ian Lance Taylor
6edc57983a
internal/poll: report open fds when TestSplicePipePool fails
...
For #48066
Change-Id: I1152a1c15756df35b71b27d3e7025d97da9e70b0
Reviewed-on: https://go-review.googlesource.com/c/go/+/348579
Trust: Ian Lance Taylor <iant@golang.org>
Run-TryBot: Ian Lance Taylor <iant@golang.org>
TryBot-Result: Go Bot <gobot@golang.org>
Reviewed-by: Emmanuel Odeke <emmanuel@orijtech.com>
2021-09-09 04:23:56 +00:00
Cuong Manh Le
2481f6e367
cmd/compile: fix wrong instantiated type for embedded receiver
...
In case of embedded field, if the receiver was fully instantiated, we
must use its instantiated type, instead of passing the type params of
the base receiver.
Fixes #47797
Fixes #48253
Change-Id: I97613e7e669a72605137e82406f7bf5fbb629378
Reviewed-on: https://go-review.googlesource.com/c/go/+/348549
Trust: Cuong Manh Le <cuong.manhle.vn@gmail.com>
Trust: Dan Scales <danscales@google.com>
Run-TryBot: Cuong Manh Le <cuong.manhle.vn@gmail.com>
TryBot-Result: Go Bot <gobot@golang.org>
Reviewed-by: Dan Scales <danscales@google.com>
2021-09-09 03:31:51 +00:00
Cuong Manh Le
d62866ef79
cmd/compile: move checkptr alignment to SSA generation
...
This is followup of CL 343972, moving the checkptr alignment
instrumentation during SSA generation instead of walk.
Change-Id: I29b2953e4eb8631277fe2e0f44b9d987dd7a69f9
Reviewed-on: https://go-review.googlesource.com/c/go/+/345430
Trust: Cuong Manh Le <cuong.manhle.vn@gmail.com>
Run-TryBot: Cuong Manh Le <cuong.manhle.vn@gmail.com>
TryBot-Result: Go Bot <gobot@golang.org>
Reviewed-by: Matthew Dempsky <mdempsky@google.com>
2021-09-09 01:25:40 +00:00
Cuong Manh Le
8fad81cd62
cmd/compile: fold handling OCONV logic to separate function
...
So next CL can re-use the logic to perform checkptr instrumentation.
Change-Id: I3241e9c3c84da04db71fd1d4fd83cb76b2e18521
Reviewed-on: https://go-review.googlesource.com/c/go/+/345435
Trust: Cuong Manh Le <cuong.manhle.vn@gmail.com>
Run-TryBot: Cuong Manh Le <cuong.manhle.vn@gmail.com>
TryBot-Result: Go Bot <gobot@golang.org>
Reviewed-by: Matthew Dempsky <mdempsky@google.com>
2021-09-09 01:25:00 +00:00
fanzha02
9cbc76bdf9
cmd/internal/obj/arm64: add checks for incorrect use of REGTMP register
...
The current assembler uses REGTMP as a temporary destination register,
when optimizing one instruction into a multi-instruction sequence. But
in some cases, when the source register is REGTMP, this behavior is
incorrect.
For example:
ADD $0x1234567, R27, R3
The current assembler encodes it into
MOVD $17767, R27
MOVK $(291<<16), R27
ADD R27, R27, R3
It is illegal to overwrite R27. This CL adds the related checks.
Add test cases.
Change-Id: I0af373d9fd23d8f067c093778dd4cc76748faf38
Reviewed-on: https://go-review.googlesource.com/c/go/+/344689
Reviewed-by: Cherry Mui <cherryyz@google.com>
Run-TryBot: Cherry Mui <cherryyz@google.com>
TryBot-Result: Go Bot <gobot@golang.org>
Trust: fannie zhang <Fannie.Zhang@arm.com>
2021-09-09 01:23:30 +00:00
Matthew Dempsky
42563f89d7
cmd/compile: remove 'ext' fields from unified IR reader/writer types
...
This is a vestigial artifact of how I initially split apart the public
and private data for objects. But now objects are split into more
parts, and it's proven easier to just keep them as separate variables.
So it's time to cleanup the initial public/private code to follow the
same approach.
Change-Id: I3976b19fb433cbe21d299d3799ec616f9e59561e
Reviewed-on: https://go-review.googlesource.com/c/go/+/348412
Trust: Matthew Dempsky <mdempsky@google.com>
Run-TryBot: Matthew Dempsky <mdempsky@google.com>
TryBot-Result: Go Bot <gobot@golang.org>
Reviewed-by: Cuong Manh Le <cuong.manhle.vn@gmail.com>
2021-09-09 01:07:21 +00:00
Matthew Dempsky
4c52eac49b
cmd/compile: simplify value coding for unified IR
...
In indexed export, values are always exported along with their type
and are encoded in a type-sensitive manner, because this matches how
cmd/compile handled constants internally.
However, go/types intentionally differs from this, decoupling type
from value representation. As unified IR strives to be more
go/types-centric, it makes sense to embrace this and make values a
more first-class encoding.
Change-Id: If21d849c4f610358bd776d5665469d180bcd5f6e
Reviewed-on: https://go-review.googlesource.com/c/go/+/348014
Trust: Matthew Dempsky <mdempsky@google.com>
Run-TryBot: Matthew Dempsky <mdempsky@google.com>
TryBot-Result: Go Bot <gobot@golang.org>
Reviewed-by: Cuong Manh Le <cuong.manhle.vn@gmail.com>
2021-09-09 00:29:35 +00:00
Matthew Dempsky
e30a09013b
cmd/compile: extrapolate $GOROOT in unified IR
...
This ensures that diagnostics for files within $GOROOT continue to be
reported using their full filepath, rather than the abbreviated
filepath. Notably, this is necessary for test/run.go, which has tests
that expect to see the full filepath.
Updates #48247 .
Change-Id: I440e2c6dd6109ca059d81cee49e476bba805d703
Reviewed-on: https://go-review.googlesource.com/c/go/+/348670
Trust: Matthew Dempsky <mdempsky@google.com>
Run-TryBot: Matthew Dempsky <mdempsky@google.com>
Reviewed-by: Robert Griesemer <gri@golang.org>
TryBot-Result: Go Bot <gobot@golang.org>
2021-09-09 00:10:46 +00:00
Robert Griesemer
a1f6208e56
go/types, types2: add Environment to Config
...
Port to types2 and adjust compiler accordingly.
Change-Id: I2e72b151ef834977dca64cb2e62cedcac4e46062
Reviewed-on: https://go-review.googlesource.com/c/go/+/348578
Trust: Robert Griesemer <gri@golang.org>
Run-TryBot: Robert Griesemer <gri@golang.org>
Reviewed-by: Matthew Dempsky <mdempsky@google.com>
Reviewed-by: Robert Findley <rfindley@google.com>
TryBot-Result: Go Bot <gobot@golang.org>
2021-09-08 23:59:02 +00:00
Robert Griesemer
f5f8a911d8
cmd/compile/internal/types2: spell out 'Type' in type parameter APIs
...
This is a port of CL 348376 with the necessary adjustments
in the compiler.
Change-Id: Ib11ee841b194746ff231ee493aa56bf9b3a4a67f
Reviewed-on: https://go-review.googlesource.com/c/go/+/348577
Trust: Robert Griesemer <gri@golang.org>
Run-TryBot: Robert Griesemer <gri@golang.org>
Reviewed-by: Robert Findley <rfindley@google.com>
2021-09-08 23:35:19 +00:00
Josh Bleecher Snyder
bff39cf6cb
cmd/compile: add automated rewrite cycle detection
...
A common bug during development is to introduce rewrite rule cycles.
This is annoying because it takes a while to notice that
make.bash is a bit too slow this time, and to remember why.
And then you have to manually arrange to debug.
Make this all easier by automating it.
Detect cycles, and when we detect one, print the sequence
of rewrite rules that occur within a single cycle before crashing.
Change-Id: I8dadda13990ab925a81940d4833c9e5243368435
Reviewed-on: https://go-review.googlesource.com/c/go/+/347829
Trust: Josh Bleecher Snyder <josharian@gmail.com>
Run-TryBot: Josh Bleecher Snyder <josharian@gmail.com>
TryBot-Result: Go Bot <gobot@golang.org>
Reviewed-by: Cherry Mui <cherryyz@google.com>
2021-09-08 22:47:57 +00:00
Robert Griesemer
b61e1ed863
cmd/compile/internal/types2: temporarily pin the Checker to Interface during checking
...
This is a clean port of CL 348371.
Change-Id: I3a61a5a8928279bc783ef16739f7607de3b6ecf3
Reviewed-on: https://go-review.googlesource.com/c/go/+/348575
Trust: Robert Griesemer <gri@golang.org>
Reviewed-by: Robert Findley <rfindley@google.com>
2021-09-08 22:41:32 +00:00
Robert Griesemer
47f3e1e02c
cmd/compile/internal/types2: move NewTypeParam off of Checker
...
This is a port of CL 347561.
A comment was corrected both in types2 and go/types, and the
compiler adjusted for the updated NewTypeParameter function.
Change-Id: I4381f0dd8e43228e1d037c5d997d421b7838f905
Reviewed-on: https://go-review.googlesource.com/c/go/+/348574
Trust: Robert Griesemer <gri@golang.org>
Reviewed-by: Robert Findley <rfindley@google.com>
2021-09-08 22:41:27 +00:00
Robert Griesemer
ccc927b8f6
cmd/compile/internal/types2: move typeHash to environment.go
...
This is a clean port of CL 347560.
Change-Id: I0d56f5a818df1a66e603415d5198d909b0aef228
Reviewed-on: https://go-review.googlesource.com/c/go/+/348573
Trust: Robert Griesemer <gri@golang.org>
Reviewed-by: Robert Findley <rfindley@google.com>
2021-09-08 22:41:22 +00:00
Robert Griesemer
30e9bfbcef
cmd/compile/internal/types2: implement deduplication of instances using the Environment
...
This is a port of CL 344390 with adjustments to names to make it
work for types2.
Change-Id: I05c33d9858f973adfbf48d8a1faaf377280f6985
Reviewed-on: https://go-review.googlesource.com/c/go/+/348572
Trust: Robert Griesemer <gri@golang.org>
Reviewed-by: Robert Findley <rfindley@google.com>
2021-09-08 22:41:16 +00:00
Katie Hockman
WANG Xuerui
Florin Papa
Josh Bleecher Snyder
Ethan Reesor
Robert Griesemer
Zheng Xu
Hajime Hoshi
Michael Munday
fanzha02
Ian Lance Taylor
korzhao
Paul E. Murphy
Matthew Dempsky
Dan Scales
Robert Findley
Michael Anthony Knyszek
Damien Neil
Jay Conrod
Keith Randall
Tobias Klauser
Cuong Manh Le