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-as < %s | opt -instcombine -simplifycfg | llvm-dis | not grep 'br '
   4
   5 implementation   ; Functions:
   6
   7 declare int %bitmap_clear(...)
   8
   9 int %oof() {
  10 entry:
  11         %live_head = alloca int         ; <int*> [#uses=2]
  12         %tmp.1 = setne int* %live_head, null            ; <bool> [#uses=1]
  13         br bool %tmp.1, label %then, label %UnifiedExitNode
  14
  15 then:
  16         %tmp.4 = call int (...)* %bitmap_clear( int* %live_head )              ; <int> [#uses=0]
  17         br label %UnifiedExitNode
  18
  19 UnifiedExitNode:
  20         ret int 0
  21 }
  22