llvm/test/Analysis/MustExecute/irreducible-cfg.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5
   2 ; RUN: opt -disable-output -passes=print-mustexecute %s 2>&1 | FileCheck %s
   3
   4 ; The loop body has two predecessors, %header and %side-entry. This leads to irreducible-cfg
   5 define i64 @baz() {
   6 ; CHECK-LABEL: define i64 @baz() {
   7 ; CHECK-NEXT:  [[ENTRY:.*:]]
   8 ; CHECK-NEXT:    br label %[[HEADER:.*]]
   9 ; CHECK:       [[HEADER]]:
  10 ; CHECK-NEXT:    br label %[[BODY:.*]] ; (mustexec in: header)
  11 ; CHECK:       [[SIDE_ENTRY:.*:]]
  12 ; CHECK-NEXT:    br label %[[BODY]]
  13 ; CHECK:       [[BODY]]:
  14 ; CHECK-NEXT:    [[LOAD:%.*]] = load ptr addrspace(1), ptr addrspace(1) null, align 8 ; (mustexec in: header)
  15 ; CHECK-NEXT:    br label %[[HEADER]] ; (mustexec in: header)
  16 ;
  17 entry:
  18   br label %header
  19
  20 header:
  21   br label %body
  22
  23 side-entry:
  24   br label %body
  25
  26 body:
  27   %load = load ptr addrspace(1), ptr addrspace(1) null, align 8
  28   br label %header
  29 }