test/Transforms/InstCombine/2003-08-12-AllocaNonNull.ll

   1 ; This testcase can be simplified by "realizing" that alloca can never return
   2 ; null.
   3 ; RUN: llvm-upgrade < %s | llvm-as | opt -instcombine -simplifycfg | \
   4 ; RUN:    llvm-dis | not grep br
   5
   6 implementation   ; Functions:
   7
   8 declare int %bitmap_clear(...)
   9
  10 int %oof() {
  11 entry:
  12         %live_head = alloca int         ; <int*> [#uses=2]
  13         %tmp.1 = setne int* %live_head, null            ; <bool> [#uses=1]
  14         br bool %tmp.1, label %then, label %UnifiedExitNode
  15
  16 then:
  17         %tmp.4 = call int (...)* %bitmap_clear( int* %live_head )              ; <int> [#uses=0]
  18         br label %UnifiedExitNode
  19
  20 UnifiedExitNode:
  21         ret int 0
  22 }
  23