support complex debug info

cl/_testdata/debug/in.go

@@ -24,8 +24,8 @@ type StructWithAllTypeFields struct {
 	f32  float32
 	f64  float64
 	b    bool
-	// c64   complex64
-	// c128  complex128
+	c64  complex64
+	c128 complex128
 	// slice []int
 	// arr   [3]int
 	// s string
@@ -68,8 +68,8 @@ func FuncWithAllTypeParams(
 	f32 float32,
 	f64 float64,
 	b bool,
-	// c64 complex64,
-	// c128 complex128,
+	c64 complex64,
+	c128 complex128,
 	// slice []int,
 	// arr [3]int,
 	// s string,
@@ -86,7 +86,8 @@ func FuncWithAllTypeParams(
 	println(
 		i8, i16, i32, i64, i, u8, u16, u32, u64, u,
 		f32, f64, b,
-		// c64, c128, slice, arr[0:],
+		c64, c128,
+		// slice, arr[0:],
 		// s, &e, &f, pf, pi, intr, m, c, err,
 		// fn,
 	)
@@ -109,8 +110,8 @@ func main() {
 		f32:  11,
 		f64:  12,
 		b:    true,
-		// c64:   13 + 14i,
-		// c128:  15 + 16i,
+		c64:  13 + 14i,
+		c128: 15 + 16i,
 		// slice: []int{21, 22, 23},
 		// arr:   [3]int{24, 25, 26},
 		// s:     "hello",
@@ -132,7 +133,8 @@ func main() {
 	i, err := FuncWithAllTypeParams(
 		s.i8, s.i16, s.i32, s.i64, s.i, s.u8, s.u16, s.u32, s.u64, s.u,
 		s.f32, s.f64, s.b,
-		// s.c64, s.c128, s.slice, s.arr, s.s,
+		s.c64, s.c128,
+		// s.slice, s.arr, s.s,
 		s.e, s,
 		// s.pf, s.pi,
 		// s.intr, s.m, s.c, s.err,

ssa/di.go

@@ -133,7 +133,7 @@ func (b diBuilder) createType(ty Type, pos token.Position) DIType {
 		} else if t.Info()&types.IsFloat != 0 {
 			encoding = llvm.DW_ATE_float
 		} else if t.Info()&types.IsComplex != 0 {
-			encoding = llvm.DW_ATE_complex_float
+			return b.createComplexType(ty)
 		} else if t.Info()&types.IsString != 0 {
 			typ = b.di.CreateBasicType(llvm.DIBasicType{
 				Name:       "string",
@@ -264,6 +264,49 @@ func (b diBuilder) createBasicType(t Type) DIType {
 	})}
 }
 
+func (b diBuilder) createComplexType(t Type) DIType {
+	var tfield Type
+	if t.RawType().(*types.Basic).Kind() == types.Complex128 {
+		tfield = b.prog.Float64()
+	} else {
+		tfield = b.prog.Float32()
+	}
+	traw := tfield.RawType().Underlying()
+	return &aDIType{ll: b.di.CreateStructType(
+		llvm.Metadata{},
+		llvm.DIStructType{
+			Name:        t.RawType().String(),
+			File:        llvm.Metadata{},
+			Line:        0,
+			SizeInBits:  b.prog.SizeOf(t) * 8,
+			AlignInBits: uint32(b.prog.sizes.Alignof(t.RawType()) * 8),
+			Elements: []llvm.Metadata{
+				b.di.CreateMemberType(
+					llvm.Metadata{},
+					llvm.DIMemberType{
+						Name:        "real",
+						File:        llvm.Metadata{},
+						Line:        0,
+						SizeInBits:  b.prog.SizeOf(tfield) * 8,
+						AlignInBits: uint32(b.prog.sizes.Alignof(traw) * 8),
+						Type:        b.diType(tfield, token.Position{}).ll,
+					},
+				),
+				b.di.CreateMemberType(
+					llvm.Metadata{},
+					llvm.DIMemberType{
+						Name:        "imag",
+						File:        llvm.Metadata{},
+						Line:        0,
+						SizeInBits:  b.prog.SizeOf(tfield) * 8,
+						AlignInBits: uint32(b.prog.sizes.Alignof(traw) * 8),
+						Type:        b.diType(tfield, token.Position{}).ll,
+					},
+				),
+			},
+		})}
+}
+
 func (b diBuilder) createPointerType(ty Type, pos token.Position) DIType {
 	return &aDIType{ll: b.di.CreatePointerType(llvm.DIPointerType{
 		Pointee:      b.diType(ty, pos).ll,
@@ -433,7 +476,17 @@ func (b Builder) allocatedVar(v Expr) (Expr, bool) {
 	}
 	t := v.Type.RawType().Underlying()
 	var ty Type
-	switch t.(type) {
+	switch t := t.(type) {
+	case *types.Basic:
+		if t.Info()&types.IsComplex != 0 {
+			if t.Kind() == types.Complex128 {
+				ty = b.Prog.Complex128()
+			} else {
+				ty = b.Prog.Complex64()
+			}
+		} else {
+			return v, false
+		}
 	case *types.Struct:
 		ty = v.Type
 	case *types.Slice:
@@ -462,8 +515,6 @@ func skipType(t types.Type) bool {
 	case *types.Basic:
 		if t.Info()&types.IsString != 0 {
 			return true
-		} else if t.Info()&types.IsComplex != 0 {
-			return true
 		}
 	}
 	return false