Sliced变量，是指每个循环只访问该变量的特定位置，具体访问位置跟Loop变量有关。一个比较简单的理解方式是，循环访问变量的位置必须是「固定」「不重合」的。如果该变量是输出变量（即在循环内被赋值），访问还必须是「连续」的（此时只能是Loop变量再加固定的平移量）。该变量不能在循环内动态变换大小。
