1\DOC 2 3\TYPE {WORD_MUL_LSL_CONV : conv} 4 5\SYNOPSIS 6 7Conversion based on {WORD_MUL_LSL_ss}. 8 9\DESCRIBE 10 11The conversion {WORD_MUL_LSL_CONV} converts a multiplication by a word literal 12into a sum of left shifts. 13 14\EXAMPLE 15{ 16- WORD_MUL_LSL_CONV ``49w * a`` 17> val it = |- 49w * a = a << 5 + a << 4 + a : thm 18} 19 20\SEEALSO 21 22wordsLib.WORD_MUL_LSL_ss, wordsLib.WORD_DIV_LSR_CONV, wordsLib.WORD_ARITH_CONV, 23wordsLib.WORD_LOGIC_CONV, wordsLib.WORD_CONV, wordsLib.WORD_BIT_EQ_CONV, 24wordsLib.WORD_EVAL_CONV 25 26\ENDDOC 27