diff options
| author | Chris Lattner <sabre@nondot.org> | 2009-09-08 19:45:34 +0000 |
|---|---|---|
| committer | Chris Lattner <sabre@nondot.org> | 2009-09-08 19:45:34 +0000 |
| commit | 83d45d7286b38453c8182486393dabde6f28c574 (patch) | |
| tree | 131f3c12906de5fff52ca492f937d448914d1883 /docs/LangRef.html | |
| parent | e951acadc8f81264295608f02ea3f7dcbb0e3846 (diff) | |
| download | external_llvm-83d45d7286b38453c8182486393dabde6f28c574.zip external_llvm-83d45d7286b38453c8182486393dabde6f28c574.tar.gz external_llvm-83d45d7286b38453c8182486393dabde6f28c574.tar.bz2 | |
another typo
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@81243 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'docs/LangRef.html')
| -rw-r--r-- | docs/LangRef.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/LangRef.html b/docs/LangRef.html index b0bb562..b3e5813 100644 --- a/docs/LangRef.html +++ b/docs/LangRef.html @@ -2136,7 +2136,7 @@ can be constant folded to undef because the undef could be an SNaN, and fdiv is not (currently) defined on SNaN's. However, in the second example, we can make a more aggressive assumption: because the undef is allowed to be an arbitrary value, we are allowed to assume that it could be zero. Since a divide by zero -it has <em>undefined behavior</em>, we are allowed to assume that the operation +has <em>undefined behavior</em>, we are allowed to assume that the operation does not execute at all. This allows us to delete the divide and all code after it: since the undefined operation "can't happen", the optimizer can assume that it occurs in dead code. |