admin/llgo
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

llgo/ssa: use b.CreateUnreachable to panic

Browse Source
This commit is contained in:
xushiwei
2024-04-29 03:36:19 +08:00
parent 616596e571
commit cb507f43a7
3 changed files with 2 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
internal/runtime/llgo_autogen.ll
View File

@@ -78,7 +78,7 @@ _llgo_1: ; preds = %_llgo_0
_llgo_2: ; preds = %_llgo_0 _llgo_2: ; preds = %_llgo_0
%10 = call %"github.com/goplus/llgo/internal/runtime.iface" @"github.com/goplus/llgo/internal/runtime.MakeAnyString"([21 x i8] c"I2Int: type mismatch\00") %10 = call %"github.com/goplus/llgo/internal/runtime.iface" @"github.com/goplus/llgo/internal/runtime.MakeAnyString"([21 x i8] c"I2Int: type mismatch\00")
call void @abort() unreachable
} }
define %"github.com/goplus/llgo/internal/runtime.iface" @"github.com/goplus/llgo/internal/runtime.MakeAny"(ptr %0, ptr %1) { define %"github.com/goplus/llgo/internal/runtime.iface" @"github.com/goplus/llgo/internal/runtime.MakeAny"(ptr %0, ptr %1) {
@@ -267,6 +267,4 @@ _llgo_2: ; preds = %_llgo_1, %_llgo_0
ret void ret void
} }
declare void @abort()
declare void @"github.com/goplus/llgo/internal/abi.init"() declare void @"github.com/goplus/llgo/internal/abi.init"()

4
ssa/package.go
View File

@@ -326,10 +326,6 @@ func (p Package) FuncOf(name string) Function {
return p.fns[name] return p.fns[name]
} }
func (p Package) rtAbort() Expr {
return p.NewFunc("abort", types.NewSignatureType(nil, nil, nil, nil, nil, false)).Expr
}
func (p Package) rtFunc(fnName string) Expr { func (p Package) rtFunc(fnName string) Expr {
fn := p.prog.runtime().Scope().Lookup(fnName).(*types.Func) fn := p.prog.runtime().Scope().Lookup(fnName).(*types.Func)
name := FullName(fn.Pkg(), fnName) name := FullName(fn.Pkg(), fnName)

3
ssa/stmt_builder.go
View File

@@ -73,8 +73,7 @@ func (b Builder) Panic(v Expr) {
if debugInstr { if debugInstr {
log.Printf("Panic %v\n", v.impl) log.Printf("Panic %v\n", v.impl)
} }
pkg := b.fn.pkg b.impl.CreateUnreachable() // TODO(xsw): pass v
b.Call(pkg.rtAbort()) // TODO(xsw): pass v
} }
// Return emits a return instruction. // Return emits a return instruction.