define weak void @weakfunc() {
entry:
  ret void
}