ocaml: update reg/inst/group const in arm64

This commit is contained in:
Guillaume Jeanne 2014-06-27 13:30:26 +02:00
parent 078f833da7
commit d157775c20

View File

@ -73,6 +73,14 @@ let _ARM64_CC_LE = 14;;
let _ARM64_CC_AL = 15;;
let _ARM64_CC_NV = 16;;
(* Operand type for instruction's operands *)
let _ARM64_OP_INVALID = 0;;
let _ARM64_OP_REG = 1;;
let _ARM64_OP_CIMM = 2;;
let _ARM64_OP_IMM = 3;;
let _ARM64_OP_FP = 4;;
let _ARM64_OP_MEM = 5;;
(* ARM registers *)
let _ARM64_REG_INVALID = 0;;
let _ARM64_REG_NZCV = 1;;
@ -302,6 +310,13 @@ let _ARM64_REG_X27 = 224;;
let _ARM64_REG_X28 = 225;;
let _ARM64_REG_X29 = 226;;
let _ARM64_REG_X30 = 227;;
let _ARM64_REG_MAX = 228;;
(* alias registers *)
let _ARM64_REG_IP1 = _ARM64_REG_X16;;
let _ARM64_REG_IP0 = _ARM64_REG_X17;;
let _ARM64_REG_FP = _ARM64_REG_X29;;
let _ARM64_REG_LR = _ARM64_REG_X30;;
(* ARM64 instructions *)
let _ARM64_INS_INVALID = 0;;
@ -658,8 +673,104 @@ let _ARM64_INS_USUBW2 = 350;;
let _ARM64_INS_USUBW = 351;;
let _ARM64_INS_UXTB = 352;;
let _ARM64_INS_UXTH = 353;;
let _ARM64_INS_SXTW = 354;;
let _ARM64_INS_SYSL = 355;;
let _ARM64_INS_SYS = 356;;
let _ARM64_INS_TBL = 357;;
let _ARM64_INS_TBNZ = 358;;
let _ARM64_INS_TBX = 359;;
let _ARM64_INS_TBZ = 360;;
let _ARM64_INS_TLBI = 361;;
let _ARM64_INS_TRN1 = 362;;
let _ARM64_INS_TRN2 = 363;;
let _ARM64_INS_TST = 364;;
let _ARM64_INS_UABAL2 = 365;;
let _ARM64_INS_UABAL = 366;;
let _ARM64_INS_UABA = 367;;
let _ARM64_INS_UABDL2 = 368;;
let _ARM64_INS_UABDL = 369;;
let _ARM64_INS_UABD = 370;;
let _ARM64_INS_UADALP = 371;;
let _ARM64_INS_UADDL2 = 372;;
let _ARM64_INS_UADDLP = 373;;
let _ARM64_INS_UADDLV = 374;;
let _ARM64_INS_UADDL = 375;;
let _ARM64_INS_UADDW2 = 376;;
let _ARM64_INS_UADDW = 377;;
let _ARM64_INS_UBFIZ = 378;;
let _ARM64_INS_UBFM = 379;;
let _ARM64_INS_UBFX = 380;;
let _ARM64_INS_UCVTF = 381;;
let _ARM64_INS_UDIV = 382;;
let _ARM64_INS_UHADD = 383;;
let _ARM64_INS_UHSUB = 384;;
let _ARM64_INS_UMADDL = 385;;
let _ARM64_INS_UMAXP = 386;;
let _ARM64_INS_UMAXV = 387;;
let _ARM64_INS_UMAX = 388;;
let _ARM64_INS_UMINP = 389;;
let _ARM64_INS_UMINV = 390;;
let _ARM64_INS_UMIN = 391;;
let _ARM64_INS_UMLAL2 = 392;;
let _ARM64_INS_UMLAL = 393;;
let _ARM64_INS_UMLSL2 = 394;;
let _ARM64_INS_UMLSL = 395;;
let _ARM64_INS_UMOV = 396;;
let _ARM64_INS_UMSUBL = 397;;
let _ARM64_INS_UMULH = 398;;
let _ARM64_INS_UMULL2 = 399;;
let _ARM64_INS_UMULL = 400;;
let _ARM64_INS_UQADD = 401;;
let _ARM64_INS_UQRSHL = 402;;
let _ARM64_INS_UQRSHRN = 403;;
let _ARM64_INS_UQRSHRN2 = 404;;
let _ARM64_INS_UQSHL = 405;;
let _ARM64_INS_UQSHRN = 406;;
let _ARM64_INS_UQSHRN2 = 407;;
let _ARM64_INS_UQSUB = 408;;
let _ARM64_INS_UQXTN = 409;;
let _ARM64_INS_UQXTN2 = 410;;
let _ARM64_INS_URECPE = 411;;
let _ARM64_INS_URHADD = 412;;
let _ARM64_INS_URSHL = 413;;
let _ARM64_INS_URSHR = 414;;
let _ARM64_INS_URSQRTE = 415;;
let _ARM64_INS_URSRA = 416;;
let _ARM64_INS_USHLL2 = 417;;
let _ARM64_INS_USHLL = 418;;
let _ARM64_INS_USHL = 419;;
let _ARM64_INS_USHR = 420;;
let _ARM64_INS_USQADD = 421;;
let _ARM64_INS_USRA = 422;;
let _ARM64_INS_USUBL2 = 423;;
let _ARM64_INS_USUBL = 424;;
let _ARM64_INS_USUBW2 = 425;;
let _ARM64_INS_USUBW = 426;;
let _ARM64_INS_UXTB = 427;;
let _ARM64_INS_UXTH = 428;;
let _ARM64_INS_UZP1 = 429;;
let _ARM64_INS_UZP2 = 430;;
let _ARM64_INS_XTN = 431;;
let _ARM64_INS_XTN2 = 432;;
let _ARM64_INS_ZIP1 = 433;;
let _ARM64_INS_ZIP2 = 434;;
let _ARM64_INS_MNEG = 435;;
let _ARM64_INS_UMNEGL = 436;;
let _ARM64_INS_SMNEGL = 437;;
let _ARM64_INS_MOV = 438;;
let _ARM64_INS_NOP = 439;;
let _ARM64_INS_YIELD = 440;;
let _ARM64_INS_WFE = 441;;
let _ARM64_INS_WFI = 442;;
let _ARM64_INS_SEV = 443;;
let _ARM64_INS_SEVL = 444;;
let _ARM64_INS_NGC = 445;;
let _ARM64_INS_MAX = 446;;
(* ARM64 group of instructions *)
let _ARM64_GRP_INVALID = 0;;
let _ARM64_GRP_NEON = 1;;
let _ARM64_GRP_CRYPTO = 1;;
let _ARM64_GRP_FPARMV8 = 2;;
let _ARM64_GRP_NEON = 3;;
let _ARM64_GRP_JUMP = 4;;
let _ARM64_GRP_MAX = 5;;