test/Transforms/InstCombine/vector_gep2.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -instcombine -S | FileCheck %s
   3
   4 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
   5 target triple = "x86_64-unknown-linux-gnu"
   6
   7 define <2 x i8*> @testa(<2 x i8*> %a) {
   8 ; CHECK-LABEL: @testa(
   9 ; CHECK-NEXT:    [[G:%.*]] = getelementptr i8, <2 x i8*> [[A:%.*]], <2 x i64> <i64 0, i64 1>
  10 ; CHECK-NEXT:    ret <2 x i8*> [[G]]
  11 ;
  12   %g = getelementptr i8, <2 x i8*> %a, <2 x i32> <i32 0, i32 1>
  13   ret <2 x i8*> %g
  14 }
  15
  16 define <8 x double*> @vgep_s_v8i64(double* %a, <8 x i64>%i) {
  17 ; CHECK-LABEL: @vgep_s_v8i64(
  18 ; CHECK-NEXT:    [[VECTORGEP:%.*]] = getelementptr double, double* [[A:%.*]], <8 x i64> [[I:%.*]]
  19 ; CHECK-NEXT:    ret <8 x double*> [[VECTORGEP]]
  20 ;
  21   %VectorGep = getelementptr double, double* %a, <8 x i64> %i
  22   ret <8 x double*> %VectorGep
  23 }
  24
  25 define <8 x double*> @vgep_s_v8i32(double* %a, <8 x i32>%i) {
  26 ; CHECK-LABEL: @vgep_s_v8i32(
  27 ; CHECK-NEXT:    [[TMP1:%.*]] = sext <8 x i32> [[I:%.*]] to <8 x i64>
  28 ; CHECK-NEXT:    [[VECTORGEP:%.*]] = getelementptr double, double* [[A:%.*]], <8 x i64> [[TMP1]]
  29 ; CHECK-NEXT:    ret <8 x double*> [[VECTORGEP]]
  30 ;
  31   %VectorGep = getelementptr double, double* %a, <8 x i32> %i
  32   ret <8 x double*> %VectorGep
  33 }
  34
  35 define <8 x i8*> @vgep_v8iPtr_i32(<8 x i8*> %a, i32 %i) {
  36 ; CHECK-LABEL: @vgep_v8iPtr_i32(
  37 ; CHECK-NEXT:    [[TMP1:%.*]] = sext i32 [[I:%.*]] to i64
  38 ; CHECK-NEXT:    [[VECTORGEP:%.*]] = getelementptr i8, <8 x i8*> [[A:%.*]], i64 [[TMP1]]
  39 ; CHECK-NEXT:    ret <8 x i8*> [[VECTORGEP]]
  40 ;
  41   %VectorGep = getelementptr i8, <8 x i8*> %a, i32 %i
  42   ret <8 x i8*> %VectorGep
  43 }
  44