diff --git a/cl/_testrt/constuptr/in.go b/cl/_testrt/constuptr/in.go new file mode 100644 index 00000000..7d0211c3 --- /dev/null +++ b/cl/_testrt/constuptr/in.go @@ -0,0 +1,10 @@ +package main + +import ( + "unsafe" +) + +func main() { + a := unsafe.Pointer(uintptr(100)) + println(a) +} diff --git a/cl/_testrt/constuptr/out.ll b/cl/_testrt/constuptr/out.ll new file mode 100644 index 00000000..663ef1ec --- /dev/null +++ b/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) diff --git a/ssa/expr.go b/ssa/expr.go index efd9c4a0..0fdcdd83 100644 --- a/ssa/expr.go +++ b/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))