mirror of
https://github.com/golang/go.git
synced 2025-05-27 18:31:35 +00:00
a92bd66282
Change-Id: I4c9bcea01e2c4333c2a3592b66f1da9f424747a4 Reviewed-on: https://go-review.googlesource.com/12130 Reviewed-by: Keith Randall <khr@golang.org>
2200 lines
48 KiB
Go
2200 lines
48 KiB
Go
// autogenerated from gen/AMD64.rules: do not edit!
|
|
// generated with: cd gen; go run *.go
|
|
package ssa
|
|
|
|
func rewriteValueAMD64(v *Value, config *Config) bool {
|
|
switch v.Op {
|
|
case OpAMD64ADDQ:
|
|
// match: (ADDQ x (MOVQconst [c]))
|
|
// cond:
|
|
// result: (ADDQconst [c] x)
|
|
{
|
|
x := v.Args[0]
|
|
if v.Args[1].Op != OpAMD64MOVQconst {
|
|
goto endacffd55e74ee0ff59ad58a18ddfc9973
|
|
}
|
|
c := v.Args[1].AuxInt
|
|
v.Op = OpAMD64ADDQconst
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AuxInt = c
|
|
v.AddArg(x)
|
|
return true
|
|
}
|
|
goto endacffd55e74ee0ff59ad58a18ddfc9973
|
|
endacffd55e74ee0ff59ad58a18ddfc9973:
|
|
;
|
|
// match: (ADDQ (MOVQconst [c]) x)
|
|
// cond:
|
|
// result: (ADDQconst [c] x)
|
|
{
|
|
if v.Args[0].Op != OpAMD64MOVQconst {
|
|
goto end7166f476d744ab7a51125959d3d3c7e2
|
|
}
|
|
c := v.Args[0].AuxInt
|
|
x := v.Args[1]
|
|
v.Op = OpAMD64ADDQconst
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AuxInt = c
|
|
v.AddArg(x)
|
|
return true
|
|
}
|
|
goto end7166f476d744ab7a51125959d3d3c7e2
|
|
end7166f476d744ab7a51125959d3d3c7e2:
|
|
;
|
|
// match: (ADDQ x (SHLQconst [3] y))
|
|
// cond:
|
|
// result: (LEAQ8 x y)
|
|
{
|
|
x := v.Args[0]
|
|
if v.Args[1].Op != OpAMD64SHLQconst {
|
|
goto endc02313d35a0525d1d680cd58992e820d
|
|
}
|
|
if v.Args[1].AuxInt != 3 {
|
|
goto endc02313d35a0525d1d680cd58992e820d
|
|
}
|
|
y := v.Args[1].Args[0]
|
|
v.Op = OpAMD64LEAQ8
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AddArg(x)
|
|
v.AddArg(y)
|
|
return true
|
|
}
|
|
goto endc02313d35a0525d1d680cd58992e820d
|
|
endc02313d35a0525d1d680cd58992e820d:
|
|
;
|
|
case OpAMD64ADDQconst:
|
|
// match: (ADDQconst [c] (LEAQ8 [d] x y))
|
|
// cond:
|
|
// result: (LEAQ8 [addOff(c, d)] x y)
|
|
{
|
|
c := v.AuxInt
|
|
if v.Args[0].Op != OpAMD64LEAQ8 {
|
|
goto ende2cc681c9abf9913288803fb1b39e639
|
|
}
|
|
d := v.Args[0].AuxInt
|
|
x := v.Args[0].Args[0]
|
|
y := v.Args[0].Args[1]
|
|
v.Op = OpAMD64LEAQ8
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AuxInt = addOff(c, d)
|
|
v.AddArg(x)
|
|
v.AddArg(y)
|
|
return true
|
|
}
|
|
goto ende2cc681c9abf9913288803fb1b39e639
|
|
ende2cc681c9abf9913288803fb1b39e639:
|
|
;
|
|
// match: (ADDQconst [0] x)
|
|
// cond:
|
|
// result: (Copy x)
|
|
{
|
|
if v.AuxInt != 0 {
|
|
goto end288952f259d4a1842f1e8d5c389b3f28
|
|
}
|
|
x := v.Args[0]
|
|
v.Op = OpCopy
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AddArg(x)
|
|
return true
|
|
}
|
|
goto end288952f259d4a1842f1e8d5c389b3f28
|
|
end288952f259d4a1842f1e8d5c389b3f28:
|
|
;
|
|
case OpAMD64ANDQ:
|
|
// match: (ANDQ x (MOVQconst [c]))
|
|
// cond:
|
|
// result: (ANDQconst [c] x)
|
|
{
|
|
x := v.Args[0]
|
|
if v.Args[1].Op != OpAMD64MOVQconst {
|
|
goto endb98096e3bbb90933e39c88bf41c688a9
|
|
}
|
|
c := v.Args[1].AuxInt
|
|
v.Op = OpAMD64ANDQconst
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AuxInt = c
|
|
v.AddArg(x)
|
|
return true
|
|
}
|
|
goto endb98096e3bbb90933e39c88bf41c688a9
|
|
endb98096e3bbb90933e39c88bf41c688a9:
|
|
;
|
|
// match: (ANDQ (MOVQconst [c]) x)
|
|
// cond:
|
|
// result: (ANDQconst [c] x)
|
|
{
|
|
if v.Args[0].Op != OpAMD64MOVQconst {
|
|
goto endd313fd1897a0d2bc79eff70159a81b6b
|
|
}
|
|
c := v.Args[0].AuxInt
|
|
x := v.Args[1]
|
|
v.Op = OpAMD64ANDQconst
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AuxInt = c
|
|
v.AddArg(x)
|
|
return true
|
|
}
|
|
goto endd313fd1897a0d2bc79eff70159a81b6b
|
|
endd313fd1897a0d2bc79eff70159a81b6b:
|
|
;
|
|
case OpAMD64ANDQconst:
|
|
// match: (ANDQconst [0] _)
|
|
// cond:
|
|
// result: (MOVQconst [0])
|
|
{
|
|
if v.AuxInt != 0 {
|
|
goto endf2afa4d9d31c344d6638dcdced383cf1
|
|
}
|
|
v.Op = OpAMD64MOVQconst
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AuxInt = 0
|
|
return true
|
|
}
|
|
goto endf2afa4d9d31c344d6638dcdced383cf1
|
|
endf2afa4d9d31c344d6638dcdced383cf1:
|
|
;
|
|
// match: (ANDQconst [-1] x)
|
|
// cond:
|
|
// result: (Copy x)
|
|
{
|
|
if v.AuxInt != -1 {
|
|
goto end646afc7b328db89ad16ebfa156ae26e5
|
|
}
|
|
x := v.Args[0]
|
|
v.Op = OpCopy
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AddArg(x)
|
|
return true
|
|
}
|
|
goto end646afc7b328db89ad16ebfa156ae26e5
|
|
end646afc7b328db89ad16ebfa156ae26e5:
|
|
;
|
|
case OpAdd:
|
|
// match: (Add <t> x y)
|
|
// cond: (is64BitInt(t) || isPtr(t))
|
|
// result: (ADDQ x y)
|
|
{
|
|
t := v.Type
|
|
x := v.Args[0]
|
|
y := v.Args[1]
|
|
if !(is64BitInt(t) || isPtr(t)) {
|
|
goto endf031c523d7dd08e4b8e7010a94cd94c9
|
|
}
|
|
v.Op = OpAMD64ADDQ
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AddArg(x)
|
|
v.AddArg(y)
|
|
return true
|
|
}
|
|
goto endf031c523d7dd08e4b8e7010a94cd94c9
|
|
endf031c523d7dd08e4b8e7010a94cd94c9:
|
|
;
|
|
// match: (Add <t> x y)
|
|
// cond: is32BitInt(t) && !isSigned(t)
|
|
// result: (ADDL x y)
|
|
{
|
|
t := v.Type
|
|
x := v.Args[0]
|
|
y := v.Args[1]
|
|
if !(is32BitInt(t) && !isSigned(t)) {
|
|
goto endce1730b0a04d773ed8029e7eac4f3a50
|
|
}
|
|
v.Op = OpAMD64ADDL
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AddArg(x)
|
|
v.AddArg(y)
|
|
return true
|
|
}
|
|
goto endce1730b0a04d773ed8029e7eac4f3a50
|
|
endce1730b0a04d773ed8029e7eac4f3a50:
|
|
;
|
|
// match: (Add <t> x y)
|
|
// cond: is32BitInt(t) && isSigned(t)
|
|
// result: (MOVLQSX (ADDL <t> x y))
|
|
{
|
|
t := v.Type
|
|
x := v.Args[0]
|
|
y := v.Args[1]
|
|
if !(is32BitInt(t) && isSigned(t)) {
|
|
goto end86e07674e2e9d2e1fc5a8f5f74375513
|
|
}
|
|
v.Op = OpAMD64MOVLQSX
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v0 := v.Block.NewValue0(v.Line, OpAMD64ADDL, TypeInvalid)
|
|
v0.Type = t
|
|
v0.AddArg(x)
|
|
v0.AddArg(y)
|
|
v.AddArg(v0)
|
|
return true
|
|
}
|
|
goto end86e07674e2e9d2e1fc5a8f5f74375513
|
|
end86e07674e2e9d2e1fc5a8f5f74375513:
|
|
;
|
|
// match: (Add <t> x y)
|
|
// cond: is16BitInt(t) && !isSigned(t)
|
|
// result: (ADDW x y)
|
|
{
|
|
t := v.Type
|
|
x := v.Args[0]
|
|
y := v.Args[1]
|
|
if !(is16BitInt(t) && !isSigned(t)) {
|
|
goto end99632c2482f1963513f12a317c588800
|
|
}
|
|
v.Op = OpAMD64ADDW
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AddArg(x)
|
|
v.AddArg(y)
|
|
return true
|
|
}
|
|
goto end99632c2482f1963513f12a317c588800
|
|
end99632c2482f1963513f12a317c588800:
|
|
;
|
|
// match: (Add <t> x y)
|
|
// cond: is16BitInt(t) && isSigned(t)
|
|
// result: (MOVWQSX (ADDW <t> x y))
|
|
{
|
|
t := v.Type
|
|
x := v.Args[0]
|
|
y := v.Args[1]
|
|
if !(is16BitInt(t) && isSigned(t)) {
|
|
goto endd215b5658d14e7d1cb469a516aa554e9
|
|
}
|
|
v.Op = OpAMD64MOVWQSX
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v0 := v.Block.NewValue0(v.Line, OpAMD64ADDW, TypeInvalid)
|
|
v0.Type = t
|
|
v0.AddArg(x)
|
|
v0.AddArg(y)
|
|
v.AddArg(v0)
|
|
return true
|
|
}
|
|
goto endd215b5658d14e7d1cb469a516aa554e9
|
|
endd215b5658d14e7d1cb469a516aa554e9:
|
|
;
|
|
// match: (Add <t> x y)
|
|
// cond: is8BitInt(t) && !isSigned(t)
|
|
// result: (ADDB x y)
|
|
{
|
|
t := v.Type
|
|
x := v.Args[0]
|
|
y := v.Args[1]
|
|
if !(is8BitInt(t) && !isSigned(t)) {
|
|
goto end41d7f409a1e1076e9645e2e90b7220ce
|
|
}
|
|
v.Op = OpAMD64ADDB
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AddArg(x)
|
|
v.AddArg(y)
|
|
return true
|
|
}
|
|
goto end41d7f409a1e1076e9645e2e90b7220ce
|
|
end41d7f409a1e1076e9645e2e90b7220ce:
|
|
;
|
|
// match: (Add <t> x y)
|
|
// cond: is8BitInt(t) && isSigned(t)
|
|
// result: (MOVBQSX (ADDB <t> x y))
|
|
{
|
|
t := v.Type
|
|
x := v.Args[0]
|
|
y := v.Args[1]
|
|
if !(is8BitInt(t) && isSigned(t)) {
|
|
goto end858e823866524b81b4636f7dd7e8eefe
|
|
}
|
|
v.Op = OpAMD64MOVBQSX
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v0 := v.Block.NewValue0(v.Line, OpAMD64ADDB, TypeInvalid)
|
|
v0.Type = t
|
|
v0.AddArg(x)
|
|
v0.AddArg(y)
|
|
v.AddArg(v0)
|
|
return true
|
|
}
|
|
goto end858e823866524b81b4636f7dd7e8eefe
|
|
end858e823866524b81b4636f7dd7e8eefe:
|
|
;
|
|
case OpAddr:
|
|
// match: (Addr {sym} base)
|
|
// cond:
|
|
// result: (LEAQ {sym} base)
|
|
{
|
|
sym := v.Aux
|
|
base := v.Args[0]
|
|
v.Op = OpAMD64LEAQ
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.Aux = sym
|
|
v.AddArg(base)
|
|
return true
|
|
}
|
|
goto end53cad0c3c9daa5575680e77c14e05e72
|
|
end53cad0c3c9daa5575680e77c14e05e72:
|
|
;
|
|
case OpAMD64CMOVQCC:
|
|
// match: (CMOVQCC (CMPQconst [c] (MOVQconst [d])) _ x)
|
|
// cond: inBounds(d, c)
|
|
// result: (Copy x)
|
|
{
|
|
if v.Args[0].Op != OpAMD64CMPQconst {
|
|
goto endd5357f3fd5516dcc859c8c5b3c9efaa4
|
|
}
|
|
c := v.Args[0].AuxInt
|
|
if v.Args[0].Args[0].Op != OpAMD64MOVQconst {
|
|
goto endd5357f3fd5516dcc859c8c5b3c9efaa4
|
|
}
|
|
d := v.Args[0].Args[0].AuxInt
|
|
x := v.Args[2]
|
|
if !(inBounds(d, c)) {
|
|
goto endd5357f3fd5516dcc859c8c5b3c9efaa4
|
|
}
|
|
v.Op = OpCopy
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AddArg(x)
|
|
return true
|
|
}
|
|
goto endd5357f3fd5516dcc859c8c5b3c9efaa4
|
|
endd5357f3fd5516dcc859c8c5b3c9efaa4:
|
|
;
|
|
// match: (CMOVQCC (CMPQconst [c] (MOVQconst [d])) x _)
|
|
// cond: !inBounds(d, c)
|
|
// result: (Copy x)
|
|
{
|
|
if v.Args[0].Op != OpAMD64CMPQconst {
|
|
goto end6ad8b1758415a9afe758272b34970d5d
|
|
}
|
|
c := v.Args[0].AuxInt
|
|
if v.Args[0].Args[0].Op != OpAMD64MOVQconst {
|
|
goto end6ad8b1758415a9afe758272b34970d5d
|
|
}
|
|
d := v.Args[0].Args[0].AuxInt
|
|
x := v.Args[1]
|
|
if !(!inBounds(d, c)) {
|
|
goto end6ad8b1758415a9afe758272b34970d5d
|
|
}
|
|
v.Op = OpCopy
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AddArg(x)
|
|
return true
|
|
}
|
|
goto end6ad8b1758415a9afe758272b34970d5d
|
|
end6ad8b1758415a9afe758272b34970d5d:
|
|
;
|
|
case OpAMD64CMPQ:
|
|
// match: (CMPQ x (MOVQconst [c]))
|
|
// cond:
|
|
// result: (CMPQconst x [c])
|
|
{
|
|
x := v.Args[0]
|
|
if v.Args[1].Op != OpAMD64MOVQconst {
|
|
goto end32ef1328af280ac18fa8045a3502dae9
|
|
}
|
|
c := v.Args[1].AuxInt
|
|
v.Op = OpAMD64CMPQconst
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AddArg(x)
|
|
v.AuxInt = c
|
|
return true
|
|
}
|
|
goto end32ef1328af280ac18fa8045a3502dae9
|
|
end32ef1328af280ac18fa8045a3502dae9:
|
|
;
|
|
// match: (CMPQ (MOVQconst [c]) x)
|
|
// cond:
|
|
// result: (InvertFlags (CMPQconst <TypeFlags> x [c]))
|
|
{
|
|
if v.Args[0].Op != OpAMD64MOVQconst {
|
|
goto endf8ca12fe79290bc82b11cfa463bc9413
|
|
}
|
|
c := v.Args[0].AuxInt
|
|
x := v.Args[1]
|
|
v.Op = OpAMD64InvertFlags
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v0 := v.Block.NewValue0(v.Line, OpAMD64CMPQconst, TypeInvalid)
|
|
v0.Type = TypeFlags
|
|
v0.AddArg(x)
|
|
v0.AuxInt = c
|
|
v.AddArg(v0)
|
|
return true
|
|
}
|
|
goto endf8ca12fe79290bc82b11cfa463bc9413
|
|
endf8ca12fe79290bc82b11cfa463bc9413:
|
|
;
|
|
case OpClosureCall:
|
|
// match: (ClosureCall entry closure mem)
|
|
// cond:
|
|
// result: (CALLclosure entry closure mem)
|
|
{
|
|
entry := v.Args[0]
|
|
closure := v.Args[1]
|
|
mem := v.Args[2]
|
|
v.Op = OpAMD64CALLclosure
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AddArg(entry)
|
|
v.AddArg(closure)
|
|
v.AddArg(mem)
|
|
return true
|
|
}
|
|
goto endee26da781e813a3c602ccb4f7ade98c7
|
|
endee26da781e813a3c602ccb4f7ade98c7:
|
|
;
|
|
case OpConst:
|
|
// match: (Const <t> [val])
|
|
// cond: t.IsInteger()
|
|
// result: (MOVQconst [val])
|
|
{
|
|
t := v.Type
|
|
val := v.AuxInt
|
|
if !(t.IsInteger()) {
|
|
goto end4c8bfe9df26fc5aa2bd76b211792732a
|
|
}
|
|
v.Op = OpAMD64MOVQconst
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AuxInt = val
|
|
return true
|
|
}
|
|
goto end4c8bfe9df26fc5aa2bd76b211792732a
|
|
end4c8bfe9df26fc5aa2bd76b211792732a:
|
|
;
|
|
// match: (Const <t>)
|
|
// cond: t.IsPtr()
|
|
// result: (MOVQconst [0])
|
|
{
|
|
t := v.Type
|
|
if !(t.IsPtr()) {
|
|
goto endd23abe8d7061f11c260b162e24eec060
|
|
}
|
|
v.Op = OpAMD64MOVQconst
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AuxInt = 0
|
|
return true
|
|
}
|
|
goto endd23abe8d7061f11c260b162e24eec060
|
|
endd23abe8d7061f11c260b162e24eec060:
|
|
;
|
|
case OpConvNop:
|
|
// match: (ConvNop <t> x)
|
|
// cond: t == x.Type
|
|
// result: (Copy x)
|
|
{
|
|
t := v.Type
|
|
x := v.Args[0]
|
|
if !(t == x.Type) {
|
|
goto end6c588ed8aedc7dca8c06b4ada77e3ddd
|
|
}
|
|
v.Op = OpCopy
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AddArg(x)
|
|
return true
|
|
}
|
|
goto end6c588ed8aedc7dca8c06b4ada77e3ddd
|
|
end6c588ed8aedc7dca8c06b4ada77e3ddd:
|
|
;
|
|
case OpConvert:
|
|
// match: (Convert <t> x)
|
|
// cond: t.IsInteger() && x.Type.IsInteger()
|
|
// result: (Copy x)
|
|
{
|
|
t := v.Type
|
|
x := v.Args[0]
|
|
if !(t.IsInteger() && x.Type.IsInteger()) {
|
|
goto endcc7894224d4f6b0bcabcece5d0185912
|
|
}
|
|
v.Op = OpCopy
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AddArg(x)
|
|
return true
|
|
}
|
|
goto endcc7894224d4f6b0bcabcece5d0185912
|
|
endcc7894224d4f6b0bcabcece5d0185912:
|
|
;
|
|
case OpEq:
|
|
// match: (Eq x y)
|
|
// cond: is64BitInt(v.Args[0].Type) && isSigned(v.Args[0].Type)
|
|
// result: (SETEQ (CMPQ <TypeFlags> x y))
|
|
{
|
|
x := v.Args[0]
|
|
y := v.Args[1]
|
|
if !(is64BitInt(v.Args[0].Type) && isSigned(v.Args[0].Type)) {
|
|
goto endad64a62086703de09f52315e190bdf0e
|
|
}
|
|
v.Op = OpAMD64SETEQ
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v0 := v.Block.NewValue0(v.Line, OpAMD64CMPQ, TypeInvalid)
|
|
v0.Type = TypeFlags
|
|
v0.AddArg(x)
|
|
v0.AddArg(y)
|
|
v.AddArg(v0)
|
|
return true
|
|
}
|
|
goto endad64a62086703de09f52315e190bdf0e
|
|
endad64a62086703de09f52315e190bdf0e:
|
|
;
|
|
case OpGeq:
|
|
// match: (Geq x y)
|
|
// cond: is64BitInt(v.Args[0].Type) && isSigned(v.Args[0].Type)
|
|
// result: (SETGE (CMPQ <TypeFlags> x y))
|
|
{
|
|
x := v.Args[0]
|
|
y := v.Args[1]
|
|
if !(is64BitInt(v.Args[0].Type) && isSigned(v.Args[0].Type)) {
|
|
goto end31ba1968829a3b451a35431111140fec
|
|
}
|
|
v.Op = OpAMD64SETGE
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v0 := v.Block.NewValue0(v.Line, OpAMD64CMPQ, TypeInvalid)
|
|
v0.Type = TypeFlags
|
|
v0.AddArg(x)
|
|
v0.AddArg(y)
|
|
v.AddArg(v0)
|
|
return true
|
|
}
|
|
goto end31ba1968829a3b451a35431111140fec
|
|
end31ba1968829a3b451a35431111140fec:
|
|
;
|
|
case OpGreater:
|
|
// match: (Greater x y)
|
|
// cond: is64BitInt(v.Args[0].Type) && isSigned(v.Args[0].Type)
|
|
// result: (SETG (CMPQ <TypeFlags> x y))
|
|
{
|
|
x := v.Args[0]
|
|
y := v.Args[1]
|
|
if !(is64BitInt(v.Args[0].Type) && isSigned(v.Args[0].Type)) {
|
|
goto end1cff30b1bf40104e5e30ab73d6568f7f
|
|
}
|
|
v.Op = OpAMD64SETG
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v0 := v.Block.NewValue0(v.Line, OpAMD64CMPQ, TypeInvalid)
|
|
v0.Type = TypeFlags
|
|
v0.AddArg(x)
|
|
v0.AddArg(y)
|
|
v.AddArg(v0)
|
|
return true
|
|
}
|
|
goto end1cff30b1bf40104e5e30ab73d6568f7f
|
|
end1cff30b1bf40104e5e30ab73d6568f7f:
|
|
;
|
|
case OpIsInBounds:
|
|
// match: (IsInBounds idx len)
|
|
// cond:
|
|
// result: (SETB (CMPQ <TypeFlags> idx len))
|
|
{
|
|
idx := v.Args[0]
|
|
len := v.Args[1]
|
|
v.Op = OpAMD64SETB
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v0 := v.Block.NewValue0(v.Line, OpAMD64CMPQ, TypeInvalid)
|
|
v0.Type = TypeFlags
|
|
v0.AddArg(idx)
|
|
v0.AddArg(len)
|
|
v.AddArg(v0)
|
|
return true
|
|
}
|
|
goto endb51d371171154c0f1613b687757e0576
|
|
endb51d371171154c0f1613b687757e0576:
|
|
;
|
|
case OpIsNonNil:
|
|
// match: (IsNonNil p)
|
|
// cond:
|
|
// result: (SETNE (TESTQ <TypeFlags> p p))
|
|
{
|
|
p := v.Args[0]
|
|
v.Op = OpAMD64SETNE
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v0 := v.Block.NewValue0(v.Line, OpAMD64TESTQ, TypeInvalid)
|
|
v0.Type = TypeFlags
|
|
v0.AddArg(p)
|
|
v0.AddArg(p)
|
|
v.AddArg(v0)
|
|
return true
|
|
}
|
|
goto endff508c3726edfb573abc6128c177e76c
|
|
endff508c3726edfb573abc6128c177e76c:
|
|
;
|
|
case OpLeq:
|
|
// match: (Leq x y)
|
|
// cond: is64BitInt(v.Args[0].Type) && isSigned(v.Args[0].Type)
|
|
// result: (SETLE (CMPQ <TypeFlags> x y))
|
|
{
|
|
x := v.Args[0]
|
|
y := v.Args[1]
|
|
if !(is64BitInt(v.Args[0].Type) && isSigned(v.Args[0].Type)) {
|
|
goto enddb4f100c01cdd95d69d399ffc37e33e7
|
|
}
|
|
v.Op = OpAMD64SETLE
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v0 := v.Block.NewValue0(v.Line, OpAMD64CMPQ, TypeInvalid)
|
|
v0.Type = TypeFlags
|
|
v0.AddArg(x)
|
|
v0.AddArg(y)
|
|
v.AddArg(v0)
|
|
return true
|
|
}
|
|
goto enddb4f100c01cdd95d69d399ffc37e33e7
|
|
enddb4f100c01cdd95d69d399ffc37e33e7:
|
|
;
|
|
case OpLess:
|
|
// match: (Less x y)
|
|
// cond: is64BitInt(v.Args[0].Type) && isSigned(v.Args[0].Type)
|
|
// result: (SETL (CMPQ <TypeFlags> x y))
|
|
{
|
|
x := v.Args[0]
|
|
y := v.Args[1]
|
|
if !(is64BitInt(v.Args[0].Type) && isSigned(v.Args[0].Type)) {
|
|
goto endcecf13a952d4c6c2383561c7d68a3cf9
|
|
}
|
|
v.Op = OpAMD64SETL
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v0 := v.Block.NewValue0(v.Line, OpAMD64CMPQ, TypeInvalid)
|
|
v0.Type = TypeFlags
|
|
v0.AddArg(x)
|
|
v0.AddArg(y)
|
|
v.AddArg(v0)
|
|
return true
|
|
}
|
|
goto endcecf13a952d4c6c2383561c7d68a3cf9
|
|
endcecf13a952d4c6c2383561c7d68a3cf9:
|
|
;
|
|
case OpLoad:
|
|
// match: (Load <t> ptr mem)
|
|
// cond: (is64BitInt(t) || isPtr(t))
|
|
// result: (MOVQload ptr mem)
|
|
{
|
|
t := v.Type
|
|
ptr := v.Args[0]
|
|
mem := v.Args[1]
|
|
if !(is64BitInt(t) || isPtr(t)) {
|
|
goto end7c4c53acf57ebc5f03273652ba1d5934
|
|
}
|
|
v.Op = OpAMD64MOVQload
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AddArg(ptr)
|
|
v.AddArg(mem)
|
|
return true
|
|
}
|
|
goto end7c4c53acf57ebc5f03273652ba1d5934
|
|
end7c4c53acf57ebc5f03273652ba1d5934:
|
|
;
|
|
// match: (Load <t> ptr mem)
|
|
// cond: is32BitInt(t)
|
|
// result: (MOVLload ptr mem)
|
|
{
|
|
t := v.Type
|
|
ptr := v.Args[0]
|
|
mem := v.Args[1]
|
|
if !(is32BitInt(t)) {
|
|
goto ende1cfcb15bfbcfd448ce303d0882a4057
|
|
}
|
|
v.Op = OpAMD64MOVLload
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AddArg(ptr)
|
|
v.AddArg(mem)
|
|
return true
|
|
}
|
|
goto ende1cfcb15bfbcfd448ce303d0882a4057
|
|
ende1cfcb15bfbcfd448ce303d0882a4057:
|
|
;
|
|
// match: (Load <t> ptr mem)
|
|
// cond: is16BitInt(t)
|
|
// result: (MOVWload ptr mem)
|
|
{
|
|
t := v.Type
|
|
ptr := v.Args[0]
|
|
mem := v.Args[1]
|
|
if !(is16BitInt(t)) {
|
|
goto end2d0a1304501ed9f4e9e2d288505a9c7c
|
|
}
|
|
v.Op = OpAMD64MOVWload
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AddArg(ptr)
|
|
v.AddArg(mem)
|
|
return true
|
|
}
|
|
goto end2d0a1304501ed9f4e9e2d288505a9c7c
|
|
end2d0a1304501ed9f4e9e2d288505a9c7c:
|
|
;
|
|
// match: (Load <t> ptr mem)
|
|
// cond: (t.IsBoolean() || is8BitInt(t))
|
|
// result: (MOVBload ptr mem)
|
|
{
|
|
t := v.Type
|
|
ptr := v.Args[0]
|
|
mem := v.Args[1]
|
|
if !(t.IsBoolean() || is8BitInt(t)) {
|
|
goto end8f83bf72293670e75b22d6627bd13f0b
|
|
}
|
|
v.Op = OpAMD64MOVBload
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AddArg(ptr)
|
|
v.AddArg(mem)
|
|
return true
|
|
}
|
|
goto end8f83bf72293670e75b22d6627bd13f0b
|
|
end8f83bf72293670e75b22d6627bd13f0b:
|
|
;
|
|
case OpLsh:
|
|
// match: (Lsh <t> x y)
|
|
// cond: is64BitInt(t)
|
|
// result: (ANDQ (SHLQ <t> x y) (SBBQcarrymask <t> (CMPQconst <TypeFlags> [64] y)))
|
|
{
|
|
t := v.Type
|
|
x := v.Args[0]
|
|
y := v.Args[1]
|
|
if !(is64BitInt(t)) {
|
|
goto end5d9e2211940fbc82536685578cf37d08
|
|
}
|
|
v.Op = OpAMD64ANDQ
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v0 := v.Block.NewValue0(v.Line, OpAMD64SHLQ, TypeInvalid)
|
|
v0.Type = t
|
|
v0.AddArg(x)
|
|
v0.AddArg(y)
|
|
v.AddArg(v0)
|
|
v1 := v.Block.NewValue0(v.Line, OpAMD64SBBQcarrymask, TypeInvalid)
|
|
v1.Type = t
|
|
v2 := v.Block.NewValue0(v.Line, OpAMD64CMPQconst, TypeInvalid)
|
|
v2.Type = TypeFlags
|
|
v2.AuxInt = 64
|
|
v2.AddArg(y)
|
|
v1.AddArg(v2)
|
|
v.AddArg(v1)
|
|
return true
|
|
}
|
|
goto end5d9e2211940fbc82536685578cf37d08
|
|
end5d9e2211940fbc82536685578cf37d08:
|
|
;
|
|
case OpAMD64MOVBstore:
|
|
// match: (MOVBstore ptr (MOVBQSX x) mem)
|
|
// cond:
|
|
// result: (MOVBstore ptr x mem)
|
|
{
|
|
ptr := v.Args[0]
|
|
if v.Args[1].Op != OpAMD64MOVBQSX {
|
|
goto endc356ef104095b9217b36b594f85171c6
|
|
}
|
|
x := v.Args[1].Args[0]
|
|
mem := v.Args[2]
|
|
v.Op = OpAMD64MOVBstore
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AddArg(ptr)
|
|
v.AddArg(x)
|
|
v.AddArg(mem)
|
|
return true
|
|
}
|
|
goto endc356ef104095b9217b36b594f85171c6
|
|
endc356ef104095b9217b36b594f85171c6:
|
|
;
|
|
case OpAMD64MOVLstore:
|
|
// match: (MOVLstore ptr (MOVLQSX x) mem)
|
|
// cond:
|
|
// result: (MOVLstore ptr x mem)
|
|
{
|
|
ptr := v.Args[0]
|
|
if v.Args[1].Op != OpAMD64MOVLQSX {
|
|
goto endf79c699f70cb356abb52dc28f4abf46b
|
|
}
|
|
x := v.Args[1].Args[0]
|
|
mem := v.Args[2]
|
|
v.Op = OpAMD64MOVLstore
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AddArg(ptr)
|
|
v.AddArg(x)
|
|
v.AddArg(mem)
|
|
return true
|
|
}
|
|
goto endf79c699f70cb356abb52dc28f4abf46b
|
|
endf79c699f70cb356abb52dc28f4abf46b:
|
|
;
|
|
case OpAMD64MOVQload:
|
|
// match: (MOVQload [off1] (ADDQconst [off2] ptr) mem)
|
|
// cond:
|
|
// result: (MOVQload [addOff(off1, off2)] ptr mem)
|
|
{
|
|
off1 := v.AuxInt
|
|
if v.Args[0].Op != OpAMD64ADDQconst {
|
|
goto end843d29b538c4483b432b632e5666d6e3
|
|
}
|
|
off2 := v.Args[0].AuxInt
|
|
ptr := v.Args[0].Args[0]
|
|
mem := v.Args[1]
|
|
v.Op = OpAMD64MOVQload
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AuxInt = addOff(off1, off2)
|
|
v.AddArg(ptr)
|
|
v.AddArg(mem)
|
|
return true
|
|
}
|
|
goto end843d29b538c4483b432b632e5666d6e3
|
|
end843d29b538c4483b432b632e5666d6e3:
|
|
;
|
|
// match: (MOVQload [off1] {sym1} (LEAQ [off2] {sym2} base) mem)
|
|
// cond: (sym1 == nil || sym2 == nil)
|
|
// result: (MOVQload [addOff(off1,off2)] {mergeSym(sym1,sym2)} base mem)
|
|
{
|
|
off1 := v.AuxInt
|
|
sym1 := v.Aux
|
|
if v.Args[0].Op != OpAMD64LEAQ {
|
|
goto end227426af95e74caddcf59fdcd30ca8bc
|
|
}
|
|
off2 := v.Args[0].AuxInt
|
|
sym2 := v.Args[0].Aux
|
|
base := v.Args[0].Args[0]
|
|
mem := v.Args[1]
|
|
if !(sym1 == nil || sym2 == nil) {
|
|
goto end227426af95e74caddcf59fdcd30ca8bc
|
|
}
|
|
v.Op = OpAMD64MOVQload
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AuxInt = addOff(off1, off2)
|
|
v.Aux = mergeSym(sym1, sym2)
|
|
v.AddArg(base)
|
|
v.AddArg(mem)
|
|
return true
|
|
}
|
|
goto end227426af95e74caddcf59fdcd30ca8bc
|
|
end227426af95e74caddcf59fdcd30ca8bc:
|
|
;
|
|
// match: (MOVQload [off1] (LEAQ8 [off2] ptr idx) mem)
|
|
// cond:
|
|
// result: (MOVQloadidx8 [addOff(off1, off2)] ptr idx mem)
|
|
{
|
|
off1 := v.AuxInt
|
|
if v.Args[0].Op != OpAMD64LEAQ8 {
|
|
goto end02f5ad148292c46463e7c20d3b821735
|
|
}
|
|
off2 := v.Args[0].AuxInt
|
|
ptr := v.Args[0].Args[0]
|
|
idx := v.Args[0].Args[1]
|
|
mem := v.Args[1]
|
|
v.Op = OpAMD64MOVQloadidx8
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AuxInt = addOff(off1, off2)
|
|
v.AddArg(ptr)
|
|
v.AddArg(idx)
|
|
v.AddArg(mem)
|
|
return true
|
|
}
|
|
goto end02f5ad148292c46463e7c20d3b821735
|
|
end02f5ad148292c46463e7c20d3b821735:
|
|
;
|
|
case OpAMD64MOVQloadidx8:
|
|
// match: (MOVQloadidx8 [off1] (ADDQconst [off2] ptr) idx mem)
|
|
// cond:
|
|
// result: (MOVQloadidx8 [addOff(off1, off2)] ptr idx mem)
|
|
{
|
|
off1 := v.AuxInt
|
|
if v.Args[0].Op != OpAMD64ADDQconst {
|
|
goto ende81e44bcfb11f90916ccb440c590121f
|
|
}
|
|
off2 := v.Args[0].AuxInt
|
|
ptr := v.Args[0].Args[0]
|
|
idx := v.Args[1]
|
|
mem := v.Args[2]
|
|
v.Op = OpAMD64MOVQloadidx8
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AuxInt = addOff(off1, off2)
|
|
v.AddArg(ptr)
|
|
v.AddArg(idx)
|
|
v.AddArg(mem)
|
|
return true
|
|
}
|
|
goto ende81e44bcfb11f90916ccb440c590121f
|
|
ende81e44bcfb11f90916ccb440c590121f:
|
|
;
|
|
case OpAMD64MOVQstore:
|
|
// match: (MOVQstore [off1] (ADDQconst [off2] ptr) val mem)
|
|
// cond:
|
|
// result: (MOVQstore [addOff(off1, off2)] ptr val mem)
|
|
{
|
|
off1 := v.AuxInt
|
|
if v.Args[0].Op != OpAMD64ADDQconst {
|
|
goto end2108c693a43c79aed10b9246c39c80aa
|
|
}
|
|
off2 := v.Args[0].AuxInt
|
|
ptr := v.Args[0].Args[0]
|
|
val := v.Args[1]
|
|
mem := v.Args[2]
|
|
v.Op = OpAMD64MOVQstore
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AuxInt = addOff(off1, off2)
|
|
v.AddArg(ptr)
|
|
v.AddArg(val)
|
|
v.AddArg(mem)
|
|
return true
|
|
}
|
|
goto end2108c693a43c79aed10b9246c39c80aa
|
|
end2108c693a43c79aed10b9246c39c80aa:
|
|
;
|
|
// match: (MOVQstore [off1] {sym1} (LEAQ [off2] {sym2} base) val mem)
|
|
// cond: (sym1 == nil || sym2 == nil)
|
|
// result: (MOVQstore [addOff(off1,off2)] {mergeSym(sym1,sym2)} base val mem)
|
|
{
|
|
off1 := v.AuxInt
|
|
sym1 := v.Aux
|
|
if v.Args[0].Op != OpAMD64LEAQ {
|
|
goto end5061f48193268a5eb1e1740bdd23c43d
|
|
}
|
|
off2 := v.Args[0].AuxInt
|
|
sym2 := v.Args[0].Aux
|
|
base := v.Args[0].Args[0]
|
|
val := v.Args[1]
|
|
mem := v.Args[2]
|
|
if !(sym1 == nil || sym2 == nil) {
|
|
goto end5061f48193268a5eb1e1740bdd23c43d
|
|
}
|
|
v.Op = OpAMD64MOVQstore
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AuxInt = addOff(off1, off2)
|
|
v.Aux = mergeSym(sym1, sym2)
|
|
v.AddArg(base)
|
|
v.AddArg(val)
|
|
v.AddArg(mem)
|
|
return true
|
|
}
|
|
goto end5061f48193268a5eb1e1740bdd23c43d
|
|
end5061f48193268a5eb1e1740bdd23c43d:
|
|
;
|
|
// match: (MOVQstore [off1] (LEAQ8 [off2] ptr idx) val mem)
|
|
// cond:
|
|
// result: (MOVQstoreidx8 [addOff(off1, off2)] ptr idx val mem)
|
|
{
|
|
off1 := v.AuxInt
|
|
if v.Args[0].Op != OpAMD64LEAQ8 {
|
|
goto endce1db8c8d37c8397c500a2068a65c215
|
|
}
|
|
off2 := v.Args[0].AuxInt
|
|
ptr := v.Args[0].Args[0]
|
|
idx := v.Args[0].Args[1]
|
|
val := v.Args[1]
|
|
mem := v.Args[2]
|
|
v.Op = OpAMD64MOVQstoreidx8
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AuxInt = addOff(off1, off2)
|
|
v.AddArg(ptr)
|
|
v.AddArg(idx)
|
|
v.AddArg(val)
|
|
v.AddArg(mem)
|
|
return true
|
|
}
|
|
goto endce1db8c8d37c8397c500a2068a65c215
|
|
endce1db8c8d37c8397c500a2068a65c215:
|
|
;
|
|
case OpAMD64MOVQstoreidx8:
|
|
// match: (MOVQstoreidx8 [off1] (ADDQconst [off2] ptr) idx val mem)
|
|
// cond:
|
|
// result: (MOVQstoreidx8 [addOff(off1, off2)] ptr idx val mem)
|
|
{
|
|
off1 := v.AuxInt
|
|
if v.Args[0].Op != OpAMD64ADDQconst {
|
|
goto end01c970657b0fdefeab82458c15022163
|
|
}
|
|
off2 := v.Args[0].AuxInt
|
|
ptr := v.Args[0].Args[0]
|
|
idx := v.Args[1]
|
|
val := v.Args[2]
|
|
mem := v.Args[3]
|
|
v.Op = OpAMD64MOVQstoreidx8
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AuxInt = addOff(off1, off2)
|
|
v.AddArg(ptr)
|
|
v.AddArg(idx)
|
|
v.AddArg(val)
|
|
v.AddArg(mem)
|
|
return true
|
|
}
|
|
goto end01c970657b0fdefeab82458c15022163
|
|
end01c970657b0fdefeab82458c15022163:
|
|
;
|
|
case OpAMD64MOVWstore:
|
|
// match: (MOVWstore ptr (MOVWQSX x) mem)
|
|
// cond:
|
|
// result: (MOVWstore ptr x mem)
|
|
{
|
|
ptr := v.Args[0]
|
|
if v.Args[1].Op != OpAMD64MOVWQSX {
|
|
goto endcc13af07a951a61fcfec3299342f7e1f
|
|
}
|
|
x := v.Args[1].Args[0]
|
|
mem := v.Args[2]
|
|
v.Op = OpAMD64MOVWstore
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AddArg(ptr)
|
|
v.AddArg(x)
|
|
v.AddArg(mem)
|
|
return true
|
|
}
|
|
goto endcc13af07a951a61fcfec3299342f7e1f
|
|
endcc13af07a951a61fcfec3299342f7e1f:
|
|
;
|
|
case OpAMD64MULQ:
|
|
// match: (MULQ x (MOVQconst [c]))
|
|
// cond: c == int64(int32(c))
|
|
// result: (MULQconst [c] x)
|
|
{
|
|
x := v.Args[0]
|
|
if v.Args[1].Op != OpAMD64MOVQconst {
|
|
goto end680a32a37babfff4bfa7d23be592a131
|
|
}
|
|
c := v.Args[1].AuxInt
|
|
if !(c == int64(int32(c))) {
|
|
goto end680a32a37babfff4bfa7d23be592a131
|
|
}
|
|
v.Op = OpAMD64MULQconst
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AuxInt = c
|
|
v.AddArg(x)
|
|
return true
|
|
}
|
|
goto end680a32a37babfff4bfa7d23be592a131
|
|
end680a32a37babfff4bfa7d23be592a131:
|
|
;
|
|
// match: (MULQ (MOVQconst [c]) x)
|
|
// cond:
|
|
// result: (MULQconst [c] x)
|
|
{
|
|
if v.Args[0].Op != OpAMD64MOVQconst {
|
|
goto endc6e18d6968175d6e58eafa6dcf40c1b8
|
|
}
|
|
c := v.Args[0].AuxInt
|
|
x := v.Args[1]
|
|
v.Op = OpAMD64MULQconst
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AuxInt = c
|
|
v.AddArg(x)
|
|
return true
|
|
}
|
|
goto endc6e18d6968175d6e58eafa6dcf40c1b8
|
|
endc6e18d6968175d6e58eafa6dcf40c1b8:
|
|
;
|
|
case OpAMD64MULQconst:
|
|
// match: (MULQconst [8] x)
|
|
// cond:
|
|
// result: (SHLQconst [3] x)
|
|
{
|
|
if v.AuxInt != 8 {
|
|
goto ende8d313a52a134fb2e1c0beb54ea599fd
|
|
}
|
|
x := v.Args[0]
|
|
v.Op = OpAMD64SHLQconst
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AuxInt = 3
|
|
v.AddArg(x)
|
|
return true
|
|
}
|
|
goto ende8d313a52a134fb2e1c0beb54ea599fd
|
|
ende8d313a52a134fb2e1c0beb54ea599fd:
|
|
;
|
|
// match: (MULQconst [64] x)
|
|
// cond:
|
|
// result: (SHLQconst [5] x)
|
|
{
|
|
if v.AuxInt != 64 {
|
|
goto end75c0c250c703f89e6c43d718dd5ea3c0
|
|
}
|
|
x := v.Args[0]
|
|
v.Op = OpAMD64SHLQconst
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AuxInt = 5
|
|
v.AddArg(x)
|
|
return true
|
|
}
|
|
goto end75c0c250c703f89e6c43d718dd5ea3c0
|
|
end75c0c250c703f89e6c43d718dd5ea3c0:
|
|
;
|
|
case OpMove:
|
|
// match: (Move [size] dst src mem)
|
|
// cond:
|
|
// result: (REPMOVSB dst src (Const <TypeUInt64> [size]) mem)
|
|
{
|
|
size := v.AuxInt
|
|
dst := v.Args[0]
|
|
src := v.Args[1]
|
|
mem := v.Args[2]
|
|
v.Op = OpAMD64REPMOVSB
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AddArg(dst)
|
|
v.AddArg(src)
|
|
v0 := v.Block.NewValue0(v.Line, OpConst, TypeInvalid)
|
|
v0.Type = TypeUInt64
|
|
v0.AuxInt = size
|
|
v.AddArg(v0)
|
|
v.AddArg(mem)
|
|
return true
|
|
}
|
|
goto end1b2d226705fd31dbbe74e3286af178ea
|
|
end1b2d226705fd31dbbe74e3286af178ea:
|
|
;
|
|
case OpMul:
|
|
// match: (Mul <t> x y)
|
|
// cond: is64BitInt(t)
|
|
// result: (MULQ x y)
|
|
{
|
|
t := v.Type
|
|
x := v.Args[0]
|
|
y := v.Args[1]
|
|
if !(is64BitInt(t)) {
|
|
goto endfab0d598f376ecba45a22587d50f7aff
|
|
}
|
|
v.Op = OpAMD64MULQ
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AddArg(x)
|
|
v.AddArg(y)
|
|
return true
|
|
}
|
|
goto endfab0d598f376ecba45a22587d50f7aff
|
|
endfab0d598f376ecba45a22587d50f7aff:
|
|
;
|
|
case OpNeq:
|
|
// match: (Neq x y)
|
|
// cond: is64BitInt(v.Args[0].Type) && isSigned(v.Args[0].Type)
|
|
// result: (SETNE (CMPQ <TypeFlags> x y))
|
|
{
|
|
x := v.Args[0]
|
|
y := v.Args[1]
|
|
if !(is64BitInt(v.Args[0].Type) && isSigned(v.Args[0].Type)) {
|
|
goto enddccbd4e7581ae8d9916b933d3501987b
|
|
}
|
|
v.Op = OpAMD64SETNE
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v0 := v.Block.NewValue0(v.Line, OpAMD64CMPQ, TypeInvalid)
|
|
v0.Type = TypeFlags
|
|
v0.AddArg(x)
|
|
v0.AddArg(y)
|
|
v.AddArg(v0)
|
|
return true
|
|
}
|
|
goto enddccbd4e7581ae8d9916b933d3501987b
|
|
enddccbd4e7581ae8d9916b933d3501987b:
|
|
;
|
|
case OpNot:
|
|
// match: (Not x)
|
|
// cond:
|
|
// result: (XORQconst [1] x)
|
|
{
|
|
x := v.Args[0]
|
|
v.Op = OpAMD64XORQconst
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AuxInt = 1
|
|
v.AddArg(x)
|
|
return true
|
|
}
|
|
goto endaabd7f5e27417cf3182cd5e4f4360410
|
|
endaabd7f5e27417cf3182cd5e4f4360410:
|
|
;
|
|
case OpOffPtr:
|
|
// match: (OffPtr [off] ptr)
|
|
// cond:
|
|
// result: (ADDQconst [off] ptr)
|
|
{
|
|
off := v.AuxInt
|
|
ptr := v.Args[0]
|
|
v.Op = OpAMD64ADDQconst
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AuxInt = off
|
|
v.AddArg(ptr)
|
|
return true
|
|
}
|
|
goto end0429f947ee7ac49ff45a243e461a5290
|
|
end0429f947ee7ac49ff45a243e461a5290:
|
|
;
|
|
case OpRsh:
|
|
// match: (Rsh <t> x y)
|
|
// cond: is64BitInt(t) && !t.IsSigned()
|
|
// result: (ANDQ (SHRQ <t> x y) (SBBQcarrymask <t> (CMPQconst <TypeFlags> [64] y)))
|
|
{
|
|
t := v.Type
|
|
x := v.Args[0]
|
|
y := v.Args[1]
|
|
if !(is64BitInt(t) && !t.IsSigned()) {
|
|
goto ende3e068773b8e6def1eaedb4f404ca6e5
|
|
}
|
|
v.Op = OpAMD64ANDQ
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v0 := v.Block.NewValue0(v.Line, OpAMD64SHRQ, TypeInvalid)
|
|
v0.Type = t
|
|
v0.AddArg(x)
|
|
v0.AddArg(y)
|
|
v.AddArg(v0)
|
|
v1 := v.Block.NewValue0(v.Line, OpAMD64SBBQcarrymask, TypeInvalid)
|
|
v1.Type = t
|
|
v2 := v.Block.NewValue0(v.Line, OpAMD64CMPQconst, TypeInvalid)
|
|
v2.Type = TypeFlags
|
|
v2.AuxInt = 64
|
|
v2.AddArg(y)
|
|
v1.AddArg(v2)
|
|
v.AddArg(v1)
|
|
return true
|
|
}
|
|
goto ende3e068773b8e6def1eaedb4f404ca6e5
|
|
ende3e068773b8e6def1eaedb4f404ca6e5:
|
|
;
|
|
// match: (Rsh <t> x y)
|
|
// cond: is64BitInt(t) && t.IsSigned()
|
|
// result: (SARQ <t> x (CMOVQCC <t> (CMPQconst <TypeFlags> [64] y) (Const <t> [63]) y))
|
|
{
|
|
t := v.Type
|
|
x := v.Args[0]
|
|
y := v.Args[1]
|
|
if !(is64BitInt(t) && t.IsSigned()) {
|
|
goto end901ea4851cd5d2277a1ca1bee8f69d59
|
|
}
|
|
v.Op = OpAMD64SARQ
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.Type = t
|
|
v.AddArg(x)
|
|
v0 := v.Block.NewValue0(v.Line, OpAMD64CMOVQCC, TypeInvalid)
|
|
v0.Type = t
|
|
v1 := v.Block.NewValue0(v.Line, OpAMD64CMPQconst, TypeInvalid)
|
|
v1.Type = TypeFlags
|
|
v1.AuxInt = 64
|
|
v1.AddArg(y)
|
|
v0.AddArg(v1)
|
|
v2 := v.Block.NewValue0(v.Line, OpConst, TypeInvalid)
|
|
v2.Type = t
|
|
v2.AuxInt = 63
|
|
v0.AddArg(v2)
|
|
v0.AddArg(y)
|
|
v.AddArg(v0)
|
|
return true
|
|
}
|
|
goto end901ea4851cd5d2277a1ca1bee8f69d59
|
|
end901ea4851cd5d2277a1ca1bee8f69d59:
|
|
;
|
|
case OpAMD64SARQ:
|
|
// match: (SARQ x (MOVQconst [c]))
|
|
// cond:
|
|
// result: (SARQconst [c] x)
|
|
{
|
|
x := v.Args[0]
|
|
if v.Args[1].Op != OpAMD64MOVQconst {
|
|
goto end031712b4008075e25a5827dcb8dd3ebb
|
|
}
|
|
c := v.Args[1].AuxInt
|
|
v.Op = OpAMD64SARQconst
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AuxInt = c
|
|
v.AddArg(x)
|
|
return true
|
|
}
|
|
goto end031712b4008075e25a5827dcb8dd3ebb
|
|
end031712b4008075e25a5827dcb8dd3ebb:
|
|
;
|
|
case OpAMD64SBBQcarrymask:
|
|
// match: (SBBQcarrymask (CMPQconst [c] (MOVQconst [d])))
|
|
// cond: inBounds(d, c)
|
|
// result: (Const [-1])
|
|
{
|
|
if v.Args[0].Op != OpAMD64CMPQconst {
|
|
goto endf67d323ecef000dbcd15d7e031c3475e
|
|
}
|
|
c := v.Args[0].AuxInt
|
|
if v.Args[0].Args[0].Op != OpAMD64MOVQconst {
|
|
goto endf67d323ecef000dbcd15d7e031c3475e
|
|
}
|
|
d := v.Args[0].Args[0].AuxInt
|
|
if !(inBounds(d, c)) {
|
|
goto endf67d323ecef000dbcd15d7e031c3475e
|
|
}
|
|
v.Op = OpConst
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AuxInt = -1
|
|
return true
|
|
}
|
|
goto endf67d323ecef000dbcd15d7e031c3475e
|
|
endf67d323ecef000dbcd15d7e031c3475e:
|
|
;
|
|
// match: (SBBQcarrymask (CMPQconst [c] (MOVQconst [d])))
|
|
// cond: !inBounds(d, c)
|
|
// result: (Const [0])
|
|
{
|
|
if v.Args[0].Op != OpAMD64CMPQconst {
|
|
goto end4157ddea9c4f71bfabfd6fa50e1208ed
|
|
}
|
|
c := v.Args[0].AuxInt
|
|
if v.Args[0].Args[0].Op != OpAMD64MOVQconst {
|
|
goto end4157ddea9c4f71bfabfd6fa50e1208ed
|
|
}
|
|
d := v.Args[0].Args[0].AuxInt
|
|
if !(!inBounds(d, c)) {
|
|
goto end4157ddea9c4f71bfabfd6fa50e1208ed
|
|
}
|
|
v.Op = OpConst
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AuxInt = 0
|
|
return true
|
|
}
|
|
goto end4157ddea9c4f71bfabfd6fa50e1208ed
|
|
end4157ddea9c4f71bfabfd6fa50e1208ed:
|
|
;
|
|
case OpAMD64SETG:
|
|
// match: (SETG (InvertFlags x))
|
|
// cond:
|
|
// result: (SETL x)
|
|
{
|
|
if v.Args[0].Op != OpAMD64InvertFlags {
|
|
goto endf7586738694c9cd0b74ae28bbadb649f
|
|
}
|
|
x := v.Args[0].Args[0]
|
|
v.Op = OpAMD64SETL
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AddArg(x)
|
|
return true
|
|
}
|
|
goto endf7586738694c9cd0b74ae28bbadb649f
|
|
endf7586738694c9cd0b74ae28bbadb649f:
|
|
;
|
|
case OpAMD64SETL:
|
|
// match: (SETL (InvertFlags x))
|
|
// cond:
|
|
// result: (SETG x)
|
|
{
|
|
if v.Args[0].Op != OpAMD64InvertFlags {
|
|
goto ende33160cd86b9d4d3b77e02fb4658d5d3
|
|
}
|
|
x := v.Args[0].Args[0]
|
|
v.Op = OpAMD64SETG
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AddArg(x)
|
|
return true
|
|
}
|
|
goto ende33160cd86b9d4d3b77e02fb4658d5d3
|
|
ende33160cd86b9d4d3b77e02fb4658d5d3:
|
|
;
|
|
case OpAMD64SHLQ:
|
|
// match: (SHLQ x (MOVQconst [c]))
|
|
// cond:
|
|
// result: (SHLQconst [c] x)
|
|
{
|
|
x := v.Args[0]
|
|
if v.Args[1].Op != OpAMD64MOVQconst {
|
|
goto endcca412bead06dc3d56ef034a82d184d6
|
|
}
|
|
c := v.Args[1].AuxInt
|
|
v.Op = OpAMD64SHLQconst
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AuxInt = c
|
|
v.AddArg(x)
|
|
return true
|
|
}
|
|
goto endcca412bead06dc3d56ef034a82d184d6
|
|
endcca412bead06dc3d56ef034a82d184d6:
|
|
;
|
|
case OpAMD64SHRQ:
|
|
// match: (SHRQ x (MOVQconst [c]))
|
|
// cond:
|
|
// result: (SHRQconst [c] x)
|
|
{
|
|
x := v.Args[0]
|
|
if v.Args[1].Op != OpAMD64MOVQconst {
|
|
goto endbb0d3a04dd2b810cb3dbdf7ef665f22b
|
|
}
|
|
c := v.Args[1].AuxInt
|
|
v.Op = OpAMD64SHRQconst
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AuxInt = c
|
|
v.AddArg(x)
|
|
return true
|
|
}
|
|
goto endbb0d3a04dd2b810cb3dbdf7ef665f22b
|
|
endbb0d3a04dd2b810cb3dbdf7ef665f22b:
|
|
;
|
|
case OpAMD64SUBQ:
|
|
// match: (SUBQ x (MOVQconst [c]))
|
|
// cond:
|
|
// result: (SUBQconst x [c])
|
|
{
|
|
x := v.Args[0]
|
|
if v.Args[1].Op != OpAMD64MOVQconst {
|
|
goto end5a74a63bd9ad15437717c6df3b25eebb
|
|
}
|
|
c := v.Args[1].AuxInt
|
|
v.Op = OpAMD64SUBQconst
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AddArg(x)
|
|
v.AuxInt = c
|
|
return true
|
|
}
|
|
goto end5a74a63bd9ad15437717c6df3b25eebb
|
|
end5a74a63bd9ad15437717c6df3b25eebb:
|
|
;
|
|
// match: (SUBQ <t> (MOVQconst [c]) x)
|
|
// cond:
|
|
// result: (NEGQ (SUBQconst <t> x [c]))
|
|
{
|
|
t := v.Type
|
|
if v.Args[0].Op != OpAMD64MOVQconst {
|
|
goto end78e66b6fc298684ff4ac8aec5ce873c9
|
|
}
|
|
c := v.Args[0].AuxInt
|
|
x := v.Args[1]
|
|
v.Op = OpAMD64NEGQ
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v0 := v.Block.NewValue0(v.Line, OpAMD64SUBQconst, TypeInvalid)
|
|
v0.Type = t
|
|
v0.AddArg(x)
|
|
v0.AuxInt = c
|
|
v.AddArg(v0)
|
|
return true
|
|
}
|
|
goto end78e66b6fc298684ff4ac8aec5ce873c9
|
|
end78e66b6fc298684ff4ac8aec5ce873c9:
|
|
;
|
|
case OpStaticCall:
|
|
// match: (StaticCall {target} mem)
|
|
// cond:
|
|
// result: (CALLstatic {target} mem)
|
|
{
|
|
target := v.Aux
|
|
mem := v.Args[0]
|
|
v.Op = OpAMD64CALLstatic
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.Aux = target
|
|
v.AddArg(mem)
|
|
return true
|
|
}
|
|
goto end1948857a7cfc2a4f905045e58d3b9ec1
|
|
end1948857a7cfc2a4f905045e58d3b9ec1:
|
|
;
|
|
case OpStore:
|
|
// match: (Store ptr val mem)
|
|
// cond: (is64BitInt(val.Type) || isPtr(val.Type))
|
|
// result: (MOVQstore ptr val mem)
|
|
{
|
|
ptr := v.Args[0]
|
|
val := v.Args[1]
|
|
mem := v.Args[2]
|
|
if !(is64BitInt(val.Type) || isPtr(val.Type)) {
|
|
goto endbaeb60123806948cd2433605820d5af1
|
|
}
|
|
v.Op = OpAMD64MOVQstore
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AddArg(ptr)
|
|
v.AddArg(val)
|
|
v.AddArg(mem)
|
|
return true
|
|
}
|
|
goto endbaeb60123806948cd2433605820d5af1
|
|
endbaeb60123806948cd2433605820d5af1:
|
|
;
|
|
// match: (Store ptr val mem)
|
|
// cond: is32BitInt(val.Type)
|
|
// result: (MOVLstore ptr val mem)
|
|
{
|
|
ptr := v.Args[0]
|
|
val := v.Args[1]
|
|
mem := v.Args[2]
|
|
if !(is32BitInt(val.Type)) {
|
|
goto end582e895008657c728c141c6b95070de7
|
|
}
|
|
v.Op = OpAMD64MOVLstore
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AddArg(ptr)
|
|
v.AddArg(val)
|
|
v.AddArg(mem)
|
|
return true
|
|
}
|
|
goto end582e895008657c728c141c6b95070de7
|
|
end582e895008657c728c141c6b95070de7:
|
|
;
|
|
// match: (Store ptr val mem)
|
|
// cond: is16BitInt(val.Type)
|
|
// result: (MOVWstore ptr val mem)
|
|
{
|
|
ptr := v.Args[0]
|
|
val := v.Args[1]
|
|
mem := v.Args[2]
|
|
if !(is16BitInt(val.Type)) {
|
|
goto enda3f6a985b6ebb277665f80ad30b178df
|
|
}
|
|
v.Op = OpAMD64MOVWstore
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AddArg(ptr)
|
|
v.AddArg(val)
|
|
v.AddArg(mem)
|
|
return true
|
|
}
|
|
goto enda3f6a985b6ebb277665f80ad30b178df
|
|
enda3f6a985b6ebb277665f80ad30b178df:
|
|
;
|
|
// match: (Store ptr val mem)
|
|
// cond: is8BitInt(val.Type)
|
|
// result: (MOVBstore ptr val mem)
|
|
{
|
|
ptr := v.Args[0]
|
|
val := v.Args[1]
|
|
mem := v.Args[2]
|
|
if !(is8BitInt(val.Type)) {
|
|
goto ende2dee0bc82f631e3c6b0031bf8d224c1
|
|
}
|
|
v.Op = OpAMD64MOVBstore
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AddArg(ptr)
|
|
v.AddArg(val)
|
|
v.AddArg(mem)
|
|
return true
|
|
}
|
|
goto ende2dee0bc82f631e3c6b0031bf8d224c1
|
|
ende2dee0bc82f631e3c6b0031bf8d224c1:
|
|
;
|
|
// match: (Store ptr val mem)
|
|
// cond: val.Type.IsBoolean()
|
|
// result: (MOVBstore ptr val mem)
|
|
{
|
|
ptr := v.Args[0]
|
|
val := v.Args[1]
|
|
mem := v.Args[2]
|
|
if !(val.Type.IsBoolean()) {
|
|
goto end6f343b676bf49740054e459f972b24f5
|
|
}
|
|
v.Op = OpAMD64MOVBstore
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AddArg(ptr)
|
|
v.AddArg(val)
|
|
v.AddArg(mem)
|
|
return true
|
|
}
|
|
goto end6f343b676bf49740054e459f972b24f5
|
|
end6f343b676bf49740054e459f972b24f5:
|
|
;
|
|
case OpSub:
|
|
// match: (Sub <t> x y)
|
|
// cond: is64BitInt(t)
|
|
// result: (SUBQ x y)
|
|
{
|
|
t := v.Type
|
|
x := v.Args[0]
|
|
y := v.Args[1]
|
|
if !(is64BitInt(t)) {
|
|
goto ende6ef29f885a8ecf3058212bb95917323
|
|
}
|
|
v.Op = OpAMD64SUBQ
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AddArg(x)
|
|
v.AddArg(y)
|
|
return true
|
|
}
|
|
goto ende6ef29f885a8ecf3058212bb95917323
|
|
ende6ef29f885a8ecf3058212bb95917323:
|
|
;
|
|
case OpZero:
|
|
// match: (Zero [0] _ mem)
|
|
// cond:
|
|
// result: (Copy mem)
|
|
{
|
|
if v.AuxInt != 0 {
|
|
goto endb85a34a7d102b0e0d801454f437db5bf
|
|
}
|
|
mem := v.Args[1]
|
|
v.Op = OpCopy
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AddArg(mem)
|
|
return true
|
|
}
|
|
goto endb85a34a7d102b0e0d801454f437db5bf
|
|
endb85a34a7d102b0e0d801454f437db5bf:
|
|
;
|
|
// match: (Zero [1] destptr mem)
|
|
// cond:
|
|
// result: (MOVBstore destptr (Const <TypeInt8> [0]) mem)
|
|
{
|
|
if v.AuxInt != 1 {
|
|
goto end09ec7b1fc5ad40534e0e25c896323f5c
|
|
}
|
|
destptr := v.Args[0]
|
|
mem := v.Args[1]
|
|
v.Op = OpAMD64MOVBstore
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AddArg(destptr)
|
|
v0 := v.Block.NewValue0(v.Line, OpConst, TypeInvalid)
|
|
v0.Type = TypeInt8
|
|
v0.AuxInt = 0
|
|
v.AddArg(v0)
|
|
v.AddArg(mem)
|
|
return true
|
|
}
|
|
goto end09ec7b1fc5ad40534e0e25c896323f5c
|
|
end09ec7b1fc5ad40534e0e25c896323f5c:
|
|
;
|
|
// match: (Zero [2] destptr mem)
|
|
// cond:
|
|
// result: (MOVWstore destptr (Const <TypeInt16> [0]) mem)
|
|
{
|
|
if v.AuxInt != 2 {
|
|
goto end2dee246789dbd305bb1eaec768bdae14
|
|
}
|
|
destptr := v.Args[0]
|
|
mem := v.Args[1]
|
|
v.Op = OpAMD64MOVWstore
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AddArg(destptr)
|
|
v0 := v.Block.NewValue0(v.Line, OpConst, TypeInvalid)
|
|
v0.Type = TypeInt16
|
|
v0.AuxInt = 0
|
|
v.AddArg(v0)
|
|
v.AddArg(mem)
|
|
return true
|
|
}
|
|
goto end2dee246789dbd305bb1eaec768bdae14
|
|
end2dee246789dbd305bb1eaec768bdae14:
|
|
;
|
|
// match: (Zero [4] destptr mem)
|
|
// cond:
|
|
// result: (MOVLstore destptr (Const <TypeInt32> [0]) mem)
|
|
{
|
|
if v.AuxInt != 4 {
|
|
goto ende2bf4ecf21bc9e76700a9c5f62546e78
|
|
}
|
|
destptr := v.Args[0]
|
|
mem := v.Args[1]
|
|
v.Op = OpAMD64MOVLstore
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AddArg(destptr)
|
|
v0 := v.Block.NewValue0(v.Line, OpConst, TypeInvalid)
|
|
v0.Type = TypeInt32
|
|
v0.AuxInt = 0
|
|
v.AddArg(v0)
|
|
v.AddArg(mem)
|
|
return true
|
|
}
|
|
goto ende2bf4ecf21bc9e76700a9c5f62546e78
|
|
ende2bf4ecf21bc9e76700a9c5f62546e78:
|
|
;
|
|
// match: (Zero [8] destptr mem)
|
|
// cond:
|
|
// result: (MOVQstore destptr (Const <TypeInt64> [0]) mem)
|
|
{
|
|
if v.AuxInt != 8 {
|
|
goto enda65d5d60783daf9b9405f04c44f7adaf
|
|
}
|
|
destptr := v.Args[0]
|
|
mem := v.Args[1]
|
|
v.Op = OpAMD64MOVQstore
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AddArg(destptr)
|
|
v0 := v.Block.NewValue0(v.Line, OpConst, TypeInvalid)
|
|
v0.Type = TypeInt64
|
|
v0.AuxInt = 0
|
|
v.AddArg(v0)
|
|
v.AddArg(mem)
|
|
return true
|
|
}
|
|
goto enda65d5d60783daf9b9405f04c44f7adaf
|
|
enda65d5d60783daf9b9405f04c44f7adaf:
|
|
;
|
|
// match: (Zero [size] destptr mem)
|
|
// cond: size < 4*8
|
|
// result: (MOVXzero [size] destptr mem)
|
|
{
|
|
size := v.AuxInt
|
|
destptr := v.Args[0]
|
|
mem := v.Args[1]
|
|
if !(size < 4*8) {
|
|
goto endf0a22f1506977610ac0a310eee152075
|
|
}
|
|
v.Op = OpAMD64MOVXzero
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AuxInt = size
|
|
v.AddArg(destptr)
|
|
v.AddArg(mem)
|
|
return true
|
|
}
|
|
goto endf0a22f1506977610ac0a310eee152075
|
|
endf0a22f1506977610ac0a310eee152075:
|
|
;
|
|
// match: (Zero [size] destptr mem)
|
|
// cond: size >= 4*8
|
|
// result: (Zero [size%8] (OffPtr <TypeUInt64> [size-(size%8)] destptr) (REPSTOSQ <TypeMem> destptr (Const <TypeUInt64> [size/8]) mem))
|
|
{
|
|
size := v.AuxInt
|
|
destptr := v.Args[0]
|
|
mem := v.Args[1]
|
|
if !(size >= 4*8) {
|
|
goto end7a358169d20d6834b21f2e03fbf351b2
|
|
}
|
|
v.Op = OpZero
|
|
v.AuxInt = 0
|
|
v.Aux = nil
|
|
v.resetArgs()
|
|
v.AuxInt = size % 8
|
|
v0 := v.Block.NewValue0(v.Line, OpOffPtr, TypeInvalid)
|
|
v0.Type = TypeUInt64
|
|
v0.AuxInt = size - (size % 8)
|
|
v0.AddArg(destptr)
|
|
v.AddArg(v0)
|
|
v1 := v.Block.NewValue0(v.Line, OpAMD64REPSTOSQ, TypeInvalid)
|
|
v1.Type = TypeMem
|
|
v1.AddArg(destptr)
|
|
v2 := v.Block.NewValue0(v.Line, OpConst, TypeInvalid)
|
|
v2.Type = TypeUInt64
|
|
v2.AuxInt = size / 8
|
|
v1.AddArg(v2)
|
|
v1.AddArg(mem)
|
|
v.AddArg(v1)
|
|
return true
|
|
}
|
|
goto end7a358169d20d6834b21f2e03fbf351b2
|
|
end7a358169d20d6834b21f2e03fbf351b2:
|
|
}
|
|
return false
|
|
}
|
|
func rewriteBlockAMD64(b *Block) bool {
|
|
switch b.Kind {
|
|
case BlockAMD64EQ:
|
|
// match: (EQ (InvertFlags cmp) yes no)
|
|
// cond:
|
|
// result: (EQ cmp yes no)
|
|
{
|
|
v := b.Control
|
|
if v.Op != OpAMD64InvertFlags {
|
|
goto end6b8e9afc73b1c4d528f31a60d2575fae
|
|
}
|
|
cmp := v.Args[0]
|
|
yes := b.Succs[0]
|
|
no := b.Succs[1]
|
|
b.Kind = BlockAMD64EQ
|
|
b.Control = cmp
|
|
b.Succs[0] = yes
|
|
b.Succs[1] = no
|
|
return true
|
|
}
|
|
goto end6b8e9afc73b1c4d528f31a60d2575fae
|
|
end6b8e9afc73b1c4d528f31a60d2575fae:
|
|
;
|
|
case BlockAMD64GE:
|
|
// match: (GE (InvertFlags cmp) yes no)
|
|
// cond:
|
|
// result: (LE cmp yes no)
|
|
{
|
|
v := b.Control
|
|
if v.Op != OpAMD64InvertFlags {
|
|
goto end0610f000a6988ee8310307ec2ea138f8
|
|
}
|
|
cmp := v.Args[0]
|
|
yes := b.Succs[0]
|
|
no := b.Succs[1]
|
|
b.Kind = BlockAMD64LE
|
|
b.Control = cmp
|
|
b.Succs[0] = yes
|
|
b.Succs[1] = no
|
|
return true
|
|
}
|
|
goto end0610f000a6988ee8310307ec2ea138f8
|
|
end0610f000a6988ee8310307ec2ea138f8:
|
|
;
|
|
case BlockAMD64GT:
|
|
// match: (GT (InvertFlags cmp) yes no)
|
|
// cond:
|
|
// result: (LT cmp yes no)
|
|
{
|
|
v := b.Control
|
|
if v.Op != OpAMD64InvertFlags {
|
|
goto endf60c0660b6a8aa9565c97fc87f04eb34
|
|
}
|
|
cmp := v.Args[0]
|
|
yes := b.Succs[0]
|
|
no := b.Succs[1]
|
|
b.Kind = BlockAMD64LT
|
|
b.Control = cmp
|
|
b.Succs[0] = yes
|
|
b.Succs[1] = no
|
|
return true
|
|
}
|
|
goto endf60c0660b6a8aa9565c97fc87f04eb34
|
|
endf60c0660b6a8aa9565c97fc87f04eb34:
|
|
;
|
|
case BlockIf:
|
|
// match: (If (SETL cmp) yes no)
|
|
// cond:
|
|
// result: (LT cmp yes no)
|
|
{
|
|
v := b.Control
|
|
if v.Op != OpAMD64SETL {
|
|
goto ende4d36879bb8e1bd8facaa8c91ba99dcc
|
|
}
|
|
cmp := v.Args[0]
|
|
yes := b.Succs[0]
|
|
no := b.Succs[1]
|
|
b.Kind = BlockAMD64LT
|
|
b.Control = cmp
|
|
b.Succs[0] = yes
|
|
b.Succs[1] = no
|
|
return true
|
|
}
|
|
goto ende4d36879bb8e1bd8facaa8c91ba99dcc
|
|
ende4d36879bb8e1bd8facaa8c91ba99dcc:
|
|
;
|
|
// match: (If (SETNE cmp) yes no)
|
|
// cond:
|
|
// result: (NE cmp yes no)
|
|
{
|
|
v := b.Control
|
|
if v.Op != OpAMD64SETNE {
|
|
goto end5ff1403aaf7b543bc454177ab584e4f5
|
|
}
|
|
cmp := v.Args[0]
|
|
yes := b.Succs[0]
|
|
no := b.Succs[1]
|
|
b.Kind = BlockAMD64NE
|
|
b.Control = cmp
|
|
b.Succs[0] = yes
|
|
b.Succs[1] = no
|
|
return true
|
|
}
|
|
goto end5ff1403aaf7b543bc454177ab584e4f5
|
|
end5ff1403aaf7b543bc454177ab584e4f5:
|
|
;
|
|
// match: (If (SETB cmp) yes no)
|
|
// cond:
|
|
// result: (ULT cmp yes no)
|
|
{
|
|
v := b.Control
|
|
if v.Op != OpAMD64SETB {
|
|
goto end04935012db9defeafceef8175f803ea2
|
|
}
|
|
cmp := v.Args[0]
|
|
yes := b.Succs[0]
|
|
no := b.Succs[1]
|
|
b.Kind = BlockAMD64ULT
|
|
b.Control = cmp
|
|
b.Succs[0] = yes
|
|
b.Succs[1] = no
|
|
return true
|
|
}
|
|
goto end04935012db9defeafceef8175f803ea2
|
|
end04935012db9defeafceef8175f803ea2:
|
|
;
|
|
// match: (If cond yes no)
|
|
// cond: cond.Op == OpAMD64MOVBload
|
|
// result: (NE (TESTB <TypeFlags> cond cond) yes no)
|
|
{
|
|
v := b.Control
|
|
cond := v
|
|
yes := b.Succs[0]
|
|
no := b.Succs[1]
|
|
if !(cond.Op == OpAMD64MOVBload) {
|
|
goto end7e22019fb0effc80f85c05ea30bdb5d9
|
|
}
|
|
b.Kind = BlockAMD64NE
|
|
v0 := v.Block.NewValue0(v.Line, OpAMD64TESTB, TypeInvalid)
|
|
v0.Type = TypeFlags
|
|
v0.AddArg(cond)
|
|
v0.AddArg(cond)
|
|
b.Control = v0
|
|
b.Succs[0] = yes
|
|
b.Succs[1] = no
|
|
return true
|
|
}
|
|
goto end7e22019fb0effc80f85c05ea30bdb5d9
|
|
end7e22019fb0effc80f85c05ea30bdb5d9:
|
|
;
|
|
case BlockAMD64LE:
|
|
// match: (LE (InvertFlags cmp) yes no)
|
|
// cond:
|
|
// result: (GE cmp yes no)
|
|
{
|
|
v := b.Control
|
|
if v.Op != OpAMD64InvertFlags {
|
|
goto end0d49d7d087fe7578e8015cf13dae37e3
|
|
}
|
|
cmp := v.Args[0]
|
|
yes := b.Succs[0]
|
|
no := b.Succs[1]
|
|
b.Kind = BlockAMD64GE
|
|
b.Control = cmp
|
|
b.Succs[0] = yes
|
|
b.Succs[1] = no
|
|
return true
|
|
}
|
|
goto end0d49d7d087fe7578e8015cf13dae37e3
|
|
end0d49d7d087fe7578e8015cf13dae37e3:
|
|
;
|
|
case BlockAMD64LT:
|
|
// match: (LT (InvertFlags cmp) yes no)
|
|
// cond:
|
|
// result: (GT cmp yes no)
|
|
{
|
|
v := b.Control
|
|
if v.Op != OpAMD64InvertFlags {
|
|
goto end6a408cde0fee0ae7b7da0443c8d902bf
|
|
}
|
|
cmp := v.Args[0]
|
|
yes := b.Succs[0]
|
|
no := b.Succs[1]
|
|
b.Kind = BlockAMD64GT
|
|
b.Control = cmp
|
|
b.Succs[0] = yes
|
|
b.Succs[1] = no
|
|
return true
|
|
}
|
|
goto end6a408cde0fee0ae7b7da0443c8d902bf
|
|
end6a408cde0fee0ae7b7da0443c8d902bf:
|
|
;
|
|
case BlockAMD64NE:
|
|
// match: (NE (InvertFlags cmp) yes no)
|
|
// cond:
|
|
// result: (NE cmp yes no)
|
|
{
|
|
v := b.Control
|
|
if v.Op != OpAMD64InvertFlags {
|
|
goto end713001aba794e50b582fbff930e110af
|
|
}
|
|
cmp := v.Args[0]
|
|
yes := b.Succs[0]
|
|
no := b.Succs[1]
|
|
b.Kind = BlockAMD64NE
|
|
b.Control = cmp
|
|
b.Succs[0] = yes
|
|
b.Succs[1] = no
|
|
return true
|
|
}
|
|
goto end713001aba794e50b582fbff930e110af
|
|
end713001aba794e50b582fbff930e110af:
|
|
;
|
|
case BlockAMD64UGE:
|
|
// match: (UGE (InvertFlags cmp) yes no)
|
|
// cond:
|
|
// result: (ULE cmp yes no)
|
|
{
|
|
v := b.Control
|
|
if v.Op != OpAMD64InvertFlags {
|
|
goto ende3e4ddc183ca1a46598b11c2d0d13966
|
|
}
|
|
cmp := v.Args[0]
|
|
yes := b.Succs[0]
|
|
no := b.Succs[1]
|
|
b.Kind = BlockAMD64ULE
|
|
b.Control = cmp
|
|
b.Succs[0] = yes
|
|
b.Succs[1] = no
|
|
return true
|
|
}
|
|
goto ende3e4ddc183ca1a46598b11c2d0d13966
|
|
ende3e4ddc183ca1a46598b11c2d0d13966:
|
|
;
|
|
case BlockAMD64UGT:
|
|
// match: (UGT (InvertFlags cmp) yes no)
|
|
// cond:
|
|
// result: (ULT cmp yes no)
|
|
{
|
|
v := b.Control
|
|
if v.Op != OpAMD64InvertFlags {
|
|
goto end49818853af2e5251175d06c62768cae7
|
|
}
|
|
cmp := v.Args[0]
|
|
yes := b.Succs[0]
|
|
no := b.Succs[1]
|
|
b.Kind = BlockAMD64ULT
|
|
b.Control = cmp
|
|
b.Succs[0] = yes
|
|
b.Succs[1] = no
|
|
return true
|
|
}
|
|
goto end49818853af2e5251175d06c62768cae7
|
|
end49818853af2e5251175d06c62768cae7:
|
|
;
|
|
case BlockAMD64ULE:
|
|
// match: (ULE (InvertFlags cmp) yes no)
|
|
// cond:
|
|
// result: (UGE cmp yes no)
|
|
{
|
|
v := b.Control
|
|
if v.Op != OpAMD64InvertFlags {
|
|
goto endd6698aac0d67261293b558c95ea17b4f
|
|
}
|
|
cmp := v.Args[0]
|
|
yes := b.Succs[0]
|
|
no := b.Succs[1]
|
|
b.Kind = BlockAMD64UGE
|
|
b.Control = cmp
|
|
b.Succs[0] = yes
|
|
b.Succs[1] = no
|
|
return true
|
|
}
|
|
goto endd6698aac0d67261293b558c95ea17b4f
|
|
endd6698aac0d67261293b558c95ea17b4f:
|
|
;
|
|
case BlockAMD64ULT:
|
|
// match: (ULT (InvertFlags cmp) yes no)
|
|
// cond:
|
|
// result: (UGT cmp yes no)
|
|
{
|
|
v := b.Control
|
|
if v.Op != OpAMD64InvertFlags {
|
|
goto end35105dbc9646f02577167e45ae2f2fd2
|
|
}
|
|
cmp := v.Args[0]
|
|
yes := b.Succs[0]
|
|
no := b.Succs[1]
|
|
b.Kind = BlockAMD64UGT
|
|
b.Control = cmp
|
|
b.Succs[0] = yes
|
|
b.Succs[1] = no
|
|
return true
|
|
}
|
|
goto end35105dbc9646f02577167e45ae2f2fd2
|
|
end35105dbc9646f02577167e45ae2f2fd2:
|
|
}
|
|
return false
|
|
}
|