Add missing flagc from RFLAGS

FLAGC is the lower bit of the I/O Permission Level field.
dyninst · Nov 21, 2023 · 53625db · 53625db
1 parent fdd2d76
commit 53625db
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 0 deletions.
diff --git a/common/h/registers/x86_64_regs.h b/common/h/registers/x86_64_regs.h
@@ -129,6 +129,7 @@ namespace Dyninst { namespace x86_64 {
   const signed int IF    = x86::IF;    // Interrupt Enable Flag
   const signed int DF    = x86::DF;    // Direction Flag
   const signed int OF    = x86::OF;    // Overflow Flag
+  const signed int FLAGC = x86::FLAGC; // I/O Privilege Level (bits 12 and 13)
   const signed int NT    = x86::NT;    // Nested Task
   const signed int RF    = x86::RF;    // Resume Flag
 
@@ -216,6 +217,7 @@ namespace Dyninst { namespace x86_64 {
   DEF_REGISTER(       if_,     IF |   BIT |  FLAG | Arch_x86_64, "x86_64");
   DEF_REGISTER(        df,     DF |   BIT |  FLAG | Arch_x86_64, "x86_64");
   DEF_REGISTER(        of,     OF |   BIT |  FLAG | Arch_x86_64, "x86_64");
+  DEF_REGISTER(     flagc,  FLAGC |   BIT |  FLAG | Arch_x86_64, "x86_64");
   DEF_REGISTER(       nt_,     NT |   BIT |  FLAG | Arch_x86_64, "x86_64");
   DEF_REGISTER(        rf,     RF |   BIT |  FLAG | Arch_x86_64, "x86_64");
   DEF_REGISTER(        ds, BASEDS |  FULL |   SEG | Arch_x86_64, "x86_64");

diff --git a/common/src/registers/MachRegister.C b/common/src/registers/MachRegister.C
@@ -809,6 +809,7 @@ namespace Dyninst {
               case x86_64::IF: n = x86_flag_if; break;
               case x86_64::DF: n = x86_flag_df; break;
               case x86_64::OF: n = x86_flag_of; break;
+              case x86_64::FLAGC: n = x86_flag_iopl0; break;
               default:
                 c = -1;
                 return;

diff --git a/dataflowAPI/src/SymEvalPolicy.C b/dataflowAPI/src/SymEvalPolicy.C
@@ -474,6 +474,8 @@ Absloc SymEvalPolicy_64::convert(X86Flag f)
          return Absloc(x86_64::df);
       case x86_flag_of:
          return Absloc(x86_64::of);
+      case x86_flag_iopl0:
+         return Absloc(x86_64::FLAGC);
       case x86_flag_nt:
          return Absloc(x86_64::nt_);
       default: