test/Transforms/InstCombine/cast3.ll

   1 ; RUN: opt < %s -instcombine -S | not grep getelementptr
   2 ; PR2831
   3
   4 ; Don't raise arbitrary inttoptr+arithmetic+ptrtoint to getelementptr.
   5
   6 target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:32:32"
   7
   8 define i32 @main(i32 %argc, i8** %argv) nounwind {
   9 entry:
  10         %0 = ptrtoint i8** %argv to i32         ; <i32> [#uses=1]
  11         %1 = add i32 %0, 1              ; <i32> [#uses=1]
  12         ret i32 %1
  13 }
  14
  15 ; This testcase could theoretically be optimized down to return zero,
  16 ; but for now being conservative with ptrtoint/inttoptr is fine.
  17 define i32 @a() nounwind {
  18 entry:
  19         %b = alloca i32         ; <i32*> [#uses=3]
  20         %a = alloca i32         ; <i32*> [#uses=2]
  21         %"alloca point" = bitcast i32 0 to i32          ; <i32> [#uses=0]
  22         store i32 1, i32* %b, align 4
  23         %a1 = ptrtoint i32* %a to i32           ; <i32> [#uses=1]
  24         %b4 = ptrtoint i32* %b to i32           ; <i32> [#uses=1]
  25         %a7 = ptrtoint i32* %a to i32           ; <i32> [#uses=1]
  26         %0 = sub i32 %b4, %a7           ; <i32> [#uses=1]
  27         %1 = add i32 %a1, %0            ; <i32> [#uses=1]
  28         %2 = inttoptr i32 %1 to i32*            ; <i32*> [#uses=1]
  29         store i32 0, i32* %2, align 4
  30         %3 = load i32* %b, align 4              ; <i32> [#uses=1]
  31         br label %return
  32
  33 return:         ; preds = %entry
  34         ret i32 %3
  35 }