Skip to content

Commit

Permalink
docs(xlang-ir): Add clause about *weekly-happens-before*
Browse files Browse the repository at this point in the history
  • Loading branch information
chorman0773 committed Aug 4, 2024
1 parent 2f1d29e commit 56f503c
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion xlang/xlang_struct/src/lib.rs
Original file line number Diff line number Diff line change
Expand Up @@ -2662,7 +2662,7 @@ fake_enum::fake_enum! {
/// * A *happens before* B,
/// * A is a memory operation with a nontemporal access class, B is a `sequence` instruction, and A is *weekly sequenced before* B,
/// * There exists an expression C, such that A *weekly happens before* C, and C *weekly happens before* B.
/// 6.
/// 6. _Note: Weekly happens before allows a `sequence` instruction to synchronize `nontemporal` accesses with _
///
pub enum struct AccessClass{
Normal = 0,
Expand Down

0 comments on commit 56f503c

Please sign in to comment.