Restrict fcvt_to_uint and fcvt_to_sint to produce scalar integers (#5956)

* Restrict fcvt_to_uint and fcvt_to_sint to produce scalar integers

* Review feedback
This commit is contained in:
Trevor Elliott
2023-03-07 21:00:15 -08:00
committed by GitHub
parent 07518dfd36
commit 7d482345fb

View File

@@ -3245,15 +3245,6 @@ pub(crate) fn define(
);
}
let IntTo = &TypeVar::new(
"IntTo",
"A larger integer type with the same number of lanes",
TypeSetBuilder::new()
.ints(Interval::All)
.simd_lanes(Interval::All)
.build(),
);
let FloatTo = &TypeVar::new(
"FloatTo",
"A scalar or vector floating point number",
@@ -3376,6 +3367,11 @@ pub(crate) fn define(
"A scalar only floating point number",
TypeSetBuilder::new().floats(Interval::All).build(),
);
let IntTo = &TypeVar::new(
"IntTo",
"An scalar only integer type",
TypeSetBuilder::new().ints(Interval::All).build(),
);
let x = &Operand::new("x", FloatScalar);
let a = &Operand::new("a", IntTo);
@@ -3417,6 +3413,15 @@ pub(crate) fn define(
.side_effects_idempotent(),
);
let IntTo = &TypeVar::new(
"IntTo",
"A larger integer type with the same number of lanes",
TypeSetBuilder::new()
.ints(Interval::All)
.simd_lanes(Interval::All)
.build(),
);
let x = &Operand::new("x", Float);
let a = &Operand::new("a", IntTo);