13785c1d0SAndrew Litteken; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --include-generated-funcs 29dd9575cSRoman Lebedev; RUN: opt -S -passes=verify,iroutliner -ir-outlining-no-cost < %s | FileCheck %s 33785c1d0SAndrew Litteken 43785c1d0SAndrew Litteken; This test checks that we sucecssfully outline identical memmove instructions. 53785c1d0SAndrew Litteken 6*f4b925eeSMatt Arsenaultdeclare void @llvm.memmove.p0.p0.i64(ptr nocapture writeonly, ptr nocapture readonly, i64, i1) 73785c1d0SAndrew Litteken 8*f4b925eeSMatt Arsenaultdefine i8 @function1(ptr noalias %s, ptr noalias %d, i64 %len) { 93785c1d0SAndrew Littekenentry: 10*f4b925eeSMatt Arsenault %a = load i8, ptr %s 11*f4b925eeSMatt Arsenault %b = load i8, ptr %d 12*f4b925eeSMatt Arsenault call void @llvm.memmove.p0.p0.i64(ptr %d, ptr %s, i64 %len, i1 false) 133785c1d0SAndrew Litteken %c = add i8 %a, %b 14*f4b925eeSMatt Arsenault %ret = load i8, ptr %s 153785c1d0SAndrew Litteken ret i8 %ret 163785c1d0SAndrew Litteken} 173785c1d0SAndrew Litteken 18*f4b925eeSMatt Arsenaultdefine i8 @function2(ptr noalias %s, ptr noalias %d, i64 %len) { 193785c1d0SAndrew Littekenentry: 20*f4b925eeSMatt Arsenault %a = load i8, ptr %s 21*f4b925eeSMatt Arsenault %b = load i8, ptr %d 22*f4b925eeSMatt Arsenault call void @llvm.memmove.p0.p0.i64(ptr %d, ptr %s, i64 %len, i1 false) 233785c1d0SAndrew Litteken %c = add i8 %a, %b 24*f4b925eeSMatt Arsenault %ret = load i8, ptr %s 253785c1d0SAndrew Litteken ret i8 %ret 263785c1d0SAndrew Litteken} 273785c1d0SAndrew Litteken; CHECK-LABEL: @function1( 283785c1d0SAndrew Litteken; CHECK-NEXT: entry: 293785c1d0SAndrew Litteken; CHECK-NEXT: [[RET_LOC:%.*]] = alloca i8, align 1 30*f4b925eeSMatt Arsenault; CHECK-NEXT: call void @llvm.lifetime.start.p0(i64 -1, ptr [[RET_LOC]]) 31*f4b925eeSMatt Arsenault; CHECK-NEXT: call void @outlined_ir_func_0(ptr [[S:%.*]], ptr [[D:%.*]], i64 [[LEN:%.*]], ptr [[RET_LOC]]) 32*f4b925eeSMatt Arsenault; CHECK-NEXT: [[RET_RELOAD:%.*]] = load i8, ptr [[RET_LOC]], align 1 33*f4b925eeSMatt Arsenault; CHECK-NEXT: call void @llvm.lifetime.end.p0(i64 -1, ptr [[RET_LOC]]) 343785c1d0SAndrew Litteken; CHECK-NEXT: ret i8 [[RET_RELOAD]] 353785c1d0SAndrew Litteken; 363785c1d0SAndrew Litteken; 373785c1d0SAndrew Litteken; CHECK-LABEL: @function2( 383785c1d0SAndrew Litteken; CHECK-NEXT: entry: 393785c1d0SAndrew Litteken; CHECK-NEXT: [[RET_LOC:%.*]] = alloca i8, align 1 40*f4b925eeSMatt Arsenault; CHECK-NEXT: call void @llvm.lifetime.start.p0(i64 -1, ptr [[RET_LOC]]) 41*f4b925eeSMatt Arsenault; CHECK-NEXT: call void @outlined_ir_func_0(ptr [[S:%.*]], ptr [[D:%.*]], i64 [[LEN:%.*]], ptr [[RET_LOC]]) 42*f4b925eeSMatt Arsenault; CHECK-NEXT: [[RET_RELOAD:%.*]] = load i8, ptr [[RET_LOC]], align 1 43*f4b925eeSMatt Arsenault; CHECK-NEXT: call void @llvm.lifetime.end.p0(i64 -1, ptr [[RET_LOC]]) 443785c1d0SAndrew Litteken; CHECK-NEXT: ret i8 [[RET_RELOAD]] 453785c1d0SAndrew Litteken; 463785c1d0SAndrew Litteken; 473785c1d0SAndrew Litteken; CHECK: define internal void @outlined_ir_func_0( 483785c1d0SAndrew Litteken; CHECK-NEXT: newFuncRoot: 493785c1d0SAndrew Litteken; CHECK-NEXT: br label [[ENTRY_TO_OUTLINE:%.*]] 503785c1d0SAndrew Litteken; CHECK: entry_to_outline: 51*f4b925eeSMatt Arsenault; CHECK-NEXT: [[A:%.*]] = load i8, ptr [[TMP0:%.*]], align 1 52*f4b925eeSMatt Arsenault; CHECK-NEXT: [[B:%.*]] = load i8, ptr [[TMP1:%.*]], align 1 53*f4b925eeSMatt Arsenault; CHECK-NEXT: call void @llvm.memmove.p0.p0.i64(ptr [[TMP1]], ptr [[TMP0]], i64 [[TMP2:%.*]], i1 false) 543785c1d0SAndrew Litteken; CHECK-NEXT: [[C:%.*]] = add i8 [[A]], [[B]] 55*f4b925eeSMatt Arsenault; CHECK-NEXT: [[RET:%.*]] = load i8, ptr [[TMP0]], align 1 563785c1d0SAndrew Litteken; CHECK-NEXT: br label [[ENTRY_AFTER_OUTLINE_EXITSTUB:%.*]] 573785c1d0SAndrew Litteken; CHECK: entry_after_outline.exitStub: 58*f4b925eeSMatt Arsenault; CHECK-NEXT: store i8 [[RET]], ptr [[TMP3:%.*]], align 1 593785c1d0SAndrew Litteken; CHECK-NEXT: ret void 603785c1d0SAndrew Litteken; 61