mirror of
https://github.com/golang/go.git
synced 2025-12-08 06:10:04 +00:00
cmd/compile: convert typed aux to CCop for ARM64 rules
Add a new conversion function to convert aux type to Op type. Passes toolstash-check -all. Change-Id: I25d649a5296f6f178d64320dfc5d291e0a597e24 Reviewed-on: https://go-review.googlesource.com/c/go/+/233739 Reviewed-by: Keith Randall <khr@golang.org>
This commit is contained in:
fanzha02
fannie zhang
parent
328214e85c
commit
ffbd8524ac
3 changed files with 119 additions and 116 deletions
|
|
@ -1451,38 +1451,38 @@
|
|||
(GEnoov (FlagConstant [fc]) yes no) && fc.geNoov() => (First yes no)
|
||||
(GEnoov (FlagConstant [fc]) yes no) && !fc.geNoov() => (First no yes)
|
||||
|
||||
(Z (MOVDconst [0]) yes no) -> (First yes no)
|
||||
(Z (MOVDconst [c]) yes no) && c != 0 -> (First no yes)
|
||||
(NZ (MOVDconst [0]) yes no) -> (First no yes)
|
||||
(NZ (MOVDconst [c]) yes no) && c != 0 -> (First yes no)
|
||||
(ZW (MOVDconst [c]) yes no) && int32(c) == 0 -> (First yes no)
|
||||
(ZW (MOVDconst [c]) yes no) && int32(c) != 0 -> (First no yes)
|
||||
(NZW (MOVDconst [c]) yes no) && int32(c) == 0 -> (First no yes)
|
||||
(NZW (MOVDconst [c]) yes no) && int32(c) != 0 -> (First yes no)
|
||||
(Z (MOVDconst [0]) yes no) => (First yes no)
|
||||
(Z (MOVDconst [c]) yes no) && c != 0 => (First no yes)
|
||||
(NZ (MOVDconst [0]) yes no) => (First no yes)
|
||||
(NZ (MOVDconst [c]) yes no) && c != 0 => (First yes no)
|
||||
(ZW (MOVDconst [c]) yes no) && int32(c) == 0 => (First yes no)
|
||||
(ZW (MOVDconst [c]) yes no) && int32(c) != 0 => (First no yes)
|
||||
(NZW (MOVDconst [c]) yes no) && int32(c) == 0 => (First no yes)
|
||||
(NZW (MOVDconst [c]) yes no) && int32(c) != 0 => (First yes no)
|
||||
|
||||
// absorb InvertFlags into branches
|
||||
(LT (InvertFlags cmp) yes no) -> (GT cmp yes no)
|
||||
(GT (InvertFlags cmp) yes no) -> (LT cmp yes no)
|
||||
(LE (InvertFlags cmp) yes no) -> (GE cmp yes no)
|
||||
(GE (InvertFlags cmp) yes no) -> (LE cmp yes no)
|
||||
(ULT (InvertFlags cmp) yes no) -> (UGT cmp yes no)
|
||||
(UGT (InvertFlags cmp) yes no) -> (ULT cmp yes no)
|
||||
(ULE (InvertFlags cmp) yes no) -> (UGE cmp yes no)
|
||||
(UGE (InvertFlags cmp) yes no) -> (ULE cmp yes no)
|
||||
(EQ (InvertFlags cmp) yes no) -> (EQ cmp yes no)
|
||||
(NE (InvertFlags cmp) yes no) -> (NE cmp yes no)
|
||||
(FLT (InvertFlags cmp) yes no) -> (FGT cmp yes no)
|
||||
(FGT (InvertFlags cmp) yes no) -> (FLT cmp yes no)
|
||||
(FLE (InvertFlags cmp) yes no) -> (FGE cmp yes no)
|
||||
(FGE (InvertFlags cmp) yes no) -> (FLE cmp yes no)
|
||||
(LT (InvertFlags cmp) yes no) => (GT cmp yes no)
|
||||
(GT (InvertFlags cmp) yes no) => (LT cmp yes no)
|
||||
(LE (InvertFlags cmp) yes no) => (GE cmp yes no)
|
||||
(GE (InvertFlags cmp) yes no) => (LE cmp yes no)
|
||||
(ULT (InvertFlags cmp) yes no) => (UGT cmp yes no)
|
||||
(UGT (InvertFlags cmp) yes no) => (ULT cmp yes no)
|
||||
(ULE (InvertFlags cmp) yes no) => (UGE cmp yes no)
|
||||
(UGE (InvertFlags cmp) yes no) => (ULE cmp yes no)
|
||||
(EQ (InvertFlags cmp) yes no) => (EQ cmp yes no)
|
||||
(NE (InvertFlags cmp) yes no) => (NE cmp yes no)
|
||||
(FLT (InvertFlags cmp) yes no) => (FGT cmp yes no)
|
||||
(FGT (InvertFlags cmp) yes no) => (FLT cmp yes no)
|
||||
(FLE (InvertFlags cmp) yes no) => (FGE cmp yes no)
|
||||
(FGE (InvertFlags cmp) yes no) => (FLE cmp yes no)
|
||||
(LTnoov (InvertFlags cmp) yes no) => (GTnoov cmp yes no)
|
||||
(GEnoov (InvertFlags cmp) yes no) => (LEnoov cmp yes no)
|
||||
(LEnoov (InvertFlags cmp) yes no) => (GEnoov cmp yes no)
|
||||
(GTnoov (InvertFlags cmp) yes no) => (LTnoov cmp yes no)
|
||||
|
||||
// absorb InvertFlags into CSEL(0)
|
||||
(CSEL {cc} x y (InvertFlags cmp)) -> (CSEL {arm64Invert(cc.(Op))} x y cmp)
|
||||
(CSEL0 {cc} x (InvertFlags cmp)) -> (CSEL0 {arm64Invert(cc.(Op))} x cmp)
|
||||
(CSEL {cc} x y (InvertFlags cmp)) => (CSEL {arm64Invert(cc)} x y cmp)
|
||||
(CSEL0 {cc} x (InvertFlags cmp)) => (CSEL0 {arm64Invert(cc)} x cmp)
|
||||
|
||||
// absorb flag constants into boolean values
|
||||
(Equal (FlagConstant [fc])) => (MOVDconst [b2i(fc.eq())])
|
||||
|
|
@ -1497,39 +1497,39 @@
|
|||
(GreaterEqualU (FlagConstant [fc])) => (MOVDconst [b2i(fc.uge())])
|
||||
|
||||
// absorb InvertFlags into boolean values
|
||||
(Equal (InvertFlags x)) -> (Equal x)
|
||||
(NotEqual (InvertFlags x)) -> (NotEqual x)
|
||||
(LessThan (InvertFlags x)) -> (GreaterThan x)
|
||||
(LessThanU (InvertFlags x)) -> (GreaterThanU x)
|
||||
(GreaterThan (InvertFlags x)) -> (LessThan x)
|
||||
(GreaterThanU (InvertFlags x)) -> (LessThanU x)
|
||||
(LessEqual (InvertFlags x)) -> (GreaterEqual x)
|
||||
(LessEqualU (InvertFlags x)) -> (GreaterEqualU x)
|
||||
(GreaterEqual (InvertFlags x)) -> (LessEqual x)
|
||||
(GreaterEqualU (InvertFlags x)) -> (LessEqualU x)
|
||||
(LessThanF (InvertFlags x)) -> (GreaterThanF x)
|
||||
(LessEqualF (InvertFlags x)) -> (GreaterEqualF x)
|
||||
(GreaterThanF (InvertFlags x)) -> (LessThanF x)
|
||||
(GreaterEqualF (InvertFlags x)) -> (LessEqualF x)
|
||||
(Equal (InvertFlags x)) => (Equal x)
|
||||
(NotEqual (InvertFlags x)) => (NotEqual x)
|
||||
(LessThan (InvertFlags x)) => (GreaterThan x)
|
||||
(LessThanU (InvertFlags x)) => (GreaterThanU x)
|
||||
(GreaterThan (InvertFlags x)) => (LessThan x)
|
||||
(GreaterThanU (InvertFlags x)) => (LessThanU x)
|
||||
(LessEqual (InvertFlags x)) => (GreaterEqual x)
|
||||
(LessEqualU (InvertFlags x)) => (GreaterEqualU x)
|
||||
(GreaterEqual (InvertFlags x)) => (LessEqual x)
|
||||
(GreaterEqualU (InvertFlags x)) => (LessEqualU x)
|
||||
(LessThanF (InvertFlags x)) => (GreaterThanF x)
|
||||
(LessEqualF (InvertFlags x)) => (GreaterEqualF x)
|
||||
(GreaterThanF (InvertFlags x)) => (LessThanF x)
|
||||
(GreaterEqualF (InvertFlags x)) => (LessEqualF x)
|
||||
|
||||
// Boolean-generating instructions always
|
||||
// zero upper bit of the register; no need to zero-extend
|
||||
(MOVBUreg x) && x.Type.IsBoolean() -> (MOVDreg x)
|
||||
(MOVBUreg x) && x.Type.IsBoolean() => (MOVDreg x)
|
||||
|
||||
// absorb flag constants into conditional instructions
|
||||
(CSEL {cc} x _ flag) && ccARM64Eval(cc, flag) > 0 -> x
|
||||
(CSEL {cc} _ y flag) && ccARM64Eval(cc, flag) < 0 -> y
|
||||
(CSEL0 {cc} x flag) && ccARM64Eval(cc, flag) > 0 -> x
|
||||
(CSEL0 {cc} _ flag) && ccARM64Eval(cc, flag) < 0 -> (MOVDconst [0])
|
||||
(CSEL {cc} x _ flag) && ccARM64Eval(cc, flag) > 0 => x
|
||||
(CSEL {cc} _ y flag) && ccARM64Eval(cc, flag) < 0 => y
|
||||
(CSEL0 {cc} x flag) && ccARM64Eval(cc, flag) > 0 => x
|
||||
(CSEL0 {cc} _ flag) && ccARM64Eval(cc, flag) < 0 => (MOVDconst [0])
|
||||
|
||||
// absorb flags back into boolean CSEL
|
||||
(CSEL {cc} x y (CMPWconst [0] boolval)) && cc.(Op) == OpARM64NotEqual && flagArg(boolval) != nil ->
|
||||
(CSEL {cc} x y (CMPWconst [0] boolval)) && cc == OpARM64NotEqual && flagArg(boolval) != nil =>
|
||||
(CSEL {boolval.Op} x y flagArg(boolval))
|
||||
(CSEL {cc} x y (CMPWconst [0] boolval)) && cc.(Op) == OpARM64Equal && flagArg(boolval) != nil ->
|
||||
(CSEL {cc} x y (CMPWconst [0] boolval)) && cc == OpARM64Equal && flagArg(boolval) != nil =>
|
||||
(CSEL {arm64Negate(boolval.Op)} x y flagArg(boolval))
|
||||
(CSEL0 {cc} x (CMPWconst [0] boolval)) && cc.(Op) == OpARM64NotEqual && flagArg(boolval) != nil ->
|
||||
(CSEL0 {cc} x (CMPWconst [0] boolval)) && cc == OpARM64NotEqual && flagArg(boolval) != nil =>
|
||||
(CSEL0 {boolval.Op} x flagArg(boolval))
|
||||
(CSEL0 {cc} x (CMPWconst [0] boolval)) && cc.(Op) == OpARM64Equal && flagArg(boolval) != nil ->
|
||||
(CSEL0 {cc} x (CMPWconst [0] boolval)) && cc == OpARM64Equal && flagArg(boolval) != nil =>
|
||||
(CSEL0 {arm64Negate(boolval.Op)} x flagArg(boolval))
|
||||
|
||||
// absorb shifts into ops
|
||||
|
|
@ -1692,11 +1692,11 @@
|
|||
// As arm64 does not have a ROL instruction, so ROL(x, y) is replaced by ROR(x, -y).
|
||||
((ADD|OR|XOR) (SLL x (ANDconst <t> [63] y))
|
||||
(CSEL0 <typ.UInt64> {cc} (SRL <typ.UInt64> x (SUB <t> (MOVDconst [64]) (ANDconst <t> [63] y)))
|
||||
(CMPconst [64] (SUB <t> (MOVDconst [64]) (ANDconst <t> [63] y))))) && cc.(Op) == OpARM64LessThanU
|
||||
(CMPconst [64] (SUB <t> (MOVDconst [64]) (ANDconst <t> [63] y))))) && cc == OpARM64LessThanU
|
||||
-> (ROR x (NEG <t> y))
|
||||
((ADD|OR|XOR) (SRL <typ.UInt64> x (ANDconst <t> [63] y))
|
||||
(CSEL0 <typ.UInt64> {cc} (SLL x (SUB <t> (MOVDconst [64]) (ANDconst <t> [63] y)))
|
||||
(CMPconst [64] (SUB <t> (MOVDconst [64]) (ANDconst <t> [63] y))))) && cc.(Op) == OpARM64LessThanU
|
||||
(CMPconst [64] (SUB <t> (MOVDconst [64]) (ANDconst <t> [63] y))))) && cc == OpARM64LessThanU
|
||||
-> (ROR x y)
|
||||
|
||||
// These rules match the Go source code like
|
||||
|
|
@ -1706,11 +1706,11 @@
|
|||
// As arm64 does not have a ROLW instruction, so ROLW(x, y) is replaced by RORW(x, -y).
|
||||
((ADD|OR|XOR) (SLL x (ANDconst <t> [31] y))
|
||||
(CSEL0 <typ.UInt32> {cc} (SRL <typ.UInt32> (MOVWUreg x) (SUB <t> (MOVDconst [32]) (ANDconst <t> [31] y)))
|
||||
(CMPconst [64] (SUB <t> (MOVDconst [32]) (ANDconst <t> [31] y))))) && cc.(Op) == OpARM64LessThanU
|
||||
(CMPconst [64] (SUB <t> (MOVDconst [32]) (ANDconst <t> [31] y))))) && cc == OpARM64LessThanU
|
||||
-> (RORW x (NEG <t> y))
|
||||
((ADD|OR|XOR) (SRL <typ.UInt32> (MOVWUreg x) (ANDconst <t> [31] y))
|
||||
(CSEL0 <typ.UInt32> {cc} (SLL x (SUB <t> (MOVDconst [32]) (ANDconst <t> [31] y)))
|
||||
(CMPconst [64] (SUB <t> (MOVDconst [32]) (ANDconst <t> [31] y))))) && cc.(Op) == OpARM64LessThanU
|
||||
(CMPconst [64] (SUB <t> (MOVDconst [32]) (ANDconst <t> [31] y))))) && cc == OpARM64LessThanU
|
||||
-> (RORW x y)
|
||||
|
||||
// ((x>>8) | (x<<8)) -> (REV16W x), the type of x is uint16, "|" can also be "^" or "+".
|
||||
|
|
|
|||
|
|
@ -705,6 +705,10 @@ func cCopToAux(o Op) interface{} {
|
|||
return o
|
||||
}
|
||||
|
||||
func auxToCCop(cc interface{}) Op {
|
||||
return cc.(Op)
|
||||
}
|
||||
|
||||
// uaddOvf reports whether unsigned a+b would overflow.
|
||||
func uaddOvf(a, b int64) bool {
|
||||
return uint64(a)+uint64(b) < uint64(a)
|
||||
|
|
@ -1008,8 +1012,7 @@ func arm64Invert(op Op) Op {
|
|||
// evaluate an ARM64 op against a flags value
|
||||
// that is potentially constant; return 1 for true,
|
||||
// -1 for false, and 0 for not constant.
|
||||
func ccARM64Eval(cc interface{}, flags *Value) int {
|
||||
op := cc.(Op)
|
||||
func ccARM64Eval(op Op, flags *Value) int {
|
||||
fop := flags.Op
|
||||
if fop == OpARM64InvertFlags {
|
||||
return -ccARM64Eval(op, flags.Args[0])
|
||||
|
|
|
|||
|
|
@ -1286,7 +1286,7 @@ func rewriteValueARM64_OpARM64ADD(v *Value) bool {
|
|||
break
|
||||
}
|
||||
// match: (ADD (SLL x (ANDconst <t> [63] y)) (CSEL0 <typ.UInt64> {cc} (SRL <typ.UInt64> x (SUB <t> (MOVDconst [64]) (ANDconst <t> [63] y))) (CMPconst [64] (SUB <t> (MOVDconst [64]) (ANDconst <t> [63] y)))))
|
||||
// cond: cc.(Op) == OpARM64LessThanU
|
||||
// cond: cc == OpARM64LessThanU
|
||||
// result: (ROR x (NEG <t> y))
|
||||
for {
|
||||
for _i0 := 0; _i0 <= 1; _i0, v_0, v_1 = _i0+1, v_1, v_0 {
|
||||
|
|
@ -1344,7 +1344,7 @@ func rewriteValueARM64_OpARM64ADD(v *Value) bool {
|
|||
continue
|
||||
}
|
||||
v_1_1_0_1 := v_1_1_0.Args[1]
|
||||
if v_1_1_0_1.Op != OpARM64ANDconst || v_1_1_0_1.Type != t || v_1_1_0_1.AuxInt != 63 || y != v_1_1_0_1.Args[0] || !(cc.(Op) == OpARM64LessThanU) {
|
||||
if v_1_1_0_1.Op != OpARM64ANDconst || v_1_1_0_1.Type != t || v_1_1_0_1.AuxInt != 63 || y != v_1_1_0_1.Args[0] || !(cc == OpARM64LessThanU) {
|
||||
continue
|
||||
}
|
||||
v.reset(OpARM64ROR)
|
||||
|
|
@ -1356,7 +1356,7 @@ func rewriteValueARM64_OpARM64ADD(v *Value) bool {
|
|||
break
|
||||
}
|
||||
// match: (ADD (SRL <typ.UInt64> x (ANDconst <t> [63] y)) (CSEL0 <typ.UInt64> {cc} (SLL x (SUB <t> (MOVDconst [64]) (ANDconst <t> [63] y))) (CMPconst [64] (SUB <t> (MOVDconst [64]) (ANDconst <t> [63] y)))))
|
||||
// cond: cc.(Op) == OpARM64LessThanU
|
||||
// cond: cc == OpARM64LessThanU
|
||||
// result: (ROR x y)
|
||||
for {
|
||||
for _i0 := 0; _i0 <= 1; _i0, v_0, v_1 = _i0+1, v_1, v_0 {
|
||||
|
|
@ -1414,7 +1414,7 @@ func rewriteValueARM64_OpARM64ADD(v *Value) bool {
|
|||
continue
|
||||
}
|
||||
v_1_1_0_1 := v_1_1_0.Args[1]
|
||||
if v_1_1_0_1.Op != OpARM64ANDconst || v_1_1_0_1.Type != t || v_1_1_0_1.AuxInt != 63 || y != v_1_1_0_1.Args[0] || !(cc.(Op) == OpARM64LessThanU) {
|
||||
if v_1_1_0_1.Op != OpARM64ANDconst || v_1_1_0_1.Type != t || v_1_1_0_1.AuxInt != 63 || y != v_1_1_0_1.Args[0] || !(cc == OpARM64LessThanU) {
|
||||
continue
|
||||
}
|
||||
v.reset(OpARM64ROR)
|
||||
|
|
@ -1424,7 +1424,7 @@ func rewriteValueARM64_OpARM64ADD(v *Value) bool {
|
|||
break
|
||||
}
|
||||
// match: (ADD (SLL x (ANDconst <t> [31] y)) (CSEL0 <typ.UInt32> {cc} (SRL <typ.UInt32> (MOVWUreg x) (SUB <t> (MOVDconst [32]) (ANDconst <t> [31] y))) (CMPconst [64] (SUB <t> (MOVDconst [32]) (ANDconst <t> [31] y)))))
|
||||
// cond: cc.(Op) == OpARM64LessThanU
|
||||
// cond: cc == OpARM64LessThanU
|
||||
// result: (RORW x (NEG <t> y))
|
||||
for {
|
||||
for _i0 := 0; _i0 <= 1; _i0, v_0, v_1 = _i0+1, v_1, v_0 {
|
||||
|
|
@ -1483,7 +1483,7 @@ func rewriteValueARM64_OpARM64ADD(v *Value) bool {
|
|||
continue
|
||||
}
|
||||
v_1_1_0_1 := v_1_1_0.Args[1]
|
||||
if v_1_1_0_1.Op != OpARM64ANDconst || v_1_1_0_1.Type != t || v_1_1_0_1.AuxInt != 31 || y != v_1_1_0_1.Args[0] || !(cc.(Op) == OpARM64LessThanU) {
|
||||
if v_1_1_0_1.Op != OpARM64ANDconst || v_1_1_0_1.Type != t || v_1_1_0_1.AuxInt != 31 || y != v_1_1_0_1.Args[0] || !(cc == OpARM64LessThanU) {
|
||||
continue
|
||||
}
|
||||
v.reset(OpARM64RORW)
|
||||
|
|
@ -1495,7 +1495,7 @@ func rewriteValueARM64_OpARM64ADD(v *Value) bool {
|
|||
break
|
||||
}
|
||||
// match: (ADD (SRL <typ.UInt32> (MOVWUreg x) (ANDconst <t> [31] y)) (CSEL0 <typ.UInt32> {cc} (SLL x (SUB <t> (MOVDconst [32]) (ANDconst <t> [31] y))) (CMPconst [64] (SUB <t> (MOVDconst [32]) (ANDconst <t> [31] y)))))
|
||||
// cond: cc.(Op) == OpARM64LessThanU
|
||||
// cond: cc == OpARM64LessThanU
|
||||
// result: (RORW x y)
|
||||
for {
|
||||
for _i0 := 0; _i0 <= 1; _i0, v_0, v_1 = _i0+1, v_1, v_0 {
|
||||
|
|
@ -1557,7 +1557,7 @@ func rewriteValueARM64_OpARM64ADD(v *Value) bool {
|
|||
continue
|
||||
}
|
||||
v_1_1_0_1 := v_1_1_0.Args[1]
|
||||
if v_1_1_0_1.Op != OpARM64ANDconst || v_1_1_0_1.Type != t || v_1_1_0_1.AuxInt != 31 || y != v_1_1_0_1.Args[0] || !(cc.(Op) == OpARM64LessThanU) {
|
||||
if v_1_1_0_1.Op != OpARM64ANDconst || v_1_1_0_1.Type != t || v_1_1_0_1.AuxInt != 31 || y != v_1_1_0_1.Args[0] || !(cc == OpARM64LessThanU) {
|
||||
continue
|
||||
}
|
||||
v.reset(OpARM64RORW)
|
||||
|
|
@ -3207,9 +3207,9 @@ func rewriteValueARM64_OpARM64CSEL(v *Value) bool {
|
|||
return true
|
||||
}
|
||||
// match: (CSEL {cc} x y (InvertFlags cmp))
|
||||
// result: (CSEL {arm64Invert(cc.(Op))} x y cmp)
|
||||
// result: (CSEL {arm64Invert(cc)} x y cmp)
|
||||
for {
|
||||
cc := v.Aux
|
||||
cc := auxToCCop(v.Aux)
|
||||
x := v_0
|
||||
y := v_1
|
||||
if v_2.Op != OpARM64InvertFlags {
|
||||
|
|
@ -3217,7 +3217,7 @@ func rewriteValueARM64_OpARM64CSEL(v *Value) bool {
|
|||
}
|
||||
cmp := v_2.Args[0]
|
||||
v.reset(OpARM64CSEL)
|
||||
v.Aux = arm64Invert(cc.(Op))
|
||||
v.Aux = cCopToAux(arm64Invert(cc))
|
||||
v.AddArg3(x, y, cmp)
|
||||
return true
|
||||
}
|
||||
|
|
@ -3225,7 +3225,7 @@ func rewriteValueARM64_OpARM64CSEL(v *Value) bool {
|
|||
// cond: ccARM64Eval(cc, flag) > 0
|
||||
// result: x
|
||||
for {
|
||||
cc := v.Aux
|
||||
cc := auxToCCop(v.Aux)
|
||||
x := v_0
|
||||
flag := v_2
|
||||
if !(ccARM64Eval(cc, flag) > 0) {
|
||||
|
|
@ -3238,7 +3238,7 @@ func rewriteValueARM64_OpARM64CSEL(v *Value) bool {
|
|||
// cond: ccARM64Eval(cc, flag) < 0
|
||||
// result: y
|
||||
for {
|
||||
cc := v.Aux
|
||||
cc := auxToCCop(v.Aux)
|
||||
y := v_1
|
||||
flag := v_2
|
||||
if !(ccARM64Eval(cc, flag) < 0) {
|
||||
|
|
@ -3248,40 +3248,40 @@ func rewriteValueARM64_OpARM64CSEL(v *Value) bool {
|
|||
return true
|
||||
}
|
||||
// match: (CSEL {cc} x y (CMPWconst [0] boolval))
|
||||
// cond: cc.(Op) == OpARM64NotEqual && flagArg(boolval) != nil
|
||||
// cond: cc == OpARM64NotEqual && flagArg(boolval) != nil
|
||||
// result: (CSEL {boolval.Op} x y flagArg(boolval))
|
||||
for {
|
||||
cc := v.Aux
|
||||
cc := auxToCCop(v.Aux)
|
||||
x := v_0
|
||||
y := v_1
|
||||
if v_2.Op != OpARM64CMPWconst || v_2.AuxInt != 0 {
|
||||
if v_2.Op != OpARM64CMPWconst || auxIntToInt32(v_2.AuxInt) != 0 {
|
||||
break
|
||||
}
|
||||
boolval := v_2.Args[0]
|
||||
if !(cc.(Op) == OpARM64NotEqual && flagArg(boolval) != nil) {
|
||||
if !(cc == OpARM64NotEqual && flagArg(boolval) != nil) {
|
||||
break
|
||||
}
|
||||
v.reset(OpARM64CSEL)
|
||||
v.Aux = boolval.Op
|
||||
v.Aux = cCopToAux(boolval.Op)
|
||||
v.AddArg3(x, y, flagArg(boolval))
|
||||
return true
|
||||
}
|
||||
// match: (CSEL {cc} x y (CMPWconst [0] boolval))
|
||||
// cond: cc.(Op) == OpARM64Equal && flagArg(boolval) != nil
|
||||
// cond: cc == OpARM64Equal && flagArg(boolval) != nil
|
||||
// result: (CSEL {arm64Negate(boolval.Op)} x y flagArg(boolval))
|
||||
for {
|
||||
cc := v.Aux
|
||||
cc := auxToCCop(v.Aux)
|
||||
x := v_0
|
||||
y := v_1
|
||||
if v_2.Op != OpARM64CMPWconst || v_2.AuxInt != 0 {
|
||||
if v_2.Op != OpARM64CMPWconst || auxIntToInt32(v_2.AuxInt) != 0 {
|
||||
break
|
||||
}
|
||||
boolval := v_2.Args[0]
|
||||
if !(cc.(Op) == OpARM64Equal && flagArg(boolval) != nil) {
|
||||
if !(cc == OpARM64Equal && flagArg(boolval) != nil) {
|
||||
break
|
||||
}
|
||||
v.reset(OpARM64CSEL)
|
||||
v.Aux = arm64Negate(boolval.Op)
|
||||
v.Aux = cCopToAux(arm64Negate(boolval.Op))
|
||||
v.AddArg3(x, y, flagArg(boolval))
|
||||
return true
|
||||
}
|
||||
|
|
@ -3291,16 +3291,16 @@ func rewriteValueARM64_OpARM64CSEL0(v *Value) bool {
|
|||
v_1 := v.Args[1]
|
||||
v_0 := v.Args[0]
|
||||
// match: (CSEL0 {cc} x (InvertFlags cmp))
|
||||
// result: (CSEL0 {arm64Invert(cc.(Op))} x cmp)
|
||||
// result: (CSEL0 {arm64Invert(cc)} x cmp)
|
||||
for {
|
||||
cc := v.Aux
|
||||
cc := auxToCCop(v.Aux)
|
||||
x := v_0
|
||||
if v_1.Op != OpARM64InvertFlags {
|
||||
break
|
||||
}
|
||||
cmp := v_1.Args[0]
|
||||
v.reset(OpARM64CSEL0)
|
||||
v.Aux = arm64Invert(cc.(Op))
|
||||
v.Aux = cCopToAux(arm64Invert(cc))
|
||||
v.AddArg2(x, cmp)
|
||||
return true
|
||||
}
|
||||
|
|
@ -3308,7 +3308,7 @@ func rewriteValueARM64_OpARM64CSEL0(v *Value) bool {
|
|||
// cond: ccARM64Eval(cc, flag) > 0
|
||||
// result: x
|
||||
for {
|
||||
cc := v.Aux
|
||||
cc := auxToCCop(v.Aux)
|
||||
x := v_0
|
||||
flag := v_1
|
||||
if !(ccARM64Eval(cc, flag) > 0) {
|
||||
|
|
@ -3321,48 +3321,48 @@ func rewriteValueARM64_OpARM64CSEL0(v *Value) bool {
|
|||
// cond: ccARM64Eval(cc, flag) < 0
|
||||
// result: (MOVDconst [0])
|
||||
for {
|
||||
cc := v.Aux
|
||||
cc := auxToCCop(v.Aux)
|
||||
flag := v_1
|
||||
if !(ccARM64Eval(cc, flag) < 0) {
|
||||
break
|
||||
}
|
||||
v.reset(OpARM64MOVDconst)
|
||||
v.AuxInt = 0
|
||||
v.AuxInt = int64ToAuxInt(0)
|
||||
return true
|
||||
}
|
||||
// match: (CSEL0 {cc} x (CMPWconst [0] boolval))
|
||||
// cond: cc.(Op) == OpARM64NotEqual && flagArg(boolval) != nil
|
||||
// cond: cc == OpARM64NotEqual && flagArg(boolval) != nil
|
||||
// result: (CSEL0 {boolval.Op} x flagArg(boolval))
|
||||
for {
|
||||
cc := v.Aux
|
||||
cc := auxToCCop(v.Aux)
|
||||
x := v_0
|
||||
if v_1.Op != OpARM64CMPWconst || v_1.AuxInt != 0 {
|
||||
if v_1.Op != OpARM64CMPWconst || auxIntToInt32(v_1.AuxInt) != 0 {
|
||||
break
|
||||
}
|
||||
boolval := v_1.Args[0]
|
||||
if !(cc.(Op) == OpARM64NotEqual && flagArg(boolval) != nil) {
|
||||
if !(cc == OpARM64NotEqual && flagArg(boolval) != nil) {
|
||||
break
|
||||
}
|
||||
v.reset(OpARM64CSEL0)
|
||||
v.Aux = boolval.Op
|
||||
v.Aux = cCopToAux(boolval.Op)
|
||||
v.AddArg2(x, flagArg(boolval))
|
||||
return true
|
||||
}
|
||||
// match: (CSEL0 {cc} x (CMPWconst [0] boolval))
|
||||
// cond: cc.(Op) == OpARM64Equal && flagArg(boolval) != nil
|
||||
// cond: cc == OpARM64Equal && flagArg(boolval) != nil
|
||||
// result: (CSEL0 {arm64Negate(boolval.Op)} x flagArg(boolval))
|
||||
for {
|
||||
cc := v.Aux
|
||||
cc := auxToCCop(v.Aux)
|
||||
x := v_0
|
||||
if v_1.Op != OpARM64CMPWconst || v_1.AuxInt != 0 {
|
||||
if v_1.Op != OpARM64CMPWconst || auxIntToInt32(v_1.AuxInt) != 0 {
|
||||
break
|
||||
}
|
||||
boolval := v_1.Args[0]
|
||||
if !(cc.(Op) == OpARM64Equal && flagArg(boolval) != nil) {
|
||||
if !(cc == OpARM64Equal && flagArg(boolval) != nil) {
|
||||
break
|
||||
}
|
||||
v.reset(OpARM64CSEL0)
|
||||
v.Aux = arm64Negate(boolval.Op)
|
||||
v.Aux = cCopToAux(arm64Negate(boolval.Op))
|
||||
v.AddArg2(x, flagArg(boolval))
|
||||
return true
|
||||
}
|
||||
|
|
@ -15044,7 +15044,7 @@ func rewriteValueARM64_OpARM64OR(v *Value) bool {
|
|||
break
|
||||
}
|
||||
// match: (OR (SLL x (ANDconst <t> [63] y)) (CSEL0 <typ.UInt64> {cc} (SRL <typ.UInt64> x (SUB <t> (MOVDconst [64]) (ANDconst <t> [63] y))) (CMPconst [64] (SUB <t> (MOVDconst [64]) (ANDconst <t> [63] y)))))
|
||||
// cond: cc.(Op) == OpARM64LessThanU
|
||||
// cond: cc == OpARM64LessThanU
|
||||
// result: (ROR x (NEG <t> y))
|
||||
for {
|
||||
for _i0 := 0; _i0 <= 1; _i0, v_0, v_1 = _i0+1, v_1, v_0 {
|
||||
|
|
@ -15102,7 +15102,7 @@ func rewriteValueARM64_OpARM64OR(v *Value) bool {
|
|||
continue
|
||||
}
|
||||
v_1_1_0_1 := v_1_1_0.Args[1]
|
||||
if v_1_1_0_1.Op != OpARM64ANDconst || v_1_1_0_1.Type != t || v_1_1_0_1.AuxInt != 63 || y != v_1_1_0_1.Args[0] || !(cc.(Op) == OpARM64LessThanU) {
|
||||
if v_1_1_0_1.Op != OpARM64ANDconst || v_1_1_0_1.Type != t || v_1_1_0_1.AuxInt != 63 || y != v_1_1_0_1.Args[0] || !(cc == OpARM64LessThanU) {
|
||||
continue
|
||||
}
|
||||
v.reset(OpARM64ROR)
|
||||
|
|
@ -15114,7 +15114,7 @@ func rewriteValueARM64_OpARM64OR(v *Value) bool {
|
|||
break
|
||||
}
|
||||
// match: (OR (SRL <typ.UInt64> x (ANDconst <t> [63] y)) (CSEL0 <typ.UInt64> {cc} (SLL x (SUB <t> (MOVDconst [64]) (ANDconst <t> [63] y))) (CMPconst [64] (SUB <t> (MOVDconst [64]) (ANDconst <t> [63] y)))))
|
||||
// cond: cc.(Op) == OpARM64LessThanU
|
||||
// cond: cc == OpARM64LessThanU
|
||||
// result: (ROR x y)
|
||||
for {
|
||||
for _i0 := 0; _i0 <= 1; _i0, v_0, v_1 = _i0+1, v_1, v_0 {
|
||||
|
|
@ -15172,7 +15172,7 @@ func rewriteValueARM64_OpARM64OR(v *Value) bool {
|
|||
continue
|
||||
}
|
||||
v_1_1_0_1 := v_1_1_0.Args[1]
|
||||
if v_1_1_0_1.Op != OpARM64ANDconst || v_1_1_0_1.Type != t || v_1_1_0_1.AuxInt != 63 || y != v_1_1_0_1.Args[0] || !(cc.(Op) == OpARM64LessThanU) {
|
||||
if v_1_1_0_1.Op != OpARM64ANDconst || v_1_1_0_1.Type != t || v_1_1_0_1.AuxInt != 63 || y != v_1_1_0_1.Args[0] || !(cc == OpARM64LessThanU) {
|
||||
continue
|
||||
}
|
||||
v.reset(OpARM64ROR)
|
||||
|
|
@ -15182,7 +15182,7 @@ func rewriteValueARM64_OpARM64OR(v *Value) bool {
|
|||
break
|
||||
}
|
||||
// match: (OR (SLL x (ANDconst <t> [31] y)) (CSEL0 <typ.UInt32> {cc} (SRL <typ.UInt32> (MOVWUreg x) (SUB <t> (MOVDconst [32]) (ANDconst <t> [31] y))) (CMPconst [64] (SUB <t> (MOVDconst [32]) (ANDconst <t> [31] y)))))
|
||||
// cond: cc.(Op) == OpARM64LessThanU
|
||||
// cond: cc == OpARM64LessThanU
|
||||
// result: (RORW x (NEG <t> y))
|
||||
for {
|
||||
for _i0 := 0; _i0 <= 1; _i0, v_0, v_1 = _i0+1, v_1, v_0 {
|
||||
|
|
@ -15241,7 +15241,7 @@ func rewriteValueARM64_OpARM64OR(v *Value) bool {
|
|||
continue
|
||||
}
|
||||
v_1_1_0_1 := v_1_1_0.Args[1]
|
||||
if v_1_1_0_1.Op != OpARM64ANDconst || v_1_1_0_1.Type != t || v_1_1_0_1.AuxInt != 31 || y != v_1_1_0_1.Args[0] || !(cc.(Op) == OpARM64LessThanU) {
|
||||
if v_1_1_0_1.Op != OpARM64ANDconst || v_1_1_0_1.Type != t || v_1_1_0_1.AuxInt != 31 || y != v_1_1_0_1.Args[0] || !(cc == OpARM64LessThanU) {
|
||||
continue
|
||||
}
|
||||
v.reset(OpARM64RORW)
|
||||
|
|
@ -15253,7 +15253,7 @@ func rewriteValueARM64_OpARM64OR(v *Value) bool {
|
|||
break
|
||||
}
|
||||
// match: (OR (SRL <typ.UInt32> (MOVWUreg x) (ANDconst <t> [31] y)) (CSEL0 <typ.UInt32> {cc} (SLL x (SUB <t> (MOVDconst [32]) (ANDconst <t> [31] y))) (CMPconst [64] (SUB <t> (MOVDconst [32]) (ANDconst <t> [31] y)))))
|
||||
// cond: cc.(Op) == OpARM64LessThanU
|
||||
// cond: cc == OpARM64LessThanU
|
||||
// result: (RORW x y)
|
||||
for {
|
||||
for _i0 := 0; _i0 <= 1; _i0, v_0, v_1 = _i0+1, v_1, v_0 {
|
||||
|
|
@ -15315,7 +15315,7 @@ func rewriteValueARM64_OpARM64OR(v *Value) bool {
|
|||
continue
|
||||
}
|
||||
v_1_1_0_1 := v_1_1_0.Args[1]
|
||||
if v_1_1_0_1.Op != OpARM64ANDconst || v_1_1_0_1.Type != t || v_1_1_0_1.AuxInt != 31 || y != v_1_1_0_1.Args[0] || !(cc.(Op) == OpARM64LessThanU) {
|
||||
if v_1_1_0_1.Op != OpARM64ANDconst || v_1_1_0_1.Type != t || v_1_1_0_1.AuxInt != 31 || y != v_1_1_0_1.Args[0] || !(cc == OpARM64LessThanU) {
|
||||
continue
|
||||
}
|
||||
v.reset(OpARM64RORW)
|
||||
|
|
@ -20714,7 +20714,7 @@ func rewriteValueARM64_OpARM64XOR(v *Value) bool {
|
|||
break
|
||||
}
|
||||
// match: (XOR (SLL x (ANDconst <t> [63] y)) (CSEL0 <typ.UInt64> {cc} (SRL <typ.UInt64> x (SUB <t> (MOVDconst [64]) (ANDconst <t> [63] y))) (CMPconst [64] (SUB <t> (MOVDconst [64]) (ANDconst <t> [63] y)))))
|
||||
// cond: cc.(Op) == OpARM64LessThanU
|
||||
// cond: cc == OpARM64LessThanU
|
||||
// result: (ROR x (NEG <t> y))
|
||||
for {
|
||||
for _i0 := 0; _i0 <= 1; _i0, v_0, v_1 = _i0+1, v_1, v_0 {
|
||||
|
|
@ -20772,7 +20772,7 @@ func rewriteValueARM64_OpARM64XOR(v *Value) bool {
|
|||
continue
|
||||
}
|
||||
v_1_1_0_1 := v_1_1_0.Args[1]
|
||||
if v_1_1_0_1.Op != OpARM64ANDconst || v_1_1_0_1.Type != t || v_1_1_0_1.AuxInt != 63 || y != v_1_1_0_1.Args[0] || !(cc.(Op) == OpARM64LessThanU) {
|
||||
if v_1_1_0_1.Op != OpARM64ANDconst || v_1_1_0_1.Type != t || v_1_1_0_1.AuxInt != 63 || y != v_1_1_0_1.Args[0] || !(cc == OpARM64LessThanU) {
|
||||
continue
|
||||
}
|
||||
v.reset(OpARM64ROR)
|
||||
|
|
@ -20784,7 +20784,7 @@ func rewriteValueARM64_OpARM64XOR(v *Value) bool {
|
|||
break
|
||||
}
|
||||
// match: (XOR (SRL <typ.UInt64> x (ANDconst <t> [63] y)) (CSEL0 <typ.UInt64> {cc} (SLL x (SUB <t> (MOVDconst [64]) (ANDconst <t> [63] y))) (CMPconst [64] (SUB <t> (MOVDconst [64]) (ANDconst <t> [63] y)))))
|
||||
// cond: cc.(Op) == OpARM64LessThanU
|
||||
// cond: cc == OpARM64LessThanU
|
||||
// result: (ROR x y)
|
||||
for {
|
||||
for _i0 := 0; _i0 <= 1; _i0, v_0, v_1 = _i0+1, v_1, v_0 {
|
||||
|
|
@ -20842,7 +20842,7 @@ func rewriteValueARM64_OpARM64XOR(v *Value) bool {
|
|||
continue
|
||||
}
|
||||
v_1_1_0_1 := v_1_1_0.Args[1]
|
||||
if v_1_1_0_1.Op != OpARM64ANDconst || v_1_1_0_1.Type != t || v_1_1_0_1.AuxInt != 63 || y != v_1_1_0_1.Args[0] || !(cc.(Op) == OpARM64LessThanU) {
|
||||
if v_1_1_0_1.Op != OpARM64ANDconst || v_1_1_0_1.Type != t || v_1_1_0_1.AuxInt != 63 || y != v_1_1_0_1.Args[0] || !(cc == OpARM64LessThanU) {
|
||||
continue
|
||||
}
|
||||
v.reset(OpARM64ROR)
|
||||
|
|
@ -20852,7 +20852,7 @@ func rewriteValueARM64_OpARM64XOR(v *Value) bool {
|
|||
break
|
||||
}
|
||||
// match: (XOR (SLL x (ANDconst <t> [31] y)) (CSEL0 <typ.UInt32> {cc} (SRL <typ.UInt32> (MOVWUreg x) (SUB <t> (MOVDconst [32]) (ANDconst <t> [31] y))) (CMPconst [64] (SUB <t> (MOVDconst [32]) (ANDconst <t> [31] y)))))
|
||||
// cond: cc.(Op) == OpARM64LessThanU
|
||||
// cond: cc == OpARM64LessThanU
|
||||
// result: (RORW x (NEG <t> y))
|
||||
for {
|
||||
for _i0 := 0; _i0 <= 1; _i0, v_0, v_1 = _i0+1, v_1, v_0 {
|
||||
|
|
@ -20911,7 +20911,7 @@ func rewriteValueARM64_OpARM64XOR(v *Value) bool {
|
|||
continue
|
||||
}
|
||||
v_1_1_0_1 := v_1_1_0.Args[1]
|
||||
if v_1_1_0_1.Op != OpARM64ANDconst || v_1_1_0_1.Type != t || v_1_1_0_1.AuxInt != 31 || y != v_1_1_0_1.Args[0] || !(cc.(Op) == OpARM64LessThanU) {
|
||||
if v_1_1_0_1.Op != OpARM64ANDconst || v_1_1_0_1.Type != t || v_1_1_0_1.AuxInt != 31 || y != v_1_1_0_1.Args[0] || !(cc == OpARM64LessThanU) {
|
||||
continue
|
||||
}
|
||||
v.reset(OpARM64RORW)
|
||||
|
|
@ -20923,7 +20923,7 @@ func rewriteValueARM64_OpARM64XOR(v *Value) bool {
|
|||
break
|
||||
}
|
||||
// match: (XOR (SRL <typ.UInt32> (MOVWUreg x) (ANDconst <t> [31] y)) (CSEL0 <typ.UInt32> {cc} (SLL x (SUB <t> (MOVDconst [32]) (ANDconst <t> [31] y))) (CMPconst [64] (SUB <t> (MOVDconst [32]) (ANDconst <t> [31] y)))))
|
||||
// cond: cc.(Op) == OpARM64LessThanU
|
||||
// cond: cc == OpARM64LessThanU
|
||||
// result: (RORW x y)
|
||||
for {
|
||||
for _i0 := 0; _i0 <= 1; _i0, v_0, v_1 = _i0+1, v_1, v_0 {
|
||||
|
|
@ -20985,7 +20985,7 @@ func rewriteValueARM64_OpARM64XOR(v *Value) bool {
|
|||
continue
|
||||
}
|
||||
v_1_1_0_1 := v_1_1_0.Args[1]
|
||||
if v_1_1_0_1.Op != OpARM64ANDconst || v_1_1_0_1.Type != t || v_1_1_0_1.AuxInt != 31 || y != v_1_1_0_1.Args[0] || !(cc.(Op) == OpARM64LessThanU) {
|
||||
if v_1_1_0_1.Op != OpARM64ANDconst || v_1_1_0_1.Type != t || v_1_1_0_1.AuxInt != 31 || y != v_1_1_0_1.Args[0] || !(cc == OpARM64LessThanU) {
|
||||
continue
|
||||
}
|
||||
v.reset(OpARM64RORW)
|
||||
|
|
@ -28256,7 +28256,7 @@ func rewriteBlockARM64(b *Block) bool {
|
|||
// result: (First no yes)
|
||||
for b.Controls[0].Op == OpARM64MOVDconst {
|
||||
v_0 := b.Controls[0]
|
||||
if v_0.AuxInt != 0 {
|
||||
if auxIntToInt64(v_0.AuxInt) != 0 {
|
||||
break
|
||||
}
|
||||
b.Reset(BlockFirst)
|
||||
|
|
@ -28268,7 +28268,7 @@ func rewriteBlockARM64(b *Block) bool {
|
|||
// result: (First yes no)
|
||||
for b.Controls[0].Op == OpARM64MOVDconst {
|
||||
v_0 := b.Controls[0]
|
||||
c := v_0.AuxInt
|
||||
c := auxIntToInt64(v_0.AuxInt)
|
||||
if !(c != 0) {
|
||||
break
|
||||
}
|
||||
|
|
@ -28295,7 +28295,7 @@ func rewriteBlockARM64(b *Block) bool {
|
|||
// result: (First no yes)
|
||||
for b.Controls[0].Op == OpARM64MOVDconst {
|
||||
v_0 := b.Controls[0]
|
||||
c := v_0.AuxInt
|
||||
c := auxIntToInt64(v_0.AuxInt)
|
||||
if !(int32(c) == 0) {
|
||||
break
|
||||
}
|
||||
|
|
@ -28308,7 +28308,7 @@ func rewriteBlockARM64(b *Block) bool {
|
|||
// result: (First yes no)
|
||||
for b.Controls[0].Op == OpARM64MOVDconst {
|
||||
v_0 := b.Controls[0]
|
||||
c := v_0.AuxInt
|
||||
c := auxIntToInt64(v_0.AuxInt)
|
||||
if !(int32(c) != 0) {
|
||||
break
|
||||
}
|
||||
|
|
@ -28470,7 +28470,7 @@ func rewriteBlockARM64(b *Block) bool {
|
|||
// result: (First yes no)
|
||||
for b.Controls[0].Op == OpARM64MOVDconst {
|
||||
v_0 := b.Controls[0]
|
||||
if v_0.AuxInt != 0 {
|
||||
if auxIntToInt64(v_0.AuxInt) != 0 {
|
||||
break
|
||||
}
|
||||
b.Reset(BlockFirst)
|
||||
|
|
@ -28481,7 +28481,7 @@ func rewriteBlockARM64(b *Block) bool {
|
|||
// result: (First no yes)
|
||||
for b.Controls[0].Op == OpARM64MOVDconst {
|
||||
v_0 := b.Controls[0]
|
||||
c := v_0.AuxInt
|
||||
c := auxIntToInt64(v_0.AuxInt)
|
||||
if !(c != 0) {
|
||||
break
|
||||
}
|
||||
|
|
@ -28509,7 +28509,7 @@ func rewriteBlockARM64(b *Block) bool {
|
|||
// result: (First yes no)
|
||||
for b.Controls[0].Op == OpARM64MOVDconst {
|
||||
v_0 := b.Controls[0]
|
||||
c := v_0.AuxInt
|
||||
c := auxIntToInt64(v_0.AuxInt)
|
||||
if !(int32(c) == 0) {
|
||||
break
|
||||
}
|
||||
|
|
@ -28521,7 +28521,7 @@ func rewriteBlockARM64(b *Block) bool {
|
|||
// result: (First no yes)
|
||||
for b.Controls[0].Op == OpARM64MOVDconst {
|
||||
v_0 := b.Controls[0]
|
||||
c := v_0.AuxInt
|
||||
c := auxIntToInt64(v_0.AuxInt)
|
||||
if !(int32(c) != 0) {
|
||||
break
|
||||
}
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue