test/Transforms/InstSimplify/insertelement.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -S -instsimplify < %s | FileCheck %s
   3
   4 define <4 x i32> @test1(<4 x i32> %A) {
   5 ; CHECK-LABEL: @test1(
   6 ; CHECK-NEXT:    ret <4 x i32> undef
   7 ;
   8   %I = insertelement <4 x i32> %A, i32 5, i64 4294967296
   9   ret <4 x i32> %I
  10 }
  11
  12 define <4 x i32> @test2(<4 x i32> %A) {
  13 ; CHECK-LABEL: @test2(
  14 ; CHECK-NEXT:    ret <4 x i32> undef
  15 ;
  16   %I = insertelement <4 x i32> %A, i32 5, i64 4
  17   ret <4 x i32> %I
  18 }
  19
  20 define <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
  29 define <4 x i32> @test4(<4 x i32> %A) {
  30 ; CHECK-LABEL: @test4(
  31 ; CHECK-NEXT:    ret <4 x i32> undef
  32 ;
  33   %I = insertelement <4 x i32> %A, i32 5, i128 100
  34   ret <4 x i32> %I
  35 }
  36
  37 define <4 x i32> @test5(<4 x i32> %A) {
  38 ; CHECK-LABEL: @test5(
  39 ; CHECK-NEXT:    ret <4 x i32> undef
  40 ;
  41   %I = insertelement <4 x i32> %A, i32 5, i64 undef
  42   ret <4 x i32> %I
  43 }
  44
  45 define <4 x i32> @PR1286(<4 x i32> %A) {
  46 ; CHECK-LABEL: @PR1286(
  47 ; CHECK-NEXT:    ret <4 x i32> [[A:%.*]]
  48 ;
  49   %B = insertelement <4 x i32> %A, i32 undef, i32 1
  50   ret <4 x i32> %B
  51 }
  52
  53 define <8 x i8> @extract_insert_same_vec_and_index(<8 x i8> %in) {
  54 ; CHECK-LABEL: @extract_insert_same_vec_and_index(
  55 ; CHECK-NEXT:    ret <8 x i8> [[IN:%.*]]
  56 ;
  57   %val = extractelement <8 x i8> %in, i32 5
  58   %vec = insertelement <8 x i8> %in, i8 %val, i32 5
  59   ret <8 x i8> %vec
  60 }
  61
  62 define <8 x i8> @extract_insert_same_vec_and_index2(<8 x i8> %in, i32 %index) {
  63 ; CHECK-LABEL: @extract_insert_same_vec_and_index2(
  64 ; CHECK-NEXT:    ret <8 x i8> [[IN:%.*]]
  65 ;
  66   %val = extractelement <8 x i8> %in, i32 %index
  67   %vec = insertelement <8 x i8> %in, i8 %val, i32 %index
  68   ret <8 x i8> %vec
  69 }
  70
  71 ; The insert is in an unreachable block, so it is allowed to point to itself.
  72 ; This would crash via stack overflow.
  73
  74 define void @PR43218() {
  75 ; CHECK-LABEL: @PR43218(
  76 ; CHECK-NEXT:  end:
  77 ; CHECK-NEXT:    ret void
  78 ; CHECK:       unreachable_infloop:
  79 ; CHECK-NEXT:    [[EXTRACT:%.*]] = extractelement <2 x i64> [[BOGUS:%.*]], i32 0
  80 ; CHECK-NEXT:    [[T0:%.*]] = inttoptr i64 [[EXTRACT]] to i16****
  81 ; CHECK-NEXT:    [[BOGUS]] = insertelement <2 x i64> [[BOGUS]], i64 undef, i32 1
  82 ; CHECK-NEXT:    br label [[UNREACHABLE_INFLOOP:%.*]]
  83 ;
  84 end:
  85   ret void
  86
  87 unreachable_infloop:
  88   %extract = extractelement <2 x i64> %bogus, i32 0
  89   %t0 = inttoptr i64 %extract to i16****
  90   %bogus = insertelement <2 x i64> %bogus, i64 undef, i32 1
  91   br label %unreachable_infloop
  92 }