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 }