test/Transforms/LoopUnswitch/2015-06-17-Metadata.ll

   1 ;RUN: opt  -loop-unswitch -simplifycfg -S < %s | FileCheck %s
   2
   3 define i32 @foo(i32 %a, i32 %b) {
   4 ;CHECK-LABEL: foo
   5 entry:
   6   br label %for.body.lr.ph
   7
   8 for.body.lr.ph:                                   ; preds = %entry
   9   %cmp0 = icmp sgt i32 %b, 0
  10   br i1 %cmp0, label %for.body, label %for.cond.cleanup
  11
  12 for.body:                                         ; preds = %for.inc, %for.body.lr.ph
  13   %inc.i = phi i32 [ 0, %for.body.lr.ph ], [ %inc, %for.inc ]
  14   %mul.i = phi i32 [ 3, %for.body.lr.ph ], [ %mul.p, %for.inc ]
  15   %add.i = phi i32 [ %a, %for.body.lr.ph ], [ %add.p, %for.inc ]
  16   %cmp1 = icmp eq i32 %a, 12345
  17   br i1 %cmp1, label %if.then, label %if.else, !prof !0
  18 ; CHECK: %cmp1 = icmp eq i32 %a, 12345
  19 ; CHECK-NEXT: br i1 %cmp1, label %for.body.us, label %for.body, !prof !0
  20 if.then:                                          ; preds = %for.body
  21 ; CHECK: for.body.us:
  22 ; CHECK: add nsw i32 %{{.*}}, 123
  23 ; CHECK: %exitcond.us = icmp eq i32 %inc.us, %b
  24 ; CHECK: br i1 %exitcond.us, label %for.cond.cleanup, label %for.body.us
  25   %add = add nsw i32 %add.i, 123
  26   br label %for.inc
  27
  28 if.else:                                          ; preds = %for.body
  29   %mul = mul nsw i32 %mul.i, %b
  30   br label %for.inc
  31 ; CHECK: for.body:
  32 ; CHECK: %mul = mul nsw i32 %mul.i, %b
  33 ; CHECK: %inc = add nuw nsw i32 %inc.i, 1
  34 ; CHECK: %exitcond = icmp eq i32 %inc, %b
  35 ; CHECK: br i1 %exitcond, label %for.cond.cleanup, label %for.body
  36 for.inc:                                          ; preds = %if.then, %if.else
  37   %mul.p = phi i32 [ %b, %if.then ], [ %mul, %if.else ]
  38   %add.p = phi i32 [ %add, %if.then ], [ %a, %if.else ]
  39   %inc = add nuw nsw i32 %inc.i, 1
  40   %exitcond = icmp eq i32 %inc, %b
  41   br i1 %exitcond, label %for.cond.cleanup, label %for.body
  42
  43 for.cond.cleanup:                                 ; preds = %for.inc, %for.body.lr.ph
  44   %t2 = phi i32 [ %b, %for.body.lr.ph ], [ %mul.p, %for.inc ]
  45   %t1 = phi i32 [ %a, %for.body.lr.ph ], [ %add.p, %for.inc ]
  46   %add3 = add nsw i32 %t2, %t1
  47   ret i32 %add3
  48 }
  49
  50 define void @foo_swapped(i32 %a, i32 %b) {
  51 ;CHECK-LABEL: foo_swapped
  52 entry:
  53   br label %for.body
  54 ;CHECK: entry:
  55 ;CHECK-NEXT: %cmp1 = icmp eq i32 1, 2
  56 ;CHECK-NEXT: br i1 %cmp1, label %for.body, label %for.cond.cleanup.split, !prof !1
  57 ;CHECK: for.body:
  58 for.body:                                         ; preds = %for.inc, %entry
  59   %inc.i = phi i32 [ 0, %entry ], [ %inc, %if.then ]
  60   %add.i = phi i32 [ 100, %entry ], [ %add, %if.then ]
  61   %inc = add nuw nsw i32 %inc.i, 1
  62   %cmp1 = icmp eq i32 1, 2
  63   br i1 %cmp1, label %if.then, label  %for.cond.cleanup, !prof !0
  64
  65 if.then:                                          ; preds = %for.body
  66   %add = add nsw i32 %a, %add.i
  67
  68   %exitcond = icmp eq i32 %inc, %b
  69   br i1 %exitcond, label %for.cond.cleanup, label %for.body
  70
  71 for.cond.cleanup:                                 ; preds = %for.inc, %for.body.lr.ph, %for.body
  72   ret void
  73 }
  74 !0 = !{!"branch_weights", i32 64, i32 4}
  75
  76 ;CHECK: !0 = !{!"branch_weights", i32 64, i32 4}
  77 ;CHECK: !1 = !{!"branch_weights", i32 4, i32 64}