[Triton][IR] Requirett.make_range op to have positive size (#7093)

Author: QingChuanWS

lib/Dialect/Triton/IR/Ops.cpp

@@ -368,8 +368,8 @@ OpFoldResult MakeRangeOp::fold(FoldAdaptor adaptor) {
 LogicalResult MakeRangeOp::verify() {
   int64_t start = getStartAttr().getInt();
   int64_t end = getEndAttr().getInt();
-  if (start > end) {
-    return this->emitOpError() << "start must be less than or equal to end";
+  if (start >= end) {
+    return this->emitOpError() << "start must be less than end";
   }
   auto ty = getType();
   if (ty.getShape().size() != 1) {

test/Triton/verify-make-range.mlir

@@ -22,7 +22,7 @@ tt.func public @_2d_tensor() {
 
 // -----
 tt.func public @bad_start_end() {
-    // expected-error @+1 {{start must be less than or equal to end}}
+    // expected-error @+1 {{start must be less than end}}
     %a = tt.make_range { start = 0 : i32, end = -16 : i32 } : tensor<16xi32>
     tt.return
 }
@@ -33,3 +33,11 @@ tt.func public @bad_num_elems() {
     %a = tt.make_range { start = 0 : i32, end = 32 : i32 } : tensor<16xi32>
     tt.return
 }
+
+// -----
+
+tt.func @same_start_end() {
+  // expected-error @+1 {{'tt.make_range' op start must be less than end}}
+  %0 = tt.make_range{end = 1 : i32, start = 1 : i32} : tensor<0xi32>
+  tt.return
+}