111 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -passes=ipsccp -S < %s | FileCheck %s3 4define i8 @ashr_and(i8 %x) {5; CHECK-LABEL: @ashr_and(6; CHECK-NEXT: [[PX:%.*]] = and i8 [[X:%.*]], 1277; CHECK-NEXT: [[R:%.*]] = lshr i8 [[PX]], 18; CHECK-NEXT: ret i8 [[R]]9;10 %px = and i8 %x, 12711 %r = ashr i8 %px, 112 ret i8 %r13}14 15define i8 @ashr_const(i8 %x) {16; CHECK-LABEL: @ashr_const(17; CHECK-NEXT: [[R:%.*]] = lshr i8 42, [[X:%.*]]18; CHECK-NEXT: ret i8 [[R]]19;20 %r = ashr i8 42, %x21 ret i8 %r22}23 24define i8 @ashr_zext(i7 %x, i8 %y) {25; CHECK-LABEL: @ashr_zext(26; CHECK-NEXT: [[PX:%.*]] = zext i7 [[X:%.*]] to i827; CHECK-NEXT: [[R:%.*]] = lshr i8 [[PX]], [[Y:%.*]]28; CHECK-NEXT: ret i8 [[R]]29;30 %px = zext i7 %x to i831 %r = ashr i8 %px, %y32 ret i8 %r33}34 35; negative test36 37define i8 @ashr_not_nonneg(i7 %x, i8 %y) {38; CHECK-LABEL: @ashr_not_nonneg(39; CHECK-NEXT: [[PX:%.*]] = sext i7 [[X:%.*]] to i840; CHECK-NEXT: [[R:%.*]] = ashr i8 [[PX]], [[Y:%.*]]41; CHECK-NEXT: ret i8 [[R]]42;43 %px = sext i7 %x to i844 %r = ashr i8 %px, %y45 ret i8 %r46}47 48; x is known non-negative in t block49 50define i32 @dominating_condition(i32 %x) {51; CHECK-LABEL: @dominating_condition(52; CHECK-NEXT: entry:53; CHECK-NEXT: [[CMP:%.*]] = icmp sge i32 [[X:%.*]], 054; CHECK-NEXT: br i1 [[CMP]], label [[T:%.*]], label [[F:%.*]]55; CHECK: t:56; CHECK-NEXT: [[A:%.*]] = lshr i32 [[X]], 1657; CHECK-NEXT: br label [[EXIT:%.*]]58; CHECK: f:59; CHECK-NEXT: br label [[EXIT]]60; CHECK: exit:61; CHECK-NEXT: [[COND:%.*]] = phi i32 [ [[A]], [[T]] ], [ 42, [[F]] ]62; CHECK-NEXT: ret i32 [[COND]]63;64entry:65 %cmp = icmp sge i32 %x, 066 br i1 %cmp, label %t, label %f67 68t:69 %a = ashr i32 %x, 1670 br label %exit71 72f:73 br label %exit74 75exit:76 %cond = phi i32 [ %a, %t ], [ 42, %f ]77 ret i32 %cond78}79 80; x is known non-negative in f block81 82define i32 @dominating_condition_alt(i32 %x, i32 %y) {83; CHECK-LABEL: @dominating_condition_alt(84; CHECK-NEXT: entry:85; CHECK-NEXT: [[CMP:%.*]] = icmp ugt i32 [[X:%.*]], 200000000086; CHECK-NEXT: br i1 [[CMP]], label [[T:%.*]], label [[F:%.*]]87; CHECK: t:88; CHECK-NEXT: br label [[EXIT:%.*]]89; CHECK: f:90; CHECK-NEXT: [[A:%.*]] = lshr i32 [[X]], [[Y:%.*]]91; CHECK-NEXT: br label [[EXIT]]92; CHECK: exit:93; CHECK-NEXT: [[COND:%.*]] = phi i32 [ -42, [[T]] ], [ [[A]], [[F]] ]94; CHECK-NEXT: ret i32 [[COND]]95;96entry:97 %cmp = icmp ugt i32 %x, 200000000098 br i1 %cmp, label %t, label %f99 100t:101 br label %exit102 103f:104 %a = ashr i32 %x, %y105 br label %exit106 107exit:108 %cond = phi i32 [ -42, %t ], [ %a, %f ]109 ret i32 %cond110}111