Mill Instruction Set

The Mill architecture is a wide issue architecture. This means each instruction contains multiple unique operations. On Gold Cores possibly more than 30.

When writing abstract assembly for the Mill architecture this doesn't really matter though. It is the specializer that determines the possible width from the abstract code and fits it into the available width of the concrete specific core.

Using the Reference Table

There are two restricted views, an abstract and a generic.
The abstract view presents the operations that are available in unspecialized abstract assembly.
The generic view presents the operations available in specialized machine code.
In either case, the information is not specific to any particular Mill Core.
The whole table is generously supplied with tool tips.
The full operation names are anchors and can be directly linked.
The table can be sorted by operation, result, block and phase by clicking on the headers.
It is also possible to filter the rows by ctrl-double clicking on the cells in the block, phase, operation and variant columns.
Undo the filters on a value set by double clicking on another value of the set.
The last 5 columns can be collapsed and expanded again by ctrl-clicking the header.
And finally, jump over this introduction and go directly to the table with the #ops anchor.

Suggested Reading:

Instruction Encoding, Decode, Mill Assembly, Phasing, Domains, Immediates, Sources, Operands, Instruction Set
all
abstract
generic
view link
! operation variant parameters ? operands block phase description native on
! operation variant parameters ? operands block phase description native on
abortAtomic0 :flowcompute abort an in-progress atomic extent all
!activeRead op op0, width width00 xx:flowcompute read from an address having hardware side effects , logicalall
addded x, d y1?[dd:d]exucompute addition , decimal floating point, to nearest, ties toward even adjacent valuenone
adddfzd x, d y1?[dd:d]exucompute addition , decimal floating point, to nearest, ties away from zeronone
adddnd x, d y1?[dd:d]exucompute addition , decimal floating point, toward negative infinitynone
adddpd x, d y1?[dd:d]exucompute addition , decimal floating point, toward positive infinitynone
adddzd x, d y1?[dd:d]exucompute addition , decimal floating point, toward zeronone
addd d x, d y1?[dd:d]exucompute addition , decimal floating point, use current dynamic rounding modenone
addfef x, f y1?[ff:f]exucompute addition , binary floating point, to nearest, ties toward even adjacent valuenone
addffzf x, f y1?[ff:f]exucompute addition , binary floating point, to nearest, ties away from zeronone
addfnf x, f y1?[ff:f]exucompute addition , binary floating point, toward negative infinitynone
addfpf x, f y1?[ff:f]exucompute addition , binary floating point, toward positive infinitynone
addfzf x, f y1?[ff:f]exucompute addition , binary floating point, toward zeronone
addf f x, f y1?[ff:f]exucompute addition , binary floating point, use current dynamic rounding modenone
addpp op0, imm imm01 px:pexucompute addition , pointerall
addss2s x, imm y1?[xx:x]exucompute addition , signed integer, saturating, dualall
addss2s x, s y1?[xx:x]exucompute addition , signed integer, saturating, dualall
addss s x, s y1?[xx:x]exucompute addition , signed integer, saturating, singleall
addss s x, imm y1?[xx:x]exucompute addition , signed integer, saturating, singleall
addsw2s op0, s op12?XX:2X2Xexucompute addition , signed integer, widening, dualall
addsw2s op0, imm imm02?XX:2X2Xexucompute addition , signed integer, widening, dualall
addsw s x, imm y1?xx:2xexucompute addition , signed integer, widening, singleall
addsw s x, s y1?xx:2xexucompute addition , signed integer, widening, singleall
addsx2s x, s y1?[xx:x]exucompute addition , signed integer, excepting, dualall
addsx2s x, imm y1?[xx:x]exucompute addition , signed integer, excepting, dualall
addsx s x, s y1?[xx:x]exucompute addition , signed integer, excepting, singleall
addsx s x, imm y1?[xx:x]exucompute addition , signed integer, excepting, singleall
adds 2s x, imm y1?[xx:x]exucompute addition , signed integer, modulo, dualall
adds 2s x, s y1?[xx:x]exucompute addition , signed integer, modulo, dualall
adds  s x, imm y1?[xx:x]exucompute addition , signed integer, modulo, singleall
adds  s x, s y1?[xx:x]exucompute addition , signed integer, modulo, singleall
addus2u x, u y1?[xx:x]exucompute addition , unsigned integer, saturating, dualall
addus2u x, imm y1?[xx:x]exucompute addition , unsigned integer, saturating, dualall
addus u x, imm y1?[xx:x]exucompute addition , unsigned integer, saturating, singleall
addus u x, u y1?[xx:x]exucompute addition , unsigned integer, saturating, singleall
adduw2u op0, u op12?XX:2X2Xexucompute addition , unsigned integer, widening, dualall
adduw2u op0, imm imm02?XX:2X2Xexucompute addition , unsigned integer, widening, dualall
adduw u x, imm y1?xx:2xexucompute addition , unsigned integer, widening, singleall
adduw u x, u y1?xx:2xexucompute addition , unsigned integer, widening, singleall
addux2u x, u y1?[xx:x]exucompute addition , unsigned integer, excepting, dualall
addux2u x, imm y1?[xx:x]exucompute addition , unsigned integer, excepting, dualall
addux u x, imm y1?[xx:x]exucompute addition , unsigned integer, excepting, singleall
addux u x, u y1?[xx:x]exucompute addition , unsigned integer, excepting, singleall
addu 2u x, imm y1?[xx:x]exucompute addition , unsigned integer, modulo, dualall
addu 2u x, u y1?[xx:x]exucompute addition , unsigned integer, modulo, dualall
addu  u x, imm y1?[xx:x]exucompute addition , unsigned integer, modulo, singleall
addu  u x, u y1?[xx:x]exucompute addition , unsigned integer, modulo, singleall
add op x, op y1?[xx:x]exucompute addition , logicalall
add op x, imm y1?[xx:x]exucompute addition , logicalall
advance scratch scratchr0, 0 :[x]readercompute advance the scratchpad rotator , logicalall
!allocStackop v1 xx:pflowcompute allocate more memory in the current stack frame all
all op v1 XX:iexucompute vector AND reduction , logicalall
alternate op v1, op v22 XX:XXexucompute interlace two vectors , logicalall
andlss x, imm y1?[xx:x]exucompute bitwise and , signed integerall
andlss x, s y1?[xx:x]exucompute bitwise and , signed integerall
andluu x, imm y1?[xx:x]exucompute bitwise and , unsigned integerall
andluu x, u y1?[xx:x]exucompute bitwise and , unsigned integerall
andl op x, imm y1?[xx:x]exucompute bitwise and , logicalall
andl op x, op y1?[xx:x]exucompute bitwise and , logicalall
any op v1 XX:iexucompute vector OR reduction , logicalall
!argfoff off00 :flowtransfer reserve space for args passed in memory all
argSizeoff size0 :flowcompute set size of memory argument block for following dynCall all
!back1flpred count0, off op0, count off00 :flowtransfer branch to head of loop, "leave"ing if not taken , taken if falseall
!back2flpred count0, off op0, count lit0, lit off00 :flowtransfer branch to head of loop, "leave"ing if not taken , taken if falseall
!back3flpred count0, off op0, count lit0, lit lit1, lit off00 :flowtransfer branch to head of loop, "leave"ing if not taken , taken if falseall
!back*flpred op0, lbl off0, ops args0 :flowtransfer branch to head of loop, "leave"ing if not taken , taken if falseall
!back3trpred count0, off op0, count lit0, lit lit1, lit off00 :flowtransfer branch to head of loop, "leave"ing if not taken , taken if trueall
!back1trpred count0, off op0, count off00 :flowtransfer branch to head of loop, "leave"ing if not taken , taken if trueall
!back2trpred count0, off op0, count lit0, lit off00 :flowtransfer branch to head of loop, "leave"ing if not taken , taken if trueall
!back*trpred op0, lbl off0, ops args0 :flowtransfer branch to head of loop, "leave"ing if not taken , taken if trueall
!back4 off count0, count lit0, lit lit1, lit lit2, lit off00 :flowtransfer branch to head of loop, "leave"ing if not taken , taken unconditionallyall
!back3 off count0, count lit0, lit lit1, lit off00 :flowtransfer branch to head of loop, "leave"ing if not taken , taken unconditionallyall
!back2 off count0, count lit0, lit off00 :flowtransfer branch to head of loop, "leave"ing if not taken , taken unconditionallyall
!back1 off count0, count off00 :flowtransfer branch to head of loop, "leave"ing if not taken , taken unconditionallyall
!back* lbl off0, ops args0 :flowtransfer branch to head of loop, "leave"ing if not taken , taken unconditionallyall
BID2dd x1 [dd:d]exucompute decimal format conversion , decimal floating pointnone
!br2flpred count0, op op0, off op1, count lit0, lit off00 :flowtransfer branch , taken if falseall
!br2flpred count0, off op0, count lit0, lit off00 :flowtransfer branch , taken if falseall
!br1flpred count0, op op0, off op1, count off00 :flowtransfer branch , taken if falseall
!br1flpred count0, off op0, count off00 :flowtransfer branch , taken if falseall
!br3flpred count0, off op0, count lit0, lit lit1, lit off00 :flowtransfer branch , taken if falseall
!br1flpred count0, off op0, count off00 :flowtransfer branch , taken if falseall
!br3flpred count0, off op0, count lit0, lit lit1, lit off00 :flowtransfer branch , taken if falseall
!br2flpred count0, off op0, count lit0, lit off00 :flowtransfer branch , taken if falseall
!br1flpred count0, op op0, off op1, count off00 :flowtransfer branch , taken if falseall
!br2flpred count0, op op0, off op1, count lit0, lit off00 :flowtransfer branch , taken if falseall
!br*flpred op0, op op1, ops args0 :flowtransfer branch , taken if falseall
!br*flpred op0, lbl off0, ops args0 :flowtransfer branch , taken if falseall
!br*flpred op0, op op1, ops args0 :flowtransfer branch , taken if falseall
!br*flpred op0, lbl off0, ops args0 :flowtransfer branch , taken if falseall
!br1trpred count0, off op0, count off00 :flowtransfer branch , taken if trueall
!br1trpred count0, op op0, off op1, count off00 :flowtransfer branch , taken if trueall
!br2trpred count0, off op0, count lit0, lit off00 :flowtransfer branch , taken if trueall
!br2trpred count0, op op0, off op1, count lit0, lit off00 :flowtransfer branch , taken if trueall
!br3trpred count0, off op0, count lit0, lit lit1, lit off00 :flowtransfer branch , taken if trueall
!br2trpred count0, off op0, count lit0, lit off00 :flowtransfer branch , taken if trueall
!br1trpred count0, op op0, off op1, count off00 :flowtransfer branch , taken if trueall
!br2trpred count0, op op0, off op1, count lit0, lit off00 :flowtransfer branch , taken if trueall
!br3trpred count0, off op0, count lit0, lit lit1, lit off00 :flowtransfer branch , taken if trueall
!br1trpred count0, off op0, count off00 :flowtransfer branch , taken if trueall
!br*trpred op0, lbl off0, ops args0 :flowtransfer branch , taken if trueall
!br*trpred op0, op op1, ops args0 :flowtransfer branch , taken if trueall
!br*trpred op0, lbl off0, ops args0 :flowtransfer branch , taken if trueall
!br*trpred op0, op op1, ops args0 :flowtransfer branch , taken if trueall
!br3 off count0, count lit0, lit lit1, lit off00 :flowtransfer branch , taken unconditionallyall
!br2 off count0, count lit0, lit off00 :flowtransfer branch , taken unconditionallyall
!br1 off count0, count off00 :flowtransfer branch , taken unconditionallyall
!br1 op count0, off op0, count off00 :flowtransfer branch , taken unconditionallyall
!br4 off count0, count lit0, lit lit1, lit lit2, lit off00 :flowtransfer branch , taken unconditionallyall
!br2 op count0, off op0, count lit0, lit off00 :flowtransfer branch , taken unconditionallyall
!br3 op count0, off op0, count lit0, lit lit1, lit off00 :flowtransfer branch , taken unconditionallyall
!br1 op count0, off op0, count off00 :flowtransfer branch , taken unconditionallyall
!br2 op count0, off op0, count lit0, lit off00 :flowtransfer branch , taken unconditionallyall
!br3 op count0, off op0, count lit0, lit lit1, lit off00 :flowtransfer branch , taken unconditionallyall
!br4 off count0, count lit0, lit lit1, lit lit2, lit off00 :flowtransfer branch , taken unconditionallyall
!br3 off count0, count lit0, lit lit1, lit off00 :flowtransfer branch , taken unconditionallyall
!br2 off count0, count lit0, lit off00 :flowtransfer branch , taken unconditionallyall
!br1 off count0, count off00 :flowtransfer branch , taken unconditionallyall
!br* op op0, ops args0 :flowtransfer branch , taken unconditionallyall
!br* lbl off0, ops args0 :flowtransfer branch , taken unconditionallyall
!br* op op0, ops args0 :flowtransfer branch , taken unconditionallyall
!br* lbl off0, ops args0 :flowtransfer branch , taken unconditionallyall
bswap op op01 [xx:x]exucompute big<->little endian conversion , logicalall
!call1fl0op q, off target, count argc0 :flowcall function call , taken if false, no resultall
!call2fl0op q, off target, count argc, lit argv0 :flowcall function call , taken if false, no resultall
!call3fl0op q, off target, count argc, lit argv, lit argv0 :flowcall function call , taken if false, no resultall
!call1fl0op q, p target, off argv, count argc0 :flowcall function call , taken if false, no resultall
!call2fl0op q, p target, off argv, count argc, lit argv0 :flowcall function call , taken if false, no resultall
!call*fl0op q, p target, args args0 :flowcall function call , taken if false, no resultall
!call*fl0op q, lbl target, args args0 :flowcall function call , taken if false, no resultall
!call1fl1op count0, width op0, off off0, count width01 :flowcall function call , taken if false, one resultall
!call2fl1op count0, width op0, off lit0, count off0, lit width01 :flowcall function call , taken if false, one resultall
!call3fl1op count0, width op0, off lit0, count lit1, lit off0, lit width01 :flowcall function call , taken if false, one resultall
!call2fl1op count0, op op0, width op1, off lit0, count off0, lit width01 :flowcall function call , taken if false, one resultall
!call1fl1op count0, op op0, width op1, off off0, count width01 :flowcall function call , taken if false, one resultall
!call*fl1op op0, lbl off0, width width0, args args1 :flowcall function call , taken if false, one resultall
!call*fl1op op0, op op1, width width0, args args1 :flowcall function call , taken if false, one resultall
!call2tr0op q, p target, off argv, count argc, lit argv0 :flowcall function call , taken if true, no resultall
!call1tr0op q, p target, off argv, count argc0 :flowcall function call , taken if true, no resultall
!call1tr0op q, off target, count argc0 :flowcall function call , taken if true, no resultall
!call2tr0op q, off target, count argc, lit argv0 :flowcall function call , taken if true, no resultall
!call3tr0op q, off target, count argc, lit argv, lit argv0 :flowcall function call , taken if true, no resultall
!call*tr0op q, p target, args args0 :flowcall function call , taken if true, no resultall
!call*tr0op q, lbl target, args args0 :flowcall function call , taken if true, no resultall
!call3tr1op count0, width op0, off lit0, count lit1, lit off0, lit width01 :flowcall function call , taken if true, one resultall
!call1tr1op count0, op op0, width op1, off off0, count width01 :flowcall function call , taken if true, one resultall
!call2tr1op count0, op op0, width op1, off lit0, count off0, lit width01 :flowcall function call , taken if true, one resultall
!call1tr1op count0, width op0, off off0, count width01 :flowcall function call , taken if true, one resultall
!call2tr1op count0, width op0, off lit0, count off0, lit width01 :flowcall function call , taken if true, one resultall
!call*tr1op op0, lbl off0, width width0, args args1 :flowcall function call , taken if true, one resultall
!call*tr1op op0, op op1, width width0, args args1 :flowcall function call , taken if true, one resultall
!call1 0op q, off target, count argc0 :flowcall function call , taken unconditionally, no resultall
!call2 0op q, off target, count argc, lit argv0 :flowcall function call , taken unconditionally, no resultall
!call3 0op q, off target, count argc, lit argv, lit argv0 :flowcall function call , taken unconditionally, no resultall
!call1 0off target, count argc0 :flowcall function call , taken unconditionally, no resultall
!call3 0off target, count argc, lit argv, lit argv0 :flowcall function call , taken unconditionally, no resultall
!call2 0off target, count argc, lit argv0 :flowcall function call , taken unconditionally, no resultall
!call4 0off target, count argc, lit argv, lit argv, lit argv0 :flowcall function call , taken unconditionally, no resultall
!call* 0p target, args args0 :flowcall function call , taken unconditionally, no resultall
!call* 0lbl target, args args0 :flowcall function call , taken unconditionally, no resultall
!call3 1off target, count argc, lit argv, lit argv1 :flowcall function call , taken unconditionally, one resultall
!call4 1off target, count argc, lit argv, lit argv, lit argv1 :flowcall function call , taken unconditionally, one resultall
!call1 1op q, off target, count argc1 :flowcall function call , taken unconditionally, one resultall
!call2 1op q, off target, count argc, lit argv1 :flowcall function call , taken unconditionally, one resultall
!call3 1op q, off target, count argc, lit argv, lit argv1 :flowcall function call , taken unconditionally, one resultall
!call2 1off target, count argc, lit argv1 :flowcall function call , taken unconditionally, one resultall
!call1 1off target, count argc1 :flowcall function call , taken unconditionally, one resultall
!call* 1p target, args args1 :flowcall function call , taken unconditionally, one resultall
!call* 1lbl target, args args1 :flowcall function call , taken unconditionally, one resultall
!call1 nlit n, p target, off argv, count argcn :flowcall function call , taken unconditionally, more than one resultall
!call3 nlit n, off target, count argc, lit argv, lit argvn :flowcall function call , taken unconditionally, more than one resultall
!call2 nlit n, off target, count argc, lit argvn :flowcall function call , taken unconditionally, more than one resultall
!call1 nlit n, off target, count argcn :flowcall function call , taken unconditionally, more than one resultall
!call2 nlit n, p target, off argv, count argc, lit argvn :flowcall function call , taken unconditionally, more than one resultall
!call* nlit n, lbl target, args argsn :flowcall function call , taken unconditionally, more than one resultall
!call* nlit n, p target, args argsn :flowcall function call , taken unconditionally, more than one resultall
carry 1 [xx:x]exucompute carry/borrow gang predicate , logicalall
carry op op01 [xx:x]exucompute carry/borrow gang predicate , logicalnone
carry op op01 [xx:x]exucompute carry/borrow gang predicate , logicalnone
carry 1 [xx:x]exucompute carry/borrow gang predicate , logicalall
classifydd x1 [dd:d]exucompute floating point kind , decimal floating pointnone
classifyff x1 [ff:f]exucompute floating point kind , binary floating pointnone
clear op x, bit bit1 [xi:x]exucompute bit reset , logicalall
clear op x, op bit1 [xi:x]exucompute bit reset , logicalall
con1off v, width w1 xx:xflowreader immediate constant all
con2off v, width w, lit v1 xx:xflowreader immediate constant all
con3off v, width w, lit v, lit v1 xx:xflowreader immediate constant all
con4off v, width w, lit v, lit v, lit v1 xx:xflowreader immediate constant all
con*constant v1 xx:xflowreader immediate constant all
countl flop x1 [xx:x]exucompute number of bits before condition , toward greater significance, logical, taken if falseall
countl trop x1 [xx:x]exucompute number of bits before condition , toward greater significance, logical, taken if trueall
countr flop x1 [xx:x]exucompute number of bits before condition , toward lesser significance, logical, taken if falseall
countr trop x1 [xx:x]exucompute number of bits before condition , toward lesser significance, logical, taken if trueall
d2BID op x1 [xx:x]exucompute decimal format conversion , logicalnone
d2DPD op x1 [xx:x]exucompute decimal format conversion , logicalnone
delta op x, op y1 [pp:p]exucompute distance between pointers , logicalall
divded x, d y1?[dd:d]exucompute divide for quotient , decimal floating point, to nearest, ties toward even adjacent valuenone
divdfzd x, d y1?[dd:d]exucompute divide for quotient , decimal floating point, to nearest, ties away from zeronone
divdnd x, d y1?[dd:d]exucompute divide for quotient , decimal floating point, toward negative infinitynone
divdpd x, d y1?[dd:d]exucompute divide for quotient , decimal floating point, toward positive infinitynone
divdzd x, d y1?[dd:d]exucompute divide for quotient , decimal floating point, toward zeronone
divd d x, d y1?[dd:d]exucompute divide for quotient , decimal floating point, use current dynamic rounding modenone
divfef x, f y1?[ff:f]exucompute divide for quotient , binary floating point, to nearest, ties toward even adjacent valuenone
divffzf x, f y1?[ff:f]exucompute divide for quotient , binary floating point, to nearest, ties away from zeronone
divfnf x, f y1?[ff:f]exucompute divide for quotient , binary floating point, toward negative infinitynone
divfpf x, f y1?[ff:f]exucompute divide for quotient , binary floating point, toward positive infinitynone
divfzf x, f y1?[ff:f]exucompute divide for quotient , binary floating point, toward zeronone
divf f x, f y1?[ff:f]exucompute divide for quotient , binary floating point, use current dynamic rounding modenone
divRemss x, imm y2?[xx:xx]exucompute divide for quotient and remainder , signed integernone
divRemss x, s y2?[xx:xx]exucompute divide for quotient and remainder , signed integernone
divRemuu x, imm y2?[xx:xx]exucompute divide for quotient and remainder , unsigned integernone
divRemuu x, u y2?[xx:xx]exucompute divide for quotient and remainder , unsigned integernone
divss x, imm y1 [xx:x]exucompute divide for quotient , signed integernone
divss x, s y1?[xx:x]exucompute divide for quotient , signed integernone
divuu x, imm y1 [xx:x]exucompute divide for quotient , unsigned integernone
divuu x, u y1?[xx:x]exucompute divide for quotient , unsigned integernone
DPD2dd x1 [dd:d]exucompute decimal format conversion , decimal floating pointnone
enterAtomic0 :flowcompute begin a new optimistic atomic extent all
eqldxd x, d y1 [dd:d]exucompute equal , decimal floating point, NaN-awarenone
eqldxd op0, d op11 [dx:d]exucompute equal , decimal floating point, NaN-awarenone
eqld d x, d y1 [dd:d]exucompute equal , decimal floating point, NaN-unawarenone
eqld d op0, d op11 [dx:d]exucompute equal , decimal floating point, NaN-unawarenone
eqlfxf x, f y1 [ff:f]exucompute equal , binary floating point, NaN-awarenone
eqlfxf op0, f op11 [fx:f]exucompute equal , binary floating point, NaN-awarenone
eqlf f x, f y1 [ff:f]exucompute equal , binary floating point, NaN-unawarenone
eqlf f op0, f op11 [fx:f]exucompute equal , binary floating point, NaN-unawarenone
eqlpp x, p y1 [pp:p]exucompute equal , pointerall
eqlpp op0, p op11 [px:p]exucompute equal , pointerall
eqlss x, imm y1 [xx:x]exucompute equal , signed integerall
eqlss x, s y1 [xx:x]exucompute equal , signed integerall
eqlss op0, s op11 [xx:x]exucompute equal , signed integerall
eqlss op0, imm imm01 [xx:x]exucompute equal , signed integerall
eqluu x, u y1 [xx:x]exucompute equal , unsigned integerall
eqluu x, imm y1 [xx:x]exucompute equal , unsigned integerall
eqluu op0, u op11 [xx:x]exucompute equal , unsigned integerall
eqluu op0, imm imm01 [xx:x]exucompute equal , unsigned integerall
eql 1 [xx:x]exucompute equal , logicalall
eql op x, imm y1 [xx:x]exucompute equal , logicalall
eql op x, op y1 [xx:x]exucompute equal , logicalall
eql op op0, imm imm01 [xx:x]exucompute equal , logicalall
eql 1 [xx:x]exucompute equal , logicalall
eql op op0, op op11 [xx:x]exucompute equal , logicalall
eql conditioncode1 [xx:x]exuSkinnycompute equal , logicalall
eql conditioncode1 [xx:x]exuSkinnycompute equal , logicalall
exitAtomic0 :flowcompute commit an in-progress atomic extent and return status all
exscratchfoff size0 :flowcompute allocate extended scratchpad space in memory all
extractop op0, op args1?XX:xexucompute extract a scalar element from a vector or a field from a struct all
extractop op0, op width0, width args1?xx:xexucompute extract a scalar element from a vector or a field from a struct all
extractop v, i i1?Xx:xexucompute extract a scalar element from a vector or a field from a struct all
exuArgs2op arg0, op arg10 :exucompute additional slot for ganged exu operation all
exuArgsop arg0 :exucompute additional slot for ganged exu operation all
f2fded x1 [dd:d]exucompute convert binary float to decimal float and vice versa , decimal floating point, to nearest, ties toward even adjacent valuenone
f2fdfzd x1 [dd:d]exucompute convert binary float to decimal float and vice versa , decimal floating point, to nearest, ties away from zeronone
f2fdnd x1 [dd:d]exucompute convert binary float to decimal float and vice versa , decimal floating point, toward negative infinitynone
f2fdpd x1 [dd:d]exucompute convert binary float to decimal float and vice versa , decimal floating point, toward positive infinitynone
f2fdzd x1 [dd:d]exucompute convert binary float to decimal float and vice versa , decimal floating point, toward zeronone
f2fd d x1 [dd:d]exucompute convert binary float to decimal float and vice versa , decimal floating point, use current dynamic rounding modenone
f2ffef x1 [ff:f]exucompute convert binary float to decimal float and vice versa , binary floating point, to nearest, ties toward even adjacent valuenone
f2fffzf x1 [ff:f]exucompute convert binary float to decimal float and vice versa , binary floating point, to nearest, ties away from zeronone
f2ffnf x1 [ff:f]exucompute convert binary float to decimal float and vice versa , binary floating point, toward negative infinitynone
f2ffpf x1 [ff:f]exucompute convert binary float to decimal float and vice versa , binary floating point, toward positive infinitynone
f2ffzf x1 [ff:f]exucompute convert binary float to decimal float and vice versa , binary floating point, toward zeronone
f2ff f x1 [ff:f]exucompute convert binary float to decimal float and vice versa , binary floating point, use current dynamic rounding modenone
f2sedsed op01?[ff:f]exucompute convert float to signed integer , exact, decimal floating point, saturating, to nearest, ties toward even adjacent valuenone
f2sedsfzd op01?[ff:f]exucompute convert float to signed integer , exact, decimal floating point, saturating, to nearest, ties away from zeronone
f2sedsnd op01?[ff:f]exucompute convert float to signed integer , exact, decimal floating point, saturating, toward negative infinitynone
f2sedspd op01?[ff:f]exucompute convert float to signed integer , exact, decimal floating point, saturating, toward positive infinitynone
f2sedszd op01?[ff:f]exucompute convert float to signed integer , exact, decimal floating point, saturating, toward zeronone
f2seds d op01?[ff:f]exucompute convert float to signed integer , exact, decimal floating point, saturating, use current dynamic rounding modenone
f2sedxed op01?[ff:f]exucompute convert float to signed integer , exact, decimal floating point, excepting, to nearest, ties toward even adjacent valuenone
f2sedxfzd op01?[ff:f]exucompute convert float to signed integer , exact, decimal floating point, excepting, to nearest, ties away from zeronone
f2sedxnd op01?[ff:f]exucompute convert float to signed integer , exact, decimal floating point, excepting, toward negative infinitynone
f2sedxpd op01?[ff:f]exucompute convert float to signed integer , exact, decimal floating point, excepting, toward positive infinitynone
f2sedxzd op01?[ff:f]exucompute convert float to signed integer , exact, decimal floating point, excepting, toward zeronone
f2sedx d op01?[ff:f]exucompute convert float to signed integer , exact, decimal floating point, excepting, use current dynamic rounding modenone
f2sed ed op01?[ff:f]exucompute convert float to signed integer , exact, decimal floating point, modulo, to nearest, ties toward even adjacent valuenone
f2sed fzd op01?[ff:f]exucompute convert float to signed integer , exact, decimal floating point, modulo, to nearest, ties away from zeronone
f2sed nd op01?[ff:f]exucompute convert float to signed integer , exact, decimal floating point, modulo, toward negative infinitynone
f2sed pd op01?[ff:f]exucompute convert float to signed integer , exact, decimal floating point, modulo, toward positive infinitynone
f2sed zd op01?[ff:f]exucompute convert float to signed integer , exact, decimal floating point, modulo, toward zeronone
f2sed  d x1?[ff:f]exucompute convert float to signed integer , exact, decimal floating point, modulo, use current dynamic rounding modenone
f2sefsef op01?[ff:f]exucompute convert float to signed integer , exact, binary floating point, saturating, to nearest, ties toward even adjacent valuenone
f2sefsfzf op01?[ff:f]exucompute convert float to signed integer , exact, binary floating point, saturating, to nearest, ties away from zeronone
f2sefsnf op01?[ff:f]exucompute convert float to signed integer , exact, binary floating point, saturating, toward negative infinitynone
f2sefspf op01?[ff:f]exucompute convert float to signed integer , exact, binary floating point, saturating, toward positive infinitynone
f2sefszf op01?[ff:f]exucompute convert float to signed integer , exact, binary floating point, saturating, toward zeronone
f2sefs f op01?[ff:f]exucompute convert float to signed integer , exact, binary floating point, saturating, use current dynamic rounding modenone
f2sefxef op01?[ff:f]exucompute convert float to signed integer , exact, binary floating point, excepting, to nearest, ties toward even adjacent valuenone
f2sefxfzf op01?[ff:f]exucompute convert float to signed integer , exact, binary floating point, excepting, to nearest, ties away from zeronone
f2sefxnf op01?[ff:f]exucompute convert float to signed integer , exact, binary floating point, excepting, toward negative infinitynone
f2sefxpf op01?[ff:f]exucompute convert float to signed integer , exact, binary floating point, excepting, toward positive infinitynone
f2sefxzf op01?[ff:f]exucompute convert float to signed integer , exact, binary floating point, excepting, toward zeronone
f2sefx f op01?[ff:f]exucompute convert float to signed integer , exact, binary floating point, excepting, use current dynamic rounding modenone
f2sef ef op01?[ff:f]exucompute convert float to signed integer , exact, binary floating point, modulo, to nearest, ties toward even adjacent valuenone
f2sef fzf op01?[ff:f]exucompute convert float to signed integer , exact, binary floating point, modulo, to nearest, ties away from zeronone
f2sef nf op01?[ff:f]exucompute convert float to signed integer , exact, binary floating point, modulo, toward negative infinitynone
f2sef pf op01?[ff:f]exucompute convert float to signed integer , exact, binary floating point, modulo, toward positive infinitynone
f2sef zf op01?[ff:f]exucompute convert float to signed integer , exact, binary floating point, modulo, toward zeronone
f2sef  f x1?[ff:f]exucompute convert float to signed integer , exact, binary floating point, modulo, use current dynamic rounding modenone
f2sidsed op01?[ff:f]exucompute convert float to signed integer , inexact, decimal floating point, saturating, to nearest, ties toward even adjacent valuenone
f2sidsfzd op01?[ff:f]exucompute convert float to signed integer , inexact, decimal floating point, saturating, to nearest, ties away from zeronone
f2sidsnd op01?[ff:f]exucompute convert float to signed integer , inexact, decimal floating point, saturating, toward negative infinitynone
f2sidspd op01?[ff:f]exucompute convert float to signed integer , inexact, decimal floating point, saturating, toward positive infinitynone
f2sidszd op01?[ff:f]exucompute convert float to signed integer , inexact, decimal floating point, saturating, toward zeronone
f2sids d op01?[ff:f]exucompute convert float to signed integer , inexact, decimal floating point, saturating, use current dynamic rounding modenone
f2sidxed op01?[ff:f]exucompute convert float to signed integer , inexact, decimal floating point, excepting, to nearest, ties toward even adjacent valuenone
f2sidxfzd op01?[ff:f]exucompute convert float to signed integer , inexact, decimal floating point, excepting, to nearest, ties away from zeronone
f2sidxnd op01?[ff:f]exucompute convert float to signed integer , inexact, decimal floating point, excepting, toward negative infinitynone
f2sidxpd op01?[ff:f]exucompute convert float to signed integer , inexact, decimal floating point, excepting, toward positive infinitynone
f2sidxzd op01?[ff:f]exucompute convert float to signed integer , inexact, decimal floating point, excepting, toward zeronone
f2sidx d op01?[ff:f]exucompute convert float to signed integer , inexact, decimal floating point, excepting, use current dynamic rounding modenone
f2sid ed op01?[ff:f]exucompute convert float to signed integer , inexact, decimal floating point, modulo, to nearest, ties toward even adjacent valuenone
f2sid fzd op01?[ff:f]exucompute convert float to signed integer , inexact, decimal floating point, modulo, to nearest, ties away from zeronone
f2sid nd op01?[ff:f]exucompute convert float to signed integer , inexact, decimal floating point, modulo, toward negative infinitynone
f2sid pd op01?[ff:f]exucompute convert float to signed integer , inexact, decimal floating point, modulo, toward positive infinitynone
f2sid zd op01?[ff:f]exucompute convert float to signed integer , inexact, decimal floating point, modulo, toward zeronone
f2sid  d op01?[ff:f]exucompute convert float to signed integer , inexact, decimal floating point, modulo, use current dynamic rounding modenone
f2sifsef op01?[ff:f]exucompute convert float to signed integer , inexact, binary floating point, saturating, to nearest, ties toward even adjacent valuenone
f2sifsfzf op01?[ff:f]exucompute convert float to signed integer , inexact, binary floating point, saturating, to nearest, ties away from zeronone
f2sifsnf op01?[ff:f]exucompute convert float to signed integer , inexact, binary floating point, saturating, toward negative infinitynone
f2sifspf op01?[ff:f]exucompute convert float to signed integer , inexact, binary floating point, saturating, toward positive infinitynone
f2sifszf op01?[ff:f]exucompute convert float to signed integer , inexact, binary floating point, saturating, toward zeronone
f2sifs f op01?[ff:f]exucompute convert float to signed integer , inexact, binary floating point, saturating, use current dynamic rounding modenone
f2sifxef op01?[ff:f]exucompute convert float to signed integer , inexact, binary floating point, excepting, to nearest, ties toward even adjacent valuenone
f2sifxfzf op01?[ff:f]exucompute convert float to signed integer , inexact, binary floating point, excepting, to nearest, ties away from zeronone
f2sifxnf op01?[ff:f]exucompute convert float to signed integer , inexact, binary floating point, excepting, toward negative infinitynone
f2sifxpf op01?[ff:f]exucompute convert float to signed integer , inexact, binary floating point, excepting, toward positive infinitynone
f2sifxzf op01?[ff:f]exucompute convert float to signed integer , inexact, binary floating point, excepting, toward zeronone
f2sifx f op01?[ff:f]exucompute convert float to signed integer , inexact, binary floating point, excepting, use current dynamic rounding modenone
f2sif ef op01?[ff:f]exucompute convert float to signed integer , inexact, binary floating point, modulo, to nearest, ties toward even adjacent valuenone
f2sif fzf op01?[ff:f]exucompute convert float to signed integer , inexact, binary floating point, modulo, to nearest, ties away from zeronone
f2sif nf op01?[ff:f]exucompute convert float to signed integer , inexact, binary floating point, modulo, toward negative infinitynone
f2sif pf op01?[ff:f]exucompute convert float to signed integer , inexact, binary floating point, modulo, toward positive infinitynone
f2sif zf op01?[ff:f]exucompute convert float to signed integer , inexact, binary floating point, modulo, toward zeronone
f2sif  f op01?[ff:f]exucompute convert float to signed integer , inexact, binary floating point, modulo, use current dynamic rounding modenone
f2uedsed op01?[ff:f]exucompute convert float to unsigned integer , exact, decimal floating point, saturating, to nearest, ties toward even adjacent valuenone
f2uedsfzd op01?[ff:f]exucompute convert float to unsigned integer , exact, decimal floating point, saturating, to nearest, ties away from zeronone
f2uedsnd op01?[ff:f]exucompute convert float to unsigned integer , exact, decimal floating point, saturating, toward negative infinitynone
f2uedspd op01?[ff:f]exucompute convert float to unsigned integer , exact, decimal floating point, saturating, toward positive infinitynone
f2uedszd op01?[ff:f]exucompute convert float to unsigned integer , exact, decimal floating point, saturating, toward zeronone
f2ueds d op01?[ff:f]exucompute convert float to unsigned integer , exact, decimal floating point, saturating, use current dynamic rounding modenone
f2uedxed op01?[ff:f]exucompute convert float to unsigned integer , exact, decimal floating point, excepting, to nearest, ties toward even adjacent valuenone
f2uedxfzd op01?[ff:f]exucompute convert float to unsigned integer , exact, decimal floating point, excepting, to nearest, ties away from zeronone
f2uedxnd op01?[ff:f]exucompute convert float to unsigned integer , exact, decimal floating point, excepting, toward negative infinitynone
f2uedxpd op01?[ff:f]exucompute convert float to unsigned integer , exact, decimal floating point, excepting, toward positive infinitynone
f2uedxzd op01?[ff:f]exucompute convert float to unsigned integer , exact, decimal floating point, excepting, toward zeronone
f2uedx d op01?[ff:f]exucompute convert float to unsigned integer , exact, decimal floating point, excepting, use current dynamic rounding modenone
f2ued ed op01?[ff:f]exucompute convert float to unsigned integer , exact, decimal floating point, modulo, to nearest, ties toward even adjacent valuenone
f2ued fzd op01?[ff:f]exucompute convert float to unsigned integer , exact, decimal floating point, modulo, to nearest, ties away from zeronone
f2ued nd op01?[ff:f]exucompute convert float to unsigned integer , exact, decimal floating point, modulo, toward negative infinitynone
f2ued pd op01?[ff:f]exucompute convert float to unsigned integer , exact, decimal floating point, modulo, toward positive infinitynone
f2ued zd op01?[ff:f]exucompute convert float to unsigned integer , exact, decimal floating point, modulo, toward zeronone
f2ued  d x1?[ff:f]exucompute convert float to unsigned integer , exact, decimal floating point, modulo, use current dynamic rounding modenone
f2uefsef op01?[ff:f]exucompute convert float to unsigned integer , exact, binary floating point, saturating, to nearest, ties toward even adjacent valuenone
f2uefsfzf op01?[ff:f]exucompute convert float to unsigned integer , exact, binary floating point, saturating, to nearest, ties away from zeronone
f2uefsnf op01?[ff:f]exucompute convert float to unsigned integer , exact, binary floating point, saturating, toward negative infinitynone
f2uefspf op01?[ff:f]exucompute convert float to unsigned integer , exact, binary floating point, saturating, toward positive infinitynone
f2uefszf op01?[ff:f]exucompute convert float to unsigned integer , exact, binary floating point, saturating, toward zeronone
f2uefs f op01?[ff:f]exucompute convert float to unsigned integer , exact, binary floating point, saturating, use current dynamic rounding modenone
f2uefxef op01?[ff:f]exucompute convert float to unsigned integer , exact, binary floating point, excepting, to nearest, ties toward even adjacent valuenone
f2uefxfzf op01?[ff:f]exucompute convert float to unsigned integer , exact, binary floating point, excepting, to nearest, ties away from zeronone
f2uefxnf op01?[ff:f]exucompute convert float to unsigned integer , exact, binary floating point, excepting, toward negative infinitynone
f2uefxpf op01?[ff:f]exucompute convert float to unsigned integer , exact, binary floating point, excepting, toward positive infinitynone
f2uefxzf op01?[ff:f]exucompute convert float to unsigned integer , exact, binary floating point, excepting, toward zeronone
f2uefx f op01?[ff:f]exucompute convert float to unsigned integer , exact, binary floating point, excepting, use current dynamic rounding modenone
f2uef ef op01?[ff:f]exucompute convert float to unsigned integer , exact, binary floating point, modulo, to nearest, ties toward even adjacent valuenone
f2uef fzf op01?[ff:f]exucompute convert float to unsigned integer , exact, binary floating point, modulo, to nearest, ties away from zeronone
f2uef nf op01?[ff:f]exucompute convert float to unsigned integer , exact, binary floating point, modulo, toward negative infinitynone
f2uef pf op01?[ff:f]exucompute convert float to unsigned integer , exact, binary floating point, modulo, toward positive infinitynone
f2uef zf op01?[ff:f]exucompute convert float to unsigned integer , exact, binary floating point, modulo, toward zeronone
f2uef  f x1?[ff:f]exucompute convert float to unsigned integer , exact, binary floating point, modulo, use current dynamic rounding modenone
f2uidsed op01?[ff:f]exucompute convert float to unsigned integer , inexact, decimal floating point, saturating, to nearest, ties toward even adjacent valuenone
f2uidsfzd op01?[ff:f]exucompute convert float to unsigned integer , inexact, decimal floating point, saturating, to nearest, ties away from zeronone
f2uidsnd op01?[ff:f]exucompute convert float to unsigned integer , inexact, decimal floating point, saturating, toward negative infinitynone
f2uidspd op01?[ff:f]exucompute convert float to unsigned integer , inexact, decimal floating point, saturating, toward positive infinitynone
f2uidszd op01?[ff:f]exucompute convert float to unsigned integer , inexact, decimal floating point, saturating, toward zeronone
f2uids d op01?[ff:f]exucompute convert float to unsigned integer , inexact, decimal floating point, saturating, use current dynamic rounding modenone
f2uidxed op01?[ff:f]exucompute convert float to unsigned integer , inexact, decimal floating point, excepting, to nearest, ties toward even adjacent valuenone
f2uidxfzd op01?[ff:f]exucompute convert float to unsigned integer , inexact, decimal floating point, excepting, to nearest, ties away from zeronone
f2uidxnd op01?[ff:f]exucompute convert float to unsigned integer , inexact, decimal floating point, excepting, toward negative infinitynone
f2uidxpd op01?[ff:f]exucompute convert float to unsigned integer , inexact, decimal floating point, excepting, toward positive infinitynone
f2uidxzd op01?[ff:f]exucompute convert float to unsigned integer , inexact, decimal floating point, excepting, toward zeronone
f2uidx d op01?[ff:f]exucompute convert float to unsigned integer , inexact, decimal floating point, excepting, use current dynamic rounding modenone
f2uid ed op01?[ff:f]exucompute convert float to unsigned integer , inexact, decimal floating point, modulo, to nearest, ties toward even adjacent valuenone
f2uid fzd op01?[ff:f]exucompute convert float to unsigned integer , inexact, decimal floating point, modulo, to nearest, ties away from zeronone
f2uid nd op01?[ff:f]exucompute convert float to unsigned integer , inexact, decimal floating point, modulo, toward negative infinitynone
f2uid pd op01?[ff:f]exucompute convert float to unsigned integer , inexact, decimal floating point, modulo, toward positive infinitynone
f2uid zd op01?[ff:f]exucompute convert float to unsigned integer , inexact, decimal floating point, modulo, toward zeronone
f2uid  d op01?[ff:f]exucompute convert float to unsigned integer , inexact, decimal floating point, modulo, use current dynamic rounding modenone
f2uifsef op01?[ff:f]exucompute convert float to unsigned integer , inexact, binary floating point, saturating, to nearest, ties toward even adjacent valuenone
f2uifsfzf op01?[ff:f]exucompute convert float to unsigned integer , inexact, binary floating point, saturating, to nearest, ties away from zeronone
f2uifsnf op01?[ff:f]exucompute convert float to unsigned integer , inexact, binary floating point, saturating, toward negative infinitynone
f2uifspf op01?[ff:f]exucompute convert float to unsigned integer , inexact, binary floating point, saturating, toward positive infinitynone
f2uifszf op01?[ff:f]exucompute convert float to unsigned integer , inexact, binary floating point, saturating, toward zeronone
f2uifs f op01?[ff:f]exucompute convert float to unsigned integer , inexact, binary floating point, saturating, use current dynamic rounding modenone
f2uifxef op01?[ff:f]exucompute convert float to unsigned integer , inexact, binary floating point, excepting, to nearest, ties toward even adjacent valuenone
f2uifxfzf op01?[ff:f]exucompute convert float to unsigned integer , inexact, binary floating point, excepting, to nearest, ties away from zeronone
f2uifxnf op01?[ff:f]exucompute convert float to unsigned integer , inexact, binary floating point, excepting, toward negative infinitynone
f2uifxpf op01?[ff:f]exucompute convert float to unsigned integer , inexact, binary floating point, excepting, toward positive infinitynone
f2uifxzf op01?[ff:f]exucompute convert float to unsigned integer , inexact, binary floating point, excepting, toward zeronone
f2uifx f op01?[ff:f]exucompute convert float to unsigned integer , inexact, binary floating point, excepting, use current dynamic rounding modenone
f2uif ef op01?[ff:f]exucompute convert float to unsigned integer , inexact, binary floating point, modulo, to nearest, ties toward even adjacent valuenone
f2uif fzf op01?[ff:f]exucompute convert float to unsigned integer , inexact, binary floating point, modulo, to nearest, ties away from zeronone
f2uif nf op01?[ff:f]exucompute convert float to unsigned integer , inexact, binary floating point, modulo, toward negative infinitynone
f2uif pf op01?[ff:f]exucompute convert float to unsigned integer , inexact, binary floating point, modulo, toward positive infinitynone
f2uif zf op01?[ff:f]exucompute convert float to unsigned integer , inexact, binary floating point, modulo, toward zeronone
f2uif  f op01?[ff:f]exucompute convert float to unsigned integer , inexact, binary floating point, modulo, use current dynamic rounding modenone
!faceoff count0 :flowcompute fetch-ahead count extension all
!fault flpred op0, 0 [xx]:writerwriter force an application fault , logical, taken if falseall
!fault flpred op0, 0 [xx]:writerwriter force an application fault , logical, taken if falseall
!fault trpred op0, 0 [xx]:writerwriter force an application fault , logical, taken if trueall
!fault trpred op0, 0 [xx]:writerwriter force an application fault , logical, taken if trueall
!fault  0 [xx]:writerwriter force an application fault , logical, taken unconditionallyall
!fault  0 [xx]:writerwriter force an application fault , logical, taken unconditionallyall
filloff off01 xx:xflowreader restore spilled operand from extended scratchpad all
filloff lit0, lit off01 xx:xflowreader restore spilled operand from extended scratchpad all
fill scratch scratchr0, 0 :[x]readerreader restore spilled operand from extended scratchpad , logicalall
flags op op0, op op11 [xi:x]exucompute access floating-point status metadata , logicalall
flags op op01 [xx:x]exucompute access floating-point status metadata , logicalall
flipss x1 [xx:x]exucompute bit complement , signed integerall
flipuu x1 [xx:x]exucompute bit complement , unsigned integerall
flip op x, bit bit1 [xi:x]exucompute bit complement , logicalall
flip op x, n bit1 [xi:x]exucompute bit complement , logicalall
flip op x1 [xx:x]exucompute bit complement , logicalall
floatArgs op op0, op op11 [xx:x]exucompute mode control for ganged floating point operation , logicalall
floatArgs eop op01 [xx:x]exucompute mode control for ganged floating point operation , logical, to nearest, ties toward even adjacent valueall
floatArgs fzop op01 [xx:x]exucompute mode control for ganged floating point operation , logical, to nearest, ties away from zeroall
floatArgs nop op01 [xx:x]exucompute mode control for ganged floating point operation , logical, toward negative infinityall
floatArgs pop op01 [xx:x]exucompute mode control for ganged floating point operation , logical, toward positive infinityall
floatArgs zop op01 [xx:x]exucompute mode control for ganged floating point operation , logical, toward zeroall
floatArgs  op op01 [xx:x]exucompute mode control for ganged floating point operation , logical, use current dynamic rounding modeall
flowArgs4off arg, lit arg, lit arg, lit arg0 :flowcompute four-byte constant continuation, conditional predicate, or other ganged argument all
flowArgs1off arg0 :flowcompute four-byte constant continuation, conditional predicate, or other ganged argument all
flowArgs2off arg, lit arg0 :flowcompute four-byte constant continuation, conditional predicate, or other ganged argument all
flowArgs3off arg, lit arg, lit arg0 :flowcompute four-byte constant continuation, conditional predicate, or other ganged argument all
flowArgs2pred op00 :flowcompute four-byte constant continuation, conditional predicate, or other ganged argument all
flowArgs*ops args0 :flowcompute four-byte constant continuation, conditional predicate, or other ganged argument all
fmaded x, d y, d z1 [dd:d]exucompute fused multiply-add or -add/subtract , decimal floating point, to nearest, ties toward even adjacent valuenone
fmadfzd x, d y, d z1 [dd:d]exucompute fused multiply-add or -add/subtract , decimal floating point, to nearest, ties away from zeronone
fmadnd x, d y, d z1 [dd:d]exucompute fused multiply-add or -add/subtract , decimal floating point, toward negative infinitynone
fmadpd x, d y, d z1 [dd:d]exucompute fused multiply-add or -add/subtract , decimal floating point, toward positive infinitynone
fmadzd x, d y, d z1 [dd:d]exucompute fused multiply-add or -add/subtract , decimal floating point, toward zeronone
fmad d x, d y, d z1 [dd:d]exucompute fused multiply-add or -add/subtract , decimal floating point, use current dynamic rounding modenone
fmafef x, f y, f z1 [ff:f]exucompute fused multiply-add or -add/subtract , binary floating point, to nearest, ties toward even adjacent valuenone
fmaffzf x, f y, f z1 [ff:f]exucompute fused multiply-add or -add/subtract , binary floating point, to nearest, ties away from zeronone
fmafnf x, f y, f z1 [ff:f]exucompute fused multiply-add or -add/subtract , binary floating point, toward negative infinitynone
fmafpf x, f y, f z1 [ff:f]exucompute fused multiply-add or -add/subtract , binary floating point, toward positive infinitynone
fmafzf x, f y, f z1 [ff:f]exucompute fused multiply-add or -add/subtract , binary floating point, toward zeronone
fmaf f x, f y, f z1 [ff:f]exucompute fused multiply-add or -add/subtract , binary floating point, use current dynamic rounding modenone
fmass2s op0, s op1, s op21?[xx:x]exucompute fused multiply-add or -add/subtract , signed integer, saturating, dualall
fmass s op0, s op1, s op21?[xx:x]exucompute fused multiply-add or -add/subtract , signed integer, saturating, singleall
fmasw2s op0, s op1, s op22?XX:2X2Xexucompute fused multiply-add or -add/subtract , signed integer, widening, dualall
fmasw s op0, s op1, s op21?xx:2xexucompute fused multiply-add or -add/subtract , signed integer, widening, singleall
fmasx2s op0, s op1, s op21?[xx:x]exucompute fused multiply-add or -add/subtract , signed integer, excepting, dualall
fmasx s op0, s op1, s op21?[xx:x]exucompute fused multiply-add or -add/subtract , signed integer, excepting, singleall
fmas 2s op0, s op1, s op21?[xx:x]exucompute fused multiply-add or -add/subtract , signed integer, modulo, dualall
fmas  s op0, s op1, s op21?[xx:x]exucompute fused multiply-add or -add/subtract , signed integer, modulo, singleall
fmaus2u op0, u op1, u op21?[xx:x]exucompute fused multiply-add or -add/subtract , unsigned integer, saturating, dualall
fmaus u op0, u op1, u op21?[xx:x]exucompute fused multiply-add or -add/subtract , unsigned integer, saturating, singleall
fmauw2u op0, u op1, u op22?XX:2X2Xexucompute fused multiply-add or -add/subtract , unsigned integer, widening, dualall
fmauw u op0, u op1, u op21?xx:2xexucompute fused multiply-add or -add/subtract , unsigned integer, widening, singleall
fmaux2u op0, u op1, u op21?[xx:x]exucompute fused multiply-add or -add/subtract , unsigned integer, excepting, dualall
fmaux u op0, u op1, u op21?[xx:x]exucompute fused multiply-add or -add/subtract , unsigned integer, excepting, singleall
fmau 2u op0, u op1, u op21?[xx:x]exucompute fused multiply-add or -add/subtract , unsigned integer, modulo, dualall
fmau  u op0, u op1, u op21?[xx:x]exucompute fused multiply-add or -add/subtract , unsigned integer, modulo, singleall
fma op op0, op op1, op op21?[xx:x]exucompute fused multiply-add or -add/subtract , logicalall
geqdxd x, d y1 [dd:d]exucompute greater than or equal , decimal floating point, NaN-awarenone
geqdxd op0, d op11 [dx:d]exucompute greater than or equal , decimal floating point, NaN-awarenone
geqd d x, d y1 [dd:d]exucompute greater than or equal , decimal floating point, NaN-unawarenone
geqd d op0, d op11 [dx:d]exucompute greater than or equal , decimal floating point, NaN-unawarenone
geqfxf x, f y1 [ff:f]exucompute greater than or equal , binary floating point, NaN-awarenone
geqfxf op0, f op11 [fx:f]exucompute greater than or equal , binary floating point, NaN-awarenone
geqf f x, f y1 [ff:f]exucompute greater than or equal , binary floating point, NaN-unawarenone
geqf f op0, f op11 [fx:f]exucompute greater than or equal , binary floating point, NaN-unawarenone
geqpp op0, p op11 [pp:p]exucompute greater than or equal , pointerall
geqpp op0, p op11 [px:p]exucompute greater than or equal , pointerall
geqs1 [xx:x]exucompute greater than or equal , signed integerall
geqss op0, s op11 [xx:x]exucompute greater than or equal , signed integerall
geqss op0, imm imm01 [xx:x]exucompute greater than or equal , signed integerall
geqss op0, imm imm01 [xx:x]exucompute greater than or equal , signed integerall
geqss op0, s op11 [xx:x]exucompute greater than or equal , signed integerall
geqs1 [xx:x]exucompute greater than or equal , signed integerall
gequu op0, imm imm01 [xx:x]exucompute greater than or equal , unsigned integerall
gequ1 [xx:x]exucompute greater than or equal , unsigned integerall
gequu op0, u op11 [xx:x]exucompute greater than or equal , unsigned integerall
gequu op0, imm imm01 [xx:x]exucompute greater than or equal , unsigned integerall
gequ1 [xx:x]exucompute greater than or equal , unsigned integerall
gequu op0, u op11 [xx:x]exucompute greater than or equal , unsigned integerall
globalizeop op01 pp:pflowcompute make pointer global all
gtrdxd x, d y1 [dd:d]exucompute greater than , decimal floating point, NaN-awarenone
gtrdxd op0, d op11 [dx:d]exucompute greater than , decimal floating point, NaN-awarenone
gtrd d x, d y1 [dd:d]exucompute greater than , decimal floating point, NaN-unawarenone
gtrd d op0, d op11 [dx:d]exucompute greater than , decimal floating point, NaN-unawarenone
gtrfxf x, f y1 [ff:f]exucompute greater than , binary floating point, NaN-awarenone
gtrfxf op0, f op11 [fx:f]exucompute greater than , binary floating point, NaN-awarenone
gtrf f x, f y1 [ff:f]exucompute greater than , binary floating point, NaN-unawarenone
gtrf f op0, f op11 [fx:f]exucompute greater than , binary floating point, NaN-unawarenone
gtrpp op0, p op11 [pp:p]exucompute greater than , pointerall
gtrpp op0, p op11 [px:p]exucompute greater than , pointerall
gtrss x, imm y1 [xx:x]exucompute greater than , signed integerall
gtrss op0, s op11 [xx:x]exucompute greater than , signed integerall
gtrs1 [xx:x]exucompute greater than , signed integerall
gtrss op0, s op11 [xx:x]exucompute greater than , signed integerall
gtrs1 [xx:x]exucompute greater than , signed integerall
gtrss op0, imm imm01 [xx:x]exucompute greater than , signed integerall
gtruu op0, u op11 [xx:x]exucompute greater than , unsigned integerall
gtru1 [xx:x]exucompute greater than , unsigned integerall
gtruu x, imm y1 [xx:x]exucompute greater than , unsigned integerall
gtru1 [xx:x]exucompute greater than , unsigned integerall
gtruu op0, imm imm01 [xx:x]exucompute greater than , unsigned integerall
gtruu op0, u op11 [xx:x]exucompute greater than , unsigned integerall
impss x, s y1 [xx:x]exucompute implies , signed integerall
impss x, imm y1 [xx:x]exucompute implies , signed integerall
impuu x, u y1 [xx:x]exucompute implies , unsigned integerall
impuu x, imm y1 [xx:x]exucompute implies , unsigned integerall
imp op x, op y1 [xx:x]exucompute implies , logicalall
imp op x, imm y1 [xx:x]exucompute implies , logicalall
incss2s op0, s op11?[xx:x]exucompute increment and compare with second argument , signed integer, saturating, dualall
incss2s op0, s op11?[xx:x]exucompute increment and compare with second argument , signed integer, saturating, dualall
incss s op0, s op11?[xx:x]exucompute increment and compare with second argument , signed integer, saturating, singleall
incss s op0, s op11?[xx:x]exucompute increment and compare with second argument , signed integer, saturating, singleall
incsw2s op0, s op12?XX:2X2Xexucompute increment and compare with second argument , signed integer, widening, dualall
incsw2s op0, s op12?XX:2X2Xexucompute increment and compare with second argument , signed integer, widening, dualall
incsw s op0, s op11?xx:2xexucompute increment and compare with second argument , signed integer, widening, singleall
incsw s op0, s op11?xx:2xexucompute increment and compare with second argument , signed integer, widening, singleall
incsx2s op0, s op11?[xx:x]exucompute increment and compare with second argument , signed integer, excepting, dualall
incsx2s op0, s op11?[xx:x]exucompute increment and compare with second argument , signed integer, excepting, dualall
incsx s op0, s op11?[xx:x]exucompute increment and compare with second argument , signed integer, excepting, singleall
incsx s op0, s op11?[xx:x]exucompute increment and compare with second argument , signed integer, excepting, singleall
incs 2s op0, s op11?[xx:x]exucompute increment and compare with second argument , signed integer, modulo, dualall
incs 2s op0, s op11?[xx:x]exucompute increment and compare with second argument , signed integer, modulo, dualall
incs  s op0, s op11?[xx:x]exucompute increment and compare with second argument , signed integer, modulo, singleall
incs  s op0, s op11?[xx:x]exucompute increment and compare with second argument , signed integer, modulo, singleall
incus2u op0, u op11?[xx:x]exucompute increment and compare with second argument , unsigned integer, saturating, dualall
incus2u op0, u op11?[xx:x]exucompute increment and compare with second argument , unsigned integer, saturating, dualall
incus u op0, u op11?[xx:x]exucompute increment and compare with second argument , unsigned integer, saturating, singleall
incus u op0, u op11?[xx:x]exucompute increment and compare with second argument , unsigned integer, saturating, singleall
incuw2u op0, u op12?XX:2X2Xexucompute increment and compare with second argument , unsigned integer, widening, dualall
incuw2u op0, u op12?XX:2X2Xexucompute increment and compare with second argument , unsigned integer, widening, dualall
incuw u op0, u op11?xx:2xexucompute increment and compare with second argument , unsigned integer, widening, singleall
incuw u op0, u op11?xx:2xexucompute increment and compare with second argument , unsigned integer, widening, singleall
incux2u op0, u op11?[xx:x]exucompute increment and compare with second argument , unsigned integer, excepting, dualall
incux2u op0, u op11?[xx:x]exucompute increment and compare with second argument , unsigned integer, excepting, dualall
incux u op0, u op11?[xx:x]exucompute increment and compare with second argument , unsigned integer, excepting, singleall
incux u op0, u op11?[xx:x]exucompute increment and compare with second argument , unsigned integer, excepting, singleall
incu 2u op0, u op11?[xx:x]exucompute increment and compare with second argument , unsigned integer, modulo, dualall
incu 2u op0, u op11?[xx:x]exucompute increment and compare with second argument , unsigned integer, modulo, dualall
incu  u op0, u op11?[xx:x]exucompute increment and compare with second argument , unsigned integer, modulo, singleall
incu  u op0, u op11?[xx:x]exucompute increment and compare with second argument , unsigned integer, modulo, singleall
inject1i i1 [xn:x]exucompute replace a vector element or a field in a struct with a scalar all
injectop op0, op op1, op args1 Xx:Xexucompute replace a vector element or a field in a struct with a scalar all
inject*op v, op x, i i1 XX:Xexucompute replace a vector element or a field in a struct with a scalar all
!inner2flpred count0, off op0, count lit0, lit off00 :flowtransfer enter a loop , taken if falseall
!inner3flpred count0, off op0, count lit0, lit lit1, lit off00 :flowtransfer enter a loop , taken if falseall
!inner1flpred count0, off op0, count off00 :flowtransfer enter a loop , taken if falseall
!inner2flpred count0, off op0, count lit0, lit off00 :flowtransfer enter a loop , taken if falseall
!inner3flpred count0, off op0, count lit0, lit lit1, lit off00 :flowtransfer enter a loop , taken if falseall
!inner1flpred count0, off op0, count off00 :flowtransfer enter a loop , taken if falseall
!inner*flpred op0, lbl off0, ops args0 :flowtransfer enter a loop , taken if falseall
!inner*flpred op0, lbl off0, ops args0 :flowtransfer enter a loop , taken if falseall
!inner3trpred count0, off op0, count lit0, lit lit1, lit off00 :flowtransfer enter a loop , taken if trueall
!inner2trpred count0, off op0, count lit0, lit off00 :flowtransfer enter a loop , taken if trueall
!inner1trpred count0, off op0, count off00 :flowtransfer enter a loop , taken if trueall
!inner3trpred count0, off op0, count lit0, lit lit1, lit off00 :flowtransfer enter a loop , taken if trueall
!inner2trpred count0, off op0, count lit0, lit off00 :flowtransfer enter a loop , taken if trueall
!inner1trpred count0, off op0, count off00 :flowtransfer enter a loop , taken if trueall
!inner*trpred op0, lbl off0, ops args0 :flowtransfer enter a loop , taken if trueall
!inner*trpred op0, lbl off0, ops args0 :flowtransfer enter a loop , taken if trueall
!inner1 off count0, count off00 :flowtransfer enter a loop , taken unconditionallyall
!inner2 off count0, count lit0, lit off00 :flowtransfer enter a loop , taken unconditionallyall
!inner3 off count0, count lit0, lit lit1, lit off00 :flowtransfer enter a loop , taken unconditionallyall
!inner4 off count0, count lit0, lit lit1, lit lit2, lit off00 :flowtransfer enter a loop , taken unconditionallyall
!inner4 off count0, count lit0, lit lit1, lit lit2, lit off00 :flowtransfer enter a loop , taken unconditionallyall
!inner3 off count0, count lit0, lit lit1, lit off00 :flowtransfer enter a loop , taken unconditionallyall
!inner2 off count0, count lit0, lit off00 :flowtransfer enter a loop , taken unconditionallyall
!inner1 off count0, count off00 :flowtransfer enter a loop , taken unconditionallyall
!inner* lbl off0, ops args0 :flowtransfer enter a loop , taken unconditionallyall
!inner* lbl off0, ops args0 :flowtransfer enter a loop , taken unconditionallyall
integereded op01?[dd:d]exucompute round to integral-valued float , exact, decimal floating point, to nearest, ties toward even adjacent valuenone
integeredfzd op01?[dd:d]exucompute round to integral-valued float , exact, decimal floating point, to nearest, ties away from zeronone
integerednd op01?[dd:d]exucompute round to integral-valued float , exact, decimal floating point, toward negative infinitynone
integeredpd op01?[dd:d]exucompute round to integral-valued float , exact, decimal floating point, toward positive infinitynone
integeredzd op01?[dd:d]exucompute round to integral-valued float , exact, decimal floating point, toward zeronone
integered d x1?[dd:d]exucompute round to integral-valued float , exact, decimal floating point, use current dynamic rounding modenone
integerefef op01?[ff:f]exucompute round to integral-valued float , exact, binary floating point, to nearest, ties toward even adjacent valuenone
integereffzf op01?[ff:f]exucompute round to integral-valued float , exact, binary floating point, to nearest, ties away from zeronone
integerefnf op01?[ff:f]exucompute round to integral-valued float , exact, binary floating point, toward negative infinitynone
integerefpf op01?[ff:f]exucompute round to integral-valued float , exact, binary floating point, toward positive infinitynone
integerefzf op01?[ff:f]exucompute round to integral-valued float , exact, binary floating point, toward zeronone
integeref f x1?[ff:f]exucompute round to integral-valued float , exact, binary floating point, use current dynamic rounding modenone
integerided op01?[dd:d]exucompute round to integral-valued float , inexact, decimal floating point, to nearest, ties toward even adjacent valuenone
integeridfzd op01?[dd:d]exucompute round to integral-valued float , inexact, decimal floating point, to nearest, ties away from zeronone
integeridnd op01?[dd:d]exucompute round to integral-valued float , inexact, decimal floating point, toward negative infinitynone
integeridpd op01?[dd:d]exucompute round to integral-valued float , inexact, decimal floating point, toward positive infinitynone
integeridzd op01?[dd:d]exucompute round to integral-valued float , inexact, decimal floating point, toward zeronone
integerid d op01?[dd:d]exucompute round to integral-valued float , inexact, decimal floating point, use current dynamic rounding modenone
integerifef op01?[ff:f]exucompute round to integral-valued float , inexact, binary floating point, to nearest, ties toward even adjacent valuenone
integeriffzf op01?[ff:f]exucompute round to integral-valued float , inexact, binary floating point, to nearest, ties away from zeronone
integerifnf op01?[ff:f]exucompute round to integral-valued float , inexact, binary floating point, toward negative infinitynone
integerifpf op01?[ff:f]exucompute round to integral-valued float , inexact, binary floating point, toward positive infinitynone
integerifzf op01?[ff:f]exucompute round to integral-valued float , inexact, binary floating point, toward zeronone
integerif f op01?[ff:f]exucompute round to integral-valued float , inexact, binary floating point, use current dynamic rounding modenone
isNaR 1 [xx:x]exucompute test for NaR-hood , logicalall
isNaR op op01 [xx:x]exucompute test for NaR-hood , logicalall
isNaR 1 [xx:x]exucompute test for NaR-hood , logicalall
isNaR op op01 [xx:x]exucompute test for NaR-hood , logicalall
isNilpp op01 [pp:p]exucompute test for nil pointer , pointerall
isNilpp op01 [px:p]exucompute test for nil pointer , pointerall
isNone 1 [xx:x]exucompute test for None-hood , logicalall
isNone op op01 [xx:x]exucompute test for None-hood , logicalall
isNone 1 [xx:x]exucompute test for None-hood , logicalall
isNone op op01 [xx:x]exucompute test for None-hood , logicalall
isntNilpp op01 [pp:p]exucompute test for non-nil pointer , pointerall
isntNilpp op01 [px:p]exucompute test for non-nil pointer , pointerall
join 2op op0, op op12 XX:2X2Xexucompute bitwise concatenate , logical, dualall
join  op op0, op op11 xx:2xexucompute bitwise concatenate , logical, singleall
leabase b, off o1 px:pflowcompute load effective address , registerbasedall
leap b, off o1 px:pflowcompute load effective address , pointerbasedall
lealbl l1 px:pflowcompute load effective address all
leabase base0, off op0, op off01 px:pflowcompute load effective address , registerbasedall
leaop op0, off op1, op off01 px:pflowcompute load effective address , pointerbasedall
leabase base0, off op0, op off0, width scaled01 px:pflowcompute load effective address , registerbasedall
leaop op0, off op1, op off0, width scaled01 px:pflowcompute load effective address , pointerbasedall
leabase base0, off op0, op off01 px:pflowcompute load effective address , registerbasedall
leaop op0, off op1, op off01 px:pflowcompute load effective address , pointerbasedall
leabase base0, off op0, op off0, width scaled01 px:pflowcompute load effective address , registerbasedall
leaop op0, off op1, op off0, width scaled01 px:pflowcompute load effective address , pointerbasedall
!leave1flpred count0, off op0, count off00 :flowtransfer exit a loop , taken if falseall
!leave2flpred count0, off op0, count lit0, lit off00 :flowtransfer exit a loop , taken if falseall
!leave3flpred count0, off op0, count lit0, lit lit1, lit off00 :flowtransfer exit a loop , taken if falseall
!leave1flpred count0, off op0, count off00 :flowtransfer exit a loop , taken if falseall
!leave2flpred count0, off op0, count lit0, lit off00 :flowtransfer exit a loop , taken if falseall
!leave3flpred count0, off op0, count lit0, lit lit1, lit off00 :flowtransfer exit a loop , taken if falseall
!leave*flpred op0, lbl off0, ops args0 :flowtransfer exit a loop , taken if falseall
!leave*flpred op0, lbl off0, ops args0 :flowtransfer exit a loop , taken if falseall
!leave1trpred count0, off op0, count off00 :flowtransfer exit a loop , taken if trueall
!leave3trpred count0, off op0, count lit0, lit lit1, lit off00 :flowtransfer exit a loop , taken if trueall
!leave2trpred count0, off op0, count lit0, lit off00 :flowtransfer exit a loop , taken if trueall
!leave1trpred count0, off op0, count off00 :flowtransfer exit a loop , taken if trueall
!leave2trpred count0, off op0, count lit0, lit off00 :flowtransfer exit a loop , taken if trueall
!leave3trpred count0, off op0, count lit0, lit lit1, lit off00 :flowtransfer exit a loop , taken if trueall
!leave*trpred op0, lbl off0, ops args0 :flowtransfer exit a loop , taken if trueall
!leave*trpred op0, lbl off0, ops args0 :flowtransfer exit a loop , taken if trueall
!leave4 off count0, count lit0, lit lit1, lit lit2, lit off00 :flowtransfer exit a loop , taken unconditionallyall
!leave3 off count0, count lit0, lit lit1, lit off00 :flowtransfer exit a loop , taken unconditionallyall
!leave2 off count0, count lit0, lit off00 :flowtransfer exit a loop , taken unconditionallyall
!leave1 off count0, count off00 :flowtransfer exit a loop , taken unconditionallyall
!leave2 off count0, count lit0, lit off00 :flowtransfer exit a loop , taken unconditionallyall
!leave3 off count0, count lit0, lit lit1, lit off00 :flowtransfer exit a loop , taken unconditionallyall
!leave4 off count0, count lit0, lit lit1, lit lit2, lit off00 :flowtransfer exit a loop , taken unconditionallyall
!leave1 off count0, count off00 :flowtransfer exit a loop , taken unconditionallyall
!leave* lbl off0, ops args0 :flowtransfer exit a loop , taken unconditionallyall
!leave* lbl off0, ops args0 :flowtransfer exit a loop , taken unconditionallyall
!leave 0 :flowSkinnytransfer exit a loop , taken unconditionallyall
left op x, width w1 xx:Xexucompute construct a bool vector with N leading false, or count leading false in a bool vector , logicalall
left op v1 XX:iexucompute construct a bool vector with N leading false, or count leading false in a bool vector , logicalall
leqdxd x, d y1 [dd:d]exucompute less than or equal , decimal floating point, NaN-awarenone
leqdxd op0, d op11 [dx:d]exucompute less than or equal , decimal floating point, NaN-awarenone
leqd d x, d y1 [dd:d]exucompute less than or equal , decimal floating point, NaN-unawarenone
leqd d op0, d op11 [dx:d]exucompute less than or equal , decimal floating point, NaN-unawarenone
leqfxf x, f y1 [ff:f]exucompute less than or equal , binary floating point, NaN-awarenone
leqfxf op0, f op11 [fx:f]exucompute less than or equal , binary floating point, NaN-awarenone
leqf f x, f y1 [ff:f]exucompute less than or equal , binary floating point, NaN-unawarenone
leqf f op0, f op11 [fx:f]exucompute less than or equal , binary floating point, NaN-unawarenone
leqpp x, p y1 [pp:p]exucompute less than or equal , pointerall
leqpp op0, p op11 [px:p]exucompute less than or equal , pointerall
leqss op0, imm imm01 [xx:x]exucompute less than or equal , signed integerall
leqs1 [xx:x]exucompute less than or equal , signed integerall
leqss x, s y1 [xx:x]exucompute less than or equal , signed integerall
leqss op0, imm imm01 [xx:x]exucompute less than or equal , signed integerall
leqss op0, s op11 [xx:x]exucompute less than or equal , signed integerall
leqs1 [xx:x]exucompute less than or equal , signed integerall
lequu op0, imm imm01 [xx:x]exucompute less than or equal , unsigned integerall
lequu x, u y1 [xx:x]exucompute less than or equal , unsigned integerall
lequ1 [xx:x]exucompute less than or equal , unsigned integerall
lequu op0, imm imm01 [xx:x]exucompute less than or equal , unsigned integerall
lequu op0, u op11 [xx:x]exucompute less than or equal , unsigned integerall
lequ1 [xx:x]exucompute less than or equal , unsigned integerall
loadRefresh0 :retirecompute reporting pseudo operation for refreshing loads that lost their station to interrupts or calls none
!load p b, width w, memAttr m, tag tag0 px:flowwriter load from memory , pointerbased, logicalall
!load op op0, width memAttr0, memAttr off0, 0 px:flowwriter load from memory , pointerbased, logicalall
load1 flop op0, off off0, width tag0, tag width00 px:flowwriter load from memory , pointerbased, logical, taken if falseall
load1 flbase base0, off off0, width width0, 0 px:flowwriter load from memory , registerbased, logical, taken if falseall
load1 flbase base0, off off0, width tag0, tag width00 px:flowwriter load from memory , registerbased, logical, taken if falseall
load1 flop op0, off off0, width width0, 0 px:flowwriter load from memory , pointerbased, logical, taken if falseall
load1 flbase base0, off op0, op off0, width scaled0, 0 px:flowwriter load from memory , registerbased, logical, taken if falseall
load1 flop op0, off op1, op off0, width scaled0, tag tag00 px:flowwriter load from memory , pointerbased, logical, taken if falseall
load1 flop op0, off op1, op off0, width scaled0, 0 px:flowwriter load from memory , pointerbased, logical, taken if falseall
load1 flbase base0, off op0, op off0, width scaled0, tag tag00 px:flowwriter load from memory , registerbased, logical, taken if falseall
load1 flbase base0, off op0, op off0, width scaled0, tag tag00 px:flowwriter load from memory , registerbased, logical, taken if falseall
load1 flop op0, off op1, op off0, width scaled0, 0 px:flowwriter load from memory , pointerbased, logical, taken if falseall
load1 flop op0, off op1, op off0, width scaled0, tag tag00 px:flowwriter load from memory , pointerbased, logical, taken if falseall
load1 flbase base0, off op0, op off0, width scaled0, 0 px:flowwriter load from memory , registerbased, logical, taken if falseall
load1 flbase base0, off op0, op off0, width scaled0, 0 px:flowwriter load from memory , registerbased, logical, taken if falseall
load1 flop op0, off op1, op off0, width scaled0, 0 px:flowwriter load from memory , pointerbased, logical, taken if falseall
load1 flop op0, off op1, op off0, width scaled0, tag tag00 px:flowwriter load from memory , pointerbased, logical, taken if falseall
load1 flbase base0, off op0, op off0, width scaled0, tag tag00 px:flowwriter load from memory , registerbased, logical, taken if falseall
load1 flbase base0, off op0, op off0, width scaled0, tag tag00 px:flowwriter load from memory , registerbased, logical, taken if falseall
load1 flop op0, off op1, op off0, width scaled0, tag tag00 px:flowwriter load from memory , pointerbased, logical, taken if falseall
load1 flbase base0, off op0, op off0, width scaled0, 0 px:flowwriter load from memory , registerbased, logical, taken if falseall
load1 flop op0, off op1, op off0, width scaled0, 0 px:flowwriter load from memory , pointerbased, logical, taken if falseall
load* flop op0, off op1, width off0, tag tag0, pred width00 px:flowwriter load from memory , pointerbased, logical, taken if falseall
load* flop op0, off op1, width off0, 0 px:flowwriter load from memory , pointerbased, logical, taken if falseall
load* flbase base0, off op0, width off0, tag tag0, pred width00 px:flowwriter load from memory , registerbased, logical, taken if falseall
load* flbase base0, off op0, width off0, 0 px:flowwriter load from memory , registerbased, logical, taken if falseall
load* flop op0, off op1, op op2, width off0, tag scaled0, pred tag00 px:flowwriter load from memory , pointerbased, logical, taken if falseall
load* flop op0, off op1, op op2, width off0, 0 px:flowwriter load from memory , pointerbased, logical, taken if falseall
load* flbase base0, off op0, op op1, width off0, tag scaled0, pred tag00 px:flowwriter load from memory , registerbased, logical, taken if falseall
load* flbase base0, off op0, op op1, width off0, 0 px:flowwriter load from memory , registerbased, logical, taken if falseall
load* flbase base0, off op0, op op1, width off0, 0 px:flowwriter load from memory , registerbased, logical, taken if falseall
load* flbase base0, off op0, op op1, width off0, tag scaled0, pred tag00 px:flowwriter load from memory , registerbased, logical, taken if falseall
load* flop op0, off op1, op op2, width off0, tag scaled0, pred tag00 px:flowwriter load from memory , pointerbased, logical, taken if falseall
load* flop op0, off op1, op op2, width off0, 0 px:flowwriter load from memory , pointerbased, logical, taken if falseall
load* flbase base0, off op0, op op1, width off0, tag scaled0, pred tag00 px:flowwriter load from memory , registerbased, logical, taken if falseall
load* flbase base0, off op0, op op1, width off0, 0 px:flowwriter load from memory , registerbased, logical, taken if falseall
load* flop op0, off op1, op op2, width off0, tag scaled0, pred tag00 px:flowwriter load from memory , pointerbased, logical, taken if falseall
load* flop op0, off op1, op op2, width off0, 0 px:flowwriter load from memory , pointerbased, logical, taken if falseall
load* flop op0, off op1, op op2, width off0, tag scaled0, pred tag00 px:flowwriter load from memory , pointerbased, logical, taken if falseall
load* flbase base0, off op0, op op1, width off0, 0 px:flowwriter load from memory , registerbased, logical, taken if falseall
load* flop op0, off op1, op op2, width off0, 0 px:flowwriter load from memory , pointerbased, logical, taken if falseall
load* flbase base0, off op0, op op1, width off0, tag scaled0, pred tag00 px:flowwriter load from memory , registerbased, logical, taken if falseall
load1 trop op0, off off0, width tag0, tag width00 px:flowwriter load from memory , pointerbased, logical, taken if trueall
load1 trbase base0, off off0, width tag0, tag width00 px:flowwriter load from memory , registerbased, logical, taken if trueall
load1 trop op0, off off0, width width0, 0 px:flowwriter load from memory , pointerbased, logical, taken if trueall
load1 trbase base0, off off0, width width0, 0 px:flowwriter load from memory , registerbased, logical, taken if trueall
load1 trbase base0, off op0, op off0, width scaled0, tag tag00 px:flowwriter load from memory , registerbased, logical, taken if trueall
load1 trbase base0, off op0, op off0, width scaled0, 0 px:flowwriter load from memory , registerbased, logical, taken if trueall
load1 trop op0, off op1, op off0, width scaled0, tag tag00 px:flowwriter load from memory , pointerbased, logical, taken if trueall
load1 trop op0, off op1, op off0, width scaled0, 0 px:flowwriter load from memory , pointerbased, logical, taken if trueall
load1 trop op0, off op1, op off0, width scaled0, tag tag00 px:flowwriter load from memory , pointerbased, logical, taken if trueall
load1 trbase base0, off op0, op off0, width scaled0, tag tag00 px:flowwriter load from memory , registerbased, logical, taken if trueall
load1 trbase base0, off op0, op off0, width scaled0, 0 px:flowwriter load from memory , registerbased, logical, taken if trueall
load1 trop op0, off op1, op off0, width scaled0, 0 px:flowwriter load from memory , pointerbased, logical, taken if trueall
load1 trbase base0, off op0, op off0, width scaled0, tag tag00 px:flowwriter load from memory , registerbased, logical, taken if trueall
load1 trop op0, off op1, op off0, width scaled0, 0 px:flowwriter load from memory , pointerbased, logical, taken if trueall
load1 trbase base0, off op0, op off0, width scaled0, 0 px:flowwriter load from memory , registerbased, logical, taken if trueall
load1 trop op0, off op1, op off0, width scaled0, tag tag00 px:flowwriter load from memory , pointerbased, logical, taken if trueall
load1 trbase base0, off op0, op off0, width scaled0, tag tag00 px:flowwriter load from memory , registerbased, logical, taken if trueall
load1 trop op0, off op1, op off0, width scaled0, tag tag00 px:flowwriter load from memory , pointerbased, logical, taken if trueall
load1 trop op0, off op1, op off0, width scaled0, 0 px:flowwriter load from memory , pointerbased, logical, taken if trueall
load1 trbase base0, off op0, op off0, width scaled0, 0 px:flowwriter load from memory , registerbased, logical, taken if trueall
load* trbase base0, off op0, width off0, tag tag0, pred width00 px:flowwriter load from memory , registerbased, logical, taken if trueall
load* trbase base0, off op0, width off0, 0 px:flowwriter load from memory , registerbased, logical, taken if trueall
load* trop op0, off op1, width off0, tag tag0, pred width00 px:flowwriter load from memory , pointerbased, logical, taken if trueall
load* trop op0, off op1, width off0, 0 px:flowwriter load from memory , pointerbased, logical, taken if trueall
load* trbase base0, off op0, op op1, width off0, tag scaled0, pred tag00 px:flowwriter load from memory , registerbased, logical, taken if trueall
load* trop op0, off op1, op op2, width off0, 0 px:flowwriter load from memory , pointerbased, logical, taken if trueall
load* trop op0, off op1, op op2, width off0, tag scaled0, pred tag00 px:flowwriter load from memory , pointerbased, logical, taken if trueall
load* trbase base0, off op0, op op1, width off0, 0 px:flowwriter load from memory , registerbased, logical, taken if trueall
load* trop op0, off op1, op op2, width off0, tag scaled0, pred tag00 px:flowwriter load from memory , pointerbased, logical, taken if trueall
load* trbase base0, off op0, op op1, width off0, tag scaled0, pred tag00 px:flowwriter load from memory , registerbased, logical, taken if trueall
load* trbase base0, off op0, op op1, width off0, 0 px:flowwriter load from memory , registerbased, logical, taken if trueall
load* trop op0, off op1, op op2, width off0, 0 px:flowwriter load from memory , pointerbased, logical, taken if trueall
load* trbase base0, off op0, op op1, width off0, tag scaled0, pred tag00 px:flowwriter load from memory , registerbased, logical, taken if trueall
load* trop op0, off op1, op op2, width off0, 0 px:flowwriter load from memory , pointerbased, logical, taken if trueall
load* trop op0, off op1, op op2, width off0, tag scaled0, pred tag00 px:flowwriter load from memory , pointerbased, logical, taken if trueall
load* trbase base0, off op0, op op1, width off0, 0 px:flowwriter load from memory , registerbased, logical, taken if trueall
load* trop op0, off op1, op op2, width off0, tag scaled0, pred tag00 px:flowwriter load from memory , pointerbased, logical, taken if trueall
load* trbase base0, off op0, op op1, width off0, tag scaled0, pred tag00 px:flowwriter load from memory , registerbased, logical, taken if trueall
load* trbase base0, off op0, op op1, width off0, 0 px:flowwriter load from memory , registerbased, logical, taken if trueall
load* trop op0, off op1, op op2, width off0, 0 px:flowwriter load from memory , pointerbased, logical, taken if trueall
load  op op0, off off0, width width0, 0 px:flowwriter load from memory , pointerbased, logical, taken unconditionallyall
load  p b, off o, width w, tag tag0 px:flowwriter load from memory , pointerbased, logical, taken unconditionallyall
load  base b, off o, width w, tag tag0 px:flowwriter load from memory , registerbased, logical, taken unconditionallyall
load  base base0, off off0, width width0, 0 px:flowwriter load from memory , registerbased, logical, taken unconditionallyall
load  op op0, off op1, op off0, width scaled0, tag tag00 px:flowwriter load from memory , pointerbased, logical, taken unconditionallyall
load  base base0, off op0, op off0, width scaled0, 0 px:flowwriter load from memory , registerbased, logical, taken unconditionallyall
load  op op0, off op1, op off0, width scaled0, 0 px:flowwriter load from memory , pointerbased, logical, taken unconditionallyall
load  base base0, off op0, op off0, width scaled0, tag tag00 px:flowwriter load from memory , registerbased, logical, taken unconditionallyall
load  op op0, off op1, op off0, width scaled0, tag tag00 px:flowwriter load from memory , pointerbased, logical, taken unconditionallyall
load  op op0, off op1, op off0, width scaled0, 0 px:flowwriter load from memory , pointerbased, logical, taken unconditionallyall
load  base base0, off op0, op off0, width scaled0, tag tag00 px:flowwriter load from memory , registerbased, logical, taken unconditionallyall
load  base base0, off op0, op off0, width scaled0, 0 px:flowwriter load from memory , registerbased, logical, taken unconditionallyall
load  op op0, off op1, op off0, width scaled0, 0 px:flowwriter load from memory , pointerbased, logical, taken unconditionallyall
load  base base0, off op0, op off0, width scaled0, tag tag00 px:flowwriter load from memory , registerbased, logical, taken unconditionallyall
load  base base0, off op0, op off0, width scaled0, 0 px:flowwriter load from memory , registerbased, logical, taken unconditionallyall
load  op op0, off op1, op off0, width scaled0, tag tag00 px:flowwriter load from memory , pointerbased, logical, taken unconditionallyall
load  op op0, off op1, op off0, width scaled0, 0 px:flowwriter load from memory , pointerbased, logical, taken unconditionallyall
load  base base0, off op0, op off0, width scaled0, tag tag00 px:flowwriter load from memory , registerbased, logical, taken unconditionallyall
load  base base0, off op0, op off0, width scaled0, 0 px:flowwriter load from memory , registerbased, logical, taken unconditionallyall
load  op op0, off op1, op off0, width scaled0, tag tag00 px:flowwriter load from memory , pointerbased, logical, taken unconditionallyall
localizeop op01 pp:pflowcompute make pointer local all
logBdd x1 [dd:d]exucompute extract exponent , decimal floating pointnone
logBff x1 [ff:f]exucompute extract exponent , binary floating pointnone
longjmplop op01 pp:pflowcompute restore to a point place by setjmp all
lssdxd x, d y1 [dd:d]exucompute less than , decimal floating point, NaN-awarenone
lssdxd op0, d op11 [dx:d]exucompute less than , decimal floating point, NaN-awarenone
lssd d x, d y1 [dd:d]exucompute less than , decimal floating point, NaN-unawarenone
lssd d op0, d op11 [dx:d]exucompute less than , decimal floating point, NaN-unawarenone
lssfxf x, f y1 [ff:f]exucompute less than , binary floating point, NaN-awarenone
lssfxf op0, f op11 [fx:f]exucompute less than , binary floating point, NaN-awarenone
lssf f x, f y1 [ff:f]exucompute less than , binary floating point, NaN-unawarenone
lssf f op0, f op11 [fx:f]exucompute less than , binary floating point, NaN-unawarenone
lsspp x, p y1 [pp:p]exucompute less than , pointerall
lsspp op0, p op11 [px:p]exucompute less than , pointerall
lssss x, imm y1 [xx:x]exucompute less than , signed integerall
lssss x, s y1 [xx:x]exucompute less than , signed integerall
lsss1 [xx:x]exucompute less than , signed integerall
lsss1 [xx:x]exucompute less than , signed integerall
lssss op0, s op11 [xx:x]exucompute less than , signed integerall
lssss op0, imm imm01 [xx:x]exucompute less than , signed integerall
lssuu x, imm y1 [xx:x]exucompute less than , unsigned integerall
lssu1 [xx:x]exucompute less than , unsigned integerall
lssuu x, u y1 [xx:x]exucompute less than , unsigned integerall
lssu1 [xx:x]exucompute less than , unsigned integerall
lssuu op0, u op11 [xx:x]exucompute less than , unsigned integerall
lssuu op0, imm imm01 [xx:x]exucompute less than , unsigned integerall
mask op v, width w1 xX:X|Xx:xexucompute bitmask conversion between vector of bool and scalar , logicalall
mask bit bit0, bit bit1, width w1 [xx:x]exucompute bitmask conversion between vector of bool and scalar , logicalall
maxdd x, d y1?[dd:d]exucompute maximum , decimal floating pointnone
maxff x, f y1?[ff:f]exucompute maximum , binary floating pointnone
merge1 op op01 [xx:x]exucompute bitwise merge , logicalall
merge* u mask, u bits0, u bits11 [xx:x]exucompute bitwise merge , logicalall
mindd x, d y1?[dd:d]exucompute minimum , decimal floating pointnone
minff x, f y1?[ff:f]exucompute minimum , binary floating pointnone
mulded x, d y1?[dd:d]exucompute multiplication , decimal floating point, to nearest, ties toward even adjacent valuenone
muldfzd x, d y1?[dd:d]exucompute multiplication , decimal floating point, to nearest, ties away from zeronone
muldnd x, d y1?[dd:d]exucompute multiplication , decimal floating point, toward negative infinitynone
muldpd x, d y1?[dd:d]exucompute multiplication , decimal floating point, toward positive infinitynone
muldzd x, d y1?[dd:d]exucompute multiplication , decimal floating point, toward zeronone
muld d x, d y1?[dd:d]exucompute multiplication , decimal floating point, use current dynamic rounding modenone
mulfef x, f y1?[ff:f]exucompute multiplication , binary floating point, to nearest, ties toward even adjacent valuenone
mulffzf x, f y1?[ff:f]exucompute multiplication , binary floating point, to nearest, ties away from zeronone
mulfnf x, f y1?[ff:f]exucompute multiplication , binary floating point, toward negative infinitynone
mulfpf x, f y1?[ff:f]exucompute multiplication , binary floating point, toward positive infinitynone
mulfzf x, f y1?[ff:f]exucompute multiplication , binary floating point, toward zeronone
mulf f x, f y1?[ff:f]exucompute multiplication , binary floating point, use current dynamic rounding modenone
mulsfsesf x, sf y, bit dot1?[xx:x]exucompute multiplication , signed fixed point, saturating, to nearest, ties toward even adjacent valuenone
mulsfsfzsf x, sf y, bit dot1?[xx:x]exucompute multiplication , signed fixed point, saturating, to nearest, ties away from zeronone
mulsfsnsf x, sf y, bit dot1?[xx:x]exucompute multiplication , signed fixed point, saturating, toward negative infinitynone
mulsfspsf x, sf y, bit dot1?[xx:x]exucompute multiplication , signed fixed point, saturating, toward positive infinitynone
mulsfszsf x, sf y, bit dot1?[xx:x]exucompute multiplication , signed fixed point, saturating, toward zeronone
mulsfs sf x, sf y, bit dot1?[xx:x]exucompute multiplication , signed fixed point, saturating, use current dynamic rounding modenone
mulsfwesf x, sf y, bit dot1?[xx:x]exucompute multiplication , signed fixed point, widening, to nearest, ties toward even adjacent valuenone
mulsfwfzsf x, sf y, bit dot1?[xx:x]exucompute multiplication , signed fixed point, widening, to nearest, ties away from zeronone
mulsfwnsf x, sf y, bit dot1?[xx:x]exucompute multiplication , signed fixed point, widening, toward negative infinitynone
mulsfwpsf x, sf y, bit dot1?[xx:x]exucompute multiplication , signed fixed point, widening, toward positive infinitynone
mulsfwzsf x, sf y, bit dot1?[xx:x]exucompute multiplication , signed fixed point, widening, toward zeronone
mulsfw sf x, sf y, bit dot1?[xx:x]exucompute multiplication , signed fixed point, widening, use current dynamic rounding modenone
mulsfxesf x, sf y, bit dot1?[xx:x]exucompute multiplication , signed fixed point, excepting, to nearest, ties toward even adjacent valuenone
mulsfxfzsf x, sf y, bit dot1?[xx:x]exucompute multiplication , signed fixed point, excepting, to nearest, ties away from zeronone
mulsfxnsf x, sf y, bit dot1?[xx:x]exucompute multiplication , signed fixed point, excepting, toward negative infinitynone
mulsfxpsf x, sf y, bit dot1?[xx:x]exucompute multiplication , signed fixed point, excepting, toward positive infinitynone
mulsfxzsf x, sf y, bit dot1?[xx:x]exucompute multiplication , signed fixed point, excepting, toward zeronone
mulsfx sf x, sf y, bit dot1?[xx:x]exucompute multiplication , signed fixed point, excepting, use current dynamic rounding modenone
mulsf esf x, sf y, bit dot1?[xx:x]exucompute multiplication , signed fixed point, modulo, to nearest, ties toward even adjacent valuenone
mulsf fzsf x, sf y, bit dot1?[xx:x]exucompute multiplication , signed fixed point, modulo, to nearest, ties away from zeronone
mulsf nsf x, sf y, bit dot1?[xx:x]exucompute multiplication , signed fixed point, modulo, toward negative infinitynone
mulsf psf x, sf y, bit dot1?[xx:x]exucompute multiplication , signed fixed point, modulo, toward positive infinitynone
mulsf zsf x, sf y, bit dot1?[xx:x]exucompute multiplication , signed fixed point, modulo, toward zeronone
mulsf  sf x, sf y, bit dot1?[xx:x]exucompute multiplication , signed fixed point, modulo, use current dynamic rounding modenone
mulss2s op0, imm imm01?[xx:x]exucompute multiplication , signed integer, saturating, dualnone
mulss2s x, s y1?[xx:x]exucompute multiplication , signed integer, saturating, dualnone
mulss s x, s y1?[xx:x]exucompute multiplication , signed integer, saturating, singlenone
mulss s op0, imm imm01?[xx:x]exucompute multiplication , signed integer, saturating, singlenone
mulsw2s op0, s op12?XX:2X2Xexucompute multiplication , signed integer, widening, dualnone
mulsw2s op0, imm imm02?XX:2X2Xexucompute multiplication , signed integer, widening, dualnone
mulsw s op0, imm imm01?xx:2xexucompute multiplication , signed integer, widening, singlenone
mulsw s x, s y1?xx:2xexucompute multiplication , signed integer, widening, singlenone
mulsx2s x, s y1?[xx:x]exucompute multiplication , signed integer, excepting, dualnone
mulsx2s op0, imm imm01?[xx:x]exucompute multiplication , signed integer, excepting, dualnone
mulsx s op0, imm imm01?[xx:x]exucompute multiplication , signed integer, excepting, singlenone
mulsx s x, s y1?[xx:x]exucompute multiplication , signed integer, excepting, singlenone
muls 2s op0, imm imm01?[xx:x]exucompute multiplication , signed integer, modulo, dualnone
muls 2s op0, s op11?[xx:x]exucompute multiplication , signed integer, modulo, dualnone
muls  s op0, imm imm01?[xx:x]exucompute multiplication , signed integer, modulo, singlenone
muls  s x, s y1?[xx:x]exucompute multiplication , signed integer, modulo, singlenone
mulufseuf x, uf y, bit dot1?[xx:x]exucompute multiplication , unsigned fixed point, saturating, to nearest, ties toward even adjacent valuenone
mulufsfzuf x, uf y, bit dot1?[xx:x]exucompute multiplication , unsigned fixed point, saturating, to nearest, ties away from zeronone
mulufsnuf x, uf y, bit dot1?[xx:x]exucompute multiplication , unsigned fixed point, saturating, toward negative infinitynone
mulufspuf x, uf y, bit dot1?[xx:x]exucompute multiplication , unsigned fixed point, saturating, toward positive infinitynone
mulufszuf x, uf y, bit dot1?[xx:x]exucompute multiplication , unsigned fixed point, saturating, toward zeronone
mulufs uf x, uf y, bit dot1?[xx:x]exucompute multiplication , unsigned fixed point, saturating, use current dynamic rounding modenone
mulufweuf x, uf y, bit dot1?[xx:x]exucompute multiplication , unsigned fixed point, widening, to nearest, ties toward even adjacent valuenone
mulufwfzuf x, uf y, bit dot1?[xx:x]exucompute multiplication , unsigned fixed point, widening, to nearest, ties away from zeronone
mulufwnuf x, uf y, bit dot1?[xx:x]exucompute multiplication , unsigned fixed point, widening, toward negative infinitynone
mulufwpuf x, uf y, bit dot1?[xx:x]exucompute multiplication , unsigned fixed point, widening, toward positive infinitynone
mulufwzuf x, uf y, bit dot1?[xx:x]exucompute multiplication , unsigned fixed point, widening, toward zeronone
mulufw uf x, uf y, bit dot1?[xx:x]exucompute multiplication , unsigned fixed point, widening, use current dynamic rounding modenone
mulufxeuf x, uf y, bit dot1?[xx:x]exucompute multiplication , unsigned fixed point, excepting, to nearest, ties toward even adjacent valuenone
mulufxfzuf x, uf y, bit dot1?[xx:x]exucompute multiplication , unsigned fixed point, excepting, to nearest, ties away from zeronone
mulufxnuf x, uf y, bit dot1?[xx:x]exucompute multiplication , unsigned fixed point, excepting, toward negative infinitynone
mulufxpuf x, uf y, bit dot1?[xx:x]exucompute multiplication , unsigned fixed point, excepting, toward positive infinitynone
mulufxzuf x, uf y, bit dot1?[xx:x]exucompute multiplication , unsigned fixed point, excepting, toward zeronone
mulufx uf x, uf y, bit dot1?[xx:x]exucompute multiplication , unsigned fixed point, excepting, use current dynamic rounding modenone
muluf euf x, uf y, bit dot1?[xx:x]exucompute multiplication , unsigned fixed point, modulo, to nearest, ties toward even adjacent valuenone
muluf fzuf x, uf y, bit dot1?[xx:x]exucompute multiplication , unsigned fixed point, modulo, to nearest, ties away from zeronone
muluf nuf x, uf y, bit dot1?[xx:x]exucompute multiplication , unsigned fixed point, modulo, toward negative infinitynone
muluf puf x, uf y, bit dot1?[xx:x]exucompute multiplication , unsigned fixed point, modulo, toward positive infinitynone
muluf zuf x, uf y, bit dot1?[xx:x]exucompute multiplication , unsigned fixed point, modulo, toward zeronone
muluf  uf x, uf y, bit dot1?[xx:x]exucompute multiplication , unsigned fixed point, modulo, use current dynamic rounding modenone
mulus2u op0, imm imm01?[xx:x]exucompute multiplication , unsigned integer, saturating, dualnone
mulus2u x, u y1?[xx:x]exucompute multiplication , unsigned integer, saturating, dualnone
mulus u x, u y1?[xx:x]exucompute multiplication , unsigned integer, saturating, singlenone
mulus u op0, imm imm01?[xx:x]exucompute multiplication , unsigned integer, saturating, singlenone
muluw2u op0, imm imm02?XX:2X2Xexucompute multiplication , unsigned integer, widening, dualnone
muluw2u op0, u op12?XX:2X2Xexucompute multiplication , unsigned integer, widening, dualnone
muluw u op0, imm imm01?xx:2xexucompute multiplication , unsigned integer, widening, singlenone
muluw u x, u y1?xx:2xexucompute multiplication , unsigned integer, widening, singlenone
mulux2u x, u y1?[xx:x]exucompute multiplication , unsigned integer, excepting, dualnone
mulux2u op0, imm imm01?[xx:x]exucompute multiplication , unsigned integer, excepting, dualnone
mulux u op0, imm imm01?[xx:x]exucompute multiplication , unsigned integer, excepting, singlenone
mulux u x, u y1?[xx:x]exucompute multiplication , unsigned integer, excepting, singlenone
mulu 2u op0, u op11?[xx:x]exucompute multiplication , unsigned integer, modulo, dualnone
mulu 2u op0, imm imm01?[xx:x]exucompute multiplication , unsigned integer, modulo, dualnone
mulu  u x, u y1?[xx:x]exucompute multiplication , unsigned integer, modulo, singlenone
mulu  u op0, imm imm01?[xx:x]exucompute multiplication , unsigned integer, modulo, singlenone
mul op op0, imm imm01?[xx:x]exucompute multiplication , logicalnone
mul op x, op y1?[xx:x]exucompute multiplication , logicalnone
nandss x, imm y1 [xx:x]exucompute bitwise complement of and , signed integerall
nandss x, s y1 [xx:x]exucompute bitwise complement of and , signed integerall
nanduu x, imm y1 [xx:x]exucompute bitwise complement of and , unsigned integerall
nanduu x, u y1 [xx:x]exucompute bitwise complement of and , unsigned integerall
nand op x, imm y1 [xx:x]exucompute bitwise complement of and , logicalall
nand op x, op y1 [xx:x]exucompute bitwise complement of and , logicalall
!narrowded v1, d v21 [DD:½D]exucompute narrow scalar to half width , decimal floating point, to nearest, ties toward even adjacent valuenone
!narrowded op0, width width01 [dd:½d]exucompute narrow scalar to half width , decimal floating point, to nearest, ties toward even adjacent valuenone
!narrowdfzd op0, width width01 [dd:½d]exucompute narrow scalar to half width , decimal floating point, to nearest, ties away from zeronone
!narrowdfzd v1, d v21 [DD:½D]exucompute narrow scalar to half width , decimal floating point, to nearest, ties away from zeronone
!narrowdnd op0, width width01 [dd:½d]exucompute narrow scalar to half width , decimal floating point, toward negative infinitynone
!narrowdnd v1, d v21 [DD:½D]exucompute narrow scalar to half width , decimal floating point, toward negative infinitynone
!narrowdpd v1, d v21 [DD:½D]exucompute narrow scalar to half width , decimal floating point, toward positive infinitynone
!narrowdpd op0, width width01 [dd:½d]exucompute narrow scalar to half width , decimal floating point, toward positive infinitynone
!narrowdzd op0, width width01 [dd:½d]exucompute narrow scalar to half width , decimal floating point, toward zeronone
!narrowdzd v1, d v21 [DD:½D]exucompute narrow scalar to half width , decimal floating point, toward zeronone
!narrowd d v1, d v21 [DD:½D]exucompute narrow scalar to half width , decimal floating point, use current dynamic rounding modenone
!narrowd d op0, width width01 [dd:½d]exucompute narrow scalar to half width , decimal floating point, use current dynamic rounding modenone
!narrowfef op0, width width01 [ff:½f]exucompute narrow scalar to half width , binary floating point, to nearest, ties toward even adjacent valuenone
!narrowfef v1, f v21 [FF:½F]exucompute narrow scalar to half width , binary floating point, to nearest, ties toward even adjacent valuenone
!narrowffzf op0, width width01 [ff:½f]exucompute narrow scalar to half width , binary floating point, to nearest, ties away from zeronone
!narrowffzf v1, f v21 [FF:½F]exucompute narrow scalar to half width , binary floating point, to nearest, ties away from zeronone
!narrowfnf v1, f v21 [FF:½F]exucompute narrow scalar to half width , binary floating point, toward negative infinitynone
!narrowfnf op0, width width01 [ff:½f]exucompute narrow scalar to half width , binary floating point, toward negative infinitynone
!narrowfpf v1, f v21 [FF:½F]exucompute narrow scalar to half width , binary floating point, toward positive infinitynone
!narrowfpf op0, width width01 [ff:½f]exucompute narrow scalar to half width , binary floating point, toward positive infinitynone
!narrowfzf op0, width width01 [ff:½f]exucompute narrow scalar to half width , binary floating point, toward zeronone
!narrowfzf v1, f v21 [FF:½F]exucompute narrow scalar to half width , binary floating point, toward zeronone
!narrowf f op0, width width01 [ff:½f]exucompute narrow scalar to half width , binary floating point, use current dynamic rounding modenone
!narrowf f v1, f v21 [FF:½F]exucompute narrow scalar to half width , binary floating point, use current dynamic rounding modenone
!narrowss2s op0, s op11 [XX:½x]exucompute narrow scalar to half width , signed integer, saturating, dualall
!narrowss s op0, width width01 [xx:½x]exucompute narrow scalar to half width , signed integer, saturating, singleall
!narrowsx2s op0, s op11 [XX:½x]exucompute narrow scalar to half width , signed integer, excepting, dualall
!narrowsx s op0, width width01 [xx:½x]exucompute narrow scalar to half width , signed integer, excepting, singleall
!narrows 2s op0, s op11 [XX:½x]exucompute narrow scalar to half width , signed integer, modulo, dualall
!narrows  s op0, width width01 [xx:½x]exucompute narrow scalar to half width , signed integer, modulo, singleall
!narrowus2u op0, u op11 [XX:½x]exucompute narrow scalar to half width , unsigned integer, saturating, dualall
!narrowus u op0, width width01 [xx:½x]exucompute narrow scalar to half width , unsigned integer, saturating, singleall
!narrowux2u op0, u op11 [XX:½x]exucompute narrow scalar to half width , unsigned integer, excepting, dualall
!narrowux u op0, width width01 [xx:½x]exucompute narrow scalar to half width , unsigned integer, excepting, singleall
!narrowu 2u op0, u op11 [XX:½x]exucompute narrow scalar to half width , unsigned integer, modulo, dualall
!narrowu  u op0, width width01 [xx:½x]exucompute narrow scalar to half width , unsigned integer, modulo, singleall
NaR NaR NaR0, 0 :[x]readercompute construct NaRs , logicalall
NaR op x2 [xx:xx]exucompute construct NaRs , logicalall
negdd x1?[dd:d]exucompute negate , decimal floating pointnone
negff x1?[ff:f]exucompute negate , binary floating pointnone
neqdxd x, d y1 [dd:d]exucompute not equal , decimal floating point, NaN-awarenone
neqdxd op0, d op11 [dx:d]exucompute not equal , decimal floating point, NaN-awarenone
neqd d x, d y1 [dd:d]exucompute not equal , decimal floating point, NaN-unawarenone
neqd d op0, d op11 [dx:d]exucompute not equal , decimal floating point, NaN-unawarenone
neqfxf x, f y1 [ff:f]exucompute not equal , binary floating point, NaN-awarenone
neqfxf op0, f op11 [fx:f]exucompute not equal , binary floating point, NaN-awarenone
neqf f x, f y1 [ff:f]exucompute not equal , binary floating point, NaN-unawarenone
neqf f op0, f op11 [fx:f]exucompute not equal , binary floating point, NaN-unawarenone
neqpp x, p y1 [pp:p]exucompute not equal , pointerall
neqpp op0, p op11 [px:p]exucompute not equal , pointerall
neqss x, s y1 [xx:x]exucompute not equal , signed integerall
neqss x, imm y1 [xx:x]exucompute not equal , signed integerall
neqss op0, s op11 [xx:x]exucompute not equal , signed integerall
neqss op0, imm imm01 [xx:x]exucompute not equal , signed integerall
nequu x, u y1 [xx:x]exucompute not equal , unsigned integerall
nequu x, imm y1 [xx:x]exucompute not equal , unsigned integerall
nequu op0, u op11 [xx:x]exucompute not equal , unsigned integerall
nequu op0, imm imm01 [xx:x]exucompute not equal , unsigned integerall
neq op x, op y1 [xx:x]exucompute not equal , logicalall
neq op x, imm y1 [xx:x]exucompute not equal , logicalall
neq 1 [xx:x]exucompute not equal , logicalall
neq op op0, imm imm01 [xx:x]exucompute not equal , logicalall
neq op op0, op op11 [xx:x]exucompute not equal , logicalall
neq 1 [xx:x]exucompute not equal , logicalall
nextDowndd x1?[dd:d]exucompute next smaller representable value , decimal floating pointnone
nextDownff x1?[ff:f]exucompute next smaller representable value , binary floating pointnone
nextUpdd x1?[dd:d]exucompute next larger representable value , decimal floating pointnone
nextUpff x1?[ff:f]exucompute next larger representable value , binary floating pointnone
nimpss x, imm y1 [xx:x]exucompute bitwise complement of implies , signed integerall
nimpss x, s y1 [xx:x]exucompute bitwise complement of implies , signed integerall
nimpuu x, u y1 [xx:x]exucompute bitwise complement of implies , unsigned integerall
nimpuu x, imm y1 [xx:x]exucompute bitwise complement of implies , unsigned integerall
nimp op x, imm y1 [xx:x]exucompute bitwise complement of implies , logicalall
nimp op x, op y1 [xx:x]exucompute bitwise complement of implies , logicalall
nope 0 :[x]exucompute no-operation , logicalall
nope 0 :[x]exuSkinnycompute no-operation , logicalall
nopf0 :flowcompute no-operation all
nopf 0 :flowSkinnycompute no-operation , logicalall
norddxd x, d y1 [dd:d]exucompute unordered relation , decimal floating point, NaN-awarenone
norddxd op0, d op11 [dx:d]exucompute unordered relation , decimal floating point, NaN-awarenone
nordfxf x, f y1 [ff:f]exucompute unordered relation , binary floating point, NaN-awarenone
nordfxf op0, f op11 [fx:f]exucompute unordered relation , binary floating point, NaN-awarenone
norss x, s y1 [xx:x]exucompute bitwise complement of inclusive or , signed integerall
norss x, imm y1 [xx:x]exucompute bitwise complement of inclusive or , signed integerall
noruu x, u y1 [xx:x]exucompute bitwise complement of inclusive or , unsigned integerall
noruu x, imm y1 [xx:x]exucompute bitwise complement of inclusive or , unsigned integerall
nor op x, op y1 [xx:x]exucompute bitwise complement of inclusive or , logicalall
nor op x, imm y1 [xx:x]exucompute bitwise complement of inclusive or , logicalall
notlss x1 [xx:x]exucompute logical not , signed integerall
notluu x1 [xx:x]exucompute logical not , unsigned integerall
notl op x1 [xx:x]exucompute logical not , logicalall
nxorss x, s y1 [xx:x]exucompute bitwise complement of exclusive or , signed integerall
nxorss x, imm y1 [xx:x]exucompute bitwise complement of exclusive or , signed integerall
nxoruu x, u y1 [xx:x]exucompute bitwise complement of exclusive or , unsigned integerall
nxoruu x, imm y1 [xx:x]exucompute bitwise complement of exclusive or , unsigned integerall
nxor op x, op y1 [xx:x]exucompute bitwise complement of exclusive or , logicalall
nxor op x, imm y1 [xx:x]exucompute bitwise complement of exclusive or , logicalall
ones op x1?[xx:x]exucompute count of one-bits , logicalall
orddxd x, d y1 [dd:d]exucompute ordered relation , decimal floating point, NaN-awarenone
ordfxf x, f y1 [ff:f]exucompute ordered relation , binary floating point, NaN-awarenone
orlss x, s y1?[xx:x]exucompute bitwise inclusive or , signed integerall
orlss x, imm y1?[xx:x]exucompute bitwise inclusive or , signed integerall
orluu x, u y1?[xx:x]exucompute bitwise inclusive or , unsigned integerall
orluu x, imm y1?[xx:x]exucompute bitwise inclusive or , unsigned integerall
orl op x, op y1?[xx:x]exucompute bitwise inclusive or , logicalall
orl op x, imm y1?[xx:x]exucompute bitwise inclusive or , logicalall
overflow op op01 [xx:x]exucompute overflow gang predicate , logicalnone
overflow 1 [xx:x]exucompute overflow gang predicate , logicalall
overflow 1 [xx:x]exucompute overflow gang predicate , logicalall
overflow op op01 [xx:x]exucompute overflow gang predicate , logicalnone
p2uop op01 [pp:p]flowcompute convert pointer to unsigned integer all
!pickup flpred op0, tag tag00 :[x]readercompute accept a speculative load , logical, taken if falseall
!pickup trpred op0, tag tag00 :[x]readercompute accept a speculative load , logical, taken if trueall
!pickup  tag tag0 :[x]readercompute accept a speculative load , logical, taken unconditionallyall
pick sel q, op v1, op v20 :pickpicked pick , logicalall
pick sel q, op v10 :pickpicked pick , logicalall
quantizedd v, d q1 [dd:d]exucompute left value with right quantum , decimal floating pointnone
rd reg src1 :[x]readerreader hardware reader , logicalall
rd const src1 :[x]readerreader hardware reader , logicalall
rd stream src1 :[x]readerreader hardware reader , logicalall
recur sel q, op v1, op v20 :pickpicked recurrence update , logicalall
!refuse tag tag0 :[x]readerreader reject a speculative load , logicalall
remdd x, d y1?[dd:d]exucompute divide for remainder , decimal floating pointnone
remff x, f y1?[ff:f]exucompute divide for remainder , binary floating pointnone
remss x, s y1?[xx:x]exucompute divide for remainder , signed integernone
remss x, imm y1?[xx:x]exucompute divide for remainder , signed integernone
remuu x, imm y1?[xx:x]exucompute divide for remainder , unsigned integernone
remuu x, u y1?[xx:x]exucompute divide for remainder , unsigned integernone
rescue1off args* :flowrescue copy arguments to front of belt all
rescue2off lit0, lit off0* :flowrescue copy arguments to front of belt all
rescue3off lit0, lit lit1, lit off0* :flowrescue copy arguments to front of belt all
rescue4off lit0, lit lit1, lit lit2, lit off0* :flowrescue copy arguments to front of belt all
rescue*constant args* :flowrescue copy arguments to front of belt all
rescue off ops, count c, lit ops, lit ops, lit ops* :flowrescue copy arguments to front of belt , logicalall
rescue off ops, count c, lit ops, lit ops* :flowrescue copy arguments to front of belt , logicalall
rescue off ops, count c, lit ops* :flowrescue copy arguments to front of belt , logicalall
rescue off ops, count c* :flowrescue copy arguments to front of belt , logicalall
rescue * :flowrescue copy arguments to front of belt , logicalall
resfoff off00 :flowcompute reserve space for results returned in memory all
resolvepp x1 [xx:x]exucompute resolve a pointer as a data reference , pointerall
resolve p x1 [xx:x]exucompute resolve a pointer as a data reference , logicalall
!restoreStack 0 :flowcompute restore stack pointer at end of dynamic array scope , logicalall
retire3off count0, count lit0, lit lit1, lit off00 :flowcompute minimum retire count pseudo-op, or the widths of the retirees all
retire4off count0, count lit0, lit lit1, lit lit2, lit off00 :flowcompute minimum retire count pseudo-op, or the widths of the retirees all
retire2off count0, count lit0, lit off00 :flowcompute minimum retire count pseudo-op, or the widths of the retirees all
retire1off count0, count off00 :flowcompute minimum retire count pseudo-op, or the widths of the retirees all
retire*widths args0 :flowcompute minimum retire count pseudo-op, or the widths of the retirees all
retire lit lit00 :readercompute minimum retire count pseudo-op, or the widths of the retirees , logicalall
!retn1flpred q, off vs, count c* :flowtransfer return from function , taken if falseall
!retn3flpred q, off vs, count c, lit vs, lit vs* :flowtransfer return from function , taken if falseall
!retn2flpred q, off vs, count c, lit vs* :flowtransfer return from function , taken if falseall
!retn*flpred q, ops vs* :flowtransfer return from function , taken if falseall
!retn3trpred q, off vs, count c, lit vs, lit vs* :flowtransfer return from function , taken if trueall
!retn2trpred q, off vs, count c, lit vs* :flowtransfer return from function , taken if trueall
!retn1trpred q, off vs, count c* :flowtransfer return from function , taken if trueall
!retn*trpred q, ops vs* :flowtransfer return from function , taken if trueall
!retn1 off vs, count c* :flowtransfer return from function , taken unconditionallyall
!retn2 off vs, count c, lit vs* :flowtransfer return from function , taken unconditionallyall
!retn3 off vs, count c, lit vs, lit vs* :flowtransfer return from function , taken unconditionallyall
!retn4 off vs, count c, lit vs, lit vs, lit vs* :flowtransfer return from function , taken unconditionallyall
!retn* ops vs* :flowtransfer return from function , taken unconditionallyall
!retn 0 :flowSkinnytransfer return from function , taken unconditionallyall
!retn op Another1 :flowSkinnytransfer return from function , taken unconditionallyall
reverse op x1 [xx:x]exucompute bit reverse , logicalall
rootded x1?[dd:d]exucompute square root , decimal floating point, to nearest, ties toward even adjacent valuenone
rootdfzd x1?[dd:d]exucompute square root , decimal floating point, to nearest, ties away from zeronone
rootdnd x1?[dd:d]exucompute square root , decimal floating point, toward negative infinitynone
rootdpd x1?[dd:d]exucompute square root , decimal floating point, toward positive infinitynone
rootdzd x1?[dd:d]exucompute square root , decimal floating point, toward zeronone
rootd d x1?[dd:d]exucompute square root , decimal floating point, use current dynamic rounding modenone
rootfef x1?[ff:f]exucompute square root , binary floating point, to nearest, ties toward even adjacent valuenone
rootffzf x1?[ff:f]exucompute square root , binary floating point, to nearest, ties away from zeronone
rootfnf x1?[ff:f]exucompute square root , binary floating point, toward negative infinitynone
rootfpf x1?[ff:f]exucompute square root , binary floating point, toward positive infinitynone
rootfzf x1?[ff:f]exucompute square root , binary floating point, toward zeronone
rootf f x1?[ff:f]exucompute square root , binary floating point, use current dynamic rounding modenone
rootss x1?[xx:x]exucompute square root , signed integerall
rootuu x1?[xx:x]exucompute square root , unsigned integerall
rotatel op x, u bits1?[xi:x]exucompute bitwise rotate , toward greater significance, logicalall
rotatel op x, bit bits1?[xi:x]exucompute bitwise rotate , toward greater significance, logicalall
rotater op x, u bits1?[xi:x]exucompute bitwise rotate , toward lesser significance, logicalall
rotater op x, bit bits1?[xi:x]exucompute bitwise rotate , toward lesser significance, logicalall
rrootded op01?[dd:d]exucompute reciprocal square root , decimal floating point, to nearest, ties toward even adjacent valuenone
rrootdfzd op01?[dd:d]exucompute reciprocal square root , decimal floating point, to nearest, ties away from zeronone
rrootdnd op01?[dd:d]exucompute reciprocal square root , decimal floating point, toward negative infinitynone
rrootdpd op01?[dd:d]exucompute reciprocal square root , decimal floating point, toward positive infinitynone
rrootdzd op01?[dd:d]exucompute reciprocal square root , decimal floating point, toward zeronone
rrootd d x1?[dd:d]exucompute reciprocal square root , decimal floating point, use current dynamic rounding modenone
rrootfef op01?[ff:f]exucompute reciprocal square root , binary floating point, to nearest, ties toward even adjacent valuenone
rrootffzf op01?[ff:f]exucompute reciprocal square root , binary floating point, to nearest, ties away from zeronone
rrootfnf op01?[ff:f]exucompute reciprocal square root , binary floating point, toward negative infinitynone
rrootfpf op01?[ff:f]exucompute reciprocal square root , binary floating point, toward positive infinitynone
rrootfzf op01?[ff:f]exucompute reciprocal square root , binary floating point, toward zeronone
rrootf f x1?[ff:f]exucompute reciprocal square root , binary floating point, use current dynamic rounding modenone
rrootss x1?[xx:x]exucompute reciprocal square root , signed integerall
rrootuu x1?[xx:x]exucompute reciprocal square root , unsigned integerall
rsubss2s op0, imm imm01?[xx:x]exucompute reverse subtraction , signed integer, saturating, dualall
rsubss s op0, imm imm01?[xx:x]exucompute reverse subtraction , signed integer, saturating, singleall
rsubsw2s op0, imm imm02?XX:2X2Xexucompute reverse subtraction , signed integer, widening, dualall
rsubsw s op0, imm imm01?xx:2xexucompute reverse subtraction , signed integer, widening, singleall
rsubsx2s op0, imm imm01?[xx:x]exucompute reverse subtraction , signed integer, excepting, dualall
rsubsx s op0, imm imm01?[xx:x]exucompute reverse subtraction , signed integer, excepting, singleall
rsubs 2s op0, imm imm01?[xx:x]exucompute reverse subtraction , signed integer, modulo, dualall
rsubs  s op0, imm imm01?[xx:x]exucompute reverse subtraction , signed integer, modulo, singleall
rsubus2u op0, imm imm01?[xx:x]exucompute reverse subtraction , unsigned integer, saturating, dualall
rsubus u op0, imm imm01?[xx:x]exucompute reverse subtraction , unsigned integer, saturating, singleall
rsubuw2u op0, imm imm02?XX:2X2Xexucompute reverse subtraction , unsigned integer, widening, dualall
rsubuw u op0, imm imm01?xx:2xexucompute reverse subtraction , unsigned integer, widening, singleall
rsubux2u op0, imm imm01?[xx:x]exucompute reverse subtraction , unsigned integer, excepting, dualall
rsubux u op0, imm imm01?[xx:x]exucompute reverse subtraction , unsigned integer, excepting, singleall
rsubu 2u op0, imm imm01?[xx:x]exucompute reverse subtraction , unsigned integer, modulo, dualall
rsubu  u op0, imm imm01?[xx:x]exucompute reverse subtraction , unsigned integer, modulo, singleall
rsub op op0, imm imm01?[xx:x]exucompute reverse subtraction , logicalall
s2fded x1?[ff:f]exucompute convert signed integer to float , decimal floating point, to nearest, ties toward even adjacent valuenone
s2fdfzd x1?[ff:f]exucompute convert signed integer to float , decimal floating point, to nearest, ties away from zeronone
s2fdnd x1?[ff:f]exucompute convert signed integer to float , decimal floating point, toward negative infinitynone
s2fdpd x1?[ff:f]exucompute convert signed integer to float , decimal floating point, toward positive infinitynone
s2fdzd x1?[ff:f]exucompute convert signed integer to float , decimal floating point, toward zeronone
s2fd d x1?[ff:f]exucompute convert signed integer to float , decimal floating point, use current dynamic rounding modenone
s2ffef x1?[ff:f]exucompute convert signed integer to float , binary floating point, to nearest, ties toward even adjacent valuenone
s2fffzf x1?[ff:f]exucompute convert signed integer to float , binary floating point, to nearest, ties away from zeronone
s2ffnf x1?[ff:f]exucompute convert signed integer to float , binary floating point, toward negative infinitynone
s2ffpf x1?[ff:f]exucompute convert signed integer to float , binary floating point, toward positive infinitynone
s2ffzf x1?[ff:f]exucompute convert signed integer to float , binary floating point, toward zeronone
s2ff f x1?[ff:f]exucompute convert signed integer to float , binary floating point, use current dynamic rounding modenone
s2u s2op op01 [xx:x]exucompute convert signed to unsigned , logical, saturating, dualall
s2u s op op0, width width01 xx:2xexucompute convert signed to unsigned , logical, saturating, singleall
s2u x2op op01 [xx:x]exucompute convert signed to unsigned , logical, excepting, dualall
s2u x op op0, width width01 xx:2xexucompute convert signed to unsigned , logical, excepting, singleall
s2u  2op op01 [xx:x]exucompute convert signed to unsigned , logical, modulo, dualall
s2u   op op0, width width01 xx:2xexucompute convert signed to unsigned , logical, modulo, singleall
sameQuantumdd x, d y1 [dd:d]exucompute same exponent , decimal floating pointnone
!saveStack 0 :flowcompute save stack pointer at start of dynamic array scope , logicalall
scaleBded x, op scale1?[dd:d]exucompute scale exponent , decimal floating point, to nearest, ties toward even adjacent valuenone
scaleBdfzd x, op scale1?[dd:d]exucompute scale exponent , decimal floating point, to nearest, ties away from zeronone
scaleBdnd x, op scale1?[dd:d]exucompute scale exponent , decimal floating point, toward negative infinitynone
scaleBdpd x, op scale1?[dd:d]exucompute scale exponent , decimal floating point, toward positive infinitynone
scaleBdzd x, op scale1?[dd:d]exucompute scale exponent , decimal floating point, toward zeronone
scaleBd d x, op scale1?[dd:d]exucompute scale exponent , decimal floating point, use current dynamic rounding modenone
scaleBfef x, op scale1?[ff:f]exucompute scale exponent , binary floating point, to nearest, ties toward even adjacent valuenone
scaleBffzf x, op scale1?[ff:f]exucompute scale exponent , binary floating point, to nearest, ties away from zeronone
scaleBfnf x, op scale1?[ff:f]exucompute scale exponent , binary floating point, toward negative infinitynone
scaleBfpf x, op scale1?[ff:f]exucompute scale exponent , binary floating point, toward positive infinitynone
scaleBfzf x, op scale1?[ff:f]exucompute scale exponent , binary floating point, toward zeronone
scaleBf f x, op scale1?[ff:f]exucompute scale exponent , binary floating point, use current dynamic rounding modenone
!scratchf scratch scratchr0, 0 :[x]readerreader allocate scratchpad frame , logicalall
setjmp1 xx:xflowcompute place a restore point on the spiller stack all
set op x, n bit1 [xi:x]exucompute bit set , logicalall
set op x, bit bit1 [xi:x]exucompute bit set , logicalall
shiftlss2s x, n bits1?[xi:x]exucompute bitwise shift , toward greater significance, signed integer, saturating, dualall
shiftlss2s x, bit bits1?[xi:x]exucompute bitwise shift , toward greater significance, signed integer, saturating, dualall
shiftlss s x, n bits1?[xi:x]exucompute bitwise shift , toward greater significance, signed integer, saturating, singleall
shiftlss s x, bit bits1?[xi:x]exucompute bitwise shift , toward greater significance, signed integer, saturating, singleall
shiftlsw2s op0, s op12?XX:2X2Xexucompute bitwise shift , toward greater significance, signed integer, widening, dualall
shiftlsw2s op0, bit bit02?XX:2X2Xexucompute bitwise shift , toward greater significance, signed integer, widening, dualall
shiftlsw s x, bit bits1?xx:2xexucompute bitwise shift , toward greater significance, signed integer, widening, singleall
shiftlsw s x, n bits1?xx:2xexucompute bitwise shift , toward greater significance, signed integer, widening, singleall
shiftlsx2s x, bit bits1?[xi:x]exucompute bitwise shift , toward greater significance, signed integer, excepting, dualall
shiftlsx2s x, n bits1?[xi:x]exucompute bitwise shift , toward greater significance, signed integer, excepting, dualall
shiftlsx s x, n bits1?[xi:x]exucompute bitwise shift , toward greater significance, signed integer, excepting, singleall
shiftlsx s x, bit bits1?[xi:x]exucompute bitwise shift , toward greater significance, signed integer, excepting, singleall
shiftls 2s x, n bits1?[xi:x]exucompute bitwise shift , toward greater significance, signed integer, modulo, dualall
shiftls 2s x, bit bits1?[xi:x]exucompute bitwise shift , toward greater significance, signed integer, modulo, dualall
shiftls  s x, n bits1?[xi:x]exucompute bitwise shift , toward greater significance, signed integer, modulo, singleall
shiftls  s x, bit bits1?[xi:x]exucompute bitwise shift , toward greater significance, signed integer, modulo, singleall
shiftlus2u x, bit bits1?[xi:x]exucompute bitwise shift , toward greater significance, unsigned integer, saturating, dualall
shiftlus2u x, n bits1?[xi:x]exucompute bitwise shift , toward greater significance, unsigned integer, saturating, dualall
shiftlus u x, n bits1?[xi:x]exucompute bitwise shift , toward greater significance, unsigned integer, saturating, singleall
shiftlus u x, bit bits1?[xi:x]exucompute bitwise shift , toward greater significance, unsigned integer, saturating, singleall
shiftluw2u op0, bit bit02?XX:2X2Xexucompute bitwise shift , toward greater significance, unsigned integer, widening, dualall
shiftluw2u op0, u op12?XX:2X2Xexucompute bitwise shift , toward greater significance, unsigned integer, widening, dualall
shiftluw u x, n bits1?xx:2xexucompute bitwise shift , toward greater significance, unsigned integer, widening, singleall
shiftluw u x, bit bits1?xx:2xexucompute bitwise shift , toward greater significance, unsigned integer, widening, singleall
shiftlux2u x, bit bits1?[xi:x]exucompute bitwise shift , toward greater significance, unsigned integer, excepting, dualall
shiftlux2u x, n bits1?[xi:x]exucompute bitwise shift , toward greater significance, unsigned integer, excepting, dualall
shiftlux u x, bit bits1?[xi:x]exucompute bitwise shift , toward greater significance, unsigned integer, excepting, singleall
shiftlux u x, n bits1?[xi:x]exucompute bitwise shift , toward greater significance, unsigned integer, excepting, singleall
shiftlu 2u op0, u op11?[xi:x]exucompute bitwise shift , toward greater significance, unsigned integer, modulo, dualall
shiftlu 2u op0, bit bit01?[xi:x]exucompute bitwise shift , toward greater significance, unsigned integer, modulo, dualall
shiftlu  u x, bit bits1?[xi:x]exucompute bitwise shift , toward greater significance, unsigned integer, modulo, singleall
shiftlu  u x, n bits1?[xi:x]exucompute bitwise shift , toward greater significance, unsigned integer, modulo, singleall
shiftl op x, n bits1?[xi:x]exucompute bitwise shift , toward greater significance, logicalall
shiftl op x, bit bits1?[xi:x]exucompute bitwise shift , toward greater significance, logicalall
shiftrss x, n bits1?[xi:x]exucompute bitwise shift , toward lesser significance, signed integerall
shiftrss x, bit bits1?[xi:x]exucompute bitwise shift , toward lesser significance, signed integerall
shiftrsfesf x, bit bits1?[xi:x]exucompute bitwise shift , toward lesser significance, signed fixed point, to nearest, ties toward even adjacent valueall
shiftrsffzsf x, bit bits1?[xi:x]exucompute bitwise shift , toward lesser significance, signed fixed point, to nearest, ties away from zeroall
shiftrsfnsf x, bit bits1?[xi:x]exucompute bitwise shift , toward lesser significance, signed fixed point, toward negative infinityall
shiftrsfpsf x, bit bits1?[xi:x]exucompute bitwise shift , toward lesser significance, signed fixed point, toward positive infinityall
shiftrsfzsf x, bit bits1?[xi:x]exucompute bitwise shift , toward lesser significance, signed fixed point, toward zeroall
shiftrsf sf x, bit bits1?[xi:x]exucompute bitwise shift , toward lesser significance, signed fixed point, use current dynamic rounding modeall
shiftruu x, bit bits1?[xi:x]exucompute bitwise shift , toward lesser significance, unsigned integerall
shiftruu x, n bits1?[xi:x]exucompute bitwise shift , toward lesser significance, unsigned integerall
shiftrufeuf x, bit bits1?[xi:x]exucompute bitwise shift , toward lesser significance, unsigned fixed point, to nearest, ties toward even adjacent valueall
shiftruffzuf x, bit bits1?[xi:x]exucompute bitwise shift , toward lesser significance, unsigned fixed point, to nearest, ties away from zeroall
shiftrufnuf x, bit bits1?[xi:x]exucompute bitwise shift , toward lesser significance, unsigned fixed point, toward negative infinityall
shiftrufpuf x, bit bits1?[xi:x]exucompute bitwise shift , toward lesser significance, unsigned fixed point, toward positive infinityall
shiftrufzuf x, bit bits1?[xi:x]exucompute bitwise shift , toward lesser significance, unsigned fixed point, toward zeroall
shiftruf uf x, bit bits1?[xi:x]exucompute bitwise shift , toward lesser significance, unsigned fixed point, use current dynamic rounding modeall
shuffle op vs, op positions1 [xn:x]exucompute reorder a vector , logicalall
sig op op0, 0 [xx]:writerpicked assert width of belt operand , logicalall
smear iop vs1 [xn:x]exucompute smear first one to end of vector , logical, inclusiveall
smear xop vs2 XX:Xxexucompute smear first one to end of vector , logical, exclusiveall
spilloff id, op v0 [xx]:flowwriter spill operand to extended scratchpad all
spill flpred op0, scratch op1, 0 [xx]:writerwriter spill operand to extended scratchpad , logical, taken if falseall
spill trpred op0, scratch op1, 0 [xx]:writerwriter spill operand to extended scratchpad , logical, taken if trueall
spill  scratch op0, 0 [xx]:writerwriter spill operand to extended scratchpad , logical, taken unconditionallyall
splat op op0, width width01 xx:Xexucompute replicate scalar to vector , logicalall
!stackfoff size0 :flowcompute allocate stack frame all
!storepp op0, p op1, memAttr memAttr00 px:flowwriter store to memory , pointernone
!storepflp base0, base op0, off op1, pred off00 px:flowwriter store to memory , registerbased, pointer, taken if falsenone
!storepflp op0, p op1, off op2, pred off00 px:flowwriter store to memory , pointerbased, pointer, taken if falsenone
!store1pflp base0, base op0, off op1, p off00 px:flowwriter store to memory , registerbased, pointer, taken if falsenone
!store1pflp op0, p op1, off op2, p off00 px:flowwriter store to memory , pointerbased, pointer, taken if falsenone
!store1pflp op0, p op1, off op2, p off00 px:flowwriter store to memory , pointerbased, pointer, taken if falsenone
!store1pflp base0, base op0, off op1, p off00 px:flowwriter store to memory , registerbased, pointer, taken if falsenone
!store1pflp op0, p op1, off op2, p off00 px:flowwriter store to memory , pointerbased, pointer, taken if falsenone
!store1pflp base0, base op0, off op1, p off00 px:flowwriter store to memory , registerbased, pointer, taken if falsenone
!store1pflp op0, p op1, off op2, p off00 px:flowwriter store to memory , pointerbased, pointer, taken if falsenone
!store1pflp base0, base op0, off op1, p off00 px:flowwriter store to memory , registerbased, pointer, taken if falsenone
!store*pflp base0, base op0, off op1, p op2, pred off00 px:flowwriter store to memory , registerbased, pointer, taken if falsenone
!store*pflp op0, p op1, off op2, p op3, pred off00 px:flowwriter store to memory , pointerbased, pointer, taken if falsenone
!store*pflp op0, p op1, off op2, p op3, pred off00 px:flowwriter store to memory , pointerbased, pointer, taken if falsenone
!store*pflp base0, base op0, off op1, p op2, pred off00 px:flowwriter store to memory , registerbased, pointer, taken if falsenone
!store*pflp base0, base op0, off op1, p op2, pred off00 px:flowwriter store to memory , registerbased, pointer, taken if falsenone
!store*pflp op0, p op1, off op2, p op3, pred off00 px:flowwriter store to memory , pointerbased, pointer, taken if falsenone
!store*pflp base0, base op0, off op1, p op2, pred off00 px:flowwriter store to memory , registerbased, pointer, taken if falsenone
!store*pflp op0, p op1, off op2, p op3, pred off00 px:flowwriter store to memory , pointerbased, pointer, taken if falsenone
!storeptrp base0, base op0, off op1, pred off00 px:flowwriter store to memory , registerbased, pointer, taken if truenone
!storeptrp op0, p op1, off op2, pred off00 px:flowwriter store to memory , pointerbased, pointer, taken if truenone
!store1ptrp op0, p op1, off op2, p off00 px:flowwriter store to memory , pointerbased, pointer, taken if truenone
!store1ptrp base0, base op0, off op1, p off00 px:flowwriter store to memory , registerbased, pointer, taken if truenone
!store1ptrp base0, base op0, off op1, p off00 px:flowwriter store to memory , registerbased, pointer, taken if truenone
!store1ptrp op0, p op1, off op2, p off00 px:flowwriter store to memory , pointerbased, pointer, taken if truenone
!store1ptrp op0, p op1, off op2, p off00 px:flowwriter store to memory , pointerbased, pointer, taken if truenone
!store1ptrp base0, base op0, off op1, p off00 px:flowwriter store to memory , registerbased, pointer, taken if truenone
!store1ptrp base0, base op0, off op1, p off00 px:flowwriter store to memory , registerbased, pointer, taken if truenone
!store1ptrp op0, p op1, off op2, p off00 px:flowwriter store to memory , pointerbased, pointer, taken if truenone
!store*ptrp base0, base op0, off op1, p op2, pred off00 px:flowwriter store to memory , registerbased, pointer, taken if truenone
!store*ptrp op0, p op1, off op2, p op3, pred off00 px:flowwriter store to memory , pointerbased, pointer, taken if truenone
!store*ptrp op0, p op1, off op2, p op3, pred off00 px:flowwriter store to memory , pointerbased, pointer, taken if truenone
!store*ptrp base0, base op0, off op1, p op2, pred off00 px:flowwriter store to memory , registerbased, pointer, taken if truenone
!store*ptrp op0, p op1, off op2, p op3, pred off00 px:flowwriter store to memory , pointerbased, pointer, taken if truenone
!store*ptrp base0, base op0, off op1, p op2, pred off00 px:flowwriter store to memory , registerbased, pointer, taken if truenone
!store*ptrp base0, base op0, off op1, p op2, pred off00 px:flowwriter store to memory , registerbased, pointer, taken if truenone
!store*ptrp op0, p op1, off op2, p op3, pred off00 px:flowwriter store to memory , pointerbased, pointer, taken if truenone
!storep p base0, base op0, off off00 px:flowwriter store to memory , registerbased, pointer, taken unconditionallynone
!storep p op0, p op1, off off00 px:flowwriter store to memory , pointerbased, pointer, taken unconditionallynone
!storep p base0, base op0, off op1, p off00 px:flowwriter store to memory , registerbased, pointer, taken unconditionallynone
!storep p op0, p op1, off op2, p off00 px:flowwriter store to memory , pointerbased, pointer, taken unconditionallynone
!storep p op0, p op1, off op2, p off00 px:flowwriter store to memory , pointerbased, pointer, taken unconditionallynone
!storep p base0, base op0, off op1, p off00 px:flowwriter store to memory , registerbased, pointer, taken unconditionallynone
!storep p base0, base op0, off op1, p off00 px:flowwriter store to memory , registerbased, pointer, taken unconditionallynone
!storep p op0, p op1, off op2, p off00 px:flowwriter store to memory , pointerbased, pointer, taken unconditionallynone
!storep p base0, base op0, off op1, p off00 px:flowwriter store to memory , registerbased, pointer, taken unconditionallynone
!storep p op0, p op1, off op2, p off00 px:flowwriter store to memory , pointerbased, pointer, taken unconditionallynone
!store op op0, op op1, memAttr memAttr00 px:flowwriter store to memory , logicalall
!store flop op0, op op1, off op2, pred off00 px:flowwriter store to memory , pointerbased, logical, taken if falseall
!store flop base0, base op0, off op1, pred off00 px:flowwriter store to memory , registerbased, logical, taken if falseall
!store1 flop op0, op op1, off op2, op off00 px:flowwriter store to memory , pointerbased, logical, taken if falseall
!store1 flop base0, base op0, off op1, op off00 px:flowwriter store to memory , registerbased, logical, taken if falseall
!store1 flop base0, base op0, off op1, op off00 px:flowwriter store to memory , registerbased, logical, taken if falseall
!store1 flop op0, op op1, off op2, op off00 px:flowwriter store to memory , pointerbased, logical, taken if falseall
!store1 flop base0, base op0, off op1, op off00 px:flowwriter store to memory , registerbased, logical, taken if falseall
!store1 flop op0, op op1, off op2, op off00 px:flowwriter store to memory , pointerbased, logical, taken if falseall
!store1 flop op0, op op1, off op2, op off00 px:flowwriter store to memory , pointerbased, logical, taken if falseall
!store1 flop base0, base op0, off op1, op off00 px:flowwriter store to memory , registerbased, logical, taken if falseall
!store* flop base0, base op0, off op1, op op2, pred off00 px:flowwriter store to memory , registerbased, logical, taken if falseall
!store* flop op0, op op1, off op2, op op3, pred off00 px:flowwriter store to memory , pointerbased, logical, taken if falseall
!store* flop base0, base op0, off op1, op op2, pred off00 px:flowwriter store to memory , registerbased, logical, taken if falseall
!store* flop op0, op op1, off op2, op op3, pred off00 px:flowwriter store to memory , pointerbased, logical, taken if falseall
!store* flop base0, base op0, off op1, op op2, pred off00 px:flowwriter store to memory , registerbased, logical, taken if falseall
!store* flop op0, op op1, off op2, op op3, pred off00 px:flowwriter store to memory , pointerbased, logical, taken if falseall
!store* flop base0, base op0, off op1, op op2, pred off00 px:flowwriter store to memory , registerbased, logical, taken if falseall
!store* flop op0, op op1, off op2, op op3, pred off00 px:flowwriter store to memory , pointerbased, logical, taken if falseall
!store trop op0, op op1, off op2, pred off00 px:flowwriter store to memory , pointerbased, logical, taken if trueall
!store trop base0, base op0, off op1, pred off00 px:flowwriter store to memory , registerbased, logical, taken if trueall
!store1 trop op0, op op1, off op2, op off00 px:flowwriter store to memory , pointerbased, logical, taken if trueall
!store1 trop base0, base op0, off op1, op off00 px:flowwriter store to memory , registerbased, logical, taken if trueall
!store1 trop op0, op op1, off op2, op off00 px:flowwriter store to memory , pointerbased, logical, taken if trueall
!store1 trop base0, base op0, off op1, op off00 px:flowwriter store to memory , registerbased, logical, taken if trueall
!store1 trop op0, op op1, off op2, op off00 px:flowwriter store to memory , pointerbased, logical, taken if trueall
!store1 trop base0, base op0, off op1, op off00 px:flowwriter store to memory , registerbased, logical, taken if trueall
!store1 trop op0, op op1, off op2, op off00 px:flowwriter store to memory , pointerbased, logical, taken if trueall
!store1 trop base0, base op0, off op1, op off00 px:flowwriter store to memory , registerbased, logical, taken if trueall
!store* trop op0, op op1, off op2, op op3, pred off00 px:flowwriter store to memory , pointerbased, logical, taken if trueall
!store* trop base0, base op0, off op1, op op2, pred off00 px:flowwriter store to memory , registerbased, logical, taken if trueall
!store* trop base0, base op0, off op1, op op2, pred off00 px:flowwriter store to memory , registerbased, logical, taken if trueall
!store* trop op0, op op1, off op2, op op3, pred off00 px:flowwriter store to memory , pointerbased, logical, taken if trueall
!store* trop op0, op op1, off op2, op op3, pred off00 px:flowwriter store to memory , pointerbased, logical, taken if trueall
!store* trop base0, base op0, off op1, op op2, pred off00 px:flowwriter store to memory , registerbased, logical, taken if trueall
!store* trop op0, op op1, off op2, op op3, pred off00 px:flowwriter store to memory , pointerbased, logical, taken if trueall
!store* trop base0, base op0, off op1, op op2, pred off00 px:flowwriter store to memory , registerbased, logical, taken if trueall
!store  op op0, op op1, off off00 px:flowwriter store to memory , pointerbased, logical, taken unconditionallyall
!store  op base0, base op0, off off00 px:flowwriter store to memory , registerbased, logical, taken unconditionallyall
!store  op op0, op op1, off op2, op off00 px:flowwriter store to memory , pointerbased, logical, taken unconditionallyall
!store  op base0, base op0, off op1, op off00 px:flowwriter store to memory , registerbased, logical, taken unconditionallyall
!store  op op0, op op1, off op2, op off00 px:flowwriter store to memory , pointerbased, logical, taken unconditionallyall
!store  op base0, base op0, off op1, op off00 px:flowwriter store to memory , registerbased, logical, taken unconditionallyall
!store  op base0, base op0, off op1, op off00 px:flowwriter store to memory , registerbased, logical, taken unconditionallyall
!store  op op0, op op1, off op2, op off00 px:flowwriter store to memory , pointerbased, logical, taken unconditionallyall
!store  op base0, base op0, off op1, op off00 px:flowwriter store to memory , registerbased, logical, taken unconditionallyall
!store  op op0, op op1, off op2, op off00 px:flowwriter store to memory , pointerbased, logical, taken unconditionallyall
!streamflit rd_size, lit wr_size0 :flowcompute allocate streamer frame all
subded x, d y1?[dd:d]exucompute subtraction , decimal floating point, to nearest, ties toward even adjacent valuenone
subdfzd x, d y1?[dd:d]exucompute subtraction , decimal floating point, to nearest, ties away from zeronone
subdnd x, d y1?[dd:d]exucompute subtraction , decimal floating point, toward negative infinitynone
subdpd x, d y1?[dd:d]exucompute subtraction , decimal floating point, toward positive infinitynone
subdzd x, d y1?[dd:d]exucompute subtraction , decimal floating point, toward zeronone
subd d x, d y1?[dd:d]exucompute subtraction , decimal floating point, use current dynamic rounding modenone
subfef x, f y1?[ff:f]exucompute subtraction , binary floating point, to nearest, ties toward even adjacent valuenone
subffzf x, f y1?[ff:f]exucompute subtraction , binary floating point, to nearest, ties away from zeronone
subfnf x, f y1?[ff:f]exucompute subtraction , binary floating point, toward negative infinitynone
subfpf x, f y1?[ff:f]exucompute subtraction , binary floating point, toward positive infinitynone
subfzf x, f y1?[ff:f]exucompute subtraction , binary floating point, toward zeronone
subf f x, f y1?[ff:f]exucompute subtraction , binary floating point, use current dynamic rounding modenone
subpp op0, imm imm01 px:pexucompute subtraction , pointerall
subss2s x, imm y1?[xx:x]exucompute subtraction , signed integer, saturating, dualall
subss2s x, s y1?[xx:x]exucompute subtraction , signed integer, saturating, dualall
subss s x, imm y1?[xx:x]exucompute subtraction , signed integer, saturating, singleall
subss s x, s y1?[xx:x]exucompute subtraction , signed integer, saturating, singleall
subsw2s op0, imm imm02?XX:2X2Xexucompute subtraction , signed integer, widening, dualall
subsw2s op0, s op12?XX:2X2Xexucompute subtraction , signed integer, widening, dualall
subsw s x, imm y1?xx:2xexucompute subtraction , signed integer, widening, singleall
subsw s x, s y1?xx:2xexucompute subtraction , signed integer, widening, singleall
subsx2s x, imm y1?[xx:x]exucompute subtraction , signed integer, excepting, dualall
subsx2s x, s y1?[xx:x]exucompute subtraction , signed integer, excepting, dualall
subsx s x, s y1?[xx:x]exucompute subtraction , signed integer, excepting, singleall
subsx s x, imm y1?[xx:x]exucompute subtraction , signed integer, excepting, singleall
subs 2s op0, s op11?[xx:x]exucompute subtraction , signed integer, modulo, dualall
subs 2s op0, imm imm01?[xx:x]exucompute subtraction , signed integer, modulo, dualall
subs  s x, s y1?[xx:x]exucompute subtraction , signed integer, modulo, singleall
subs  s x, imm y1?[xx:x]exucompute subtraction , signed integer, modulo, singleall
subus2u x, u y1?[xx:x]exucompute subtraction , unsigned integer, saturating, dualall
subus2u x, imm y1?[xx:x]exucompute subtraction , unsigned integer, saturating, dualall
subus u x, u y1?[xx:x]exucompute subtraction , unsigned integer, saturating, singleall
subus u x, imm y1?[xx:x]exucompute subtraction , unsigned integer, saturating, singleall
subuw2u op0, u op12?XX:2X2Xexucompute subtraction , unsigned integer, widening, dualall
subuw2u op0, imm imm02?XX:2X2Xexucompute subtraction , unsigned integer, widening, dualall
subuw u x, u y1?xx:2xexucompute subtraction , unsigned integer, widening, singleall
subuw u x, imm y1?xx:2xexucompute subtraction , unsigned integer, widening, singleall
subux2u x, u y1?[xx:x]exucompute subtraction , unsigned integer, excepting, dualall
subux2u x, imm y1?[xx:x]exucompute subtraction , unsigned integer, excepting, dualall
subux u x, u y1?[xx:x]exucompute subtraction , unsigned integer, excepting, singleall
subux u x, imm y1?[xx:x]exucompute subtraction , unsigned integer, excepting, singleall
subu 2u op0, imm imm01?[xx:x]exucompute subtraction , unsigned integer, modulo, dualall
subu 2u op0, u op11?[xx:x]exucompute subtraction , unsigned integer, modulo, dualall
subu  u x, u y1?[xx:x]exucompute subtraction , unsigned integer, modulo, singleall
subu  u x, imm y1?[xx:x]exucompute subtraction , unsigned integer, modulo, singleall
sub op x, op y1?[xx:x]exucompute subtraction , logicalall
sub op x, imm y1?[xx:x]exucompute subtraction , logicalall
test op x, bit bit1 [xi:x]exucompute bit test , logicalall
test op x, n bit1 [xi:x]exucompute bit test , logicalall
!trap flpred op0, 0 [xx]:writerwriter trigger a trap to a handler , logical, taken if falseall
!trap flpred op0, 0 [xx]:writerwriter trigger a trap to a handler , logical, taken if falseall
!trap trpred op0, 0 [xx]:writerwriter trigger a trap to a handler , logical, taken if trueall
!trap trpred op0, 0 [xx]:writerwriter trigger a trap to a handler , logical, taken if trueall
!trap  0 [xx]:writerwriter trigger a trap to a handler , logical, taken unconditionallyall
!trap  0 [xx]:writerwriter trigger a trap to a handler , logical, taken unconditionallyall
u2fded x1?[ff:f]exucompute convert unsigned integer to float , decimal floating point, to nearest, ties toward even adjacent valuenone
u2fdfzd x1?[ff:f]exucompute convert unsigned integer to float , decimal floating point, to nearest, ties away from zeronone
u2fdnd x1?[ff:f]exucompute convert unsigned integer to float , decimal floating point, toward negative infinitynone
u2fdpd x1?[ff:f]exucompute convert unsigned integer to float , decimal floating point, toward positive infinitynone
u2fdzd x1?[ff:f]exucompute convert unsigned integer to float , decimal floating point, toward zeronone
u2fd d x1?[ff:f]exucompute convert unsigned integer to float , decimal floating point, use current dynamic rounding modenone
u2ffef x1?[ff:f]exucompute convert unsigned integer to float , binary floating point, to nearest, ties toward even adjacent valuenone
u2fffzf x1?[ff:f]exucompute convert unsigned integer to float , binary floating point, to nearest, ties away from zeronone
u2ffnf x1?[ff:f]exucompute convert unsigned integer to float , binary floating point, toward negative infinitynone
u2ffpf x1?[ff:f]exucompute convert unsigned integer to float , binary floating point, toward positive infinitynone
u2ffzf x1?[ff:f]exucompute convert unsigned integer to float , binary floating point, toward zeronone
u2ff f x1?[ff:f]exucompute convert unsigned integer to float , binary floating point, use current dynamic rounding modenone
u2pop op01 [pp:p]flowcompute convert unsigned integer to pointer all
u2s s2op x1 [xx:x]exucompute convert unsigned to signed , logical, saturating, dualall
u2s s op x1 [xx:x]exucompute convert unsigned to signed , logical, saturating, singleall
u2s w2op op02 XX:2X2Xexucompute convert unsigned to signed , logical, widening, dualall
u2s w op x1 xx:2xexucompute convert unsigned to signed , logical, widening, singleall
u2s x2op x1 [xx:x]exucompute convert unsigned to signed , logical, excepting, dualall
u2s x op x1 [xx:x]exucompute convert unsigned to signed , logical, excepting, singleall
u2s  2op x1 [xx:x]exucompute convert unsigned to signed , logical, modulo, dualall
u2s   op x1 [xx:x]exucompute convert unsigned to signed , logical, modulo, singleall
vec2 op op0, op op11 xx:Xexucompute vector constructor , logicalall
vec1 op op01 xx:Xexucompute vector constructor , logicalall
vec* ops args1 xx:Xexucompute vector constructor , logicalall
widend2d op02 DD:2D2Dexucompute widen to double width , decimal floating point, dualnone
widend d op0, width width01 dd:2dexucompute widen to double width , decimal floating point, singlenone
widenf2f op02 FF:2F2Fexucompute widen to double width , binary floating point, dualnone
widenf f op0, width width01 ff:2fexucompute widen to double width , binary floating point, singlenone
widens2s op02 XX:2X2Xexucompute widen to double width , signed integer, dualall
widensf2sf op02 XX:2X2Xexucompute widen to double width , signed fixed point, dualall
widensf sf op0, width width01 xx:2xexucompute widen to double width , signed fixed point, singleall
widens s op0, width width01 xx:2xexucompute widen to double width , signed integer, singleall
widenu2u op02 XX:2X2Xexucompute widen to double width , unsigned integer, dualall
widenuf2uf op02 XX:2X2Xexucompute widen to double width , unsigned fixed point, dualall
widenuf uf op0, width width01 xx:2xexucompute widen to double width , unsigned fixed point, singleall
widenu u op0, width width01 xx:2xexucompute widen to double width , unsigned integer, singleall
wr stream dst, op v0 [xx]:writerwriter hardware writer , logicalall
wr reg dst, op v0 [xx]:writerwriter hardware writer , logicalall
xorlss x, imm y1?[xx:x]exucompute bitwise exclusive or , signed integerall
xorlss x, s y1?[xx:x]exucompute bitwise exclusive or , signed integerall
xorluu x, imm y1?[xx:x]exucompute bitwise exclusive or , unsigned integerall
xorluu x, u y1?[xx:x]exucompute bitwise exclusive or , unsigned integerall
xorl op x, imm y1?[xx:x]exucompute bitwise exclusive or , logicalall
xorl op x, op y1?[xx:x]exucompute bitwise exclusive or , logicalall