Any LLVM passes for integers type compaction?

Dear all,

I’m wondering if anybody is working on optimization passes that could use smaller integer types for variables that are known to have values within smaller type range?

Thanks,

  • D.