52 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -passes=ipsccp -S %s | FileCheck %s3 4define i8 @range_from_lshr(i8 %a) {5; CHECK-LABEL: @range_from_lshr(6; CHECK-NEXT: entry:7; CHECK-NEXT: [[A_SHR:%.*]] = lshr i8 [[A:%.*]], 18; CHECK-NEXT: [[SUB_1:%.*]] = sub nsw i8 [[A_SHR]], 19; CHECK-NEXT: [[SUB_2:%.*]] = sub i8 [[A_SHR]], -12810; CHECK-NEXT: [[SUB_3:%.*]] = sub i8 [[A_SHR]], -12711; CHECK-NEXT: [[SUB_4:%.*]] = sub i8 [[A_SHR]], -112; CHECK-NEXT: [[RES_1:%.*]] = xor i8 [[SUB_1]], [[SUB_2]]13; CHECK-NEXT: [[RES_2:%.*]] = xor i8 [[RES_1]], [[SUB_3]]14; CHECK-NEXT: [[RES_3:%.*]] = xor i8 [[RES_2]], [[SUB_4]]15; CHECK-NEXT: ret i8 [[RES_3]]16;17entry:18 %a.shr = lshr i8 %a, 119 %sub.1 = sub i8 %a.shr, 120 %sub.2 = sub i8 %a.shr, 12821 %sub.3 = sub i8 %a.shr, 12922 %sub.4 = sub i8 %a.shr, -123 %res.1 = xor i8 %sub.1, %sub.224 %res.2 = xor i8 %res.1, %sub.325 %res.3 = xor i8 %res.2, %sub.426 ret i8 %res.327}28 29 30define i8 @sub_zero(i8 %a) {31; CHECK-LABEL: @sub_zero(32; CHECK-NEXT: entry:33; CHECK-NEXT: [[SUB_1:%.*]] = sub i8 0, [[A:%.*]]34; CHECK-NEXT: [[SUB_2:%.*]] = sub nuw nsw i8 -1, [[A]]35; CHECK-NEXT: [[SUB_3:%.*]] = sub i8 1, [[A]]36; CHECK-NEXT: [[SUB_4:%.*]] = sub i8 [[A]], -137; CHECK-NEXT: [[RES_1:%.*]] = xor i8 [[SUB_1]], [[SUB_2]]38; CHECK-NEXT: [[RES_2:%.*]] = xor i8 [[RES_1]], [[SUB_3]]39; CHECK-NEXT: [[RES_3:%.*]] = xor i8 [[RES_2]], [[SUB_4]]40; CHECK-NEXT: ret i8 [[RES_3]]41;42entry:43 %sub.1 = sub i8 0, %a44 %sub.2 = sub i8 -1, %a45 %sub.3 = sub i8 1, %a46 %sub.4 = sub i8 %a, -147 %res.1 = xor i8 %sub.1, %sub.248 %res.2 = xor i8 %res.1, %sub.349 %res.3 = xor i8 %res.2, %sub.450 ret i8 %res.351}52