Page MenuHomePhabricator
Differential D133863 Diff 463097 llvm/test/MC/RISCV/rv32zcmt-invalid.s

Changeset View

Standalone View

View Options

llvm/test/MC/RISCV/rv32zcmt-invalid.s

  • This file was added.
# RUN: not llvm-mc -triple=riscv32 -mattr=+experimental-zcmt -riscv-no-aliases -show-encoding < %s 2>&1 \
# RUN: | FileCheck -check-prefixes=CHECK-ERROR %s
# RUN: not llvm-mc -triple=riscv64 -mattr=+experimental-zcmt -riscv-no-aliases -show-encoding < %s 2>&1 \
# RUN: | FileCheck -check-prefixes=CHECK-ERROR %s
# CHECK-ERROR: error: immediate must be an integer in the range [0, 31]
cm.jt 64
# CHECK-ERROR: error: immediate must be an integer in the range [0, 255]
cm.jalt 256
jrtc27Unsubmitted
Not Done
ReplyInline Actions

This is wrong; the immediate must be in the range [32, 255]. This needs to be enforced in the assembler and the error needs to reflect that. We also need tests that check these cases (cm.jt with something in [32, 255] and cm.jalt with something in [0, 31]).

jrtc27: This is wrong; the immediate must be in the range [32, 255]. This needs to be enforced in the…