Merge "Introduce IntImmediateType to handle determinate-sized immediates" into main