Skip to content

Commit f44bd63

Browse files
dianqkyuxuanchen1997
authored andcommitted
[Docs] Store to poison is the canonical form for non-terminator unreachable (#98910)
Summary: Add the content from #96639 (comment). Test Plan: Reviewers: Subscribers: Tasks: Tags: Differential Revision: https://phabricator.intern.facebook.com/D60251667
1 parent 8cc7edc commit f44bd63

File tree

1 file changed

+3
-1
lines changed

1 file changed

+3
-1
lines changed

Diff for: llvm/docs/Frontend/PerformanceTips.rst

+3-1
Original file line numberDiff line numberDiff line change
@@ -206,7 +206,9 @@ Other Things to Consider
206206
that fact is critical for optimization purposes. Assumes are a great
207207
prototyping mechanism, but they can have negative effects on both compile
208208
time and optimization effectiveness. The former is fixable with enough
209-
effort, but the later is fairly fundamental to their designed purpose.
209+
effort, but the later is fairly fundamental to their designed purpose. If
210+
you are creating a non-terminator unreachable instruction or passing a false
211+
value, use the ``store i1 true, ptr poison, align 1`` canonical form.
210212

211213

212214
Describing Language Specific Properties

0 commit comments

Comments
 (0)