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