Fix registers with vex_name

angr · Dec 1, 2023 · 1035c15 · 1035c15
1 parent 8639bb5
commit 1035c15
Showing 1 changed file with 13 additions and 4 deletions.
diff --git a/pyvex/_register_info.py b/pyvex/_register_info.py
@@ -162,8 +162,8 @@
     ("amd64", "acflag"): 192,
     ("amd64", "id"): 200,
     ("amd64", "idflag"): 200,
-    ("amd64", "fs"): 1054,
-    ("amd64", "fs_const"): 1054,
+    ("amd64", "fs"): 208,
+    ("amd64", "fs_const"): 208,
     ("amd64", "sseround"): 216,
     ("amd64", "cr0"): 768,
     ("amd64", "cr2"): 784,
@@ -269,9 +269,15 @@
     ("amd64", "cmstart"): 1000,
     ("amd64", "cmlen"): 1008,
     ("amd64", "nraddr"): 1016,
-    ("amd64", "gs"): 1056,
-    ("amd64", "gs_const"): 1056,
+    ("amd64", "gs"): 1032,
+    ("amd64", "gs_const"): 1032,
     ("amd64", "ip_at_syscall"): 1040,
+    ("amd64", "cs_seg"): 1048,
+    ("amd64", "ds_seg"): 1050,
+    ("amd64", "es_seg"): 1052,
+    ("amd64", "fs_seg"): 1054,
+    ("amd64", "gs_seg"): 1056,
+    ("amd64", "ss_seg"): 1058,
     ("arm", "r0"): 8,
     ("arm", "a1"): 8,
     ("arm", "r1"): 12,
@@ -305,6 +311,9 @@
     ("arm", "r13"): 60,
     ("arm", "lr"): 64,
     ("arm", "r14"): 64,
+    ("arm", "pc"): 68,
+    ("arm", "r15"): 68,
+    ("arm", "ip"): 68,
     ("arm", "cc_op"): 72,
     ("arm", "cc_dep1"): 76,
     ("arm", "cc_dep2"): 80,