29 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 42; RUN: opt -passes=sccp < %s -S | FileCheck %s3 4define i8 @ashr_to_lshr(i8 %x, i8 %y) {5; CHECK-LABEL: define range(i8 0, -128) i8 @ashr_to_lshr(6; CHECK-SAME: i8 [[X:%.*]], i8 [[Y:%.*]]) {7; CHECK-NEXT: [[P:%.*]] = and i8 [[X]], 1278; CHECK-NEXT: [[R:%.*]] = lshr exact i8 [[P]], [[Y]]9; CHECK-NEXT: ret i8 [[R]]10;11 %p = and i8 %x, 12712 %r = ashr exact i8 %p, %y13 ret i8 %r14}15 16define i8 @sdiv_to_udiv(i8 %x, i8 %y) {17; CHECK-LABEL: define range(i8 0, -128) i8 @sdiv_to_udiv(18; CHECK-SAME: i8 [[X:%.*]], i8 [[Y:%.*]]) {19; CHECK-NEXT: [[X1:%.*]] = and i8 [[X]], 12720; CHECK-NEXT: [[Y1:%.*]] = and i8 [[Y]], 12721; CHECK-NEXT: [[R:%.*]] = udiv exact i8 [[X1]], [[Y1]]22; CHECK-NEXT: ret i8 [[R]]23;24 %x1 = and i8 %x, 12725 %y1 = and i8 %y, 12726 %r = sdiv exact i8 %x1, %y127 ret i8 %r28}29