1cea80760SAndrew Litteken; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 29dd9575cSRoman Lebedev; RUN: opt -S -passes=verify,iroutliner -ir-outlining-no-cost -no-ir-sim-intrinsics < %s | FileCheck %s 3cea80760SAndrew Litteken 4cea80760SAndrew Litteken; This test checks that we do not outline memcpy intrinsics since it may require 5cea80760SAndrew Litteken; extra address space checks. 6cea80760SAndrew Litteken 7*f4b925eeSMatt Arsenaultdeclare void @llvm.memcpy.p0.p0.i64(ptr nocapture writeonly, ptr nocapture readonly, i64, i1) 8cea80760SAndrew Litteken 9*f4b925eeSMatt Arsenaultdefine i8 @function1(ptr noalias %s, ptr noalias %d, i64 %len) { 10cea80760SAndrew Litteken; CHECK-LABEL: @function1( 11cea80760SAndrew Litteken; CHECK-NEXT: entry: 12e6ae6233SAndrew Litteken; CHECK-NEXT: [[B_LOC:%.*]] = alloca i8, align 1 13e6ae6233SAndrew Litteken; CHECK-NEXT: [[A_LOC:%.*]] = alloca i8, align 1 14e6ae6233SAndrew Litteken; CHECK-NEXT: [[RET_LOC:%.*]] = alloca i8, align 1 15*f4b925eeSMatt Arsenault; CHECK-NEXT: call void @llvm.lifetime.start.p0(i64 -1, ptr [[A_LOC]]) 16*f4b925eeSMatt Arsenault; CHECK-NEXT: call void @llvm.lifetime.start.p0(i64 -1, ptr [[B_LOC]]) 17*f4b925eeSMatt Arsenault; CHECK-NEXT: call void @outlined_ir_func_1(ptr [[S:%.*]], ptr [[D:%.*]], ptr [[A_LOC]], ptr [[B_LOC]]) 18*f4b925eeSMatt Arsenault; CHECK-NEXT: [[A_RELOAD:%.*]] = load i8, ptr [[A_LOC]], align 1 19*f4b925eeSMatt Arsenault; CHECK-NEXT: [[B_RELOAD:%.*]] = load i8, ptr [[B_LOC]], align 1 20*f4b925eeSMatt Arsenault; CHECK-NEXT: call void @llvm.lifetime.end.p0(i64 -1, ptr [[A_LOC]]) 21*f4b925eeSMatt Arsenault; CHECK-NEXT: call void @llvm.lifetime.end.p0(i64 -1, ptr [[B_LOC]]) 22*f4b925eeSMatt Arsenault; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr [[D]], ptr [[S]], i64 [[LEN:%.*]], i1 false) 23*f4b925eeSMatt Arsenault; CHECK-NEXT: call void @llvm.lifetime.start.p0(i64 -1, ptr [[RET_LOC]]) 24*f4b925eeSMatt Arsenault; CHECK-NEXT: call void @outlined_ir_func_0(i8 [[A_RELOAD]], i8 [[B_RELOAD]], ptr [[S]], ptr [[RET_LOC]]) 25*f4b925eeSMatt Arsenault; CHECK-NEXT: [[RET_RELOAD:%.*]] = load i8, ptr [[RET_LOC]], align 1 26*f4b925eeSMatt Arsenault; CHECK-NEXT: call void @llvm.lifetime.end.p0(i64 -1, ptr [[RET_LOC]]) 27e6ae6233SAndrew Litteken; CHECK-NEXT: ret i8 [[RET_RELOAD]] 28cea80760SAndrew Litteken; 29cea80760SAndrew Littekenentry: 30*f4b925eeSMatt Arsenault %a = load i8, ptr %s 31*f4b925eeSMatt Arsenault %b = load i8, ptr %d 32*f4b925eeSMatt Arsenault call void @llvm.memcpy.p0.p0.i64(ptr %d, ptr %s, i64 %len, i1 false) 33cea80760SAndrew Litteken %c = add i8 %a, %b 34*f4b925eeSMatt Arsenault %ret = load i8, ptr %s 35cea80760SAndrew Litteken ret i8 %ret 36cea80760SAndrew Litteken} 37cea80760SAndrew Litteken 38*f4b925eeSMatt Arsenaultdefine i8 @function2(ptr noalias %s, ptr noalias %d, i64 %len) { 39cea80760SAndrew Litteken; CHECK-LABEL: @function2( 40cea80760SAndrew Litteken; CHECK-NEXT: entry: 41e6ae6233SAndrew Litteken; CHECK-NEXT: [[B_LOC:%.*]] = alloca i8, align 1 42e6ae6233SAndrew Litteken; CHECK-NEXT: [[A_LOC:%.*]] = alloca i8, align 1 43e6ae6233SAndrew Litteken; CHECK-NEXT: [[RET_LOC:%.*]] = alloca i8, align 1 44*f4b925eeSMatt Arsenault; CHECK-NEXT: call void @llvm.lifetime.start.p0(i64 -1, ptr [[A_LOC]]) 45*f4b925eeSMatt Arsenault; CHECK-NEXT: call void @llvm.lifetime.start.p0(i64 -1, ptr [[B_LOC]]) 46*f4b925eeSMatt Arsenault; CHECK-NEXT: call void @outlined_ir_func_1(ptr [[S:%.*]], ptr [[D:%.*]], ptr [[A_LOC]], ptr [[B_LOC]]) 47*f4b925eeSMatt Arsenault; CHECK-NEXT: [[A_RELOAD:%.*]] = load i8, ptr [[A_LOC]], align 1 48*f4b925eeSMatt Arsenault; CHECK-NEXT: [[B_RELOAD:%.*]] = load i8, ptr [[B_LOC]], align 1 49*f4b925eeSMatt Arsenault; CHECK-NEXT: call void @llvm.lifetime.end.p0(i64 -1, ptr [[A_LOC]]) 50*f4b925eeSMatt Arsenault; CHECK-NEXT: call void @llvm.lifetime.end.p0(i64 -1, ptr [[B_LOC]]) 51*f4b925eeSMatt Arsenault; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr [[D]], ptr [[S]], i64 [[LEN:%.*]], i1 false) 52*f4b925eeSMatt Arsenault; CHECK-NEXT: call void @llvm.lifetime.start.p0(i64 -1, ptr [[RET_LOC]]) 53*f4b925eeSMatt Arsenault; CHECK-NEXT: call void @outlined_ir_func_0(i8 [[A_RELOAD]], i8 [[B_RELOAD]], ptr [[S]], ptr [[RET_LOC]]) 54*f4b925eeSMatt Arsenault; CHECK-NEXT: [[RET_RELOAD:%.*]] = load i8, ptr [[RET_LOC]], align 1 55*f4b925eeSMatt Arsenault; CHECK-NEXT: call void @llvm.lifetime.end.p0(i64 -1, ptr [[RET_LOC]]) 56e6ae6233SAndrew Litteken; CHECK-NEXT: ret i8 [[RET_RELOAD]] 57cea80760SAndrew Litteken; 58cea80760SAndrew Littekenentry: 59*f4b925eeSMatt Arsenault %a = load i8, ptr %s 60*f4b925eeSMatt Arsenault %b = load i8, ptr %d 61*f4b925eeSMatt Arsenault call void @llvm.memcpy.p0.p0.i64(ptr %d, ptr %s, i64 %len, i1 false) 62cea80760SAndrew Litteken %c = add i8 %a, %b 63*f4b925eeSMatt Arsenault %ret = load i8, ptr %s 64cea80760SAndrew Litteken ret i8 %ret 65cea80760SAndrew Litteken} 66