From 34e7a3bb58205358746761e2ae7e334847c36d93 Mon Sep 17 00:00:00 2001 From: gingerBill Date: Mon, 24 Aug 2026 11:02:06 +0100 Subject: [PATCH] Update binary tables --- .../x86/tablegen/generated/encode_tables.odin | 26 +++++++++--------- .../isa/x86/tables/x86.clobber_forms.bin | Bin 39456 -> 39456 bytes 2 files changed, 13 insertions(+), 13 deletions(-) diff --git a/core/rexcode/isa/x86/tablegen/generated/encode_tables.odin b/core/rexcode/isa/x86/tablegen/generated/encode_tables.odin index 420f18e9d..4cb32cb83 100644 --- a/core/rexcode/isa/x86/tablegen/generated/encode_tables.odin +++ b/core/rexcode/isa/x86/tablegen/generated/encode_tables.odin @@ -4603,15 +4603,15 @@ CLOBBER_FORMS := [2466]lib.Clobber{ // .UD2 {side_effects={.TRAP}}, // .CPUID - {implicit_wr={.RAX, .RBX, .RCX, .RDX}, implicit_rd={.RAX, .RCX}, side_effects={.SERIALIZING}}, + {implicit_wr={.RAX, .RBX, .RCX, .RDX}, implicit_rd={.RAX, .RCX}, side_effects={.SERIALIZING, .NONDETERMINISTIC}}, // .RDTSC - {implicit_wr={.RAX, .RDX}}, + {implicit_wr={.RAX, .RDX}, side_effects={.NONDETERMINISTIC}}, // .RDTSCP - {implicit_wr={.RAX, .RCX, .RDX}}, + {implicit_wr={.RAX, .RCX, .RDX}, side_effects={.NONDETERMINISTIC}}, // .RDPMC - {implicit_wr={.RAX, .RDX}, implicit_rd={.RCX}}, + {implicit_wr={.RAX, .RDX}, implicit_rd={.RCX}, side_effects={.NONDETERMINISTIC}}, // .XGETBV - {implicit_wr={.RAX, .RDX}, implicit_rd={.RCX}}, + {implicit_wr={.RAX, .RDX}, implicit_rd={.RCX}, side_effects={.NONDETERMINISTIC}}, // .XSETBV {implicit_rd={.RAX, .RCX, .RDX}}, // .CBW @@ -7159,7 +7159,7 @@ CLOBBER_FORMS := [2466]lib.Clobber{ // .RSM {side_effects={.SERIALIZING, .PRIVILEGED}}, // .RDMSR - {implicit_wr={.RAX, .RDX}, implicit_rd={.RCX}, side_effects={.PRIVILEGED}}, + {implicit_wr={.RAX, .RDX}, implicit_rd={.RCX}, side_effects={.PRIVILEGED, .NONDETERMINISTIC}}, // .WRMSR {implicit_rd={.RAX, .RCX, .RDX}, side_effects={.SERIALIZING, .PRIVILEGED}}, // .VMCALL @@ -7302,13 +7302,13 @@ CLOBBER_FORMS := [2466]lib.Clobber{ {written={0}, read={1}, writes_mem=true, reads_mem=true}, {written={0}, read={1}, writes_mem=true, reads_mem=true}, // .RDRAND - {written={0}, flags_wr={.CF, .PF, .AF, .ZF, .SF, .OF}}, - {written={0}, flags_wr={.CF, .PF, .AF, .ZF, .SF, .OF}}, - {written={0}, flags_wr={.CF, .PF, .AF, .ZF, .SF, .OF}}, + {written={0}, flags_wr={.CF, .PF, .AF, .ZF, .SF, .OF}, side_effects={.NONDETERMINISTIC}}, + {written={0}, flags_wr={.CF, .PF, .AF, .ZF, .SF, .OF}, side_effects={.NONDETERMINISTIC}}, + {written={0}, flags_wr={.CF, .PF, .AF, .ZF, .SF, .OF}, side_effects={.NONDETERMINISTIC}}, // .RDSEED - {written={0}, flags_wr={.CF, .PF, .AF, .ZF, .SF, .OF}}, - {written={0}, flags_wr={.CF, .PF, .AF, .ZF, .SF, .OF}}, - {written={0}, flags_wr={.CF, .PF, .AF, .ZF, .SF, .OF}}, + {written={0}, flags_wr={.CF, .PF, .AF, .ZF, .SF, .OF}, side_effects={.NONDETERMINISTIC}}, + {written={0}, flags_wr={.CF, .PF, .AF, .ZF, .SF, .OF}, side_effects={.NONDETERMINISTIC}}, + {written={0}, flags_wr={.CF, .PF, .AF, .ZF, .SF, .OF}, side_effects={.NONDETERMINISTIC}}, // .SWAPGS {side_effects={.PRIVILEGED}}, // .MONITOR @@ -7335,7 +7335,7 @@ CLOBBER_FORMS := [2466]lib.Clobber{ {read={0}, reads_mem=true}, {read={0}, reads_mem=true}, // .RDPID - {written={0}}, + {written={0}, side_effects={.NONDETERMINISTIC}}, // .WBNOINVD {side_effects={.SERIALIZING, .PRIVILEGED}}, // .SERIALIZE diff --git a/core/rexcode/isa/x86/tables/x86.clobber_forms.bin b/core/rexcode/isa/x86/tables/x86.clobber_forms.bin index 820ee9a2f696777d3c21585ab1116962b3351c6a..c769f15532c6903d9a3f52530a221c011a0e9b6a 100644 GIT binary patch delta 179 zcmZ3mg=xVSrVabG99b9`I2n)t3j+f$5|;ri&w>!a;BV4ipUTLxdBcSJEP*VHV1@Qz Wl7WGNV*ca@Q~xuvY<@7!ff)dz6A-un delta 164 zcmZ3mg=xVSrVabG3>X*~I2lj@FDjRTlYs>xGWq{Z(akK{t5X>nHgA}4pT&cL5iDsB bCP4(5{K