bugpoint-reduced-simplified.ll