cybercyst/go
1
0
Fork 0
mirror of https://github.com/golang/go.git synced 2025-05-17 13:24:38 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

cmd/compile: fix SSA immediate sign extension on s390x

Browse Source 
The CMPWUconst op (32-bit unsigned comparison with immediate) takes
an unsigned immediate value. In SSA this should be sign extended to
64-bits to match the Int32 type given in the op and then zero
extended when producing the final assembly. Before this CL we were
zero extending in SSA which caused ssacheck to fail.

While we are here also ensure other 32-bit immediates are sign
extended in SSA.

Passes toolstash -cmp on std on s390x.

Fixes #22611.

Change-Id: I5c061a76a710b10ecb0650c9c42efd9fa1c123cc
Reviewed-on: https://go-review.googlesource.com/76336
Run-TryBot: Michael Munday <mike.munday@ibm.com>
TryBot-Result: Gobot Gobot <gobot@golang.org>
Reviewed-by: Cherry Zhang <cherryyz@google.com>
This commit is contained in:
Michael Munday 2017-11-07 04:40:56 -05:00
parent 83a1a2ba63
commit 33c246ff92
5 changed files with 66 additions and 60 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/cmd/compile/internal/s390x/ssa.go
View File

@ -337,12 +337,18 @@ func ssaGenValue(s *gc.SSAGenState, v *ssa.Value) {
opregreg(s, v.Op.Asm(), v.Args[1].Reg(), v.Args[0].Reg())
case ssa.OpS390XFCMPS, ssa.OpS390XFCMP:
opregreg(s, v.Op.Asm(), v.Args[1].Reg(), v.Args[0].Reg())
case ssa.OpS390XCMPconst, ssa.OpS390XCMPWconst, ssa.OpS390XCMPUconst, ssa.OpS390XCMPWUconst:
case ssa.OpS390XCMPconst, ssa.OpS390XCMPWconst:
p := s.Prog(v.Op.Asm())
p.From.Type = obj.TYPE_REG
p.From.Reg = v.Args[0].Reg()
p.To.Type = obj.TYPE_CONST
p.To.Offset = v.AuxInt
case ssa.OpS390XCMPUconst, ssa.OpS390XCMPWUconst:
p := s.Prog(v.Op.Asm())
p.From.Type = obj.TYPE_REG
p.From.Reg = v.Args[0].Reg()
p.To.Type = obj.TYPE_CONST
p.To.Offset = int64(uint32(v.AuxInt))
case ssa.OpS390XMOVDconst:
x := v.Reg()
p := s.Prog(v.Op.Asm())

26
src/cmd/compile/internal/ssa/gen/S390X.rules
View File

@ -520,31 +520,31 @@
// Fold constants into instructions.
(ADD x (MOVDconst [c])) && is32Bit(c) -> (ADDconst [c] x)
(ADDW x (MOVDconst [c])) -> (ADDWconst [c] x)
(ADDW x (MOVDconst [c])) -> (ADDWconst [int64(int32(c))] x)
(SUB x (MOVDconst [c])) && is32Bit(c) -> (SUBconst x [c])
(SUB (MOVDconst [c]) x) && is32Bit(c) -> (NEG (SUBconst <v.Type> x [c]))
(SUBW x (MOVDconst [c])) -> (SUBWconst x [c])
(SUBW (MOVDconst [c]) x) -> (NEGW (SUBWconst <v.Type> x [c]))
(SUBW x (MOVDconst [c])) -> (SUBWconst x [int64(int32(c))])
(SUBW (MOVDconst [c]) x) -> (NEGW (SUBWconst <v.Type> x [int64(int32(c))]))
(MULLD x (MOVDconst [c])) && is32Bit(c) -> (MULLDconst [c] x)
(MULLW x (MOVDconst [c])) -> (MULLWconst [c] x)
(MULLW x (MOVDconst [c])) -> (MULLWconst [int64(int32(c))] x)
// NILF instructions leave the high 32 bits unchanged which is
// equivalent to the leftmost 32 bits being set.
// TODO(mundaym): modify the assembler to accept 64-bit values
// and use isU32Bit(^c).
(AND x (MOVDconst [c])) && is32Bit(c) && c < 0 -> (ANDconst [c] x)
(ANDW x (MOVDconst [c])) -> (ANDWconst [c] x)
(ANDW x (MOVDconst [c])) -> (ANDWconst [int64(int32(c))] x)
(ANDWconst [c] (ANDWconst [d] x)) -> (ANDWconst [c & d] x)
(ANDconst [c] (ANDconst [d] x)) -> (ANDconst [c & d] x)
(OR x (MOVDconst [c])) && isU32Bit(c) -> (ORconst [c] x)
(ORW x (MOVDconst [c])) -> (ORWconst [c] x)
(ORW x (MOVDconst [c])) -> (ORWconst [int64(int32(c))] x)
(XOR x (MOVDconst [c])) && isU32Bit(c) -> (XORconst [c] x)
(XORW x (MOVDconst [c])) -> (XORWconst [c] x)
(XORW x (MOVDconst [c])) -> (XORWconst [int64(int32(c))] x)
(SLD x (MOVDconst [c])) -> (SLDconst [c&63] x)
(SLW x (MOVDconst [c])) -> (SLWconst [c&63] x)
@ -571,12 +571,12 @@
(CMP x (MOVDconst [c])) && is32Bit(c) -> (CMPconst x [c])
(CMP (MOVDconst [c]) x) && is32Bit(c) -> (InvertFlags (CMPconst x [c]))
(CMPW x (MOVDconst [c])) -> (CMPWconst x [c])
(CMPW (MOVDconst [c]) x) -> (InvertFlags (CMPWconst x [c]))
(CMPU x (MOVDconst [c])) && isU32Bit(c) -> (CMPUconst x [int64(uint32(c))])
(CMPU (MOVDconst [c]) x) && isU32Bit(c) -> (InvertFlags (CMPUconst x [int64(uint32(c))]))
(CMPWU x (MOVDconst [c])) -> (CMPWUconst x [int64(uint32(c))])
(CMPWU (MOVDconst [c]) x) -> (InvertFlags (CMPWUconst x [int64(uint32(c))]))
(CMPW x (MOVDconst [c])) -> (CMPWconst x [int64(int32(c))])
(CMPW (MOVDconst [c]) x) -> (InvertFlags (CMPWconst x [int64(int32(c))]))
(CMPU x (MOVDconst [c])) && isU32Bit(c) -> (CMPUconst x [int64(int32(c))])
(CMPU (MOVDconst [c]) x) && isU32Bit(c) -> (InvertFlags (CMPUconst x [int64(int32(c))]))
(CMPWU x (MOVDconst [c])) -> (CMPWUconst x [int64(int32(c))])
(CMPWU (MOVDconst [c]) x) -> (InvertFlags (CMPWUconst x [int64(int32(c))]))
// Using MOV{W,H,B}Zreg instead of AND is cheaper.
(AND x (MOVDconst [0xFF])) -> (MOVBZreg x)

10
src/cmd/compile/internal/ssa/gen/S390XOps.go
View File

@ -235,21 +235,21 @@ func init() {
// binary ops
{name: "ADD", argLength: 2, reg: gp21sp, asm: "ADD", commutative: true, clobberFlags: true}, // arg0 + arg1
{name: "ADDW", argLength: 2, reg: gp21sp, asm: "ADDW", commutative: true, clobberFlags: true}, // arg0 + arg1
{name: "ADDconst", argLength: 1, reg: gp11sp, asm: "ADD", aux: "Int64", typ: "UInt64", clobberFlags: true}, // arg0 + auxint
{name: "ADDconst", argLength: 1, reg: gp11sp, asm: "ADD", aux: "Int32", typ: "UInt64", clobberFlags: true}, // arg0 + auxint
{name: "ADDWconst", argLength: 1, reg: gp11sp, asm: "ADDW", aux: "Int32", clobberFlags: true}, // arg0 + auxint
{name: "ADDload", argLength: 3, reg: gpopload, asm: "ADD", aux: "SymOff", resultInArg0: true, clobberFlags: true, faultOnNilArg1: true, symEffect: "Read"}, // arg0 + *arg1. arg2=mem
{name: "ADDWload", argLength: 3, reg: gpopload, asm: "ADDW", aux: "SymOff", resultInArg0: true, clobberFlags: true, faultOnNilArg1: true, symEffect: "Read"}, // arg0 + *arg1. arg2=mem
{name: "SUB", argLength: 2, reg: gp21, asm: "SUB", clobberFlags: true}, // arg0 - arg1
{name: "SUBW", argLength: 2, reg: gp21, asm: "SUBW", clobberFlags: true}, // arg0 - arg1
{name: "SUBconst", argLength: 1, reg: gp11, asm: "SUB", aux: "Int64", resultInArg0: true, clobberFlags: true}, // arg0 - auxint
{name: "SUBconst", argLength: 1, reg: gp11, asm: "SUB", aux: "Int32", resultInArg0: true, clobberFlags: true}, // arg0 - auxint
{name: "SUBWconst", argLength: 1, reg: gp11, asm: "SUBW", aux: "Int32", resultInArg0: true, clobberFlags: true}, // arg0 - auxint
{name: "SUBload", argLength: 3, reg: gpopload, asm: "SUB", aux: "SymOff", resultInArg0: true, clobberFlags: true, faultOnNilArg1: true, symEffect: "Read"}, // arg0 - *arg1. arg2=mem
{name: "SUBWload", argLength: 3, reg: gpopload, asm: "SUBW", aux: "SymOff", resultInArg0: true, clobberFlags: true, faultOnNilArg1: true, symEffect: "Read"}, // arg0 - *arg1. arg2=mem
{name: "MULLD", argLength: 2, reg: gp21, asm: "MULLD", typ: "Int64", commutative: true, resultInArg0: true, clobberFlags: true}, // arg0 * arg1
{name: "MULLW", argLength: 2, reg: gp21, asm: "MULLW", typ: "Int32", commutative: true, resultInArg0: true, clobberFlags: true}, // arg0 * arg1
{name: "MULLDconst", argLength: 1, reg: gp11, asm: "MULLD", aux: "Int64", typ: "Int64", resultInArg0: true, clobberFlags: true}, // arg0 * auxint
{name: "MULLDconst", argLength: 1, reg: gp11, asm: "MULLD", aux: "Int32", typ: "Int64", resultInArg0: true, clobberFlags: true}, // arg0 * auxint
{name: "MULLWconst", argLength: 1, reg: gp11, asm: "MULLW", aux: "Int32", typ: "Int32", resultInArg0: true, clobberFlags: true}, // arg0 * auxint
{name: "MULLDload", argLength: 3, reg: gpopload, asm: "MULLD", aux: "SymOff", resultInArg0: true, clobberFlags: true, faultOnNilArg1: true, symEffect: "Read"}, // arg0 * *arg1. arg2=mem
{name: "MULLWload", argLength: 3, reg: gpopload, asm: "MULLW", aux: "SymOff", resultInArg0: true, clobberFlags: true, faultOnNilArg1: true, symEffect: "Read"}, // arg0 * *arg1. arg2=mem
@ -295,9 +295,9 @@ func init() {
{name: "CMPU", argLength: 2, reg: gp2flags, asm: "CMPU", typ: "Flags"}, // arg0 compare to arg1
{name: "CMPWU", argLength: 2, reg: gp2flags, asm: "CMPWU", typ: "Flags"}, // arg0 compare to arg1
{name: "CMPconst", argLength: 1, reg: gp1flags, asm: "CMP", typ: "Flags", aux: "Int64"}, // arg0 compare to auxint
{name: "CMPconst", argLength: 1, reg: gp1flags, asm: "CMP", typ: "Flags", aux: "Int32"}, // arg0 compare to auxint
{name: "CMPWconst", argLength: 1, reg: gp1flags, asm: "CMPW", typ: "Flags", aux: "Int32"}, // arg0 compare to auxint
{name: "CMPUconst", argLength: 1, reg: gp1flags, asm: "CMPU", typ: "Flags", aux: "Int64"}, // arg0 compare to auxint
{name: "CMPUconst", argLength: 1, reg: gp1flags, asm: "CMPU", typ: "Flags", aux: "Int32"}, // arg0 compare to auxint
{name: "CMPWUconst", argLength: 1, reg: gp1flags, asm: "CMPWU", typ: "Flags", aux: "Int32"}, // arg0 compare to auxint
{name: "FCMPS", argLength: 2, reg: fp2flags, asm: "CEBR", typ: "Flags"}, // arg0 compare to arg1, f32

10
src/cmd/compile/internal/ssa/opGen.go
View File

@ -19641,7 +19641,7 @@ var opcodeTable = [...]opInfo{
},
{
name: "ADDconst",
auxType: auxInt64,
auxType: auxInt32,
argLen: 1,
clobberFlags: true,
asm: s390x.AADD,
@ -19739,7 +19739,7 @@ var opcodeTable = [...]opInfo{
},
{
name: "SUBconst",
auxType: auxInt64,
auxType: auxInt32,
argLen: 1,
resultInArg0: true,
clobberFlags: true,
@ -19843,7 +19843,7 @@ var opcodeTable = [...]opInfo{
},
{
name: "MULLDconst",
auxType: auxInt64,
auxType: auxInt32,
argLen: 1,
resultInArg0: true,
clobberFlags: true,
@ -20425,7 +20425,7 @@ var opcodeTable = [...]opInfo{
},
{
name: "CMPconst",
auxType: auxInt64,
auxType: auxInt32,
argLen: 1,
asm: s390x.ACMP,
reg: regInfo{
@ -20447,7 +20447,7 @@ var opcodeTable = [...]opInfo{
},
{
name: "CMPUconst",
auxType: auxInt64,
auxType: auxInt32,
argLen: 1,
asm: s390x.ACMPU,
reg: regInfo{

72
src/cmd/compile/internal/ssa/rewriteS390X.go
View File

@ -6299,7 +6299,7 @@ func rewriteValueS390X_OpS390XADD_10(v *Value) bool {
func rewriteValueS390X_OpS390XADDW_0(v *Value) bool {
// match: (ADDW x (MOVDconst [c]))
// cond:
// result: (ADDWconst [c] x)
// result: (ADDWconst [int64(int32(c))] x)
for {
_ = v.Args[1]
x := v.Args[0]
@ -6309,13 +6309,13 @@ func rewriteValueS390X_OpS390XADDW_0(v *Value) bool {
}
c := v_1.AuxInt
v.reset(OpS390XADDWconst)
v.AuxInt = c
v.AuxInt = int64(int32(c))
v.AddArg(x)
return true
}
// match: (ADDW (MOVDconst [c]) x)
// cond:
// result: (ADDWconst [c] x)
// result: (ADDWconst [int64(int32(c))] x)
for {
_ = v.Args[1]
v_0 := v.Args[0]
@ -6325,7 +6325,7 @@ func rewriteValueS390X_OpS390XADDW_0(v *Value) bool {
c := v_0.AuxInt
x := v.Args[1]
v.reset(OpS390XADDWconst)
v.AuxInt = c
v.AuxInt = int64(int32(c))
v.AddArg(x)
return true
}
@ -7269,7 +7269,7 @@ func rewriteValueS390X_OpS390XAND_10(v *Value) bool {
func rewriteValueS390X_OpS390XANDW_0(v *Value) bool {
// match: (ANDW x (MOVDconst [c]))
// cond:
// result: (ANDWconst [c] x)
// result: (ANDWconst [int64(int32(c))] x)
for {
_ = v.Args[1]
x := v.Args[0]
@ -7279,13 +7279,13 @@ func rewriteValueS390X_OpS390XANDW_0(v *Value) bool {
}
c := v_1.AuxInt
v.reset(OpS390XANDWconst)
v.AuxInt = c
v.AuxInt = int64(int32(c))
v.AddArg(x)
return true
}
// match: (ANDW (MOVDconst [c]) x)
// cond:
// result: (ANDWconst [c] x)
// result: (ANDWconst [int64(int32(c))] x)
for {
_ = v.Args[1]
v_0 := v.Args[0]
@ -7295,7 +7295,7 @@ func rewriteValueS390X_OpS390XANDW_0(v *Value) bool {
c := v_0.AuxInt
x := v.Args[1]
v.reset(OpS390XANDWconst)
v.AuxInt = c
v.AuxInt = int64(int32(c))
v.AddArg(x)
return true
}
@ -7879,7 +7879,7 @@ func rewriteValueS390X_OpS390XCMPU_0(v *Value) bool {
_ = b
// match: (CMPU x (MOVDconst [c]))
// cond: isU32Bit(c)
// result: (CMPUconst x [int64(uint32(c))])
// result: (CMPUconst x [int64(int32(c))])
for {
_ = v.Args[1]
x := v.Args[0]
@ -7892,13 +7892,13 @@ func rewriteValueS390X_OpS390XCMPU_0(v *Value) bool {
break
}
v.reset(OpS390XCMPUconst)
v.AuxInt = int64(uint32(c))
v.AuxInt = int64(int32(c))
v.AddArg(x)
return true
}
// match: (CMPU (MOVDconst [c]) x)
// cond: isU32Bit(c)
// result: (InvertFlags (CMPUconst x [int64(uint32(c))]))
// result: (InvertFlags (CMPUconst x [int64(int32(c))]))
for {
_ = v.Args[1]
v_0 := v.Args[0]
@ -7912,7 +7912,7 @@ func rewriteValueS390X_OpS390XCMPU_0(v *Value) bool {
}
v.reset(OpS390XInvertFlags)
v0 := b.NewValue0(v.Pos, OpS390XCMPUconst, types.TypeFlags)
v0.AuxInt = int64(uint32(c))
v0.AuxInt = int64(int32(c))
v0.AddArg(x)
v.AddArg(v0)
return true
@ -7975,7 +7975,7 @@ func rewriteValueS390X_OpS390XCMPW_0(v *Value) bool {
_ = b
// match: (CMPW x (MOVDconst [c]))
// cond:
// result: (CMPWconst x [c])
// result: (CMPWconst x [int64(int32(c))])
for {
_ = v.Args[1]
x := v.Args[0]
@ -7985,13 +7985,13 @@ func rewriteValueS390X_OpS390XCMPW_0(v *Value) bool {
}
c := v_1.AuxInt
v.reset(OpS390XCMPWconst)
v.AuxInt = c
v.AuxInt = int64(int32(c))
v.AddArg(x)
return true
}
// match: (CMPW (MOVDconst [c]) x)
// cond:
// result: (InvertFlags (CMPWconst x [c]))
// result: (InvertFlags (CMPWconst x [int64(int32(c))]))
for {
_ = v.Args[1]
v_0 := v.Args[0]
@ -8002,7 +8002,7 @@ func rewriteValueS390X_OpS390XCMPW_0(v *Value) bool {
x := v.Args[1]
v.reset(OpS390XInvertFlags)
v0 := b.NewValue0(v.Pos, OpS390XCMPWconst, types.TypeFlags)
v0.AuxInt = c
v0.AuxInt = int64(int32(c))
v0.AddArg(x)
v.AddArg(v0)
return true
@ -8014,7 +8014,7 @@ func rewriteValueS390X_OpS390XCMPWU_0(v *Value) bool {
_ = b
// match: (CMPWU x (MOVDconst [c]))
// cond:
// result: (CMPWUconst x [int64(uint32(c))])
// result: (CMPWUconst x [int64(int32(c))])
for {
_ = v.Args[1]
x := v.Args[0]
@ -8024,13 +8024,13 @@ func rewriteValueS390X_OpS390XCMPWU_0(v *Value) bool {
}
c := v_1.AuxInt
v.reset(OpS390XCMPWUconst)
v.AuxInt = int64(uint32(c))
v.AuxInt = int64(int32(c))
v.AddArg(x)
return true
}
// match: (CMPWU (MOVDconst [c]) x)
// cond:
// result: (InvertFlags (CMPWUconst x [int64(uint32(c))]))
// result: (InvertFlags (CMPWUconst x [int64(int32(c))]))
for {
_ = v.Args[1]
v_0 := v.Args[0]
@ -8041,7 +8041,7 @@ func rewriteValueS390X_OpS390XCMPWU_0(v *Value) bool {
x := v.Args[1]
v.reset(OpS390XInvertFlags)
v0 := b.NewValue0(v.Pos, OpS390XCMPWUconst, types.TypeFlags)
v0.AuxInt = int64(uint32(c))
v0.AuxInt = int64(int32(c))
v0.AddArg(x)
v.AddArg(v0)
return true
@ -21277,7 +21277,7 @@ func rewriteValueS390X_OpS390XMULLDload_0(v *Value) bool {
func rewriteValueS390X_OpS390XMULLW_0(v *Value) bool {
// match: (MULLW x (MOVDconst [c]))
// cond:
// result: (MULLWconst [c] x)
// result: (MULLWconst [int64(int32(c))] x)
for {
_ = v.Args[1]
x := v.Args[0]
@ -21287,13 +21287,13 @@ func rewriteValueS390X_OpS390XMULLW_0(v *Value) bool {
}
c := v_1.AuxInt
v.reset(OpS390XMULLWconst)
v.AuxInt = c
v.AuxInt = int64(int32(c))
v.AddArg(x)
return true
}
// match: (MULLW (MOVDconst [c]) x)
// cond:
// result: (MULLWconst [c] x)
// result: (MULLWconst [int64(int32(c))] x)
for {
_ = v.Args[1]
v_0 := v.Args[0]
@ -21303,7 +21303,7 @@ func rewriteValueS390X_OpS390XMULLW_0(v *Value) bool {
c := v_0.AuxInt
x := v.Args[1]
v.reset(OpS390XMULLWconst)
v.AuxInt = c
v.AuxInt = int64(int32(c))
v.AddArg(x)
return true
}
@ -31427,7 +31427,7 @@ func rewriteValueS390X_OpS390XOR_150(v *Value) bool {
func rewriteValueS390X_OpS390XORW_0(v *Value) bool {
// match: (ORW x (MOVDconst [c]))
// cond:
// result: (ORWconst [c] x)
// result: (ORWconst [int64(int32(c))] x)
for {
_ = v.Args[1]
x := v.Args[0]
@ -31437,13 +31437,13 @@ func rewriteValueS390X_OpS390XORW_0(v *Value) bool {
}
c := v_1.AuxInt
v.reset(OpS390XORWconst)
v.AuxInt = c
v.AuxInt = int64(int32(c))
v.AddArg(x)
return true
}
// match: (ORW (MOVDconst [c]) x)
// cond:
// result: (ORWconst [c] x)
// result: (ORWconst [int64(int32(c))] x)
for {
_ = v.Args[1]
v_0 := v.Args[0]
@ -31453,7 +31453,7 @@ func rewriteValueS390X_OpS390XORW_0(v *Value) bool {
c := v_0.AuxInt
x := v.Args[1]
v.reset(OpS390XORWconst)
v.AuxInt = c
v.AuxInt = int64(int32(c))
v.AddArg(x)
return true
}
@ -37604,7 +37604,7 @@ func rewriteValueS390X_OpS390XSUBW_0(v *Value) bool {
_ = b
// match: (SUBW x (MOVDconst [c]))
// cond:
// result: (SUBWconst x [c])
// result: (SUBWconst x [int64(int32(c))])
for {
_ = v.Args[1]
x := v.Args[0]
@ -37614,13 +37614,13 @@ func rewriteValueS390X_OpS390XSUBW_0(v *Value) bool {
}
c := v_1.AuxInt
v.reset(OpS390XSUBWconst)
v.AuxInt = c
v.AuxInt = int64(int32(c))
v.AddArg(x)
return true
}
// match: (SUBW (MOVDconst [c]) x)
// cond:
// result: (NEGW (SUBWconst <v.Type> x [c]))
// result: (NEGW (SUBWconst <v.Type> x [int64(int32(c))]))
for {
_ = v.Args[1]
v_0 := v.Args[0]
@ -37631,7 +37631,7 @@ func rewriteValueS390X_OpS390XSUBW_0(v *Value) bool {
x := v.Args[1]
v.reset(OpS390XNEGW)
v0 := b.NewValue0(v.Pos, OpS390XSUBWconst, v.Type)
v0.AuxInt = c
v0.AuxInt = int64(int32(c))
v0.AddArg(x)
v.AddArg(v0)
return true
@ -38208,7 +38208,7 @@ func rewriteValueS390X_OpS390XXOR_10(v *Value) bool {
func rewriteValueS390X_OpS390XXORW_0(v *Value) bool {
// match: (XORW x (MOVDconst [c]))
// cond:
// result: (XORWconst [c] x)
// result: (XORWconst [int64(int32(c))] x)
for {
_ = v.Args[1]
x := v.Args[0]
@ -38218,13 +38218,13 @@ func rewriteValueS390X_OpS390XXORW_0(v *Value) bool {
}
c := v_1.AuxInt
v.reset(OpS390XXORWconst)
v.AuxInt = c
v.AuxInt = int64(int32(c))
v.AddArg(x)
return true
}
// match: (XORW (MOVDconst [c]) x)
// cond:
// result: (XORWconst [c] x)
// result: (XORWconst [int64(int32(c))] x)
for {
_ = v.Args[1]
v_0 := v.Args[0]
@ -38234,7 +38234,7 @@ func rewriteValueS390X_OpS390XXORW_0(v *Value) bool {
c := v_0.AuxInt
x := v.Args[1]
v.reset(OpS390XXORWconst)
v.AuxInt = c
v.AuxInt = int64(int32(c))
v.AddArg(x)
return true
}