Lines Matching defs:sh
12250 (sh'0,
12275 (BitsN.fromBitstring([sh'0],1),
16741 (true,(U'0,(false,(sh'0,(false,(Rn'3,(Rn'2,(Rn'1,Rn'0))))))))))))))),
16780 (BitsN.fromBitstring([sh'0],1),BitsN.B(0x0,1)),
20643 val sh = BitsN.bits(1,1) typ
20652 [c,BitsN.B(0xD,5),U,BitsN.B(0x1,1),sat_imm,Rd,imm5,sh,
20661 [BitsN.B(0xF3,8),U,BitsN.B(0x0,1),sh,BitsN.B(0x0,1),
23776 | (Option.SOME c,[r1,r2,r3,sh]) =>
23777 (case (p_register3[r1,r2,r3],p_shift_imm_or_reg sh) of
23815 | (Option.SOME c,[r1,r2,sh]) =>
23816 (case (p_register2[r1,r2],p_shift_imm_or_reg sh) of
23847 | (Option.SOME c,[r1,r2,sh]) =>
23848 (case (p_register2[r1,r2],p_shift_imm_or_reg sh) of
24241 | (Option.SOME c,[r1,r2,r3,sh]) =>
24245 val sh = stripSpaces sh
24248 then case String.explode sh of
24260 else case String.explode sh of
24293 | [sh] =>
24294 (case p_shift_imm_or_reg sh of
24496 | [offset,sh] =>
24497 (case closingAddress sh of
24549 | (Option.SOME rn,[offset,sh]) =>
24553 p_shift_imm_or_reg sh) of
26700 (String.concat["ldr",if unsigned then "h" else "sh",s_cond c],
26705 (String.concat["ldr",if unsigned then "h" else "sh",s_cond c],
26708 (String.concat["ldr",if unsigned then "h" else "sh",s_cond c],
26900 s_add_sub16("sh",(c,(opc,(d,(n,m)))))
26910 s_add_sub8("sh",(c,(sub,(d,(n,m)))))