| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py |
| ; RUN: opt -passes=gvn -S %s | FileCheck %s |
| |
| ; Reduced test case from |
| ; https://bugs.chromium.org/p/oss-fuzz/issues/detail?id=24278 |
| |
| ; Make sure we do not crash when dealing with a vector constant expression. |
| define <4 x ptr> @test(ptr %ptr) { |
| ; CHECK-LABEL: @test( |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: [[L3:%.*]] = load i64, ptr [[PTR:%.*]], align 4 |
| ; 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]] |
| ; CHECK-NEXT: ret <4 x ptr> [[I6]] |
| ; |
| entry: |
| %B9 = sdiv i16 -32768, 256 |
| %L3 = load i64, ptr %ptr, align 4 |
| %B3 = sub i16 0, %B9 |
| %0 = insertelement <4 x i16> undef, i16 %B3, i32 3 |
| %1 = sub <4 x i16> zeroinitializer, %0 |
| %2 = sext <4 x i16> %1 to <4 x i32> |
| %3 = getelementptr inbounds i64, ptr null, <4 x i32> %2 |
| %I6 = insertelement <4 x ptr> %3, ptr undef, i64 %L3 |
| ret <4 x ptr> %I6 |
| } |