Project

General

Profile

Actions

Task #6377

closed

Support for user-defined attributes

Added by Alexander Kamkin over 8 years ago. Updated almost 8 years ago.

Status:
Rejected
Priority:
High
Category:
nML Translator
Target version:
Start date:
10/29/2015
Due date:
% Done:

0%

Estimated time:
Detected in build:
svn
Published in build:

Description

reg X[32, DWORD]            // Array of 32 DWORD Registers

mode REG(i: card(5)) = X[i] // One-to-One Correspondence
  syntax = format("x%d", i) // Assembly Format (e.g., x13)
  image  = format("%5s", i) // Binary Encoding (e.g., 1101)
  number = i                // Register Number (custom)
rd.number
Actions #1

Updated by Andrei Tatarnikov almost 8 years ago

  • Priority changed from Normal to High

See also. Task #6372.

Actions #2

Updated by Andrei Tatarnikov almost 8 years ago

  • Status changed from New to Feedback
  • Assignee changed from Andrei Tatarnikov to Alexander Kamkin

In task Task #6372, we implemented external access to arguments. Now you can get the register index in the following way:

rd.i

As for support for externally-visible custom attributes, I am not sure this is a good idea. With such attributes, operations will have several entry points. This will complicate exploring their control flow. For example, some arguments can be IN or OUT in different contexts.

If external access to arguments is enough to solve our tasks, I don't see reasons to provide external access to custom attributes.

Actions #3

Updated by Andrei Tatarnikov almost 8 years ago

  • Status changed from Feedback to Resolved
Actions #4

Updated by Andrei Tatarnikov almost 8 years ago

  • Status changed from Resolved to Rejected
Actions

Also available in: Atom PDF