Leveraging LLVM's ScalarEvolution for Symbolic Data Cache Analysis | IEEE Conference Publication | IEEE Xplore