diff --git a/src/cmd/compile/internal/ssa/_gen/LOONG64.rules b/src/cmd/compile/internal/ssa/_gen/LOONG64.rules index 1b7d4049c64..bef2b8615b3 100644 --- a/src/cmd/compile/internal/ssa/_gen/LOONG64.rules +++ b/src/cmd/compile/internal/ssa/_gen/LOONG64.rules @@ -608,6 +608,21 @@ (MOVWUreg x:(MOVBUload _ _)) => (MOVVreg x) (MOVWUreg x:(MOVHUload _ _)) => (MOVVreg x) (MOVWUreg x:(MOVWUload _ _)) => (MOVVreg x) +(MOVBreg x:(MOVBloadidx _ _ _)) => (MOVVreg x) +(MOVBUreg x:(MOVBUloadidx _ _ _)) => (MOVVreg x) +(MOVHreg x:(MOVBloadidx _ _ _)) => (MOVVreg x) +(MOVHreg x:(MOVBUloadidx _ _ _)) => (MOVVreg x) +(MOVHreg x:(MOVHloadidx _ _ _)) => (MOVVreg x) +(MOVHUreg x:(MOVBUloadidx _ _ _)) => (MOVVreg x) +(MOVHUreg x:(MOVHUloadidx _ _ _)) => (MOVVreg x) +(MOVWreg x:(MOVBloadidx _ _ _)) => (MOVVreg x) +(MOVWreg x:(MOVBUloadidx _ _ _)) => (MOVVreg x) +(MOVWreg x:(MOVHloadidx _ _ _)) => (MOVVreg x) +(MOVWreg x:(MOVHUloadidx _ _ _)) => (MOVVreg x) +(MOVWreg x:(MOVWloadidx _ _ _)) => (MOVVreg x) +(MOVWUreg x:(MOVBUloadidx _ _ _)) => (MOVVreg x) +(MOVWUreg x:(MOVHUloadidx _ _ _)) => (MOVVreg x) +(MOVWUreg x:(MOVWUloadidx _ _ _)) => (MOVVreg x) // fold double extensions (MOVBreg x:(MOVBreg _)) => (MOVVreg x) diff --git a/src/cmd/compile/internal/ssa/rewriteLOONG64.go b/src/cmd/compile/internal/ssa/rewriteLOONG64.go index 8d29912f407..c6884096570 100644 --- a/src/cmd/compile/internal/ssa/rewriteLOONG64.go +++ b/src/cmd/compile/internal/ssa/rewriteLOONG64.go @@ -2559,6 +2559,17 @@ func rewriteValueLOONG64_OpLOONG64MOVBUreg(v *Value) bool { v.AddArg(x) return true } + // match: (MOVBUreg x:(MOVBUloadidx _ _ _)) + // result: (MOVVreg x) + for { + x := v_0 + if x.Op != OpLOONG64MOVBUloadidx { + break + } + v.reset(OpLOONG64MOVVreg) + v.AddArg(x) + return true + } // match: (MOVBUreg x:(MOVBUreg _)) // result: (MOVVreg x) for { @@ -2750,6 +2761,17 @@ func rewriteValueLOONG64_OpLOONG64MOVBreg(v *Value) bool { v.AddArg(x) return true } + // match: (MOVBreg x:(MOVBloadidx _ _ _)) + // result: (MOVVreg x) + for { + x := v_0 + if x.Op != OpLOONG64MOVBloadidx { + break + } + v.reset(OpLOONG64MOVVreg) + v.AddArg(x) + return true + } // match: (MOVBreg x:(MOVBreg _)) // result: (MOVVreg x) for { @@ -3827,6 +3849,28 @@ func rewriteValueLOONG64_OpLOONG64MOVHUreg(v *Value) bool { v.AddArg(x) return true } + // match: (MOVHUreg x:(MOVBUloadidx _ _ _)) + // result: (MOVVreg x) + for { + x := v_0 + if x.Op != OpLOONG64MOVBUloadidx { + break + } + v.reset(OpLOONG64MOVVreg) + v.AddArg(x) + return true + } + // match: (MOVHUreg x:(MOVHUloadidx _ _ _)) + // result: (MOVVreg x) + for { + x := v_0 + if x.Op != OpLOONG64MOVHUloadidx { + break + } + v.reset(OpLOONG64MOVVreg) + v.AddArg(x) + return true + } // match: (MOVHUreg x:(MOVBUreg _)) // result: (MOVVreg x) for { @@ -4038,6 +4082,39 @@ func rewriteValueLOONG64_OpLOONG64MOVHreg(v *Value) bool { v.AddArg(x) return true } + // match: (MOVHreg x:(MOVBloadidx _ _ _)) + // result: (MOVVreg x) + for { + x := v_0 + if x.Op != OpLOONG64MOVBloadidx { + break + } + v.reset(OpLOONG64MOVVreg) + v.AddArg(x) + return true + } + // match: (MOVHreg x:(MOVBUloadidx _ _ _)) + // result: (MOVVreg x) + for { + x := v_0 + if x.Op != OpLOONG64MOVBUloadidx { + break + } + v.reset(OpLOONG64MOVVreg) + v.AddArg(x) + return true + } + // match: (MOVHreg x:(MOVHloadidx _ _ _)) + // result: (MOVVreg x) + for { + x := v_0 + if x.Op != OpLOONG64MOVHloadidx { + break + } + v.reset(OpLOONG64MOVVreg) + v.AddArg(x) + return true + } // match: (MOVHreg x:(MOVBreg _)) // result: (MOVVreg x) for { @@ -5053,6 +5130,39 @@ func rewriteValueLOONG64_OpLOONG64MOVWUreg(v *Value) bool { v.AddArg(x) return true } + // match: (MOVWUreg x:(MOVBUloadidx _ _ _)) + // result: (MOVVreg x) + for { + x := v_0 + if x.Op != OpLOONG64MOVBUloadidx { + break + } + v.reset(OpLOONG64MOVVreg) + v.AddArg(x) + return true + } + // match: (MOVWUreg x:(MOVHUloadidx _ _ _)) + // result: (MOVVreg x) + for { + x := v_0 + if x.Op != OpLOONG64MOVHUloadidx { + break + } + v.reset(OpLOONG64MOVVreg) + v.AddArg(x) + return true + } + // match: (MOVWUreg x:(MOVWUloadidx _ _ _)) + // result: (MOVVreg x) + for { + x := v_0 + if x.Op != OpLOONG64MOVWUloadidx { + break + } + v.reset(OpLOONG64MOVVreg) + v.AddArg(x) + return true + } // match: (MOVWUreg x:(MOVBUreg _)) // result: (MOVVreg x) for { @@ -5297,6 +5407,61 @@ func rewriteValueLOONG64_OpLOONG64MOVWreg(v *Value) bool { v.AddArg(x) return true } + // match: (MOVWreg x:(MOVBloadidx _ _ _)) + // result: (MOVVreg x) + for { + x := v_0 + if x.Op != OpLOONG64MOVBloadidx { + break + } + v.reset(OpLOONG64MOVVreg) + v.AddArg(x) + return true + } + // match: (MOVWreg x:(MOVBUloadidx _ _ _)) + // result: (MOVVreg x) + for { + x := v_0 + if x.Op != OpLOONG64MOVBUloadidx { + break + } + v.reset(OpLOONG64MOVVreg) + v.AddArg(x) + return true + } + // match: (MOVWreg x:(MOVHloadidx _ _ _)) + // result: (MOVVreg x) + for { + x := v_0 + if x.Op != OpLOONG64MOVHloadidx { + break + } + v.reset(OpLOONG64MOVVreg) + v.AddArg(x) + return true + } + // match: (MOVWreg x:(MOVHUloadidx _ _ _)) + // result: (MOVVreg x) + for { + x := v_0 + if x.Op != OpLOONG64MOVHUloadidx { + break + } + v.reset(OpLOONG64MOVVreg) + v.AddArg(x) + return true + } + // match: (MOVWreg x:(MOVWloadidx _ _ _)) + // result: (MOVVreg x) + for { + x := v_0 + if x.Op != OpLOONG64MOVWloadidx { + break + } + v.reset(OpLOONG64MOVVreg) + v.AddArg(x) + return true + } // match: (MOVWreg x:(MOVBreg _)) // result: (MOVVreg x) for {