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