What is the name of the famous sword of Charles the Great?

The sword Joyeuse as preserved today is a composite of various parts added over the centuries of use as coronation sword. But at the core, it consists of a medieval blade of Oakeshott type XII, mostly dated to about the 10th century. Martin Conway argued the blade might date to the early 9th century, opening the possibility that it was indeed the sword of Charlemagne.