llvm/llvm-project

Unnecessary vector type produces wrong ll parser error

Open

#29,043 创建于 2016年7月22日

在 GitHub 查看
 (5 评论) (0 反应) (0 负责人)C++ (26,378 star) (10,782 fork)batch import
bugzillagood first issuellvm:core

描述
Bugzilla Link 28669
Version trunk
OS Linux
CC @ekatz

Extended Description

This testcase produces a misleading parse error

; RUN: llvm-as < %s
define void @add_v2i16(<2 x i16> addrspace(1)* %out, <2 x i16> %in) {
  %arst = add <2 x i16> %in, <2 x i16> <i16 123, i16 456>
  store <2 x i16> %arst, <2 x i16> addrspace(1)* %out
  ret void
}

expected-type-wrong-error.ll:3:31: error: expected type
  %arst = add <2 x i16> %in, <2 x i16> <i16 123, i16 456>

It is erroring on the 2nd operand <2 x i16> type, it really means the type is unexpected. The correctly parsing version is

  %arst = add <2 x i16> %in, <i16 123, i16 456>

贡献者指南

技术栈
cpp
领域
toolingcli
议题类型
bug
难度面向新贡献者的预计实现难度，1 表示很小改动，5 表示专家级工作。
3
预计时间有经验贡献者完成调查、实现、测试并准备 pull request 的粗略时间范围。
1-3 hours
活动状态议题当前的可参与程度：新鲜、活跃、陈旧、阻塞或等待维护者输入。
stale
清晰度议题是否清楚说明期望改动、验收标准和下一步。
clear
前置要求
basic knowledge of LLVM IRC++ programming
新手友好度1-100 的估计分数，表示该议题对首次贡献者的友好程度。
30
研究方向
Investigate the LLVM assembler parser in llvm/lib/AsmParser/LLParser.cpp. Look for where the error message 'expected type' is generated when parsing the second operand of an add instruction. The issue indicates that the parser incorrectly rejects a redundant type specifier. Determine if the fix should improve the error message or allow the redundant type as valid syntax. Check comments in the issue and consider any linked PRs.