1 ; RUN: opt -S -instsimplify < %s | FileCheck %s
3 target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
5 declare void @helper(<2 x i8*>)
6 define void @test(<2 x i8*> %a) {
7 %A = getelementptr i8, <2 x i8*> %a, <2 x i32> <i32 0, i32 0>
8 call void @helper(<2 x i8*> %A)
12 define <4 x i8*> @test1(<4 x i8*> %a) {
13 %gep = getelementptr i8, <4 x i8*> %a, <4 x i32> zeroinitializer
17 ; CHECK-NEXT: ret <4 x i8*> %a
20 define <4 x i8*> @test2(<4 x i8*> %a) {
21 %gep = getelementptr i8, <4 x i8*> %a
25 ; CHECK-NEXT: ret <4 x i8*> %a
28 %struct = type { double, float }
30 define <4 x float*> @test3() {
31 %gep = getelementptr %struct, <4 x %struct*> undef, <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32> <i32 1, i32 1, i32 1, i32 1>
35 ; CHECK-NEXT: ret <4 x float*> undef
38 %struct.empty = type { }
40 define <4 x %struct.empty*> @test4(<4 x %struct.empty*> %a) {
41 %gep = getelementptr %struct.empty, <4 x %struct.empty*> %a, <4 x i32> <i32 1, i32 1, i32 1, i32 1>
42 ret <4 x %struct.empty*> %gep
45 ; CHECK-NEXT: ret <4 x %struct.empty*> %a
48 define <4 x i8*> @test5() {
49 %c = inttoptr <4 x i64> <i64 1, i64 2, i64 3, i64 4> to <4 x i8*>
50 %gep = getelementptr i8, <4 x i8*> %c, <4 x i32> <i32 1, i32 1, i32 1, i32 1>
54 ; CHECK-NEXT: ret <4 x i8*> getelementptr (i8, <4 x i8*> <i8* inttoptr (i64 1 to i8*), i8* inttoptr (i64 2 to i8*), i8* inttoptr (i64 3 to i8*), i8* inttoptr (i64 4 to i8*)>, <4 x i32> <i32 1, i32 1, i32 1, i32 1>)