test/Transforms/InstCombine/getelementptr-setcc.ll

   1 ; RUN: llvm-as < %s | opt -instcombine | llvm-dis | \
   2 ; RUN:   not grep getelementptr
   3
   4 define i1 @test1(i16* %P, i32 %I, i32 %J) {
   5         %X = getelementptr inbounds i16* %P, i32 %I              ; <i16*> [#uses=1]
   6         %Y = getelementptr inbounds i16* %P, i32 %J              ; <i16*> [#uses=1]
   7         %C = icmp ult i16* %X, %Y               ; <i1> [#uses=1]
   8         ret i1 %C
   9 }
  10
  11 define i1 @test2(i16* %P, i32 %I) {
  12         %X = getelementptr inbounds i16* %P, i32 %I              ; <i16*> [#uses=1]
  13         %C = icmp ult i16* %X, %P               ; <i1> [#uses=1]
  14         ret i1 %C
  15 }
  16
  17 define i32 @test3(i32* %P, i32 %A, i32 %B) {
  18         %tmp.4 = getelementptr inbounds i32* %P, i32 %A          ; <i32*> [#uses=1]
  19         %tmp.9 = getelementptr inbounds i32* %P, i32 %B          ; <i32*> [#uses=1]
  20         %tmp.10 = icmp eq i32* %tmp.4, %tmp.9           ; <i1> [#uses=1]
  21         %tmp.11 = zext i1 %tmp.10 to i32                ; <i32> [#uses=1]
  22         ret i32 %tmp.11
  23 }
  24
  25 define i32 @test4(i32* %P, i32 %A, i32 %B) {
  26         %tmp.4 = getelementptr inbounds i32* %P, i32 %A          ; <i32*> [#uses=1]
  27         %tmp.6 = icmp eq i32* %tmp.4, %P                ; <i1> [#uses=1]
  28         %tmp.7 = zext i1 %tmp.6 to i32          ; <i32> [#uses=1]
  29         ret i32 %tmp.7
  30 }
  31