test/Transforms/LICM/2003-02-27-PreheaderProblem.ll

   1 ; Here we have a case where there are two loops and LICM is hoisting an
   2 ; instruction from one loop into the other loop!  This is obviously bad and
   3 ; happens because preheader insertion doesn't insert a preheader for this
   4 ; case... bad.
   5
   6 ; RUN: llvm-upgrade < %s | llvm-as | opt -licm -adce -simplifycfg | llvm-dis | \
   7 ; RUN:   not grep {br }
   8
   9 int %main(int %argc) {
  10         br label %bb5
  11
  12 bb5:            ; preds = %bb5, %0
  13         %I = phi int [0, %0], [%I2, %bb5]
  14         %I2 = add int %I, 1
  15         %c = seteq int %I2, 10
  16         br bool %c, label %bb5, label %bb8
  17
  18 bb8:            ; preds = %bb8, %bb5
  19         %cann-indvar = phi uint [ 0, %bb8 ], [ 0, %bb5 ]
  20         %X = add int %argc, %argc  ; Loop invariant
  21         br bool false, label %bb8, label %bb10
  22
  23 bb10:           ; preds = %bb8
  24         ret int %X
  25 }
  26