Merge pull request #703 from visualfc/constuptr

ssa: const support unsafe.pointer

cl/_testrt/constuptr/in.go

@@ -0,0 +1,10 @@
+package main
+
+import (
+	"unsafe"
+)
+
+func main() {
+	a := unsafe.Pointer(uintptr(100))
+	println(a)
+}

cl/_testrt/constuptr/out.ll

@@ -0,0 +1,36 @@
+; ModuleID = 'main'
+source_filename = "main"
+
+@"main.init$guard" = global i1 false, align 1
+@__llgo_argc = global i32 0, align 4
+@__llgo_argv = global ptr null, align 8
+
+define void @main.init() {
+_llgo_0:
+  %0 = load i1, ptr @"main.init$guard", align 1
+  br i1 %0, label %_llgo_2, label %_llgo_1
+
+_llgo_1:                                          ; preds = %_llgo_0
+  store i1 true, ptr @"main.init$guard", align 1
+  br label %_llgo_2
+
+_llgo_2:                                          ; preds = %_llgo_1, %_llgo_0
+  ret void
+}
+
+define i32 @main(i32 %0, ptr %1) {
+_llgo_0:
+  store i32 %0, ptr @__llgo_argc, align 4
+  store ptr %1, ptr @__llgo_argv, align 8
+  call void @"github.com/goplus/llgo/internal/runtime.init"()
+  call void @main.init()
+  call void @"github.com/goplus/llgo/internal/runtime.PrintPointer"(ptr inttoptr (i64 100 to ptr))
+  call void @"github.com/goplus/llgo/internal/runtime.PrintByte"(i8 10)
+  ret i32 0
+}
+
+declare void @"github.com/goplus/llgo/internal/runtime.init"()
+
+declare void @"github.com/goplus/llgo/internal/runtime.PrintPointer"(ptr)
+
+declare void @"github.com/goplus/llgo/internal/runtime.PrintByte"(i8)

ssa/expr.go

@@ -238,6 +238,10 @@ func (b Builder) Const(v constant.Value, typ Type) Expr {
 			re, _ := constant.Float64Val(constant.Real(v))
 			im, _ := constant.Float64Val(constant.Imag(v))
 			return prog.ComplexVal(complex(re, im), typ)
+		case kind == types.UnsafePointer:
+			if v, exact := constant.Uint64Val(v); exact {
+				return Expr{llvm.ConstIntToPtr(llvm.ConstInt(prog.Uintptr().ll, v, false), typ.ll), typ}
+			}
 		}
 	}
 	panic(fmt.Sprintf("unsupported Const: %v, %v", v, raw))