xref: /llvm-project/llvm/test/Transforms/GVN/constexpr-vector-constainsundef-crash.ll (revision 475f30dfc83cda05b2e80edeb7b7b057e9f8ba38)
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt -passes=gvn -S %s | FileCheck %s
3
4; Reduced test case from
5; https://bugs.chromium.org/p/oss-fuzz/issues/detail?id=24278
6
7; Make sure we do not crash when dealing with a vector constant expression.
8define <4 x ptr> @test(ptr %ptr) {
9; CHECK-LABEL: @test(
10; CHECK-NEXT:  entry:
11; CHECK-NEXT:    [[L3:%.*]] = load i64, ptr [[PTR:%.*]], align 4
12; CHECK-NEXT:    [[I6:%.*]] = insertelement <4 x ptr> getelementptr inbounds (i64, ptr null, <4 x i64> <i64 0, i64 0, i64 0, i64 -128>), ptr undef, i64 [[L3]]
13; CHECK-NEXT:    ret <4 x ptr> [[I6]]
14;
15entry:
16  %B9 = sdiv i16 -32768, 256
17  %L3 = load i64, ptr %ptr, align 4
18  %B3 = sub i16 0, %B9
19  %0 = insertelement <4 x i16> undef, i16 %B3, i32 3
20  %1 = sub <4 x i16> zeroinitializer, %0
21  %2 = sext <4 x i16> %1 to <4 x i32>
22  %3 = getelementptr inbounds i64, ptr null, <4 x i32> %2
23  %I6 = insertelement <4 x ptr> %3, ptr undef, i64 %L3
24  ret <4 x ptr> %I6
25}
26