mirrors/sirit
1
0
Fork 0
mirror of https://git.suyu.dev/suyu/sirit.git synced 2024-12-22 12:12:05 +00:00
Code Issues Releases Activity

Add support for self-referencing phi nodes

Browse source
This commit is contained in:
ReinUsesLisp 2021-02-24 18:30:10 -03:00
parent 9a08dab7ee
commit f6a7130486
2 changed files with 7 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
include/sirit/sirit.h
View file

@ -90,6 +90,9 @@ public:
/// Generate a new id for forward declarations /// Generate a new id for forward declarations
[[nodiscard]] Id ForwardDeclarationId(); [[nodiscard]] Id ForwardDeclarationId();
/// Returns the current generator id, useful for self-referencing phi nodes
[[nodiscard]] Id CurrentId() const noexcept;
/// Assign a new id and return the old one, useful for defining forward declarations /// Assign a new id and return the old one, useful for defining forward declarations
Id ExchangeCurrentId(Id new_current_id); Id ExchangeCurrentId(Id new_current_id);

4
src/sirit.cpp
View file

@ -99,6 +99,10 @@ Id Module::ForwardDeclarationId() {
return Id{++bound}; return Id{++bound};
} }
Id Module::CurrentId() const noexcept {
return Id{bound + 1};
}
Id Module::ExchangeCurrentId(Id new_current_id) { Id Module::ExchangeCurrentId(Id new_current_id) {
const std::uint32_t old_id = std::exchange(bound, new_current_id.value - 1); const std::uint32_t old_id = std::exchange(bound, new_current_id.value - 1);
return Id{old_id + 1}; return Id{old_id + 1};