AdUhTkJm wrote: PS. Some bugs in upstream Barvinok will only trigger when the cone is not unimodular, so we need to get unimodular decomposition in before fixing the bugs. https://github.com/llvm/llvm-project/pull/185328