@@ -171,7 +171,7 @@ func init() {
171
171
fpstore = regInfo {inputs : []regMask {gp | sp | sb , fp }}
172
172
fpstoreidx = regInfo {inputs : []regMask {gp | sp | sb , gp | sp | sb , fp }}
173
173
callerSave = regMask (gp | fp | gr | xer )
174
- first8 = buildReg ("R3 R4 R5 R6 R7 R8 R9 R10 " )
174
+ first7 = buildReg ("R3 R4 R5 R6 R7 R8 R9" )
175
175
)
176
176
ops := []opData {
177
177
{name : "ADD" , argLength : 2 , reg : gp21 , asm : "ADD" , commutative : true }, // arg0 + arg1
@@ -709,9 +709,9 @@ func init() {
709
709
// when both are constant (normally both 0, as prove derives the fact that a [0] bounds
710
710
// failure means the length must have also been 0).
711
711
// AuxInt contains a report code (see PanicBounds in genericOps.go).
712
- {name : "LoweredPanicBoundsRR" , argLength : 3 , aux : "Int64" , reg : regInfo {inputs : []regMask {first8 , first8 }}, typ : "Mem" , call : true }, // arg0=x, arg1=y, arg2=mem, returns memory.
713
- {name : "LoweredPanicBoundsRC" , argLength : 2 , aux : "PanicBoundsC" , reg : regInfo {inputs : []regMask {first8 }}, typ : "Mem" , call : true }, // arg0=x, arg1=mem, returns memory.
714
- {name : "LoweredPanicBoundsCR" , argLength : 2 , aux : "PanicBoundsC" , reg : regInfo {inputs : []regMask {first8 }}, typ : "Mem" , call : true }, // arg0=y, arg1=mem, returns memory.
712
+ {name : "LoweredPanicBoundsRR" , argLength : 3 , aux : "Int64" , reg : regInfo {inputs : []regMask {first7 , first7 }}, typ : "Mem" , call : true }, // arg0=x, arg1=y, arg2=mem, returns memory.
713
+ {name : "LoweredPanicBoundsRC" , argLength : 2 , aux : "PanicBoundsC" , reg : regInfo {inputs : []regMask {first7 }}, typ : "Mem" , call : true }, // arg0=x, arg1=mem, returns memory.
714
+ {name : "LoweredPanicBoundsCR" , argLength : 2 , aux : "PanicBoundsC" , reg : regInfo {inputs : []regMask {first7 }}, typ : "Mem" , call : true }, // arg0=y, arg1=mem, returns memory.
715
715
{name : "LoweredPanicBoundsCC" , argLength : 1 , aux : "PanicBoundsCC" , reg : regInfo {}, typ : "Mem" , call : true }, // arg0=mem, returns memory.
716
716
717
717
// (InvertFlags (CMP a b)) == (CMP b a)
0 commit comments