нииии, ты не прав. Ибо shl принимает два операнда, второй из них это размер сдвига. Т.е. умножение на 2 в какой-либо степени, а 4 это два в степени 2 и соответственно уравнение выглядит как x*4+3.
програмную начинку ты делаешь сам, средствами инстоукций процессора. асм их представляет в удобочитаемом виде и собирает воедино, в результате на выходе программа из инстоукций процессора