diff --git a/mlir/include/mlir/IR/Value.h b/mlir/include/mlir/IR/Value.h
--- a/mlir/include/mlir/IR/Value.h
+++ b/mlir/include/mlir/IR/Value.h
@@ -94,25 +94,15 @@
 public:
   constexpr Value(detail::ValueImpl *impl = nullptr) : impl(impl) {}
 
-  template <typename U>
-  bool isa() const {
-    return llvm::isa<U>(*this);
-  }
+  template <typename U> bool isa() const { return llvm::isa<U>(*this); }
 
-  template <typename U>
-  U dyn_cast() const {
-    return llvm::dyn_cast<U>(*this);
-  }
+  template <typename U> U dyn_cast() const { return llvm::dyn_cast<U>(*this); }
 
-  template <typename U>
-  U dyn_cast_or_null() const {
+  template <typename U> U dyn_cast_or_null() const {
     return llvm::dyn_cast_if_present<U>(*this);
   }
 
-  template <typename U>
-  U cast() const {
-    return llvm::cast<U>(*this);
-  }
+  template <typename U> U cast() const { return llvm::cast<U>(*this); }
 
   explicit operator bool() const { return impl; }
   bool operator==(const Value &other) const { return impl == other.impl; }
@@ -138,8 +128,7 @@
 
   /// If this value is the result of an operation of type OpTy, return the
   /// operation that defines it.
-  template <typename OpTy>
-  OpTy getDefiningOp() const {
+  template <typename OpTy> OpTy getDefiningOp() const {
     return llvm::dyn_cast_or_null<OpTy>(getDefiningOp());
   }
 
@@ -529,10 +518,21 @@
     return reinterpret_cast<mlir::detail::OpResultImpl *>(pointer);
   }
 };
+template <typename T>
+struct DenseMapInfo<mlir::detail::TypedValue<T>>
+    : public DenseMapInfo<mlir::Value> {
+  static mlir::detail::TypedValue<T> getEmptyKey() {
+    void *pointer = llvm::DenseMapInfo<void *>::getEmptyKey();
+    return reinterpret_cast<mlir::detail::ValueImpl *>(pointer);
+  }
+  static mlir::detail::TypedValue<T> getTombstoneKey() {
+    void *pointer = llvm::DenseMapInfo<void *>::getTombstoneKey();
+    return reinterpret_cast<mlir::detail::ValueImpl *>(pointer);
+  }
+};
 
 /// Allow stealing the low bits of a value.
-template <>
-struct PointerLikeTypeTraits<mlir::Value> {
+template <> struct PointerLikeTypeTraits<mlir::Value> {
 public:
   static inline void *getAsVoidPointer(mlir::Value value) {
     return const_cast<void *>(value.getAsOpaquePointer());
@@ -561,6 +561,14 @@
     return reinterpret_cast<mlir::detail::OpResultImpl *>(pointer);
   }
 };
+template <typename T>
+struct PointerLikeTypeTraits<mlir::detail::TypedValue<T>>
+    : public PointerLikeTypeTraits<mlir::Value> {
+public:
+  static inline mlir::detail::TypedValue<T> getFromVoidPointer(void *pointer) {
+    return reinterpret_cast<mlir::detail::ValueImpl *>(pointer);
+  }
+};
 
 /// Add support for llvm style casts. We provide a cast between To and From if
 /// From is mlir::Value or derives from it.