ICE: Doing an element-wise stretch on an array

I’m not sure “element-wise stretch” is the right terminology, but what I mean is suppose you want to build a new array by repeating the original elements N times. For example, suppose you have the array [1,2], and you want to turn it into [1,1,1,1,2,2,2,2].

Here’s a little ICE technique to do just that:


This tree relies on Divide by Scalar truncating the scalar result to make it an integer.