Arithmetic

ADD¶

Represents ADD built-ins.

The default values for the vector ADD 64 built-ins in C++ are as follows:

switches = 0
income = {}
predicate = 1
polarity = 0.

Intrinsics Prototype and Arguments

Intrinsics Definition

long s_i64_add(long a, long b, int switches, long income, bool predicate, bool polarity)

ulong s_u64_add(ulong a, ulong b, int switches, ulong income, bool predicate, bool polarity)

ull32 v_u64_add_b(ull32 a, ull32 b, int switches, ull32 income, bool predicate, bool polarity)

ull32 v_u64_add_vb(ull32 a, ull32 b, int switches, ull32 income, bool32 predicate, bool polarity)

Parameters

a	The first SRC operand to ADD (SRC1).
b	The second SRC operand to ADD (SRC2).
switches	Switches of ADD built-in.
income	This value is returned if the predicate is false.
predicate	Predicate value for the built-in.
polarity	True if the polarity of the predicate is inverted.

Returns

Sum of operands a and b.

SUB¶

Represents SUB built-ins.

The default values of vector SUB 64 built-ins for C++ versions are as follows:

switches = 0
income = {}
predicate = 1
polarity = 0.

MUL¶

Represents MUL Builtins.

The default values of vector MUL 64 built-ins for C++ versions are as follows:

switches = 0
income = {}
predicate = 1
polarity = 0.

MUL with DOUBLE_AND_ROUND Switch for int64 as Built-in¶

Implements MUL with DOUBLE_AND_ROUND switch for int64 as built-in.

MIN¶

Represents MIN Built-ins.

The default values of vector MIN 64 built-ins for C++ versions are as follows:

switches = 0
income = {}
predicate = 1
polarity = 0.

MAX¶

Represents MAX built-ins.

The default values of vector MAX 64 built-ins for C++ versions are as follows:

switches = 0
income = {}
predicate = 1
polarity = 0.

ABS¶

Represents ABS built-ins - Calculates the absolute value.

The default values of ABS 64 built-ins for C++ versions are as follows:

switches = 0
income = {}
predicate = 1
polarity = 0.

SHIFT LEFT¶

Represents SHL built-ins.

The default values of vector SHL 64 built-ins for C++ versions are as follows:

switches = 0
income = {}
predicate = 1
polarity = 0.

SHIFT RIGHT¶

Represents SHR built-ins.

The default values of vector SHR 64 built-ins for C++ versions are as follows:

switches = 0
income = {}
predicate = 1
polarity = 0.

NEG¶

Represents NEG built-ins.

The default values of vector NEG 64 built-ins for C++ versions are as follows:

switches = 0
income = {}
predicate = 1
polarity = 0.

Compare Equal¶

Represents CMP_EQ built-ins.

Compare Less Equal¶

Represents CMP_LEQ built-in.

Compare Greater Equal¶

Represents CMP_GEQ built-ins.

Compare Greater¶

Represents CMP_GRT built-ins.

mul with DOUBLE_AND_ROUND switch for int64 as built -in¶

Represents CMP_LESS built-in.

Compare Not Equal¶

Represents CMP_NEQ built-in.

XOR¶

Represents XOR built-in.

The default values of XOR 64 built-ins for C++ versions are as follows:

switches = 0
income = {}
predicate = 1
polarity = 0.

OR¶

Represents OR built-in.

The default values of OR 64 built-ins for C++ versions are as follows:

switches = 0
income = {}
predicate = 1
polarity = 0.

AND¶

Represents AND built-in - Performs bitwise AND.

The default values of AND 64 built-ins for C++ versions are as follows:

switches = 0
income = {}
predicate = 1
polarity = 0.

NOT¶

Represents NOT built-in.

Default values of ‘not’ 64 built-ins for C++ versions are as follows:

switches = 0
income = {}
predicate = 1
polarity = 0.

GRT¶

Represents GRT built-in.

The default values of vector GRT 64 built-ins for C++ versions are as follows:

switches = 0
income = {}
predicate = 1
polarity = 0.

LESS¶

Represents LESS built-in.

The default values of vector LESS 64 built-ins for C++ versions are as follows:

switches = 0
income = {}
predicate = 1
polarity = 0.

LEQ¶

Represents LEQ built-in.

The default values of vector LEQ 64 built-ins for C++ versions are as follows:

switches = 0
income = {}
predicate = 1
polarity = 0.

GEQ¶

Represents GEQ built-in.

The default values of vector GEQ 64 built-ins for C++ versions are as follows:

switches = 0
income = {}
predicate = 1
polarity = 0.

EQ¶