61 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --include-generated-funcs2; RUN: opt -S -passes=verify,iroutliner -ir-outlining-no-cost < %s | FileCheck %s3 4; This test checks that we sucecssfully outline identical memmove instructions.5 6declare void @llvm.memmove.p0.p0.i64(ptr nocapture writeonly, ptr nocapture readonly, i64, i1)7 8define i8 @function1(ptr noalias %s, ptr noalias %d, i64 %len) {9entry:10 %a = load i8, ptr %s11 %b = load i8, ptr %d12 call void @llvm.memmove.p0.p0.i64(ptr %d, ptr %s, i64 %len, i1 false)13 %c = add i8 %a, %b14 %ret = load i8, ptr %s15 ret i8 %ret16}17 18define i8 @function2(ptr noalias %s, ptr noalias %d, i64 %len) {19entry:20 %a = load i8, ptr %s21 %b = load i8, ptr %d22 call void @llvm.memmove.p0.p0.i64(ptr %d, ptr %s, i64 %len, i1 false)23 %c = add i8 %a, %b24 %ret = load i8, ptr %s25 ret i8 %ret26}27; CHECK-LABEL: @function1(28; CHECK-NEXT: entry:29; CHECK-NEXT: [[RET_LOC:%.*]] = alloca i8, align 130; CHECK-NEXT: call void @llvm.lifetime.start.p0(ptr [[RET_LOC]])31; CHECK-NEXT: call void @outlined_ir_func_0(ptr [[S:%.*]], ptr [[D:%.*]], i64 [[LEN:%.*]], ptr [[RET_LOC]])32; CHECK-NEXT: [[RET_RELOAD:%.*]] = load i8, ptr [[RET_LOC]], align 133; CHECK-NEXT: call void @llvm.lifetime.end.p0(ptr [[RET_LOC]])34; CHECK-NEXT: ret i8 [[RET_RELOAD]]35;36;37; CHECK-LABEL: @function2(38; CHECK-NEXT: entry:39; CHECK-NEXT: [[RET_LOC:%.*]] = alloca i8, align 140; CHECK-NEXT: call void @llvm.lifetime.start.p0(ptr [[RET_LOC]])41; CHECK-NEXT: call void @outlined_ir_func_0(ptr [[S:%.*]], ptr [[D:%.*]], i64 [[LEN:%.*]], ptr [[RET_LOC]])42; CHECK-NEXT: [[RET_RELOAD:%.*]] = load i8, ptr [[RET_LOC]], align 143; CHECK-NEXT: call void @llvm.lifetime.end.p0(ptr [[RET_LOC]])44; CHECK-NEXT: ret i8 [[RET_RELOAD]]45;46;47; CHECK: define internal void @outlined_ir_func_0(48; CHECK-NEXT: newFuncRoot:49; CHECK-NEXT: br label [[ENTRY_TO_OUTLINE:%.*]]50; CHECK: entry_to_outline:51; CHECK-NEXT: [[A:%.*]] = load i8, ptr [[TMP0:%.*]], align 152; CHECK-NEXT: [[B:%.*]] = load i8, ptr [[TMP1:%.*]], align 153; CHECK-NEXT: call void @llvm.memmove.p0.p0.i64(ptr [[TMP1]], ptr [[TMP0]], i64 [[TMP2:%.*]], i1 false)54; CHECK-NEXT: [[C:%.*]] = add i8 [[A]], [[B]]55; CHECK-NEXT: [[RET:%.*]] = load i8, ptr [[TMP0]], align 156; CHECK-NEXT: br label [[ENTRY_AFTER_OUTLINE_EXITSTUB:%.*]]57; CHECK: entry_after_outline.exitStub:58; CHECK-NEXT: store i8 [[RET]], ptr [[TMP3:%.*]], align 159; CHECK-NEXT: ret void60;61