mirror of
https://github.com/golang/go.git
synced 2025-12-08 06:10:04 +00:00
f1a2a0e0bf
Passes toolstash-check. Change-Id: I386fb9d52709c4844b313f59f62a4f47c10e490d Reviewed-on: https://go-review.googlesource.com/c/go/+/230117 Run-TryBot: Cuong Manh Le <cuong.manhle.vn@gmail.com> TryBot-Result: Gobot Gobot <gobot@golang.org> Reviewed-by: Keith Randall <khr@golang.org>
247 lines
7.3 KiB
Go
247 lines
7.3 KiB
Go
// Code generated from gen/decArgs.rules; DO NOT EDIT.
|
|
// generated with: cd gen; go run *.go
|
|
|
|
package ssa
|
|
|
|
func rewriteValuedecArgs(v *Value) bool {
|
|
switch v.Op {
|
|
case OpArg:
|
|
return rewriteValuedecArgs_OpArg(v)
|
|
}
|
|
return false
|
|
}
|
|
func rewriteValuedecArgs_OpArg(v *Value) bool {
|
|
b := v.Block
|
|
config := b.Func.Config
|
|
fe := b.Func.fe
|
|
typ := &b.Func.Config.Types
|
|
// match: (Arg {n} [off])
|
|
// cond: v.Type.IsString()
|
|
// result: (StringMake (Arg <typ.BytePtr> {n} [off]) (Arg <typ.Int> {n} [off+int32(config.PtrSize)]))
|
|
for {
|
|
off := auxIntToInt32(v.AuxInt)
|
|
n := auxToSym(v.Aux)
|
|
if !(v.Type.IsString()) {
|
|
break
|
|
}
|
|
v.reset(OpStringMake)
|
|
v0 := b.NewValue0(v.Pos, OpArg, typ.BytePtr)
|
|
v0.AuxInt = int32ToAuxInt(off)
|
|
v0.Aux = symToAux(n)
|
|
v1 := b.NewValue0(v.Pos, OpArg, typ.Int)
|
|
v1.AuxInt = int32ToAuxInt(off + int32(config.PtrSize))
|
|
v1.Aux = symToAux(n)
|
|
v.AddArg2(v0, v1)
|
|
return true
|
|
}
|
|
// match: (Arg {n} [off])
|
|
// cond: v.Type.IsSlice()
|
|
// result: (SliceMake (Arg <v.Type.Elem().PtrTo()> {n} [off]) (Arg <typ.Int> {n} [off+int32(config.PtrSize)]) (Arg <typ.Int> {n} [off+2*int32(config.PtrSize)]))
|
|
for {
|
|
off := auxIntToInt32(v.AuxInt)
|
|
n := auxToSym(v.Aux)
|
|
if !(v.Type.IsSlice()) {
|
|
break
|
|
}
|
|
v.reset(OpSliceMake)
|
|
v0 := b.NewValue0(v.Pos, OpArg, v.Type.Elem().PtrTo())
|
|
v0.AuxInt = int32ToAuxInt(off)
|
|
v0.Aux = symToAux(n)
|
|
v1 := b.NewValue0(v.Pos, OpArg, typ.Int)
|
|
v1.AuxInt = int32ToAuxInt(off + int32(config.PtrSize))
|
|
v1.Aux = symToAux(n)
|
|
v2 := b.NewValue0(v.Pos, OpArg, typ.Int)
|
|
v2.AuxInt = int32ToAuxInt(off + 2*int32(config.PtrSize))
|
|
v2.Aux = symToAux(n)
|
|
v.AddArg3(v0, v1, v2)
|
|
return true
|
|
}
|
|
// match: (Arg {n} [off])
|
|
// cond: v.Type.IsInterface()
|
|
// result: (IMake (Arg <typ.Uintptr> {n} [off]) (Arg <typ.BytePtr> {n} [off+int32(config.PtrSize)]))
|
|
for {
|
|
off := auxIntToInt32(v.AuxInt)
|
|
n := auxToSym(v.Aux)
|
|
if !(v.Type.IsInterface()) {
|
|
break
|
|
}
|
|
v.reset(OpIMake)
|
|
v0 := b.NewValue0(v.Pos, OpArg, typ.Uintptr)
|
|
v0.AuxInt = int32ToAuxInt(off)
|
|
v0.Aux = symToAux(n)
|
|
v1 := b.NewValue0(v.Pos, OpArg, typ.BytePtr)
|
|
v1.AuxInt = int32ToAuxInt(off + int32(config.PtrSize))
|
|
v1.Aux = symToAux(n)
|
|
v.AddArg2(v0, v1)
|
|
return true
|
|
}
|
|
// match: (Arg {n} [off])
|
|
// cond: v.Type.IsComplex() && v.Type.Size() == 16
|
|
// result: (ComplexMake (Arg <typ.Float64> {n} [off]) (Arg <typ.Float64> {n} [off+8]))
|
|
for {
|
|
off := auxIntToInt32(v.AuxInt)
|
|
n := auxToSym(v.Aux)
|
|
if !(v.Type.IsComplex() && v.Type.Size() == 16) {
|
|
break
|
|
}
|
|
v.reset(OpComplexMake)
|
|
v0 := b.NewValue0(v.Pos, OpArg, typ.Float64)
|
|
v0.AuxInt = int32ToAuxInt(off)
|
|
v0.Aux = symToAux(n)
|
|
v1 := b.NewValue0(v.Pos, OpArg, typ.Float64)
|
|
v1.AuxInt = int32ToAuxInt(off + 8)
|
|
v1.Aux = symToAux(n)
|
|
v.AddArg2(v0, v1)
|
|
return true
|
|
}
|
|
// match: (Arg {n} [off])
|
|
// cond: v.Type.IsComplex() && v.Type.Size() == 8
|
|
// result: (ComplexMake (Arg <typ.Float32> {n} [off]) (Arg <typ.Float32> {n} [off+4]))
|
|
for {
|
|
off := auxIntToInt32(v.AuxInt)
|
|
n := auxToSym(v.Aux)
|
|
if !(v.Type.IsComplex() && v.Type.Size() == 8) {
|
|
break
|
|
}
|
|
v.reset(OpComplexMake)
|
|
v0 := b.NewValue0(v.Pos, OpArg, typ.Float32)
|
|
v0.AuxInt = int32ToAuxInt(off)
|
|
v0.Aux = symToAux(n)
|
|
v1 := b.NewValue0(v.Pos, OpArg, typ.Float32)
|
|
v1.AuxInt = int32ToAuxInt(off + 4)
|
|
v1.Aux = symToAux(n)
|
|
v.AddArg2(v0, v1)
|
|
return true
|
|
}
|
|
// match: (Arg <t>)
|
|
// cond: t.IsStruct() && t.NumFields() == 0 && fe.CanSSA(t)
|
|
// result: (StructMake0)
|
|
for {
|
|
t := v.Type
|
|
if !(t.IsStruct() && t.NumFields() == 0 && fe.CanSSA(t)) {
|
|
break
|
|
}
|
|
v.reset(OpStructMake0)
|
|
return true
|
|
}
|
|
// match: (Arg <t> {n} [off])
|
|
// cond: t.IsStruct() && t.NumFields() == 1 && fe.CanSSA(t)
|
|
// result: (StructMake1 (Arg <t.FieldType(0)> {n} [off+int32(t.FieldOff(0))]))
|
|
for {
|
|
t := v.Type
|
|
off := auxIntToInt32(v.AuxInt)
|
|
n := auxToSym(v.Aux)
|
|
if !(t.IsStruct() && t.NumFields() == 1 && fe.CanSSA(t)) {
|
|
break
|
|
}
|
|
v.reset(OpStructMake1)
|
|
v0 := b.NewValue0(v.Pos, OpArg, t.FieldType(0))
|
|
v0.AuxInt = int32ToAuxInt(off + int32(t.FieldOff(0)))
|
|
v0.Aux = symToAux(n)
|
|
v.AddArg(v0)
|
|
return true
|
|
}
|
|
// match: (Arg <t> {n} [off])
|
|
// cond: t.IsStruct() && t.NumFields() == 2 && fe.CanSSA(t)
|
|
// result: (StructMake2 (Arg <t.FieldType(0)> {n} [off+int32(t.FieldOff(0))]) (Arg <t.FieldType(1)> {n} [off+int32(t.FieldOff(1))]))
|
|
for {
|
|
t := v.Type
|
|
off := auxIntToInt32(v.AuxInt)
|
|
n := auxToSym(v.Aux)
|
|
if !(t.IsStruct() && t.NumFields() == 2 && fe.CanSSA(t)) {
|
|
break
|
|
}
|
|
v.reset(OpStructMake2)
|
|
v0 := b.NewValue0(v.Pos, OpArg, t.FieldType(0))
|
|
v0.AuxInt = int32ToAuxInt(off + int32(t.FieldOff(0)))
|
|
v0.Aux = symToAux(n)
|
|
v1 := b.NewValue0(v.Pos, OpArg, t.FieldType(1))
|
|
v1.AuxInt = int32ToAuxInt(off + int32(t.FieldOff(1)))
|
|
v1.Aux = symToAux(n)
|
|
v.AddArg2(v0, v1)
|
|
return true
|
|
}
|
|
// match: (Arg <t> {n} [off])
|
|
// cond: t.IsStruct() && t.NumFields() == 3 && fe.CanSSA(t)
|
|
// result: (StructMake3 (Arg <t.FieldType(0)> {n} [off+int32(t.FieldOff(0))]) (Arg <t.FieldType(1)> {n} [off+int32(t.FieldOff(1))]) (Arg <t.FieldType(2)> {n} [off+int32(t.FieldOff(2))]))
|
|
for {
|
|
t := v.Type
|
|
off := auxIntToInt32(v.AuxInt)
|
|
n := auxToSym(v.Aux)
|
|
if !(t.IsStruct() && t.NumFields() == 3 && fe.CanSSA(t)) {
|
|
break
|
|
}
|
|
v.reset(OpStructMake3)
|
|
v0 := b.NewValue0(v.Pos, OpArg, t.FieldType(0))
|
|
v0.AuxInt = int32ToAuxInt(off + int32(t.FieldOff(0)))
|
|
v0.Aux = symToAux(n)
|
|
v1 := b.NewValue0(v.Pos, OpArg, t.FieldType(1))
|
|
v1.AuxInt = int32ToAuxInt(off + int32(t.FieldOff(1)))
|
|
v1.Aux = symToAux(n)
|
|
v2 := b.NewValue0(v.Pos, OpArg, t.FieldType(2))
|
|
v2.AuxInt = int32ToAuxInt(off + int32(t.FieldOff(2)))
|
|
v2.Aux = symToAux(n)
|
|
v.AddArg3(v0, v1, v2)
|
|
return true
|
|
}
|
|
// match: (Arg <t> {n} [off])
|
|
// cond: t.IsStruct() && t.NumFields() == 4 && fe.CanSSA(t)
|
|
// result: (StructMake4 (Arg <t.FieldType(0)> {n} [off+int32(t.FieldOff(0))]) (Arg <t.FieldType(1)> {n} [off+int32(t.FieldOff(1))]) (Arg <t.FieldType(2)> {n} [off+int32(t.FieldOff(2))]) (Arg <t.FieldType(3)> {n} [off+int32(t.FieldOff(3))]))
|
|
for {
|
|
t := v.Type
|
|
off := auxIntToInt32(v.AuxInt)
|
|
n := auxToSym(v.Aux)
|
|
if !(t.IsStruct() && t.NumFields() == 4 && fe.CanSSA(t)) {
|
|
break
|
|
}
|
|
v.reset(OpStructMake4)
|
|
v0 := b.NewValue0(v.Pos, OpArg, t.FieldType(0))
|
|
v0.AuxInt = int32ToAuxInt(off + int32(t.FieldOff(0)))
|
|
v0.Aux = symToAux(n)
|
|
v1 := b.NewValue0(v.Pos, OpArg, t.FieldType(1))
|
|
v1.AuxInt = int32ToAuxInt(off + int32(t.FieldOff(1)))
|
|
v1.Aux = symToAux(n)
|
|
v2 := b.NewValue0(v.Pos, OpArg, t.FieldType(2))
|
|
v2.AuxInt = int32ToAuxInt(off + int32(t.FieldOff(2)))
|
|
v2.Aux = symToAux(n)
|
|
v3 := b.NewValue0(v.Pos, OpArg, t.FieldType(3))
|
|
v3.AuxInt = int32ToAuxInt(off + int32(t.FieldOff(3)))
|
|
v3.Aux = symToAux(n)
|
|
v.AddArg4(v0, v1, v2, v3)
|
|
return true
|
|
}
|
|
// match: (Arg <t>)
|
|
// cond: t.IsArray() && t.NumElem() == 0
|
|
// result: (ArrayMake0)
|
|
for {
|
|
t := v.Type
|
|
if !(t.IsArray() && t.NumElem() == 0) {
|
|
break
|
|
}
|
|
v.reset(OpArrayMake0)
|
|
return true
|
|
}
|
|
// match: (Arg <t> {n} [off])
|
|
// cond: t.IsArray() && t.NumElem() == 1 && fe.CanSSA(t)
|
|
// result: (ArrayMake1 (Arg <t.Elem()> {n} [off]))
|
|
for {
|
|
t := v.Type
|
|
off := auxIntToInt32(v.AuxInt)
|
|
n := auxToSym(v.Aux)
|
|
if !(t.IsArray() && t.NumElem() == 1 && fe.CanSSA(t)) {
|
|
break
|
|
}
|
|
v.reset(OpArrayMake1)
|
|
v0 := b.NewValue0(v.Pos, OpArg, t.Elem())
|
|
v0.AuxInt = int32ToAuxInt(off)
|
|
v0.Aux = symToAux(n)
|
|
v.AddArg(v0)
|
|
return true
|
|
}
|
|
return false
|
|
}
|
|
func rewriteBlockdecArgs(b *Block) bool {
|
|
switch b.Kind {
|
|
}
|
|
return false
|
|
}
|