xor (leftOperand rightOperand -- combinedValue)

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.

xor (leftOperand rightOperand -- combinedValue)

Inputs

leftOperand: Left operand of the logical or bitwise operation.

rightOperand: Right operand of the logical or bitwise operation.

Outputs

combinedValue: XOR result in the operand schema.

xor accepts same-schema Cond, Nat, and Int values. Both inputs are dereferenced and must be non-NIL. The result keeps that schema.

This is not short-circuit control flow. By the time xor runs, both operands are already on the data stack.

Behavior

For Cond, the operation is logical exclusive OR. The identity value is FALSE and the toggling value is TRUE.

For Nat and Int, the operation is bitwise XOR. The identity value is zero and the toggling value is the all-bits-set value of that schema.

For Int schemas, the bitwise result is computed on the schema's fixed-width bit pattern and then interpreted again as the same Int schema.

The identity value preserves the other operand.

The toggling value flips the other operand, but an unknown operand still yields an unknown result.

If both operands are known at compile time, the result is computed at compile time. Otherwise, the builtin produces an unknown result of the same schema.

Example

{} () {} [ "-- no short-circuit cond --" printCompilerMessage "-- left operand --" printCompilerMessage TRUE "-- right operand --" printCompilerMessage FALSE xor printStack _:; "-- cond --" printCompilerMessage FALSE TRUE xor printStack _:; TRUE TRUE xor printStack _:; unknownCond: FALSE dynamic; FALSE unknownCond xor printStack _:; TRUE unknownCond xor printStack _:; "-- nat32 masks --" printCompilerMessage 0xF0n32 0x0Cn32 xor printStack _:; 0n32 0xCCn32 xor printStack _:; 0xFFFFFFFFn32 0x0Cn32 xor printStack _:; unknownNat: 0n32 dynamic; 0n32 unknownNat xor printStack _:; 0xFFFFFFFFn32 unknownNat xor printStack _:; "-- int32 bitwise --" printCompilerMessage -1 6 xor printStack _:; 6 3 xor printStack _:; unknownInt: 0 dynamic; 0 unknownInt xor printStack _:; -1 unknownInt xor printStack _:; ] "main" exportFunction

Expected Output During Compilation

-- no short-circuit cond -- -- left operand -- -- right operand -- TRUE -- cond -- TRUE FALSE Cond Cond -- nat32 masks -- 252n32 204n32 4294967283n32 Nat32 Nat32 -- int32 bitwise -- -7 5 Int32 Int32