ssa: toLLVMFunc by NameValist

ssa/decl.go

@@ -34,6 +34,15 @@ func VArg() *types.Var {
 	return types.NewParam(0, nil, NameValist, types.NewSlice(tyAny))
 }
 
+func hasNameValist(sig *types.Signature) bool {
+	if sig.Variadic() {
+		if params := sig.Params(); params.At(params.Len()-1).Name() == NameValist {
+			return true
+		}
+	}
+	return false
+}
+
 // -----------------------------------------------------------------------------
 
 type aNamedConst struct {
@@ -228,7 +237,7 @@ func newParams(fn Type, prog Program) (params []Type, hasVArg bool) {
 	sig := fn.raw.Type.(*types.Signature)
 	in := sig.Params()
 	if n := in.Len(); n > 0 {
-		if hasVArg = sig.Variadic(); hasVArg {
+		if hasVArg = hasNameValist(sig); hasVArg {
 			n--
 		}
 		params = make([]Type, n)

ssa/type.go

@@ -452,7 +452,7 @@ func (p Program) toLLVMTypes(t *types.Tuple, n int) (ret []llvm.Type) {
 func (p Program) toLLVMFunc(sig *types.Signature) llvm.Type {
 	tParams := sig.Params()
 	n := tParams.Len()
-	hasVArg := sig.Variadic()
+	hasVArg := hasNameValist(sig)
 	if hasVArg {
 		n--
 	}

ssa/type_cvt.go

@@ -189,9 +189,8 @@ func (p goTypes) cvtFunc(sig *types.Signature, recv *types.Var) (raw *types.Sign
 	}
 	params, cvt1 := p.cvtTuple(sig.Params())
 	results, cvt2 := p.cvtTuple(sig.Results())
-	if cvt1 || cvt2 || sig.Variadic() {
-		// variadic always is false in raw type for Go function
-		return types.NewSignatureType(nil, nil, nil, params, results, false)
+	if cvt1 || cvt2 {
+		return types.NewSignatureType(nil, nil, nil, params, results, sig.Variadic())
 	}
 	return sig
 }