reduce-smin.ll 31.8 KB