llgo/ssa: MapUpdate fix

This commit is contained in:
xushiwei
2024-06-14 22:33:40 +08:00
parent 8d42acec16
commit e107567997
3 changed files with 17 additions and 13 deletions

View File

@@ -30,12 +30,16 @@ _llgo_0:
call void @main.init()
%2 = call ptr @"github.com/goplus/llgo/internal/runtime.MakeSmallMap"()
%3 = load ptr, ptr @"map[_llgo_int]_llgo_int", align 8
%4 = call ptr @"github.com/goplus/llgo/internal/runtime.MapAssign"(ptr %3, ptr %2, i64 23)
store i64 100, ptr %4, align 4
%5 = load ptr, ptr @"map[_llgo_int]_llgo_int", align 8
%6 = call ptr @"github.com/goplus/llgo/internal/runtime.MapAssign"(ptr %5, ptr %2, i64 7)
store i64 29, ptr %6, align 4
%7 = call i32 (ptr, ...) @printf(ptr @0, <null operand!>)
%4 = alloca i8, i64 48, align 1
store ptr %2, ptr %4, align 8
%5 = call ptr @"github.com/goplus/llgo/internal/runtime.MapAssign"(ptr %3, ptr %4, i64 23)
store i64 100, ptr %5, align 4
%6 = load ptr, ptr @"map[_llgo_int]_llgo_int", align 8
%7 = alloca i8, i64 48, align 1
store ptr %2, ptr %7, align 8
%8 = call ptr @"github.com/goplus/llgo/internal/runtime.MapAssign"(ptr %6, ptr %7, i64 7)
store i64 29, ptr %8, align 4
%9 = call i32 (ptr, ...) @printf(ptr @0, <null operand!>)
ret i32 0
}

View File

@@ -366,7 +366,8 @@ func (b Builder) MapUpdate(m, k, v Expr) {
}
tabi := b.abiType(t.raw.Type)
prog := b.Prog
ptrimpl := b.InlineCall(b.Pkg.rtFunc("MapAssign"), tabi, m, k).impl
mptr := b.dupAlloca(m)
ptrimpl := b.InlineCall(b.Pkg.rtFunc("MapAssign"), tabi, mptr, k).impl
ptr := Expr{ptrimpl, prog.Pointer(v.Type)}
b.Store(ptr, v) // TODO(xsw): indirect store
}

View File

@@ -107,16 +107,15 @@ func aggregateInit(b llvm.Builder, ptr llvm.Value, tll llvm.Type, flds ...llvm.V
}
}
/*
func (b Builder) dupMalloc(v Expr) Expr {
func (b Builder) dupAlloca(v Expr) Expr {
prog := b.Prog
n := prog.SizeOf(v.Type)
tptr := prog.Pointer(v.Type)
ptr := b.malloc(prog.Val(uintptr(n))).impl
b.Store(Expr{ptr, tptr}, v)
return Expr{ptr, tptr}
ptr := b.Alloca(prog.Val(uintptr(n))).impl
ret := Expr{ptr, tptr}
b.Store(ret, v)
return ret
}
*/
// -----------------------------------------------------------------------------