diff --git a/docs/LangRef.html b/docs/LangRef.html index 29ac260fd0e..9019cb173d1 100644 --- a/docs/LangRef.html +++ b/docs/LangRef.html @@ -3081,36 +3081,44 @@ call void @llvm.dbg.value(metadata !24, i64 0, metadata !25) 1 -
Error
-
Emits an error if two values disagree. It is an error to have an ID - with both an Error and a Warning behavior.
+
+
Error
+
Emits an error if two values disagree. It is an error to have an ID + with both an Error and a Warning behavior.
+
2 -
Warning
-
Emits a warning if two values disagree.
+
+
Warning
+
Emits a warning if two values disagree.
+
3 -
Require
-
Emits an error when the specified value is not present or doesn't - have the specified value. It is an error for two (or more) - llvm.module.flags with the same ID to have the Require - behavior but different values. There may be multiple Require flags - per ID.
+
+
Require
+
Emits an error when the specified value is not present or doesn't + have the specified value. It is an error for two (or more) + llvm.module.flags with the same ID to have the Require + behavior but different values. There may be multiple Require flags + per ID.
+
4 -
Override
-
Uses the specified value if the two values disagree. It is an error - for two (or more) llvm.module.flags with the same ID to - have the Override behavior but different values.
+
+
Override
+
Uses the specified value if the two values disagree. It is an + error for two (or more) llvm.module.flags with the same + ID to have the Override behavior but different values.
+
@@ -3176,7 +3184,7 @@ metadata !{ metadata !"foo", i32 1 } - +
KeyKey Value