1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2 ; RUN: opt -S -instsimplify < %s | FileCheck %s 3 4 target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128" 5 6 %struct.A = type { [7 x i8] } 7 8 define %struct.A* @test1(%struct.A* %b, %struct.A* %e) { 9 ; CHECK-LABEL: @test1( 10 ; CHECK-NEXT: ret %struct.A* [[E:%.*]] 11 ; 12 %e_ptr = ptrtoint %struct.A* %e to i64 13 %b_ptr = ptrtoint %struct.A* %b to i64 14 %sub = sub i64 %e_ptr, %b_ptr 15 %sdiv = sdiv exact i64 %sub, 7 16 %gep = getelementptr inbounds %struct.A, %struct.A* %b, i64 %sdiv 17 ret %struct.A* %gep 18 } 19 20 define i8* @test2(i8* %b, i8* %e) { 21 ; CHECK-LABEL: @test2( 22 ; CHECK-NEXT: ret i8* [[E:%.*]] 23 ; 24 %e_ptr = ptrtoint i8* %e to i64 25 %b_ptr = ptrtoint i8* %b to i64 26 %sub = sub i64 %e_ptr, %b_ptr 27 %gep = getelementptr inbounds i8, i8* %b, i64 %sub 28 ret i8* %gep 29 } 30 31 define i64* @test3(i64* %b, i64* %e) { 32 ; CHECK-LABEL: @test3( 33 ; CHECK-NEXT: ret i64* [[E:%.*]] 34 ; 35 %e_ptr = ptrtoint i64* %e to i64 36 %b_ptr = ptrtoint i64* %b to i64 37 %sub = sub i64 %e_ptr, %b_ptr 38 %ashr = ashr exact i64 %sub, 3 39 %gep = getelementptr inbounds i64, i64* %b, i64 %ashr 40 ret i64* %gep 41 } 42 43 define %struct.A* @test4(%struct.A* %b) { 44 ; CHECK-LABEL: @test4( 45 ; CHECK-NEXT: ret %struct.A* null 46 ; 47 %b_ptr = ptrtoint %struct.A* %b to i64 48 %sub = sub i64 0, %b_ptr 49 %sdiv = sdiv exact i64 %sub, 7 50 %gep = getelementptr inbounds %struct.A, %struct.A* %b, i64 %sdiv 51 ret %struct.A* %gep 52 } 53 54 define i8* @test5(i8* %b) { 55 ; CHECK-LABEL: @test5( 56 ; CHECK-NEXT: ret i8* null 57 ; 58 %b_ptr = ptrtoint i8* %b to i64 59 %sub = sub i64 0, %b_ptr 60 %gep = getelementptr inbounds i8, i8* %b, i64 %sub 61 ret i8* %gep 62 } 63 64 define i64* @test6(i64* %b) { 65 ; CHECK-LABEL: @test6( 66 ; CHECK-NEXT: ret i64* null 67 ; 68 %b_ptr = ptrtoint i64* %b to i64 69 %sub = sub i64 0, %b_ptr 70 %ashr = ashr exact i64 %sub, 3 71 %gep = getelementptr inbounds i64, i64* %b, i64 %ashr 72 ret i64* %gep 73 } 74 75 define i8* @test7(i8* %b, i8** %e) { 76 ; CHECK-LABEL: @test7( 77 ; CHECK-NEXT: [[E_PTR:%.*]] = ptrtoint i8** [[E:%.*]] to i64 78 ; CHECK-NEXT: [[B_PTR:%.*]] = ptrtoint i8* [[B:%.*]] to i64 79 ; CHECK-NEXT: [[SUB:%.*]] = sub i64 [[E_PTR]], [[B_PTR]] 80 ; CHECK-NEXT: [[GEP:%.*]] = getelementptr inbounds i8, i8* [[B]], i64 [[SUB]] 81 ; CHECK-NEXT: ret i8* [[GEP]] 82 ; 83 %e_ptr = ptrtoint i8** %e to i64 84 %b_ptr = ptrtoint i8* %b to i64 85 %sub = sub i64 %e_ptr, %b_ptr 86 %gep = getelementptr inbounds i8, i8* %b, i64 %sub 87 ret i8* %gep 88 } 89 90 define <8 x i64*> @undef_vec1() { 91 ; CHECK-LABEL: @undef_vec1( 92 ; CHECK-NEXT: ret <8 x i64*> undef 93 ; 94 %el = getelementptr inbounds i64, i64* undef, <8 x i64> undef 95 ret <8 x i64*> %el 96 } 97 98 define <8 x i64*> @undef_vec2() { 99 ; CHECK-LABEL: @undef_vec2( 100 ; CHECK-NEXT: ret <8 x i64*> undef 101 ; 102 %el = getelementptr i64, <8 x i64*> undef, <8 x i64> undef 103 ret <8 x i64*> %el 104 } 105 106
