GoToSocial/vendor/modernc.org/cc/v3/check.go

5277 lines
146 KiB
Go
Raw Blame History

This file contains ambiguous Unicode characters

This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.

// Copyright 2019 The CC 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 cc // import "modernc.org/cc/v3"
import (
"fmt"
"go/token"
"math"
"math/big"
"math/bits"
"path/filepath"
"strconv"
"strings"
"modernc.org/mathutil"
"modernc.org/strutil"
)
const longDoublePrec = 256
type mode = int
var (
idBuiltinConstantPImpl = dict.sid("__builtin_constant_p_impl")
idClosure = dict.sid("0closure") // Must be invalid indentifier.
idWcharT = dict.sid("wchar_t")
idWinWchar = dict.sid("WCHAR")
_ fmt.State
)
const (
// [2], 6.6 Constant expressions, 6
//
// An integer constant expression shall have integer type and shall
// only have operands that are integer constants, enumeration
// constants, character constants, sizeof expressions whose results are
// integer constants, _Alignof expressions, and floating constants that
// are the immediate operands of casts. Cast operators in an integer
// constant expression shall only convert arithmetic types to integer
// types, except as part of an operand to the sizeof or _Alignof
// operator.
mIntConstExpr = 1 << iota
mIntConstExprFloat // As mIntConstExpr plus accept floating point constants.
mIntConstExprAnyCast // As mIntConstExpr plus accept any cast.
)
// Parameter represents a function parameter.
type Parameter struct {
d *Declarator
typ Type
}
// NewParameter returns a newly created parameter
func NewParameter(d *Declarator, t Type) *Parameter {
return &Parameter{d, t}
}
func (p *Parameter) Declarator() *Declarator { return p.d }
func (p *Parameter) Name() StringID { return p.d.Name() }
func (p *Parameter) Type() Type { return p.typ }
func (n *TranslationUnit) check(ctx *context) {
for n := n; n != nil; n = n.TranslationUnit {
n.ExternalDeclaration.check(ctx)
}
for ; n != nil; n = n.TranslationUnit {
n.ExternalDeclaration.checkFnBodies(ctx)
}
}
func (n *ExternalDeclaration) checkFnBodies(ctx *context) {
if n == nil {
return
}
switch n.Case {
case ExternalDeclarationFuncDef: // FunctionDefinition
n.FunctionDefinition.checkBody(ctx)
}
}
// https://gcc.gnu.org/onlinedocs/gcc/Inline.html
//
// If you specify both inline and extern in the function definition, then the
// definition is used only for inlining. In no case is the function compiled on
// its own, not even if you refer to its address explicitly. Such an address
// becomes an external reference, as if you had only declared the function, and
// had not defined it.
//
// This combination of inline and extern has almost the effect of a macro. The
// way to use it is to put a function definition in a header file with these
// keywords, and put another copy of the definition (lacking inline and extern)
// in a library file. The definition in the header file causes most calls to
// the function to be inlined. If any uses of the function remain, they refer
// to the single copy in the library.
func (n *Declarator) isExternInline() bool {
return n.IsExtern() && n.Type() != nil && n.Type().Inline()
}
// DeclarationSpecifiers Declarator DeclarationList CompoundStatement
func (n *FunctionDefinition) checkBody(ctx *context) {
if n == nil {
return
}
if n.checked {
return
}
n.checked = true
if n.Declarator.isExternInline() && !ctx.cfg.CheckExternInlineFnBodies {
return
}
ctx.checkFn = n
rd := ctx.readDelta
ctx.readDelta = 1
n.CompoundStatement.check(ctx)
ctx.checkFn = nil
for k, v := range n.ComputedGotos {
if _, ok := n.Labels[k]; !ok {
ctx.errNode(v, "label %s undefined", k)
}
}
for k, v := range n.Gotos {
if _, ok := n.Labels[k]; !ok {
ctx.errNode(v, "label %s undefined", k)
}
}
for _, n := range n.InitDeclarators {
d := n.Declarator
if d.Type().IsIncomplete() && d.Linkage != External {
ctx.errNode(d, "declarator has incomplete type")
}
if ctx.cfg.RejectUninitializedDeclarators && d.Linkage == None && d.Write == 0 && !d.AddressTaken && d.Read != 0 {
switch d.Type().Kind() {
case Array, Struct, Union, Invalid:
// nop
default:
ctx.errNode(d, "%s may be used uninitialized in this function", d.Name())
}
}
}
for _, n := range n.CompositeLiterals {
switch t := n.Operand.Type(); t.Kind() {
case Invalid:
ctx.errNode(n, "composite literal has invalid type")
default:
if t.IsIncomplete() {
ctx.errNode(n, "composite literal has incomplete type")
}
}
}
ctx.readDelta = rd
}
func (n *ExternalDeclaration) check(ctx *context) {
if n == nil {
return
}
switch n.Case {
case ExternalDeclarationFuncDef: // FunctionDefinition
n.FunctionDefinition.checkDeclarator(ctx)
case ExternalDeclarationDecl: // Declaration
n.Declaration.check(ctx, true)
case ExternalDeclarationAsm: // AsmFunctionDefinition
n.AsmFunctionDefinition.check(ctx)
case ExternalDeclarationAsmStmt: // AsmStatement
n.AsmStatement.check(ctx)
case ExternalDeclarationEmpty: // ';'
// nop
case ExternalDeclarationPragma: // PragmaSTDC
n.PragmaSTDC.check(ctx)
default:
panic(todo(""))
}
}
func (n *PragmaSTDC) check(ctx *context) {
// nop
}
func (n *AsmFunctionDefinition) check(ctx *context) {
if n == nil {
return
}
typ, inline, noret := n.DeclarationSpecifiers.check(ctx, false)
typ.setFnSpecs(inline, noret)
n.Declarator.check(ctx, n.DeclarationSpecifiers, typ, true)
n.AsmStatement.check(ctx)
}
func (n *AsmStatement) check(ctx *context) {
if n == nil {
return
}
n.Asm.check(ctx)
n.AttributeSpecifierList.check(ctx, nil)
}
func (n *Declaration) check(ctx *context, tld bool) {
if n == nil {
return
}
typ, _, _ := n.DeclarationSpecifiers.check(ctx, false)
n.InitDeclaratorList.check(ctx, n.DeclarationSpecifiers, typ, tld)
}
func (n *InitDeclaratorList) check(ctx *context, td typeDescriptor, typ Type, tld bool) {
for ; n != nil; n = n.InitDeclaratorList {
n.AttributeSpecifierList.check(ctx, typ.baseP())
n.InitDeclarator.check(ctx, td, typ, tld)
}
}
func (n *InitDeclarator) check(ctx *context, td typeDescriptor, typ Type, tld bool) {
if n == nil {
return
}
if f := ctx.checkFn; f != nil {
f.InitDeclarators = append(f.InitDeclarators, n)
}
if attr := n.AttributeSpecifierList.check(ctx, typ.baseP()); len(attr) != 0 {
typ = &attributedType{typ, attr}
}
switch n.Case {
case InitDeclaratorDecl: // Declarator AttributeSpecifierList
n.Declarator.check(ctx, td, typ, tld)
case InitDeclaratorInit: // Declarator AttributeSpecifierList '=' Initializer
typ := n.Declarator.check(ctx, td, typ, tld)
n.Declarator.hasInitializer = true
n.Declarator.Write++
n.Initializer.check(ctx, &n.Initializer.list, typ, n.Declarator.StorageClass, nil, 0, nil, nil, false)
n.Initializer.setConstZero()
n.initializer = &InitializerValue{typ: typ, initializer: n.Initializer}
if ctx.cfg.TrackAssignments {
setLHS(map[*Declarator]struct{}{n.Declarator: {}}, n.Initializer)
}
default:
panic(todo(""))
}
}
func (n *Initializer) setConstZero() {
switch n.Case {
case InitializerExpr: // AssignmentExpression
if op := n.AssignmentExpression.Operand; op != nil {
n.isConst = op.IsConst()
n.isZero = op.IsZero()
}
case InitializerInitList: // '{' InitializerList ',' '}'
li := n.InitializerList
li.setConstZero()
n.isConst = li.IsConst()
n.isZero = li.IsZero()
default:
panic(todo("%v:", n.Position()))
}
}
func (n *InitializerList) setConstZero() {
if n == nil {
return
}
n0 := n
n0.isConst = true
n0.isZero = true
for ; n != nil; n = n.InitializerList {
in := n.Initializer
in.setConstZero()
n0.isConst = n0.isConst && in.isConst
n0.isZero = n0.isZero && in.isZero
}
}
// [0], 6.7.8 Initialization
func (n *Initializer) check(ctx *context, list *[]*Initializer, t Type, sc StorageClass, fld Field, off uintptr, il *InitializerList, designatorList *DesignatorList, inList bool) *InitializerList {
// trc("==== %v: case %v, t %v, off %v, designatorList != nil %v, inList %v", n.Position(), n.Case, t.Alias(), off, designatorList != nil, inList)
// if fld != nil {
// trc("\tfld %q", fld.Name())
// }
// 3 - The type of the entity to be initialized shall be an array of
// unknown size or an object type that is not a variable length array
// type.
if t.Kind() == Array && t.IsVLA() {
ctx.errNode(n, "cannot initialize a variable length array: %v", t)
if il != nil {
return il.InitializerList
}
return nil
}
defer func(d int) { ctx.readDelta = d }(ctx.readDelta)
ctx.readDelta = 1
n.typ = t
single := n.single()
var op Operand
if single != nil {
op = single.AssignmentExpression.check(ctx, false)
single.typ = t
single.Field = fld
single.Offset = off
}
// 11: The initializer for a scalar shall be a single expression, optionally
// enclosed in braces. The initial value of the object is that of the
// expression (after conversion); the same type constraints and conversions as
// for simple assignment apply, taking the type of the scalar to be the
// unqualified version of its declared type.
if t.IsScalarType() && single != nil {
if designatorList != nil {
panic(todo("", n.Position()))
}
//TODO check compatible
*list = append(*list, single)
switch {
case t.Kind() == op.Type().Kind():
single.AssignmentExpression.InitializerOperand = op
default:
single.AssignmentExpression.InitializerOperand = op.convertTo(ctx, n, t)
}
if il != nil {
return il.InitializerList
}
return nil
}
// 12: The rest of this subclause deals with initializers for objects that have
// aggregate or union type.
k := t.Kind()
// 13: The initializer for a structure or union object that has automatic
// storage duration shall be either an initializer list as described below, or
// a single expression that has compatible structure or union type. In the
// latter case, the initial value of the object, including unnamed members, is
// that of the expression.
if n.Case == InitializerExpr && sc == Automatic && (k == Struct || k == Union || k == Vector) && t.IsCompatible(op.Type()) {
if designatorList != nil {
panic(todo("", n.Position()))
}
*list = append(*list, single)
if il != nil {
return il.InitializerList
}
return nil
}
if k == Array && single != nil {
et := t.Elem()
switch {
case isCharType(et):
// 14: An array of character type may be initialized by a character string
// literal, optionally enclosed in braces. Successive characters of the
// character string literal (including the terminating null character if there
// is room or if the array is of unknown size) initialize the elements of the
// array.
if x, ok := op.Value().(StringValue); ok {
if designatorList != nil {
panic(todo("", n.Position()))
}
*list = append(*list, single)
str := StringID(x).String()
if t.IsIncomplete() {
t.setLen(uintptr(len(str)) + 1)
}
if il != nil {
return il.InitializerList
}
return nil
}
case isWCharType(et):
// 15: An array with element type compatible with wchar_t may be initialized by
// a wide string literal, optionally enclosed in braces. Successive wide
// characters of the wide string literal (including the terminating null wide
// character if there is room or if the array is of unknown size) initialize
// the elements of the array.
if x, ok := op.Value().(WideStringValue); ok {
if designatorList != nil {
panic(todo("", n.Position()))
}
*list = append(*list, single)
str := []rune(StringID(x).String())
if t.IsIncomplete() {
t.setLen(uintptr(len(str)) + 1)
}
if il != nil {
panic(todo(""))
}
return nil
}
}
}
// 16: Otherwise, the initializer for an object that has aggregate or union
// type shall be a brace-enclosed list of initializers for the elements or
// named members.
if n.Case == InitializerExpr {
if il != nil {
switch t.Kind() {
case Array:
return il.checkArray(ctx, list, t, sc, off, designatorList, inList)
case Struct:
return il.checkStruct(ctx, list, t, sc, off, designatorList, inList)
case Union:
return il.checkUnion(ctx, list, t, sc, off, designatorList, inList)
case Vector:
return il.InitializerList //TODO
default:
panic(todo("", n.Position(), t, t.Kind()))
}
}
var l *InitializerList
Inspect(n.AssignmentExpression, func(m Node, b bool) bool {
if x, ok := m.(*PostfixExpression); ok && x.Case == PostfixExpressionComplit {
if !b {
return true
}
if l == nil {
l = x.InitializerList
return true
}
l = nil
return false
}
return true
})
if l != nil {
l.check(ctx, list, t, sc, off, designatorList, inList)
return nil
}
ctx.errNode(n, "initializer for an object that has aggregate or union type shall be a brace-enclosed list of initializers for the elements or named members: %v", t)
return nil
}
n.InitializerList.check(ctx, list, t, sc, off, designatorList, inList)
if il != nil {
return il.InitializerList
}
return nil
}
func (n *InitializerList) checkArray(ctx *context, list *[]*Initializer, t Type, sc StorageClass, off uintptr, designatorList *DesignatorList, inList bool) *InitializerList {
elem := t.Elem()
esz := elem.Size()
length := t.Len()
var i, maxI uintptr
nestedDesignator := designatorList != nil
retOnDesignator := false
loop:
for n != nil {
switch {
case retOnDesignator && n.Designation != nil:
return n
case designatorList == nil && !inList && n.Designation != nil:
designatorList = n.Designation.DesignatorList
fallthrough
case designatorList != nil:
d := designatorList.Designator
designatorList = designatorList.DesignatorList
switch d.Case {
case DesignatorIndex: // '[' ConstantExpression ']'
switch x := d.ConstantExpression.check(ctx, ctx.mode|mIntConstExpr, false).Value().(type) {
case Int64Value:
i = uintptr(x)
case Uint64Value:
i = uintptr(x)
default:
panic(todo("%v: %T", n.Position(), x))
}
if !inList && i > maxI {
maxI = i
}
case DesignatorField: // '.' IDENTIFIER
panic(todo("", n.Position(), d.Position()))
case DesignatorField2: // IDENTIFIER ':'
panic(todo("", n.Position(), d.Position()))
default:
panic(todo(""))
}
n = n.Initializer.check(ctx, list, elem, sc, nil, off+i*esz, n, designatorList, designatorList != nil)
designatorList = nil
if nestedDesignator {
retOnDesignator = true
}
i++
default:
if !t.IsIncomplete() && i >= length {
break loop
}
if i > maxI {
maxI = i
}
n = n.Initializer.check(ctx, list, elem, sc, nil, off+i*esz, n, nil, inList)
i++
}
}
if t.IsIncomplete() {
t.setLen(maxI + 1)
}
return n
}
func (n *InitializerList) checkStruct(ctx *context, list *[]*Initializer, t Type, sc StorageClass, off uintptr, designatorList *DesignatorList, inList bool) *InitializerList {
// trc("==== (A) %v: t %v, off %v, dl %v, inList %v", n.Position(), t, off, designatorList != nil, inList)
// defer trc("==== (Z) %v: t %v, off %v, dl %v, inList %v", n.Position(), t, off, designatorList != nil, inList)
t = t.underlyingType()
// trc("%v: %v, off %v", n.Position(), t, off) //TODO-
nf := t.NumField()
i := []int{0}
var f Field
nestedDesignator := designatorList != nil
retOnDesignator := false
for n != nil {
switch {
case retOnDesignator && n.Designation != nil:
return n
case designatorList == nil && !inList && n.Designation != nil:
designatorList = n.Designation.DesignatorList
fallthrough
case designatorList != nil:
d := designatorList.Designator
designatorList = designatorList.DesignatorList
var nm StringID
switch d.Case {
case DesignatorIndex: // '[' ConstantExpression ']'
panic(todo("", n.Position(), d.Position()))
case DesignatorField: // '.' IDENTIFIER
nm = d.Token2.Value
case DesignatorField2: // IDENTIFIER ':'
nm = d.Token.Value
default:
panic(todo(""))
}
f, xa, ok := t.FieldByName2(nm)
if !ok {
panic(todo("%v: t %v %q", d.Position(), t, nm))
}
t0 := t
switch {
case len(xa) != 1:
var f2 Field
var off2 uintptr
for len(xa) != 1 {
f2 = t.FieldByIndex(xa[:1])
off2 += f2.Offset()
t = f2.Type()
xa = xa[1:]
}
n = n.Initializer.check(ctx, list, t, sc, f, off+off2, n, designatorList, designatorList != nil)
if t.Kind() == Union {
t = t0
}
default:
n = n.Initializer.check(ctx, list, f.Type(), sc, f, off+f.Offset(), n, designatorList, designatorList != nil)
}
designatorList = nil
if nestedDesignator {
retOnDesignator = true
}
i[0] = xa[0] + 1
default:
// [0], 6.7.8 Initialization
//
// 9 - Except where explicitly stated otherwise, for the
// purposes of this subclause unnamed members of objects of
// structure and union type do not participate in
// initialization. Unnamed members of structure objects have
// indeterminate value even after initialization.
for ; ; i[0]++ {
if i[0] >= nf {
return n
}
f = t.FieldByIndex(i)
if f.Name() != 0 || !f.Type().IsBitFieldType() {
n = n.Initializer.check(ctx, list, f.Type(), sc, f, off+f.Offset(), n, nil, inList)
i[0]++
break
}
}
}
}
return n
}
func spos(n Node) string {
p := n.Position()
p.Filename = filepath.Base(p.Filename)
return p.String()
}
func (n *InitializerList) checkUnion(ctx *context, list *[]*Initializer, t Type, sc StorageClass, off uintptr, designatorList *DesignatorList, inList bool) *InitializerList {
// trc("==== %v: t %v, off %v, dl %v, inList %v", n.Position(), t, off, designatorList != nil, inList)
t = t.underlyingType()
// trc("%v: %v, off %v", n.Position(), t, off) //TODO-
nf := t.NumField()
i := []int{0}
for pass := 0; n != nil; pass++ {
switch {
case designatorList == nil && !inList && n.Designation != nil:
designatorList = n.Designation.DesignatorList
fallthrough
case designatorList != nil:
d := designatorList.Designator
designatorList = designatorList.DesignatorList
var nm StringID
switch d.Case {
case DesignatorIndex: // '[' ConstantExpression ']'
panic(todo("", n.Position(), d.Position()))
case DesignatorField: // '.' IDENTIFIER
nm = d.Token2.Value
case DesignatorField2: // IDENTIFIER ':'
nm = d.Token.Value
default:
panic(todo(""))
}
f, xa, ok := t.FieldByName2(nm)
if !ok {
panic(todo("", d.Position()))
}
if !inList && pass == 0 {
n.Initializer.field0 = f
}
switch {
case len(xa) != 1:
var f2 Field
var off2 uintptr
for len(xa) != 1 {
f2 = t.FieldByIndex(xa[:1])
off2 += f2.Offset()
t = f2.Type()
xa = xa[1:]
}
next := n.Initializer.check(ctx, list, t, sc, f, off+off2+f.Offset(), n, designatorList, designatorList != nil)
if designatorList != nil && designatorList.DesignatorList != nil {
panic(todo("", n.Position(), d.Position()))
}
return next
default:
next := n.Initializer.check(ctx, list, f.Type(), sc, f, off+f.Offset(), n, designatorList, designatorList != nil)
if designatorList != nil && designatorList.DesignatorList != nil {
panic(todo("", n.Position(), d.Position()))
}
return next
}
default:
// [0], 6.7.8 Initialization
//
// 9 - Except where explicitly stated otherwise, for the
// purposes of this subclause unnamed members of objects of
// structure and union type do not participate in
// initialization. Unnamed members of structure objects have
// indeterminate value even after initialization.
for ; ; i[0]++ {
if i[0] >= nf {
panic(todo(""))
}
f := t.FieldByIndex(i)
if f.Name() != 0 || !f.Type().IsBitFieldType() {
next := n.Initializer.check(ctx, list, f.Type(), sc, f, off+f.Offset(), n, nil, inList)
return next
}
}
panic(todo("", n.Position()))
}
}
return nil
}
// Accept a single initializer, optionally enclosed in braces, but nested
// braces. Implements eg. [0]6.7.8.11.
//
// 42 // ok
// {42} // ok
// {{42}} // not ok
func (n *Initializer) single() *Initializer {
switch n.Case {
case InitializerExpr: // AssignmentExpression
return n
case InitializerInitList: // '{' InitializerList ',' '}'
if n.InitializerList == nil { //
return nil
}
if n.InitializerList.InitializerList == nil {
if in := n.InitializerList.Initializer; in.Case == InitializerExpr {
return in
}
}
}
return nil
}
// [0], 6.7.8 Initialization
func (n *InitializerList) check(ctx *context, list *[]*Initializer, t Type, sc StorageClass, off uintptr, designatorList *DesignatorList, inList bool) {
switch t.Kind() {
case Array, Vector:
if n == nil { // {}
if t.IsIncomplete() {
t.setLen(0)
}
return
}
n.checkArray(ctx, list, t, sc, off, designatorList, inList)
case Struct:
if n == nil { // {}
return
}
n.checkStruct(ctx, list, t, sc, off, designatorList, inList)
case Union:
if n == nil { // {}
return
}
n.checkUnion(ctx, list, t, sc, off, designatorList, inList)
default:
if n == nil || t == nil || t.Kind() == Invalid {
return
}
n.Initializer.check(ctx, list, t, sc, nil, off, nil, designatorList, inList)
}
}
func setLHS(lhs map[*Declarator]struct{}, rhs Node) {
inCall := 0
Inspect(rhs, func(n Node, enter bool) bool {
switch x := n.(type) {
case *PostfixExpression:
switch x.Case {
case PostfixExpressionCall: // PostfixExpression '(' ArgumentExpressionList ')'
switch {
case enter:
inCall++
if d := x.Declarator(); d != nil {
for v := range lhs {
d.setLHS(v)
}
}
default:
inCall--
}
}
case *PrimaryExpression:
if inCall != 0 || !enter {
break
}
if d := x.Declarator(); d != nil {
for v := range lhs {
d.setLHS(v)
}
}
}
return true
})
}
func (n *AssignmentExpression) check(ctx *context, isAsmArg bool) Operand {
if n == nil {
return noOperand
}
if n.Operand != nil {
return n.Operand
}
if ctx.cfg.TrackAssignments && n.AssignmentExpression != nil {
defer func() {
lhs := map[*Declarator]struct{}{}
Inspect(n.UnaryExpression, func(n Node, enter bool) bool {
if !enter {
return true
}
if x, ok := n.(*PrimaryExpression); ok {
lhs[x.Declarator()] = struct{}{}
}
return true
})
setLHS(lhs, n.AssignmentExpression)
}()
}
//TODO check for "modifiable lvalue" in left operand
n.Operand = noOperand
switch n.Case {
case AssignmentExpressionCond: // ConditionalExpression
n.Operand = n.ConditionalExpression.check(ctx, isAsmArg)
n.IsSideEffectsFree = n.ConditionalExpression.IsSideEffectsFree
case AssignmentExpressionAssign: // UnaryExpression '=' AssignmentExpression
l := n.UnaryExpression.check(ctx, isAsmArg)
if d := n.UnaryExpression.Declarator(); d != nil {
d.Read -= ctx.readDelta
}
if d := n.UnaryExpression.Operand.Declarator(); d != nil {
d.Write++
if l.Type().Kind() == Array && !d.IsParameter && l.Type().String() != "va_list" {
ctx.errNode(n.UnaryExpression, "assignment to expression with array type")
break
}
}
if !l.IsLValue() {
//TODO ctx.errNode(n.UnaryExpression, "expected lvalue")
break
}
r := n.AssignmentExpression.check(ctx, isAsmArg)
_ = r //TODO check assignability
n.Operand = l.(*lvalue).Operand
case AssignmentExpressionMul: // UnaryExpression "*=" AssignmentExpression
l := n.UnaryExpression.check(ctx, isAsmArg)
if d := n.UnaryExpression.Operand.Declarator(); d != nil {
d.SubjectOfAsgnOp = true
d.Read += ctx.readDelta
d.Write++
}
if !l.IsLValue() {
//TODO panic(n.Position().String()) // report error
break
}
r := n.AssignmentExpression.check(ctx, isAsmArg)
//TODO check assignability
if l.Type().IsArithmeticType() {
op, _ := usualArithmeticConversions(ctx, n, l, r, true)
n.promote = op.Type()
}
n.Operand = &operand{abi: &ctx.cfg.ABI, typ: l.Type()}
case AssignmentExpressionDiv: // UnaryExpression "/=" AssignmentExpression
l := n.UnaryExpression.check(ctx, isAsmArg)
if d := n.UnaryExpression.Operand.Declarator(); d != nil {
d.SubjectOfAsgnOp = true
d.Read += ctx.readDelta
d.Write++
}
if !l.IsLValue() {
//TODO panic(n.Position().String()) // report error
break
}
r := n.AssignmentExpression.check(ctx, isAsmArg)
//TODO check assignability
if l.Type().IsArithmeticType() {
op, _ := usualArithmeticConversions(ctx, n, l, r, true)
n.promote = op.Type()
}
n.Operand = &operand{abi: &ctx.cfg.ABI, typ: l.Type()}
case AssignmentExpressionMod: // UnaryExpression "%=" AssignmentExpression
l := n.UnaryExpression.check(ctx, isAsmArg)
if d := n.UnaryExpression.Operand.Declarator(); d != nil {
d.SubjectOfAsgnOp = true
d.Read += ctx.readDelta
d.Write++
}
if !l.IsLValue() {
//TODO panic(n.Position().String()) // report error
break
}
r := n.AssignmentExpression.check(ctx, isAsmArg)
//TODO check assignability
if l.Type().IsArithmeticType() {
op, _ := usualArithmeticConversions(ctx, n, l, r, true)
n.promote = op.Type()
}
n.Operand = &operand{abi: &ctx.cfg.ABI, typ: l.Type()}
case AssignmentExpressionAdd: // UnaryExpression "+=" AssignmentExpression
l := n.UnaryExpression.check(ctx, isAsmArg)
if d := n.UnaryExpression.Operand.Declarator(); d != nil {
d.SubjectOfAsgnOp = true
d.Read += ctx.readDelta
d.Write++
}
if !l.IsLValue() {
//TODO panic(n.Position().String()) // report error
break
}
r := n.AssignmentExpression.check(ctx, isAsmArg)
//TODO check assignability
n.promote = n.UnaryExpression.Operand.Type()
if l.Type().IsArithmeticType() {
op, _ := usualArithmeticConversions(ctx, n, l, r, true)
n.promote = op.Type()
}
n.Operand = &operand{abi: &ctx.cfg.ABI, typ: l.Type()}
case AssignmentExpressionSub: // UnaryExpression "-=" AssignmentExpression
l := n.UnaryExpression.check(ctx, isAsmArg)
if d := n.UnaryExpression.Operand.Declarator(); d != nil {
d.SubjectOfAsgnOp = true
d.Read += ctx.readDelta
d.Write++
}
if !l.IsLValue() {
//TODO panic(n.Position().String()) // report error
break
}
r := n.AssignmentExpression.check(ctx, isAsmArg)
//TODO check assignability
n.promote = n.UnaryExpression.Operand.Type()
if l.Type().IsArithmeticType() {
op, _ := usualArithmeticConversions(ctx, n, l, r, true)
n.promote = op.Type()
}
n.Operand = &operand{abi: &ctx.cfg.ABI, typ: l.Type()}
case AssignmentExpressionLsh: // UnaryExpression "<<=" AssignmentExpression
l := n.UnaryExpression.check(ctx, isAsmArg)
if d := n.UnaryExpression.Operand.Declarator(); d != nil {
d.SubjectOfAsgnOp = true
d.Read += ctx.readDelta
d.Write++
}
if !l.IsLValue() {
//TODO panic(n.Position().String()) // report error
break
}
r := n.AssignmentExpression.check(ctx, isAsmArg)
//TODO check assignability
if !l.Type().IsIntegerType() || !r.Type().IsIntegerType() {
//TODO report error
break
}
n.promote = r.integerPromotion(ctx, n).Type()
n.Operand = (&operand{abi: &ctx.cfg.ABI, typ: l.Type()}).integerPromotion(ctx, n)
case AssignmentExpressionRsh: // UnaryExpression ">>=" AssignmentExpression
l := n.UnaryExpression.check(ctx, isAsmArg)
if d := n.UnaryExpression.Operand.Declarator(); d != nil {
d.SubjectOfAsgnOp = true
d.Read += ctx.readDelta
d.Write++
}
if !l.IsLValue() {
//TODO panic(n.Position().String()) // report error
break
}
r := n.AssignmentExpression.check(ctx, isAsmArg)
//TODO check assignability
if !l.Type().IsIntegerType() || !r.Type().IsIntegerType() {
//TODO report error
break
}
n.promote = r.integerPromotion(ctx, n).Type()
n.Operand = (&operand{abi: &ctx.cfg.ABI, typ: l.Type()}).integerPromotion(ctx, n)
case AssignmentExpressionAnd: // UnaryExpression "&=" AssignmentExpression
l := n.UnaryExpression.check(ctx, isAsmArg)
if d := n.UnaryExpression.Operand.Declarator(); d != nil {
d.SubjectOfAsgnOp = true
d.Read += ctx.readDelta
d.Write++
}
if !l.IsLValue() {
//TODO panic(n.Position().String()) // report error
break
}
r := n.AssignmentExpression.check(ctx, isAsmArg)
//TODO check assignability
if !l.Type().IsIntegerType() || !r.Type().IsIntegerType() {
//TODO report error
break
}
op, _ := usualArithmeticConversions(ctx, n, l, r, true)
n.promote = op.Type()
n.Operand = &operand{abi: &ctx.cfg.ABI, typ: l.Type()}
case AssignmentExpressionXor: // UnaryExpression "^=" AssignmentExpression
l := n.UnaryExpression.check(ctx, isAsmArg)
if d := n.UnaryExpression.Operand.Declarator(); d != nil {
d.SubjectOfAsgnOp = true
d.Read += ctx.readDelta
d.Write++
}
if !l.IsLValue() {
//TODO panic(n.Position().String()) // report error
break
}
r := n.AssignmentExpression.check(ctx, isAsmArg)
//TODO check assignability
if !l.Type().IsIntegerType() || !r.Type().IsIntegerType() {
//TODO report error
break
}
op, _ := usualArithmeticConversions(ctx, n, l, r, true)
n.promote = op.Type()
n.Operand = &operand{abi: &ctx.cfg.ABI, typ: l.Type()}
case AssignmentExpressionOr: // UnaryExpression "|=" AssignmentExpression
l := n.UnaryExpression.check(ctx, isAsmArg)
if d := n.UnaryExpression.Operand.Declarator(); d != nil {
d.SubjectOfAsgnOp = true
d.Read += ctx.readDelta
d.Write++
}
if !l.IsLValue() {
//TODO panic(n.Position().String()) // report error
break
}
r := n.AssignmentExpression.check(ctx, isAsmArg)
//TODO check assignability
if !l.Type().IsIntegerType() || !r.Type().IsIntegerType() {
//TODO report error
break
}
op, _ := usualArithmeticConversions(ctx, n, l, r, true)
n.promote = op.Type()
n.Operand = &operand{abi: &ctx.cfg.ABI, typ: l.Type()}
default:
panic(todo(""))
}
return n.Operand
}
func (n *UnaryExpression) check(ctx *context, isAsmArg bool) Operand {
if n == nil {
return noOperand
}
n.Operand = noOperand //TODO-
switch n.Case {
case UnaryExpressionPostfix: // PostfixExpression
n.Operand = n.PostfixExpression.check(ctx, false, isAsmArg)
n.IsSideEffectsFree = n.PostfixExpression.IsSideEffectsFree
case UnaryExpressionInc: // "++" UnaryExpression
op := n.UnaryExpression.check(ctx, isAsmArg)
if d := op.Declarator(); d != nil {
d.SubjectOfIncDec = true
d.Read += ctx.readDelta
d.Write++
}
n.Operand = &operand{abi: &ctx.cfg.ABI, typ: op.Type()}
case UnaryExpressionDec: // "--" UnaryExpression
op := n.UnaryExpression.check(ctx, isAsmArg)
if d := op.Declarator(); d != nil {
d.SubjectOfIncDec = true
d.Read += ctx.readDelta
d.Write++
}
n.Operand = &operand{abi: &ctx.cfg.ABI, typ: op.Type()}
case UnaryExpressionAddrof: // '&' CastExpression
ctx.not(n, mIntConstExpr)
op := n.CastExpression.addrOf(ctx)
n.IsSideEffectsFree = n.CastExpression.IsSideEffectsFree
if op.Type().IsBitFieldType() {
//TODO report error
break
}
d := n.CastExpression.Declarator()
if d != nil {
setAddressTaken(n, d, "'&' CastExpression")
if d.td.register() {
//TODO report error
}
}
// [0], 6.5.3.2
//
// The operand of the unary & operator shall be either a
// function designator, the result of a [] or unary * operator,
// or an lvalue that designates an object that is not a
// bit-field and is not declared with the register
// storage-class specifier.
//TODO
if x, ok := op.(*funcDesignator); ok {
n.Operand = x
break
}
n.Operand = op
case UnaryExpressionDeref: // '*' CastExpression
ctx.not(n, mIntConstExpr)
op := n.CastExpression.check(ctx, isAsmArg)
n.IsSideEffectsFree = n.CastExpression.IsSideEffectsFree
if x, ok := op.(*funcDesignator); ok {
n.Operand = x
break
}
if op.Type().Kind() == Function {
n.Operand = op
break
}
if op.Type().Decay().Kind() != Ptr {
//TODO report error
break
}
n.Operand = &lvalue{Operand: &operand{abi: &ctx.cfg.ABI, typ: op.Type().Elem()}}
case UnaryExpressionPlus: // '+' CastExpression
op := n.CastExpression.check(ctx, isAsmArg)
n.IsSideEffectsFree = n.CastExpression.IsSideEffectsFree
if op == nil {
//TODO report error
break
}
if !op.Type().IsArithmeticType() {
//TODO report error
break
}
if op.Type().IsIntegerType() {
op = op.integerPromotion(ctx, n)
}
n.Operand = op
case UnaryExpressionMinus: // '-' CastExpression
op := n.CastExpression.check(ctx, isAsmArg)
n.IsSideEffectsFree = n.CastExpression.IsSideEffectsFree
if op == nil {
//TODO report error
break
}
if op.Type().Kind() == Vector {
n.Operand = &operand{abi: &ctx.cfg.ABI, typ: op.Type()}
break
}
if !op.Type().IsArithmeticType() {
//TODO report error
break
}
if op.Type().IsIntegerType() {
op = op.integerPromotion(ctx, n)
}
if v := op.Value(); v != nil {
op = (&operand{abi: &ctx.cfg.ABI, typ: op.Type(), value: v.neg()}).normalize(ctx, n)
}
n.Operand = op
case UnaryExpressionCpl: // '~' CastExpression
op := n.CastExpression.check(ctx, isAsmArg)
n.IsSideEffectsFree = n.CastExpression.IsSideEffectsFree
if op.Type().Kind() == Vector {
if !op.Type().Elem().IsIntegerType() {
ctx.errNode(n, "operand must be integer")
}
n.Operand = &operand{abi: &ctx.cfg.ABI, typ: op.Type()}
break
}
if op.Type().IsComplexType() {
n.Operand = op
break
}
if !op.Type().IsIntegerType() {
ctx.errNode(n, "operand must be integer")
break
}
op = op.integerPromotion(ctx, n)
if v := op.Value(); v != nil {
op = (&operand{abi: &ctx.cfg.ABI, typ: op.Type(), value: v.cpl()}).normalize(ctx, n)
}
n.Operand = op
case UnaryExpressionNot: // '!' CastExpression
op := n.CastExpression.check(ctx, isAsmArg)
n.IsSideEffectsFree = n.CastExpression.IsSideEffectsFree
op2 := &operand{abi: &ctx.cfg.ABI, typ: ctx.cfg.ABI.Type(Int)}
switch {
case op.IsZero():
op2.value = Int64Value(1)
case op.IsNonZero():
op2.value = Int64Value(0)
}
n.Operand = op2
case UnaryExpressionSizeofExpr: // "sizeof" UnaryExpression
n.IsSideEffectsFree = true
rd := ctx.readDelta
// [0]6.5.3.4, 2: If the type of the operand is a variable length array type,
// the operand is evaluated; otherwise, the operand is not evaluated and the
// result is an integer constant.
switch op := n.UnaryExpression.Operand; {
case op != nil && op.Type() != nil && op.Type().IsVLA():
ctx.readDelta = 1
default:
ctx.readDelta = 0
}
ctx.push(ctx.mode &^ mIntConstExpr)
op := n.UnaryExpression.check(ctx, isAsmArg)
ctx.pop()
ctx.readDelta = rd
if op.Type().IsIncomplete() {
break
}
sz := op.Type().Size()
if d := n.UnaryExpression.Declarator(); d != nil && d.IsParameter {
sz = op.Type().Decay().Size()
}
n.Operand = (&operand{abi: &ctx.cfg.ABI, typ: ctx.cfg.ABI.Type(ULongLong), value: Uint64Value(sz)}).convertTo(ctx, n, sizeT(ctx, n.lexicalScope, n.Token))
case UnaryExpressionSizeofType: // "sizeof" '(' TypeName ')'
n.IsSideEffectsFree = true
rd := ctx.readDelta
ctx.readDelta = 0
ctx.push(ctx.mode)
if ctx.mode&mIntConstExpr != 0 {
ctx.mode |= mIntConstExprAnyCast
}
t := n.TypeName.check(ctx, false, false, nil)
ctx.pop()
ctx.readDelta = rd
if t.IsIncomplete() {
break
}
n.Operand = (&operand{abi: &ctx.cfg.ABI, typ: ctx.cfg.ABI.Type(ULongLong), value: Uint64Value(t.Size())}).convertTo(ctx, n, sizeT(ctx, n.lexicalScope, n.Token))
case UnaryExpressionLabelAddr: // "&&" IDENTIFIER
abi := &ctx.cfg.ABI
n.Operand = &operand{abi: abi, typ: abi.Ptr(n, abi.Type(Void))}
n.IsSideEffectsFree = true
ctx.not(n, mIntConstExpr)
f := ctx.checkFn
if f == nil {
//TODO report error
break
}
if f.ComputedGotos == nil {
f.ComputedGotos = map[StringID]*UnaryExpression{}
}
f.ComputedGotos[n.Token2.Value] = n
case UnaryExpressionAlignofExpr: // "_Alignof" UnaryExpression
n.IsSideEffectsFree = true
ctx.push(ctx.mode &^ mIntConstExpr)
op := n.UnaryExpression.check(ctx, isAsmArg)
n.Operand = (&operand{abi: &ctx.cfg.ABI, typ: ctx.cfg.ABI.Type(ULongLong), value: Uint64Value(op.Type().Align())}).convertTo(ctx, n, sizeT(ctx, n.lexicalScope, n.Token))
ctx.pop()
case UnaryExpressionAlignofType: // "_Alignof" '(' TypeName ')'
n.IsSideEffectsFree = true
ctx.push(ctx.mode)
if ctx.mode&mIntConstExpr != 0 {
ctx.mode |= mIntConstExprAnyCast
}
t := n.TypeName.check(ctx, false, false, nil)
n.Operand = (&operand{abi: &ctx.cfg.ABI, typ: ctx.cfg.ABI.Type(ULongLong), value: Uint64Value(t.Align())}).convertTo(ctx, n, sizeT(ctx, n.lexicalScope, n.Token))
ctx.pop()
case UnaryExpressionImag: // "__imag__" UnaryExpression
ctx.not(n, mIntConstExpr)
n.UnaryExpression.check(ctx, isAsmArg)
n.IsSideEffectsFree = n.UnaryExpression.IsSideEffectsFree
n.Operand = complexPart(ctx, n.UnaryExpression.Operand)
case UnaryExpressionReal: // "__real__" UnaryExpression
ctx.not(n, mIntConstExpr)
n.UnaryExpression.check(ctx, isAsmArg)
n.IsSideEffectsFree = n.UnaryExpression.IsSideEffectsFree
n.Operand = complexPart(ctx, n.UnaryExpression.Operand)
default:
panic(todo(""))
}
return n.Operand
}
func complexPart(ctx *context, op Operand) Operand {
var k Kind
switch op.Type().Kind() {
case ComplexChar:
k = Char
case ComplexDouble:
k = Double
case ComplexFloat:
k = Float
case ComplexInt:
k = Int
case ComplexLong:
k = Long
case ComplexLongDouble:
k = LongDouble
case ComplexLongLong:
k = LongLong
case ComplexShort:
k = Short
case ComplexUInt:
k = UInt
case ComplexULong:
k = ULong
case ComplexULongLong:
k = ULongLong
case ComplexUShort:
k = UShort
default:
//TODO report err
return noOperand
}
abi := &ctx.cfg.ABI
typ := abi.Type(k)
return &operand{abi: abi, typ: typ}
}
func sizeT(ctx *context, s Scope, tok Token) Type {
if t := ctx.sizeT; t != nil {
return t
}
t := ctx.stddef(idSizeT, s, tok)
if t.Kind() != Invalid {
ctx.sizeT = t
}
return t
}
func (n *CastExpression) addrOf(ctx *context) Operand {
if n == nil {
return noOperand
}
n.Operand = noOperand //TODO-
switch n.Case {
case CastExpressionUnary: // UnaryExpression
n.Operand = n.UnaryExpression.addrOf(ctx)
n.IsSideEffectsFree = n.UnaryExpression.IsSideEffectsFree
case CastExpressionCast: // '(' TypeName ')' CastExpression
panic(n.Position().String())
default:
panic(todo(""))
}
return n.Operand
}
func (n *UnaryExpression) addrOf(ctx *context) Operand {
if n == nil {
return noOperand
}
n.Operand = noOperand //TODO-
switch n.Case {
case UnaryExpressionPostfix: // PostfixExpression
n.Operand = n.PostfixExpression.addrOf(ctx)
n.IsSideEffectsFree = n.PostfixExpression.IsSideEffectsFree
case UnaryExpressionInc: // "++" UnaryExpression
panic(n.Position().String())
case UnaryExpressionDec: // "--" UnaryExpression
panic(n.Position().String())
case UnaryExpressionAddrof: // '&' CastExpression
panic(n.Position().String())
case UnaryExpressionDeref: // '*' CastExpression
n.Operand = n.CastExpression.check(ctx, false)
n.IsSideEffectsFree = n.CastExpression.IsSideEffectsFree
case UnaryExpressionPlus: // '+' CastExpression
panic(n.Position().String())
case UnaryExpressionMinus: // '-' CastExpression
panic(n.Position().String())
case UnaryExpressionCpl: // '~' CastExpression
panic(n.Position().String())
case UnaryExpressionNot: // '!' CastExpression
panic(n.Position().String())
case UnaryExpressionSizeofExpr: // "sizeof" UnaryExpression
panic(n.Position().String())
case UnaryExpressionSizeofType: // "sizeof" '(' TypeName ')'
panic(n.Position().String())
case UnaryExpressionLabelAddr: // "&&" IDENTIFIER
panic(n.Position().String())
case UnaryExpressionAlignofExpr: // "_Alignof" UnaryExpression
panic(n.Position().String())
case UnaryExpressionAlignofType: // "_Alignof" '(' TypeName ')'
panic(n.Position().String())
case UnaryExpressionImag: // "__imag__" UnaryExpression
n.Operand = n.UnaryExpression.addrOf(ctx)
n.IsSideEffectsFree = n.UnaryExpression.IsSideEffectsFree
case UnaryExpressionReal: // "__real__" UnaryExpression
n.Operand = n.UnaryExpression.addrOf(ctx)
n.IsSideEffectsFree = n.UnaryExpression.IsSideEffectsFree
default:
panic(todo(""))
}
return n.Operand
}
func (n *PostfixExpression) addrOf(ctx *context) Operand {
if n == nil {
return noOperand
}
n.Operand = noOperand //TODO-
switch n.Case {
case PostfixExpressionPrimary: // PrimaryExpression
n.Operand = n.PrimaryExpression.addrOf(ctx)
n.IsSideEffectsFree = n.PrimaryExpression.IsSideEffectsFree
case PostfixExpressionIndex: // PostfixExpression '[' Expression ']'
pe := n.PostfixExpression.check(ctx, false, false)
if d := n.PostfixExpression.Declarator(); d != nil && d.Type().Kind() != Ptr {
setAddressTaken(n, d, "PostfixExpression '[' Expression ']'")
d.Read += ctx.readDelta
}
e := n.Expression.check(ctx, false)
n.IsSideEffectsFree = n.PostfixExpression.IsSideEffectsFree && n.Expression.IsSideEffectsFree
t := pe.Type().Decay()
if t.Kind() == Invalid {
break
}
if t.Kind() == Ptr {
if t := e.Type(); t.Kind() != Invalid && !t.IsIntegerType() {
ctx.errNode(n.Expression, "index must be integer type, have %v", e.Type())
break
}
n.Operand = n.indexAddr(ctx, &n.Token, pe, e)
break
}
if pe.Type().Kind() == Vector {
if t := e.Type(); t.Kind() != Invalid && !t.IsIntegerType() {
ctx.errNode(n.Expression, "index must be integer type, have %v", e.Type())
break
}
n.Operand = n.index(ctx, pe, e)
break
}
t = e.Type().Decay()
if t.Kind() == Invalid {
break
}
if t.Kind() == Ptr {
if t := pe.Type(); t.Kind() != Invalid && !t.IsIntegerType() {
ctx.errNode(n.Expression, "index must be integer type, have %v", pe.Type())
break
}
n.Operand = n.indexAddr(ctx, &n.Token, e, pe)
break
}
ctx.errNode(n, "invalid index expression %v[%v]", pe.Type(), e.Type())
case PostfixExpressionCall: // PostfixExpression '(' ArgumentExpressionList ')'
panic(n.Position().String())
case PostfixExpressionSelect: // PostfixExpression '.' IDENTIFIER
op := n.PostfixExpression.addrOf(ctx)
n.IsSideEffectsFree = n.PostfixExpression.IsSideEffectsFree
if d := n.PostfixExpression.Declarator(); d != nil {
setAddressTaken(n, d, "PostfixExpression '.' IDENTIFIER")
d.Read += ctx.readDelta
}
st := op.Type().Elem()
if k := st.Kind(); k == Invalid || k != Struct && k != Union {
//TODO report error
break
}
f, ok := st.FieldByName(n.Token2.Value)
if !ok {
ctx.errNode(&n.Token2, "unknown or ambiguous field: %s", n.Token2.Value)
break
}
n.Field = f
ft := f.Type()
if f.IsBitField() {
//TODO report error
break
}
ot := ctx.cfg.ABI.Ptr(n, ft)
switch {
case op.IsConst():
switch x := op.Value().(type) {
case Uint64Value:
n.Operand = &operand{abi: &ctx.cfg.ABI, typ: ot, value: x + Uint64Value(f.Offset())}
return n.Operand
case nil:
// nop
default:
//TODO panic(todo(" %v: %T", n.Position(), x))
}
fallthrough
default:
n.Operand = &lvalue{Operand: &operand{abi: &ctx.cfg.ABI, typ: ot, offset: op.Offset() + f.Offset()}, declarator: op.Declarator()}
}
case PostfixExpressionPSelect: // PostfixExpression "->" IDENTIFIER
op := n.PostfixExpression.check(ctx, false, false)
n.IsSideEffectsFree = n.PostfixExpression.IsSideEffectsFree
if d := n.PostfixExpression.Declarator(); d != nil {
d.Read += ctx.readDelta
}
t := op.Type()
if k := t.Decay().Kind(); k == Invalid || k != Ptr {
//TODO report error
break
}
st := t.Elem()
if k := st.Kind(); k == Invalid || k != Struct && k != Union {
//TODO report error
break
}
f, ok := st.FieldByName(n.Token2.Value)
if !ok {
//TODO report error
break
}
n.Field = f
ft := f.Type()
if f.IsBitField() {
//TODO report error
break
}
ot := ctx.cfg.ABI.Ptr(n, ft)
switch {
case op.IsConst():
switch x := op.Value().(type) {
case Uint64Value:
n.Operand = &operand{abi: &ctx.cfg.ABI, typ: ot, value: x + Uint64Value(f.Offset())}
return n.Operand
case nil:
// nop
default:
panic(todo(" %T", x))
}
fallthrough
default:
n.Operand = &lvalue{Operand: &operand{abi: &ctx.cfg.ABI, typ: ot, offset: op.Offset() + f.Offset()}, declarator: op.Declarator()}
}
case PostfixExpressionInc: // PostfixExpression "++"
panic(n.Position().String())
case PostfixExpressionDec: // PostfixExpression "--"
panic(n.Position().String())
case PostfixExpressionComplit: // '(' TypeName ')' '{' InitializerList ',' '}'
//TODO IsSideEffectsFree
if f := ctx.checkFn; f != nil {
f.CompositeLiterals = append(f.CompositeLiterals, n)
}
t := n.TypeName.check(ctx, false, false, nil)
var v *InitializerValue
if n.InitializerList != nil {
n.InitializerList.isConst = true
n.InitializerList.check(ctx, &n.InitializerList.list, t, Automatic, 0, nil, false)
n.InitializerList.setConstZero()
v = &InitializerValue{typ: ctx.cfg.ABI.Ptr(n, t), initializer: n.InitializerList}
}
n.Operand = &lvalue{Operand: (&operand{abi: &ctx.cfg.ABI, typ: ctx.cfg.ABI.Ptr(n, t), value: v}).normalize(ctx, n)}
case PostfixExpressionTypeCmp: // "__builtin_types_compatible_p" '(' TypeName ',' TypeName ')'
panic(n.Position().String())
default:
panic(todo(""))
}
return n.Operand
}
func (n *PostfixExpression) indexAddr(ctx *context, nd Node, pe, e Operand) Operand {
var x uintptr
hasx := false
switch v := e.Value().(type) {
case Int64Value:
x = uintptr(v)
hasx = true
case Uint64Value:
x = uintptr(v)
hasx = true
}
off := x * pe.Type().Elem().Size()
switch y := pe.Value().(type) {
case StringValue, WideStringValue:
if hasx {
return &lvalue{Operand: &operand{abi: &ctx.cfg.ABI, typ: ctx.cfg.ABI.Ptr(n, pe.Type().Elem()), value: pe.Value(), offset: off}}
}
case Uint64Value:
if hasx {
return &lvalue{Operand: &operand{abi: &ctx.cfg.ABI, typ: ctx.cfg.ABI.Ptr(n, pe.Type().Elem()), value: y + Uint64Value(off)}}
}
}
if d := pe.Declarator(); d != nil && hasx {
r := &lvalue{Operand: &operand{abi: &ctx.cfg.ABI, typ: ctx.cfg.ABI.Ptr(n, pe.Type().Elem()), offset: pe.Offset() + off}, declarator: d}
return r
}
return &lvalue{Operand: &operand{abi: &ctx.cfg.ABI, typ: ctx.cfg.ABI.Ptr(n, pe.Type().Elem())}}
}
func (n *PrimaryExpression) addrOf(ctx *context) Operand {
if n == nil {
return noOperand
}
n.Operand = noOperand //TODO-
switch n.Case {
case PrimaryExpressionIdent: // IDENTIFIER
n.IsSideEffectsFree = true
n.check(ctx, false, false)
if d := n.Operand.Declarator(); d != nil {
switch d.Type().Kind() {
case Function:
// nop //TODO ?
default:
setAddressTaken(n, d, "&IDENTIFIER")
n.Operand = &lvalue{Operand: &operand{abi: &ctx.cfg.ABI, typ: ctx.cfg.ABI.Ptr(n, d.Type())}, declarator: d}
}
return n.Operand
}
if ctx.cfg.RejectLateBinding && !ctx.cfg.ignoreUndefinedIdentifiers {
ctx.errNode(n, "front-end: undefined: %s", n.Token.Value)
return noOperand
}
//TODO
case PrimaryExpressionInt: // INTCONST
panic(n.Position().String())
case PrimaryExpressionFloat: // FLOATCONST
panic(n.Position().String())
case PrimaryExpressionEnum: // ENUMCONST
panic(n.Position().String())
case PrimaryExpressionChar: // CHARCONST
panic(n.Position().String())
case PrimaryExpressionLChar: // LONGCHARCONST
panic(n.Position().String())
case PrimaryExpressionString: // STRINGLITERAL
panic(n.Position().String())
case PrimaryExpressionLString: // LONGSTRINGLITERAL
panic(n.Position().String())
case PrimaryExpressionExpr: // '(' Expression ')'
n.Operand = n.Expression.addrOf(ctx)
n.IsSideEffectsFree = n.Expression.IsSideEffectsFree
case PrimaryExpressionStmt: // '(' CompoundStatement ')'
panic(n.Position().String())
default:
panic(todo(""))
}
return n.Operand
}
func (n *Expression) addrOf(ctx *context) Operand {
if n == nil {
return noOperand
}
n.Operand = noOperand //TODO-
switch n.Case {
case ExpressionAssign: // AssignmentExpression
n.Operand = n.AssignmentExpression.addrOf(ctx)
n.IsSideEffectsFree = n.AssignmentExpression.IsSideEffectsFree
case ExpressionComma: // Expression ',' AssignmentExpression
panic(n.Position().String())
default:
panic(todo(""))
}
return n.Operand
}
func (n *AssignmentExpression) addrOf(ctx *context) Operand {
if n == nil {
return noOperand
}
n.Operand = noOperand //TODO-
switch n.Case {
case AssignmentExpressionCond: // ConditionalExpression
n.Operand = n.ConditionalExpression.addrOf(ctx)
n.IsSideEffectsFree = n.ConditionalExpression.IsSideEffectsFree
case AssignmentExpressionAssign: // UnaryExpression '=' AssignmentExpression
panic(n.Position().String())
case AssignmentExpressionMul: // UnaryExpression "*=" AssignmentExpression
panic(n.Position().String())
case AssignmentExpressionDiv: // UnaryExpression "/=" AssignmentExpression
panic(n.Position().String())
case AssignmentExpressionMod: // UnaryExpression "%=" AssignmentExpression
panic(n.Position().String())
case AssignmentExpressionAdd: // UnaryExpression "+=" AssignmentExpression
panic(n.Position().String())
case AssignmentExpressionSub: // UnaryExpression "-=" AssignmentExpression
panic(n.Position().String())
case AssignmentExpressionLsh: // UnaryExpression "<<=" AssignmentExpression
panic(n.Position().String())
case AssignmentExpressionRsh: // UnaryExpression ">>=" AssignmentExpression
panic(n.Position().String())
case AssignmentExpressionAnd: // UnaryExpression "&=" AssignmentExpression
panic(n.Position().String())
case AssignmentExpressionXor: // UnaryExpression "^=" AssignmentExpression
panic(n.Position().String())
case AssignmentExpressionOr: // UnaryExpression "|=" AssignmentExpression
panic(n.Position().String())
default:
panic(todo(""))
}
return n.Operand
}
func (n *ConditionalExpression) addrOf(ctx *context) Operand {
if n == nil {
return noOperand
}
n.Operand = noOperand //TODO-
switch n.Case {
case ConditionalExpressionLOr: // LogicalOrExpression
n.Operand = n.LogicalOrExpression.addrOf(ctx)
n.IsSideEffectsFree = n.LogicalOrExpression.IsSideEffectsFree
case ConditionalExpressionCond: // LogicalOrExpression '?' Expression ':' ConditionalExpression
panic(n.Position().String())
default:
panic(todo(""))
}
return n.Operand
}
func (n *LogicalOrExpression) addrOf(ctx *context) Operand {
if n == nil {
return noOperand
}
n.Operand = noOperand //TODO-
switch n.Case {
case LogicalOrExpressionLAnd: // LogicalAndExpression
n.Operand = n.LogicalAndExpression.addrOf(ctx)
n.IsSideEffectsFree = n.LogicalAndExpression.IsSideEffectsFree
case LogicalOrExpressionLOr: // LogicalOrExpression "||" LogicalAndExpression
panic(n.Position().String())
default:
panic(todo(""))
}
return n.Operand
}
func (n *LogicalAndExpression) addrOf(ctx *context) Operand {
if n == nil {
return noOperand
}
n.Operand = noOperand //TODO-
switch n.Case {
case LogicalAndExpressionOr: // InclusiveOrExpression
n.Operand = n.InclusiveOrExpression.addrOf(ctx)
n.IsSideEffectsFree = n.InclusiveOrExpression.IsSideEffectsFree
case LogicalAndExpressionLAnd: // LogicalAndExpression "&&" InclusiveOrExpression
panic(n.Position().String())
default:
panic(todo(""))
}
return n.Operand
}
func (n *InclusiveOrExpression) addrOf(ctx *context) Operand {
if n == nil {
return noOperand
}
n.Operand = noOperand //TODO-
switch n.Case {
case InclusiveOrExpressionXor: // ExclusiveOrExpression
n.Operand = n.ExclusiveOrExpression.addrOf(ctx)
n.IsSideEffectsFree = n.ExclusiveOrExpression.IsSideEffectsFree
case InclusiveOrExpressionOr: // InclusiveOrExpression '|' ExclusiveOrExpression
panic(n.Position().String())
default:
panic(todo(""))
}
return n.Operand
}
func (n *ExclusiveOrExpression) addrOf(ctx *context) Operand {
if n == nil {
return noOperand
}
n.Operand = noOperand //TODO-
switch n.Case {
case ExclusiveOrExpressionAnd: // AndExpression
n.Operand = n.AndExpression.addrOf(ctx)
n.IsSideEffectsFree = n.AndExpression.IsSideEffectsFree
case ExclusiveOrExpressionXor: // ExclusiveOrExpression '^' AndExpression
panic(n.Position().String())
default:
panic(todo(""))
}
return n.Operand
}
func (n *AndExpression) addrOf(ctx *context) Operand {
if n == nil {
return noOperand
}
n.Operand = noOperand //TODO-
switch n.Case {
case AndExpressionEq: // EqualityExpression
n.Operand = n.EqualityExpression.addrOf(ctx)
n.IsSideEffectsFree = n.EqualityExpression.IsSideEffectsFree
case AndExpressionAnd: // AndExpression '&' EqualityExpression
panic(n.Position().String())
default:
panic(todo(""))
}
return n.Operand
}
func (n *EqualityExpression) addrOf(ctx *context) Operand {
if n == nil {
return noOperand
}
n.Operand = noOperand //TODO-
switch n.Case {
case EqualityExpressionRel: // RelationalExpression
n.Operand = n.RelationalExpression.addrOf(ctx)
n.IsSideEffectsFree = n.RelationalExpression.IsSideEffectsFree
case EqualityExpressionEq: // EqualityExpression "==" RelationalExpression
panic(n.Position().String())
case EqualityExpressionNeq: // EqualityExpression "!=" RelationalExpression
panic(n.Position().String())
default:
panic(todo(""))
}
return n.Operand
}
func (n *RelationalExpression) addrOf(ctx *context) Operand {
if n == nil {
return noOperand
}
n.Operand = noOperand //TODO-
switch n.Case {
case RelationalExpressionShift: // ShiftExpression
n.Operand = n.ShiftExpression.addrOf(ctx)
n.IsSideEffectsFree = n.ShiftExpression.IsSideEffectsFree
case RelationalExpressionLt: // RelationalExpression '<' ShiftExpression
panic(n.Position().String())
case RelationalExpressionGt: // RelationalExpression '>' ShiftExpression
panic(n.Position().String())
case RelationalExpressionLeq: // RelationalExpression "<=" ShiftExpression
panic(n.Position().String())
case RelationalExpressionGeq: // RelationalExpression ">=" ShiftExpression
panic(n.Position().String())
default:
panic(todo(""))
}
return n.Operand
}
func (n *ShiftExpression) addrOf(ctx *context) Operand {
if n == nil {
return noOperand
}
n.Operand = noOperand //TODO-
switch n.Case {
case ShiftExpressionAdd: // AdditiveExpression
n.Operand = n.AdditiveExpression.addrOf(ctx)
n.IsSideEffectsFree = n.AdditiveExpression.IsSideEffectsFree
case ShiftExpressionLsh: // ShiftExpression "<<" AdditiveExpression
panic(n.Position().String())
case ShiftExpressionRsh: // ShiftExpression ">>" AdditiveExpression
panic(n.Position().String())
default:
panic(todo(""))
}
return n.Operand
}
func (n *AdditiveExpression) addrOf(ctx *context) Operand {
if n == nil {
return noOperand
}
n.Operand = noOperand //TODO-
switch n.Case {
case AdditiveExpressionMul: // MultiplicativeExpression
n.Operand = n.MultiplicativeExpression.addrOf(ctx)
n.IsSideEffectsFree = n.MultiplicativeExpression.IsSideEffectsFree
case AdditiveExpressionAdd: // AdditiveExpression '+' MultiplicativeExpression
panic(n.Position().String())
case AdditiveExpressionSub: // AdditiveExpression '-' MultiplicativeExpression
panic(n.Position().String())
default:
panic(todo(""))
}
return n.Operand
}
func (n *MultiplicativeExpression) addrOf(ctx *context) Operand {
if n == nil {
return noOperand
}
n.Operand = noOperand //TODO-
switch n.Case {
case MultiplicativeExpressionCast: // CastExpression
n.Operand = n.CastExpression.addrOf(ctx)
n.IsSideEffectsFree = n.CastExpression.IsSideEffectsFree
case MultiplicativeExpressionMul: // MultiplicativeExpression '*' CastExpression
panic(n.Position().String())
case MultiplicativeExpressionDiv: // MultiplicativeExpression '/' CastExpression
panic(n.Position().String())
case MultiplicativeExpressionMod: // MultiplicativeExpression '%' CastExpression
panic(n.Position().String())
default:
panic(todo(""))
}
return n.Operand
}
func (n *TypeName) check(ctx *context, inUnion, isPacked bool, list *[]*TypeSpecifier) Type {
if n == nil {
return noType
}
n.typ = n.SpecifierQualifierList.check(ctx, inUnion, isPacked, list)
if n.AbstractDeclarator != nil {
n.typ = n.AbstractDeclarator.check(ctx, n.typ)
}
for list := n.SpecifierQualifierList; list != nil; list = list.SpecifierQualifierList {
if expr, ok := list.AttributeSpecifier.Has(idVectorSize, idVectorSize2); ok {
n.vectorize(ctx, expr)
break
}
}
return n.typ
}
func (n *TypeName) vectorize(ctx *context, expr *ExpressionList) {
dst := &n.typ
elem := n.typ
switch n.typ.Kind() {
case Function:
dst = &n.typ.(*functionType).result
elem = n.typ.Result()
}
sz := expr.vectorSize(ctx)
if sz == 0 {
sz = elem.Size()
}
if sz%elem.Size() != 0 {
ctx.errNode(expr, "vector size must be a multiple of the base size")
}
b := n.typ.base()
b.size = sz
b.kind = byte(Vector)
*dst = &vectorType{
typeBase: b,
elem: elem,
length: sz / elem.Size(),
}
}
func (n *AbstractDeclarator) check(ctx *context, typ Type) Type {
if n == nil {
return typ
}
n.typ = noType //TODO-
switch n.Case {
case AbstractDeclaratorPtr: // Pointer
n.typ = n.Pointer.check(ctx, typ)
case AbstractDeclaratorDecl: // Pointer DirectAbstractDeclarator
typ = n.Pointer.check(ctx, typ)
n.typ = n.DirectAbstractDeclarator.check(ctx, typ)
default:
panic(todo(""))
}
return n.typ
}
func (n *DirectAbstractDeclarator) check(ctx *context, typ Type) Type {
if n == nil {
return typ
}
switch n.Case {
case DirectAbstractDeclaratorDecl: // '(' AbstractDeclarator ')'
if n.AbstractDeclarator == nil {
// [0], 6.7.6, 128)
//
// As indicated by the syntax, empty parentheses in a
// type name are interpreted as function with no
// parameter specification, rather than redundant
// parentheses around the omitted identifier.
panic(todo("")) //TODO
}
return n.AbstractDeclarator.check(ctx, typ)
case DirectAbstractDeclaratorArr: // DirectAbstractDeclarator '[' TypeQualifiers AssignmentExpression ']'
return n.DirectAbstractDeclarator.check(ctx, checkArray(ctx, &n.Token, typ, n.AssignmentExpression, true, false))
case DirectAbstractDeclaratorStaticArr: // DirectAbstractDeclarator '[' "static" TypeQualifiers AssignmentExpression ']'
return n.DirectAbstractDeclarator.check(ctx, checkArray(ctx, &n.Token, typ, n.AssignmentExpression, false, false))
case DirectAbstractDeclaratorArrStatic: // DirectAbstractDeclarator '[' TypeQualifiers "static" AssignmentExpression ']'
return n.DirectAbstractDeclarator.check(ctx, checkArray(ctx, &n.Token, typ, n.AssignmentExpression, false, false))
case DirectAbstractDeclaratorArrStar: // DirectAbstractDeclarator '[' '*' ']'
return n.DirectAbstractDeclarator.check(ctx, checkArray(ctx, &n.Token, typ, nil, true, true))
case DirectAbstractDeclaratorFunc: // DirectAbstractDeclarator '(' ParameterTypeList ')'
ft := &functionType{typeBase: typeBase{kind: byte(Function)}, result: typ}
n.ParameterTypeList.check(ctx, ft)
return n.DirectAbstractDeclarator.check(ctx, ft)
}
panic(internalErrorf("%v: %v", n.Position(), n.Case))
}
func (n *ParameterTypeList) check(ctx *context, ft *functionType) {
if n == nil {
return
}
switch n.Case {
case ParameterTypeListList: // ParameterList
n.ParameterList.check(ctx, ft)
case ParameterTypeListVar: // ParameterList ',' "..."
ft.variadic = true
n.ParameterList.check(ctx, ft)
default:
panic(todo(""))
}
}
func (n *ParameterList) check(ctx *context, ft *functionType) {
for ; n != nil; n = n.ParameterList {
p := n.ParameterDeclaration.check(ctx, ft)
ft.params = append(ft.params, p)
}
}
func (n *ParameterDeclaration) check(ctx *context, ft *functionType) *Parameter {
if n == nil {
return nil
}
switch n.Case {
case ParameterDeclarationDecl: // DeclarationSpecifiers Declarator AttributeSpecifierList
typ, _, _ := n.DeclarationSpecifiers.check(ctx, false)
n.Declarator.IsParameter = true
if n.typ = n.Declarator.check(ctx, n.DeclarationSpecifiers, typ, false); n.typ.Kind() == Void {
panic(n.Position().String())
}
if n.AttributeSpecifierList != nil {
//TODO panic(n.Position().String())
}
n.AttributeSpecifierList.check(ctx, n.typ.baseP())
return &Parameter{d: n.Declarator, typ: n.typ}
case ParameterDeclarationAbstract: // DeclarationSpecifiers AbstractDeclarator
n.typ, _, _ = n.DeclarationSpecifiers.check(ctx, false)
if n.AbstractDeclarator != nil {
n.typ = n.AbstractDeclarator.check(ctx, n.typ)
}
return &Parameter{typ: n.typ}
default:
panic(todo(""))
}
}
func (n *Pointer) check(ctx *context, typ Type) (t Type) {
if n == nil || typ == nil {
return typ
}
switch n.Case {
case PointerTypeQual: // '*' TypeQualifiers
n.TypeQualifiers.check(ctx, &n.typeQualifiers)
case PointerPtr: // '*' TypeQualifiers Pointer
n.TypeQualifiers.check(ctx, &n.typeQualifiers)
typ = n.Pointer.check(ctx, typ)
case PointerBlock: // '^' TypeQualifiers
n.TypeQualifiers.check(ctx, &n.typeQualifiers)
default:
panic(todo(""))
}
r := ctx.cfg.ABI.Ptr(n, typ).(*pointerType)
if n.typeQualifiers != nil {
r.typeQualifiers = n.typeQualifiers.check(ctx, (*DeclarationSpecifiers)(nil), false)
}
return r
}
func (n *TypeQualifiers) check(ctx *context, typ **typeBase) {
for ; n != nil; n = n.TypeQualifiers {
switch n.Case {
case TypeQualifiersTypeQual: // TypeQualifier
if *typ == nil {
*typ = &typeBase{}
}
n.TypeQualifier.check(ctx, *typ)
case TypeQualifiersAttribute: // AttributeSpecifier
if *typ == nil {
*typ = &typeBase{}
}
n.AttributeSpecifier.check(ctx, *typ)
default:
panic(todo(""))
}
}
}
func (n *TypeQualifier) check(ctx *context, typ *typeBase) {
if n == nil {
return
}
switch n.Case {
case TypeQualifierConst: // "const"
typ.flags |= fConst
case TypeQualifierRestrict: // "restrict"
typ.flags |= fRestrict
case TypeQualifierVolatile: // "volatile"
typ.flags |= fVolatile
case TypeQualifierAtomic: // "_Atomic"
typ.flags |= fAtomic
default:
panic(todo(""))
}
}
func (n *SpecifierQualifierList) check(ctx *context, inUnion, isPacked bool, list *[]*TypeSpecifier) Type {
n0 := n
typ := &typeBase{}
for ; n != nil; n = n.SpecifierQualifierList {
switch n.Case {
case SpecifierQualifierListTypeSpec: // TypeSpecifier SpecifierQualifierList
n.TypeSpecifier.check(ctx, typ, inUnion)
if list != nil && n.TypeSpecifier.Case != TypeSpecifierAtomic {
*list = append(*list, n.TypeSpecifier)
}
case SpecifierQualifierListTypeQual: // TypeQualifier SpecifierQualifierList
n.TypeQualifier.check(ctx, typ)
case SpecifierQualifierListAlignSpec: // AlignmentSpecifier SpecifierQualifierList
n.AlignmentSpecifier.check(ctx)
case SpecifierQualifierListAttribute: // AttributeSpecifier SpecifierQualifierList
n.AttributeSpecifier.check(ctx, typ)
default:
panic(todo(""))
}
}
return typ.check(ctx, n0, true)
}
func (n *TypeSpecifier) check(ctx *context, typ *typeBase, inUnion bool) {
if n == nil {
return
}
switch n.Case {
case
TypeSpecifierVoid, // "void"
TypeSpecifierChar, // "char"
TypeSpecifierShort, // "short"
TypeSpecifierInt, // "int"
TypeSpecifierInt8, // "__int8"
TypeSpecifierInt16, // "__int16"
TypeSpecifierInt32, // "__int32"
TypeSpecifierInt64, // "__int64"
TypeSpecifierInt128, // "__int128"
TypeSpecifierLong, // "long"
TypeSpecifierFloat, // "float"
TypeSpecifierFloat16, // "__fp16"
TypeSpecifierDecimal32, // "_Decimal32"
TypeSpecifierDecimal64, // "_Decimal64"
TypeSpecifierDecimal128, // "_Decimal128"
TypeSpecifierFloat32, // "_Float32"
TypeSpecifierFloat32x, // "_Float32x"
TypeSpecifierFloat64, // "_Float64"
TypeSpecifierFloat64x, // "_Float64x"
TypeSpecifierFloat128, // "_Float128"
TypeSpecifierFloat80, // "__float80"
TypeSpecifierDouble, // "double"
TypeSpecifierSigned, // "signed"
TypeSpecifierUnsigned, // "unsigned"
TypeSpecifierBool, // "_Bool"
TypeSpecifierComplex: // "_Complex"
// nop
case TypeSpecifierStructOrUnion: // StructOrUnionSpecifier
n.StructOrUnionSpecifier.check(ctx, typ, inUnion)
case TypeSpecifierEnum: // EnumSpecifier
n.EnumSpecifier.check(ctx)
case TypeSpecifierTypedefName: // TYPEDEFNAME
// nop
case TypeSpecifierTypeofExpr: // "typeof" '(' Expression ')'
op := n.Expression.check(ctx, false)
n.typ = op.Type()
case TypeSpecifierTypeofType: // "typeof" '(' TypeName ')'
n.typ = n.TypeName.check(ctx, false, false, nil)
case TypeSpecifierAtomic: // AtomicTypeSpecifier
t := n.AtomicTypeSpecifier.check(ctx)
typ.kind = t.base().kind
typ.flags |= fAtomic
n.typ = typ
case
TypeSpecifierFract, // "_Fract"
TypeSpecifierSat, // "_Sat"
TypeSpecifierAccum: // "_Accum"
// nop
default:
panic(todo(""))
}
}
func (n *AtomicTypeSpecifier) check(ctx *context) Type {
if n == nil {
return nil
}
return n.TypeName.check(ctx, false, false, &n.list)
}
func (n *EnumSpecifier) check(ctx *context) {
if n == nil {
return
}
switch n.Case {
case EnumSpecifierDef: // "enum" AttributeSpecifierList IDENTIFIER '{' EnumeratorList ',' '}'
n.AttributeSpecifierList.check(ctx, nil)
min, max := n.EnumeratorList.check(ctx)
var tmin, tmax Type
switch min := min.(type) {
case Int64Value:
switch {
case min >= 0 && ctx.cfg.UnsignedEnums:
tmin = n.requireUint(ctx, uint64(min))
switch max := max.(type) {
case Int64Value:
tmax = n.requireUint(ctx, uint64(max))
case Uint64Value:
tmax = n.requireUint(ctx, uint64(max))
case nil:
panic(todo("%v:", n.Position()))
}
default:
tmin = n.requireInt(ctx, int64(min))
switch max := max.(type) {
case Int64Value:
tmax = n.requireInt(ctx, int64(max))
case Uint64Value:
tmax = n.requireInt(ctx, int64(max))
case nil:
panic(todo("%v:", n.Position()))
}
}
case Uint64Value:
tmin = n.requireUint(ctx, uint64(min))
switch max := max.(type) {
case Int64Value:
if max < 0 {
panic(todo("%v: min %v max %v", n.Position(), min, max))
}
tmax = n.requireUint(ctx, uint64(max))
case Uint64Value:
tmax = n.requireUint(ctx, uint64(max))
case nil:
_ = max
panic(todo("%v:", n.Position()))
}
case nil:
panic(todo("%v: %v %T", n.Position(), n.Case, min))
}
switch {
case tmin.Size() > tmax.Size():
n.typ = tmin
default:
n.typ = tmax
}
if !n.typ.IsIntegerType() || n.typ.Size() == 0 { //TODO-
panic(todo(""))
}
reg := n.lexicalScope.Parent() == nil
for list := n.EnumeratorList; list != nil; list = list.EnumeratorList {
en := list.Enumerator
en.Operand = en.Operand.convertTo(ctx, en, n.typ)
if reg {
ctx.enums[en.Token.Value] = en.Operand
}
}
case EnumSpecifierTag: // "enum" AttributeSpecifierList IDENTIFIER
n.typ = &taggedType{
resolutionScope: n.lexicalScope,
tag: n.Token2.Value,
typeBase: &typeBase{kind: byte(Enum)},
}
default:
panic(todo(""))
}
}
func (n *EnumSpecifier) requireInt(ctx *context, m int64) (r Type) {
var w int
switch {
case m < 0:
w = mathutil.BitLenUint64(uint64(-m))
default:
w = mathutil.BitLenUint64(uint64(m)) + 1
}
w = mathutil.Max(w, 32)
abi := ctx.cfg.ABI
for k0, v := range intConvRank {
k := Kind(k0)
if k == Bool || k == Enum || v == 0 || !abi.isSignedInteger(k) {
continue
}
t := abi.Types[k]
if int(t.Size)*8 < w {
continue
}
if r == nil || t.Size < r.Size() {
r = abi.Type(k)
}
}
if r == nil || r.Size() == 0 { //TODO-
panic(todo(""))
}
return r
}
func (n *EnumSpecifier) requireUint(ctx *context, m uint64) (r Type) {
w := mathutil.BitLenUint64(m)
w = mathutil.Max(w, 32)
abi := ctx.cfg.ABI
for k0, v := range intConvRank {
k := Kind(k0)
if k == Bool || k == Enum || v == 0 || abi.isSignedInteger(k) {
continue
}
t := abi.Types[k]
if int(t.Size)*8 < w {
continue
}
if r == nil || t.Size < r.Size() {
r = abi.Type(k)
}
}
if r == nil || r.Size() == 0 { //TODO-
panic(todo(""))
}
return r
}
func (n *EnumeratorList) check(ctx *context) (min, max Value) {
var iota Value
for ; n != nil; n = n.EnumeratorList {
iota, min, max = n.Enumerator.check(ctx, iota, min, max)
}
return min, max
}
func (n *Enumerator) check(ctx *context, iota, min, max Value) (Value, Value, Value) {
if n == nil {
return nil, nil, nil
}
if iota == nil {
iota = Int64Value(0)
}
switch n.Case {
case EnumeratorIdent: // IDENTIFIER AttributeSpecifierList
n.AttributeSpecifierList.check(ctx, nil)
n.Operand = (&operand{abi: &ctx.cfg.ABI, typ: ctx.cfg.ABI.Type(Int), value: iota}).normalize(ctx, n)
case EnumeratorExpr: // IDENTIFIER AttributeSpecifierList '=' ConstantExpression
n.AttributeSpecifierList.check(ctx, nil)
n.Operand = n.ConstantExpression.check(ctx, ctx.mode|mIntConstExpr, false)
iota = n.Operand.Value()
default:
panic(todo(""))
}
switch x := iota.(type) {
case Int64Value:
switch m := min.(type) {
case Int64Value:
if x < m {
min = x
}
case Uint64Value:
if x < 0 || Uint64Value(x) < m {
min = x
}
case nil:
min = x
}
switch m := max.(type) {
case Int64Value:
if x > m {
max = x
}
case Uint64Value:
if x >= 0 && Uint64Value(x) > m {
max = x
}
case nil:
max = x
}
x++
iota = x
case Uint64Value:
switch m := min.(type) {
case Int64Value:
if m < 0 {
break
}
if x < Uint64Value(m) {
min = x
}
case Uint64Value:
if x < m {
min = x
}
case nil:
min = x
}
switch m := max.(type) {
case Int64Value:
if m < 0 {
max = x
break
}
if x > Uint64Value(m) {
max = x
}
case Uint64Value:
if x > m {
max = x
}
case nil:
max = x
}
x++
iota = x
case nil:
//TODO report type
}
return iota, min, max
}
func (n *ConstantExpression) check(ctx *context, mode mode, isAsmArg bool) Operand {
if n == nil {
return noOperand
}
ctx.push(mode)
n.Operand = n.ConditionalExpression.check(ctx, isAsmArg)
ctx.pop()
return n.Operand
}
func (n *StructOrUnionSpecifier) check(ctx *context, typ *typeBase, inUnion bool) Type {
if n == nil {
return noType
}
switch n.Case {
case StructOrUnionSpecifierDef: // StructOrUnion AttributeSpecifierList IDENTIFIER '{' StructDeclarationList '}'
typ.kind = byte(n.StructOrUnion.check(ctx))
attr := n.AttributeSpecifierList.check(ctx, typ)
fields := n.StructDeclarationList.check(ctx, inUnion || typ.Kind() == Union, typ.IsPacked())
m := make(map[StringID]*field, len(fields))
x := 0
for _, v := range fields {
if v.name != 0 {
v.x = x
v.xs = []int{x}
x++
m[v.name] = v
}
}
t := (&structType{
attr: attr,
fields: fields,
m: m,
tag: n.Token.Value,
typeBase: typ,
}).check(ctx, n)
if typ.Kind() == Union {
var k Kind
for _, v := range fields {
if k == Invalid {
k = v.typ.Kind()
continue
}
if v.typ.Kind() != k {
k = Invalid
break
}
}
t.common = k
}
n.typ = t
if nm := n.Token.Value; nm != 0 && n.lexicalScope.Parent() == nil {
ctx.structTypes[nm] = t
}
case StructOrUnionSpecifierTag: // StructOrUnion AttributeSpecifierList IDENTIFIER
typ.kind = byte(n.StructOrUnion.check(ctx))
attr := n.AttributeSpecifierList.check(ctx, typ.baseP())
n.typ = &taggedType{
resolutionScope: n.lexicalScope,
tag: n.Token.Value,
typeBase: typ,
}
if attr != nil {
n.typ = &attributedType{n.typ, attr}
}
default:
panic(todo(""))
}
return n.typ
}
func (n *StructDeclarationList) check(ctx *context, inUnion, isPacked bool) (s []*field) {
for ; n != nil; n = n.StructDeclarationList {
s = append(s, n.StructDeclaration.check(ctx, inUnion, isPacked)...)
}
return s
}
func (n *StructDeclaration) check(ctx *context, inUnion, isPacked bool) (s []*field) {
if n == nil || n.Empty {
return nil
}
typ := n.SpecifierQualifierList.check(ctx, inUnion, isPacked, nil)
if n.StructDeclaratorList != nil {
return n.StructDeclaratorList.check(ctx, n.SpecifierQualifierList, typ, inUnion, isPacked)
}
return []*field{{typ: typ, inUnion: inUnion}}
}
func (n *StructDeclaratorList) check(ctx *context, td typeDescriptor, typ Type, inUnion, isPacked bool) (s []*field) {
for ; n != nil; n = n.StructDeclaratorList {
s = append(s, n.StructDeclarator.check(ctx, td, typ, inUnion, isPacked))
}
return s
}
func (n *StructDeclarator) check(ctx *context, td typeDescriptor, typ Type, inUnion, isPacked bool) *field {
if n == nil {
return nil
}
if isPacked {
typ.baseP().flags |= fPacked
}
if n.Declarator != nil {
typ = n.Declarator.check(ctx, td, typ, false)
}
if attr := n.AttributeSpecifierList.check(ctx, typ.baseP()); len(attr) != 0 {
typ = &attributedType{typ, attr}
}
sf := &field{
typ: typ,
d: n,
inUnion: inUnion,
}
switch n.Case {
case StructDeclaratorDecl: // Declarator
sf.name = n.Declarator.Name()
case StructDeclaratorBitField: // Declarator ':' ConstantExpression AttributeSpecifierList
sf.isBitField = true
sf.typ = &bitFieldType{Type: typ, field: sf}
sf.name = n.Declarator.Name()
if op := n.ConstantExpression.check(ctx, ctx.mode|mIntConstExpr, false); op.Type().IsIntegerType() {
switch x := op.Value().(type) {
case Int64Value:
if x < 0 || x > 64 {
panic("TODO")
}
sf.bitFieldWidth = byte(x)
case Uint64Value:
if x > 64 {
panic("TODO")
}
sf.bitFieldWidth = byte(x)
default:
//dbg("%T", x)
panic(PrettyString(op))
}
} else {
//dbg("", n.ConstantExpression)
panic(n.Declarator.Position())
}
n.AttributeSpecifierList.check(ctx, sf.typ.baseP())
default:
panic(todo(""))
}
return sf
}
func (n *StructOrUnion) check(ctx *context) Kind {
if n == nil {
return Invalid
}
switch n.Case {
case StructOrUnionStruct: // "struct"
return Struct
case StructOrUnionUnion: // "union"
return Union
default:
panic(todo(""))
}
}
func (n *CastExpression) check(ctx *context, isAsmArg bool) Operand {
if n == nil {
return noOperand
}
n.Operand = noOperand //TODO-
switch n.Case {
case CastExpressionUnary: // UnaryExpression
n.Operand = n.UnaryExpression.check(ctx, isAsmArg)
n.IsSideEffectsFree = n.UnaryExpression.IsSideEffectsFree
case CastExpressionCast: // '(' TypeName ')' CastExpression
t := n.TypeName.check(ctx, false, false, nil)
ctx.push(ctx.mode)
if m := ctx.mode; m&mIntConstExpr != 0 && m&mIntConstExprAnyCast == 0 {
if t := n.TypeName.Type(); t != nil && t.Kind() != Int {
ctx.mode &^= mIntConstExpr
}
ctx.mode |= mIntConstExprFloat
}
op := n.CastExpression.check(ctx, isAsmArg)
n.IsSideEffectsFree = n.CastExpression.IsSideEffectsFree
ctx.pop()
n.Operand = op.convertTo(ctx, n, t)
default:
panic(todo(""))
}
return n.Operand
}
func (n *PostfixExpression) check(ctx *context, implicitFunc, isAsmArg bool) Operand {
if n == nil {
return noOperand
}
n.Operand = noOperand //TODO-
out:
switch n.Case {
case PostfixExpressionPrimary: // PrimaryExpression
n.Operand = n.PrimaryExpression.check(ctx, implicitFunc, isAsmArg)
n.IsSideEffectsFree = n.PrimaryExpression.IsSideEffectsFree
case PostfixExpressionIndex: // PostfixExpression '[' Expression ']'
pe := n.PostfixExpression.check(ctx, false, isAsmArg)
if d := pe.Declarator(); d != nil {
d.Read += ctx.readDelta
}
e := n.Expression.check(ctx, isAsmArg)
n.IsSideEffectsFree = n.PostfixExpression.IsSideEffectsFree && n.Expression.IsSideEffectsFree
t := pe.Type().Decay()
if t.Kind() == Invalid {
break
}
if t.Kind() == Ptr {
if t := e.Type(); t.Kind() != Invalid && !t.IsIntegerType() {
ctx.errNode(n.Expression, "index must be integer type, have %v", e.Type())
break
}
n.Operand = n.index(ctx, pe, e)
break
}
if pe.Type().Kind() == Vector {
if t := e.Type(); t.Kind() != Invalid && !t.IsIntegerType() {
ctx.errNode(n.Expression, "index must be integer type, have %v", e.Type())
break
}
n.Operand = n.index(ctx, pe, e)
break
}
t = e.Type().Decay()
if t.Kind() == Invalid {
break
}
if t.Kind() == Ptr {
if t := pe.Type(); t.Kind() != Invalid && !t.IsIntegerType() {
ctx.errNode(n.Expression, "index must be integer type, have %v", pe.Type())
break
}
n.Operand = n.index(ctx, e, pe)
break
}
ctx.errNode(n, "invalid index expression %v[%v]", pe.Type(), e.Type())
case PostfixExpressionCall: // PostfixExpression '(' ArgumentExpressionList ')'
op := n.PostfixExpression.check(ctx, true, isAsmArg)
Inspect(n.PostfixExpression, func(n Node, enter bool) bool {
if !enter {
return true
}
if x, ok := n.(*PrimaryExpression); ok {
if d := x.Declarator(); d != nil {
d.called = true
}
}
return true
})
args := n.ArgumentExpressionList.check(ctx, n.PostfixExpression.Declarator(), isAsmArg)
switch op.Declarator().Name() {
case idBuiltinConstantPImpl:
if len(args) < 2 {
panic(todo(""))
}
var v Int64Value
if args[1].Value() != nil {
v = 1
}
n.Operand = &operand{abi: &ctx.cfg.ABI, typ: ctx.cfg.ABI.Type(Int), value: v}
default:
switch n.PostfixExpression.Operand.Value().(type) {
case StringValue, WideStringValue:
if isAsmArg {
// asm("foo": "bar" (a))
// ^
break out
}
}
n.Operand = n.checkCall(ctx, n, op.Type(), args, n.ArgumentExpressionList)
}
case PostfixExpressionSelect: // PostfixExpression '.' IDENTIFIER
op := n.PostfixExpression.check(ctx, false, isAsmArg)
n.IsSideEffectsFree = n.PostfixExpression.IsSideEffectsFree
if d := op.Declarator(); d != nil {
d.Read += ctx.readDelta
}
st := op.Type()
st0 := st.underlyingType()
if k := st.Kind(); k == Invalid || k != Struct && k != Union {
ctx.errNode(n.PostfixExpression, "select expression of wrong type: %s (%s)", st, st0)
break
}
f, ok := st.FieldByName(n.Token2.Value)
if !ok {
ctx.errNode(n.PostfixExpression, "unknown or ambiguous field %q of type %s (%s)", n.Token2.Value, st, st0)
break
}
n.Field = f
ft := f.Type()
if f.IsBitField() {
ft = &bitFieldType{Type: ft, field: f.(*field)}
n.Operand = &lvalue{Operand: &operand{abi: &ctx.cfg.ABI, typ: ft}}
break
}
n.Operand = &lvalue{Operand: &operand{abi: &ctx.cfg.ABI, typ: ft, offset: op.Offset() + f.Offset()}}
case PostfixExpressionPSelect: // PostfixExpression "->" IDENTIFIER
op := n.PostfixExpression.check(ctx, false, isAsmArg)
n.IsSideEffectsFree = n.PostfixExpression.IsSideEffectsFree
if d := op.Declarator(); d != nil {
d.Read += ctx.readDelta
}
t := op.Type()
if k := t.Decay().Kind(); k == Invalid || k != Ptr {
//TODO report error
break
}
st := t.Elem()
if k := st.Kind(); k == Invalid || k != Struct && k != Union {
//TODO report error
break
}
f, ok := st.FieldByName(n.Token2.Value)
if !ok {
//TODO report error
break
}
n.Field = f
ft := f.Type()
if f.IsBitField() {
ft = &bitFieldType{Type: ft, field: f.(*field)}
}
n.Operand = &lvalue{Operand: &operand{abi: &ctx.cfg.ABI, typ: ft}}
case PostfixExpressionInc: // PostfixExpression "++"
op := n.PostfixExpression.check(ctx, false, isAsmArg)
if d := op.Declarator(); d != nil {
d.SubjectOfIncDec = true
d.Read += ctx.readDelta
d.Write++
}
n.Operand = &operand{abi: &ctx.cfg.ABI, typ: op.Type()}
case PostfixExpressionDec: // PostfixExpression "--"
op := n.PostfixExpression.check(ctx, false, isAsmArg)
if d := op.Declarator(); d != nil {
d.SubjectOfIncDec = true
d.Read += ctx.readDelta
d.Write++
}
n.Operand = &operand{abi: &ctx.cfg.ABI, typ: op.Type()}
case PostfixExpressionComplit: // '(' TypeName ')' '{' InitializerList ',' '}'
//TODO IsSideEffectsFree
if f := ctx.checkFn; f != nil {
f.CompositeLiterals = append(f.CompositeLiterals, n)
}
t := n.TypeName.check(ctx, false, false, nil)
var v *InitializerValue
if n.InitializerList != nil {
n.InitializerList.check(ctx, &n.InitializerList.list, t, Automatic, 0, nil, false)
n.InitializerList.setConstZero()
v = &InitializerValue{typ: t, initializer: n.InitializerList}
}
n.Operand = &lvalue{Operand: (&operand{abi: &ctx.cfg.ABI, typ: t, value: v}).normalize(ctx, n)}
case PostfixExpressionTypeCmp: // "__builtin_types_compatible_p" '(' TypeName ',' TypeName ')'
n.IsSideEffectsFree = true
t1 := n.TypeName.check(ctx, false, false, nil)
t2 := n.TypeName2.check(ctx, false, false, nil)
v := 0
switch {
case t1.IsArithmeticType() && t2.IsArithmeticType():
if t1.Kind() == t2.Kind() {
v = 1
}
default:
ctx.errNode(n, "ICE: __builtin_types_compatible_p(%v, %v)", t1, t2)
}
n.Operand = &operand{abi: &ctx.cfg.ABI, typ: ctx.cfg.ABI.Type(Int), value: Int64Value(v)}
case PostfixExpressionChooseExpr: // "__builtin_choose_expr" '(' ConstantExpression ',' AssignmentExpression ',' AssignmentExpression ')'
n.Operand = noOperand
expr1 := n.AssignmentExpression.check(ctx, isAsmArg)
if expr1 == nil {
ctx.errNode(n, "first argument of __builtin_choose_expr must be a constant expression")
break
}
if !expr1.IsConst() {
ctx.errNode(n, "first argument of __builtin_choose_expr must be a constant expression: %v %v", expr1.Value(), expr1.Type())
break
}
switch {
case expr1.IsNonZero():
n.Operand = n.AssignmentExpression2.check(ctx, isAsmArg)
n.IsSideEffectsFree = n.AssignmentExpression2.IsSideEffectsFree
default:
n.Operand = n.AssignmentExpression3.check(ctx, isAsmArg)
n.IsSideEffectsFree = n.AssignmentExpression3.IsSideEffectsFree
}
default:
panic(todo(""))
}
return n.Operand
}
func (n *PostfixExpression) index(ctx *context, pe, e Operand) Operand {
var x uintptr
hasx := false
switch v := e.Value().(type) {
case Int64Value:
x = uintptr(v)
hasx = true
case Uint64Value:
x = uintptr(v)
hasx = true
}
off := x * pe.Type().Elem().Size()
switch v := pe.Value().(type) {
case StringValue:
if hasx {
s := StringID(v).String()
var v byte
switch {
case x > uintptr(len(s)):
//TODO report err
return noOperand
case x < uintptr(len(s)):
v = s[x]
}
return (&operand{abi: &ctx.cfg.ABI, typ: pe.Type().Elem(), value: Int64Value(v)}).normalize(ctx, n)
}
case WideStringValue:
if hasx {
s := []rune(StringID(v).String())
var v rune
switch {
case x > uintptr(len(s)):
//TODO report err
return noOperand
case x < uintptr(len(s)):
v = s[x]
}
return (&operand{abi: &ctx.cfg.ABI, typ: pe.Type().Elem(), value: Int64Value(v)}).normalize(ctx, n)
}
}
if d := pe.Declarator(); d != nil && hasx {
return &lvalue{Operand: &operand{abi: &ctx.cfg.ABI, typ: pe.Type().Elem(), offset: pe.Offset() + off}, declarator: d}
}
return &lvalue{Operand: &operand{abi: &ctx.cfg.ABI, typ: pe.Type().Elem()}}
}
func (n *PostfixExpression) checkCall(ctx *context, nd Node, f Type, args []Operand, argList *ArgumentExpressionList) (r Operand) {
r = noOperand
switch f.Kind() {
case Invalid:
return noOperand
case Function:
// ok
case Ptr:
if e := f.Elem(); e.Kind() == Function {
f = e
break
}
ctx.errNode(nd, "expected function pointer type: %v, %v", f, f.Kind())
return r
default:
ctx.errNode(nd, "expected function type: %v, %v", f, f.Kind())
return r
}
r = &operand{abi: &ctx.cfg.ABI, typ: f.Result()}
params := f.Parameters()
if len(params) == 1 && params[0].Type().Kind() == Void {
params = nil
if len(args) != 0 {
//TODO report error
return r
}
}
for i, arg := range args {
var t Type
switch {
case i < len(params):
//TODO check assignability
t = params[i].Type().Decay()
default:
t = defaultArgumentPromotion(ctx, nd, arg).Type()
}
argList.AssignmentExpression.promote = t
argList = argList.ArgumentExpressionList
}
return r
}
func defaultArgumentPromotion(ctx *context, n Node, op Operand) Operand {
t := op.Type().Decay()
if arithmeticTypes[t.Kind()] {
if t.IsIntegerType() {
return op.integerPromotion(ctx, n)
}
switch t.Kind() {
case Float:
return op.convertTo(ctx, n, ctx.cfg.ABI.Type(Double))
}
}
return op
}
func (n *ArgumentExpressionList) check(ctx *context, f *Declarator, isAsmArg bool) (r []Operand) {
for ; n != nil; n = n.ArgumentExpressionList {
op := n.AssignmentExpression.check(ctx, isAsmArg)
if op.Type() == nil {
ctx.errNode(n, "operand has usupported, invalid or incomplete type")
op = noOperand
} else if op.Type().IsComplexType() {
ctx.checkFn.CallSiteComplexExpr = append(ctx.checkFn.CallSiteComplexExpr, n.AssignmentExpression)
}
r = append(r, op)
if !ctx.cfg.TrackAssignments {
continue
}
Inspect(n.AssignmentExpression, func(n Node, enter bool) bool {
if !enter {
return true
}
if x, ok := n.(*PrimaryExpression); ok {
x.Declarator().setLHS(f)
}
return true
})
}
return r
}
func (n *Expression) check(ctx *context, isAsmArg bool) Operand {
if n == nil {
return noOperand
}
n.Operand = noOperand //TODO-
switch n.Case {
case ExpressionAssign: // AssignmentExpression
n.Operand = n.AssignmentExpression.check(ctx, isAsmArg)
n.IsSideEffectsFree = n.AssignmentExpression.IsSideEffectsFree
case ExpressionComma: // Expression ',' AssignmentExpression
op := n.Expression.check(ctx, isAsmArg)
n.Operand = n.AssignmentExpression.check(ctx, isAsmArg)
if !op.IsConst() && n.Operand.IsConst() {
n.Operand = &operand{abi: &ctx.cfg.ABI, typ: n.Operand.Type()}
}
n.IsSideEffectsFree = n.Expression.IsSideEffectsFree && n.AssignmentExpression.IsSideEffectsFree
default:
panic(todo(""))
}
return n.Operand
}
func (n *PrimaryExpression) check(ctx *context, implicitFunc, isAsmArg bool) Operand {
if n == nil {
return noOperand
}
n.Operand = noOperand //TODO-
switch n.Case {
case PrimaryExpressionIdent: // IDENTIFIER
n.IsSideEffectsFree = true
return n.checkIdentifier(ctx, implicitFunc)
case PrimaryExpressionInt: // INTCONST
n.IsSideEffectsFree = true
n.Operand = n.intConst(ctx)
case PrimaryExpressionFloat: // FLOATCONST
n.IsSideEffectsFree = true
if ctx.mode&mIntConstExpr != 0 && ctx.mode&mIntConstExprFloat == 0 {
ctx.errNode(n, "invalid integer constant expression")
break
}
n.Operand = n.floatConst(ctx)
case PrimaryExpressionEnum: // ENUMCONST
n.IsSideEffectsFree = true
if e := n.resolvedIn.enumerator(n.Token.Value, n.Token); e != nil {
op := e.Operand.(*operand)
op.typ = ctx.cfg.ABI.Type(Int) // [0] 6.4.4.3/2
n.Operand = op
break
}
//TODO report err
case PrimaryExpressionChar: // CHARCONST
n.IsSideEffectsFree = true
s := []rune(n.Token.Value.String())
var v Value
switch {
case s[0] <= 255:
// If an integer character constant contains a single character or escape
// sequence, its value is the one that results when an object with type char
// whose value is that of the single character or escape sequence is converted
// to type int.
switch {
case ctx.cfg.ABI.SignedChar:
v = Int64Value(int8(s[0]))
default:
v = Int64Value(s[0])
}
default:
v = Int64Value(s[0])
}
n.Operand = (&operand{abi: &ctx.cfg.ABI, typ: ctx.cfg.ABI.Type(Int), value: v}).normalize(ctx, n)
case PrimaryExpressionLChar: // LONGCHARCONST
n.IsSideEffectsFree = true
s := []rune(n.Token.Value.String())
n.Operand = (&operand{abi: &ctx.cfg.ABI, typ: wcharT(ctx, n.lexicalScope, n.Token), value: Int64Value(s[0])}).normalize(ctx, n)
case PrimaryExpressionString: // STRINGLITERAL
n.IsSideEffectsFree = true
ctx.not(n, mIntConstExpr)
typ := ctx.cfg.ABI.Type(Char)
b := typ.base()
b.align = byte(typ.Align())
b.fieldAlign = byte(typ.FieldAlign())
b.kind = byte(Array)
sz := uintptr(len(n.Token.Value.String())) + 1 //TODO set sz in cpp
arr := &arrayType{typeBase: b, decay: ctx.cfg.ABI.Ptr(n, typ), elem: typ, length: sz}
arr.setLen(sz)
n.Operand = (&operand{abi: &ctx.cfg.ABI, typ: arr, value: StringValue(n.Token.Value)}).normalize(ctx, n)
case PrimaryExpressionLString: // LONGSTRINGLITERAL
n.IsSideEffectsFree = true
ctx.not(n, mIntConstExpr)
typ := wcharT(ctx, n.lexicalScope, n.Token)
b := typ.base()
b.align = byte(typ.Align())
b.fieldAlign = byte(typ.FieldAlign())
b.kind = byte(Array)
sz := uintptr(len([]rune(n.Token.Value.String()))) + 1 //TODO set sz in cpp
arr := &arrayType{typeBase: b, decay: ctx.cfg.ABI.Ptr(n, typ), elem: typ, length: sz}
arr.setLen(sz)
n.Operand = (&operand{abi: &ctx.cfg.ABI, typ: arr, value: WideStringValue(n.Token.Value)}).normalize(ctx, n)
case PrimaryExpressionExpr: // '(' Expression ')'
n.Operand = n.Expression.check(ctx, isAsmArg)
n.IsSideEffectsFree = n.Expression.IsSideEffectsFree
case PrimaryExpressionStmt: // '(' CompoundStatement ')'
//TODO IsSideEffectsFree
ctx.not(n, mIntConstExpr)
n.Operand = n.CompoundStatement.check(ctx)
if n.Operand == noOperand {
n.Operand = &operand{abi: &ctx.cfg.ABI, typ: ctx.cfg.ABI.Type(Void)}
}
default:
panic(todo(""))
}
return n.Operand
}
func wcharT(ctx *context, s Scope, tok Token) Type {
if t := ctx.wcharT; t != nil {
return t
}
t := ctx.stddef(idWCharT, s, tok)
if t.Kind() != Invalid {
ctx.wcharT = t
}
return t
}
func (n *PrimaryExpression) checkIdentifier(ctx *context, implicitFunc bool) Operand {
ctx.not(n, mIntConstExpr)
var d *Declarator
nm := n.Token.Value
if n.resolvedIn == nil {
if ctx.cfg.RejectLateBinding && !ctx.cfg.ignoreUndefinedIdentifiers {
ctx.errNode(n, "front-end: undefined: %s", n.Token.Value)
return noOperand
}
out:
for s := n.lexicalScope; s != nil; s = s.Parent() {
for _, v := range s[nm] {
switch x := v.(type) {
case *Enumerator:
break out
case *Declarator:
if x.IsTypedefName {
d = nil
break out
}
n.resolvedIn = s
n.resolvedTo = x
d = x
t := d.Type()
if t != nil && t.Kind() == Function {
if d.fnDef {
break out
}
continue
}
if t != nil && !t.IsIncomplete() {
break out
}
case *EnumSpecifier, *StructOrUnionSpecifier, *StructDeclarator, *LabeledStatement:
// nop
default:
panic(todo(""))
}
}
}
}
if d == nil && n.resolvedIn != nil {
d = n.resolvedIn.declarator(n.Token.Value, n.Token)
}
if d == nil && !ctx.cfg.DisableBuiltinResolution {
d = builtin(ctx, nm)
}
if d == nil {
_, ok := gccKeywords[nm]
if !ok && implicitFunc {
d := &Declarator{
DirectDeclarator: &DirectDeclarator{
lexicalScope: ctx.ast.Scope,
Case: DirectDeclaratorFuncIdent,
DirectDeclarator: &DirectDeclarator{
lexicalScope: ctx.ast.Scope,
Case: DirectDeclaratorIdent,
Token: Token{Value: nm},
},
},
implicit: true,
}
ed := &ExternalDeclaration{
Case: ExternalDeclarationDecl,
Declaration: &Declaration{
DeclarationSpecifiers: &DeclarationSpecifiers{
Case: DeclarationSpecifiersTypeSpec,
TypeSpecifier: &TypeSpecifier{
Case: TypeSpecifierInt,
},
},
InitDeclaratorList: &InitDeclaratorList{
InitDeclarator: &InitDeclarator{
Case: InitDeclaratorDecl,
Declarator: d,
},
},
},
}
ed.check(ctx)
n.Operand = &funcDesignator{Operand: &operand{abi: &ctx.cfg.ABI, typ: d.Type()}, declarator: d}
return n.Operand
}
if !ctx.cfg.ignoreUndefinedIdentifiers {
ctx.errNode(n, "front-end: undefined: %s", n.Token.Value)
}
return noOperand
}
if d == nil {
if !ctx.cfg.ignoreUndefinedIdentifiers {
ctx.errNode(n, "front-end: undefined: %s", n.Token.Value)
}
return noOperand
}
switch d.Linkage {
case Internal:
if d.IsStatic() {
break
}
fallthrough
case External:
s := n.resolvedIn
if s.Parent() == nil {
break
}
for s.Parent() != nil {
s = s.Parent()
}
if d2 := s.declarator(n.Token.Value, Token{}); d2 != nil {
d = d2
}
}
if d.Type() == nil {
ctx.errNode(d, "unresolved type of: %s", n.Token.Value)
return noOperand
}
d.Read += ctx.readDelta
switch t := d.Type(); t.Kind() {
case Function:
n.Operand = &funcDesignator{Operand: &operand{abi: &ctx.cfg.ABI, typ: t}, declarator: d}
default:
n.Operand = &lvalue{Operand: &operand{abi: &ctx.cfg.ABI, typ: t}, declarator: d}
}
if !ctx.capture {
return n.Operand
}
for s := n.lexicalScope; s != nil; s = s.Parent() {
if _, ok := s[nm]; ok {
return n.Operand // d in fn scope
}
if _, ok := s[idClosure]; ok { // d in outer scope
if ctx.closure == nil {
ctx.closure = map[StringID]struct{}{} //TODO capture the PrimaryExpression, not the declarator name
}
ctx.closure[nm] = struct{}{}
return n.Operand
}
}
panic(todo(""))
}
func builtin(ctx *context, nm StringID) *Declarator {
id := dict.sid("__builtin_" + nm.String())
a := ctx.ast.Scope[id]
if len(a) == 0 {
return nil
}
switch x := a[0].(type) {
case *Declarator:
if x.fnDef || x.IsFunctionPrototype() {
return x
}
}
return nil
}
func (n *PrimaryExpression) floatConst(ctx *context) Operand {
s0 := n.Token.String()
s := s0
var cplx, suff string
loop2:
for i := len(s) - 1; i > 0; i-- {
switch s0[i] {
case 'l', 'L':
s = s[:i]
if ctx.cfg.LongDoubleIsDouble {
break
}
suff += "l"
case 'f', 'F':
s = s[:i]
suff += "f"
case 'i', 'I', 'j', 'J':
s = s[:i]
cplx += "i"
default:
break loop2
}
}
if len(suff) > 1 || len(cplx) > 1 {
ctx.errNode(n, "invalid number format")
return noOperand
}
var v float64
var err error
prec := uint(64)
if suff == "l" {
prec = longDoublePrec
}
var bf *big.Float
switch {
case suff == "l" || strings.Contains(s, "p") || strings.Contains(s, "P"):
bf, _, err = big.ParseFloat(strings.ToLower(s), 0, prec, big.ToNearestEven)
if err == nil {
v, _ = bf.Float64()
}
default:
v, err = strconv.ParseFloat(s, 64)
}
if err != nil {
switch {
case !strings.HasPrefix(s, "-") && strings.Contains(err.Error(), "value out of range"):
// linux_386/usr/include/math.h
//
// /* Value returned on overflow. With IEEE 754 floating point, this is
// +Infinity, otherwise the largest representable positive value. */
// #if __GNUC_PREREQ (3, 3)
// # define HUGE_VAL (__builtin_huge_val ())
// #else
// /* This may provoke compiler warnings, and may not be rounded to
// +Infinity in all IEEE 754 rounding modes, but is the best that can
// be done in ISO C while remaining a constant expression. 10,000 is
// greater than the maximum (decimal) exponent for all supported
// floating-point formats and widths. */
// # define HUGE_VAL 1e10000
// #endif
v = math.Inf(1)
default:
ctx.errNode(n, "%v", err)
return noOperand
}
}
// [0]6.4.4.2
switch suff {
case "":
switch {
case cplx != "":
return (&operand{abi: &ctx.cfg.ABI, typ: ctx.cfg.ABI.Type(ComplexDouble), value: Complex128Value(complex(0, v))}).normalize(ctx, n)
default:
return (&operand{abi: &ctx.cfg.ABI, typ: ctx.cfg.ABI.Type(Double), value: Float64Value(v)}).normalize(ctx, n)
}
case "f":
switch {
case cplx != "":
return (&operand{abi: &ctx.cfg.ABI, typ: ctx.cfg.ABI.Type(ComplexFloat), value: Complex64Value(complex(0, float32(v)))}).normalize(ctx, n)
default:
return (&operand{abi: &ctx.cfg.ABI, typ: ctx.cfg.ABI.Type(Float), value: Float32Value(float32(v))}).normalize(ctx, n)
}
case "l":
switch {
case cplx != "":
return (&operand{abi: &ctx.cfg.ABI, typ: ctx.cfg.ABI.Type(ComplexLongDouble), value: Complex256Value{&Float128Value{N: big.NewFloat(0)}, &Float128Value{N: bf}}}).normalize(ctx, n)
default:
return (&operand{abi: &ctx.cfg.ABI, typ: ctx.cfg.ABI.Type(LongDouble), value: &Float128Value{N: bf}}).normalize(ctx, n)
}
default:
//dbg("%q %q %q %q %v", s0, s, suff, cplx, err)
panic("TODO")
}
}
func (n *PrimaryExpression) intConst(ctx *context) Operand {
var val uint64
s0 := n.Token.String()
s := strings.TrimRight(s0, "uUlL")
var decadic bool
switch {
case strings.HasPrefix(s, "0x") || strings.HasPrefix(s, "0X"):
var err error
if val, err = strconv.ParseUint(s[2:], 16, 64); err != nil {
ctx.errNode(n, "%v", err)
return nil
}
case strings.HasPrefix(s, "0b") || strings.HasPrefix(s, "0B"):
var err error
if val, err = strconv.ParseUint(s[2:], 2, 64); err != nil {
ctx.errNode(n, "%v", err)
return nil
}
case strings.HasPrefix(s, "0"):
var err error
if val, err = strconv.ParseUint(s, 8, 64); err != nil {
ctx.errNode(n, "%v", err)
return nil
}
default:
decadic = true
var err error
if val, err = strconv.ParseUint(s, 10, 64); err != nil {
ctx.errNode(n, "%v", err)
return nil
}
}
suffix := s0[len(s):]
switch suffix = strings.ToLower(suffix); suffix {
case "":
if decadic {
return intConst(ctx, n, s0, val, Int, Long, LongLong)
}
return intConst(ctx, n, s0, val, Int, UInt, Long, ULong, LongLong, ULongLong)
case "u":
return intConst(ctx, n, s0, val, UInt, ULong, ULongLong)
case "l":
if decadic {
return intConst(ctx, n, s0, val, Long, LongLong)
}
return intConst(ctx, n, s0, val, Long, ULong, LongLong, ULongLong)
case "lu", "ul":
return intConst(ctx, n, s0, val, ULong, ULongLong)
case "ll":
if decadic {
return intConst(ctx, n, s0, val, LongLong)
}
return intConst(ctx, n, s0, val, LongLong, ULongLong)
case "llu", "ull":
return intConst(ctx, n, s0, val, ULongLong)
default:
ctx.errNode(n, "invalid suffix: %v", s0)
return nil
}
}
func intConst(ctx *context, n Node, s string, val uint64, list ...Kind) Operand {
abi := ctx.cfg.ABI
b := bits.Len64(val)
for _, k := range list {
sign := 0
if abi.isSignedInteger(k) {
sign = 1
}
if abi.size(k)*8 >= b+sign {
switch {
case sign == 0:
return (&operand{abi: &ctx.cfg.ABI, typ: abi.Type(k), value: Uint64Value(val)}).normalize(ctx, n)
default:
return (&operand{abi: &ctx.cfg.ABI, typ: abi.Type(k), value: Int64Value(val)}).normalize(ctx, n)
}
}
}
ctx.errNode(n, "invalid integer constant %v", s)
return nil
}
func (n *ConditionalExpression) check(ctx *context, isAsmArg bool) Operand {
if n == nil {
return noOperand
}
n.Operand = noOperand //TODO-
switch n.Case {
case ConditionalExpressionLOr: // LogicalOrExpression
n.Operand = n.LogicalOrExpression.check(ctx, isAsmArg)
n.IsSideEffectsFree = n.LogicalOrExpression.IsSideEffectsFree
case ConditionalExpressionCond: // LogicalOrExpression '?' Expression ':' ConditionalExpression
op := n.LogicalOrExpression.check(ctx, isAsmArg)
// The first operand shall have scalar type.
if !op.Type().Decay().IsScalarType() {
//TODO report error
break
}
a := n.Expression.check(ctx, isAsmArg)
b := n.ConditionalExpression.check(ctx, isAsmArg)
at := a.Type().Decay()
bt := b.Type().Decay()
n.IsSideEffectsFree = n.LogicalOrExpression.IsSideEffectsFree && (n.Expression == nil || n.Expression.IsSideEffectsFree) && n.ConditionalExpression.IsSideEffectsFree
var val Value
if op.Value() != nil {
switch {
case op.IsZero():
n.IsSideEffectsFree = n.LogicalOrExpression.IsSideEffectsFree && n.ConditionalExpression.IsSideEffectsFree
default:
n.IsSideEffectsFree = n.LogicalOrExpression.IsSideEffectsFree && n.Expression.IsSideEffectsFree
}
if a.Value() != nil && b.Value() != nil { //TODO not needed both non nil
switch {
case op.IsZero():
val = b.Value()
default:
val = a.Value()
}
}
}
if a.Type().Kind() == Invalid && b.Type().Kind() == Invalid {
return noOperand
}
// One of the following shall hold for the second and third
// operands:
//TODO — both operands have the same structure or union type;
//TODO — one operand is a pointer to an object or incomplete type and the other is a pointer to a
//TODO qualified or unqualified version of void.
switch {
// — both operands have arithmetic type;
case a.Type().IsArithmeticType() && b.Type().IsArithmeticType():
// If both the second and third operands have
// arithmetic type, the result type that would be
// determined by the usual arithmetic conversions, were
// they applied to those two operands,
// is the type of the result.
op, _ := usualArithmeticConversions(ctx, n, a, b, true)
n.Operand = (&operand{abi: &ctx.cfg.ABI, typ: op.Type(), value: val}).normalize(ctx, n)
// — both operands have void type;
case a.Type().Kind() == Void && b.Type().Kind() == Void:
n.Operand = (&operand{abi: &ctx.cfg.ABI, typ: a.Type(), value: val}).normalize(ctx, n)
// — one operand is a pointer and the other is a null pointer constant;
case (a.Type().Kind() == Ptr || a.Type().Kind() == Function) && b.IsZero():
n.Operand = (&operand{abi: &ctx.cfg.ABI, typ: a.Type(), value: val}).normalize(ctx, n)
case (b.Type().Kind() == Ptr || b.Type().Kind() == Function) && a.IsZero():
n.Operand = (&operand{abi: &ctx.cfg.ABI, typ: b.Type(), value: val}).normalize(ctx, n)
// — both operands are pointers to qualified or unqualified versions of compatible types;
case at.Kind() == Ptr && bt.Kind() == Ptr:
//TODO check compatible
//TODO if !at.isCompatibleIgnoreQualifiers(bt) {
//TODO trc("%v: XXXX %v ? %v", n.Token2.Position(), at, bt)
//TODO ctx.assignmentCompatibilityErrorCond(&n.Token2, at, bt)
//TODO }
n.Operand = (&operand{abi: &ctx.cfg.ABI, typ: n.Expression.Operand.Type(), value: val}).normalize(ctx, n)
case a.Type().Kind() == Ptr && a.Type().Elem().Kind() == Function && b.Type().Kind() == Function:
//TODO check compatible
n.Operand = (&operand{abi: &ctx.cfg.ABI, typ: a.Type(), value: val}).normalize(ctx, n)
case b.Type().Kind() == Ptr && b.Type().Elem().Kind() == Function && a.Type().Kind() == Function:
//TODO check compatible
n.Operand = (&operand{abi: &ctx.cfg.ABI, typ: b.Type(), value: val}).normalize(ctx, n)
case a.Type().Kind() != Invalid:
n.Operand = (&operand{abi: &ctx.cfg.ABI, typ: a.Type(), value: val}).normalize(ctx, n)
case b.Type().Kind() != Invalid:
n.Operand = (&operand{abi: &ctx.cfg.ABI, typ: b.Type(), value: val}).normalize(ctx, n)
default:
panic(todo(""))
}
default:
panic(todo(""))
}
return n.Operand
}
func (n *LogicalOrExpression) check(ctx *context, isAsmArg bool) Operand {
if n == nil {
return noOperand
}
n.Operand = noOperand //TODO-
switch n.Case {
case LogicalOrExpressionLAnd: // LogicalAndExpression
n.Operand = n.LogicalAndExpression.check(ctx, isAsmArg)
n.IsSideEffectsFree = n.LogicalAndExpression.IsSideEffectsFree
case LogicalOrExpressionLOr: // LogicalOrExpression "||" LogicalAndExpression
lop := n.LogicalOrExpression.check(ctx, isAsmArg)
rop := n.LogicalAndExpression.check(ctx, isAsmArg)
n.IsSideEffectsFree = n.LogicalOrExpression.IsSideEffectsFree && n.LogicalAndExpression.IsSideEffectsFree ||
lop.Value() != nil && lop.IsNonZero() && n.LogicalOrExpression.IsSideEffectsFree
var v Value
if lop.Value() != nil && rop.Value() != nil { //TODO lop.IsNonZero shortcut
switch {
case n.LogicalOrExpression.Operand.IsNonZero() || n.LogicalAndExpression.Operand.IsNonZero():
v = Int64Value(1)
default:
v = Int64Value(0)
}
}
n.Operand = (&operand{abi: &ctx.cfg.ABI, typ: ctx.cfg.ABI.Type(Int), value: v}).normalize(ctx, n)
default:
panic(todo(""))
}
return n.Operand
}
func (n *LogicalAndExpression) check(ctx *context, isAsmArg bool) Operand {
if n == nil {
return noOperand
}
n.Operand = noOperand //TODO-
switch n.Case {
case LogicalAndExpressionOr: // InclusiveOrExpression
n.Operand = n.InclusiveOrExpression.check(ctx, isAsmArg)
n.IsSideEffectsFree = n.InclusiveOrExpression.IsSideEffectsFree
case LogicalAndExpressionLAnd: // LogicalAndExpression "&&" InclusiveOrExpression
lop := n.LogicalAndExpression.check(ctx, isAsmArg)
rop := n.InclusiveOrExpression.check(ctx, isAsmArg)
n.IsSideEffectsFree = n.LogicalAndExpression.IsSideEffectsFree && n.InclusiveOrExpression.IsSideEffectsFree ||
lop.Value() != nil && lop.IsZero() && n.LogicalAndExpression.IsSideEffectsFree
var v Value
if lop.Value() != nil && rop.Value() != nil { //TODO lop.IsZero shortcut
switch {
case n.LogicalAndExpression.Operand.IsNonZero() && n.InclusiveOrExpression.Operand.IsNonZero():
v = Int64Value(1)
default:
v = Int64Value(0)
}
}
n.Operand = (&operand{abi: &ctx.cfg.ABI, typ: ctx.cfg.ABI.Type(Int), value: v}).normalize(ctx, n)
default:
panic(todo(""))
}
return n.Operand
}
func (n *InclusiveOrExpression) check(ctx *context, isAsmArg bool) Operand {
if n == nil {
return noOperand
}
n.Operand = noOperand //TODO-
switch n.Case {
case InclusiveOrExpressionXor: // ExclusiveOrExpression
n.Operand = n.ExclusiveOrExpression.check(ctx, isAsmArg)
n.IsSideEffectsFree = n.ExclusiveOrExpression.IsSideEffectsFree
case InclusiveOrExpressionOr: // InclusiveOrExpression '|' ExclusiveOrExpression
a := n.InclusiveOrExpression.check(ctx, isAsmArg)
b := n.ExclusiveOrExpression.check(ctx, isAsmArg)
n.IsSideEffectsFree = n.InclusiveOrExpression.IsSideEffectsFree && n.ExclusiveOrExpression.IsSideEffectsFree
n.promote = noType
if a.Type().Kind() == Vector || b.Type().Kind() == Vector {
n.Operand = checkBinaryVectorIntegerArtithmetic(ctx, n, a, b)
break
}
if !a.Type().IsIntegerType() || !b.Type().IsIntegerType() {
ctx.errNode(n, "operands must be integers")
break
}
a, b = usualArithmeticConversions(ctx, &n.Token, a, b, true)
n.promote = a.Type()
if a.Value() == nil || b.Value() == nil {
n.Operand = &operand{abi: &ctx.cfg.ABI, typ: a.Type()}
break
}
n.Operand = (&operand{abi: &ctx.cfg.ABI, typ: a.Type(), value: a.Value().or(b.Value())}).normalize(ctx, n)
default:
panic(todo(""))
}
return n.Operand
}
func checkBinaryVectorIntegerArtithmetic(ctx *context, n Node, a, b Operand) Operand {
var rt Type
if a.Type().Kind() == Vector {
rt = a.Type()
a = &operand{abi: &ctx.cfg.ABI, typ: a.Type().Elem()}
}
if b.Type().Kind() == Vector {
if rt == nil {
rt = b.Type()
}
b = &operand{abi: &ctx.cfg.ABI, typ: b.Type().Elem()}
}
a, b = usualArithmeticConversions(ctx, n, a, b, true)
if !a.Type().IsIntegerType() || !b.Type().IsIntegerType() {
ctx.errNode(n, "operands must be integers")
}
return &operand{abi: &ctx.cfg.ABI, typ: rt}
}
func (n *ExclusiveOrExpression) check(ctx *context, isAsmArg bool) Operand {
if n == nil {
return noOperand
}
n.Operand = noOperand //TODO-
switch n.Case {
case ExclusiveOrExpressionAnd: // AndExpression
n.Operand = n.AndExpression.check(ctx, isAsmArg)
n.IsSideEffectsFree = n.AndExpression.IsSideEffectsFree
case ExclusiveOrExpressionXor: // ExclusiveOrExpression '^' AndExpression
a := n.ExclusiveOrExpression.check(ctx, isAsmArg)
b := n.AndExpression.check(ctx, isAsmArg)
n.IsSideEffectsFree = n.ExclusiveOrExpression.IsSideEffectsFree && n.AndExpression.IsSideEffectsFree
if a.Type().Kind() == Vector || b.Type().Kind() == Vector {
n.Operand = checkBinaryVectorIntegerArtithmetic(ctx, n, a, b)
break
}
if !a.Type().IsIntegerType() || !b.Type().IsIntegerType() {
ctx.errNode(n, "operands must be integers")
break
}
a, b = usualArithmeticConversions(ctx, &n.Token, a, b, true)
n.promote = a.Type()
if a.Value() == nil || b.Value() == nil {
n.Operand = &operand{abi: &ctx.cfg.ABI, typ: a.Type()}
break
}
n.Operand = (&operand{abi: &ctx.cfg.ABI, typ: a.Type(), value: a.Value().xor(b.Value())}).normalize(ctx, n)
default:
panic(todo(""))
}
return n.Operand
}
func (n *AndExpression) check(ctx *context, isAsmArg bool) Operand {
if n == nil {
return noOperand
}
n.Operand = noOperand //TODO-
switch n.Case {
case AndExpressionEq: // EqualityExpression
n.Operand = n.EqualityExpression.check(ctx, isAsmArg)
n.IsSideEffectsFree = n.EqualityExpression.IsSideEffectsFree
case AndExpressionAnd: // AndExpression '&' EqualityExpression
a := n.AndExpression.check(ctx, isAsmArg)
b := n.EqualityExpression.check(ctx, isAsmArg)
n.IsSideEffectsFree = n.AndExpression.IsSideEffectsFree && n.EqualityExpression.IsSideEffectsFree
if a.Type().Kind() == Vector || b.Type().Kind() == Vector {
n.Operand = checkBinaryVectorIntegerArtithmetic(ctx, n, a, b)
break
}
if !a.Type().IsIntegerType() || !b.Type().IsIntegerType() {
ctx.errNode(n, "operands must be integers")
break
}
a, b = usualArithmeticConversions(ctx, &n.Token, a, b, true)
n.promote = a.Type()
if a.Value() == nil || b.Value() == nil {
n.Operand = &operand{abi: &ctx.cfg.ABI, typ: a.Type()}
break
}
n.Operand = (&operand{abi: &ctx.cfg.ABI, typ: a.Type(), value: a.Value().and(b.Value())}).normalize(ctx, n)
default:
panic(todo(""))
}
return n.Operand
}
func (n *EqualityExpression) check(ctx *context, isAsmArg bool) Operand {
if n == nil {
return noOperand
}
switch n.Case {
case EqualityExpressionRel: // RelationalExpression
n.Operand = n.RelationalExpression.check(ctx, isAsmArg)
n.IsSideEffectsFree = n.RelationalExpression.IsSideEffectsFree
case
EqualityExpressionEq, // EqualityExpression "==" RelationalExpression
EqualityExpressionNeq: // EqualityExpression "!=" RelationalExpression
op := &operand{abi: &ctx.cfg.ABI, typ: ctx.cfg.ABI.Type(Int)}
n.Operand = op
lo := n.EqualityExpression.check(ctx, isAsmArg)
ro := n.RelationalExpression.check(ctx, isAsmArg)
n.IsSideEffectsFree = n.EqualityExpression.IsSideEffectsFree && n.RelationalExpression.IsSideEffectsFree
lt := lo.Type().Decay()
rt := ro.Type().Decay()
n.promote = noType
ok := false
switch {
case lo.Type().Kind() == Vector && ro.Type().Kind() == Vector:
n.Operand = checkVectorComparison(ctx, n, lo.Type(), ro.Type())
return n.Operand
case lt.IsArithmeticType() && rt.IsArithmeticType():
op, _ := usualArithmeticConversions(ctx, n, lo, ro, true)
n.promote = op.Type()
ok = true
case lt.Kind() == Ptr && (rt.Kind() == Ptr || rt.IsIntegerType()):
n.promote = lt
//TODO
case (lt.Kind() == Ptr || lt.IsIntegerType()) && rt.Kind() == Ptr:
n.promote = rt
//TODO
case lt.Kind() == Function:
n.promote = ctx.cfg.ABI.Ptr(n, lt)
case rt.Kind() == Function:
n.promote = ctx.cfg.ABI.Ptr(n, rt)
default:
//TODO report error
}
if n.promote.Kind() == Invalid || !ok {
break
}
lo = lo.convertTo(ctx, n, n.promote)
ro = ro.convertTo(ctx, n, n.promote)
if a, b := lo.Value(), ro.Value(); a != nil && b != nil {
switch n.Case {
case EqualityExpressionEq: // EqualityExpression "==" RelationalExpression
op.value = a.eq(b)
case EqualityExpressionNeq: // EqualityExpression "!=" RelationalExpression
op.value = a.neq(b)
}
}
default:
panic(todo(""))
}
return n.Operand
}
func checkVectorComparison(ctx *context, n Node, a, b Type) (r Operand) {
a = a.underlyingType()
b = b.underlyingType()
rt := *a.(*vectorType)
rt.elem = ctx.cfg.ABI.Type(Int)
r = &operand{abi: &ctx.cfg.ABI, typ: &rt}
x := a.Elem()
y := b.Elem()
if x.Kind() != y.Kind() {
ctx.errNode(n, "cannot compare vectors of different element types: %s and %s", x, y)
}
return r
}
func (n *RelationalExpression) check(ctx *context, isAsmArg bool) Operand {
if n == nil {
return noOperand
}
n.Operand = noOperand //TODO-
switch n.Case {
case RelationalExpressionShift: // ShiftExpression
n.Operand = n.ShiftExpression.check(ctx, isAsmArg)
n.IsSideEffectsFree = n.ShiftExpression.IsSideEffectsFree
case
RelationalExpressionLt, // RelationalExpression '<' ShiftExpression
RelationalExpressionGt, // RelationalExpression '>' ShiftExpression
RelationalExpressionLeq, // RelationalExpression "<=" ShiftExpression
RelationalExpressionGeq: // RelationalExpression ">=" ShiftExpression
n.promote = noType
op := &operand{abi: &ctx.cfg.ABI, typ: ctx.cfg.ABI.Type(Int)}
n.Operand = op
lo := n.RelationalExpression.check(ctx, isAsmArg)
ro := n.ShiftExpression.check(ctx, isAsmArg)
n.IsSideEffectsFree = n.RelationalExpression.IsSideEffectsFree && n.ShiftExpression.IsSideEffectsFree
if lo.Type().Kind() == Vector && ro.Type().Kind() == Vector {
n.Operand = checkVectorComparison(ctx, n, lo.Type(), ro.Type())
break
}
if lo.Type().IsComplexType() || ro.Type().IsComplexType() {
ctx.errNode(&n.Token, "complex numbers are not ordered")
break
}
lt := lo.Type().Decay()
rt := ro.Type().Decay()
n.promote = noType
ok := true
switch {
case lt.IsRealType() && rt.IsRealType():
op, _ := usualArithmeticConversions(ctx, n, lo, ro, true)
n.promote = op.Type()
case lt.Kind() == Ptr && (rt.Kind() == Ptr || rt.IsIntegerType()):
n.promote = lt
//TODO
case (lt.Kind() == Ptr || lt.IsIntegerType()) && rt.Kind() == Ptr:
n.promote = rt
//TODO
default:
//TODO report error
ok = false
}
if n.promote.Kind() == Invalid || !ok {
break
}
lo = lo.convertTo(ctx, n, n.promote)
ro = ro.convertTo(ctx, n, n.promote)
if a, b := lo.Value(), ro.Value(); a != nil && b != nil {
switch n.Case {
case RelationalExpressionLt: // RelationalExpression '<' ShiftExpression
op.value = a.lt(b)
case RelationalExpressionGt: // RelationalExpression '>' ShiftExpression
op.value = a.gt(b)
case RelationalExpressionLeq: // RelationalExpression "<=" ShiftExpression
op.value = a.le(b)
case RelationalExpressionGeq: // RelationalExpression ">=" ShiftExpression
op.value = a.ge(b)
}
}
default:
panic(todo(""))
}
return n.Operand
}
func (n *ShiftExpression) check(ctx *context, isAsmArg bool) Operand {
if n == nil {
return noOperand
}
n.Operand = noOperand //TODO-
switch n.Case {
case ShiftExpressionAdd: // AdditiveExpression
n.Operand = n.AdditiveExpression.check(ctx, isAsmArg)
n.IsSideEffectsFree = n.AdditiveExpression.IsSideEffectsFree
case ShiftExpressionLsh: // ShiftExpression "<<" AdditiveExpression
a := n.ShiftExpression.check(ctx, isAsmArg)
b := n.AdditiveExpression.check(ctx, isAsmArg)
n.IsSideEffectsFree = n.ShiftExpression.IsSideEffectsFree && n.AdditiveExpression.IsSideEffectsFree
if a.Type().Kind() == Vector || b.Type().Kind() == Vector {
n.Operand = checkBinaryVectorIntegerArtithmetic(ctx, n, a, b)
break
}
if !a.Type().IsIntegerType() || !b.Type().IsIntegerType() {
//TODO report err
break
}
a = a.integerPromotion(ctx, n)
b = b.integerPromotion(ctx, n)
n.promote = b.Type()
if a.Value() == nil || b.Value() == nil {
n.Operand = &operand{abi: &ctx.cfg.ABI, typ: a.Type()}
break
}
n.Operand = (&operand{abi: &ctx.cfg.ABI, typ: a.Type(), value: a.Value().lsh(b.Value())}).normalize(ctx, n)
case ShiftExpressionRsh: // ShiftExpression ">>" AdditiveExpression
a := n.ShiftExpression.check(ctx, isAsmArg)
b := n.AdditiveExpression.check(ctx, isAsmArg)
n.IsSideEffectsFree = n.ShiftExpression.IsSideEffectsFree && n.AdditiveExpression.IsSideEffectsFree
if a.Type().Kind() == Vector || b.Type().Kind() == Vector {
n.Operand = checkBinaryVectorIntegerArtithmetic(ctx, n, a, b)
break
}
if !a.Type().IsIntegerType() || !b.Type().IsIntegerType() {
//TODO report err
break
}
a = a.integerPromotion(ctx, n)
b = b.integerPromotion(ctx, n)
n.promote = b.Type()
if a.Value() == nil || b.Value() == nil {
n.Operand = &operand{abi: &ctx.cfg.ABI, typ: a.Type()}
break
}
n.Operand = (&operand{abi: &ctx.cfg.ABI, typ: a.Type(), value: a.Value().rsh(b.Value())}).normalize(ctx, n)
default:
panic(todo(""))
}
return n.Operand
}
func (n *AdditiveExpression) check(ctx *context, isAsmArg bool) Operand {
if n == nil {
return noOperand
}
n.Operand = noOperand //TODO-
switch n.Case {
case AdditiveExpressionMul: // MultiplicativeExpression
n.Operand = n.MultiplicativeExpression.check(ctx, isAsmArg)
n.IsSideEffectsFree = n.MultiplicativeExpression.IsSideEffectsFree
case AdditiveExpressionAdd: // AdditiveExpression '+' MultiplicativeExpression
n.promote = noType
a := n.AdditiveExpression.check(ctx, isAsmArg)
b := n.MultiplicativeExpression.check(ctx, isAsmArg)
n.IsSideEffectsFree = n.AdditiveExpression.IsSideEffectsFree && n.MultiplicativeExpression.IsSideEffectsFree
if a.Type().Kind() == Vector || b.Type().Kind() == Vector {
n.Operand = checkBinaryVectorArtithmetic(ctx, n, a, b)
break
}
if t := a.Type().Decay(); t.Kind() == Ptr && b.Type().IsScalarType() {
var x uintptr
hasx := false
switch v := b.Value().(type) {
case Int64Value:
x = uintptr(v)
hasx = true
case Uint64Value:
x = uintptr(v)
hasx = true
}
off := x * a.Type().Elem().Size()
switch y := a.Value().(type) {
case StringValue:
n.Operand = &operand{abi: &ctx.cfg.ABI, typ: ctx.cfg.ABI.Ptr(n, a.Type().Elem()), value: y, offset: a.Offset() + off}
default:
switch {
case a.Value() == nil && a.Declarator() != nil && hasx:
n.Operand = &lvalue{Operand: &operand{abi: &ctx.cfg.ABI, typ: ctx.cfg.ABI.Ptr(n, a.Type().Elem()), offset: a.Offset() + off}, declarator: a.Declarator()}
default:
n.Operand = &operand{abi: &ctx.cfg.ABI, typ: t}
}
}
break
}
if t := b.Type().Decay(); t.Kind() == Ptr && a.Type().IsScalarType() {
n.Operand = &operand{abi: &ctx.cfg.ABI, typ: t}
break
}
if !a.Type().IsArithmeticType() || !b.Type().IsArithmeticType() {
//TODO report error
break
}
a, b = usualArithmeticConversions(ctx, &n.Token, a, b, true)
n.promote = a.Type()
if a.Value() == nil || b.Value() == nil {
n.Operand = &operand{abi: &ctx.cfg.ABI, typ: a.Type()}
break
}
n.Operand = (&operand{abi: &ctx.cfg.ABI, typ: a.Type(), value: a.Value().add(b.Value())}).normalize(ctx, n)
case AdditiveExpressionSub: // AdditiveExpression '-' MultiplicativeExpression
n.promote = noType
a := n.AdditiveExpression.check(ctx, isAsmArg)
b := n.MultiplicativeExpression.check(ctx, isAsmArg)
n.IsSideEffectsFree = n.AdditiveExpression.IsSideEffectsFree && n.MultiplicativeExpression.IsSideEffectsFree
if a.Type().Kind() == Vector || b.Type().Kind() == Vector {
n.Operand = checkBinaryVectorArtithmetic(ctx, n, a, b)
break
}
if a.Type().Decay().Kind() == Ptr && b.Type().Decay().Kind() == Ptr {
var val Value
if a.Value() != nil && b.Value() != nil {
ae := a.Type().Decay().Elem()
be := b.Type().Decay().Elem()
switch {
case ae.Size() == be.Size():
var d int64
switch x := a.Value().(type) {
case Int64Value:
d = int64(x)
case Uint64Value:
d = int64(x)
}
switch x := b.Value().(type) {
case Int64Value:
val = Int64Value(d - int64(x))
case Uint64Value:
val = Int64Value(d - int64(x))
}
default:
ctx.errNode(n, "difference of pointers of differently sized elements")
}
}
pt := ptrdiffT(ctx, n.lexicalScope, n.Token)
n.promote = pt
n.Operand = &operand{abi: &ctx.cfg.ABI, typ: pt, value: val}
if val != nil {
n.Operand = n.Operand.convertTo(ctx, n, a.Type())
}
break
}
if t := a.Type().Decay(); t.Kind() == Ptr && b.Type().IsScalarType() {
n.Operand = &operand{abi: &ctx.cfg.ABI, typ: t}
break
}
if !a.Type().IsArithmeticType() || !b.Type().IsArithmeticType() {
//TODO report error
break
}
a, b = usualArithmeticConversions(ctx, &n.Token, a, b, true)
n.promote = a.Type()
if a.Value() == nil || b.Value() == nil {
n.Operand = &operand{abi: &ctx.cfg.ABI, typ: a.Type()}
break
}
n.Operand = (&operand{abi: &ctx.cfg.ABI, typ: a.Type(), value: a.Value().sub(b.Value())}).normalize(ctx, n)
default:
panic(todo(""))
}
return n.Operand
}
func checkBinaryVectorArtithmetic(ctx *context, n Node, a, b Operand) Operand {
var rt Type
if a.Type().Kind() == Vector {
rt = a.Type()
a = &operand{abi: &ctx.cfg.ABI, typ: a.Type().Elem()}
}
if b.Type().Kind() == Vector {
if rt == nil {
rt = b.Type()
}
b = &operand{abi: &ctx.cfg.ABI, typ: b.Type().Elem()}
}
usualArithmeticConversions(ctx, n, a, b, true)
return &operand{abi: &ctx.cfg.ABI, typ: rt}
}
func ptrdiffT(ctx *context, s Scope, tok Token) Type {
if t := ctx.ptrdiffT; t != nil {
return t
}
t := ctx.stddef(idPtrdiffT, s, tok)
if t.Kind() != Invalid {
ctx.ptrdiffT = t
}
return t
}
func (n *MultiplicativeExpression) check(ctx *context, isAsmArg bool) Operand {
if n == nil {
return noOperand
}
n.Operand = noOperand //TODO-
switch n.Case {
case MultiplicativeExpressionCast: // CastExpression
n.Operand = n.CastExpression.check(ctx, isAsmArg)
n.IsSideEffectsFree = n.CastExpression.IsSideEffectsFree
case MultiplicativeExpressionMul: // MultiplicativeExpression '*' CastExpression
a := n.MultiplicativeExpression.check(ctx, isAsmArg)
b := n.CastExpression.check(ctx, isAsmArg)
n.IsSideEffectsFree = n.MultiplicativeExpression.IsSideEffectsFree && n.CastExpression.IsSideEffectsFree
if a.Type().Kind() == Vector || b.Type().Kind() == Vector {
n.Operand = checkBinaryVectorArtithmetic(ctx, n, a, b)
break
}
if !a.Type().IsArithmeticType() || !b.Type().IsArithmeticType() {
break
}
a, b = usualArithmeticConversions(ctx, &n.Token, a, b, true)
n.promote = a.Type()
if a.Value() == nil || b.Value() == nil {
n.Operand = &operand{abi: &ctx.cfg.ABI, typ: a.Type()}
break
}
n.Operand = (&operand{abi: &ctx.cfg.ABI, typ: a.Type(), value: a.Value().mul(b.Value())}).normalize(ctx, n)
case MultiplicativeExpressionDiv: // MultiplicativeExpression '/' CastExpression
a := n.MultiplicativeExpression.check(ctx, isAsmArg)
b := n.CastExpression.check(ctx, isAsmArg)
n.IsSideEffectsFree = n.MultiplicativeExpression.IsSideEffectsFree && n.CastExpression.IsSideEffectsFree
if a.Type().Kind() == Vector || b.Type().Kind() == Vector {
n.Operand = checkBinaryVectorArtithmetic(ctx, n, a, b)
break
}
if !a.Type().IsArithmeticType() || !b.Type().IsArithmeticType() {
break
}
a, b = usualArithmeticConversions(ctx, &n.Token, a, b, true)
n.promote = a.Type()
if a.Value() == nil || b.Value() == nil {
n.Operand = &operand{abi: &ctx.cfg.ABI, typ: a.Type()}
break
}
n.Operand = (&operand{abi: &ctx.cfg.ABI, typ: a.Type(), value: a.Value().div(b.Value())}).normalize(ctx, n)
case MultiplicativeExpressionMod: // MultiplicativeExpression '%' CastExpression
a := n.MultiplicativeExpression.check(ctx, isAsmArg)
b := n.CastExpression.check(ctx, isAsmArg)
n.IsSideEffectsFree = n.MultiplicativeExpression.IsSideEffectsFree && n.CastExpression.IsSideEffectsFree
if a.Type().Kind() == Vector || b.Type().Kind() == Vector {
n.Operand = checkBinaryVectorArtithmetic(ctx, n, a, b)
break
}
if !a.Type().IsArithmeticType() || !b.Type().IsArithmeticType() {
break
}
if !a.Type().IsIntegerType() || !b.Type().IsIntegerType() {
ctx.errNode(&n.Token, "the operands of the %% operator shall have integer type.") // [0] 6.5.5, 2
break
}
a, b = usualArithmeticConversions(ctx, &n.Token, a, b, true)
n.promote = a.Type()
if a.Value() == nil || b.Value() == nil {
n.Operand = &operand{abi: &ctx.cfg.ABI, typ: a.Type()}
break
}
n.Operand = (&operand{abi: &ctx.cfg.ABI, typ: a.Type(), value: a.Value().mod(b.Value())}).normalize(ctx, n)
default:
panic(todo(""))
}
return n.Operand
}
func (n *Declarator) check(ctx *context, td typeDescriptor, typ Type, tld bool) Type {
if n == nil {
n.typ = ctx.cfg.ABI.Type(Int)
return noType
}
typ = n.Pointer.check(ctx, typ)
n.td = td
if attr := n.AttributeSpecifierList.check(ctx, typ.baseP()); len(attr) != 0 {
typ = &attributedType{typ, attr}
}
n.typ = n.DirectDeclarator.check(ctx, typ)
hasStorageSpecifiers := td.typedef() || td.extern() || td.static() ||
td.auto() || td.register() || td.threadLocal()
typ = n.typ
if typ == nil {
n.typ = ctx.cfg.ABI.Type(Int)
ctx.errNode(n, "declarator has unsupported, invalid or incomplete type")
return noType
}
if typ.Kind() == Array && typ.IsVLA() {
if f := ctx.checkFn; f != nil {
f.VLAs = append(f.VLAs, n)
}
}
// 6.2.2 Linkages of identifiers
n.Linkage = None
switch {
case tld && td.static():
// 3: If the declaration of a file scope identifier for an object or a function
// contains the storage-class specifier static, the identifier has internal
// linkage.
n.Linkage = Internal
case td.extern():
//TODO
//
// 4: For an identifier declared with the storage-class specifier extern in a
// scope in which a prior declaration of that identifier is visible, 23) if the
// prior declaration specifies internal or external linkage, the linkage of the
// identifier at the later declaration is the same as the linkage specified at
// the prior declaration. If no prior declaration is visible, or if the prior
// declaration specifies no linkage, then the identifier has external linkage.
n.Linkage = External
case
!n.IsParameter && typ.Kind() == Function && !hasStorageSpecifiers,
tld && !hasStorageSpecifiers:
// 5: If the declaration of an identifier for a function has no storage-class
// specifier, its linkage is determined exactly as if it were declared with the
// storage-class specifier extern.
n.Linkage = External
}
// 6.2.4 Storage durations of objects
switch {
case n.Linkage == External, n.Linkage == Internal, td.static():
// 2: An object whose identifier is declared with external or internal linkage,
// or with the storage-class specifier static has static storage duration. Its
// lifetime is the entire execution of the program and its stored value is
// initialized only once, prior to
// program startup.
n.StorageClass = Static
case n.Linkage == None && !td.static():
// 4: An object whose identifier is declared with no linkage and without the
// storage-class specifier static has automatic storage duration.
n.StorageClass = Automatic
}
switch {
case n.typ.Kind() == Invalid:
ctx.errNode(n, "declarator has incomplete type")
}
if n.IsTypedefName {
if k, ok := complexTypedefs[n.Name()]; ok {
abi := ctx.cfg.ABI
t := n.typ.Alias()
t.setKind(k)
abi.types[k] = t
abi.Types[k] = ABIType{Size: t.Size(), Align: t.Align(), FieldAlign: t.FieldAlign()}
}
}
switch expr, ok := n.AttributeSpecifierList.Has(idVectorSize, idVectorSize2); {
case ok:
n.vectorize(ctx, expr)
default:
switch x := td.(type) {
case *DeclarationSpecifiers:
for ; x != nil; x = x.DeclarationSpecifiers {
if expr, ok := x.AttributeSpecifier.Has(idVectorSize, idVectorSize2); ok {
n.vectorize(ctx, expr)
break
}
}
}
}
return n.typ
}
func (n *Declarator) vectorize(ctx *context, expr *ExpressionList) {
dst := &n.typ
elem := n.typ
switch n.typ.Kind() {
case Function:
dst = &n.typ.(*functionType).result
elem = n.typ.Result()
}
sz := expr.vectorSize(ctx)
if sz == 0 {
sz = elem.Size()
}
if elem.Size() == 0 {
ctx.errNode(expr, "vector element has zero size")
return
}
if sz%elem.Size() != 0 {
ctx.errNode(expr, "vector size must be a multiple of the base size")
}
b := n.typ.base()
b.size = sz
b.kind = byte(Vector)
*dst = &vectorType{
typeBase: b,
elem: elem,
length: sz / elem.Size(),
}
}
func (n *ExpressionList) vectorSize(ctx *context) (r uintptr) {
if n.ExpressionList != nil {
ctx.errNode(n, "expected single expression")
return 0
}
switch x := n.AssignmentExpression.Operand.Value().(type) {
case Int64Value:
if x <= 0 {
ctx.errNode(n, "expected integer greater than zero")
return 0
}
r = uintptr(x)
case Uint64Value:
r = uintptr(x)
case nil:
ctx.errNode(n, "expected constant expression")
r = 0
default:
panic(todo("%T", x))
}
if bits.OnesCount64(uint64(r)) != 1 {
ctx.errNode(n, "expected a power of two")
r = 0
}
return r
}
func (n *DirectDeclarator) check(ctx *context, typ Type) Type {
if n == nil {
return noType
}
switch n.Case {
case DirectDeclaratorIdent: // IDENTIFIER Asm
n.Asm.check(ctx)
return typ
case DirectDeclaratorDecl: // '(' AttributeSpecifierList Declarator ')'
n.AttributeSpecifierList.check(ctx, typ.baseP())
return n.Declarator.check(ctx, noTypeDescriptor, typ, false)
case DirectDeclaratorArr: // DirectDeclarator '[' TypeQualifiers AssignmentExpression ']'
return n.DirectDeclarator.check(ctx, checkArray(ctx, &n.Token, typ, n.AssignmentExpression, true, false))
case DirectDeclaratorStaticArr: // DirectDeclarator '[' "static" TypeQualifiers AssignmentExpression ']'
return n.DirectDeclarator.check(ctx, checkArray(ctx, &n.Token, typ, n.AssignmentExpression, false, false))
case DirectDeclaratorArrStatic: // DirectDeclarator '[' TypeQualifiers "static" AssignmentExpression ']'
return n.DirectDeclarator.check(ctx, checkArray(ctx, &n.Token, typ, n.AssignmentExpression, false, false))
case DirectDeclaratorStar: // DirectDeclarator '[' TypeQualifiers '*' ']'
return n.DirectDeclarator.check(ctx, checkArray(ctx, &n.Token, typ, nil, true, true))
case DirectDeclaratorFuncParam: // DirectDeclarator '(' ParameterTypeList ')'
ft := &functionType{typeBase: typeBase{kind: byte(Function)}, result: typ}
if typ != nil && typ.Inline() {
ft.typeBase.flags = fInline
}
n.ParameterTypeList.check(ctx, ft)
return n.DirectDeclarator.check(ctx, ft)
case DirectDeclaratorFuncIdent: // DirectDeclarator '(' IdentifierList ')'
ft := &functionType{typeBase: typeBase{kind: byte(Function)}, result: typ, paramList: n.IdentifierList.check(ctx)}
if typ != nil && typ.Inline() {
ft.typeBase.flags = fInline
}
if n.idListNoDeclList {
n.checkIdentList(ctx, ft)
}
return n.DirectDeclarator.check(ctx, ft)
}
panic(internalErrorf("%v: %v", n.Position(), n.Case))
}
func (n *DirectDeclarator) checkIdentList(ctx *context, ft *functionType) {
s := n.paramScope
for _, nm := range ft.paramList {
d := s[nm][0].(*Declarator)
d.check(ctx, noTypeDescriptor, ctx.cfg.ABI.Type(Int), false)
ft.params = append(ft.params, &Parameter{d, d.Type()})
}
}
func checkArray(ctx *context, n Node, typ Type, expr *AssignmentExpression, exprIsOptional, noExpr bool) Type { //TODO pass and use typeQualifiers
if typ == nil {
ctx.errNode(n, "array of invalid or incomplete type")
return noType
}
b := typ.base()
b.align = byte(typ.Align())
b.fieldAlign = byte(typ.FieldAlign())
b.kind = byte(Array)
switch {
case expr != nil && noExpr:
panic(todo(""))
case expr != nil:
op := expr.check(ctx, false)
if op.Type().Kind() == Invalid {
return noType
}
if !op.Type().IsIntegerType() {
//TODO report err
return noType
}
var length uintptr
var vla bool
var vlaExpr *AssignmentExpression
switch x := op.Value().(type) {
case nil:
vla = true
vlaExpr = expr
case Int64Value:
length = uintptr(x)
case Uint64Value:
length = uintptr(x)
}
switch {
case vla:
b.size = ctx.cfg.ABI.Types[Ptr].Size
default:
if typ.IsIncomplete() {
//TODO report error
return noType
}
b.size = length * typ.Size()
}
return &arrayType{typeBase: b, decay: ctx.cfg.ABI.Ptr(n, typ), elem: typ, length: length, vla: vla, expr: vlaExpr}
case noExpr:
// nop
case !exprIsOptional:
panic(todo(""))
}
b.flags |= fIncomplete
return &arrayType{typeBase: b, decay: ctx.cfg.ABI.Ptr(n, typ), elem: typ}
}
func (n *IdentifierList) check(ctx *context) (r []StringID) {
for ; n != nil; n = n.IdentifierList {
tok := n.Token2.Value
if tok == 0 {
tok = n.Token.Value
}
r = append(r, tok)
}
return r
}
func (n *Asm) check(ctx *context) {
if n == nil {
return
}
n.AsmQualifierList.check(ctx)
n.AsmArgList.check(ctx)
}
func (n *AsmArgList) check(ctx *context) {
for ; n != nil; n = n.AsmArgList {
n.AsmExpressionList.check(ctx)
}
}
func (n *AsmExpressionList) check(ctx *context) {
if ctx.cfg.DoNotTypecheckAsm {
return
}
for ; n != nil; n = n.AsmExpressionList {
n.AsmIndex.check(ctx)
n.AssignmentExpression.check(ctx, true)
}
}
func (n *AsmIndex) check(ctx *context) {
if n == nil {
return
}
n.Expression.check(ctx, true)
}
func (n *AsmQualifierList) check(ctx *context) {
for ; n != nil; n = n.AsmQualifierList {
n.AsmQualifier.check(ctx)
}
}
func (n *AsmQualifier) check(ctx *context) {
if n == nil {
return
}
switch n.Case {
case AsmQualifierVolatile: // "volatile"
//TODO
case AsmQualifierInline: // "inline"
//TODO
case AsmQualifierGoto: // "goto"
//TODO
default:
panic(todo(""))
}
}
func (n *AttributeSpecifierList) check(ctx *context, t *typeBase) (a []*AttributeSpecifier) {
for ; n != nil; n = n.AttributeSpecifierList {
a = append(a, n.AttributeSpecifier.check(ctx, t))
}
return a
}
func (n *AttributeSpecifier) check(ctx *context, t *typeBase) *AttributeSpecifier {
if n == nil {
return nil
}
n.AttributeValueList.check(ctx, t)
return n
}
func (n *AttributeValueList) check(ctx *context, t *typeBase) {
for ; n != nil; n = n.AttributeValueList {
n.AttributeValue.check(ctx, t)
}
}
func (n *AttributeValue) check(ctx *context, t *typeBase) {
if n == nil {
return
}
switch n.Case {
case AttributeValueIdent: // IDENTIFIER
if n.Token.Value == idPacked && t != nil {
t.flags |= fPacked
}
case AttributeValueExpr: // IDENTIFIER '(' ExpressionList ')'
v := ctx.cfg.ignoreErrors
ctx.cfg.ignoreErrors = true
defer func() { ctx.cfg.ignoreErrors = v }()
n.ExpressionList.check(ctx, false)
if n.Token.Value == idAligned && n.ExpressionList != nil && t != nil {
switch x := n.ExpressionList.AssignmentExpression.Operand.Value().(type) {
case Int64Value:
t.setAligned(int(x))
switch t.Kind() {
case Struct, Union:
ctx.structs[StructInfo{Size: t.Size(), Align: t.Align()}] = struct{}{}
}
}
}
default:
panic(todo(""))
}
}
func (n *ExpressionList) check(ctx *context, isAsmArg bool) {
for ; n != nil; n = n.ExpressionList {
n.AssignmentExpression.check(ctx, isAsmArg)
}
}
func (n *DeclarationSpecifiers) check(ctx *context, inUnion bool) (r Type, inline, noret bool) {
n0 := n
typ := &typeBase{}
for ; n != nil; n = n.DeclarationSpecifiers {
switch n.Case {
case DeclarationSpecifiersStorage: // StorageClassSpecifier DeclarationSpecifiers
n.StorageClassSpecifier.check(ctx, n)
case DeclarationSpecifiersTypeSpec: // TypeSpecifier DeclarationSpecifiers
n.TypeSpecifier.check(ctx, typ, inUnion)
case DeclarationSpecifiersTypeQual: // TypeQualifier DeclarationSpecifiers
n.TypeQualifier.check(ctx, typ)
case DeclarationSpecifiersFunc: // FunctionSpecifier DeclarationSpecifiers
if n.FunctionSpecifier == nil {
break
}
switch n.FunctionSpecifier.Case {
case FunctionSpecifierInline: // "inline"
inline = true
case FunctionSpecifierNoreturn: // "_Noreturn"
noret = true
default:
panic(todo(""))
}
case DeclarationSpecifiersAlignSpec: // AlignmentSpecifier DeclarationSpecifiers
n.AlignmentSpecifier.check(ctx)
case DeclarationSpecifiersAttribute: // AttributeSpecifier DeclarationSpecifiers
n.AttributeSpecifier.check(ctx, typ)
default:
panic(todo(""))
}
}
r = typ.check(ctx, n0, true)
return r, inline, noret
}
func (n *AlignmentSpecifier) check(ctx *context) {
if n == nil {
return
}
switch n.Case {
case AlignmentSpecifierAlignasType: // "_Alignas" '(' TypeName ')'
n.TypeName.check(ctx, false, false, nil)
//TODO actually set the alignment
case AlignmentSpecifierAlignasExpr: // "_Alignas" '(' ConstantExpression ')'
n.ConstantExpression.check(ctx, ctx.mode|mIntConstExpr, false)
//TODO actually set the alignment
default:
panic(todo(""))
}
}
func (n *StorageClassSpecifier) check(ctx *context, ds *DeclarationSpecifiers) {
if n == nil {
return
}
switch n.Case {
case StorageClassSpecifierTypedef: // "typedef"
ds.class |= fTypedef
case StorageClassSpecifierExtern: // "extern"
ds.class |= fExtern
case StorageClassSpecifierStatic: // "static"
ds.class |= fStatic
case StorageClassSpecifierAuto: // "auto"
ds.class |= fAuto
case StorageClassSpecifierRegister: // "register"
ds.class |= fRegister
case StorageClassSpecifierThreadLocal: // "_Thread_local"
ds.class |= fThreadLocal
default:
panic(todo(""))
}
c := bits.OnesCount(uint(ds.class & (fTypedef | fExtern | fStatic | fAuto | fRegister | fThreadLocal)))
if c == 1 {
return
}
// [2], 6.7.1, 2
if c == 2 && ds.class&fThreadLocal != 0 {
if ds.class&(fStatic|fExtern) != 0 {
return
}
}
ctx.errNode(n, "at most, one storage-class specifier may be given in the declaration specifiers in a declaration")
}
// DeclarationSpecifiers Declarator DeclarationList CompoundStatement
func (n *FunctionDefinition) checkDeclarator(ctx *context) {
if n == nil {
return
}
n.Declarator.fnDef = true
n.Declarator.funcDefinition = n
ctx.checkFn = n
typ, inline, noret := n.DeclarationSpecifiers.check(ctx, false)
typ = n.Declarator.check(ctx, n.DeclarationSpecifiers, typ, true)
typ.setFnSpecs(inline, noret)
ctx.checkFn = nil
n.DeclarationList.checkFn(ctx, typ, n.Declarator.ParamScope())
}
func (n *DeclarationList) checkFn(ctx *context, typ Type, s Scope) {
if n == nil {
return
}
n.check(ctx)
ft, ok := typ.(*functionType)
if !ok {
return
}
if ft.params != nil {
//TODO report error
return
}
if len(ft.paramList) == 0 {
//TODO report error
return
}
m := make(map[StringID]int, len(ft.paramList))
for i, v := range ft.paramList {
if _, ok := m[v]; ok {
ctx.errNode(n, "duplicate parameter: %s", v)
continue
}
m[v] = i
}
params := make([]*Parameter, len(m))
i := 0
for ; n != nil; n = n.DeclarationList {
for n := n.Declaration.InitDeclaratorList; n != nil; n = n.InitDeclaratorList {
n := n.InitDeclarator
switch n.Case {
case InitDeclaratorDecl: // Declarator AttributeSpecifierList
nm := n.Declarator.Name()
n.Declarator.IsParameter = true
switch x, ok := m[nm]; {
case ok:
params[x] = &Parameter{d: n.Declarator, typ: n.Declarator.Type()}
i++
default:
//TODO report error
}
case InitDeclaratorInit: // Declarator AttributeSpecifierList '=' Initializer
//TODO report error
return
default:
panic(todo(""))
}
}
}
for i, v := range params {
if v != nil {
continue
}
nm := ft.paramList[i]
d := &Declarator{
DirectDeclarator: &DirectDeclarator{
Case: DirectDeclaratorIdent,
Token: Token{Rune: IDENTIFIER, Value: nm},
},
IsParameter: true,
Linkage: None,
StorageClass: Automatic,
typ: ctx.cfg.ABI.Type(Int),
}
s.declare(nm, d)
params[i] = &Parameter{d, d.typ}
}
ft.params = params
}
func (n *CompoundStatement) check(ctx *context) Operand {
n.Operand = n.BlockItemList.check(ctx)
return n.Operand
}
func (n *BlockItemList) check(ctx *context) (r Operand) {
r = noOperand
var last *BlockItem
for ; n != nil; n = n.BlockItemList {
last = n.BlockItem
r = n.BlockItem.check(ctx)
}
if last != nil {
last.Last = true
}
return r
}
func (n *BlockItem) check(ctx *context) Operand {
if n == nil {
return noOperand
}
switch n.Case {
case BlockItemDecl: // Declaration
n.Declaration.check(ctx, false)
case BlockItemStmt: // Statement
return n.Statement.check(ctx)
case BlockItemLabel: // LabelDeclaration
n.LabelDeclaration.check(ctx)
case BlockItemFuncDef: // DeclarationSpecifiers Declarator CompoundStatement
ctxClosure := ctx.closure
ctx.closure = nil
ctxCheckFn := ctx.checkFn
fn := &FunctionDefinition{
DeclarationSpecifiers: n.DeclarationSpecifiers,
Declarator: n.Declarator,
CompoundStatement: n.CompoundStatement,
}
n.fn = fn
ctx.checkFn = fn
n.CompoundStatement.scope.declare(idClosure, n)
fn.checkDeclarator(ctx)
ctxCapture := ctx.capture
ctx.capture = true
fn.checkBody(ctx)
n.closure = ctx.closure
ctx.capture = ctxCapture
delete(n.CompoundStatement.scope, idClosure)
ctx.checkFn = ctxCheckFn
ctx.closure = ctxClosure
case BlockItemPragma: // PragmaSTDC
n.PragmaSTDC.check(ctx)
default:
panic(todo(""))
}
return noOperand
}
func (n *LabelDeclaration) check(ctx *context) {
if n == nil {
return
}
n.IdentifierList.check(ctx)
}
func (n *Statement) check(ctx *context) Operand {
if n == nil {
return noOperand
}
n.Operand = noOperand
switch n.Case {
case StatementLabeled: // LabeledStatement
n.LabeledStatement.check(ctx)
case StatementCompound: // CompoundStatement
n.Operand = n.CompoundStatement.check(ctx)
case StatementExpr: // ExpressionStatement
n.Operand = n.ExpressionStatement.check(ctx)
case StatementSelection: // SelectionStatement
n.SelectionStatement.check(ctx)
case StatementIteration: // IterationStatement
n.IterationStatement.check(ctx)
case StatementJump: // JumpStatement
n.JumpStatement.check(ctx)
case StatementAsm: // AsmStatement
n.AsmStatement.check(ctx)
default:
panic(todo(""))
}
return n.Operand
}
func (n *JumpStatement) check(ctx *context) {
if n == nil {
return
}
switch n.Case {
case JumpStatementGoto: // "goto" IDENTIFIER ';'
n.context = ctx.breakCtx
if ctx.checkFn.Gotos == nil {
ctx.checkFn.Gotos = map[StringID]*JumpStatement{}
}
ctx.checkFn.Gotos[n.Token2.Value] = n
case JumpStatementGotoExpr: // "goto" '*' Expression ';'
n.Expression.check(ctx, false)
//TODO
case JumpStatementContinue: // "continue" ';'
n.context = ctx.breakCtx
if ctx.continues <= 0 {
panic(n.Position().String())
}
//TODO
case JumpStatementBreak: // "break" ';'
n.context = ctx.breakCtx
if ctx.breaks <= 0 {
panic(n.Position().String())
}
//TODO
case JumpStatementReturn: // "return" Expression ';'
n.context = ctx.breakCtx
op := n.Expression.check(ctx, false)
if op.Type().IsComplexType() {
ctx.checkFn.ReturnComplexExpr = append(ctx.checkFn.ReturnComplexExpr, n.Expression)
}
default:
panic(todo(""))
}
}
func (n *IterationStatement) check(ctx *context) {
if n == nil {
return
}
sv := ctx.breakCtx
ctx.breakCtx = n
defer func() { ctx.breakCtx = sv }()
switch n.Case {
case IterationStatementWhile: // "while" '(' Expression ')' Statement
n.Expression.check(ctx, false)
ctx.breaks++
ctx.continues++
n.Statement.check(ctx)
ctx.breaks--
ctx.continues--
case IterationStatementDo: // "do" Statement "while" '(' Expression ')' ';'
ctx.breaks++
ctx.continues++
n.Statement.check(ctx)
ctx.breaks--
ctx.continues--
n.Expression.check(ctx, false)
case IterationStatementFor: // "for" '(' Expression ';' Expression ';' Expression ')' Statement
n.Expression.check(ctx, false)
n.Expression2.check(ctx, false)
n.Expression3.check(ctx, false)
ctx.breaks++
ctx.continues++
n.Statement.check(ctx)
ctx.breaks--
ctx.continues--
case IterationStatementForDecl: // "for" '(' Declaration Expression ';' Expression ')' Statement
n.Declaration.check(ctx, false)
n.Expression.check(ctx, false)
n.Expression2.check(ctx, false)
ctx.breaks++
ctx.continues++
n.Statement.check(ctx)
ctx.breaks--
ctx.continues--
default:
panic(todo(""))
}
}
func (n *SelectionStatement) check(ctx *context) {
if n == nil {
return
}
switch n.Case {
case SelectionStatementIf: // "if" '(' Expression ')' Statement
n.Expression.check(ctx, false)
n.Statement.check(ctx)
case SelectionStatementIfElse: // "if" '(' Expression ')' Statement "else" Statement
n.Expression.check(ctx, false)
n.Statement.check(ctx)
n.Statement2.check(ctx)
if !n.Expression.Operand.Type().IsScalarType() {
//TODO report err
break
}
case SelectionStatementSwitch: // "switch" '(' Expression ')' Statement
if n == nil {
return
}
sv := ctx.breakCtx
ctx.breakCtx = n
defer func() { ctx.breakCtx = sv }()
op := n.Expression.check(ctx, false)
n.promote = op.integerPromotion(ctx, n).Type()
cp := ctx.casePromote
ctx.casePromote = n.promote
cs := ctx.cases
ctx.cases = nil
ctx.switches++
ctx.breaks++
n.Statement.check(ctx)
ctx.breaks--
ctx.switches--
n.cases = ctx.cases
ctx.cases = cs
ctx.casePromote = cp
default:
panic(todo(""))
}
}
func (n *ExpressionStatement) check(ctx *context) Operand {
if n == nil {
return noOperand
}
n.AttributeSpecifierList.check(ctx, nil)
return n.Expression.check(ctx, false)
}
func (n *LabeledStatement) check(ctx *context) {
if n == nil {
return
}
switch n.Case {
case LabeledStatementLabel: // IDENTIFIER ':' AttributeSpecifierList Statement
if ctx.checkFn.Labels == nil {
ctx.checkFn.Labels = map[StringID]*LabeledStatement{}
}
if _, ok := ctx.checkFn.Labels[n.Token.Value]; ok {
//TODO report redeclared
}
ctx.checkFn.Labels[n.Token.Value] = n
n.AttributeSpecifierList.check(ctx, nil)
n.Statement.check(ctx)
case LabeledStatementCaseLabel: // "case" ConstantExpression ':' Statement
if ctx.switches <= 0 {
//TODO report error
break
}
switch op := n.ConstantExpression.check(ctx, ctx.mode|mIntConstExpr, false); op.Value().(type) {
case Int64Value, Uint64Value:
if t := ctx.casePromote; t.Kind() != Invalid {
n.ConstantExpression.Operand = op.convertTo(ctx, n, t)
break
}
//TODO report error
default:
//TODO report error
}
ctx.cases = append(ctx.cases, n)
n.Statement.check(ctx)
case LabeledStatementRange: // "case" ConstantExpression "..." ConstantExpression ':' Statement
if ctx.switches <= 0 {
//TODO report error
break
}
switch n.ConstantExpression.check(ctx, ctx.mode|mIntConstExpr, false).Value().(type) {
case Int64Value, Uint64Value:
// ok
default:
//TODO report error
}
switch n.ConstantExpression2.check(ctx, ctx.mode|mIntConstExpr, false).Value().(type) {
case Int64Value, Uint64Value:
// ok
default:
//TODO report error
}
ctx.cases = append(ctx.cases, n)
n.Statement.check(ctx)
case LabeledStatementDefault: // "default" ':' Statement
if ctx.switches <= 0 {
//TODO report error
break
}
ctx.cases = append(ctx.cases, n)
n.Statement.check(ctx)
default:
panic(todo(""))
}
}
func (n *DeclarationList) check(ctx *context) {
for ; n != nil; n = n.DeclarationList {
n.Declaration.check(ctx, false)
}
}
func setAddressTaken(n Node, d *Declarator, s string) {
d.AddressTaken = true
// fmt.Printf("%v: %s, type %v (%v, %v), declared at %v, AddressTaken = true: %v\n",
// n.Position(), d.Name(), d.Type(), d.Type().Kind(), d.Type().Size(), d.Position(), s,
// ) //TODO-
}
// Dump returns a debug form of n.
func (n *Initializer) Dump() string {
var b strings.Builder
f := strutil.IndentFormatter(&b, "\t")
n.dump(f)
return b.String()
}
func pos(n Node) (r token.Position) {
if n == nil {
return r
}
r = token.Position(n.Position())
if r.IsValid() {
r.Filename = filepath.Base(r.Filename)
}
return r
}
func (n *Initializer) dump(f strutil.Formatter) {
list := n.List()
if len(list) != 0 {
for i, v := range list {
f.Format("Initializer.List() #%d/%d: %v: off %v type %v", i, len(list), pos(v), v.Offset, v.Type())
if fld := v.FirstDesignatorField(); fld != nil {
f.Format(" [FirstDesignatorField %q]", fld.Name())
}
f.Format("\n")
}
}
if f0 := n.FirstDesignatorField(); f0 != nil {
f.Format("[FirstDesignatorField: %q, index %v, off %v, type %v] ", f0.Name(), f0.Index(), n.Offset, n.Type().Alias())
}
switch n.Case {
case InitializerExpr: // AssignmentExpression
if op := n.AssignmentExpression.Operand; op != nil {
n.isConst = op.IsConst()
n.isZero = op.IsZero()
}
var t Type
if n.AssignmentExpression != nil && n.AssignmentExpression.Operand != nil {
t = n.AssignmentExpression.Operand.Type()
}
f.Format("%v: %T@%[2]p, .Case %v, off %v, type %v\n", pos(n), n, n.Case, n.Offset, t.Alias())
case InitializerInitList: // '{' InitializerList ',' '}'
n.InitializerList.dump(f)
default:
panic(todo("%v:", n.Position()))
}
}
// Dump returns a debug form of n.
func (n *InitializerList) Dump() string {
var b strings.Builder
f := strutil.IndentFormatter(&b, "\t")
n.dump(f)
return b.String()
}
func (n *InitializerList) dump(f strutil.Formatter) {
if n == nil {
f.Format("<nil>")
return
}
f.Format("%v: %T@%[2]p, len(.List()) %v {%i\n", pos(n), n, len(n.List()))
list := n.List()
for ; n != nil; n = n.InitializerList {
n.Designation.dump(f)
n.Initializer.dump(f)
}
for i, v := range list {
f.Format("InitializerList.List() #%d/%d:", i, len(list))
v.dump(f)
}
f.Format("%u}\n")
}
func (n *Designation) dump(f strutil.Formatter) {
if n == nil {
return
}
cnt := 0
designatorField2 := false
for n := n.DesignatorList; n != nil; n = n.DesignatorList {
n.Designator.dump(f)
if n.Designator.Case == DesignatorField2 {
designatorField2 = true
}
cnt++
}
if cnt > 1 || !designatorField2 {
f.Format(" = ")
}
}
func (n *Designator) dump(f strutil.Formatter) {
switch n.Case {
case DesignatorIndex: // '[' ConstantExpression ']'
f.Format("[%v]", n.ConstantExpression.Operand.Value())
case DesignatorField: // '.' IDENTIFIER
f.Format(".%s", n.Token2.Value)
case DesignatorField2: // IDENTIFIER ':'
f.Format("%s:", n.Token.Value)
default:
panic(todo(""))
}
}