Page MenuHomePhabricator

[IR] Add support for empty tokens
ClosedPublic

Authored by majnemer on Nov 11 2015, 11:45 AM.

Details

Summary

When working with tokens, it is often the case that one has instructions
which consume a token and produce a new token. Currently, we have no
mechanism to represent an initial token state.

Instead, we can create a notional "empty token" by inventing a new
constant which captures the semantics we would like. This new constant
is called ConstantTokenNone and is written textually as "token none".

Diff Detail

Repository
rL LLVM

Event Timeline

majnemer updated this revision to Diff 39954.Nov 11 2015, 11:45 AM
majnemer retitled this revision from to [IR] Add support for empty tokens.
majnemer updated this object.
majnemer added a subscriber: llvm-commits.
rnk accepted this revision.Nov 11 2015, 1:54 PM
rnk edited edge metadata.

lgtm

Sweet, no need to even change the bitcode. :)

This revision is now accepted and ready to land.Nov 11 2015, 1:54 PM
This revision was automatically updated to reflect the committed changes.