Lines Matching defs:signed
472 " to a signed " ^
2617 of SOME (signed,half) =>
2619 (mk_bool indx,u,w,signed,half,unpriv,rn,rt,
2649 of SOME (signed,half) =>
2651 (mk_bool indx,mk_bool pos,w,signed,half,unpriv,
2685 of SOME (signed,half) =>
2687 (T,T,F,signed,half,F,rn,rt,
2698 (let val (signed,half) = case opt
2705 mk_Load_Halfword (T,boolSyntax.arb,F,signed,half,F,
2719 signed,half,F,mk_word4 15,rt,mode3)))
2745 of SOME (signed,half) =>
2746 mk_Load_Halfword (T,T,F,signed,half,T,rn,rt,mode3)
2781 of SOME (signed,half) =>
2782 mk_Load_Halfword (indx,add,w,signed,half,T,rn,rt,tm)