1; RUN: opt -S -instsimplify < %s | FileCheck %s
2
3target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
4
5%struct.A = type { [7 x i8] }
6
7define %struct.A* @test1(%struct.A* %b, %struct.A* %e) {
8  %e_ptr = ptrtoint %struct.A* %e to i64
9  %b_ptr = ptrtoint %struct.A* %b to i64
10  %sub = sub i64 %e_ptr, %b_ptr
11  %sdiv = sdiv exact i64 %sub, 7
12  %gep = getelementptr inbounds %struct.A* %b, i64 %sdiv
13  ret %struct.A* %gep
14; CHECK-LABEL: @test1
15; CHECK-NEXT: ret %struct.A* %e
16}
17
18define i8* @test2(i8* %b, i8* %e) {
19  %e_ptr = ptrtoint i8* %e to i64
20  %b_ptr = ptrtoint i8* %b to i64
21  %sub = sub i64 %e_ptr, %b_ptr
22  %gep = getelementptr inbounds i8* %b, i64 %sub
23  ret i8* %gep
24; CHECK-LABEL: @test2
25; CHECK-NEXT: ret i8* %e
26}
27
28define i64* @test3(i64* %b, i64* %e) {
29  %e_ptr = ptrtoint i64* %e to i64
30  %b_ptr = ptrtoint i64* %b to i64
31  %sub = sub i64 %e_ptr, %b_ptr
32  %ashr = ashr exact i64 %sub, 3
33  %gep = getelementptr inbounds i64* %b, i64 %ashr
34  ret i64* %gep
35; CHECK-LABEL: @test3
36; CHECK-NEXT: ret i64* %e
37}
38
39define %struct.A* @test4(%struct.A* %b) {
40  %b_ptr = ptrtoint %struct.A* %b to i64
41  %sub = sub i64 0, %b_ptr
42  %sdiv = sdiv exact i64 %sub, 7
43  %gep = getelementptr inbounds %struct.A* %b, i64 %sdiv
44  ret %struct.A* %gep
45; CHECK-LABEL: @test4
46; CHECK-NEXT: ret %struct.A* null
47}
48
49define i8* @test5(i8* %b) {
50  %b_ptr = ptrtoint i8* %b to i64
51  %sub = sub i64 0, %b_ptr
52  %gep = getelementptr inbounds i8* %b, i64 %sub
53  ret i8* %gep
54; CHECK-LABEL: @test5
55; CHECK-NEXT: ret i8* null
56}
57
58define i64* @test6(i64* %b) {
59  %b_ptr = ptrtoint i64* %b to i64
60  %sub = sub i64 0, %b_ptr
61  %ashr = ashr exact i64 %sub, 3
62  %gep = getelementptr inbounds i64* %b, i64 %ashr
63  ret i64* %gep
64; CHECK-LABEL: @test6
65; CHECK-NEXT: ret i64* null
66}
67
68define i8* @test7(i8* %b, i8** %e) {
69  %e_ptr = ptrtoint i8** %e to i64
70  %b_ptr = ptrtoint i8* %b to i64
71  %sub = sub i64 %e_ptr, %b_ptr
72  %gep = getelementptr inbounds i8* %b, i64 %sub
73  ret i8* %gep
74; CHECK-LABEL: @test7
75; CHECK-NEXT: ptrtoint
76; CHECK-NEXT: ptrtoint
77; CHECK-NEXT: sub
78; CHECK-NEXT: getelementptr
79; CHECK-NEXT: ret
80}
81