Lines Matching refs:sext
3 define void @infer.sext.0(i1* %c, i32 %start) {
4 ; CHECK-LABEL: Classifying expressions for: @infer.sext.0
12 %idx.inc.sext = sext i32 %idx.inc to i64
13 ; CHECK: %idx.inc.sext = sext i32 %idx.inc to i64
14 ; CHECK-NEXT: --> {(1 + (sext i32 %start to i64)),+,1}<nsw><%loop>
32 %idx.inc.sext = zext i32 %idx.inc to i64
33 ; CHECK: %idx.inc.sext = zext i32 %idx.inc to i64
43 define void @infer.sext.1(i32 %start, i1* %c) {
44 ; CHECK-LABEL: Classifying expressions for: @infer.sext.1
52 %idx.sext = sext i32 %idx to i64
53 ; CHECK: %idx.sext = sext i32 %idx to i64
54 ; CHECK-NEXT: --> {(2 + (sext i32 (4 * %start) to i64)),+,2}<nsw><%loop>
63 define void @infer.sext.2(i1* %c, i8 %start) {
64 ; CHECK-LABEL: Classifying expressions for: @infer.sext.2
72 %idx.sext = sext i8 %idx to i16
73 ; CHECK: %idx.sext = sext i8 %idx to i16
74 ; CHECK-NEXT: --> {(1 + (sext i8 %start to i16)),+,1}<nsw><%loop>