37 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 42; RUN: opt -passes=instcombine -S < %s | FileCheck %s3 4define i32 @main(ptr %a, i8 %a0, i32 %conv, i8 %a1) {5; CHECK-LABEL: define i32 @main(6; CHECK-SAME: ptr [[A:%.*]], i8 [[A0:%.*]], i32 [[CONV:%.*]], i8 [[A1:%.*]]) {7; CHECK-NEXT: [[A3:%.*]] = trunc i32 [[CONV]] to i88; CHECK-NEXT: [[OR11:%.*]] = or i8 [[A0]], [[A3]]9; CHECK-NEXT: store i8 [[OR11]], ptr [[A]], align 110; CHECK-NEXT: [[CMP:%.*]] = icmp slt i8 [[A1]], 011; CHECK-NEXT: call void @llvm.assume(i1 [[CMP]])12; CHECK-NEXT: ret i32 [[CONV]]13;14 %conv1 = sext i8 %a1 to i3215 %a2 = xor i32 %conv, 116 %or = or i32 %conv1, %conv17 %not = xor i32 %or, -118 %shr = lshr i32 %not, 119 %add.neg3 = sub i32 %a2, %shr20 %conv24 = trunc i32 %add.neg3 to i821 store i8 %conv24, ptr %a, align 122 %sext = shl i32 %conv, 023 %conv3 = ashr i32 %sext, 024 %a3 = trunc i32 %conv to i825 %conv5 = or i8 %a3, 026 %xor6 = xor i8 %conv5, 027 %xor816 = xor i8 %a0, 028 %a4 = xor i8 %xor816, 029 %or11 = or i8 %xor6, %a430 store i8 %or11, ptr %a, align 131 %cmp = icmp slt i8 %a1, 032 call void @llvm.assume(i1 %cmp)33 ret i32 %conv334}35 36declare void @llvm.assume(i1)37