llvm/test/Transforms/InstCombine/pr38984-inseltpoison.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -instcombine -S | FileCheck %s
   3 target datalayout = "p:16:16"
   4
   5 @a = external global [21 x i16], align 1
   6 @offsets = external global [4 x i16], align 1
   7
   8 ; The "same gep" optimization should work with vector icmp.
   9 define <4 x i1> @PR38984_1() {
  10 ; CHECK-LABEL: @PR38984_1(
  11 ; CHECK-NEXT:  entry:
  12 ; CHECK-NEXT:    ret <4 x i1> <i1 true, i1 true, i1 true, i1 true>
  13 ;
  14 entry:
  15   %0 = load i16, i16* getelementptr ([4 x i16], [4 x i16]* @offsets, i16 0, i16 undef), align 1
  16   %1 = insertelement <4 x i16> poison, i16 %0, i32 3
  17   %2 = getelementptr i32, i32* null, <4 x i16> %1
  18   %3 = getelementptr i32, i32* null, <4 x i16> %1
  19   %4 = icmp eq <4 x i32*> %2, %3
  20   ret <4 x i1> %4
  21 }
  22
  23 ; The "compare base pointers" optimization should not kick in for vector icmp.
  24 define <4 x i1> @PR38984_2() {
  25 ; CHECK-LABEL: @PR38984_2(
  26 ; CHECK-NEXT:  entry:
  27 ; CHECK-NEXT:    [[TMP0:%.*]] = load i16, i16* getelementptr ([4 x i16], [4 x i16]* @offsets, i16 0, i16 undef), align 2
  28 ; CHECK-NEXT:    [[TMP1:%.*]] = insertelement <4 x i16> poison, i16 [[TMP0]], i32 3
  29 ; CHECK-NEXT:    [[TMP2:%.*]] = getelementptr i16, i16* getelementptr inbounds ([21 x i16], [21 x i16]* @a, i16 1, i16 0), <4 x i16> [[TMP1]]
  30 ; CHECK-NEXT:    [[TMP3:%.*]] = getelementptr i16, i16* null, <4 x i16> [[TMP1]]
  31 ; CHECK-NEXT:    [[TMP4:%.*]] = icmp eq <4 x i16*> [[TMP2]], [[TMP3]]
  32 ; CHECK-NEXT:    ret <4 x i1> [[TMP4]]
  33 ;
  34 entry:
  35   %0 = load i16, i16* getelementptr ([4 x i16], [4 x i16]* @offsets, i16 0, i16 undef)
  36   %1 = insertelement <4 x i16> poison, i16 %0, i32 3
  37   %2 = getelementptr i16, i16* getelementptr ([21 x i16], [21 x i16]* @a, i64 1, i32 0), <4 x i16> %1
  38   %3 = getelementptr i16, i16* null, <4 x i16> %1
  39   %4 = icmp eq <4 x i16*> %2, %3
  40   ret <4 x i1> %4
  41 }