From 3505be422edf51f78bc4354bace6cd63c3857c40 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=E4=B8=83=E5=8F=B6?= <visualfc@gmail.com>
Date: Tue, 3 Dec 2024 21:00:49 +0800
Subject: [PATCH] Revert "ssa: defer load/store func and args"

---
 cl/_testgo/defer6/in.go  | 15 ------------
 cl/_testgo/defer6/out.ll |  1 -
 internal/runtime/z_rt.go |  5 ++--
 ssa/eh.go                | 52 ++--------------------------------------
 4 files changed, 4 insertions(+), 69 deletions(-)
 delete mode 100644 cl/_testgo/defer6/in.go
 delete mode 100644 cl/_testgo/defer6/out.ll

diff --git a/cl/_testgo/defer6/in.go b/cl/_testgo/defer6/in.go
deleted file mode 100644
index 0dac2594..00000000
--- a/cl/_testgo/defer6/in.go
+++ /dev/null
@@ -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
-}
diff --git a/cl/_testgo/defer6/out.ll b/cl/_testgo/defer6/out.ll
deleted file mode 100644
index 1c8a0e79..00000000
--- a/cl/_testgo/defer6/out.ll
+++ /dev/null
@@ -1 +0,0 @@
-;
\ No newline at end of file
diff --git a/internal/runtime/z_rt.go b/internal/runtime/z_rt.go
index 4b1d1458..672adf62 100644
--- a/internal/runtime/z_rt.go
+++ b/internal/runtime/z_rt.go
@@ -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.
diff --git a/ssa/eh.go b/ssa/eh.go
index d156ca64..2e30e867 100644
--- a/ssa/eh.go
+++ b/ssa/eh.go
@@ -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)