137 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 42; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s3 4declare void @use(i1)5 6define void @uge_sext(i16 %x, i32 %y) {7; CHECK-LABEL: define void @uge_sext(8; CHECK-SAME: i16 [[X:%.*]], i32 [[Y:%.*]]) {9; CHECK-NEXT: entry:10; CHECK-NEXT: [[X_EXT:%.*]] = sext i16 [[X]] to i3211; CHECK-NEXT: [[C_1:%.*]] = icmp uge i32 [[X_EXT]], [[Y]]12; CHECK-NEXT: [[C_2:%.*]] = icmp uge i32 [[Y]], -1013; CHECK-NEXT: [[AND:%.*]] = and i1 [[C_1]], [[C_2]]14; CHECK-NEXT: br i1 [[AND]], label [[BB1:%.*]], label [[BB2:%.*]]15; CHECK: bb1:16; CHECK-NEXT: [[T_1:%.*]] = icmp uge i32 [[X_EXT]], [[Y]]17; CHECK-NEXT: call void @use(i1 [[T_1]])18; CHECK-NEXT: [[C_3:%.*]] = icmp uge i16 [[X]], -1019; CHECK-NEXT: call void @use(i1 [[C_3]])20; CHECK-NEXT: [[C_4:%.*]] = icmp uge i32 [[X_EXT]], -921; CHECK-NEXT: call void @use(i1 [[C_4]])22; CHECK-NEXT: [[C_5:%.*]] = icmp uge i32 [[X_EXT]], -923; CHECK-NEXT: call void @use(i1 [[C_5]])24; CHECK-NEXT: [[C_6:%.*]] = icmp uge i32 [[Y]], [[X_EXT]]25; CHECK-NEXT: call void @use(i1 [[C_6]])26; CHECK-NEXT: [[C_7:%.*]] = icmp uge i16 [[X]], -927; CHECK-NEXT: call void @use(i1 [[C_7]])28; CHECK-NEXT: ret void29; CHECK: bb2:30; CHECK-NEXT: ret void31;32entry:33 %x.ext = sext i16 %x to i3234 %c.1 = icmp uge i32 %x.ext, %y35 %c.2 = icmp uge i32 %y, -1036 %and = and i1 %c.1, %c.237 br i1 %and, label %bb1, label %bb238 39bb1:40 %t.1 = icmp uge i32 %x.ext, %y41 call void @use(i1 %t.1)42 %c.3 = icmp uge i16 %x, -1043 call void @use(i1 %c.3)44 %c.4 = icmp uge i32 %x.ext, -945 call void @use(i1 %c.4)46 %c.5 = icmp uge i32 %x.ext, -947 call void @use(i1 %c.5)48 %c.6 = icmp uge i32 %y, %x.ext49 call void @use(i1 %c.6)50 %c.7 = icmp uge i16 %x, -951 call void @use(i1 %c.7)52 ret void53 54bb2:55 ret void56}57 58define void @uge_sext_known_positive(i16 %x, i32 %y) {59; CHECK-LABEL: define void @uge_sext_known_positive(60; CHECK-SAME: i16 [[X:%.*]], i32 [[Y:%.*]]) {61; CHECK-NEXT: entry:62; CHECK-NEXT: [[X_EXT:%.*]] = sext i16 [[X]] to i3263; CHECK-NEXT: [[C_2:%.*]] = icmp sge i16 [[X]], 064; CHECK-NEXT: [[C_1:%.*]] = icmp uge i32 [[X_EXT]], 1065; CHECK-NEXT: [[AND:%.*]] = and i1 [[C_2]], [[C_1]]66; CHECK-NEXT: br i1 [[AND]], label [[BB1:%.*]], label [[BB2:%.*]]67; CHECK: bb1:68; CHECK-NEXT: call void @use(i1 true)69; CHECK-NEXT: call void @use(i1 true)70; CHECK-NEXT: [[C_3:%.*]] = icmp uge i32 [[X_EXT]], 1171; CHECK-NEXT: call void @use(i1 [[C_3]])72; CHECK-NEXT: [[C_4:%.*]] = icmp uge i32 [[X_EXT]], 1173; CHECK-NEXT: call void @use(i1 [[C_4]])74; CHECK-NEXT: [[C_5:%.*]] = icmp uge i32 [[Y]], [[X_EXT]]75; CHECK-NEXT: call void @use(i1 [[C_5]])76; CHECK-NEXT: [[C_6:%.*]] = icmp uge i16 [[X]], 1177; CHECK-NEXT: call void @use(i1 [[C_6]])78; CHECK-NEXT: ret void79; CHECK: bb2:80; CHECK-NEXT: ret void81;82entry:83 %x.ext = sext i16 %x to i3284 %c.2 = icmp sge i16 %x, 085 %c.1 = icmp uge i32 %x.ext, 1086 %and = and i1 %c.2, %c.187 br i1 %and, label %bb1, label %bb288 89bb1:90 %t.1 = icmp uge i32 %x.ext, 1091 call void @use(i1 %t.1)92 %t.2 = icmp uge i16 %x, 1093 call void @use(i1 %t.2)94 %c.3 = icmp uge i32 %x.ext, 1195 call void @use(i1 %c.3)96 %c.4 = icmp uge i32 %x.ext, 1197 call void @use(i1 %c.4)98 %c.5 = icmp uge i32 %y, %x.ext99 call void @use(i1 %c.5)100 %c.6 = icmp uge i16 %x, 11101 call void @use(i1 %c.6)102 ret void103 104bb2:105 ret void106}107 108define i1 @cmp_sext_unsigned(i32 %a, i32 %b){109; CHECK-LABEL: define i1 @cmp_sext_unsigned(110; CHECK-SAME: i32 [[A:%.*]], i32 [[B:%.*]]) {111; CHECK-NEXT: entry:112; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[A]], [[B]]113; CHECK-NEXT: br i1 [[CMP]], label [[THEN:%.*]], label [[ELSE:%.*]]114; CHECK: then:115; CHECK-NEXT: [[SA:%.*]] = sext i32 [[A]] to i64116; CHECK-NEXT: [[SB:%.*]] = sext i32 [[B]] to i64117; CHECK-NEXT: [[ADD:%.*]] = add nsw i64 [[SA]], 1118; CHECK-NEXT: [[CMP2:%.*]] = icmp uge i64 [[SB]], [[ADD]]119; CHECK-NEXT: ret i1 [[CMP2]]120; CHECK: else:121; CHECK-NEXT: ret i1 false122;123entry:124 %cmp = icmp slt i32 %a, %b125 br i1 %cmp, label %then, label %else126 127then:128 %sa = sext i32 %a to i64129 %sb = sext i32 %b to i64130 %add = add nsw i64 %sa, 1131 %cmp2 = icmp uge i64 %sb, %add132 ret i1 %cmp2133 134else:135 ret i1 false136}137