Analytical computation of Ehrhart polynomials: enabling more compiler analyses and optimizations