mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-12-13 20:32:21 +00:00
another typo
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@81243 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
parent
a5e225ec19
commit
8e371aa7b6
@ -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
|
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
|
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
|
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
|
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: since the undefined operation "can't happen", the optimizer can assume that
|
||||||
it occurs in dead code.
|
it occurs in dead code.
|
||||||
|
Loading…
Reference in New Issue
Block a user