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/ir.cpp | |
| parent | 083cec6c88b37001a57eac1ae9377b4ef73cf8a3 (diff) | |
Add `intrinsics.volatile_store` and `intrinsics.volatile_load`
Diffstat (limited to 'src/ir.cpp')
| -rw-r--r-- | src/ir.cpp | 19 |
1 files changed, 16 insertions, 3 deletions
diff --git a/src/ir.cpp b/src/ir.cpp index 300b5b3af..0f235b914 100644 --- a/src/ir.cpp +++ b/src/ir.cpp @@ -202,7 +202,7 @@ gbAllocator ir_allocator(void) { }) \ IR_INSTR_KIND(ZeroInit, struct { irValue *address; }) \ IR_INSTR_KIND(Store, struct { irValue *address, *value; bool is_volatile; }) \ - IR_INSTR_KIND(Load, struct { Type *type; irValue *address; i64 custom_align; }) \ + IR_INSTR_KIND(Load, struct { Type *type; irValue *address; i64 custom_align; bool is_volatile; }) \ IR_INSTR_KIND(InlineCode, struct { BuiltinProcId id; Array<irValue *> operands; Type *type; }) \ IR_INSTR_KIND(AtomicFence, struct { BuiltinProcId id; }) \ IR_INSTR_KIND(AtomicStore, struct { \ @@ -1084,11 +1084,12 @@ irValue *ir_instr_store(irProcedure *p, irValue *address, irValue *value, bool i return v; } -irValue *ir_instr_load(irProcedure *p, irValue *address) { +irValue *ir_instr_load(irProcedure *p, irValue *address, bool is_volatile) { irValue *v = ir_alloc_instr(p, irInstr_Load); irInstr *i = &v->Instr; i->Load.address = address; i->Load.type = type_deref(ir_type(address)); + i->Load.is_volatile = is_volatile; if (address) address->uses += 1; @@ -3166,7 +3167,7 @@ irValue *ir_emit_load(irProcedure *p, irValue *address, i64 custom_align) { // return ir_emit(p, ir_instr_load_bool(p, address)); // } if (address) address->uses += 1; - auto instr = ir_instr_load(p, address); + auto instr = ir_instr_load(p, address, false); instr->Instr.Load.custom_align = custom_align; return ir_emit(p, instr); } @@ -7527,6 +7528,18 @@ irValue *ir_build_builtin_proc(irProcedure *proc, Ast *expr, TypeAndValue tv, Bu case BuiltinProc_cpu_relax: return ir_emit(proc, ir_instr_inline_code(proc, id, {}, nullptr)); + case BuiltinProc_volatile_store: { + irValue *dst = ir_build_expr(proc, ce->args[0]); + irValue *val = ir_build_expr(proc, ce->args[1]); + val = ir_emit_conv(proc, val, type_deref(ir_type(dst))); + return ir_emit(proc, ir_instr_store(proc, dst, val, true)); + } + + case BuiltinProc_volatile_load: { + irValue *dst = ir_build_expr(proc, ce->args[0]); + return ir_emit(proc, ir_instr_load(proc, dst, true)); + } + case BuiltinProc_atomic_fence: case BuiltinProc_atomic_fence_acq: case BuiltinProc_atomic_fence_rel: |