test/Analysis/GlobalsModRef/purecse.ll

   1 ; Test that pure functions are cse'd away
   2 ; RUN: opt < %s -globalsmodref-aa -gvn -instcombine | \
   3 ; RUN: llvm-dis | not grep sub
   4
   5 define i32 @pure(i32 %X) {
   6         %Y = add i32 %X, 1              ; <i32> [#uses=1]
   7         ret i32 %Y
   8 }
   9
  10 define i32 @test1(i32 %X) {
  11         %A = call i32 @pure( i32 %X )           ; <i32> [#uses=1]
  12         %B = call i32 @pure( i32 %X )           ; <i32> [#uses=1]
  13         %C = sub i32 %A, %B             ; <i32> [#uses=1]
  14         ret i32 %C
  15 }
  16
  17 define i32 @test2(i32 %X, i32* %P) {
  18         %A = call i32 @pure( i32 %X )           ; <i32> [#uses=1]
  19         store i32 %X, i32* %P ;; Does not invalidate 'pure' call.
  20         %B = call i32 @pure( i32 %X )           ; <i32> [#uses=1]
  21         %C = sub i32 %A, %B             ; <i32> [#uses=1]
  22         ret i32 %C
  23 }