/*
 * jit-plus-value.cpp - C++ wrapper for JIT values.
 *
 * Copyright (C) 2004  Southern Storm Software, Pty Ltd.
 *
 * This file is part of the libjit library.
 *
 * The libjit library is free software: you can redistribute it and/or
 * modify it under the terms of the GNU Lesser General Public License
 * as published by the Free Software Foundation, either version 2.1 of
 * the License, or (at your option) any later version.
 *
 * The libjit library is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
 * Lesser General Public License for more details.
 *
 * You should have received a copy of the GNU Lesser General Public
 * License along with the libjit library.  If not, see
 * <http://www.gnu.org/licenses/>.
 */

#include <jit/jit-plus.h>

/*@

The @code{jit_value} class provides a C++ counterpart to the
@code{jit_value_t} type.  Values normally result by calling methods
on the @code{jit_function} class during the function building process.
@xref{Values}, for more information on creating and managing values.

@defop Constructor jit_value jit_value ()
Construct an empty value.
@end defop

@defop Constructor jit_value jit_value (jit_value_t @var{value})
Construct a value by wrapping up a raw C @code{jit_value_t} object.
@end defop

@defop Constructor jit_value jit_value (const jit_value& @var{value})
Create a copy of @var{value}.
@end defop

@defop Destructor jit_value ~jit_value ()
Destroy the C++ value wrapper, but leave the underlying raw C
value alone.
@end defop

@defop Operator jit_value {jit_value& operator=} (const jit_value& @var{value})
Copy @code{jit_value} objects.
@end defop

@deftypemethod jit_value jit_value_t raw () const
Get the raw C @code{jit_value_t} value that underlies this object.
@end deftypemethod

@deftypemethod jit_value int is_valid () const
Determine if this @code{jit_value} object contains a valid raw
C @code{jit_value_t} value.
@end deftypemethod

@deftypemethod jit_value int is_temporary () const
@deftypemethodx jit_value int is_local () const
@deftypemethodx jit_value int is_constant () const
Determine if this @code{jit_value} is temporary, local, or constant.
@end deftypemethod

@deftypemethod jit_value void set_volatile ()
@deftypemethodx jit_value int is_volatile () const
Set or check the "volatile" state on this value.
@end deftypemethod

@deftypemethod jit_value void set_addressable ()
@deftypemethodx jit_value int is_addressable () const
Set or check the "addressable" state on this value.
@end deftypemethod

@deftypemethod jit_value jit_type_t type () const
Get the type of this value.
@end deftypemethod

@deftypemethod jit_value jit_function_t function () const
@deftypemethodx jit_value jit_block_t block () const
@deftypemethodx jit_value jit_context_t context () const
Get the owning function, block, or context for this value.
@end deftypemethod

@deftypemethod jit_value jit_constant_t constant () const
@deftypemethodx jit_value jit_nint nint_constant () const
@deftypemethodx jit_value jit_long long_constant () const
@deftypemethodx jit_value jit_float32 float32_constant () const
@deftypemethodx jit_value jit_float64 float64_constant () const
@deftypemethodx jit_value jit_nfloat nfloat_constant () const
Extract the constant stored in this value.
@end deftypemethod

@defop Operator jit_value {jit_value operator+} (const jit_value& @var{value1}, const jit_value& @var{value2})
@defopx Operator jit_value {jit_value operator-} (const jit_value& @var{value1}, const jit_value& @var{value2})
@defopx Operator jit_value {jit_value operator*} (const jit_value& @var{value1}, const jit_value& @var{value2})
@defopx Operator jit_value {jit_value operator/} (const jit_value& @var{value1}, const jit_value& @var{value2})
@defopx Operator jit_value {jit_value operator%} (const jit_value& @var{value1}, const jit_value& @var{value2})
@defopx Operator jit_value {jit_value operator-} (const jit_value& @var{value1})
@defopx Operator jit_value {jit_value operator&} (const jit_value& @var{value1}, const jit_value& @var{value2})
@defopx Operator jit_value {jit_value operator|} (const jit_value& @var{value1}, const jit_value& @var{value2})
@defopx Operator jit_value {jit_value operator^} (const jit_value& @var{value1}, const jit_value& @var{value2})
@defopx Operator jit_value {jit_value operator~} (const jit_value& @var{value1})
@defopx Operator jit_value {jit_value operator<<} (const jit_value& @var{value1}, const jit_value& @var{value2})
@defopx Operator jit_value {jit_value operator>>} (const jit_value& @var{value1}, const jit_value& @var{value2})
@defopx Operator jit_value {jit_value operator==} (const jit_value& @var{value1}, const jit_value& @var{value2})
@defopx Operator jit_value {jit_value operator!=} (const jit_value& @var{value1}, const jit_value& @var{value2})
@defopx Operator jit_value {jit_value operator<} (const jit_value& @var{value1}, const jit_value& @var{value2})
@defopx Operator jit_value {jit_value operator<=} (const jit_value& @var{value1}, const jit_value& @var{value2})
@defopx Operator jit_value {jit_value operator>} (const jit_value& @var{value1}, const jit_value& @var{value2})
@defopx Operator jit_value {jit_value operator>=} (const jit_value& @var{value1}, const jit_value& @var{value2})
Generate an arithmetic, bitwise, or comparison instruction based on
one or two @code{jit_value} objects.  These operators are shortcuts
for calling @code{insn_add}, @code{insn_sub}, etc on the
@code{jit_function} object.
@end defop

@*/

// Get the function that owns a pair of values.  It will choose
// the function for the first value, unless it is NULL (e.g. for
// global values).  In that case, it will choose the function
// for the second value.
static inline jit_function_t value_owner
	(const jit_value& value1, const jit_value& value2)
{
	jit_function_t func = jit_value_get_function(value1.raw());
	if(func)
	{
		return func;
	}
	else
	{
		return jit_value_get_function(value2.raw());
	}
}

jit_value operator+(const jit_value& value1, const jit_value& value2)
{
	return jit_value(jit_insn_add(value_owner(value1, value2),
								  value1.raw(), value2.raw()));
}

jit_value operator-(const jit_value& value1, const jit_value& value2)
{
	return jit_value(jit_insn_sub(value_owner(value1, value2),
								  value1.raw(), value2.raw()));
}

jit_value operator*(const jit_value& value1, const jit_value& value2)
{
	return jit_value(jit_insn_mul(value_owner(value1, value2),
								  value1.raw(), value2.raw()));
}

jit_value operator/(const jit_value& value1, const jit_value& value2)
{
	return jit_value(jit_insn_div(value_owner(value1, value2),
								  value1.raw(), value2.raw()));
}

jit_value operator%(const jit_value& value1, const jit_value& value2)
{
	return jit_value(jit_insn_rem(value_owner(value1, value2),
								  value1.raw(), value2.raw()));
}

jit_value operator-(const jit_value& value1)
{
	return jit_value(jit_insn_neg(jit_value_get_function(value1.raw()),
								  value1.raw()));
}

jit_value operator&(const jit_value& value1, const jit_value& value2)
{
	return jit_value(jit_insn_and(value_owner(value1, value2),
								  value1.raw(), value2.raw()));
}

jit_value operator|(const jit_value& value1, const jit_value& value2)
{
	return jit_value(jit_insn_or(value_owner(value1, value2),
								 value1.raw(), value2.raw()));
}

jit_value operator^(const jit_value& value1, const jit_value& value2)
{
	return jit_value(jit_insn_xor(value_owner(value1, value2),
								  value1.raw(), value2.raw()));
}

jit_value operator~(const jit_value& value1)
{
	return jit_value(jit_insn_not(jit_value_get_function(value1.raw()),
								  value1.raw()));
}

jit_value operator<<(const jit_value& value1, const jit_value& value2)
{
	return jit_value(jit_insn_shl(value_owner(value1, value2),
								  value1.raw(), value2.raw()));
}

jit_value operator>>(const jit_value& value1, const jit_value& value2)
{
	return jit_value(jit_insn_shr(value_owner(value1, value2),
								  value1.raw(), value2.raw()));
}

jit_value operator==(const jit_value& value1, const jit_value& value2)
{
	return jit_value(jit_insn_eq(value_owner(value1, value2),
								 value1.raw(), value2.raw()));
}

jit_value operator!=(const jit_value& value1, const jit_value& value2)
{
	return jit_value(jit_insn_ne(value_owner(value1, value2),
								 value1.raw(), value2.raw()));
}

jit_value operator<(const jit_value& value1, const jit_value& value2)
{
	return jit_value(jit_insn_lt(value_owner(value1, value2),
								 value1.raw(), value2.raw()));
}

jit_value operator<=(const jit_value& value1, const jit_value& value2)
{
	return jit_value(jit_insn_le(value_owner(value1, value2),
								 value1.raw(), value2.raw()));
}

jit_value operator>(const jit_value& value1, const jit_value& value2)
{
	return jit_value(jit_insn_gt(value_owner(value1, value2),
								 value1.raw(), value2.raw()));
}

jit_value operator>=(const jit_value& value1, const jit_value& value2)
{
	return jit_value(jit_insn_ge(value_owner(value1, value2),
								 value1.raw(), value2.raw()));
}