Вкратце это хинты компилятору / кодогенератору указывающие какая ветка более горячая (будет выполняться чаще), что соответственно очень хорошо сказывается на когерентности кеша и соответственно производительности
Это хинты именно для рантайма такого как v8 или wasmtime, но они должны поддерживаться на уровне webassembly и высокоуровненого языка. Ну и наконец программист должен правильно их расставить что бы был бенефит