Mercurial > hg > CbC > CbC_llvm

comparison test/Transforms/IndVarSimplify/lftr-address-space-pointers.ll @ 0:95c75e76d11b LLVM3.4

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
LLVM 3.4
author Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
date Thu, 12 Dec 2013 13:56:28 +0900
parents
children 54457678186b
comparison
equal deleted inserted replaced
-1:000000000000 0:95c75e76d11b
1 ; RUN: opt -S -indvars -o - %s | FileCheck %s
2 target datalayout = "e-p:32:32:32-p1:64:64:64-p2:8:8:8-p3:16:16:16-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:32-n8:16:32:64"
3
4 ; Derived from ptriv in lftr-reuse.ll
5 define void @ptriv_as2(i8 addrspace(2)* %base, i32 %n) nounwind {
6 ; CHECK-LABEL: @ptriv_as2(
7 entry:
8 %idx.trunc = trunc i32 %n to i8
9 %add.ptr = getelementptr inbounds i8 addrspace(2)* %base, i8 %idx.trunc
10 %cmp1 = icmp ult i8 addrspace(2)* %base, %add.ptr
11 br i1 %cmp1, label %for.body, label %for.end
12
13 ; Make sure the added GEP has the right index type
14 ; CHECK: %lftr.limit = getelementptr i8 addrspace(2)* %base, i8 %0
15
16 ; CHECK: for.body:
17 ; CHECK: phi i8 addrspace(2)*
18 ; CHECK-NOT: phi
19 ; CHECK-NOT: add{{^rspace}}
20 ; CHECK: icmp ne i8 addrspace(2)*
21 ; CHECK: br i1
22 for.body:
23 %p.02 = phi i8 addrspace(2)* [ %base, %entry ], [ %incdec.ptr, %for.body ]
24 ; cruft to make the IV useful
25 %sub.ptr.lhs.cast = ptrtoint i8 addrspace(2)* %p.02 to i8
26 %sub.ptr.rhs.cast = ptrtoint i8 addrspace(2)* %base to i8
27 %sub.ptr.sub = sub i8 %sub.ptr.lhs.cast, %sub.ptr.rhs.cast
28 store i8 %sub.ptr.sub, i8 addrspace(2)* %p.02
29 %incdec.ptr = getelementptr inbounds i8 addrspace(2)* %p.02, i32 1
30 %cmp = icmp ult i8 addrspace(2)* %incdec.ptr, %add.ptr
31 br i1 %cmp, label %for.body, label %for.end
32
33 for.end:
34 ret void
35 }
36
37 define void @ptriv_as3(i8 addrspace(3)* %base, i32 %n) nounwind {
38 ; CHECK-LABEL: @ptriv_as3(
39 entry:
40 %idx.trunc = trunc i32 %n to i16
41 %add.ptr = getelementptr inbounds i8 addrspace(3)* %base, i16 %idx.trunc
42 %cmp1 = icmp ult i8 addrspace(3)* %base, %add.ptr
43 br i1 %cmp1, label %for.body, label %for.end
44
45 ; Make sure the added GEP has the right index type
46 ; CHECK: %lftr.limit = getelementptr i8 addrspace(3)* %base, i16 %0
47
48 ; CHECK: for.body:
49 ; CHECK: phi i8 addrspace(3)*
50 ; CHECK-NOT: phi
51 ; CHECK-NOT: add{{^rspace}}
52 ; CHECK: icmp ne i8 addrspace(3)*
53 ; CHECK: br i1
54 for.body:
55 %p.02 = phi i8 addrspace(3)* [ %base, %entry ], [ %incdec.ptr, %for.body ]
56 ; cruft to make the IV useful
57 %sub.ptr.lhs.cast = ptrtoint i8 addrspace(3)* %p.02 to i16
58 %sub.ptr.rhs.cast = ptrtoint i8 addrspace(3)* %base to i16
59 %sub.ptr.sub = sub i16 %sub.ptr.lhs.cast, %sub.ptr.rhs.cast
60 %conv = trunc i16 %sub.ptr.sub to i8
61 store i8 %conv, i8 addrspace(3)* %p.02
62 %incdec.ptr = getelementptr inbounds i8 addrspace(3)* %p.02, i32 1
63 %cmp = icmp ult i8 addrspace(3)* %incdec.ptr, %add.ptr
64 br i1 %cmp, label %for.body, label %for.end
65
66 for.end:
67 ret void
68 }
69