Revert "ssa: defer load/store func and args"

This commit is contained in:
七叶
2024-12-03 21:00:49 +08:00
committed by GitHub
parent 7e9542e79a
commit 3505be422e
4 changed files with 4 additions and 69 deletions

View File

@@ -1,15 +0,0 @@
package main
func main() {
var a int = 5
defer println(a)
defer func() {
println(a)
}()
a = 10
panic("error")
//Output:
// 10
// 5
// panic: error
}

View File

@@ -1 +0,0 @@
;

View File

@@ -32,9 +32,8 @@ type Defer struct {
Addr unsafe.Pointer // sigjmpbuf
Bits uintptr
Link *Defer
Reth unsafe.Pointer // block address after Rethrow
Rund unsafe.Pointer // block address after RunDefers
Args []unsafe.Pointer // defer func and args
Reth unsafe.Pointer // block address after Rethrow
Rund unsafe.Pointer // block address after RunDefers
}
// Recover recovers a panic.

View File

@@ -97,7 +97,6 @@ type aDefer struct {
bitsPtr Expr // pointer to defer bits
rethPtr Expr // next block of Rethrow
rundPtr Expr // next block of RunDefers
argsPtr Expr // defer func and args
procBlk BasicBlock // deferProc block
panicBlk BasicBlock // panic block (runDefers and rethrow)
rundsNext []BasicBlock // next blocks of RunDefers
@@ -134,13 +133,11 @@ const (
// 2: link *Defer
// 3: reth voidptr: block address after Rethrow
// 4: rund voidptr: block address after RunDefers
// 5: args []unsafe.Pointer: defer func and args
deferSigjmpbuf = iota
deferBits
deferLink
deferRethrow
deferRunDefers
deferArgs
)
func (b Builder) getDefer(kind DoAction) *aDefer {
@@ -170,8 +167,6 @@ func (b Builder) getDefer(kind DoAction) *aDefer {
bitsPtr := b.FieldAddr(deferData, deferBits)
rethPtr := b.FieldAddr(deferData, deferRethrow)
rundPtr := b.FieldAddr(deferData, deferRunDefers)
argsPtr := b.FieldAddr(deferData, deferArgs)
b.Store(argsPtr, b.MakeSlice(prog.Slice(prog.VoidPtr()), prog.Val(0), prog.Val(0)))
czero := prog.IntVal(0, prog.CInt())
retval := b.Sigsetjmp(jb, czero)
@@ -189,7 +184,6 @@ func (b Builder) getDefer(kind DoAction) *aDefer {
bitsPtr: bitsPtr,
rethPtr: rethPtr,
rundPtr: rundPtr,
argsPtr: argsPtr,
procBlk: procBlk,
panicBlk: panicBlk,
rundsNext: []BasicBlock{rethrowBlk},
@@ -234,62 +228,20 @@ func (b Builder) Defer(kind DoAction, fn Expr, args ...Expr) {
default:
panic("todo: DeferInLoop is not supported - " + b.Func.Name())
}
typ := b.saveDeferArgs(self, fn, args)
self.stmts = append(self.stmts, func(bits Expr) {
switch kind {
case DeferInCond:
zero := prog.Val(uintptr(0))
has := b.BinOp(token.NEQ, b.BinOp(token.AND, bits, nextbit), zero)
b.IfThen(has, func() {
b.callDefer(self, typ, fn, len(args))
b.Call(fn, args...)
})
case DeferAlways:
b.callDefer(self, typ, fn, len(args))
b.Call(fn, args...)
}
})
}
func (b Builder) saveDeferArgs(self *aDefer, fn Expr, args []Expr) Type {
var offset int
if fn.kind != vkBuiltin {
offset = 1
}
typs := make([]Type, len(args)+offset)
flds := make([]llvm.Value, len(args)+offset)
if offset == 1 {
typs[0] = fn.Type
flds[0] = fn.impl
}
for i, arg := range args {
typs[i+offset] = arg.Type
flds[i+offset] = arg.impl
}
prog := b.Prog
typ := prog.Struct(typs...)
voidPtr := prog.VoidPtr()
ptr := Expr{b.aggregateMalloc(typ, flds...), voidPtr}
b.Store(self.argsPtr, b.BuiltinCall("append", b.Load(self.argsPtr), b.SliceLit(prog.Slice(voidPtr), ptr)))
return typ
}
func (b Builder) callDefer(self *aDefer, typ Type, fn Expr, nargs int) {
nLen := b.FieldAddr(Expr{self.argsPtr.impl, b.Prog.Pointer(b.Prog.rtType("Slice"))}, 1)
index := b.BinOp(token.SUB, b.Load(nLen), b.Prog.Val(1))
ptr := b.Load(b.IndexAddr(b.Load(self.argsPtr), index))
b.Store(nLen, index)
data := Expr{llvm.CreateLoad(b.impl, typ.ll, ptr.impl), typ}
args := make([]Expr, nargs)
var offset int
if fn.kind != vkBuiltin {
fn = b.getField(data, 0)
offset = 1
}
for i := 0; i < nargs; i++ {
args[i] = b.getField(data, i+offset)
}
b.Call(fn, args...)
}
// RunDefers emits instructions to run deferred instructions.
func (b Builder) RunDefers() {
self := b.getDefer(DeferInCond)