Add blurb about WebCL Validator.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/branches/release_34@195373 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/docs/ReleaseNotes.rst b/docs/ReleaseNotes.rst
index fea976c30147830b7ddebfd8def8b4c87484685d..474ce6249c61bc1cecb122e490283f3f4d78d3d8 100644 (file)
--- a/docs/ReleaseNotes.rst
+++ b/docs/ReleaseNotes.rst
@@ -149,6 +149,18 @@ image processing and statistical learning kernels must be written generically
 to handle any matrix datatype, at runtime they tend to be executed repeatedly
 on the same type.
 
+WebCL Validator
+---------------
+
+`WebCL Validator <https://github.com/KhronosGroup/webcl-validator>`_ implements
+validation for WebCL C language which is a subset of OpenCL ES 1.1. Validator
+checks the correctness of WebCL C, and implements memory protection for it as a
+source-2-source transformation. The transformation converts WebCL to memory
+protected OpenCL. The protected OpenCL cannot access any memory ranges which
+were not allocated for it, and its memory is always initialized to prevent
+information leakage from other programs.
+
+
 Additional Information
 ======================