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-as < %s | opt -licm -adce -simplifycfg | llvm-dis | not grep 'br '
   7
   8 int %main(int %argc) {
   9         br label %bb5
  10
  11 bb5:            ; preds = %bb5, %0
  12         %I = phi int [0, %0], [%I2, %bb5]
  13         %I2 = add int %I, 1
  14         %c = seteq int %I2, 10
  15         br bool %c, label %bb5, label %bb8
  16
  17 bb8:            ; preds = %bb8, %bb5
  18         %cann-indvar = phi uint [ 0, %bb8 ], [ 0, %bb5 ]
  19         %X = add int %argc, %argc  ; Loop invariant
  20         br bool false, label %bb8, label %bb10
  21
  22 bb10:           ; preds = %bb8
  23         ret int %X
  24 }
  25