X-Git-Url: http://git.osdn.net/view?a=blobdiff_plain;f=include%2Fopcode%2Fhppa.h;h=59a6580bf36650102993a720b1b224d1d05bb211;hb=8c0f01cb31483e23cb93ceb9195229898a2aa84b;hp=0f620531afc41a4d35f8428ef96b4caecb77e52f;hpb=82061aa2e73fbda79d4fda71ca8c583fbc05ca49;p=pf3gnuchains%2Fpf3gnuchains4x.git diff --git a/include/opcode/hppa.h b/include/opcode/hppa.h index 0f620531af..59a6580bf3 100644 --- a/include/opcode/hppa.h +++ b/include/opcode/hppa.h @@ -57,8 +57,9 @@ struct pa_opcode particular opcode in order for an instruction to be an instance of that opcode. - The args component is a string containing one character - for each operand of the instruction. + The args component is a string containing one character for each operand of + the instruction. Characters used as a prefix allow any second character to + be used without conflicting with the main operand characters. Bit positions in this description follow HP usage of lsb = 31, "at" is lsb of field. @@ -69,9 +70,9 @@ struct pa_opcode In the args field, the following characters are unused: - ' "#$% *+- ./ :; ' - ' [\] ' - ' { } ' + ' !"#$%& *+- ./ :;< > @' + ' M U [\] ' + 'a d {|}~' Here are all the characters: @@ -90,13 +91,6 @@ Kinds of operands: c indexed load completer. C short load and store completer. Y Store Bytes Short completer - < non-negated compare/subtract conditions. - a compare/subtract conditions - d non-negated add conditions - & logical instruction conditions - U unit instruction conditions - > shift/extract/deposit conditions. - ~ bvb,bb conditions V 5 bit immediate value at 31 i 11 bit immediate value at 31 j 14 bit immediate value at 31 @@ -107,6 +101,41 @@ Kinds of operands: W 17 bit branch displacement (PC relative) z 17 bit branch displacement (just a number, not an address) +Condition operands all have '?' as the prefix: + + ?f Floating point compare conditions (encoded as 5 bits at 31) + + ?a add conditions + ?A 64 bit add conditions + ?@ add branch conditions followed by nullify + ?d non-negated add branch conditions + ?D negated add branch conditions + ?w wide mode non-negated add branch conditions + ?W wide mode negated add branch conditions + + ?s compare/subtract conditions + ?S 64 bit compare/subtract conditions + ?t non-negated compare conditions + ?T negated compare conditions + ?r 64 bit non-negated compare conditions + ?R 64 bit negated compare conditions + ?Q 64 bit compare conditions for CMPIB instruction + ?n compare conditions followed by nullify + + ?l logical conditions + ?L 64 bit logical conditions + + ?b branch on bit conditions + ?B 64 bit branch on bit conditions + + ?x shift/extract/deposit conditions + ?X 64 bit shift/extract/deposit conditions + ?y shift/extract/deposit conditions followed by nullify for conditional + branches + + ?u unit conditions + ?U 64 bit unit conditions + Also these: p 5 bit shift count at 26 (to support the SHD instruction) encoded as @@ -133,10 +162,6 @@ Also these: I Source Floating Point Operand Format Completer encoded 1 bits at 20 (for 0xe format FP instructions) G Destination Floating Point Operand Format Completer encoded 2 bits at 18 - M Floating-Point Compare Conditions (encoded as 5 bits at 31) - ? non-negated/negated compare/subtract conditions. - @ non-negated/negated add conditions. - ! non-negated add conditions. s 2 bit space specifier at 17. b register field at 10. @@ -148,7 +173,6 @@ Also these: Q 5 bit immediate value at 10 (a bit position specified in the bb instruction. It's the same as r above, except the value is in a different location) - | shift/extract/deposit conditions when used in a conditional branch And these (PJH) for PA-89 F.P. registers and instructions: @@ -187,22 +211,22 @@ static const struct pa_opcode pa_opcodes[] = { "b", 0xe8000000, 0xffe0e000, "nW", pa10}, /* bl foo,r0 */ { "ldi", 0x34000000, 0xffe0c000, "j,x", pa10}, /* ldo val(r0),r */ -{ "comib", 0x84000000, 0xfc000000, "?n5,b,w", pa10}, /* comib{tf}*/ +{ "comib", 0x84000000, 0xfc000000, "?nn5,b,w", pa10}, /* comib{tf}*/ /* This entry is for the disassembler only. It will never be used by assembler. */ -{ "comib", 0x8c000000, 0xfc000000, "?n5,b,w", pa10}, /* comib{tf}*/ -{ "comb", 0x80000000, 0xfc000000, "?nx,b,w", pa10}, /* comb{tf} */ +{ "comib", 0x8c000000, 0xfc000000, "?nn5,b,w", pa10}, /* comib{tf}*/ +{ "comb", 0x80000000, 0xfc000000, "?nnx,b,w", pa10}, /* comb{tf} */ /* This entry is for the disassembler only. It will never be used by assembler. */ -{ "comb", 0x88000000, 0xfc000000, "?nx,b,w", pa10}, /* comb{tf} */ -{ "addb", 0xa0000000, 0xfc000000, "@nx,b,w", pa10}, /* addb{tf} */ +{ "comb", 0x88000000, 0xfc000000, "?nnx,b,w", pa10}, /* comb{tf} */ +{ "addb", 0xa0000000, 0xfc000000, "?@nx,b,w", pa10}, /* addb{tf} */ /* This entry is for the disassembler only. It will never be used by assembler. */ -{ "addb", 0xa8000000, 0xfc000000, "@nx,b,w", pa10}, -{ "addib", 0xa4000000, 0xfc000000, "@n5,b,w", pa10}, /* addib{tf}*/ +{ "addb", 0xa8000000, 0xfc000000, "?@nx,b,w", pa10}, +{ "addib", 0xa4000000, 0xfc000000, "?@n5,b,w", pa10}, /* addib{tf}*/ /* This entry is for the disassembler only. It will never be used by assembler. */ -{ "addib", 0xac000000, 0xfc000000, "@n5,b,w", pa10}, /* addib{tf}*/ +{ "addib", 0xac000000, 0xfc000000, "?@n5,b,w", pa10}, /* addib{tf}*/ { "nop", 0x08000240, 0xffffffff, "", pa10}, /* or 0,0,0 */ { "copy", 0x08000240, 0xffe0ffe0, "x,t", pa10}, /* or r,0,t */ { "mtsar", 0x01601840, 0xffe0ffff, "x", pa10}, /* mtctl r,cr11 */ @@ -265,77 +289,87 @@ static const struct pa_opcode pa_opcodes[] = { "bv", 0xe800c000, 0xfc00fffd, "n(b)", pa10}, { "be", 0xe0000000, 0xfc000000, "nz(S,b)", pa10}, { "ble", 0xe4000000, 0xfc000000, "nz(S,b)", pa10}, -{ "movb", 0xc8000000, 0xfc000000, "|nx,b,w", pa10}, -{ "movib", 0xcc000000, 0xfc000000, "|n5,b,w", pa10}, -{ "combt", 0x80000000, 0xfc000000, "x,b,t", pa10}, -{ "shd", 0xd0000800, 0xfc001c00, ">x,b,p,t", pa10}, -{ "vextru", 0xd0001000, 0xfc001fe0, ">b,T,x", pa10}, -{ "vextrs", 0xd0001400, 0xfc001fe0, ">b,T,x", pa10}, -{ "extru", 0xd0001800, 0xfc001c00, ">b,P,T,x", pa10}, -{ "extrs", 0xd0001c00, 0xfc001c00, ">b,P,T,x", pa10}, -{ "zvdep", 0xd4000000, 0xfc001fe0, ">x,T,b", pa10}, -{ "vdep", 0xd4000400, 0xfc001fe0, ">x,T,b", pa10}, -{ "zdep", 0xd4000800, 0xfc001c00, ">x,p,T,b", pa10}, -{ "dep", 0xd4000c00, 0xfc001c00, ">x,p,T,b", pa10}, -{ "zvdepi", 0xd4001000, 0xfc001fe0, ">5,T,b", pa10}, -{ "vdepi", 0xd4001400, 0xfc001fe0, ">5,T,b", pa10}, -{ "zdepi", 0xd4001800, 0xfc001c00, ">5,p,T,b", pa10}, -{ "depi", 0xd4001c00, 0xfc001c00, ">5,p,T,b", pa10}, +{ "vshd", 0xd0000000, 0xfc001fe0, "?xx,b,t", pa10}, +{ "shd", 0xd0000800, 0xfc001c00, "?xx,b,p,t", pa10}, +{ "vextru", 0xd0001000, 0xfc001fe0, "?xb,T,x", pa10}, +{ "vextrs", 0xd0001400, 0xfc001fe0, "?xb,T,x", pa10}, +{ "extru", 0xd0001800, 0xfc001c00, "?xb,P,T,x", pa10}, +{ "extrs", 0xd0001c00, 0xfc001c00, "?xb,P,T,x", pa10}, +{ "zvdep", 0xd4000000, 0xfc001fe0, "?xx,T,b", pa10}, +{ "vdep", 0xd4000400, 0xfc001fe0, "?xx,T,b", pa10}, +{ "zdep", 0xd4000800, 0xfc001c00, "?xx,p,T,b", pa10}, +{ "dep", 0xd4000c00, 0xfc001c00, "?xx,p,T,b", pa10}, +{ "zvdepi", 0xd4001000, 0xfc001fe0, "?x5,T,b", pa10}, +{ "vdepi", 0xd4001400, 0xfc001fe0, "?x5,T,b", pa10}, +{ "zdepi", 0xd4001800, 0xfc001c00, "?x5,p,T,b", pa10}, +{ "depi", 0xd4001c00, 0xfc001c00, "?x5,p,T,b", pa10}, /* System Control Instructions */ @@ -349,8 +383,8 @@ static const struct pa_opcode pa_opcodes[] = { "ldsid", 0x000010a0, 0xfc1f3fe0, "(b),t", pa10}, { "mtsp", 0x00001820, 0xffe01fff, "x,S", pa10}, { "mtctl", 0x00001840, 0xfc00ffff, "x,^", pa10}, -{ "mtsarcm", 0x016018C0, 0xffe0ffff, "x", pa20}, -{ "mfia", 0x000014A0, 0xffffffe0, "t", pa20}, +{ "mtsarcm", 0x016018C0, 0xffe0ffff, "x", pa20, FLAG_STRICT}, +{ "mfia", 0x000014A0, 0xffffffe0, "t", pa20, FLAG_STRICT}, { "mfsp", 0x000004a0, 0xffff1fe0, "S,t", pa10}, { "mfctl", 0x000008a0, 0xfc1fffe0, "^,t", pa10}, { "sync", 0x00000400, 0xffffffff, "", pa10}, @@ -462,14 +496,14 @@ static const struct pa_opcode pa_opcodes[] = { "fcnvfx", 0x38010200, 0xfc1f8720, "FGJ,v", pa10}, { "fcnvfxt", 0x30018200, 0xfc1f87e0, "FGE,v", pa10}, { "fcnvfxt", 0x38018200, 0xfc1f8720, "FGJ,v", pa10}, -{ "fmpyfadd", 0xb8000000, 0xfc000020, "FJ,K,3,v", pa20}, -{ "fmpynfadd", 0xb8000020, 0xfc000020, "FJ,K,3,v", pa20}, -{ "fneg", 0x3000c000, 0xfc1fe7e0, "FE,v", pa20}, -{ "fneg", 0x3800c000, 0xfc1fe720, "FJ,v", pa20}, -{ "fnegabs", 0x3000e000, 0xfc1fe7e0, "FE,v", pa20}, -{ "fnegabs", 0x3800e000, 0xfc1fe720, "FJ,v", pa20}, -{ "fcmp", 0x30000400, 0xfc00e7e0, "FME,X", pa10}, -{ "fcmp", 0x38000400, 0xfc00e720, "IMJ,K", pa10}, +{ "fmpyfadd", 0xb8000000, 0xfc000020, "FJ,K,3,v", pa20, FLAG_STRICT}, +{ "fmpynfadd", 0xb8000020, 0xfc000020, "FJ,K,3,v", pa20, FLAG_STRICT}, +{ "fneg", 0x3000c000, 0xfc1fe7e0, "FE,v", pa20, FLAG_STRICT}, +{ "fneg", 0x3800c000, 0xfc1fe720, "FJ,v", pa20, FLAG_STRICT}, +{ "fnegabs", 0x3000e000, 0xfc1fe7e0, "FE,v", pa20, FLAG_STRICT}, +{ "fnegabs", 0x3800e000, 0xfc1fe720, "FJ,v", pa20, FLAG_STRICT}, +{ "fcmp", 0x30000400, 0xfc00e7e0, "F?fE,X", pa10}, +{ "fcmp", 0x38000400, 0xfc00e720, "I?fJ,K", pa10}, { "xmpyu", 0x38004700, 0xfc00e720, "J,K,v", pa11}, { "fmpyadd", 0x18000000, 0xfc000000, "H4,6,7,9,8", pa11}, { "fmpysub", 0x98000000, 0xfc000000, "H4,6,7,9,8", pa11},