Properly uses same nodes. Added more tests.

Cython/Compiler/Optimize.py

@@ -657,6 +657,7 @@ class IterationTransform(Visitor.EnvTransform):
 
         relation1, relation2 = self._find_for_from_node_relations(step_value < 0, reversed)
 
+        bound2_ref_node = None
         if reversed:
             bound1, bound2 = bound2, bound1
             abs_step = abs(step_value)
@@ -676,17 +677,18 @@ class IterationTransform(Visitor.EnvTransform):
                         bound1.pos, value=str(bound1_value), constant_result=bound1_value,
                         type=PyrexTypes.spanning_type(bound1.type, bound2.type))
                 else:
+                    bound2_ref_node = UtilNodes.LetRefNode(bound2)
                     spanning_type = PyrexTypes.spanning_type(bound1.type, bound2.type)
                     spanning_step_type = PyrexTypes.spanning_type(spanning_type, step.type)
 
                     if step_value < 0:
-                        begin_value = copy.deepcopy(bound2)
-                        end_value = copy.deepcopy(bound1)
+                        begin_value = bound2_ref_node
+                        end_value = bound1
                         final_op = '-'
                         final_node = ExprNodes.SubNode
                     else:
-                        begin_value = copy.deepcopy(bound1)
-                        end_value = copy.deepcopy(bound2)
+                        begin_value = bound1
+                        end_value = bound2_ref_node
                         final_op = '+'
                         final_node = ExprNodes.AddNode
 
@@ -694,7 +696,7 @@ class IterationTransform(Visitor.EnvTransform):
                         bound1.pos,
                         operand1=final_node(
                             bound1.pos,
-                            operand1=copy.deepcopy(bound2),
+                            operand1=bound2_ref_node,
                             operator=final_op,
                             operand2=ExprNodes.MulNode(
                                 bound1.pos,
@@ -745,6 +747,9 @@ class IterationTransform(Visitor.EnvTransform):
         if not bound2.is_literal:
             # stop bound must be immutable => keep it in a temp var
             bound2_is_temp = True
+            if bound2_ref_node:
+                bound2 = bound2_ref_node
+            else:
                 bound2 = UtilNodes.LetRefNode(bound2)
         else:
             bound2_is_temp = False

tests/run/reversed_iteration.pyx

@@ -163,6 +163,21 @@ def reversed_range_step3(int a, int b):
         result.append(i)
     return result, i
 
+@cython.test_assert_path_exists('//ForFromStatNode')
+@cython.test_fail_if_path_exists('//ForInStatNode')
+def reversed_range_step3_expr(int a, int b):
+    """
+    >>> [ i for i in _reversed(range(0, 5, 3)) ]
+    [3, 0]
+    >>> reversed_range_step3_expr(0, 5)
+    ([3, 0], 0)
+    """
+    cdef int i = 99, c = 100
+    result = []
+    for i in reversed(range(c-c + a + c-c, c-c + b + c-c, 3)):
+        result.append(i)
+    return result, i
+
 @cython.test_assert_path_exists('//ForFromStatNode')
 @cython.test_fail_if_path_exists('//ForInStatNode')
 def reversed_range_step3_neg(int a, int b):
@@ -193,6 +208,21 @@ def reversed_range_step3_neg(int a, int b):
         result.append(i)
     return result, i
 
+@cython.test_assert_path_exists('//ForFromStatNode')
+@cython.test_fail_if_path_exists('//ForInStatNode')
+def reversed_range_step3_neg_expr(int a, int b):
+    """
+    >>> [ i for i in _reversed(range(5, 0, -3)) ]
+    [2, 5]
+    >>> reversed_range_step3_neg_expr(5, 0)
+    ([2, 5], 5)
+    """
+    cdef int i = 99, c = 100
+    result = []
+    for i in reversed(range(c-c + a + c-c, c-c + b + c-c, -3)):
+        result.append(i)
+    return result, i
+
 def reversed_range_step3_py_args(a, b):
     """
     >>> [ i for i in _reversed(range(-5, 0, 3)) ]
@@ -214,6 +244,14 @@ def reversed_range_step3_py_args(a, b):
     []
     >>> reversed_range_step3_py_args(1, 1)
     ([], 99)
+
+    >>> reversed_range_step3_py_args(set(), 1) # doctest: +ELLIPSIS
+    Traceback (most recent call last):
+    TypeError: ...integer...
+
+    >>> reversed_range_step3_py_args(1, set()) # doctest: +ELLIPSIS
+    Traceback (most recent call last):
+    TypeError: ...integer...
     """
     i = 99
     result = []
@@ -242,6 +280,14 @@ def reversed_range_step3_neg_py_args(a, b):
     []
     >>> reversed_range_step3_neg_py_args(1, 1)
     ([], 99)
+
+    >>> reversed_range_step3_neg_py_args(set(), 1) # doctest: +ELLIPSIS
+    Traceback (most recent call last):
+    TypeError: ...integer...
+
+    >>> reversed_range_step3_neg_py_args(1, set()) # doctest: +ELLIPSIS
+    Traceback (most recent call last):
+    TypeError: ...integer...
     """
     i = 99
     result = []