Lines Matching refs:sext

4 define void @infer.sext.0(i1* %c, i32 %start, i32* %buf) {
5 ; CHECK-LABEL: Classifying expressions for: @infer.sext.0
13   %idx.inc.sext = sext i32 %idx.inc to i64
14 ; CHECK: %idx.inc.sext = sext i32 %idx.inc to i64
15 ; CHECK-NEXT: -->  {(1 + (sext i32 %start to i64))<nsw>,+,1}<nsw><%loop>
37   %idx.inc.sext = zext i32 %idx.inc to i64
38 ; CHECK: %idx.inc.sext = zext i32 %idx.inc to i64
52 define void @infer.sext.1(i32 %start, i1* %c) {
53 ; CHECK-LABEL: Classifying expressions for: @infer.sext.1
61   %idx.sext = sext i32 %idx to i64
62 ; CHECK: %idx.sext = sext i32 %idx to i64
63 ; CHECK-NEXT:  -->  {(2 + (sext i32 (4 * %start) to i64))<nuw><nsw>,+,2}<nsw><%loop>
72 define void @infer.sext.2(i1* %c, i8 %start) {
73 ; CHECK-LABEL: Classifying expressions for: @infer.sext.2
81   %idx.sext = sext i8 %idx to i16
82 ; CHECK: %idx.sext = sext i8 %idx to i16
83 ; CHECK-NEXT: -->  {(1 + (sext i8 %start to i16))<nsw>,+,1}<nsw><%loop>