($2->get()))
From lattner at cs.uiuc.edu Mon Sep 8 13:29:02 2003
From: lattner at cs.uiuc.edu (Chris Lattner)
Date: Mon Sep 8 13:29:02 2003
Subject: [llvm-commits] CVS: llvm/www/docs/LangRef.html
Message-ID: <200309081828.NAA10212@tank.cs.uiuc.edu>
Changes in directory llvm/www/docs:
LangRef.html updated: 1.30 -> 1.31
---
Log message:
Add info about volatile loads/stores
---
Diffs of the changes:
Index: llvm/www/docs/LangRef.html
diff -u llvm/www/docs/LangRef.html:1.30 llvm/www/docs/LangRef.html:1.31
--- llvm/www/docs/LangRef.html:1.30 Tue Sep 2 23:20:13 2003
+++ llvm/www/docs/LangRef.html Mon Sep 8 13:27:49 2003
@@ -1405,6 +1405,7 @@
Syntax:
<result> = load <ty>* <pointer>
+ <result> = volatile load <ty>* <pointer>
Overview:
@@ -1412,7 +1413,12 @@
Arguments:
-The argument to the 'load' instruction specifies the memory address to load from. The pointer must point to a first class type.
+The argument to the 'load' instruction specifies the memory address to
+load from. The pointer must point to a first class
+type. If the load is marked as volatile then the optimizer is
+not allowed to modify the number or order of execution of this load
+with other volatile load and store
+instructions.
Semantics:
@@ -1434,6 +1440,7 @@
Syntax:
store <ty> <value>, <ty>* <pointer> ; yields {void}
+ volatile store <ty> <value>, <ty>* <pointer> ; yields {void}
Overview:
@@ -1443,8 +1450,11 @@
There are two arguments to the 'store' instruction: a value to store
and an address to store it into. The type of the '<pointer>'
-operand must be a pointer to the type of the '<value>'
-operand.
+operand must be a pointer to the type of the '<value>' operand.
+If the store is marked as volatile then the optimizer is not
+allowed to modify the number or order of execution of this store with
+other volatile load and store
+instructions.
Semantics:
The contents of memory are updated to contain
'<value>' at the location specified by the
@@ -1895,7 +1905,7 @@
Chris Lattner
-Last modified: Tue Sep 2 19:41:01 CDT 2003
+Last modified: Mon Sep 8 13:27:14 CDT 2003