func (f *Function) AllocInstr(instr *ssa.Alloc) (string, *Error) {
asm := ""
if instr == nil {
return ErrorMsg("AllocInstr: nil instr")
}
if instr.Heap {
msg := "Heap allocations are unsupported (are all print and log statements removed?), ssa variable: %v, type: %v"
msgstr := fmt.Sprintf(msg, instr.Name(), instr.Type())
return ErrorMsg(msgstr)
}
//Alloc values are always addresses, and have pointer types, so the type
//of the allocated variable is actually
//Type().Underlying().(*types.Pointer).Elem().
info := f.identifiers[instr.Name()]
if info.local == nil {
ice(fmt.Sprintf("expected %v to be a local variable", instr.Name()))
}
if _, ok := info.typ.(*types.Pointer); ok {
} else {
}
f.identifiers[instr.Name()] = info
return asm, nil
}
// visitAlloc is for variable allocation (usually by 'new')
// Everything allocated here are pointers
func visitAlloc(inst *ssa.Alloc, fr *frame) {
locn := loc(fr, inst.Pos())
allocType := inst.Type().(*types.Pointer).Elem()
if allocType == nil {
panic("Alloc: Cannot Alloc for non-pointer type")
}
var val ssa.Value = inst
switch t := allocType.Underlying().(type) {
case *types.Array:
vd := utils.NewDef(val)
fr.locals[val] = vd
if inst.Heap {
fr.env.arrays[vd] = make(Elems)
fmt.Fprintf(os.Stderr, " %s = Alloc (array@heap) of type %s (%d elems) at %s\n", cyan(reg(inst)), inst.Type().String(), t.Len(), locn)
} else {
fr.arrays[vd] = make(Elems)
fmt.Fprintf(os.Stderr, " %s = Alloc (array@local) of type %s (%d elems) at %s\n", cyan(reg(inst)), inst.Type().String(), t.Len(), locn)
}
case *types.Chan:
// VD will be created in MakeChan so no need to allocate here.
fmt.Fprintf(os.Stderr, " %s = Alloc (chan) of type %s at %s\n", cyan(reg(inst)), inst.Type().String(), locn)
case *types.Struct:
vd := utils.NewDef(val)
fr.locals[val] = vd
if inst.Heap {
fr.env.structs[vd] = make(Fields, t.NumFields())
fmt.Fprintf(os.Stderr, " %s = Alloc (struct@heap) of type %s (%d fields) at %s\n", cyan(reg(inst)), inst.Type().String(), t.NumFields(), locn)
} else {
fr.structs[vd] = make(Fields, t.NumFields())
fmt.Fprintf(os.Stderr, " %s = Alloc (struct@local) of type %s (%d fields) at %s\n", cyan(reg(inst)), inst.Type().String(), t.NumFields(), locn)
}
default:
fmt.Fprintf(os.Stderr, " # %s = "+red("Alloc %s")+" of type %s\n", inst.Name(), inst.String(), t.String())
}
}
