llvm/test/Transforms/InstSimplify/pr28725.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -S -passes=instsimplify < %s | FileCheck %s
   3 %S = type { i16, i32 }
   4
   5 ; InstCombine will be able to fold this into zeroinitializer
   6 define <2 x i16> @test1() {
   7 ; CHECK-LABEL: @test1(
   8 ; CHECK-NEXT:  entry:
   9 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i16 extractelement (<2 x i16> bitcast (<1 x i32> splat (i32 1) to <2 x i16>), i32 0), 0
  10 ; CHECK-NEXT:    [[SEL:%.*]] = select i1 [[CMP]], [[S:%.*]] zeroinitializer, [[S]] { i16 0, i32 1 }
  11 ; CHECK-NEXT:    [[E:%.*]] = extractvalue [[S]] [[SEL]], 0
  12 ; CHECK-NEXT:    [[B:%.*]] = insertelement <2 x i16> <i16 undef, i16 0>, i16 [[E]], i32 0
  13 ; CHECK-NEXT:    ret <2 x i16> [[B]]
  14 ;
  15 entry:
  16   %cmp = icmp eq i16 extractelement (<2 x i16> bitcast (<1 x i32> <i32 1> to <2 x i16>), i32 0), 0
  17   %sel = select i1 %cmp, %S zeroinitializer, %S { i16 0, i32 1 }
  18   %e = extractvalue %S %sel, 0
  19   %b = insertelement <2 x i16> <i16 undef, i16 0>, i16 %e, i32 0
  20   ret <2 x i16> %b
  21 }