Virtual calls are done via a @llvm.type.checked.load instrinsic call with a type identifier Type identifier of a vfunc is the base method's mangling Type descriptors and class metadata get !typ...