blob: ec93ce0761cc283b6f948e4e5435361d505398c6 [file] [log] [blame]
Nadav Rotem3924cb02011-12-05 06:29:09 +00001; RUN: llc < %s -march=x86 -mcpu=corei7-avx | FileCheck %s
Dmitri Gribenko56bf2e12012-12-30 02:33:22 +00002; RUN: opt -instsimplify -disable-output < %s
Nadav Rotem3924cb02011-12-05 06:29:09 +00003
Nadav Rotem875e4632012-02-28 11:54:05 +00004;CHECK: AGEP0:
Nadav Rotem3924cb02011-12-05 06:29:09 +00005define <4 x i32*> @AGEP0(i32* %ptr) nounwind {
6entry:
7 %vecinit.i = insertelement <4 x i32*> undef, i32* %ptr, i32 0
8 %vecinit2.i = insertelement <4 x i32*> %vecinit.i, i32* %ptr, i32 1
9 %vecinit4.i = insertelement <4 x i32*> %vecinit2.i, i32* %ptr, i32 2
10 %vecinit6.i = insertelement <4 x i32*> %vecinit4.i, i32* %ptr, i32 3
Nadav Rotem3924cb02011-12-05 06:29:09 +000011;CHECK: padd
12 %A2 = getelementptr <4 x i32*> %vecinit6.i, <4 x i32> <i32 1, i32 2, i32 3, i32 4>
Nadav Rotem3924cb02011-12-05 06:29:09 +000013;CHECK: padd
14 %A3 = getelementptr <4 x i32*> %A2, <4 x i32> <i32 10, i32 14, i32 19, i32 233>
15 ret <4 x i32*> %A3
16;CHECK: ret
17}
18
Nadav Rotem875e4632012-02-28 11:54:05 +000019;CHECK: AGEP1:
Nadav Rotem3924cb02011-12-05 06:29:09 +000020define i32 @AGEP1(<4 x i32*> %param) nounwind {
21entry:
Nadav Rotem3924cb02011-12-05 06:29:09 +000022;CHECK: padd
23 %A2 = getelementptr <4 x i32*> %param, <4 x i32> <i32 1, i32 2, i32 3, i32 4>
24 %k = extractelement <4 x i32*> %A2, i32 3
25 %v = load i32* %k
26 ret i32 %v
27;CHECK: ret
28}
29
Nadav Rotem875e4632012-02-28 11:54:05 +000030;CHECK: AGEP2:
Nadav Rotem3924cb02011-12-05 06:29:09 +000031define i32 @AGEP2(<4 x i32*> %param, <4 x i32> %off) nounwind {
32entry:
Nadav Rotem875e4632012-02-28 11:54:05 +000033;CHECK: pslld $2
Nadav Rotem3924cb02011-12-05 06:29:09 +000034;CHECK: padd
35 %A2 = getelementptr <4 x i32*> %param, <4 x i32> %off
36 %k = extractelement <4 x i32*> %A2, i32 3
37 %v = load i32* %k
38 ret i32 %v
39;CHECK: ret
40}
41
Nadav Rotem875e4632012-02-28 11:54:05 +000042;CHECK: AGEP3:
Nadav Rotem3924cb02011-12-05 06:29:09 +000043define <4 x i32*> @AGEP3(<4 x i32*> %param, <4 x i32> %off) nounwind {
44entry:
Nadav Rotem875e4632012-02-28 11:54:05 +000045;CHECK: pslld $2
Nadav Rotem3924cb02011-12-05 06:29:09 +000046;CHECK: padd
47 %A2 = getelementptr <4 x i32*> %param, <4 x i32> %off
48 %v = alloca i32
49 %k = insertelement <4 x i32*> %A2, i32* %v, i32 3
50 ret <4 x i32*> %k
51;CHECK: ret
52}
53
Nadav Rotem875e4632012-02-28 11:54:05 +000054;CHECK: AGEP4:
55define <4 x i16*> @AGEP4(<4 x i16*> %param, <4 x i32> %off) nounwind {
Nadav Rotem3924cb02011-12-05 06:29:09 +000056entry:
Nadav Rotem875e4632012-02-28 11:54:05 +000057; Multiply offset by two (add it to itself).
Nadav Rotem3924cb02011-12-05 06:29:09 +000058;CHECK: padd
Nadav Rotem875e4632012-02-28 11:54:05 +000059; add the base to the offset
60;CHECK: padd
61 %A = getelementptr <4 x i16*> %param, <4 x i32> %off
62 ret <4 x i16*> %A
Nadav Rotem3924cb02011-12-05 06:29:09 +000063;CHECK: ret
64}
65
Nadav Rotem875e4632012-02-28 11:54:05 +000066;CHECK: AGEP5:
Nadav Rotem3924cb02011-12-05 06:29:09 +000067define <4 x i8*> @AGEP5(<4 x i8*> %param, <4 x i8> %off) nounwind {
68entry:
Nadav Rotem875e4632012-02-28 11:54:05 +000069;CHECK: paddd
Nadav Rotem3924cb02011-12-05 06:29:09 +000070 %A = getelementptr <4 x i8*> %param, <4 x i8> %off
71 ret <4 x i8*> %A
72;CHECK: ret
73}
74
75
Nadav Rotem875e4632012-02-28 11:54:05 +000076; The size of each element is 1 byte. No need to multiply by element size.
77;CHECK: AGEP6:
78define <4 x i8*> @AGEP6(<4 x i8*> %param, <4 x i32> %off) nounwind {
79entry:
80;CHECK-NOT: pslld
81 %A = getelementptr <4 x i8*> %param, <4 x i32> %off
82 ret <4 x i8*> %A
83;CHECK: ret
84}
85