Replacement of #114390: Add new intrinsic is_var_statically_known and optimize pow for powers of two#119911