96 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --include-generated-funcs2; RUN: opt -S -passes=verify,iroutliner -ir-outlining-no-cost < %s | FileCheck %s3 4; This test checks that we sucessfully outline identical memcpy var arg5; intrinsics, but not the var arg instruction itself.6 7declare void @llvm.va_start(ptr)8declare void @llvm.va_copy(ptr, ptr)9declare void @llvm.va_end(ptr)10 11define i32 @func1(i32 %a, double %b, ptr %v, ...) nounwind {12entry:13 %a.addr = alloca i32, align 414 %b.addr = alloca double, align 815 %ap = alloca ptr, align 416 %c = alloca i32, align 417 store i32 %a, ptr %a.addr, align 418 store double %b, ptr %b.addr, align 819 call void @llvm.va_start(ptr %ap)20 %0 = va_arg ptr %ap, i3221 call void @llvm.va_copy(ptr %v, ptr %ap)22 call void @llvm.va_end(ptr %ap)23 store i32 %0, ptr %c, align 424 %tmp = load i32, ptr %c, align 425 ret i32 %tmp26}27 28define i32 @func2(i32 %a, double %b, ptr %v, ...) nounwind {29entry:30 %a.addr = alloca i32, align 431 %b.addr = alloca double, align 832 %ap = alloca ptr, align 433 %c = alloca i32, align 434 store i32 %a, ptr %a.addr, align 435 store double %b, ptr %b.addr, align 836 call void @llvm.va_start(ptr %ap)37 %0 = va_arg ptr %ap, i3238 call void @llvm.va_copy(ptr %v, ptr %ap)39 call void @llvm.va_end(ptr %ap)40 store i32 %0, ptr %c, align 441 %tmp = load i32, ptr %c, align 442 ret i32 %tmp43}44; CHECK-LABEL: define {{[^@]+}}@func145; CHECK-SAME: (i32 [[A:%.*]], double [[B:%.*]], ptr [[V:%.*]], ...) #[[ATTR1:[0-9]+]] {46; CHECK-NEXT: entry:47; CHECK-NEXT: [[TMP_LOC:%.*]] = alloca i32, align 448; CHECK-NEXT: [[A_ADDR:%.*]] = alloca i32, align 449; CHECK-NEXT: [[B_ADDR:%.*]] = alloca double, align 850; CHECK-NEXT: [[AP:%.*]] = alloca ptr, align 451; CHECK-NEXT: [[C:%.*]] = alloca i32, align 452; CHECK-NEXT: store i32 [[A]], ptr [[A_ADDR]], align 453; CHECK-NEXT: store double [[B]], ptr [[B_ADDR]], align 854; CHECK-NEXT: call void @llvm.va_start.p0(ptr [[AP]])55; CHECK-NEXT: [[TMP0:%.*]] = va_arg ptr [[AP]], i3256; CHECK-NEXT: call void @llvm.lifetime.start.p0(ptr [[TMP_LOC]])57; CHECK-NEXT: call void @outlined_ir_func_0(ptr [[V]], ptr [[AP]], i32 [[TMP0]], ptr [[C]], ptr [[TMP_LOC]])58; CHECK-NEXT: [[TMP_RELOAD:%.*]] = load i32, ptr [[TMP_LOC]], align 459; CHECK-NEXT: call void @llvm.lifetime.end.p0(ptr [[TMP_LOC]])60; CHECK-NEXT: ret i32 [[TMP_RELOAD]]61;62;63; CHECK-LABEL: define {{[^@]+}}@func264; CHECK-SAME: (i32 [[A:%.*]], double [[B:%.*]], ptr [[V:%.*]], ...) #[[ATTR1]] {65; CHECK-NEXT: entry:66; CHECK-NEXT: [[TMP_LOC:%.*]] = alloca i32, align 467; CHECK-NEXT: [[A_ADDR:%.*]] = alloca i32, align 468; CHECK-NEXT: [[B_ADDR:%.*]] = alloca double, align 869; CHECK-NEXT: [[AP:%.*]] = alloca ptr, align 470; CHECK-NEXT: [[C:%.*]] = alloca i32, align 471; CHECK-NEXT: store i32 [[A]], ptr [[A_ADDR]], align 472; CHECK-NEXT: store double [[B]], ptr [[B_ADDR]], align 873; CHECK-NEXT: call void @llvm.va_start.p0(ptr [[AP]])74; CHECK-NEXT: [[TMP0:%.*]] = va_arg ptr [[AP]], i3275; CHECK-NEXT: call void @llvm.lifetime.start.p0(ptr [[TMP_LOC]])76; CHECK-NEXT: call void @outlined_ir_func_0(ptr [[V]], ptr [[AP]], i32 [[TMP0]], ptr [[C]], ptr [[TMP_LOC]])77; CHECK-NEXT: [[TMP_RELOAD:%.*]] = load i32, ptr [[TMP_LOC]], align 478; CHECK-NEXT: call void @llvm.lifetime.end.p0(ptr [[TMP_LOC]])79; CHECK-NEXT: ret i32 [[TMP_RELOAD]]80;81;82; CHECK-LABEL: define {{[^@]+}}@outlined_ir_func_083; CHECK-SAME: (ptr [[TMP0:%.*]], ptr [[TMP1:%.*]], i32 [[TMP2:%.*]], ptr [[TMP3:%.*]], ptr [[TMP4:%.*]]) #[[ATTR3:[0-9]+]] {84; CHECK-NEXT: newFuncRoot:85; CHECK-NEXT: br label [[ENTRY_TO_OUTLINE:%.*]]86; CHECK: entry_to_outline:87; CHECK-NEXT: call void @llvm.va_copy.p0(ptr [[TMP0]], ptr [[TMP1]])88; CHECK-NEXT: call void @llvm.va_end.p0(ptr [[TMP1]])89; CHECK-NEXT: store i32 [[TMP2]], ptr [[TMP3]], align 490; CHECK-NEXT: [[TMP:%.*]] = load i32, ptr [[TMP3]], align 491; CHECK-NEXT: br label [[ENTRY_AFTER_OUTLINE_EXITSTUB:%.*]]92; CHECK: entry_after_outline.exitStub:93; CHECK-NEXT: store i32 [[TMP]], ptr [[TMP4]], align 494; CHECK-NEXT: ret void95;96