| ; RUN: opt -passes=instcombine -S %s | FileCheck %s | |
| %opaque = type opaque | |
| ; CHECK: call i64 @llvm.objectsize.i64 | |
| define void @foo(%opaque* sret(%opaque) %in, i64* %sizeptr) { | |
| %ptr = bitcast %opaque* %in to i8* | |
| %size = call i64 @llvm.objectsize.i64(i8* %ptr, i1 0, i1 0, i1 0) | |
| store i64 %size, i64* %sizeptr | |
| ret void | |
| } | |
| declare i64 @llvm.objectsize.i64(i8*, i1, i1, i1) |