Lines Matching refs:zext

104 ;   array[zext(x)][zext(y)]
105 ;   array[zext(x)][zext(y +nuw 1)]
106 ;   array[zext(x +nuw 1)][zext(y)]
107 ;   array[zext(x +nuw 1)][zext(y +nuw 1)].
110 ; 1) extends array indices using zext instead of sext;
111 ; 2) annotates the addition with "nuw"; otherwise, zext(x + 1) => zext(x) + 1
115   %0 = zext i32 %y to i64
116   %1 = zext i32 %x to i64
122   %7 = zext i32 %6 to i64
128   %13 = zext i32 %12 to i64
154 ;   array[zext(x)][zext(y)]
155 ;   array[zext(x)][zext(y)]
156 ;   array[zext(x) + 1][zext(y) + 1]
157 ;   array[zext(x) + 1][zext(y) + 1].
160 ; &array[zext(x)][zext(y)]. See the expected IR and PTX for details.
163   %0 = zext i32 %y to i64
164   %1 = zext i32 %x to i64