Lines Matching refs:word
355 \\ Cases_on `word_msb (x + y) <> word_msb (1w : 'a word)`
509 `!r: 'a word.
628 (((31 >< 1) (w + 4w): 31 word) @@ (1w: word1) = w + 5w)`,
704 x22; x23]: word24 @@ (0w: word2)): 26 word): word32) =
725 (v2w [x24; F]: word2)): 26 word): word32) =
740 val t2 = ``(((31 >< 1) (i: word32) : 31 word) @@ (0w: word1)): word32``
743 (!i:word32. ((31 >< 2) i : 30 word) @@ (0w: word2) = align 2 i)`,
908 `!w : 'a word. fixwidth (dimindex (:'a)) (w2v w) = w2v w`,
1082 ((w2w w : 33 word) << imm) ' 32 = testbit 32 (shiftl (w2v w) imm)`,
1093 ((w << imm2, if imm2 = 0 then C else ((w2w w : 33 word) << imm2) ' 32),
1108 else (w << amount, ((w2w w : 33 word) << amount) ' 32)
1145 if amount = 0 then C else ((w2w w : 33 word) << amount) ' 32)