docs + >= -> >

Author: Thorsten Schütt

llvm/docs/GlobalISel/GenericOpcode.rst

@@ -759,7 +759,8 @@ G_STEP_VECTOR
 Create a scalable vector where all lanes are linear sequences starting at 0
 with a given unsigned step.
 
-The type of the operand must be equal to the vector element type.
+The type of the operand must be equal to the vector element type. Arithmetic
+is performed modulo the bitwidth of the element.
 
 .. code-block::
 

llvm/lib/CodeGen/MachineVerifier.cpp

@@ -1738,7 +1738,7 @@ void MachineVerifier::verifyPreISelGenericInstruction(const MachineInstr *MI) {
     }
 
     if (!MI->getOperand(1).getCImm()->getValue().isStrictlyPositive()) {
-      report("step must be >= 0", MI);
+      report("step must be > 0", MI);
       break;
     }
 

llvm/test/MachineVerifier/test_step-vector.mir

@@ -11,7 +11,7 @@ body: |
   ; CHECK: operand must be cimm
   %1:_(s32) = G_STEP_VECTOR %0
 
-  ; CHECK: step must be >= 0
+  ; CHECK: step must be > 0
   %2:_(s32) = G_STEP_VECTOR i32 -1
 
   ; CHECK: Destination type must be a scalable vector