1 ; RUN: opt < %s -instcombine -S | FileCheck %s 2 3 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" 4 target triple = "x86_64-unknown-linux-gnu" 5 6 define <2 x i8*> @testa(<2 x i8*> %a) { 7 ; CHECK-LABEL: @testa( 8 %g = getelementptr i8, <2 x i8*> %a, <2 x i32> <i32 0, i32 1> 9 ; CHECK: getelementptr i8, <2 x i8*> %a, <2 x i64> <i64 0, i64 1> 10 ret <2 x i8*> %g 11 } 12 13 define <8 x double*> @vgep_s_v8i64(double* %a, <8 x i64>%i) { 14 ; CHECK-LABEL: @vgep_s_v8i64 15 ; CHECK: getelementptr double, double* %a, <8 x i64> %i 16 %VectorGep = getelementptr double, double* %a, <8 x i64> %i 17 ret <8 x double*> %VectorGep 18 } 19 20 define <8 x double*> @vgep_s_v8i32(double* %a, <8 x i32>%i) { 21 ; CHECK-LABEL: @vgep_s_v8i32 22 ; CHECK: %1 = sext <8 x i32> %i to <8 x i64> 23 ; CHECK: getelementptr double, double* %a, <8 x i64> %1 24 %VectorGep = getelementptr double, double* %a, <8 x i32> %i 25 ret <8 x double*> %VectorGep 26 } 27 28 define <8 x i8*> @vgep_v8iPtr_i32(<8 x i8*> %a, i32 %i) { 29 ; CHECK-LABEL: @vgep_v8iPtr_i32 30 ; CHECK: %1 = sext i32 %i to i64 31 ; CHECK: %VectorGep = getelementptr i8, <8 x i8*> %a, i64 %1 32 %VectorGep = getelementptr i8, <8 x i8*> %a, i32 %i 33 ret <8 x i8*> %VectorGep 34 } 35
