1; RUN: opt -instcombine -S %s | FileCheck %s
2%opaque = type opaque
3
4; CHECK: call i64 @llvm.objectsize.i64
5define void @foo(%opaque* sret(%opaque) %in, i64* %sizeptr) {
6  %ptr = bitcast %opaque* %in to i8*
7  %size = call i64 @llvm.objectsize.i64(i8* %ptr, i1 0, i1 0, i1 0)
8  store i64 %size, i64* %sizeptr
9  ret void
10}
11
12declare i64 @llvm.objectsize.i64(i8*, i1, i1, i1)
13