Lines Matching refs:sext
3 define void @infer.sext.0(i1* %c, i32 %start, i32* %buf) {
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))<nsw>,+,1}<nsw><%loop>
36 %idx.inc.sext = zext i32 %idx.inc to i64
37 ; CHECK: %idx.inc.sext = zext i32 %idx.inc to i64
51 define void @infer.sext.1(i32 %start, i1* %c) {
52 ; CHECK-LABEL: Classifying expressions for: @infer.sext.1
60 %idx.sext = sext i32 %idx to i64
61 ; CHECK: %idx.sext = sext i32 %idx to i64
62 ; CHECK-NEXT: --> {(2 + (sext i32 (4 * %start) to i64))<nsw>,+,2}<nsw><%loop>
71 define void @infer.sext.2(i1* %c, i8 %start) {
72 ; CHECK-LABEL: Classifying expressions for: @infer.sext.2
80 %idx.sext = sext i8 %idx to i16
81 ; CHECK: %idx.sext = sext i8 %idx to i16
82 ; CHECK-NEXT: --> {(1 + (sext i8 %start to i16))<nsw>,+,1}<nsw><%loop>