What did Charlemagne believe?

Presumably Charlemagne believed in Christianity, since he was willing to murder so many thousands of pagans who refused to become Christians. In spite of this belief, he had two wives and several concubines.