Add range iteration tests for rangeUntil

#KT-52932

compiler/testData/codegen/box/ranges/stepped/unsigned/expression/rangeUntil/emptyProgression.kt

@@ -0,0 +1,23 @@
+// Auto-generated by GenerateSteppedRangesCodegenTestData. Do not edit!
+// WITH_STDLIB
+// !LANGUAGE: +RangeUntilOperator
+@file:OptIn(ExperimentalStdlibApi::class)
+import kotlin.test.*
+
+fun box(): String {
+    val uintList = mutableListOf<UInt>()
+    val uintProgression = 2u..<2u
+    for (i in uintProgression step 2) {
+        uintList += i
+    }
+    assertTrue(uintList.isEmpty())
+
+    val ulongList = mutableListOf<ULong>()
+    val ulongProgression = 2uL..<2uL
+    for (i in ulongProgression step 2L) {
+        ulongList += i
+    }
+    assertTrue(ulongList.isEmpty())
+
+    return "OK"
+}

compiler/testData/codegen/box/ranges/stepped/unsigned/expression/rangeUntil/illegalStepNegative.kt

@@ -0,0 +1,21 @@
+// Auto-generated by GenerateSteppedRangesCodegenTestData. Do not edit!
+// WITH_STDLIB
+// !LANGUAGE: +RangeUntilOperator
+@file:OptIn(ExperimentalStdlibApi::class)
+import kotlin.test.*
+
+fun box(): String {
+    assertFailsWith<IllegalArgumentException> {
+        val uintProgression = 1u..<8u
+        for (i in uintProgression step -1) {
+        }
+    }
+
+    assertFailsWith<IllegalArgumentException> {
+        val ulongProgression = 1uL..<8uL
+        for (i in ulongProgression step -1L) {
+        }
+    }
+
+    return "OK"
+}

compiler/testData/codegen/box/ranges/stepped/unsigned/expression/rangeUntil/illegalStepThenLegalStep.kt

@@ -0,0 +1,21 @@
+// Auto-generated by GenerateSteppedRangesCodegenTestData. Do not edit!
+// WITH_STDLIB
+// !LANGUAGE: +RangeUntilOperator
+@file:OptIn(ExperimentalStdlibApi::class)
+import kotlin.test.*
+
+fun box(): String {
+    assertFailsWith<IllegalArgumentException> {
+        val uintProgression = 1u..<8u
+        for (i in uintProgression step 0 step 2) {
+        }
+    }
+
+    assertFailsWith<IllegalArgumentException> {
+        val ulongProgression = 1uL..<8uL
+        for (i in ulongProgression step 0L step 2L) {
+        }
+    }
+
+    return "OK"
+}

compiler/testData/codegen/box/ranges/stepped/unsigned/expression/rangeUntil/illegalStepZero.kt

@@ -0,0 +1,21 @@
+// Auto-generated by GenerateSteppedRangesCodegenTestData. Do not edit!
+// WITH_STDLIB
+// !LANGUAGE: +RangeUntilOperator
+@file:OptIn(ExperimentalStdlibApi::class)
+import kotlin.test.*
+
+fun box(): String {
+    assertFailsWith<IllegalArgumentException> {
+        val uintProgression = 1u..<8u
+        for (i in uintProgression step 0) {
+        }
+    }
+
+    assertFailsWith<IllegalArgumentException> {
+        val ulongProgression = 1uL..<8uL
+        for (i in ulongProgression step 0L) {
+        }
+    }
+
+    return "OK"
+}

compiler/testData/codegen/box/ranges/stepped/unsigned/expression/rangeUntil/legalStepThenIllegalStep.kt

@@ -0,0 +1,21 @@
+// Auto-generated by GenerateSteppedRangesCodegenTestData. Do not edit!
+// WITH_STDLIB
+// !LANGUAGE: +RangeUntilOperator
+@file:OptIn(ExperimentalStdlibApi::class)
+import kotlin.test.*
+
+fun box(): String {
+    assertFailsWith<IllegalArgumentException> {
+        val uintProgression = 1u..<8u
+        for (i in uintProgression step 2 step 0) {
+        }
+    }
+
+    assertFailsWith<IllegalArgumentException> {
+        val ulongProgression = 1uL..<8uL
+        for (i in ulongProgression step 2L step 0L) {
+        }
+    }
+
+    return "OK"
+}

compiler/testData/codegen/box/ranges/stepped/unsigned/expression/rangeUntil/nestedStep/stepOneThenStepOne.kt

@@ -0,0 +1,23 @@
+// Auto-generated by GenerateSteppedRangesCodegenTestData. Do not edit!
+// WITH_STDLIB
+// !LANGUAGE: +RangeUntilOperator
+@file:OptIn(ExperimentalStdlibApi::class)
+import kotlin.test.*
+
+fun box(): String {
+    val uintList = mutableListOf<UInt>()
+    val uintProgression = 1u..<5u
+    for (i in uintProgression step 1 step 1) {
+        uintList += i
+    }
+    assertEquals(listOf(1u, 2u, 3u, 4u), uintList)
+
+    val ulongList = mutableListOf<ULong>()
+    val ulongProgression = 1uL..<5uL
+    for (i in ulongProgression step 1L step 1L) {
+        ulongList += i
+    }
+    assertEquals(listOf(1uL, 2uL, 3uL, 4uL), ulongList)
+
+    return "OK"
+}

compiler/testData/codegen/box/ranges/stepped/unsigned/expression/rangeUntil/nestedStep/stepThenSameStep.kt

@@ -0,0 +1,23 @@
+// Auto-generated by GenerateSteppedRangesCodegenTestData. Do not edit!
+// WITH_STDLIB
+// !LANGUAGE: +RangeUntilOperator
+@file:OptIn(ExperimentalStdlibApi::class)
+import kotlin.test.*
+
+fun box(): String {
+    val uintList = mutableListOf<UInt>()
+    val uintProgression = 1u..<9u
+    for (i in uintProgression step 2 step 2) {
+        uintList += i
+    }
+    assertEquals(listOf(1u, 3u, 5u, 7u), uintList)
+
+    val ulongList = mutableListOf<ULong>()
+    val ulongProgression = 1uL..<9uL
+    for (i in ulongProgression step 2L step 2L) {
+        ulongList += i
+    }
+    assertEquals(listOf(1uL, 3uL, 5uL, 7uL), ulongList)
+
+    return "OK"
+}

compiler/testData/codegen/box/ranges/stepped/unsigned/expression/rangeUntil/nestedStep/stepToSameLastThenStepOne.kt

@@ -0,0 +1,23 @@
+// Auto-generated by GenerateSteppedRangesCodegenTestData. Do not edit!
+// WITH_STDLIB
+// !LANGUAGE: +RangeUntilOperator
+@file:OptIn(ExperimentalStdlibApi::class)
+import kotlin.test.*
+
+fun box(): String {
+    val uintList = mutableListOf<UInt>()
+    val uintProgression = 1u..<6u
+    for (i in uintProgression step 2 step 1) {
+        uintList += i
+    }
+    assertEquals(listOf(1u, 2u, 3u, 4u, 5u), uintList)
+
+    val ulongList = mutableListOf<ULong>()
+    val ulongProgression = 1uL..<6uL
+    for (i in ulongProgression step 2L step 1L) {
+        ulongList += i
+    }
+    assertEquals(listOf(1uL, 2uL, 3uL, 4uL, 5uL), ulongList)
+
+    return "OK"
+}

compiler/testData/codegen/box/ranges/stepped/unsigned/expression/rangeUntil/nestedStep/stepToSameLastThenStepToSameLast.kt

@@ -0,0 +1,23 @@
+// Auto-generated by GenerateSteppedRangesCodegenTestData. Do not edit!
+// WITH_STDLIB
+// !LANGUAGE: +RangeUntilOperator
+@file:OptIn(ExperimentalStdlibApi::class)
+import kotlin.test.*
+
+fun box(): String {
+    val uintList = mutableListOf<UInt>()
+    val uintProgression = 1u..<8u
+    for (i in uintProgression step 3 step 2) {
+        uintList += i
+    }
+    assertEquals(listOf(1u, 3u, 5u, 7u), uintList)
+
+    val ulongList = mutableListOf<ULong>()
+    val ulongProgression = 1uL..<8uL
+    for (i in ulongProgression step 3L step 2L) {
+        ulongList += i
+    }
+    assertEquals(listOf(1uL, 3uL, 5uL, 7uL), ulongList)
+
+    return "OK"
+}

compiler/testData/codegen/box/ranges/stepped/unsigned/expression/rangeUntil/nestedStep/stepToSameLastThenStepToSmallerLast.kt

@@ -0,0 +1,23 @@
+// Auto-generated by GenerateSteppedRangesCodegenTestData. Do not edit!
+// WITH_STDLIB
+// !LANGUAGE: +RangeUntilOperator
+@file:OptIn(ExperimentalStdlibApi::class)
+import kotlin.test.*
+
+fun box(): String {
+    val uintList = mutableListOf<UInt>()
+    val uintProgression = 1u..<11u
+    for (i in uintProgression step 3 step 2) {
+        uintList += i
+    }
+    assertEquals(listOf(1u, 3u, 5u, 7u, 9u), uintList)
+
+    val ulongList = mutableListOf<ULong>()
+    val ulongProgression = 1uL..<11uL
+    for (i in ulongProgression step 3L step 2L) {
+        ulongList += i
+    }
+    assertEquals(listOf(1uL, 3uL, 5uL, 7uL, 9uL), ulongList)
+
+    return "OK"
+}

compiler/testData/codegen/box/ranges/stepped/unsigned/expression/rangeUntil/nestedStep/stepToSmallerLastThenStepOne.kt

@@ -0,0 +1,23 @@
+// Auto-generated by GenerateSteppedRangesCodegenTestData. Do not edit!
+// WITH_STDLIB
+// !LANGUAGE: +RangeUntilOperator
+@file:OptIn(ExperimentalStdlibApi::class)
+import kotlin.test.*
+
+fun box(): String {
+    val uintList = mutableListOf<UInt>()
+    val uintProgression = 1u..<7u
+    for (i in uintProgression step 2 step 1) {
+        uintList += i
+    }
+    assertEquals(listOf(1u, 2u, 3u, 4u, 5u), uintList)
+
+    val ulongList = mutableListOf<ULong>()
+    val ulongProgression = 1uL..<7uL
+    for (i in ulongProgression step 2L step 1L) {
+        ulongList += i
+    }
+    assertEquals(listOf(1uL, 2uL, 3uL, 4uL, 5uL), ulongList)
+
+    return "OK"
+}

compiler/testData/codegen/box/ranges/stepped/unsigned/expression/rangeUntil/nestedStep/stepToSmallerLastThenStepToSameLast.kt

@@ -0,0 +1,23 @@
+// Auto-generated by GenerateSteppedRangesCodegenTestData. Do not edit!
+// WITH_STDLIB
+// !LANGUAGE: +RangeUntilOperator
+@file:OptIn(ExperimentalStdlibApi::class)
+import kotlin.test.*
+
+fun box(): String {
+    val uintList = mutableListOf<UInt>()
+    val uintProgression = 1u..<9u
+    for (i in uintProgression step 2 step 3) {
+        uintList += i
+    }
+    assertEquals(listOf(1u, 4u, 7u), uintList)
+
+    val ulongList = mutableListOf<ULong>()
+    val ulongProgression = 1uL..<9uL
+    for (i in ulongProgression step 2L step 3L) {
+        ulongList += i
+    }
+    assertEquals(listOf(1uL, 4uL, 7uL), ulongList)
+
+    return "OK"
+}

compiler/testData/codegen/box/ranges/stepped/unsigned/expression/rangeUntil/nestedStep/stepToSmallerLastThenStepToSmallerLast.kt

@@ -0,0 +1,23 @@
+// Auto-generated by GenerateSteppedRangesCodegenTestData. Do not edit!
+// WITH_STDLIB
+// !LANGUAGE: +RangeUntilOperator
+@file:OptIn(ExperimentalStdlibApi::class)
+import kotlin.test.*
+
+fun box(): String {
+    val uintList = mutableListOf<UInt>()
+    val uintProgression = 1u..<11u
+    for (i in uintProgression step 2 step 3) {
+        uintList += i
+    }
+    assertEquals(listOf(1u, 4u, 7u), uintList)
+
+    val ulongList = mutableListOf<ULong>()
+    val ulongProgression = 1uL..<11uL
+    for (i in ulongProgression step 2L step 3L) {
+        ulongList += i
+    }
+    assertEquals(listOf(1uL, 4uL, 7uL), ulongList)
+
+    return "OK"
+}

compiler/testData/codegen/box/ranges/stepped/unsigned/expression/rangeUntil/reversed/reversedThenStep.kt

@@ -0,0 +1,23 @@
+// Auto-generated by GenerateSteppedRangesCodegenTestData. Do not edit!
+// WITH_STDLIB
+// !LANGUAGE: +RangeUntilOperator
+@file:OptIn(ExperimentalStdlibApi::class)
+import kotlin.test.*
+
+fun box(): String {
+    val uintList = mutableListOf<UInt>()
+    val uintProgression = 1u..<9u
+    for (i in uintProgression.reversed() step 2) {
+        uintList += i
+    }
+    assertEquals(listOf(8u, 6u, 4u, 2u), uintList)
+
+    val ulongList = mutableListOf<ULong>()
+    val ulongProgression = 1uL..<9uL
+    for (i in ulongProgression.reversed() step 2L) {
+        ulongList += i
+    }
+    assertEquals(listOf(8uL, 6uL, 4uL, 2uL), ulongList)
+
+    return "OK"
+}

compiler/testData/codegen/box/ranges/stepped/unsigned/expression/rangeUntil/reversed/reversedThenStepThenReversed.kt

@@ -0,0 +1,23 @@
+// Auto-generated by GenerateSteppedRangesCodegenTestData. Do not edit!
+// WITH_STDLIB
+// !LANGUAGE: +RangeUntilOperator
+@file:OptIn(ExperimentalStdlibApi::class)
+import kotlin.test.*
+
+fun box(): String {
+    val uintList = mutableListOf<UInt>()
+    val uintProgression = 1u..<9u
+    for (i in (uintProgression.reversed() step 2).reversed()) {
+        uintList += i
+    }
+    assertEquals(listOf(2u, 4u, 6u, 8u), uintList)
+
+    val ulongList = mutableListOf<ULong>()
+    val ulongProgression = 1uL..<9uL
+    for (i in (ulongProgression.reversed() step 2L).reversed()) {
+        ulongList += i
+    }
+    assertEquals(listOf(2uL, 4uL, 6uL, 8uL), ulongList)
+
+    return "OK"
+}

compiler/testData/codegen/box/ranges/stepped/unsigned/expression/rangeUntil/reversed/reversedThenStepThenReversedThenStep.kt

@@ -0,0 +1,23 @@
+// Auto-generated by GenerateSteppedRangesCodegenTestData. Do not edit!
+// WITH_STDLIB
+// !LANGUAGE: +RangeUntilOperator
+@file:OptIn(ExperimentalStdlibApi::class)
+import kotlin.test.*
+
+fun box(): String {
+    val uintList = mutableListOf<UInt>()
+    val uintProgression = 1u..<11u
+    for (i in (uintProgression.reversed() step 2).reversed() step 3) {
+        uintList += i
+    }
+    assertEquals(listOf(2u, 5u, 8u), uintList)
+
+    val ulongList = mutableListOf<ULong>()
+    val ulongProgression = 1uL..<11uL
+    for (i in (ulongProgression.reversed() step 2L).reversed() step 3L) {
+        ulongList += i
+    }
+    assertEquals(listOf(2uL, 5uL, 8uL), ulongList)
+
+    return "OK"
+}

compiler/testData/codegen/box/ranges/stepped/unsigned/expression/rangeUntil/reversed/stepThenReversed.kt

@@ -0,0 +1,23 @@
+// Auto-generated by GenerateSteppedRangesCodegenTestData. Do not edit!
+// WITH_STDLIB
+// !LANGUAGE: +RangeUntilOperator
+@file:OptIn(ExperimentalStdlibApi::class)
+import kotlin.test.*
+
+fun box(): String {
+    val uintList = mutableListOf<UInt>()
+    val uintProgression = 1u..<9u
+    for (i in (uintProgression step 2).reversed()) {
+        uintList += i
+    }
+    assertEquals(listOf(7u, 5u, 3u, 1u), uintList)
+
+    val ulongList = mutableListOf<ULong>()
+    val ulongProgression = 1uL..<9uL
+    for (i in (ulongProgression step 2L).reversed()) {
+        ulongList += i
+    }
+    assertEquals(listOf(7uL, 5uL, 3uL, 1uL), ulongList)
+
+    return "OK"
+}

compiler/testData/codegen/box/ranges/stepped/unsigned/expression/rangeUntil/reversed/stepThenReversedThenStep.kt

@@ -0,0 +1,23 @@
+// Auto-generated by GenerateSteppedRangesCodegenTestData. Do not edit!
+// WITH_STDLIB
+// !LANGUAGE: +RangeUntilOperator
+@file:OptIn(ExperimentalStdlibApi::class)
+import kotlin.test.*
+
+fun box(): String {
+    val uintList = mutableListOf<UInt>()
+    val uintProgression = 1u..<11u
+    for (i in (uintProgression step 2).reversed() step 3) {
+        uintList += i
+    }
+    assertEquals(listOf(9u, 6u, 3u), uintList)
+
+    val ulongList = mutableListOf<ULong>()
+    val ulongProgression = 1uL..<11uL
+    for (i in (ulongProgression step 2L).reversed() step 3L) {
+        ulongList += i
+    }
+    assertEquals(listOf(9uL, 6uL, 3uL), ulongList)
+
+    return "OK"
+}

compiler/testData/codegen/box/ranges/stepped/unsigned/expression/rangeUntil/reversed/stepThenReversedThenStepThenReversed.kt

@@ -0,0 +1,23 @@
+// Auto-generated by GenerateSteppedRangesCodegenTestData. Do not edit!
+// WITH_STDLIB
+// !LANGUAGE: +RangeUntilOperator
+@file:OptIn(ExperimentalStdlibApi::class)
+import kotlin.test.*
+
+fun box(): String {
+    val uintList = mutableListOf<UInt>()
+    val uintProgression = 1u..<11u
+    for (i in ((uintProgression step 2).reversed() step 3).reversed()) {
+        uintList += i
+    }
+    assertEquals(listOf(3u, 6u, 9u), uintList)
+
+    val ulongList = mutableListOf<ULong>()
+    val ulongProgression = 1uL..<11uL
+    for (i in ((ulongProgression step 2L).reversed() step 3L).reversed()) {
+        ulongList += i
+    }
+    assertEquals(listOf(3uL, 6uL, 9uL), ulongList)
+
+    return "OK"
+}

compiler/testData/codegen/box/ranges/stepped/unsigned/expression/rangeUntil/singleElementStepTwo.kt

@@ -0,0 +1,23 @@
+// Auto-generated by GenerateSteppedRangesCodegenTestData. Do not edit!
+// WITH_STDLIB
+// !LANGUAGE: +RangeUntilOperator
+@file:OptIn(ExperimentalStdlibApi::class)
+import kotlin.test.*
+
+fun box(): String {
+    val uintList = mutableListOf<UInt>()
+    val uintProgression = 1u..<2u
+    for (i in uintProgression step 2) {
+        uintList += i
+    }
+    assertEquals(listOf(1u), uintList)
+
+    val ulongList = mutableListOf<ULong>()
+    val ulongProgression = 1uL..<2uL
+    for (i in ulongProgression step 2L) {
+        ulongList += i
+    }
+    assertEquals(listOf(1uL), ulongList)
+
+    return "OK"
+}

compiler/testData/codegen/box/ranges/stepped/unsigned/expression/rangeUntil/stepOne.kt

@@ -0,0 +1,23 @@
+// Auto-generated by GenerateSteppedRangesCodegenTestData. Do not edit!
+// WITH_STDLIB
+// !LANGUAGE: +RangeUntilOperator
+@file:OptIn(ExperimentalStdlibApi::class)
+import kotlin.test.*
+
+fun box(): String {
+    val uintList = mutableListOf<UInt>()
+    val uintProgression = 1u..<5u
+    for (i in uintProgression step 1) {
+        uintList += i
+    }
+    assertEquals(listOf(1u, 2u, 3u, 4u), uintList)
+
+    val ulongList = mutableListOf<ULong>()
+    val ulongProgression = 1uL..<5uL
+    for (i in ulongProgression step 1L) {
+        ulongList += i
+    }
+    assertEquals(listOf(1uL, 2uL, 3uL, 4uL), ulongList)
+
+    return "OK"
+}

compiler/testData/codegen/box/ranges/stepped/unsigned/expression/rangeUntil/stepToOutsideRange.kt

@@ -0,0 +1,23 @@
+// Auto-generated by GenerateSteppedRangesCodegenTestData. Do not edit!
+// WITH_STDLIB
+// !LANGUAGE: +RangeUntilOperator
+@file:OptIn(ExperimentalStdlibApi::class)
+import kotlin.test.*
+
+fun box(): String {
+    val uintList = mutableListOf<UInt>()
+    val uintProgression = 1u..<8u
+    for (i in uintProgression step 7) {
+        uintList += i
+    }
+    assertEquals(listOf(1u), uintList)
+
+    val ulongList = mutableListOf<ULong>()
+    val ulongProgression = 1uL..<8uL
+    for (i in ulongProgression step 7L) {
+        ulongList += i
+    }
+    assertEquals(listOf(1uL), ulongList)
+
+    return "OK"
+}

compiler/testData/codegen/box/ranges/stepped/unsigned/expression/rangeUntil/stepToSameLast.kt

@@ -0,0 +1,23 @@
+// Auto-generated by GenerateSteppedRangesCodegenTestData. Do not edit!
+// WITH_STDLIB
+// !LANGUAGE: +RangeUntilOperator
+@file:OptIn(ExperimentalStdlibApi::class)
+import kotlin.test.*
+
+fun box(): String {
+    val uintList = mutableListOf<UInt>()
+    val uintProgression = 1u..<8u
+    for (i in uintProgression step 2) {
+        uintList += i
+    }
+    assertEquals(listOf(1u, 3u, 5u, 7u), uintList)
+
+    val ulongList = mutableListOf<ULong>()
+    val ulongProgression = 1uL..<8uL
+    for (i in ulongProgression step 2L) {
+        ulongList += i
+    }
+    assertEquals(listOf(1uL, 3uL, 5uL, 7uL), ulongList)
+
+    return "OK"
+}

compiler/testData/codegen/box/ranges/stepped/unsigned/expression/rangeUntil/stepToSmallerLast.kt

@@ -0,0 +1,23 @@
+// Auto-generated by GenerateSteppedRangesCodegenTestData. Do not edit!
+// WITH_STDLIB
+// !LANGUAGE: +RangeUntilOperator
+@file:OptIn(ExperimentalStdlibApi::class)
+import kotlin.test.*
+
+fun box(): String {
+    val uintList = mutableListOf<UInt>()
+    val uintProgression = 1u..<9u
+    for (i in uintProgression step 2) {
+        uintList += i
+    }
+    assertEquals(listOf(1u, 3u, 5u, 7u), uintList)
+
+    val ulongList = mutableListOf<ULong>()
+    val ulongProgression = 1uL..<9uL
+    for (i in ulongProgression step 2L) {
+        ulongList += i
+    }
+    assertEquals(listOf(1uL, 3uL, 5uL, 7uL), ulongList)
+
+    return "OK"
+}

compiler/testData/codegen/box/ranges/stepped/unsigned/literal/rangeUntil/emptyProgression.kt

@@ -0,0 +1,21 @@
+// Auto-generated by GenerateSteppedRangesCodegenTestData. Do not edit!
+// WITH_STDLIB
+// !LANGUAGE: +RangeUntilOperator
+@file:OptIn(ExperimentalStdlibApi::class)
+import kotlin.test.*
+
+fun box(): String {
+    val uintList = mutableListOf<UInt>()
+    for (i in 2u..<2u step 2) {
+        uintList += i
+    }
+    assertTrue(uintList.isEmpty())
+
+    val ulongList = mutableListOf<ULong>()
+    for (i in 2uL..<2uL step 2L) {
+        ulongList += i
+    }
+    assertTrue(ulongList.isEmpty())
+
+    return "OK"
+}

compiler/testData/codegen/box/ranges/stepped/unsigned/literal/rangeUntil/illegalStepNegative.kt

@@ -0,0 +1,21 @@
+// Auto-generated by GenerateSteppedRangesCodegenTestData. Do not edit!
+// WITH_STDLIB
+// KT-34166: Translation of loop over literal completely removes the validation of step
+// DONT_TARGET_EXACT_BACKEND: JS
+// !LANGUAGE: +RangeUntilOperator
+@file:OptIn(ExperimentalStdlibApi::class)
+import kotlin.test.*
+
+fun box(): String {
+    assertFailsWith<IllegalArgumentException> {
+        for (i in 1u..<8u step -1) {
+        }
+    }
+
+    assertFailsWith<IllegalArgumentException> {
+        for (i in 1uL..<8uL step -1L) {
+        }
+    }
+
+    return "OK"
+}

compiler/testData/codegen/box/ranges/stepped/unsigned/literal/rangeUntil/illegalStepThenLegalStep.kt

@@ -0,0 +1,19 @@
+// Auto-generated by GenerateSteppedRangesCodegenTestData. Do not edit!
+// WITH_STDLIB
+// !LANGUAGE: +RangeUntilOperator
+@file:OptIn(ExperimentalStdlibApi::class)
+import kotlin.test.*
+
+fun box(): String {
+    assertFailsWith<IllegalArgumentException> {
+        for (i in 1u..<8u step 0 step 2) {
+        }
+    }
+
+    assertFailsWith<IllegalArgumentException> {
+        for (i in 1uL..<8uL step 0L step 2L) {
+        }
+    }
+
+    return "OK"
+}

compiler/testData/codegen/box/ranges/stepped/unsigned/literal/rangeUntil/illegalStepZero.kt

@@ -0,0 +1,21 @@
+// Auto-generated by GenerateSteppedRangesCodegenTestData. Do not edit!
+// WITH_STDLIB
+// KT-34166: Translation of loop over literal completely removes the validation of step
+// DONT_TARGET_EXACT_BACKEND: JS
+// !LANGUAGE: +RangeUntilOperator
+@file:OptIn(ExperimentalStdlibApi::class)
+import kotlin.test.*
+
+fun box(): String {
+    assertFailsWith<IllegalArgumentException> {
+        for (i in 1u..<8u step 0) {
+        }
+    }
+
+    assertFailsWith<IllegalArgumentException> {
+        for (i in 1uL..<8uL step 0L) {
+        }
+    }
+
+    return "OK"
+}

compiler/testData/codegen/box/ranges/stepped/unsigned/literal/rangeUntil/legalStepThenIllegalStep.kt

@@ -0,0 +1,19 @@
+// Auto-generated by GenerateSteppedRangesCodegenTestData. Do not edit!
+// WITH_STDLIB
+// !LANGUAGE: +RangeUntilOperator
+@file:OptIn(ExperimentalStdlibApi::class)
+import kotlin.test.*
+
+fun box(): String {
+    assertFailsWith<IllegalArgumentException> {
+        for (i in 1u..<8u step 2 step 0) {
+        }
+    }
+
+    assertFailsWith<IllegalArgumentException> {
+        for (i in 1uL..<8uL step 2L step 0L) {
+        }
+    }
+
+    return "OK"
+}

compiler/testData/codegen/box/ranges/stepped/unsigned/literal/rangeUntil/nestedStep/stepOneThenStepOne.kt

@@ -0,0 +1,21 @@
+// Auto-generated by GenerateSteppedRangesCodegenTestData. Do not edit!
+// WITH_STDLIB
+// !LANGUAGE: +RangeUntilOperator
+@file:OptIn(ExperimentalStdlibApi::class)
+import kotlin.test.*
+
+fun box(): String {
+    val uintList = mutableListOf<UInt>()
+    for (i in 1u..<5u step 1 step 1) {
+        uintList += i
+    }
+    assertEquals(listOf(1u, 2u, 3u, 4u), uintList)
+
+    val ulongList = mutableListOf<ULong>()
+    for (i in 1uL..<5uL step 1L step 1L) {
+        ulongList += i
+    }
+    assertEquals(listOf(1uL, 2uL, 3uL, 4uL), ulongList)
+
+    return "OK"
+}

compiler/testData/codegen/box/ranges/stepped/unsigned/literal/rangeUntil/nestedStep/stepThenSameStep.kt

@@ -0,0 +1,21 @@
+// Auto-generated by GenerateSteppedRangesCodegenTestData. Do not edit!
+// WITH_STDLIB
+// !LANGUAGE: +RangeUntilOperator
+@file:OptIn(ExperimentalStdlibApi::class)
+import kotlin.test.*
+
+fun box(): String {
+    val uintList = mutableListOf<UInt>()
+    for (i in 1u..<9u step 2 step 2) {
+        uintList += i
+    }
+    assertEquals(listOf(1u, 3u, 5u, 7u), uintList)
+
+    val ulongList = mutableListOf<ULong>()
+    for (i in 1uL..<9uL step 2L step 2L) {
+        ulongList += i
+    }
+    assertEquals(listOf(1uL, 3uL, 5uL, 7uL), ulongList)
+
+    return "OK"
+}

compiler/testData/codegen/box/ranges/stepped/unsigned/literal/rangeUntil/nestedStep/stepToSameLastThenStepOne.kt

@@ -0,0 +1,21 @@
+// Auto-generated by GenerateSteppedRangesCodegenTestData. Do not edit!
+// WITH_STDLIB
+// !LANGUAGE: +RangeUntilOperator
+@file:OptIn(ExperimentalStdlibApi::class)
+import kotlin.test.*
+
+fun box(): String {
+    val uintList = mutableListOf<UInt>()
+    for (i in 1u..<6u step 2 step 1) {
+        uintList += i
+    }
+    assertEquals(listOf(1u, 2u, 3u, 4u, 5u), uintList)
+
+    val ulongList = mutableListOf<ULong>()
+    for (i in 1uL..<6uL step 2L step 1L) {
+        ulongList += i
+    }
+    assertEquals(listOf(1uL, 2uL, 3uL, 4uL, 5uL), ulongList)
+
+    return "OK"
+}

compiler/testData/codegen/box/ranges/stepped/unsigned/literal/rangeUntil/nestedStep/stepToSameLastThenStepToSameLast.kt

@@ -0,0 +1,21 @@
+// Auto-generated by GenerateSteppedRangesCodegenTestData. Do not edit!
+// WITH_STDLIB
+// !LANGUAGE: +RangeUntilOperator
+@file:OptIn(ExperimentalStdlibApi::class)
+import kotlin.test.*
+
+fun box(): String {
+    val uintList = mutableListOf<UInt>()
+    for (i in 1u..<8u step 3 step 2) {
+        uintList += i
+    }
+    assertEquals(listOf(1u, 3u, 5u, 7u), uintList)
+
+    val ulongList = mutableListOf<ULong>()
+    for (i in 1uL..<8uL step 3L step 2L) {
+        ulongList += i
+    }
+    assertEquals(listOf(1uL, 3uL, 5uL, 7uL), ulongList)
+
+    return "OK"
+}

compiler/testData/codegen/box/ranges/stepped/unsigned/literal/rangeUntil/nestedStep/stepToSameLastThenStepToSmallerLast.kt

@@ -0,0 +1,21 @@
+// Auto-generated by GenerateSteppedRangesCodegenTestData. Do not edit!
+// WITH_STDLIB
+// !LANGUAGE: +RangeUntilOperator
+@file:OptIn(ExperimentalStdlibApi::class)
+import kotlin.test.*
+
+fun box(): String {
+    val uintList = mutableListOf<UInt>()
+    for (i in 1u..<11u step 3 step 2) {
+        uintList += i
+    }
+    assertEquals(listOf(1u, 3u, 5u, 7u, 9u), uintList)
+
+    val ulongList = mutableListOf<ULong>()
+    for (i in 1uL..<11uL step 3L step 2L) {
+        ulongList += i
+    }
+    assertEquals(listOf(1uL, 3uL, 5uL, 7uL, 9uL), ulongList)
+
+    return "OK"
+}

compiler/testData/codegen/box/ranges/stepped/unsigned/literal/rangeUntil/nestedStep/stepToSmallerLastThenStepOne.kt

@@ -0,0 +1,21 @@
+// Auto-generated by GenerateSteppedRangesCodegenTestData. Do not edit!
+// WITH_STDLIB
+// !LANGUAGE: +RangeUntilOperator
+@file:OptIn(ExperimentalStdlibApi::class)
+import kotlin.test.*
+
+fun box(): String {
+    val uintList = mutableListOf<UInt>()
+    for (i in 1u..<7u step 2 step 1) {
+        uintList += i
+    }
+    assertEquals(listOf(1u, 2u, 3u, 4u, 5u), uintList)
+
+    val ulongList = mutableListOf<ULong>()
+    for (i in 1uL..<7uL step 2L step 1L) {
+        ulongList += i
+    }
+    assertEquals(listOf(1uL, 2uL, 3uL, 4uL, 5uL), ulongList)
+
+    return "OK"
+}

compiler/testData/codegen/box/ranges/stepped/unsigned/literal/rangeUntil/nestedStep/stepToSmallerLastThenStepToSameLast.kt

@@ -0,0 +1,21 @@
+// Auto-generated by GenerateSteppedRangesCodegenTestData. Do not edit!
+// WITH_STDLIB
+// !LANGUAGE: +RangeUntilOperator
+@file:OptIn(ExperimentalStdlibApi::class)
+import kotlin.test.*
+
+fun box(): String {
+    val uintList = mutableListOf<UInt>()
+    for (i in 1u..<9u step 2 step 3) {
+        uintList += i
+    }
+    assertEquals(listOf(1u, 4u, 7u), uintList)
+
+    val ulongList = mutableListOf<ULong>()
+    for (i in 1uL..<9uL step 2L step 3L) {
+        ulongList += i
+    }
+    assertEquals(listOf(1uL, 4uL, 7uL), ulongList)
+
+    return "OK"
+}

compiler/testData/codegen/box/ranges/stepped/unsigned/literal/rangeUntil/nestedStep/stepToSmallerLastThenStepToSmallerLast.kt

@@ -0,0 +1,21 @@
+// Auto-generated by GenerateSteppedRangesCodegenTestData. Do not edit!
+// WITH_STDLIB
+// !LANGUAGE: +RangeUntilOperator
+@file:OptIn(ExperimentalStdlibApi::class)
+import kotlin.test.*
+
+fun box(): String {
+    val uintList = mutableListOf<UInt>()
+    for (i in 1u..<11u step 2 step 3) {
+        uintList += i
+    }
+    assertEquals(listOf(1u, 4u, 7u), uintList)
+
+    val ulongList = mutableListOf<ULong>()
+    for (i in 1uL..<11uL step 2L step 3L) {
+        ulongList += i
+    }
+    assertEquals(listOf(1uL, 4uL, 7uL), ulongList)
+
+    return "OK"
+}

compiler/testData/codegen/box/ranges/stepped/unsigned/literal/rangeUntil/reversed/reversedThenStep.kt

@@ -0,0 +1,21 @@
+// Auto-generated by GenerateSteppedRangesCodegenTestData. Do not edit!
+// WITH_STDLIB
+// !LANGUAGE: +RangeUntilOperator
+@file:OptIn(ExperimentalStdlibApi::class)
+import kotlin.test.*
+
+fun box(): String {
+    val uintList = mutableListOf<UInt>()
+    for (i in (1u..<9u).reversed() step 2) {
+        uintList += i
+    }
+    assertEquals(listOf(8u, 6u, 4u, 2u), uintList)
+
+    val ulongList = mutableListOf<ULong>()
+    for (i in (1uL..<9uL).reversed() step 2L) {
+        ulongList += i
+    }
+    assertEquals(listOf(8uL, 6uL, 4uL, 2uL), ulongList)
+
+    return "OK"
+}

compiler/testData/codegen/box/ranges/stepped/unsigned/literal/rangeUntil/reversed/reversedThenStepThenReversed.kt

@@ -0,0 +1,21 @@
+// Auto-generated by GenerateSteppedRangesCodegenTestData. Do not edit!
+// WITH_STDLIB
+// !LANGUAGE: +RangeUntilOperator
+@file:OptIn(ExperimentalStdlibApi::class)
+import kotlin.test.*
+
+fun box(): String {
+    val uintList = mutableListOf<UInt>()
+    for (i in ((1u..<9u).reversed() step 2).reversed()) {
+        uintList += i
+    }
+    assertEquals(listOf(2u, 4u, 6u, 8u), uintList)
+
+    val ulongList = mutableListOf<ULong>()
+    for (i in ((1uL..<9uL).reversed() step 2L).reversed()) {
+        ulongList += i
+    }
+    assertEquals(listOf(2uL, 4uL, 6uL, 8uL), ulongList)
+
+    return "OK"
+}

compiler/testData/codegen/box/ranges/stepped/unsigned/literal/rangeUntil/reversed/reversedThenStepThenReversedThenStep.kt

@@ -0,0 +1,21 @@
+// Auto-generated by GenerateSteppedRangesCodegenTestData. Do not edit!
+// WITH_STDLIB
+// !LANGUAGE: +RangeUntilOperator
+@file:OptIn(ExperimentalStdlibApi::class)
+import kotlin.test.*
+
+fun box(): String {
+    val uintList = mutableListOf<UInt>()
+    for (i in ((1u..<11u).reversed() step 2).reversed() step 3) {
+        uintList += i
+    }
+    assertEquals(listOf(2u, 5u, 8u), uintList)
+
+    val ulongList = mutableListOf<ULong>()
+    for (i in ((1uL..<11uL).reversed() step 2L).reversed() step 3L) {
+        ulongList += i
+    }
+    assertEquals(listOf(2uL, 5uL, 8uL), ulongList)
+
+    return "OK"
+}

compiler/testData/codegen/box/ranges/stepped/unsigned/literal/rangeUntil/reversed/stepThenReversed.kt

@@ -0,0 +1,21 @@
+// Auto-generated by GenerateSteppedRangesCodegenTestData. Do not edit!
+// WITH_STDLIB
+// !LANGUAGE: +RangeUntilOperator
+@file:OptIn(ExperimentalStdlibApi::class)
+import kotlin.test.*
+
+fun box(): String {
+    val uintList = mutableListOf<UInt>()
+    for (i in (1u..<9u step 2).reversed()) {
+        uintList += i
+    }
+    assertEquals(listOf(7u, 5u, 3u, 1u), uintList)
+
+    val ulongList = mutableListOf<ULong>()
+    for (i in (1uL..<9uL step 2L).reversed()) {
+        ulongList += i
+    }
+    assertEquals(listOf(7uL, 5uL, 3uL, 1uL), ulongList)
+
+    return "OK"
+}

compiler/testData/codegen/box/ranges/stepped/unsigned/literal/rangeUntil/reversed/stepThenReversedThenStep.kt

@@ -0,0 +1,21 @@
+// Auto-generated by GenerateSteppedRangesCodegenTestData. Do not edit!
+// WITH_STDLIB
+// !LANGUAGE: +RangeUntilOperator
+@file:OptIn(ExperimentalStdlibApi::class)
+import kotlin.test.*
+
+fun box(): String {
+    val uintList = mutableListOf<UInt>()
+    for (i in (1u..<11u step 2).reversed() step 3) {
+        uintList += i
+    }
+    assertEquals(listOf(9u, 6u, 3u), uintList)
+
+    val ulongList = mutableListOf<ULong>()
+    for (i in (1uL..<11uL step 2L).reversed() step 3L) {
+        ulongList += i
+    }
+    assertEquals(listOf(9uL, 6uL, 3uL), ulongList)
+
+    return "OK"
+}

compiler/testData/codegen/box/ranges/stepped/unsigned/literal/rangeUntil/reversed/stepThenReversedThenStepThenReversed.kt

@@ -0,0 +1,21 @@
+// Auto-generated by GenerateSteppedRangesCodegenTestData. Do not edit!
+// WITH_STDLIB
+// !LANGUAGE: +RangeUntilOperator
+@file:OptIn(ExperimentalStdlibApi::class)
+import kotlin.test.*
+
+fun box(): String {
+    val uintList = mutableListOf<UInt>()
+    for (i in ((1u..<11u step 2).reversed() step 3).reversed()) {
+        uintList += i
+    }
+    assertEquals(listOf(3u, 6u, 9u), uintList)
+
+    val ulongList = mutableListOf<ULong>()
+    for (i in ((1uL..<11uL step 2L).reversed() step 3L).reversed()) {
+        ulongList += i
+    }
+    assertEquals(listOf(3uL, 6uL, 9uL), ulongList)
+
+    return "OK"
+}

compiler/testData/codegen/box/ranges/stepped/unsigned/literal/rangeUntil/singleElementStepTwo.kt

@@ -0,0 +1,21 @@
+// Auto-generated by GenerateSteppedRangesCodegenTestData. Do not edit!
+// WITH_STDLIB
+// !LANGUAGE: +RangeUntilOperator
+@file:OptIn(ExperimentalStdlibApi::class)
+import kotlin.test.*
+
+fun box(): String {
+    val uintList = mutableListOf<UInt>()
+    for (i in 1u..<2u step 2) {
+        uintList += i
+    }
+    assertEquals(listOf(1u), uintList)
+
+    val ulongList = mutableListOf<ULong>()
+    for (i in 1uL..<2uL step 2L) {
+        ulongList += i
+    }
+    assertEquals(listOf(1uL), ulongList)
+
+    return "OK"
+}

compiler/testData/codegen/box/ranges/stepped/unsigned/literal/rangeUntil/stepOne.kt

@@ -0,0 +1,21 @@
+// Auto-generated by GenerateSteppedRangesCodegenTestData. Do not edit!
+// WITH_STDLIB
+// !LANGUAGE: +RangeUntilOperator
+@file:OptIn(ExperimentalStdlibApi::class)
+import kotlin.test.*
+
+fun box(): String {
+    val uintList = mutableListOf<UInt>()
+    for (i in 1u..<5u step 1) {
+        uintList += i
+    }
+    assertEquals(listOf(1u, 2u, 3u, 4u), uintList)
+
+    val ulongList = mutableListOf<ULong>()
+    for (i in 1uL..<5uL step 1L) {
+        ulongList += i
+    }
+    assertEquals(listOf(1uL, 2uL, 3uL, 4uL), ulongList)
+
+    return "OK"
+}

compiler/testData/codegen/box/ranges/stepped/unsigned/literal/rangeUntil/stepToOutsideRange.kt

@@ -0,0 +1,21 @@
+// Auto-generated by GenerateSteppedRangesCodegenTestData. Do not edit!
+// WITH_STDLIB
+// !LANGUAGE: +RangeUntilOperator
+@file:OptIn(ExperimentalStdlibApi::class)
+import kotlin.test.*
+
+fun box(): String {
+    val uintList = mutableListOf<UInt>()
+    for (i in 1u..<8u step 7) {
+        uintList += i
+    }
+    assertEquals(listOf(1u), uintList)
+
+    val ulongList = mutableListOf<ULong>()
+    for (i in 1uL..<8uL step 7L) {
+        ulongList += i
+    }
+    assertEquals(listOf(1uL), ulongList)
+
+    return "OK"
+}

compiler/testData/codegen/box/ranges/stepped/unsigned/literal/rangeUntil/stepToSameLast.kt

@@ -0,0 +1,21 @@
+// Auto-generated by GenerateSteppedRangesCodegenTestData. Do not edit!
+// WITH_STDLIB
+// !LANGUAGE: +RangeUntilOperator
+@file:OptIn(ExperimentalStdlibApi::class)
+import kotlin.test.*
+
+fun box(): String {
+    val uintList = mutableListOf<UInt>()
+    for (i in 1u..<8u step 2) {
+        uintList += i
+    }
+    assertEquals(listOf(1u, 3u, 5u, 7u), uintList)
+
+    val ulongList = mutableListOf<ULong>()
+    for (i in 1uL..<8uL step 2L) {
+        ulongList += i
+    }
+    assertEquals(listOf(1uL, 3uL, 5uL, 7uL), ulongList)
+
+    return "OK"
+}

compiler/testData/codegen/box/ranges/stepped/unsigned/literal/rangeUntil/stepToSmallerLast.kt

@@ -0,0 +1,21 @@
+// Auto-generated by GenerateSteppedRangesCodegenTestData. Do not edit!
+// WITH_STDLIB
+// !LANGUAGE: +RangeUntilOperator
+@file:OptIn(ExperimentalStdlibApi::class)
+import kotlin.test.*
+
+fun box(): String {
+    val uintList = mutableListOf<UInt>()
+    for (i in 1u..<9u step 2) {
+        uintList += i
+    }
+    assertEquals(listOf(1u, 3u, 5u, 7u), uintList)
+
+    val ulongList = mutableListOf<ULong>()
+    for (i in 1uL..<9uL step 2L) {
+        ulongList += i
+    }
+    assertEquals(listOf(1uL, 3uL, 5uL, 7uL), ulongList)
+
+    return "OK"
+}