test/Transforms/ScalarRepl/phinodepromote.ll

   1 ; RUN: llvm-as < %s | opt -instcombine -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 ; instcombine:
  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 ; This test checks to make sure the combination of instcombine and mem2reg
  16 ; perform the transformation.
  17
  18 int %main() {
  19 entry:
  20         %mem_tmp.0 = alloca int
  21         %mem_tmp.1 = alloca int
  22         store int 0, int* %mem_tmp.0
  23         store int 1, int* %mem_tmp.1
  24         %tmp.1.i = load int* %mem_tmp.1
  25         %tmp.3.i = load int* %mem_tmp.0
  26         %tmp.4.i = setle int %tmp.1.i, %tmp.3.i
  27         br bool %tmp.4.i, label %cond_true.i, label %cond_continue.i
  28
  29 cond_true.i:
  30         br label %cond_continue.i
  31
  32 cond_continue.i:
  33         %mem_tmp.i.0 = phi int* [ %mem_tmp.1, %cond_true.i ], [ %mem_tmp.0, %entry ]
  34         %tmp.3 = load int* %mem_tmp.i.0
  35         ret int %tmp.3
  36 }
  37