Files
llvm-project/clang/test/CodeGen/ext-vector-bool-read.cpp
Kartik Ohlan 2379e91c2d [Clang] Fix assertion failure when storing to ext_vector_type bool elements (#189305)
#189260 

Fix assertion failure in boolean vector indexing by truncating to i1.
2026-04-09 14:57:04 -05:00

39 lines
1.5 KiB
C++

// NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py UTC_ARGS: --version 6
// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -emit-llvm -o - %s | FileCheck %s --check-prefix=CHECK
// Regression test for GH#189260: Clang crashed with an assertion failure
// in InsertElementInst when storing to an element of an ext_vector_type
// with bool element type.
typedef __attribute__((ext_vector_type(32))) bool v32bool;
v32bool v32b = {};
// CHECK-LABEL: define dso_local void @_Z5test1v(
// CHECK-SAME: ) #[[ATTR0:[0-9]+]] {
// CHECK-NEXT: [[ENTRY:.*:]]
// CHECK-NEXT: [[TMP0:%.*]] = load i32, ptr @v32b, align 4
// CHECK-NEXT: [[TMP1:%.*]] = bitcast i32 [[TMP0]] to <32 x i1>
// CHECK-NEXT: [[VECINS:%.*]] = insertelement <32 x i1> [[TMP1]], i1 true, i32 0
// CHECK-NEXT: [[TMP2:%.*]] = bitcast <32 x i1> [[VECINS]] to i32
// CHECK-NEXT: store i32 [[TMP2]], ptr @v32b, align 4
// CHECK-NEXT: ret void
//
void test1() {
v32b[0] = true;
}
// CHECK-LABEL: define dso_local void @_Z5test2v(
// CHECK-SAME: ) #[[ATTR0]] {
// CHECK-NEXT: [[ENTRY:.*:]]
// CHECK-NEXT: [[TMP0:%.*]] = load i32, ptr @v32b, align 4
// CHECK-NEXT: [[TMP1:%.*]] = bitcast i32 [[TMP0]] to <32 x i1>
// CHECK-NEXT: [[VECINS:%.*]] = insertelement <32 x i1> [[TMP1]], i1 true, i32 31
// CHECK-NEXT: [[TMP2:%.*]] = bitcast <32 x i1> [[VECINS]] to i32
// CHECK-NEXT: store i32 [[TMP2]], ptr @v32b, align 4
// CHECK-NEXT: ret void
//
void test2() {
v32b[31] = true;
}