blob: 20c10dda75e8486b294c358000d7951be7ab881b [file] [log] [blame]
// Copyright 2020 The Fuchsia Authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.
package hlcpp
import (
"bytes"
"encoding/hex"
"fmt"
"strconv"
"strings"
fidlcommon "go.fuchsia.dev/fuchsia/garnet/go/src/fidl/compiler/backend/common"
fidlir "go.fuchsia.dev/fuchsia/garnet/go/src/fidl/compiler/backend/types"
gidlir "go.fuchsia.dev/fuchsia/tools/fidl/gidl/ir"
gidlmixer "go.fuchsia.dev/fuchsia/tools/fidl/gidl/mixer"
)
func escapeStr(value string) string {
if fidlcommon.PrintableASCII(value) {
return strconv.Quote(value)
}
var (
buf bytes.Buffer
src = []byte(value)
dstLen = hex.EncodedLen(len(src))
dst = make([]byte, dstLen)
)
hex.Encode(dst, src)
buf.WriteRune('"')
for i := 0; i < dstLen; i += 2 {
buf.WriteString("\\x")
buf.WriteByte(dst[i])
buf.WriteByte(dst[i+1])
}
buf.WriteRune('"')
return buf.String()
}
func BuildHandleDefs(defs []gidlir.HandleDef) string {
if len(defs) == 0 {
return ""
}
var builder strings.Builder
builder.WriteString("std::vector<zx_handle_t>{\n")
for i, d := range defs {
switch d.Subtype {
case fidlir.Channel:
builder.WriteString("fidl::test::util::create_channel(),")
case fidlir.Event:
builder.WriteString("fidl::test::util::create_event(),")
default:
panic(fmt.Sprintf("unsupported handle subtype: %s", d.Subtype))
}
// Write indices corresponding to the .gidl file handle_defs block.
builder.WriteString(fmt.Sprintf(" // #%d\n", i))
}
builder.WriteString("}")
return builder.String()
}
func newCppValueBuilder() cppValueBuilder {
return cppValueBuilder{}
}
type cppValueBuilder struct {
strings.Builder
varidx int
}
func (b *cppValueBuilder) newVar() string {
b.varidx++
return fmt.Sprintf("v%d", b.varidx)
}
func (b *cppValueBuilder) visit(value interface{}, decl gidlmixer.Declaration) string {
switch value := value.(type) {
case bool:
return fmt.Sprintf("%t", value)
case int64:
intString := fmt.Sprintf("%dll", value)
if value == -9223372036854775808 {
intString = "-9223372036854775807ll - 1"
}
switch decl := decl.(type) {
case *gidlmixer.IntegerDecl:
return intString
case *gidlmixer.BitsDecl:
return fmt.Sprintf("%s(%s)", typeName(decl), intString)
case *gidlmixer.EnumDecl:
return fmt.Sprintf("%s(%s)", typeName(decl), intString)
}
case uint64:
switch decl := decl.(type) {
case *gidlmixer.IntegerDecl:
return fmt.Sprintf("%dull", value)
case *gidlmixer.BitsDecl:
return fmt.Sprintf("%s(%dull)", typeName(decl), value)
case *gidlmixer.EnumDecl:
return fmt.Sprintf("%s(%dull)", typeName(decl), value)
}
case float64:
switch decl := decl.(type) {
case *gidlmixer.FloatDecl:
switch decl.Subtype() {
case fidlir.Float32:
s := fmt.Sprintf("%g", value)
if strings.Contains(s, ".") {
return fmt.Sprintf("%sf", s)
} else {
return s
}
case fidlir.Float64:
return fmt.Sprintf("%g", value)
}
}
case gidlir.RawFloat:
switch decl.(*gidlmixer.FloatDecl).Subtype() {
case fidlir.Float32:
return fmt.Sprintf("([] { uint32_t u = %#b; float f; memcpy(&f, &u, 4); return f; })()", value)
case fidlir.Float64:
return fmt.Sprintf("([] { uint64_t u = %#b; double d; memcpy(&d, &u, 8); return d; })()", value)
}
case string:
return fmt.Sprintf("%s(%s, %d)", typeName(decl), escapeStr(value), len(value))
case gidlir.Handle:
return fmt.Sprintf("%s(handle_defs[%d])", typeName(decl), value)
case gidlir.Record:
return b.visitRecord(value, decl.(gidlmixer.RecordDeclaration))
case []interface{}:
switch decl := decl.(type) {
case *gidlmixer.ArrayDecl:
return b.visitArray(value, decl)
case *gidlmixer.VectorDecl:
return b.visitVector(value, decl)
}
case nil:
return fmt.Sprintf("%s()", typeName(decl))
}
panic(fmt.Sprintf("not implemented: %T", value))
}
func (b *cppValueBuilder) visitRecord(value gidlir.Record, decl gidlmixer.RecordDeclaration) string {
containerVar := b.newVar()
nullable := decl.IsNullable()
if nullable {
b.Builder.WriteString(fmt.Sprintf(
"%s %s = std::make_unique<%s>();\n", typeName(decl), containerVar, declName(decl)))
} else {
b.Builder.WriteString(fmt.Sprintf("%s %s;\n", typeName(decl), containerVar))
}
for _, field := range value.Fields {
accessor := "."
if nullable {
accessor = "->"
}
b.Builder.WriteString("\n")
if field.Key.IsUnknown() {
unknownData := field.Value.(gidlir.UnknownData)
if decl.IsResourceType() {
b.Builder.WriteString(fmt.Sprintf(
"%s%s_experimental_set_unknown_data(static_cast<fidl_xunion_tag_t>(%dlu), %s, %s);\n",
containerVar, accessor, field.Key.UnknownOrdinal, buildBytes(unknownData.Bytes),
buildHandles(unknownData.Handles)))
} else {
b.Builder.WriteString(fmt.Sprintf(
"%s%s_experimental_set_unknown_data(static_cast<fidl_xunion_tag_t>(%dlu), %s);\n",
containerVar, accessor, field.Key.UnknownOrdinal, buildBytes(unknownData.Bytes)))
}
continue
}
fieldDecl, ok := decl.Field(field.Key.Name)
if !ok {
panic(fmt.Sprintf("field %s not found", field.Key.Name))
}
fieldVar := b.visit(field.Value, fieldDecl)
switch decl.(type) {
case *gidlmixer.StructDecl:
b.Builder.WriteString(fmt.Sprintf(
"%s%s%s = %s;\n", containerVar, accessor, field.Key.Name, fieldVar))
default:
b.Builder.WriteString(fmt.Sprintf(
"%s%sset_%s(%s);\n", containerVar, accessor, field.Key.Name, fieldVar))
}
}
return fmt.Sprintf("std::move(%s)", containerVar)
}
func (b *cppValueBuilder) visitArray(value []interface{}, decl *gidlmixer.ArrayDecl) string {
var elements []string
elemDecl := decl.Elem()
for _, item := range value {
elements = append(elements, fmt.Sprintf("%s", b.visit(item, elemDecl)))
}
// Populate the array using aggregate initialization.
return fmt.Sprintf("%s{%s}",
typeName(decl), strings.Join(elements, ", "))
}
func (b *cppValueBuilder) visitVector(value []interface{}, decl *gidlmixer.VectorDecl) string {
elemDecl := decl.Elem()
var elements []string
for _, item := range value {
elements = append(elements, b.visit(item, elemDecl))
}
if _, ok := elemDecl.(gidlmixer.PrimitiveDeclaration); ok {
// Populate the vector using aggregate initialization.
return fmt.Sprintf("%s{%s}",
typeName(decl), strings.Join(elements, ", "))
}
vectorVar := b.newVar()
// Populate the vector using push_back. We can't use an initializer list
// because they always copy, which breaks if the element is a unique_ptr.
b.Builder.WriteString(fmt.Sprintf("%s %s;\n", typeName(decl), vectorVar))
for _, element := range elements {
b.Builder.WriteString(fmt.Sprintf("%s.push_back(%s);\n", vectorVar, element))
}
return fmt.Sprintf("std::move(%s)", vectorVar)
}
func typeName(decl gidlmixer.Declaration) string {
switch decl := decl.(type) {
case gidlmixer.PrimitiveDeclaration:
return primitiveTypeName(decl.Subtype())
case gidlmixer.NamedDeclaration:
if decl.IsNullable() {
return fmt.Sprintf("std::unique_ptr<%s>", declName(decl))
}
return declName(decl)
case *gidlmixer.StringDecl:
if decl.IsNullable() {
return "::fidl::StringPtr"
}
return "std::string"
case *gidlmixer.ArrayDecl:
return fmt.Sprintf("std::array<%s, %d>", typeName(decl.Elem()), decl.Size())
case *gidlmixer.VectorDecl:
if decl.IsNullable() {
return fmt.Sprintf("::fidl::VectorPtr<%s>", typeName(decl.Elem()))
}
return fmt.Sprintf("std::vector<%s>", typeName(decl.Elem()))
case *gidlmixer.HandleDecl:
switch decl.Subtype() {
case fidlir.Handle:
return "zx::handle"
case fidlir.Channel:
return "zx::channel"
case fidlir.Event:
return "zx::event"
default:
panic(fmt.Sprintf("Handle subtype not supported %s", decl.Subtype()))
}
default:
panic("unhandled case")
}
}
func declName(decl gidlmixer.NamedDeclaration) string {
parts := strings.Split(decl.Name(), "/")
return strings.Join(parts, "::")
}
func primitiveTypeName(subtype fidlir.PrimitiveSubtype) string {
switch subtype {
case fidlir.Bool:
return "bool"
case fidlir.Uint8, fidlir.Uint16, fidlir.Uint32, fidlir.Uint64,
fidlir.Int8, fidlir.Int16, fidlir.Int32, fidlir.Int64:
return fmt.Sprintf("%s_t", subtype)
case fidlir.Float32:
return "float"
case fidlir.Float64:
return "double"
default:
panic(fmt.Sprintf("unexpected subtype %s", subtype))
}
}
func buildBytes(bytes []byte) string {
var builder strings.Builder
builder.WriteString("std::vector<uint8_t>{")
for i, b := range bytes {
builder.WriteString(fmt.Sprintf("0x%02x,", b))
if i%8 == 7 {
builder.WriteString("\n")
}
}
builder.WriteString("}")
return builder.String()
}
func buildRawHandles(handles []gidlir.Handle) string {
if len(handles) == 0 {
return "std::vector<zx_handle_t>{}"
}
var builder strings.Builder
builder.WriteString("std::vector<zx_handle_t>{\n")
for i, h := range handles {
builder.WriteString(fmt.Sprintf("handle_defs[%d],", h))
if i%8 == 7 {
builder.WriteString("\n")
}
}
builder.WriteString("}")
return builder.String()
}
func buildHandles(handles []gidlir.Handle) string {
if len(handles) == 0 {
return "std::vector<zx::handle>{}"
}
var builder strings.Builder
// Initializer-list vectors only work for copyable types. zx::handle has no
// copy constructor, so we use an immediately-invoked lambda instead.
builder.WriteString("([&handle_defs] {\n")
builder.WriteString("std::vector<zx::handle> v;\n")
for _, h := range handles {
builder.WriteString(fmt.Sprintf("v.emplace_back(handle_defs[%d]);\n", h))
}
builder.WriteString("return v;\n")
builder.WriteString("})()")
return builder.String()
}