admin/llgo
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

ssa: fix int constant type conversion

Browse Source
This commit is contained in:
Li Jie
2024-10-21 16:50:27 +08:00
parent aa560f42e7
commit 7d7d4db329
3 changed files with 56 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
cl/_testgo/constconv/in.go Normal file
View File

@@ -0,0 +1,9 @@
package main
func main() {
var i64 int64 = 1
var u64 uint64 = 1
var c int64 = i64 + (1.0 / (1.0 / 10))
var d uint64 = u64 + (1.0 / (1.0 / 10))
println(u64, i64, c, d)
}

44
cl/_testgo/constconv/out.ll Normal file
View File

@@ -0,0 +1,44 @@
; 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.PrintUint"(i64 1)
call void @"github.com/goplus/llgo/internal/runtime.PrintByte"(i8 32)
call void @"github.com/goplus/llgo/internal/runtime.PrintInt"(i64 1)
call void @"github.com/goplus/llgo/internal/runtime.PrintByte"(i8 32)
call void @"github.com/goplus/llgo/internal/runtime.PrintInt"(i64 11)
call void @"github.com/goplus/llgo/internal/runtime.PrintByte"(i8 32)
call void @"github.com/goplus/llgo/internal/runtime.PrintUint"(i64 11)
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.PrintUint"(i64)
declare void @"github.com/goplus/llgo/internal/runtime.PrintByte"(i8)
declare void @"github.com/goplus/llgo/internal/runtime.PrintInt"(i64)

6
ssa/expr.go
View File

@@ -223,15 +223,15 @@ func (b Builder) Const(v constant.Value, typ Type) Expr {
case kind == types.Bool: case kind == types.Bool:
return Expr{prog.BoolVal(constant.BoolVal(v)).impl, typ} return Expr{prog.BoolVal(constant.BoolVal(v)).impl, typ}
case kind >= types.Int && kind <= types.Int64: case kind >= types.Int && kind <= types.Int64:
if v, exact := constant.Int64Val(v); exact { if v, exact := constant.Int64Val(constant.ToInt(v)); exact {
return prog.IntVal(uint64(v), typ) return prog.IntVal(uint64(v), typ)
} }
case kind >= types.Uint && kind <= types.Uintptr: case kind >= types.Uint && kind <= types.Uintptr:
if v, exact := constant.Uint64Val(v); exact { if v, exact := constant.Uint64Val(constant.ToInt(v)); exact {
return prog.IntVal(v, typ) return prog.IntVal(v, typ)
} }
case kind == types.Float64 || kind == types.Float32: case kind == types.Float64 || kind == types.Float32:
v, _ := constant.Float64Val(v) v, _ := constant.Float64Val(constant.ToFloat(v))
return prog.FloatVal(v, typ) return prog.FloatVal(v, typ)
case kind == types.String: case kind == types.String:
return Expr{b.Str(constant.StringVal(v)).impl, typ} return Expr{b.Str(constant.StringVal(v)).impl, typ}