test/Transforms/InstSimplify/gep.ll

   1 ; RUN: opt -S -instsimplify < %s | FileCheck %s
   2
   3 target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
   4
   5 %struct.A = type { [7 x i8] }
   6
   7 define %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, %struct.A* %b, i64 %sdiv
  13   ret %struct.A* %gep
  14 ; CHECK-LABEL: @test1
  15 ; CHECK-NEXT: ret %struct.A* %e
  16 }
  17
  18 define 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, i8* %b, i64 %sub
  23   ret i8* %gep
  24 ; CHECK-LABEL: @test2
  25 ; CHECK-NEXT: ret i8* %e
  26 }
  27
  28 define 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, i64* %b, i64 %ashr
  34   ret i64* %gep
  35 ; CHECK-LABEL: @test3
  36 ; CHECK-NEXT: ret i64* %e
  37 }
  38
  39 define %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, %struct.A* %b, i64 %sdiv
  44   ret %struct.A* %gep
  45 ; CHECK-LABEL: @test4
  46 ; CHECK-NEXT: ret %struct.A* null
  47 }
  48
  49 define i8* @test5(i8* %b) {
  50   %b_ptr = ptrtoint i8* %b to i64
  51   %sub = sub i64 0, %b_ptr
  52   %gep = getelementptr inbounds i8, i8* %b, i64 %sub
  53   ret i8* %gep
  54 ; CHECK-LABEL: @test5
  55 ; CHECK-NEXT: ret i8* null
  56 }
  57
  58 define 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, i64* %b, i64 %ashr
  63   ret i64* %gep
  64 ; CHECK-LABEL: @test6
  65 ; CHECK-NEXT: ret i64* null
  66 }
  67
  68 define 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, 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 }