diff options
| author | gingerBill <bill@gingerbill.org> | 2021-03-09 11:40:36 +0000 |
|---|---|---|
| committer | gingerBill <bill@gingerbill.org> | 2021-03-09 11:40:36 +0000 |
| commit | 3ff7bded642ef399fda68ac1078d6a091474ab11 (patch) | |
| tree | 7dfbfb3b860a1241943f7194d88c9ed3f991800d /src/check_expr.cpp | |
| parent | 083cec6c88b37001a57eac1ae9377b4ef73cf8a3 (diff) | |
Add `intrinsics.volatile_store` and `intrinsics.volatile_load`
Diffstat (limited to 'src/check_expr.cpp')
| -rw-r--r-- | src/check_expr.cpp | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/check_expr.cpp b/src/check_expr.cpp index caa2194aa..6762a4d34 100644 --- a/src/check_expr.cpp +++ b/src/check_expr.cpp @@ -5502,6 +5502,9 @@ bool check_builtin_procedure(CheckerContext *c, Operand *operand, Ast *call, i32 operand->mode = Addressing_NoValue; break; + + + case BuiltinProc_atomic_fence: case BuiltinProc_atomic_fence_acq: case BuiltinProc_atomic_fence_rel: @@ -5509,6 +5512,8 @@ bool check_builtin_procedure(CheckerContext *c, Operand *operand, Ast *call, i32 operand->mode = Addressing_NoValue; break; + case BuiltinProc_volatile_store: + /*fallthrough*/ case BuiltinProc_atomic_store: case BuiltinProc_atomic_store_rel: case BuiltinProc_atomic_store_relaxed: @@ -5527,6 +5532,9 @@ bool check_builtin_procedure(CheckerContext *c, Operand *operand, Ast *call, i32 operand->mode = Addressing_NoValue; break; } + + case BuiltinProc_volatile_load: + /*fallthrough*/ case BuiltinProc_atomic_load: case BuiltinProc_atomic_load_acq: case BuiltinProc_atomic_load_relaxed: |