* (multiplicand multiplier -- product)

Builtins

Name introduction, declaration modifiers, and module binding: NAME: ...;, codeRef, def, exportFunction, importFunction, importVariable, overload, private, static, use, and virtual.
Struct construction forms: (...), {...}, and array.
Selection forms: source-text selection with NAME and .NAME, read-only source-text selection with @NAME and .@NAME, and ordinal or known-name data-input selection with @, callField, and fieldRead.
Writing forms: source-text selection with !NAME and .!NAME, ordinal selection with ! and fieldWrite, and already-selected destination replacement with set.
Calling and control flow: call, if, loop, ucall, and uif.
Text operations: &, LF, attribute, textSize, and textSplit.
Condition constants, value comparison, and logical operators: <, =, >, DEBUG, FALSE, TRUE, and, is, lshift, or, rshift, xor, and ~.
Arithmetic and numeric transforms: *, +, -, /, ^, cast, ceil, cos, floor, log, log10, mod, neg, sin, and sqrt.
Reference, creation, and value-state operations: const, dynamic, isConst, isDirty, isDynamic, isRef, isStatic, known?, new, newVarOfTheSameType, stable?, unconst, and unknownStable?.
Schema and struct introspection: code?, codeRef?, fieldCount, fieldIndex, fieldIsRef, fieldIsVirtual, fieldName, has, isCombined, managed?, same, schemaName, and virtual?.
Storage and manual lifetime operations: addressToReference, alignment, manuallyDestroyVariable, manuallyInitVariable, storageAddress, and storageSize.
Diagnostics and compile-time failure: failCompilation, getCallTrace, printCompilerMessage, printStack, printStackTrace, and raiseStaticError.

* (multiplicand multiplier -- product)

Inputs

multiplicand: Left multiplicative factor.

multiplier: Right multiplicative factor.

Outputs

product: Product value.

This builtin accepts whole and real numbers. Both inputs are dereferenced and must be non-NIL. The operands must have the same schema.

Behavior

Whole-number schemas use integer multiplication semantics.

Real schemas use floating-point multiplication semantics.

If both operands are known at compile time, the result is computed at compile time.

If the multiplier is known 0, the result is known 0 of the same schema.

If either operand is known 1, the result follows the other operand's value and schema.

If the multiplicand is known 0 but the multiplier is unknown, the result remains unknown.

Otherwise, the builtin produces an unknown result of the same schema.

Example

{} () {} [ unknownInt: 7 dynamic; "-- int32 --" printCompilerMessage 3 4 * printStack _:; 0 7 * printStack _:; 1 7 * printStack _:; "-- zero and unknown int32 --" printCompilerMessage 0 unknownInt * printStack _:; unknownInt 0 * printStack _:; "-- real32 --" printCompilerMessage 2.5r32 4.0r32 * printStack _:; ] "main" exportFunction

Expected Output During Compilation

-- int32 -- 12 0 7 -- zero and unknown int32 -- Int32 0 -- real32 -- 10.0r32