1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt -S -passes=instsimplify < %s | FileCheck %s 3 4define <4 x i32> @test1(<4 x i32> %A) { 5; CHECK-LABEL: @test1( 6; CHECK-NEXT: ret <4 x i32> poison 7; 8 %I = insertelement <4 x i32> %A, i32 5, i64 4294967296 9 ret <4 x i32> %I 10} 11 12define <4 x i32> @test2(<4 x i32> %A) { 13; CHECK-LABEL: @test2( 14; CHECK-NEXT: ret <4 x i32> poison 15; 16 %I = insertelement <4 x i32> %A, i32 5, i64 4 17 ret <4 x i32> %I 18} 19 20define <4 x i32> @test3(<4 x i32> %A) { 21; CHECK-LABEL: @test3( 22; CHECK-NEXT: [[I:%.*]] = insertelement <4 x i32> [[A:%.*]], i32 5, i64 1 23; CHECK-NEXT: ret <4 x i32> [[I]] 24; 25 %I = insertelement <4 x i32> %A, i32 5, i64 1 26 ret <4 x i32> %I 27} 28 29define <4 x i32> @test4(<4 x i32> %A) { 30; CHECK-LABEL: @test4( 31; CHECK-NEXT: ret <4 x i32> poison 32; 33 %I = insertelement <4 x i32> %A, i32 5, i128 100 34 ret <4 x i32> %I 35} 36 37define <4 x i32> @test5(<4 x i32> %A) { 38; CHECK-LABEL: @test5( 39; CHECK-NEXT: ret <4 x i32> poison 40; 41 %I = insertelement <4 x i32> %A, i32 5, i64 undef 42 ret <4 x i32> %I 43} 44 45define <4 x i32> @test5_poison(<4 x i32> %A) { 46; CHECK-LABEL: @test5_poison( 47; CHECK-NEXT: ret <4 x i32> poison 48; 49 %I = insertelement <4 x i32> %A, i32 5, i64 poison 50 ret <4 x i32> %I 51} 52 53define <4 x i32> @elem_poison(<4 x i32> %A) { 54; CHECK-LABEL: @elem_poison( 55; CHECK-NEXT: ret <4 x i32> [[A:%.*]] 56; 57 %B = insertelement <4 x i32> %A, i32 poison, i32 1 58 ret <4 x i32> %B 59} 60 61; The undef may be replacing a poison value, so it is not safe to just return 'A'. 62 63define <4 x i32> @PR1286(<4 x i32> %A) { 64; CHECK-LABEL: @PR1286( 65; CHECK-NEXT: [[B:%.*]] = insertelement <4 x i32> [[A:%.*]], i32 undef, i32 1 66; CHECK-NEXT: ret <4 x i32> [[B]] 67; 68 %B = insertelement <4 x i32> %A, i32 undef, i32 1 69 ret <4 x i32> %B 70} 71 72; Constant is not poison, so this can simplify. 73 74define <2 x i32> @undef_into_constant_vector_with_variable_index(<2 x i32> %A, i32 %Index) { 75; CHECK-LABEL: @undef_into_constant_vector_with_variable_index( 76; CHECK-NEXT: ret <2 x i32> <i32 42, i32 -42> 77; 78 %B = insertelement <2 x i32> <i32 42, i32 -42>, i32 undef, i32 %Index 79 ret <2 x i32> %B 80} 81 82define <8 x i8> @extract_insert_same_vec_and_index(<8 x i8> %in) { 83; CHECK-LABEL: @extract_insert_same_vec_and_index( 84; CHECK-NEXT: ret <8 x i8> [[IN:%.*]] 85; 86 %val = extractelement <8 x i8> %in, i32 5 87 %vec = insertelement <8 x i8> %in, i8 %val, i32 5 88 ret <8 x i8> %vec 89} 90 91define <8 x i8> @extract_insert_same_vec_and_index2(<8 x i8> %in, i32 %index) { 92; CHECK-LABEL: @extract_insert_same_vec_and_index2( 93; CHECK-NEXT: ret <8 x i8> [[IN:%.*]] 94; 95 %val = extractelement <8 x i8> %in, i32 %index 96 %vec = insertelement <8 x i8> %in, i8 %val, i32 %index 97 ret <8 x i8> %vec 98} 99 100; The insert is in an unreachable block, so it is allowed to point to itself. 101; This would crash via stack overflow. 102 103define void @PR43218() { 104; CHECK-LABEL: @PR43218( 105; CHECK-NEXT: end: 106; CHECK-NEXT: ret void 107; CHECK: unreachable_infloop: 108; CHECK-NEXT: [[EXTRACT:%.*]] = extractelement <2 x i64> [[BOGUS:%.*]], i32 0 109; CHECK-NEXT: [[T0:%.*]] = inttoptr i64 [[EXTRACT]] to ptr 110; CHECK-NEXT: [[BOGUS]] = insertelement <2 x i64> [[BOGUS]], i64 undef, i32 1 111; CHECK-NEXT: br label [[UNREACHABLE_INFLOOP:%.*]] 112; 113end: 114 ret void 115 116unreachable_infloop: 117 %extract = extractelement <2 x i64> %bogus, i32 0 118 %t0 = inttoptr i64 %extract to ptr 119 %bogus = insertelement <2 x i64> %bogus, i64 undef, i32 1 120 br label %unreachable_infloop 121} 122 123define <4 x i32> @insert_into_splat(i32 %index) { 124; CHECK-LABEL: @insert_into_splat( 125; CHECK-NEXT: ret <4 x i32> splat (i32 3) 126; 127 %I = insertelement <4 x i32> <i32 3, i32 3, i32 3, i32 3>, i32 3, i32 %index 128 ret <4 x i32> %I 129} 130