bit-ext-sat.ll 1.44 KB