-- .mod --
module example.com/retract/rationale

go 1.14
-- .info --

(StructSelect [i] x:(Load <t> ptr mem)) =>
  @x.Block (Load <v.Type> (OffPtr <v.Type.PtrTo()> [t.FieldOff(int(i))] ptr) mem)

(ITab x:(Load <t> ptr mem)) && t.IsInterface() => @x.Block (Load <typ.Uintptr> ptr mem)

(IData x:(Load <t> ptr mem)) && t.IsInterface() => @x.Block (Load <typ.BytePtr>
      (OffPtr <typ.BytePtrPtr> [config.PtrSize] ptr)
      mem)

(SlicePtr x:(Load <t> ptr mem)) && t.IsSlice() => @x.Block (Load <t.Elem().PtrTo()> ptr mem)

# go.dev/issue/60028: use semver sort in exclude block in 1.21
cp $WORK/go.mod.badfmtexclude go.mod
go mod edit -go=1.20
cmp go.mod $WORK/go.mod.goodfmtexclude120
go mod edit -go=1.21
cmp go.mod $WORK/go.mod.goodfmtexclude121

-- $WORK/go.mod.badfmtexclude --
module     x.x/y/z
exclude  (
	x.1   v1.11.0
	x.1    v1.10.0
	x.1     v1.9.0
)
-- $WORK/go.mod.goodfmtexclude120 --
module x.x/y/z

go 1.20

exclude (
	x.1 v1.10.0

stdout '^\[Ends with a BEL character. Beep!\x07\]$'


# When there is a comment on a block, but not on individual retractions within
# the block, the rationale should come from the block comment.
go list -m -retracted -f '{{.Retracted}}' example.com/retract/rationale@v1.0.0-block
stdout '^\[block comment\]$'
go list -m -retracted -f '{{.Retracted}}' example.com/retract/rationale@v1.0.0-blockwithcomment

The maximum stack depth for alloc, mutex, block, threadcreate and goroutine

//       both ops are in the same block.
(CMPconst [0] z:((ADD|AND|ANDN|OR|SUB|NOR|XOR) x y)) && v.Block == z.Block => (CMPconst [0] convertPPC64OpToOpCC(z))
(CMPconst [0] z:((NEG|CNTLZD|RLDICL) x)) && v.Block == z.Block => (CMPconst [0] convertPPC64OpToOpCC(z))
// Note: ADDCCconst only assembles to 1 instruction for int16 constants.
(CMPconst [0] z:(ADDconst [c] x)) && int64(int16(c)) == c && v.Block == z.Block => (CMPconst [0] convertPPC64OpToOpCC(z))

a cost of an additional 0.1% text and binary size.  This is currently only implemented
on 386 and amd64 because it has not shown an improvement on other platforms.
Hot block alignment can be disabled with `-gcflags=[<packages>=]-d=alignhot=0`

## Assembler {#assembler}

## Linker {#linker}

<!-- go.dev/issue/67401, CL 585556, CL 587220, and many more -->

	&& l.Uses == 2
	&& clobber(l) =>
  @l.Block (CMP(Q|L|W|B)constload {sym} [makeValAndOff(0, off)] ptr mem)

// Convert ANDload to MOVload when we can do the AND in a containing TEST op.
// Only do when it's within the same block, so we don't have flags live across basic block boundaries.
// See issue 44228.

-- wanterr_59905 --
[# test/main/level1a
level1a${/}pkg.go:5:2: level2x redeclared in this block
	level1a${/}pkg.go:4:2: other declaration of level2x
level1a${/}pkg.go:5:2: "test/main/level1a/level2y" imported as level2x and not used
level1a${/}pkg.go:8:39: undefined: level2y
 # test/main/level1b
level1b${/}pkg.go:5:2: level2x redeclared in this block
	level1b${/}pkg.go:4:2: other declaration of level2x

retract v1.0.0-long

// Ends with a BEL character. Beep!
retract v1.0.0-unprintable

// block comment
retract (
	v1.0.0-block

	// inner comment
	v1.0.0-blockwithcomment
)

retract (
	[v1.0.0-order, v1.0.0-order] // degenerate range
	v1.0.0-order // single version

	v1.0.1-order // single version