commit 997b71322edf7dfaac714bc7859ae592daf7f711
author Juneyoung Lee <aqjune@gmail.com> Fri Apr 16 10:40:53 2021 +0900
committer Copybara-Service <copybara-worker@google.com> Fri Apr 16 13:05:01 2021 -0700
tree 136b594cc4da0ccb164d8a7f36a21297d966784a
parent b330887c3bbce68fd20e387c9bccfc321a82f240

[LangRef] formatting

GitOrigin-RevId: 085423282de993e2ad3bbc5f673edd61db6e19fe

docs/LangRef.rst

diff --git a/docs/LangRef.rst b/docs/LangRef.rst
index 3d483d0..628f23e 100644
--- a/docs/LangRef.rst
+++ b/docs/LangRef.rst
@@ -2680,8 +2680,8 @@
 hold:
 
 1. The call stores any bit of the pointer carrying information into a place,
-and the stored bits can be read from the place by the caller after this call
-exits.
+   and the stored bits can be read from the place by the caller after this call
+   exits.
 
 .. code-block:: llvm
 
@@ -2708,8 +2708,8 @@
     }
 
 2. The call stores any bit of the pointer carrying information into a place,
-and the stored bits can be safely read from the place by another thread via
-synchronization.
+   and the stored bits can be safely read from the place by another thread via
+   synchronization.
 
 .. code-block:: llvm
 
@@ -2726,12 +2726,13 @@
 
 .. code-block:: llvm
 
-    @glb  = global i8 0
+    @glb = global i8 0
+
     define void @f(i8* %a) {
       %c = icmp eq i8* %a, @glb
-      br i1 %c, BB_EXIT, BB_CONTINUE ; escapes %a
+      br i1 %c, label %BB_EXIT, label %BB_CONTINUE ; escapes %a
     BB_EXIT:
-      call void exit()
+      call void @exit()
       unreachable
     BB_CONTINUE:
       ret void