test/Transforms/ScalarRepl/phinodepromote.ll

   1 ; RUN: llvm-as < %s | opt -mem2reg | llvm-dis | not grep alloca
   2 ;
   3 ; This tests to see if mem2reg can promote alloca instructions whose addresses
   4 ; are used by PHI nodes that are immediately loaded.  The LLVM C++ front-end
   5 ; often generates code that looks like this (when it codegen's ?: exprs as
   6 ; lvalues), so handling this simple extension is quite useful.
   7 ;
   8 ; This testcase is what the following program looks like when it reaches
   9 ; mem2reg:
  10 ;
  11 ; template<typename T>
  12 ; const T& max(const T& a1, const T& a2) { return a1 < a2 ? a1 : a2; }
  13 ; int main() { return max(0, 1); }
  14 ;
  15
  16 int %main() {
  17 entry:
  18         %mem_tmp.0 = alloca int
  19         %mem_tmp.1 = alloca int
  20         store int 0, int* %mem_tmp.0
  21         store int 1, int* %mem_tmp.1
  22         %tmp.1.i = load int* %mem_tmp.1
  23         %tmp.3.i = load int* %mem_tmp.0
  24         %tmp.4.i = setle int %tmp.1.i, %tmp.3.i
  25         br bool %tmp.4.i, label %cond_true.i, label %cond_continue.i
  26
  27 cond_true.i:
  28         br label %cond_continue.i
  29
  30 cond_continue.i:
  31         %mem_tmp.i.0 = phi int* [ %mem_tmp.1, %cond_true.i ], [ %mem_tmp.0, %entry ]
  32         %tmp.3 = load int* %mem_tmp.i.0
  33         ret int %tmp.3
  34 }
  35