18 lines · plain
1; RUN: opt < %s -passes='dse,verify<memoryssa>' -S | FileCheck %s2 3declare void @llvm.memset.p0.i64(ptr nocapture, i8, i64, i1) nounwind4 5; This should create a declaration for the named variant6define ptr @undeclared_customalloc(i64 %size, i64 %align) {7; CHECK-LABEL: @undeclared_customalloc8; CHECK-NEXT: [[CALL:%.*]] = call ptr @customalloc2_zeroed(i64 [[SIZE:%.*]], i64 [[ALIGN:%.*]])9; CHECK-NEXT: ret ptr [[CALL]]10 %call = call ptr @customalloc2(i64 %size, i64 %align)11 call void @llvm.memset.p0.i64(ptr %call, i8 0, i64 %size, i1 false)12 ret ptr %call13}14 15declare ptr @customalloc2(i64, i64) allockind("alloc,uninitialized") "alloc-family"="customalloc2" "alloc-variant-zeroed"="customalloc2_zeroed"16; CHECK-DAG: declare ptr @customalloc2_zeroed(i64, i64) #[[CA2ATTR:[0-9]+]]17; CHECK-DAG: attributes #[[CA2ATTR]] = { allockind("alloc,zeroed") "alloc-family"="customalloc2" }18