diff --git a/dhscanner-bitcode.cabal b/dhscanner-bitcode.cabal
--- a/dhscanner-bitcode.cabal
+++ b/dhscanner-bitcode.cabal
@@ -20,7 +20,7 @@
     in mind. The commands resemble an abstract RISC-style assembley, motivated by keeping
     later-phases analyses as simple as possible.
 
-version:            1.0.17
+version:            1.1.0
 license:            GPL-3.0-only
 license-file:       LICENSE
 author:             OrenGitHub
diff --git a/src/Bitcode.hs b/src/Bitcode.hs
--- a/src/Bitcode.hs
+++ b/src/Bitcode.hs
@@ -165,12 +165,24 @@
      }
      deriving ( Show, Eq, Generic, ToJSON, FromJSON, Ord )
 
+-- | Coarse operator classification for 'BinopContent'. Only equality
+-- variants are distinguished; everything else collapses to 'OtherOp' so
+-- downstream analyses ( e.g. @kb_comparison@ in @dhscanner-kbgen@ ) can
+-- pick out gated-return-on-comparison patterns without carrying the full
+-- 'Ast.Operator' surface into the bitcode layer.
+data BinopOp
+   = EqOp
+   | NeqOp
+   | OtherOp
+   deriving ( Show, Eq, Ord, Generic, ToJSON, FromJSON )
+
 data BinopContent
    = BinopContent
      {
          binopOutput :: Variable,
          binopLhs :: Value,
-         binopRhs :: Value
+         binopRhs :: Value,
+         binopOperator :: BinopOp
      }
      deriving ( Show, Eq, Generic, ToJSON, FromJSON, Ord )