Skip to content

Commit ca65055

Browse files
authored
Remove mention of conditional branches in undefined values section. (#122980)
This statement is somewhat confusing when paired with the later statement that says "Branching on an undefined value is undefined behavior". Furthermore, this example does not show any conditional branches, so this comment seems to be outdated. See issue #122532 for more details.
1 parent f7d8336 commit ca65055

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

llvm/docs/LangRef.rst

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -4776,8 +4776,8 @@ allowing the '``or``' to be folded to -1.
47764776
%B = undef
47774777
%C = undef
47784778

4779-
This set of examples shows that undefined '``select``' (and conditional
4780-
branch) conditions can go *either way*, but they have to come from one
4779+
This set of examples shows that undefined '``select``'
4780+
conditions can go *either way*, but they have to come from one
47814781
of the two operands. In the ``%A`` example, if ``%X`` and ``%Y`` were
47824782
both known to have a clear low bit, then ``%A`` would have to have a
47834783
cleared low bit. However, in the ``%C`` example, the optimizer is

0 commit comments

Comments
 (0)