Skip to content

Commit e5ce7a9

Browse files
committed
Fix simd_select_bitmask
1 parent 04fd2d3 commit e5ce7a9

File tree

2 files changed

+12
-5
lines changed

2 files changed

+12
-5
lines changed

src/builder.rs

Lines changed: 5 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1597,7 +1597,6 @@ impl<'a, 'gcc, 'tcx> Builder<'a, 'gcc, 'tcx> {
15971597
unimplemented!();
15981598
}
15991599

1600-
16011600
pub fn vector_select(&mut self, cond: RValue<'gcc>, then_val: RValue<'gcc>, else_val: RValue<'gcc>) -> RValue<'gcc> {
16021601
// cond is a vector of integers, not of bools.
16031602
let cond_type = cond.get_type();
@@ -1607,10 +1606,12 @@ impl<'a, 'gcc, 'tcx> Builder<'a, 'gcc, 'tcx> {
16071606
let zeros = vec![self.context.new_rvalue_zero(element_type); num_units];
16081607
let zeros = self.context.new_rvalue_from_vector(None, cond_type, &zeros);
16091608

1609+
let result_type = then_val.get_type();
1610+
16101611
let masks = self.context.new_comparison(None, ComparisonOp::NotEquals, cond, zeros);
16111612
// NOTE: masks is a vector of integers, but the values can be vectors of floats, so use bitcast to make
16121613
// the & operation work.
1613-
let masks = self.bitcast_if_needed(masks, then_val.get_type());
1614+
let then_val = self.bitcast_if_needed(then_val, masks.get_type());
16141615
let then_vals = masks & then_val;
16151616

16161617
let minus_ones = vec![self.context.new_rvalue_from_int(element_type, -1); num_units];
@@ -1623,7 +1624,8 @@ impl<'a, 'gcc, 'tcx> Builder<'a, 'gcc, 'tcx> {
16231624
let else_val = self.context.new_bitcast(None, else_val, then_val.get_type());
16241625
let else_vals = inverted_masks & else_val;
16251626

1626-
then_vals | else_vals
1627+
let res = then_vals | else_vals;
1628+
self.bitcast_if_needed(res, result_type)
16271629
}
16281630
}
16291631

src/intrinsic/simd.rs

Lines changed: 7 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -93,14 +93,19 @@ pub fn generic_simd_intrinsic<'a, 'gcc, 'tcx>(bx: &mut Builder<'a, 'gcc, 'tcx>,
9393
let arg1_vector_type = arg1_type.unqualified().dyncast_vector().expect("vector type");
9494
let arg1_element_type = arg1_vector_type.get_element_type();
9595

96+
// NOTE: since the arguments can be vectors of floats, make sure the mask is a vector of
97+
// integer.
98+
let mask_element_type = bx.type_ix(arg1_element_type.get_size() as u64 * 8);
99+
let vector_mask_type = bx.context.new_vector_type(mask_element_type, arg1_vector_type.get_num_units() as u64);
100+
96101
let mut elements = vec![];
97102
let one = bx.context.new_rvalue_one(mask.get_type());
98103
for _ in 0..len {
99-
let element = bx.context.new_cast(None, mask & one, arg1_element_type);
104+
let element = bx.context.new_cast(None, mask & one, mask_element_type);
100105
elements.push(element);
101106
mask = mask >> one;
102107
}
103-
let vector_mask = bx.context.new_rvalue_from_vector(None, arg1_type, &elements);
108+
let vector_mask = bx.context.new_rvalue_from_vector(None, vector_mask_type, &elements);
104109

105110
return Ok(bx.vector_select(vector_mask, arg1, args[2].immediate()));
106111
}

0 commit comments

Comments
 (0)