test/Transforms/LoopUnswitch/simplify-with-nonvalness.ll

   1 ; RUN: opt < %s -loop-unswitch -verify-loop-info -S < %s 2>&1 | FileCheck %s
   2 ; RUN: opt < %s -loop-unswitch -verify-loop-info -enable-mssa-loop-dependency=true -verify-memoryssa -S < %s 2>&1 | FileCheck %s
   3
   4 ; There are 1 case and 1 default case in the switch. after we unswitch, we know the
   5 ; %a is definitely not 0 in one of the unswitched loop, make sure we take advantage
   6 ; of that and simplify the branches in the loop.
   7 ;
   8 ; CHECK: define void @simplify_with_nonvalness(
   9
  10 ; This is the loop in which we know %a is definitely 0.
  11 ; CHECK: sw.bb.us:
  12 ; CHECK: br i1 true, label %if.then.us, label %if.end.us
  13
  14 ; This is the loop in which we do not know what %a is but we know %a is definitely NOT 0.
  15 ; Make sure we use that information to simplify.
  16 ; The icmp eq i32 %a, 0 in one of the unswitched loop is simplified to false.
  17 ; CHECK: sw.bb.split:
  18 ; CHECK: br i1 false, label %if.then, label %if.end
  19
  20 define void @simplify_with_nonvalness(i32 %a) #0 {
  21 entry:
  22   br label %for.cond
  23
  24 for.cond:
  25   %i.0 = phi i32 [ 0, %entry ], [ %inc, %for.inc ]
  26   %cmp = icmp slt i32 %i.0, 1024
  27   br i1 %cmp, label %for.body, label %for.end
  28
  29 for.body:
  30   switch i32 %a, label %sw.default [
  31     i32 0, label %sw.bb
  32   ]
  33
  34 sw.bb:
  35   %cmp1 = icmp eq i32 %a, 0
  36   br i1 %cmp1, label %if.then, label %if.end
  37
  38 if.then:
  39   call void (...) @bar()
  40   br label %if.end
  41
  42 if.end:
  43   br label %sw.epilog
  44
  45 sw.default:
  46   br label %sw.epilog
  47
  48 sw.epilog:
  49   br label %for.inc
  50
  51 for.inc:
  52   %inc = add nsw i32 %i.0, 1
  53   br label %for.cond
  54
  55 for.end:
  56   ret void
  57 }
  58
  59 declare void @bar(...)