Skip to content
体验新版
项目
组织
正在加载...
登录
切换导航
打开侧边栏
wa-lang
wa
提交
2f5995a2
wa
项目概览
wa-lang
/
wa
10 个月 前同步成功
通知
68
Star
655
Fork
45
代码
文件
提交
分支
Tags
贡献者
分支图
Diff
Issue
0
列表
看板
标记
里程碑
合并请求
0
DevOps
流水线
流水线任务
计划
Wiki
0
Wiki
分析
仓库
DevOps
项目成员
Pages
wa
项目概览
项目概览
详情
发布
仓库
仓库
文件
提交
分支
标签
贡献者
分支图
比较
Issue
0
Issue
0
列表
看板
标记
里程碑
合并请求
0
合并请求
0
Pages
DevOps
DevOps
流水线
流水线任务
计划
分析
分析
仓库分析
DevOps
Wiki
0
Wiki
成员
成员
收起侧边栏
关闭侧边栏
动态
分支图
创建新Issue
流水线任务
提交
Issue看板
前往新版Gitcode,体验更适合开发者的 AI 搜索 >>
提交
2f5995a2
编写于
7月 02, 2023
作者:
chai2010
浏览文件
操作
浏览文件
下载
电子邮件补丁
差异文件
panic 参数限制为 string
上级
92ec97e8
变更
5
隐藏空白更改
内联
并排
Showing
5 changed file
with
39 addition
and
4 deletion
+39
-4
internal/backends/compiler_wat/wir/instruction_emitter.go
internal/backends/compiler_wat/wir/instruction_emitter.go
+1
-1
internal/types/builtins.go
internal/types/builtins.go
+14
-0
waroot/examples/math-bits/main.wa
waroot/examples/math-bits/main.wa
+7
-0
waroot/src/math/bits/bits.wa
waroot/src/math/bits/bits.wa
+3
-3
waroot/src/runtime/runtime_wasi.wa
waroot/src/runtime/runtime_wasi.wa
+14
-0
未找到文件。
internal/backends/compiler_wat/wir/instruction_emitter.go
浏览文件 @
2f5995a2
...
...
@@ -53,7 +53,7 @@ func (m *Module) EmitUnOp(x Value, op wat.OpCode) (insts []wat.Inst, ret_type Va
insts
=
append
(
insts
,
wat
.
NewInstEqz
(
toWatType
(
ret_type
)))
default
:
logger
.
Fatal
(
"Todo: %[1]v: %[1]T"
,
op
)
logger
.
Fatal
f
(
"Todo: %[1]v: %[1]T"
,
op
)
}
return
...
...
internal/types/builtins.go
浏览文件 @
2f5995a2
...
...
@@ -457,6 +457,20 @@ func (check *Checker) builtin(x *operand, call *ast.CallExpr, id builtinId) (_ b
}
case
_Panic
:
filename
:=
check
.
fset
.
Position
(
x
.
pos
())
.
Filename
// panic 语义变化: func panic(msg: string)
if
strings
.
HasSuffix
(
filename
,
".wa"
)
{
// 放松检查, bool 变量放到运行时处理
if
!
isString
(
x
.
typ
)
{
check
.
invalidArg
(
x
.
pos
(),
"%s is not a string type"
,
x
)
return
}
if
nargs
!=
1
{
check
.
errorf
(
call
.
Pos
(),
"%v expects %d or %d arguments; found %d"
,
call
,
1
,
2
,
nargs
)
return
}
}
// panic(x)
// record panic call if inside a function with result parameters
// (for use in Checker.isTerminating)
...
...
waroot/examples/math-bits/main.wa
0 → 100644
浏览文件 @
2f5995a2
// 版权 @2023 凹语言 作者。保留所有权利。
import "math/bits" => _
func main {
println("hello math")
}
waroot/src/math/bits/bits.wa
浏览文件 @
2f5995a2
...
...
@@ -494,7 +494,7 @@ func Div(hi, lo, y: uint) => (quo, rem: uint) {
// Div32 panics for y == 0 (division by zero) or y <= hi (quotient overflow).
func Div32(hi, lo, y: uint32) => (quo, rem: uint32) {
if y != 0 && y <= hi {
panic(overflowError)
//
panic(overflowError)
}
z := uint64(hi)<<32 | uint64(lo)
quo, rem = uint32(z/uint64(y)), uint32(z%uint64(y))
...
...
@@ -511,10 +511,10 @@ func Div64(hi, lo, y: uint64) => (quo, rem: uint64) {
mask32 = two32 - 1
)
if y == 0 {
panic(divideError)
//
panic(divideError)
}
if y <= hi {
panic(overflowError)
//
panic(overflowError)
}
s := uint(LeadingZeros64(y))
...
...
waroot/src/runtime/runtime_wasi.wa
浏览文件 @
2f5995a2
...
...
@@ -69,6 +69,11 @@ func waPrintI32(i: i32) {
print_i32(i)
}
#wa:linkname $runtime.waPrintU32
func waPrintU32(i: u32) {
print_u32(i)
}
#wa:linkname $runtime.waPrintRune
func waPrintRune(ch: i32) {
putchar(ch)
...
...
@@ -96,3 +101,12 @@ func print_i32(i: i32) {
print_i32(i/10)
print_i32(i%10)
}
func print_u32(i: u32) {
if i < 10 {
putchar(i32(i)+'0')
return
}
print_u32(i/10)
print_u32(i%10)
}
编辑
预览
Markdown
is supported
0%
请重试
或
添加新附件
.
添加附件
取消
You are about to add
0
people
to the discussion. Proceed with caution.
先完成此消息的编辑!
取消
想要评论请
注册
或
登录