diff options
Diffstat (limited to 'llvm/test')
5 files changed, 5 insertions, 48 deletions
diff --git a/llvm/test/Transforms/InstCombine/out-of-bounds-indexes.ll b/llvm/test/Transforms/InstCombine/out-of-bounds-indexes.ll index 02be57a4d15..a1887d27550 100644 --- a/llvm/test/Transforms/InstCombine/out-of-bounds-indexes.ll +++ b/llvm/test/Transforms/InstCombine/out-of-bounds-indexes.ll @@ -31,11 +31,3 @@ define i128 @test_non64bit(i128 %a) { } declare void @llvm.assume(i1) - -define <4 x double> @inselt_bad_index(<4 x double> %a) { -; CHECK-LABEL: @inselt_bad_index( -; CHECK-NEXT: ret <4 x double> undef -; - %I = insertelement <4 x double> %a, double 0.0, i64 4294967296 - ret <4 x double> %I -} diff --git a/llvm/test/Transforms/InstCombine/pr28725.ll b/llvm/test/Transforms/InstCombine/pr28725.ll deleted file mode 100644 index ff9440d605a..00000000000 --- a/llvm/test/Transforms/InstCombine/pr28725.ll +++ /dev/null @@ -1,11 +0,0 @@ -; RUN: opt -S -instcombine < %s | FileCheck %s -%S = type { i16, i32 } - -define <2 x i16> @test1() { -entry: - %b = insertelement <2 x i16> <i16 undef, i16 0>, i16 extractvalue (%S select (i1 icmp eq (i16 extractelement (<2 x i16> bitcast (<1 x i32> <i32 1> to <2 x i16>), i32 0), i16 0), %S zeroinitializer, %S { i16 0, i32 1 }), 0), i32 0 - ret <2 x i16> %b -} - -; CHECK-LABEL: @test1( -; CHECK: ret <2 x i16> zeroinitializer diff --git a/llvm/test/Transforms/InstCombine/vector_insertelt_shuffle.ll b/llvm/test/Transforms/InstCombine/vector_insertelt_shuffle.ll index 41c6370e48e..c358509d690 100644 --- a/llvm/test/Transforms/InstCombine/vector_insertelt_shuffle.ll +++ b/llvm/test/Transforms/InstCombine/vector_insertelt_shuffle.ll @@ -54,10 +54,10 @@ define <4 x float> @bazz(<4 x float> %x, i32 %a) { ret <4 x float> %ins6 } -; Out of bounds index folds to undef define <4 x float> @bazzz(<4 x float> %x) { ; CHECK-LABEL: @bazzz( -; CHECK-NEXT: ret <4 x float> <float undef, float undef, float 2.000000e+00, float undef> +; CHECK-NEXT: [[INS2:%.*]] = insertelement <4 x float> %x, float 2.000000e+00, i32 2 +; CHECK-NEXT: ret <4 x float> [[INS2]] ; %ins1 = insertelement<4 x float> %x, float 1.0, i32 5 %ins2 = insertelement<4 x float> %ins1, float 2.0, i32 2 diff --git a/llvm/test/Transforms/InstSimplify/insertelement.ll b/llvm/test/Transforms/InstSimplify/insertelement.ll deleted file mode 100644 index 3acd921cbad..00000000000 --- a/llvm/test/Transforms/InstSimplify/insertelement.ll +++ /dev/null @@ -1,25 +0,0 @@ -; RUN: opt -S -instsimplify < %s | FileCheck %s - -define <4 x i32> @test1(<4 x i32> %A) { - %I = insertelement <4 x i32> %A, i32 5, i64 4294967296 - ; CHECK: ret <4 x i32> undef - ret <4 x i32> %I -} - -define <4 x i32> @test2(<4 x i32> %A) { - %I = insertelement <4 x i32> %A, i32 5, i64 4 - ; CHECK: ret <4 x i32> undef - ret <4 x i32> %I -} - -define <4 x i32> @test3(<4 x i32> %A) { - %I = insertelement <4 x i32> %A, i32 5, i64 1 - ; CHECK: ret <4 x i32> %I - ret <4 x i32> %I -} - -define <4 x i32> @test4(<4 x i32> %A) { - %I = insertelement <4 x i32> %A, i32 5, i128 100 - ; CHECK: ret <4 x i32> undef - ret <4 x i32> %I -} diff --git a/llvm/test/Transforms/InstSimplify/pr28725.ll b/llvm/test/Transforms/InstSimplify/pr28725.ll index 7ff0b90c65d..b85fc10b6c8 100644 --- a/llvm/test/Transforms/InstSimplify/pr28725.ll +++ b/llvm/test/Transforms/InstSimplify/pr28725.ll @@ -1,4 +1,6 @@ ; RUN: opt -S -instsimplify < %s | FileCheck %s +target datalayout = "e-m:w-i64:64-f80:128-n8:16:32:64-S128" +target triple = "x86_64-pc-windows-msvc" %S = type { i16, i32 } define <2 x i16> @test1() { @@ -7,6 +9,5 @@ entry: ret <2 x i16> %b } -; InstCombine will be able to fold this into zeroinitializer ; CHECK-LABEL: @test1( -; CHECK: ret <2 x i16> <i16 extractvalue (%S select (i1 icmp eq (i16 extractelement (<2 x i16> bitcast (<1 x i32> <i32 1> to <2 x i16>), i32 0), i16 0), %S zeroinitializer, %S { i16 0, i32 1 }), 0), i16 0> +; CHECK: ret <2 x i16> zeroinitializer |
