^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1) #!/bin/awk -f
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 2) # SPDX-License-Identifier: GPL-2.0
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 3) # gen-insn-attr-x86.awk: Instruction attribute table generator
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 4) # Written by Masami Hiramatsu <mhiramat@redhat.com>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 5) #
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 6) # Usage: awk -f gen-insn-attr-x86.awk x86-opcode-map.txt > inat-tables.c
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 7)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 8) # Awk implementation sanity check
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 9) function check_awk_implement() {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 10) if (sprintf("%x", 0) != "0")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 11) return "Your awk has a printf-format problem."
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 12) return ""
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 13) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 14)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 15) # Clear working vars
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 16) function clear_vars() {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 17) delete table
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 18) delete lptable2
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 19) delete lptable1
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 20) delete lptable3
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 21) eid = -1 # escape id
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 22) gid = -1 # group id
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 23) aid = -1 # AVX id
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 24) tname = ""
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 25) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 26)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 27) BEGIN {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 28) # Implementation error checking
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 29) awkchecked = check_awk_implement()
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 30) if (awkchecked != "") {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 31) print "Error: " awkchecked > "/dev/stderr"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 32) print "Please try to use gawk." > "/dev/stderr"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 33) exit 1
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 34) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 35)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 36) # Setup generating tables
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 37) print "/* x86 opcode map generated from x86-opcode-map.txt */"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 38) print "/* Do not change this code. */\n"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 39) ggid = 1
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 40) geid = 1
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 41) gaid = 0
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 42) delete etable
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 43) delete gtable
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 44) delete atable
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 45)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 46) opnd_expr = "^[A-Za-z/]"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 47) ext_expr = "^\\("
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 48) sep_expr = "^\\|$"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 49) group_expr = "^Grp[0-9A-Za-z]+"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 50)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 51) imm_expr = "^[IJAOL][a-z]"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 52) imm_flag["Ib"] = "INAT_MAKE_IMM(INAT_IMM_BYTE)"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 53) imm_flag["Jb"] = "INAT_MAKE_IMM(INAT_IMM_BYTE)"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 54) imm_flag["Iw"] = "INAT_MAKE_IMM(INAT_IMM_WORD)"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 55) imm_flag["Id"] = "INAT_MAKE_IMM(INAT_IMM_DWORD)"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 56) imm_flag["Iq"] = "INAT_MAKE_IMM(INAT_IMM_QWORD)"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 57) imm_flag["Ap"] = "INAT_MAKE_IMM(INAT_IMM_PTR)"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 58) imm_flag["Iz"] = "INAT_MAKE_IMM(INAT_IMM_VWORD32)"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 59) imm_flag["Jz"] = "INAT_MAKE_IMM(INAT_IMM_VWORD32)"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 60) imm_flag["Iv"] = "INAT_MAKE_IMM(INAT_IMM_VWORD)"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 61) imm_flag["Ob"] = "INAT_MOFFSET"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 62) imm_flag["Ov"] = "INAT_MOFFSET"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 63) imm_flag["Lx"] = "INAT_MAKE_IMM(INAT_IMM_BYTE)"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 64)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 65) modrm_expr = "^([CDEGMNPQRSUVW/][a-z]+|NTA|T[012])"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 66) force64_expr = "\\([df]64\\)"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 67) rex_expr = "^REX(\\.[XRWB]+)*"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 68) fpu_expr = "^ESC" # TODO
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 69)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 70) lprefix1_expr = "\\((66|!F3)\\)"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 71) lprefix2_expr = "\\(F3\\)"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 72) lprefix3_expr = "\\((F2|!F3|66&F2)\\)"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 73) lprefix_expr = "\\((66|F2|F3)\\)"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 74) max_lprefix = 4
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 75)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 76) # All opcodes starting with lower-case 'v', 'k' or with (v1) superscript
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 77) # accepts VEX prefix
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 78) vexok_opcode_expr = "^[vk].*"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 79) vexok_expr = "\\(v1\\)"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 80) # All opcodes with (v) superscript supports *only* VEX prefix
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 81) vexonly_expr = "\\(v\\)"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 82) # All opcodes with (ev) superscript supports *only* EVEX prefix
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 83) evexonly_expr = "\\(ev\\)"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 84)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 85) prefix_expr = "\\(Prefix\\)"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 86) prefix_num["Operand-Size"] = "INAT_PFX_OPNDSZ"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 87) prefix_num["REPNE"] = "INAT_PFX_REPNE"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 88) prefix_num["REP/REPE"] = "INAT_PFX_REPE"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 89) prefix_num["XACQUIRE"] = "INAT_PFX_REPNE"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 90) prefix_num["XRELEASE"] = "INAT_PFX_REPE"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 91) prefix_num["LOCK"] = "INAT_PFX_LOCK"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 92) prefix_num["SEG=CS"] = "INAT_PFX_CS"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 93) prefix_num["SEG=DS"] = "INAT_PFX_DS"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 94) prefix_num["SEG=ES"] = "INAT_PFX_ES"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 95) prefix_num["SEG=FS"] = "INAT_PFX_FS"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 96) prefix_num["SEG=GS"] = "INAT_PFX_GS"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 97) prefix_num["SEG=SS"] = "INAT_PFX_SS"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 98) prefix_num["Address-Size"] = "INAT_PFX_ADDRSZ"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 99) prefix_num["VEX+1byte"] = "INAT_PFX_VEX2"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 100) prefix_num["VEX+2byte"] = "INAT_PFX_VEX3"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 101) prefix_num["EVEX"] = "INAT_PFX_EVEX"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 102)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 103) clear_vars()
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 104) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 105)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 106) function semantic_error(msg) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 107) print "Semantic error at " NR ": " msg > "/dev/stderr"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 108) exit 1
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 109) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 110)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 111) function debug(msg) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 112) print "DEBUG: " msg
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 113) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 114)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 115) function array_size(arr, i,c) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 116) c = 0
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 117) for (i in arr)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 118) c++
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 119) return c
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 120) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 121)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 122) /^Table:/ {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 123) print "/* " $0 " */"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 124) if (tname != "")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 125) semantic_error("Hit Table: before EndTable:.");
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 126) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 127)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 128) /^Referrer:/ {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 129) if (NF != 1) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 130) # escape opcode table
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 131) ref = ""
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 132) for (i = 2; i <= NF; i++)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 133) ref = ref $i
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 134) eid = escape[ref]
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 135) tname = sprintf("inat_escape_table_%d", eid)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 136) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 137) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 138)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 139) /^AVXcode:/ {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 140) if (NF != 1) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 141) # AVX/escape opcode table
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 142) aid = $2
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 143) if (gaid <= aid)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 144) gaid = aid + 1
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 145) if (tname == "") # AVX only opcode table
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 146) tname = sprintf("inat_avx_table_%d", $2)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 147) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 148) if (aid == -1 && eid == -1) # primary opcode table
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 149) tname = "inat_primary_table"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 150) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 151)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 152) /^GrpTable:/ {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 153) print "/* " $0 " */"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 154) if (!($2 in group))
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 155) semantic_error("No group: " $2 )
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 156) gid = group[$2]
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 157) tname = "inat_group_table_" gid
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 158) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 159)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 160) function print_table(tbl,name,fmt,n)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 161) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 162) print "const insn_attr_t " name " = {"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 163) for (i = 0; i < n; i++) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 164) id = sprintf(fmt, i)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 165) if (tbl[id])
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 166) print " [" id "] = " tbl[id] ","
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 167) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 168) print "};"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 169) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 170)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 171) /^EndTable/ {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 172) if (gid != -1) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 173) # print group tables
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 174) if (array_size(table) != 0) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 175) print_table(table, tname "[INAT_GROUP_TABLE_SIZE]",
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 176) "0x%x", 8)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 177) gtable[gid,0] = tname
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 178) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 179) if (array_size(lptable1) != 0) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 180) print_table(lptable1, tname "_1[INAT_GROUP_TABLE_SIZE]",
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 181) "0x%x", 8)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 182) gtable[gid,1] = tname "_1"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 183) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 184) if (array_size(lptable2) != 0) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 185) print_table(lptable2, tname "_2[INAT_GROUP_TABLE_SIZE]",
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 186) "0x%x", 8)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 187) gtable[gid,2] = tname "_2"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 188) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 189) if (array_size(lptable3) != 0) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 190) print_table(lptable3, tname "_3[INAT_GROUP_TABLE_SIZE]",
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 191) "0x%x", 8)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 192) gtable[gid,3] = tname "_3"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 193) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 194) } else {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 195) # print primary/escaped tables
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 196) if (array_size(table) != 0) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 197) print_table(table, tname "[INAT_OPCODE_TABLE_SIZE]",
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 198) "0x%02x", 256)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 199) etable[eid,0] = tname
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 200) if (aid >= 0)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 201) atable[aid,0] = tname
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 202) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 203) if (array_size(lptable1) != 0) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 204) print_table(lptable1,tname "_1[INAT_OPCODE_TABLE_SIZE]",
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 205) "0x%02x", 256)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 206) etable[eid,1] = tname "_1"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 207) if (aid >= 0)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 208) atable[aid,1] = tname "_1"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 209) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 210) if (array_size(lptable2) != 0) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 211) print_table(lptable2,tname "_2[INAT_OPCODE_TABLE_SIZE]",
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 212) "0x%02x", 256)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 213) etable[eid,2] = tname "_2"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 214) if (aid >= 0)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 215) atable[aid,2] = tname "_2"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 216) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 217) if (array_size(lptable3) != 0) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 218) print_table(lptable3,tname "_3[INAT_OPCODE_TABLE_SIZE]",
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 219) "0x%02x", 256)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 220) etable[eid,3] = tname "_3"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 221) if (aid >= 0)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 222) atable[aid,3] = tname "_3"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 223) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 224) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 225) print ""
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 226) clear_vars()
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 227) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 228)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 229) function add_flags(old,new) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 230) if (old && new)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 231) return old " | " new
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 232) else if (old)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 233) return old
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 234) else
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 235) return new
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 236) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 237)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 238) # convert operands to flags.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 239) function convert_operands(count,opnd, i,j,imm,mod)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 240) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 241) imm = null
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 242) mod = null
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 243) for (j = 1; j <= count; j++) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 244) i = opnd[j]
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 245) if (match(i, imm_expr) == 1) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 246) if (!imm_flag[i])
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 247) semantic_error("Unknown imm opnd: " i)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 248) if (imm) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 249) if (i != "Ib")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 250) semantic_error("Second IMM error")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 251) imm = add_flags(imm, "INAT_SCNDIMM")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 252) } else
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 253) imm = imm_flag[i]
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 254) } else if (match(i, modrm_expr))
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 255) mod = "INAT_MODRM"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 256) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 257) return add_flags(imm, mod)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 258) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 259)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 260) /^[0-9a-f]+:/ {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 261) if (NR == 1)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 262) next
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 263) # get index
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 264) idx = "0x" substr($1, 1, index($1,":") - 1)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 265) if (idx in table)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 266) semantic_error("Redefine " idx " in " tname)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 267)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 268) # check if escaped opcode
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 269) if ("escape" == $2) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 270) if ($3 != "#")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 271) semantic_error("No escaped name")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 272) ref = ""
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 273) for (i = 4; i <= NF; i++)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 274) ref = ref $i
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 275) if (ref in escape)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 276) semantic_error("Redefine escape (" ref ")")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 277) escape[ref] = geid
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 278) geid++
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 279) table[idx] = "INAT_MAKE_ESCAPE(" escape[ref] ")"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 280) next
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 281) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 282)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 283) variant = null
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 284) # converts
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 285) i = 2
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 286) while (i <= NF) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 287) opcode = $(i++)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 288) delete opnds
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 289) ext = null
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 290) flags = null
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 291) opnd = null
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 292) # parse one opcode
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 293) if (match($i, opnd_expr)) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 294) opnd = $i
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 295) count = split($(i++), opnds, ",")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 296) flags = convert_operands(count, opnds)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 297) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 298) if (match($i, ext_expr))
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 299) ext = $(i++)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 300) if (match($i, sep_expr))
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 301) i++
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 302) else if (i < NF)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 303) semantic_error($i " is not a separator")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 304)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 305) # check if group opcode
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 306) if (match(opcode, group_expr)) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 307) if (!(opcode in group)) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 308) group[opcode] = ggid
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 309) ggid++
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 310) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 311) flags = add_flags(flags, "INAT_MAKE_GROUP(" group[opcode] ")")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 312) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 313) # check force(or default) 64bit
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 314) if (match(ext, force64_expr))
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 315) flags = add_flags(flags, "INAT_FORCE64")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 316)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 317) # check REX prefix
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 318) if (match(opcode, rex_expr))
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 319) flags = add_flags(flags, "INAT_MAKE_PREFIX(INAT_PFX_REX)")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 320)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 321) # check coprocessor escape : TODO
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 322) if (match(opcode, fpu_expr))
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 323) flags = add_flags(flags, "INAT_MODRM")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 324)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 325) # check VEX codes
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 326) if (match(ext, evexonly_expr))
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 327) flags = add_flags(flags, "INAT_VEXOK | INAT_EVEXONLY")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 328) else if (match(ext, vexonly_expr))
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 329) flags = add_flags(flags, "INAT_VEXOK | INAT_VEXONLY")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 330) else if (match(ext, vexok_expr) || match(opcode, vexok_opcode_expr))
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 331) flags = add_flags(flags, "INAT_VEXOK")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 332)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 333) # check prefixes
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 334) if (match(ext, prefix_expr)) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 335) if (!prefix_num[opcode])
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 336) semantic_error("Unknown prefix: " opcode)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 337) flags = add_flags(flags, "INAT_MAKE_PREFIX(" prefix_num[opcode] ")")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 338) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 339) if (length(flags) == 0)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 340) continue
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 341) # check if last prefix
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 342) if (match(ext, lprefix1_expr)) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 343) lptable1[idx] = add_flags(lptable1[idx],flags)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 344) variant = "INAT_VARIANT"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 345) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 346) if (match(ext, lprefix2_expr)) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 347) lptable2[idx] = add_flags(lptable2[idx],flags)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 348) variant = "INAT_VARIANT"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 349) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 350) if (match(ext, lprefix3_expr)) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 351) lptable3[idx] = add_flags(lptable3[idx],flags)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 352) variant = "INAT_VARIANT"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 353) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 354) if (!match(ext, lprefix_expr)){
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 355) table[idx] = add_flags(table[idx],flags)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 356) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 357) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 358) if (variant)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 359) table[idx] = add_flags(table[idx],variant)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 360) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 361)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 362) END {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 363) if (awkchecked != "")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 364) exit 1
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 365)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 366) print "#ifndef __BOOT_COMPRESSED\n"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 367)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 368) # print escape opcode map's array
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 369) print "/* Escape opcode map array */"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 370) print "const insn_attr_t * const inat_escape_tables[INAT_ESC_MAX + 1]" \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 371) "[INAT_LSTPFX_MAX + 1] = {"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 372) for (i = 0; i < geid; i++)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 373) for (j = 0; j < max_lprefix; j++)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 374) if (etable[i,j])
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 375) print " ["i"]["j"] = "etable[i,j]","
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 376) print "};\n"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 377) # print group opcode map's array
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 378) print "/* Group opcode map array */"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 379) print "const insn_attr_t * const inat_group_tables[INAT_GRP_MAX + 1]"\
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 380) "[INAT_LSTPFX_MAX + 1] = {"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 381) for (i = 0; i < ggid; i++)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 382) for (j = 0; j < max_lprefix; j++)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 383) if (gtable[i,j])
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 384) print " ["i"]["j"] = "gtable[i,j]","
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 385) print "};\n"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 386) # print AVX opcode map's array
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 387) print "/* AVX opcode map array */"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 388) print "const insn_attr_t * const inat_avx_tables[X86_VEX_M_MAX + 1]"\
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 389) "[INAT_LSTPFX_MAX + 1] = {"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 390) for (i = 0; i < gaid; i++)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 391) for (j = 0; j < max_lprefix; j++)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 392) if (atable[i,j])
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 393) print " ["i"]["j"] = "atable[i,j]","
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 394) print "};\n"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 395)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 396) print "#else /* !__BOOT_COMPRESSED */\n"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 397)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 398) print "/* Escape opcode map array */"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 399) print "static const insn_attr_t *inat_escape_tables[INAT_ESC_MAX + 1]" \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 400) "[INAT_LSTPFX_MAX + 1];"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 401) print ""
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 402)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 403) print "/* Group opcode map array */"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 404) print "static const insn_attr_t *inat_group_tables[INAT_GRP_MAX + 1]"\
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 405) "[INAT_LSTPFX_MAX + 1];"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 406) print ""
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 407)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 408) print "/* AVX opcode map array */"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 409) print "static const insn_attr_t *inat_avx_tables[X86_VEX_M_MAX + 1]"\
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 410) "[INAT_LSTPFX_MAX + 1];"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 411) print ""
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 412)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 413) print "static void inat_init_tables(void)"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 414) print "{"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 415)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 416) # print escape opcode map's array
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 417) print "\t/* Print Escape opcode map array */"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 418) for (i = 0; i < geid; i++)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 419) for (j = 0; j < max_lprefix; j++)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 420) if (etable[i,j])
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 421) print "\tinat_escape_tables["i"]["j"] = "etable[i,j]";"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 422) print ""
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 423)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 424) # print group opcode map's array
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 425) print "\t/* Print Group opcode map array */"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 426) for (i = 0; i < ggid; i++)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 427) for (j = 0; j < max_lprefix; j++)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 428) if (gtable[i,j])
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 429) print "\tinat_group_tables["i"]["j"] = "gtable[i,j]";"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 430) print ""
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 431) # print AVX opcode map's array
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 432) print "\t/* Print AVX opcode map array */"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 433) for (i = 0; i < gaid; i++)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 434) for (j = 0; j < max_lprefix; j++)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 435) if (atable[i,j])
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 436) print "\tinat_avx_tables["i"]["j"] = "atable[i,j]";"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 437)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 438) print "}"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 439) print "#endif"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 440) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 441)