An LLVM-Based Optimization Pipeline for SPDZ. - Tianye Dai; Hammurabi Mendes; Heuichan Lim (CoRR, 2025)