prop

const (
	IntEqz       = 0
	IntClz       = 1
	IntCtz       = 2
	IntPopcnt    = 3
	FloatAbs     = 4
	FloatNeg     = 5
	FloatRoundOp = 6
	FloatSqrt    = 7

	FloatCeil    = FloatRoundOp | (roundModeCeil << 8)
	FloatFloor   = FloatRoundOp | (roundModeFloor << 8)
	FloatTrunc   = FloatRoundOp | (roundModeTrunc << 8)
	FloatNearest = FloatRoundOp | (roundModeNearest << 8)
)

const (
	BinaryFloat         = 1 << 10
	BinaryCompare       = 1 << 11 // int or float
	BinaryIntShift      = 1 << 12
	BinaryIntDivmul     = 1 << 13
	BinaryFloatMinmax   = 1 << 12
	BinaryFloatCopysign = 1 << 13
)

const (
	DivmulSign = 1 << 0
	DivmulRem  = 1 << 1
	DivmulMul  = 1 << 2
)

const (
	IndexIntAdd = iota
	IndexIntSub
	IndexIntAnd
	IndexIntOr
	IndexIntXor
)

const (
	IndexShiftShl = iota
	IndexShiftShrU
	IndexShiftShrS
	IndexShiftRotr
	IndexShiftRotl
)

const (
	IndexDivmulDivU = 0
	IndexDivmulDivS = DivmulSign
	IndexDivmulRemU = DivmulRem
	IndexDivmulRemS = DivmulRem | DivmulSign
	IndexDivmulMul  = DivmulMul
)

const (
	IndexFloatAdd = iota
	IndexFloatSub
	IndexFloatMul
	IndexFloatDiv
)

const (
	IndexMinmaxMin = iota
	IndexMinmaxMax
)

const (
	IntEq         = BinaryCompare | val.Eq
	IntNe         = BinaryCompare | val.Ne
	IntLtS        = BinaryCompare | val.LtS
	IntLtU        = BinaryCompare | val.LtU
	IntGtS        = BinaryCompare | val.GtS
	IntGtU        = BinaryCompare | val.GtU
	IntLeS        = BinaryCompare | val.LeS
	IntLeU        = BinaryCompare | val.LeU
	IntGeS        = BinaryCompare | val.GeS
	IntGeU        = BinaryCompare | val.GeU
	FloatEq       = BinaryFloat | BinaryCompare | val.OrderedAndEq
	FloatNe       = BinaryFloat | BinaryCompare | val.UnorderedOrNe
	FloatLt       = BinaryFloat | BinaryCompare | val.OrderedAndLt
	FloatGt       = BinaryFloat | BinaryCompare | val.OrderedAndGt
	FloatLe       = BinaryFloat | BinaryCompare | val.OrderedAndLe
	FloatGe       = BinaryFloat | BinaryCompare | val.OrderedAndGe
	IntAdd        = IndexIntAdd
	IntSub        = IndexIntSub
	IntMul        = BinaryIntDivmul | IndexDivmulMul
	IntDivS       = BinaryIntDivmul | IndexDivmulDivS
	IntDivU       = BinaryIntDivmul | IndexDivmulDivU
	IntRemS       = BinaryIntDivmul | IndexDivmulRemS
	IntRemU       = BinaryIntDivmul | IndexDivmulRemU
	IntAnd        = IndexIntAnd
	IntOr         = IndexIntOr
	IntXor        = IndexIntXor
	IntShl        = BinaryIntShift | IndexShiftShl
	IntShrS       = BinaryIntShift | IndexShiftShrS
	IntShrU       = BinaryIntShift | IndexShiftShrU
	IntRotl       = BinaryIntShift | IndexShiftRotl
	IntRotr       = BinaryIntShift | IndexShiftRotr
	FloatAdd      = BinaryFloat | IndexFloatAdd
	FloatSub      = BinaryFloat | IndexFloatSub
	FloatMul      = BinaryFloat | IndexFloatMul
	FloatDiv      = BinaryFloat | IndexFloatDiv
	FloatMin      = BinaryFloat | BinaryFloatMinmax | IndexMinmaxMin
	FloatMax      = BinaryFloat | BinaryFloatMinmax | IndexMinmaxMax
	FloatCopysign = BinaryFloat | BinaryFloatCopysign
)

const (
	IndexIntLoad = iota
	IndexIntLoad8S
	IndexIntLoad8U
	IndexIntLoad16S
	IndexIntLoad16U
	IndexIntLoad32S
	IndexIntLoad32U
	IndexFloatLoad
)

const (
	I32Load    = (4 << 8) | IndexIntLoad    // fixed type
	I64Load    = (8 << 8) | IndexIntLoad    // fixed type
	IntLoad8S  = (1 << 8) | IndexIntLoad8S  // type-parametric
	IntLoad8U  = (1 << 8) | IndexIntLoad8U  // type-parametric
	IntLoad16S = (2 << 8) | IndexIntLoad16S // type-parametric
	IntLoad16U = (2 << 8) | IndexIntLoad16U // type-parametric
	IntLoad32S = (4 << 8) | IndexIntLoad32S // type-parametric
	IntLoad32U = (4 << 8) | IndexIntLoad32U // type-parametric
	F32Load    = (4 << 8) | IndexFloatLoad  // fixed type
	F64Load    = (8 << 8) | IndexFloatLoad  // fixed type
)

const (
	IndexIntStore = iota
	IndexIntStore8
	IndexIntStore16
	IndexIntStore32
	IndexFloatStore
)

const (
	I32Store   = (4 << 8) | IndexIntStore   // fixed type
	I64Store   = (8 << 8) | IndexIntStore   // fixed type
	IntStore8  = (1 << 8) | IndexIntStore8  // type-parametric
	IntStore16 = (2 << 8) | IndexIntStore16 // type-parametric
	IntStore32 = (4 << 8) | IndexIntStore32 // type-parametric
	F32Store   = (4 << 8) | IndexFloatStore // fixed type
	F64Store   = (8 << 8) | IndexFloatStore // fixed type
)

const (
	Wrap = iota
	ExtendS
	ExtendU
	Mote
	TruncS
	TruncU
	ConvertS
	ConvertU
	Reinterpret
)

const (
	Demote  = Mote
	Promote = Mote
)