670 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -S -passes=instcombine < %s | FileCheck %s3 4declare void @llvm.assume(i1)5declare void @use(i16)6define i1 @icmp_trunc_x_trunc_y(i32 %x, i32 %y) {7; CHECK-LABEL: @icmp_trunc_x_trunc_y(8; CHECK-NEXT: [[X_LB_ONLY:%.*]] = icmp ult i32 [[X:%.*]], 655369; CHECK-NEXT: [[Y_LB_ONLY:%.*]] = icmp ult i32 [[Y:%.*]], 6553610; CHECK-NEXT: call void @llvm.assume(i1 [[X_LB_ONLY]])11; CHECK-NEXT: call void @llvm.assume(i1 [[Y_LB_ONLY]])12; CHECK-NEXT: [[R:%.*]] = icmp eq i32 [[X]], [[Y]]13; CHECK-NEXT: ret i1 [[R]]14;15 %x_lb_only = icmp ult i32 %x, 6553616 %y_lb_only = icmp ult i32 %y, 6553617 call void @llvm.assume(i1 %x_lb_only)18 call void @llvm.assume(i1 %y_lb_only)19 %x16 = trunc i32 %x to i1620 %y16 = trunc i32 %y to i1621 %r = icmp eq i16 %x16, %y1622 ret i1 %r23}24 25define i1 @icmp_trunc_x_trunc_y_fail_from_illegal1(i256 %x, i256 %y) {26; CHECK-LABEL: @icmp_trunc_x_trunc_y_fail_from_illegal1(27; CHECK-NEXT: [[X_LB_ONLY:%.*]] = icmp ult i256 [[X:%.*]], 6553628; CHECK-NEXT: [[Y_LB_ONLY:%.*]] = icmp ult i256 [[Y:%.*]], 6553629; CHECK-NEXT: call void @llvm.assume(i1 [[X_LB_ONLY]])30; CHECK-NEXT: call void @llvm.assume(i1 [[Y_LB_ONLY]])31; CHECK-NEXT: [[X16:%.*]] = trunc nuw i256 [[X]] to i1632; CHECK-NEXT: [[Y16:%.*]] = trunc nuw i256 [[Y]] to i1633; CHECK-NEXT: [[R:%.*]] = icmp eq i16 [[X16]], [[Y16]]34; CHECK-NEXT: ret i1 [[R]]35;36 %x_lb_only = icmp ult i256 %x, 6553637 %y_lb_only = icmp ult i256 %y, 6553638 call void @llvm.assume(i1 %x_lb_only)39 call void @llvm.assume(i1 %y_lb_only)40 %x16 = trunc i256 %x to i1641 %y16 = trunc i256 %y to i1642 %r = icmp eq i16 %x16, %y1643 ret i1 %r44}45 46define i1 @icmp_trunc_x_trunc_y_illegal_trunc_to_legal_anyways(i123 %x, i32 %y) {47; CHECK-LABEL: @icmp_trunc_x_trunc_y_illegal_trunc_to_legal_anyways(48; CHECK-NEXT: [[X_LB_ONLY:%.*]] = icmp ult i123 [[X:%.*]], 6553649; CHECK-NEXT: [[Y_LB_ONLY:%.*]] = icmp ult i32 [[Y:%.*]], 6553650; CHECK-NEXT: call void @llvm.assume(i1 [[X_LB_ONLY]])51; CHECK-NEXT: call void @llvm.assume(i1 [[Y_LB_ONLY]])52; CHECK-NEXT: [[TMP1:%.*]] = trunc nuw nsw i123 [[X]] to i3253; CHECK-NEXT: [[R:%.*]] = icmp eq i32 [[Y]], [[TMP1]]54; CHECK-NEXT: ret i1 [[R]]55;56 %x_lb_only = icmp ult i123 %x, 6553657 %y_lb_only = icmp ult i32 %y, 6553658 call void @llvm.assume(i1 %x_lb_only)59 call void @llvm.assume(i1 %y_lb_only)60 %x16 = trunc i123 %x to i1661 %y16 = trunc i32 %y to i1662 %r = icmp eq i16 %x16, %y1663 ret i1 %r64}65 66define i1 @icmp_trunc_x_trunc_y_2_illegal_anyways(i33 %x, i63 %y) {67; CHECK-LABEL: @icmp_trunc_x_trunc_y_2_illegal_anyways(68; CHECK-NEXT: [[X_LB_ONLY:%.*]] = icmp ult i33 [[X:%.*]], 51269; CHECK-NEXT: [[Y_LB_ONLY:%.*]] = icmp ult i63 [[Y:%.*]], 51270; CHECK-NEXT: call void @llvm.assume(i1 [[X_LB_ONLY]])71; CHECK-NEXT: call void @llvm.assume(i1 [[Y_LB_ONLY]])72; CHECK-NEXT: [[TMP1:%.*]] = zext nneg i33 [[X]] to i6373; CHECK-NEXT: [[R:%.*]] = icmp samesign ult i63 [[Y]], [[TMP1]]74; CHECK-NEXT: ret i1 [[R]]75;76 %x_lb_only = icmp ult i33 %x, 51277 %y_lb_only = icmp ult i63 %y, 51278 call void @llvm.assume(i1 %x_lb_only)79 call void @llvm.assume(i1 %y_lb_only)80 %x16 = trunc i33 %x to i981 %y16 = trunc i63 %y to i982 %r = icmp ult i9 %y16, %x1683 ret i1 %r84}85 86define i1 @icmp_trunc_x_trunc_y_3(i64 %x, i32 %y) {87; CHECK-LABEL: @icmp_trunc_x_trunc_y_3(88; CHECK-NEXT: [[X_LB_ONLY:%.*]] = icmp ult i64 [[X:%.*]], 12389; CHECK-NEXT: [[Y_LB_ONLY:%.*]] = icmp ult i32 [[Y:%.*]], 25690; CHECK-NEXT: call void @llvm.assume(i1 [[X_LB_ONLY]])91; CHECK-NEXT: call void @llvm.assume(i1 [[Y_LB_ONLY]])92; CHECK-NEXT: [[TMP1:%.*]] = trunc nuw nsw i64 [[X]] to i3293; CHECK-NEXT: [[R:%.*]] = icmp samesign ule i32 [[Y]], [[TMP1]]94; CHECK-NEXT: ret i1 [[R]]95;96 %x_lb_only = icmp ult i64 %x, 12397 %y_lb_only = icmp ult i32 %y, 25698 call void @llvm.assume(i1 %x_lb_only)99 call void @llvm.assume(i1 %y_lb_only)100 %xi8 = trunc i64 %x to i8101 %yi8 = trunc i32 %y to i8102 %r = icmp ule i8 %yi8, %xi8103 ret i1 %r104}105 106define i1 @icmp_trunc_x_trunc_y_fail_maybe_dirty_upper(i32 %x, i32 %y) {107; CHECK-LABEL: @icmp_trunc_x_trunc_y_fail_maybe_dirty_upper(108; CHECK-NEXT: [[X_LB_ONLY:%.*]] = icmp ult i32 [[X:%.*]], 65536109; CHECK-NEXT: [[Y_LB_ONLY:%.*]] = icmp ult i32 [[Y:%.*]], 65537110; CHECK-NEXT: call void @llvm.assume(i1 [[X_LB_ONLY]])111; CHECK-NEXT: call void @llvm.assume(i1 [[Y_LB_ONLY]])112; CHECK-NEXT: [[X16:%.*]] = trunc nuw i32 [[X]] to i16113; CHECK-NEXT: [[Y16:%.*]] = trunc i32 [[Y]] to i16114; CHECK-NEXT: [[R:%.*]] = icmp ne i16 [[X16]], [[Y16]]115; CHECK-NEXT: ret i1 [[R]]116;117 %x_lb_only = icmp ult i32 %x, 65536118 %y_lb_only = icmp ult i32 %y, 65537119 call void @llvm.assume(i1 %x_lb_only)120 call void @llvm.assume(i1 %y_lb_only)121 %x16 = trunc i32 %x to i16122 %y16 = trunc i32 %y to i16123 %r = icmp ne i16 %x16, %y16124 ret i1 %r125}126 127define i1 @icmp_trunc_x_trunc_y_fail_maybe_dirty_upper_2(i32 %x, i32 %y) {128; CHECK-LABEL: @icmp_trunc_x_trunc_y_fail_maybe_dirty_upper_2(129; CHECK-NEXT: [[X_LB_ONLY:%.*]] = icmp slt i32 [[X:%.*]], 65536130; CHECK-NEXT: [[Y_LB_ONLY:%.*]] = icmp ult i32 [[Y:%.*]], 65536131; CHECK-NEXT: call void @llvm.assume(i1 [[X_LB_ONLY]])132; CHECK-NEXT: call void @llvm.assume(i1 [[Y_LB_ONLY]])133; CHECK-NEXT: [[X16:%.*]] = trunc i32 [[X]] to i16134; CHECK-NEXT: [[Y16:%.*]] = trunc nuw i32 [[Y]] to i16135; CHECK-NEXT: [[R:%.*]] = icmp ne i16 [[X16]], [[Y16]]136; CHECK-NEXT: ret i1 [[R]]137;138 %x_lb_only = icmp slt i32 %x, 65536139 %y_lb_only = icmp ult i32 %y, 65536140 call void @llvm.assume(i1 %x_lb_only)141 call void @llvm.assume(i1 %y_lb_only)142 %x16 = trunc i32 %x to i16143 %y16 = trunc i32 %y to i16144 %r = icmp ne i16 %x16, %y16145 ret i1 %r146}147 148define i1 @icmp_trunc_x_trunc_y_swap0(i33 %x, i32 %y) {149; CHECK-LABEL: @icmp_trunc_x_trunc_y_swap0(150; CHECK-NEXT: [[X_LB_ONLY:%.*]] = icmp ult i33 [[X:%.*]], 65536151; CHECK-NEXT: [[Y_LB_ONLY:%.*]] = icmp ult i32 [[Y:%.*]], 65536152; CHECK-NEXT: call void @llvm.assume(i1 [[X_LB_ONLY]])153; CHECK-NEXT: call void @llvm.assume(i1 [[Y_LB_ONLY]])154; CHECK-NEXT: [[TMP1:%.*]] = trunc nuw nsw i33 [[X]] to i32155; CHECK-NEXT: [[R:%.*]] = icmp samesign uge i32 [[Y]], [[TMP1]]156; CHECK-NEXT: ret i1 [[R]]157;158 %x_lb_only = icmp ult i33 %x, 65536159 %y_lb_only = icmp ult i32 %y, 65536160 call void @llvm.assume(i1 %x_lb_only)161 call void @llvm.assume(i1 %y_lb_only)162 %x16 = trunc i33 %x to i16163 %y16 = trunc i32 %y to i16164 %r = icmp ule i16 %x16, %y16165 ret i1 %r166}167 168define i1 @icmp_trunc_x_trunc_y_swap1(i33 %x, i32 %y) {169; CHECK-LABEL: @icmp_trunc_x_trunc_y_swap1(170; CHECK-NEXT: [[X_LB_ONLY:%.*]] = icmp ult i33 [[X:%.*]], 65536171; CHECK-NEXT: [[Y_LB_ONLY:%.*]] = icmp ult i32 [[Y:%.*]], 65536172; CHECK-NEXT: call void @llvm.assume(i1 [[X_LB_ONLY]])173; CHECK-NEXT: call void @llvm.assume(i1 [[Y_LB_ONLY]])174; CHECK-NEXT: [[TMP1:%.*]] = trunc nuw nsw i33 [[X]] to i32175; CHECK-NEXT: [[R:%.*]] = icmp samesign ule i32 [[Y]], [[TMP1]]176; CHECK-NEXT: ret i1 [[R]]177;178 %x_lb_only = icmp ult i33 %x, 65536179 %y_lb_only = icmp ult i32 %y, 65536180 call void @llvm.assume(i1 %x_lb_only)181 call void @llvm.assume(i1 %y_lb_only)182 %x16 = trunc i33 %x to i16183 %y16 = trunc i32 %y to i16184 %r = icmp ule i16 %y16, %x16185 ret i1 %r186}187 188define i1 @icmp_trunc_x_zext_y(i32 %x, i8 %y) {189; CHECK-LABEL: @icmp_trunc_x_zext_y(190; CHECK-NEXT: [[X_LB_ONLY:%.*]] = icmp ult i32 [[X:%.*]], 65536191; CHECK-NEXT: call void @llvm.assume(i1 [[X_LB_ONLY]])192; CHECK-NEXT: [[TMP1:%.*]] = zext i8 [[Y:%.*]] to i32193; CHECK-NEXT: [[R:%.*]] = icmp samesign ugt i32 [[X]], [[TMP1]]194; CHECK-NEXT: ret i1 [[R]]195;196 %x_lb_only = icmp ult i32 %x, 65536197 call void @llvm.assume(i1 %x_lb_only)198 %x16 = trunc i32 %x to i16199 %y16 = zext i8 %y to i16200 %r = icmp ugt i16 %x16, %y16201 ret i1 %r202}203 204define i1 @icmp_trunc_x_zext_y_2(i32 %x, i8 %y) {205; CHECK-LABEL: @icmp_trunc_x_zext_y_2(206; CHECK-NEXT: [[X_LB_ONLY:%.*]] = icmp ult i32 [[X:%.*]], 65536207; CHECK-NEXT: call void @llvm.assume(i1 [[X_LB_ONLY]])208; CHECK-NEXT: [[TMP1:%.*]] = zext i8 [[Y:%.*]] to i32209; CHECK-NEXT: [[R:%.*]] = icmp samesign ule i32 [[X]], [[TMP1]]210; CHECK-NEXT: ret i1 [[R]]211;212 %x_lb_only = icmp ult i32 %x, 65536213 call void @llvm.assume(i1 %x_lb_only)214 %x16 = trunc i32 %x to i16215 %y16 = zext i8 %y to i16216 %r = icmp uge i16 %y16, %x16217 ret i1 %r218}219 220define i1 @icmp_trunc_x_zext_y_3(i6 %x, i32 %y) {221; CHECK-LABEL: @icmp_trunc_x_zext_y_3(222; CHECK-NEXT: [[Y_LB_ONLY:%.*]] = icmp ult i32 [[Y:%.*]], 65536223; CHECK-NEXT: call void @llvm.assume(i1 [[Y_LB_ONLY]])224; CHECK-NEXT: [[TMP1:%.*]] = zext i6 [[X:%.*]] to i32225; CHECK-NEXT: [[R:%.*]] = icmp ne i32 [[Y]], [[TMP1]]226; CHECK-NEXT: ret i1 [[R]]227;228 %y_lb_only = icmp ult i32 %y, 65536229 call void @llvm.assume(i1 %y_lb_only)230 %x16 = zext i6 %x to i16231 %y16 = trunc i32 %y to i16232 %r = icmp ne i16 %y16, %x16233 ret i1 %r234}235 236define i1 @icmp_trunc_x_zext_y_3_fail_illegal(i6 %x, i45 %y) {237; CHECK-LABEL: @icmp_trunc_x_zext_y_3_fail_illegal(238; CHECK-NEXT: [[Y_LB_ONLY:%.*]] = icmp ult i45 [[Y:%.*]], 65536239; CHECK-NEXT: call void @llvm.assume(i1 [[Y_LB_ONLY]])240; CHECK-NEXT: [[X16:%.*]] = zext i6 [[X:%.*]] to i16241; CHECK-NEXT: [[Y16:%.*]] = trunc nuw i45 [[Y]] to i16242; CHECK-NEXT: [[R:%.*]] = icmp ne i16 [[Y16]], [[X16]]243; CHECK-NEXT: ret i1 [[R]]244;245 %y_lb_only = icmp ult i45 %y, 65536246 call void @llvm.assume(i1 %y_lb_only)247 %x16 = zext i6 %x to i16248 %y16 = trunc i45 %y to i16249 %r = icmp ne i16 %y16, %x16250 ret i1 %r251}252 253define i1 @icmp_trunc_x_zext_y_fail_multiuse(i32 %x, i8 %y) {254; CHECK-LABEL: @icmp_trunc_x_zext_y_fail_multiuse(255; CHECK-NEXT: [[X_LB_ONLY:%.*]] = icmp ult i32 [[X:%.*]], 65536256; CHECK-NEXT: call void @llvm.assume(i1 [[X_LB_ONLY]])257; CHECK-NEXT: [[X16:%.*]] = trunc nuw i32 [[X]] to i16258; CHECK-NEXT: [[Y16:%.*]] = zext i8 [[Y:%.*]] to i16259; CHECK-NEXT: call void @use(i16 [[Y16]])260; CHECK-NEXT: [[R:%.*]] = icmp ule i16 [[X16]], [[Y16]]261; CHECK-NEXT: ret i1 [[R]]262;263 %x_lb_only = icmp ult i32 %x, 65536264 call void @llvm.assume(i1 %x_lb_only)265 %x16 = trunc i32 %x to i16266 %y16 = zext i8 %y to i16267 call void @use(i16 %y16)268 %r = icmp ule i16 %x16, %y16269 ret i1 %r270}271 272define i1 @trunc_unsigned_nuw(i16 %x, i16 %y) {273; CHECK-LABEL: @trunc_unsigned_nuw(274; CHECK-NEXT: [[C:%.*]] = icmp ult i16 [[X:%.*]], [[Y:%.*]]275; CHECK-NEXT: ret i1 [[C]]276;277 %xt = trunc nuw i16 %x to i8278 %yt = trunc nuw i16 %y to i8279 %c = icmp ult i8 %xt, %yt280 ret i1 %c281}282 283define i1 @trunc_unsigned_nsw(i16 %x, i16 %y) {284; CHECK-LABEL: @trunc_unsigned_nsw(285; CHECK-NEXT: [[C:%.*]] = icmp ult i16 [[X:%.*]], [[Y:%.*]]286; CHECK-NEXT: ret i1 [[C]]287;288 %xt = trunc nsw i16 %x to i8289 %yt = trunc nsw i16 %y to i8290 %c = icmp ult i8 %xt, %yt291 ret i1 %c292}293 294define i1 @trunc_unsigned_both(i16 %x, i16 %y) {295; CHECK-LABEL: @trunc_unsigned_both(296; CHECK-NEXT: [[C:%.*]] = icmp ult i16 [[X:%.*]], [[Y:%.*]]297; CHECK-NEXT: ret i1 [[C]]298;299 %xt = trunc nuw nsw i16 %x to i8300 %yt = trunc nuw nsw i16 %y to i8301 %c = icmp ult i8 %xt, %yt302 ret i1 %c303}304 305define i1 @trunc_unsigned_either(i16 %x, i16 %y) {306; CHECK-LABEL: @trunc_unsigned_either(307; CHECK-NEXT: [[XT:%.*]] = trunc nuw i16 [[X:%.*]] to i8308; CHECK-NEXT: [[YT:%.*]] = trunc nsw i16 [[Y:%.*]] to i8309; CHECK-NEXT: [[C:%.*]] = icmp ult i8 [[XT]], [[YT]]310; CHECK-NEXT: ret i1 [[C]]311;312 %xt = trunc nuw i16 %x to i8313 %yt = trunc nsw i16 %y to i8314 %c = icmp ult i8 %xt, %yt315 ret i1 %c316}317 318define i1 @trunc_signed_nuw(i16 %x, i16 %y) {319; CHECK-LABEL: @trunc_signed_nuw(320; CHECK-NEXT: [[XT:%.*]] = trunc nuw i16 [[X:%.*]] to i8321; CHECK-NEXT: [[YT:%.*]] = trunc nuw i16 [[Y:%.*]] to i8322; CHECK-NEXT: [[C:%.*]] = icmp slt i8 [[XT]], [[YT]]323; CHECK-NEXT: ret i1 [[C]]324;325 %xt = trunc nuw i16 %x to i8326 %yt = trunc nuw i16 %y to i8327 %c = icmp slt i8 %xt, %yt328 ret i1 %c329}330 331define i1 @trunc_signed_nsw(i16 %x, i16 %y) {332; CHECK-LABEL: @trunc_signed_nsw(333; CHECK-NEXT: [[C:%.*]] = icmp slt i16 [[X:%.*]], [[Y:%.*]]334; CHECK-NEXT: ret i1 [[C]]335;336 %xt = trunc nsw i16 %x to i8337 %yt = trunc nsw i16 %y to i8338 %c = icmp slt i8 %xt, %yt339 ret i1 %c340}341 342define i1 @trunc_signed_both(i16 %x, i16 %y) {343; CHECK-LABEL: @trunc_signed_both(344; CHECK-NEXT: [[C:%.*]] = icmp slt i16 [[X:%.*]], [[Y:%.*]]345; CHECK-NEXT: ret i1 [[C]]346;347 %xt = trunc nuw nsw i16 %x to i8348 %yt = trunc nuw nsw i16 %y to i8349 %c = icmp slt i8 %xt, %yt350 ret i1 %c351}352 353define i1 @trunc_signed_either(i16 %x, i16 %y) {354; CHECK-LABEL: @trunc_signed_either(355; CHECK-NEXT: [[XT:%.*]] = trunc nuw i16 [[X:%.*]] to i8356; CHECK-NEXT: [[YT:%.*]] = trunc nsw i16 [[Y:%.*]] to i8357; CHECK-NEXT: [[C:%.*]] = icmp slt i8 [[XT]], [[YT]]358; CHECK-NEXT: ret i1 [[C]]359;360 %xt = trunc nuw i16 %x to i8361 %yt = trunc nsw i16 %y to i8362 %c = icmp slt i8 %xt, %yt363 ret i1 %c364}365 366define i1 @trunc_equality_nuw(i16 %x, i16 %y) {367; CHECK-LABEL: @trunc_equality_nuw(368; CHECK-NEXT: [[C:%.*]] = icmp eq i16 [[X:%.*]], [[Y:%.*]]369; CHECK-NEXT: ret i1 [[C]]370;371 %xt = trunc nuw i16 %x to i8372 %yt = trunc nuw i16 %y to i8373 %c = icmp eq i8 %xt, %yt374 ret i1 %c375}376 377define i1 @trunc_equality_nsw(i16 %x, i16 %y) {378; CHECK-LABEL: @trunc_equality_nsw(379; CHECK-NEXT: [[C:%.*]] = icmp eq i16 [[X:%.*]], [[Y:%.*]]380; CHECK-NEXT: ret i1 [[C]]381;382 %xt = trunc nsw i16 %x to i8383 %yt = trunc nsw i16 %y to i8384 %c = icmp eq i8 %xt, %yt385 ret i1 %c386}387 388define i1 @trunc_equality_both(i16 %x, i16 %y) {389; CHECK-LABEL: @trunc_equality_both(390; CHECK-NEXT: [[C:%.*]] = icmp eq i16 [[X:%.*]], [[Y:%.*]]391; CHECK-NEXT: ret i1 [[C]]392;393 %xt = trunc nuw nsw i16 %x to i8394 %yt = trunc nuw nsw i16 %y to i8395 %c = icmp eq i8 %xt, %yt396 ret i1 %c397}398 399define i1 @trunc_equality_either(i16 %x, i16 %y) {400; CHECK-LABEL: @trunc_equality_either(401; CHECK-NEXT: [[XT:%.*]] = trunc nuw i16 [[X:%.*]] to i8402; CHECK-NEXT: [[YT:%.*]] = trunc nsw i16 [[Y:%.*]] to i8403; CHECK-NEXT: [[C:%.*]] = icmp eq i8 [[XT]], [[YT]]404; CHECK-NEXT: ret i1 [[C]]405;406 %xt = trunc nuw i16 %x to i8407 %yt = trunc nsw i16 %y to i8408 %c = icmp eq i8 %xt, %yt409 ret i1 %c410}411 412define i1 @trunc_equality_bool(i8 %a, i8 %b) {413; CHECK-LABEL: @trunc_equality_bool(414; CHECK-NEXT: [[EQ:%.*]] = icmp eq i8 [[A:%.*]], [[B:%.*]]415; CHECK-NEXT: ret i1 [[EQ]]416;417 %at = trunc nuw i8 %a to i1418 %bt = trunc nuw i8 %b to i1419 %eq = icmp eq i1 %at, %bt420 ret i1 %eq421}422 423define i1 @trunc_unsigned_nuw_zext(i32 %x, i8 %y) {424; CHECK-LABEL: @trunc_unsigned_nuw_zext(425; CHECK-NEXT: [[TMP1:%.*]] = zext i8 [[Y:%.*]] to i32426; CHECK-NEXT: [[C:%.*]] = icmp ult i32 [[X:%.*]], [[TMP1]]427; CHECK-NEXT: ret i1 [[C]]428;429 %xt = trunc nuw i32 %x to i16430 %ye = zext i8 %y to i16431 %c = icmp ult i16 %xt, %ye432 ret i1 %c433}434 435define i1 @trunc_unsigned_nuw_sext(i32 %x, i8 %y) {436; CHECK-LABEL: @trunc_unsigned_nuw_sext(437; CHECK-NEXT: [[XT:%.*]] = trunc nuw i32 [[X:%.*]] to i16438; CHECK-NEXT: [[YE:%.*]] = sext i8 [[Y:%.*]] to i16439; CHECK-NEXT: [[C:%.*]] = icmp ult i16 [[XT]], [[YE]]440; CHECK-NEXT: ret i1 [[C]]441;442 %xt = trunc nuw i32 %x to i16443 %ye = sext i8 %y to i16444 %c = icmp ult i16 %xt, %ye445 ret i1 %c446}447 448define i1 @trunc_unsigned_nsw_zext(i32 %x, i8 %y) {449; CHECK-LABEL: @trunc_unsigned_nsw_zext(450; CHECK-NEXT: [[TMP1:%.*]] = zext i8 [[Y:%.*]] to i32451; CHECK-NEXT: [[C:%.*]] = icmp ult i32 [[X:%.*]], [[TMP1]]452; CHECK-NEXT: ret i1 [[C]]453;454 %xt = trunc nsw i32 %x to i16455 %ye = zext i8 %y to i16456 %c = icmp ult i16 %xt, %ye457 ret i1 %c458}459 460define i1 @trunc_unsigned_nsw_sext(i32 %x, i8 %y) {461; CHECK-LABEL: @trunc_unsigned_nsw_sext(462; CHECK-NEXT: [[TMP1:%.*]] = sext i8 [[Y:%.*]] to i32463; CHECK-NEXT: [[C:%.*]] = icmp ult i32 [[X:%.*]], [[TMP1]]464; CHECK-NEXT: ret i1 [[C]]465;466 %xt = trunc nsw i32 %x to i16467 %ye = sext i8 %y to i16468 %c = icmp ult i16 %xt, %ye469 ret i1 %c470}471 472define i1 @trunc_signed_nsw_sext(i32 %x, i8 %y) {473; CHECK-LABEL: @trunc_signed_nsw_sext(474; CHECK-NEXT: [[TMP1:%.*]] = sext i8 [[Y:%.*]] to i32475; CHECK-NEXT: [[C:%.*]] = icmp slt i32 [[X:%.*]], [[TMP1]]476; CHECK-NEXT: ret i1 [[C]]477;478 %xt = trunc nsw i32 %x to i16479 %ye = sext i8 %y to i16480 %c = icmp slt i16 %xt, %ye481 ret i1 %c482}483 484define i1 @trunc_signed_nsw_zext(i32 %x, i8 %y) {485; CHECK-LABEL: @trunc_signed_nsw_zext(486; CHECK-NEXT: [[TMP1:%.*]] = zext i8 [[Y:%.*]] to i32487; CHECK-NEXT: [[C:%.*]] = icmp slt i32 [[X:%.*]], [[TMP1]]488; CHECK-NEXT: ret i1 [[C]]489;490 %xt = trunc nsw i32 %x to i16491 %ye = zext i8 %y to i16492 %c = icmp slt i16 %xt, %ye493 ret i1 %c494}495 496define i1 @trunc_signed_nuw_sext(i32 %x, i8 %y) {497; CHECK-LABEL: @trunc_signed_nuw_sext(498; CHECK-NEXT: [[XT:%.*]] = trunc nuw i32 [[X:%.*]] to i16499; CHECK-NEXT: [[YE:%.*]] = sext i8 [[Y:%.*]] to i16500; CHECK-NEXT: [[C:%.*]] = icmp slt i16 [[XT]], [[YE]]501; CHECK-NEXT: ret i1 [[C]]502;503 %xt = trunc nuw i32 %x to i16504 %ye = sext i8 %y to i16505 %c = icmp slt i16 %xt, %ye506 ret i1 %c507}508 509define i1 @trunc_signed_nuw_zext(i32 %x, i8 %y) {510; CHECK-LABEL: @trunc_signed_nuw_zext(511; CHECK-NEXT: [[XT:%.*]] = trunc nuw i32 [[X:%.*]] to i16512; CHECK-NEXT: [[YE:%.*]] = zext i8 [[Y:%.*]] to i16513; CHECK-NEXT: [[C:%.*]] = icmp slt i16 [[XT]], [[YE]]514; CHECK-NEXT: ret i1 [[C]]515;516 %xt = trunc nuw i32 %x to i16517 %ye = zext i8 %y to i16518 %c = icmp slt i16 %xt, %ye519 ret i1 %c520}521 522define i1 @trunc_equality_nuw_zext(i32 %x, i8 %y) {523; CHECK-LABEL: @trunc_equality_nuw_zext(524; CHECK-NEXT: [[TMP1:%.*]] = zext i8 [[Y:%.*]] to i32525; CHECK-NEXT: [[C:%.*]] = icmp ne i32 [[X:%.*]], [[TMP1]]526; CHECK-NEXT: ret i1 [[C]]527;528 %xt = trunc nuw i32 %x to i16529 %ye = zext i8 %y to i16530 %c = icmp ne i16 %xt, %ye531 ret i1 %c532}533 534define i1 @trunc_equality_nuw_sext(i32 %x, i8 %y) {535; CHECK-LABEL: @trunc_equality_nuw_sext(536; CHECK-NEXT: [[XT:%.*]] = trunc nuw i32 [[X:%.*]] to i16537; CHECK-NEXT: [[YE:%.*]] = sext i8 [[Y:%.*]] to i16538; CHECK-NEXT: [[C:%.*]] = icmp ne i16 [[XT]], [[YE]]539; CHECK-NEXT: ret i1 [[C]]540;541 %xt = trunc nuw i32 %x to i16542 %ye = sext i8 %y to i16543 %c = icmp ne i16 %xt, %ye544 ret i1 %c545}546 547define i1 @trunc_equality_nsw_zext(i32 %x, i8 %y) {548; CHECK-LABEL: @trunc_equality_nsw_zext(549; CHECK-NEXT: [[TMP1:%.*]] = zext i8 [[Y:%.*]] to i32550; CHECK-NEXT: [[C:%.*]] = icmp ne i32 [[X:%.*]], [[TMP1]]551; CHECK-NEXT: ret i1 [[C]]552;553 %xt = trunc nsw i32 %x to i16554 %ye = zext i8 %y to i16555 %c = icmp ne i16 %xt, %ye556 ret i1 %c557}558 559define i1 @trunc_equality_nsw_sext(i32 %x, i8 %y) {560; CHECK-LABEL: @trunc_equality_nsw_sext(561; CHECK-NEXT: [[TMP1:%.*]] = sext i8 [[Y:%.*]] to i32562; CHECK-NEXT: [[C:%.*]] = icmp ne i32 [[X:%.*]], [[TMP1]]563; CHECK-NEXT: ret i1 [[C]]564;565 %xt = trunc nsw i32 %x to i16566 %ye = sext i8 %y to i16567 %c = icmp ne i16 %xt, %ye568 ret i1 %c569}570 571define i1 @trunc_equality_both_sext(i32 %x, i8 %y) {572; CHECK-LABEL: @trunc_equality_both_sext(573; CHECK-NEXT: [[TMP1:%.*]] = sext i8 [[Y:%.*]] to i32574; CHECK-NEXT: [[C:%.*]] = icmp ne i32 [[X:%.*]], [[TMP1]]575; CHECK-NEXT: ret i1 [[C]]576;577 %xt = trunc nuw nsw i32 %x to i16578 %ye = sext i8 %y to i16579 %c = icmp ne i16 %xt, %ye580 ret i1 %c581}582 583define i1 @test_eq1(i32 %x, i16 %y) {584; CHECK-LABEL: @test_eq1(585; CHECK-NEXT: [[TMP1:%.*]] = sext i16 [[Y:%.*]] to i32586; CHECK-NEXT: [[COND:%.*]] = icmp eq i32 [[X:%.*]], [[TMP1]]587; CHECK-NEXT: ret i1 [[COND]]588;589 %conv1 = trunc nsw i32 %x to i8590 %conv2 = trunc nsw i16 %y to i8591 %cond = icmp eq i8 %conv1, %conv2592 ret i1 %cond593}594 595; FIXME: It is weird that we generate truncs for test_eq2, but not for test_eq1.596 597define i1 @test_eq2(i32 %x, i16 %y) {598; CHECK-LABEL: @test_eq2(599; CHECK-NEXT: [[TMP1:%.*]] = trunc i32 [[X:%.*]] to i16600; CHECK-NEXT: [[COND:%.*]] = icmp eq i16 [[Y:%.*]], [[TMP1]]601; CHECK-NEXT: ret i1 [[COND]]602;603 %conv1 = trunc nsw i32 %x to i8604 %conv2 = trunc nsw i16 %y to i8605 %cond = icmp eq i8 %conv2, %conv1606 ret i1 %cond607}608 609define i1 @test_ult(i32 %x, i16 %y) {610; CHECK-LABEL: @test_ult(611; CHECK-NEXT: [[TMP1:%.*]] = sext i16 [[Y:%.*]] to i32612; CHECK-NEXT: [[COND:%.*]] = icmp ult i32 [[X:%.*]], [[TMP1]]613; CHECK-NEXT: ret i1 [[COND]]614;615 %conv1 = trunc nsw i32 %x to i8616 %conv2 = trunc nsw i16 %y to i8617 %cond = icmp ult i8 %conv1, %conv2618 ret i1 %cond619}620 621define i1 @test_slt(i32 %x, i16 %y) {622; CHECK-LABEL: @test_slt(623; CHECK-NEXT: [[TMP1:%.*]] = sext i16 [[Y:%.*]] to i32624; CHECK-NEXT: [[COND:%.*]] = icmp slt i32 [[X:%.*]], [[TMP1]]625; CHECK-NEXT: ret i1 [[COND]]626;627 %conv1 = trunc nsw i32 %x to i8628 %conv2 = trunc nsw i16 %y to i8629 %cond = icmp slt i8 %conv1, %conv2630 ret i1 %cond631}632 633define i1 @test_ult_nuw(i32 %x, i16 %y) {634; CHECK-LABEL: @test_ult_nuw(635; CHECK-NEXT: [[TMP1:%.*]] = zext i16 [[Y:%.*]] to i32636; CHECK-NEXT: [[COND:%.*]] = icmp ult i32 [[X:%.*]], [[TMP1]]637; CHECK-NEXT: ret i1 [[COND]]638;639 %conv1 = trunc nuw nsw i32 %x to i8640 %conv2 = trunc nuw nsw i16 %y to i8641 %cond = icmp ult i8 %conv1, %conv2642 ret i1 %cond643}644 645define i1 @test_slt_nuw(i32 %x, i16 %y) {646; CHECK-LABEL: @test_slt_nuw(647; CHECK-NEXT: [[TMP1:%.*]] = zext i16 [[Y:%.*]] to i32648; CHECK-NEXT: [[COND:%.*]] = icmp slt i32 [[X:%.*]], [[TMP1]]649; CHECK-NEXT: ret i1 [[COND]]650;651 %conv1 = trunc nuw nsw i32 %x to i8652 %conv2 = trunc nuw nsw i16 %y to i8653 %cond = icmp slt i8 %conv1, %conv2654 ret i1 %cond655}656 657@foo = external global i8658@bar = external global i8659 660define i1 @constexpr_trunc() {661; CHECK-LABEL: @constexpr_trunc(662; CHECK-NEXT: [[CMP5:%.*]] = icmp ne i16 trunc (i64 sub (i64 sub (i64 ptrtoint (ptr @bar to i64), i64 ptrtoint (ptr @foo to i64)), i64 8) to i16), trunc (i64 sub (i64 sub (i64 0, i64 ptrtoint (ptr @foo to i64)), i64 8) to i16)663; CHECK-NEXT: ret i1 [[CMP5]]664;665 %conv = zext i16 trunc (i64 sub (i64 sub nuw nsw (i64 ptrtoint (ptr @bar to i64), i64 ptrtoint (ptr @foo to i64)), i64 8) to i16) to i32666 %conv1 = zext i16 trunc (i64 sub (i64 sub nuw nsw (i64 0, i64 ptrtoint (ptr @foo to i64)), i64 8) to i16) to i32667 %cmp5 = icmp ne i32 %conv, %conv1668 ret i1 %cmp5669}670