llvm/test/Transforms/StructurizeCFG/nested-loop-order.ll

   1 ; RUN: opt -S -structurizecfg %s -o - | FileCheck %s
   2 ; RUN: opt -S -passes=structurizecfg %s -o - | FileCheck %s
   3
   4 define void @main(ptr addrspace(1) %out) {
   5
   6 ; CHECK: main_body:
   7 ; CHECK: br label %LOOP.outer
   8 main_body:
   9   br label %LOOP.outer
  10
  11 ; CHECK: LOOP.outer:
  12 ; CHECK: br label %LOOP
  13 LOOP.outer:                                       ; preds = %ENDIF28, %main_body
  14   %temp8.0.ph = phi float [ 0.000000e+00, %main_body ], [ %tmp35, %ENDIF28 ]
  15   %temp4.0.ph = phi i32 [ 0, %main_body ], [ %tmp20, %ENDIF28 ]
  16   br label %LOOP
  17
  18 ; CHECK: LOOP:
  19 ; br i1 %{{[0-9]+}}, label %ENDIF, label %Flow
  20 LOOP:                                             ; preds = %IF29, %LOOP.outer
  21   %temp4.0 = phi i32 [ %temp4.0.ph, %LOOP.outer ], [ %tmp20, %IF29 ]
  22   %tmp20 = add i32 %temp4.0, 1
  23   %tmp22 = icmp sgt i32 %tmp20, 3
  24   br i1 %tmp22, label %ENDLOOP, label %ENDIF
  25
  26 ; CHECK: Flow3
  27 ; CHECK: br i1 %{{[0-9]+}}, label %ENDLOOP, label %LOOP.outer
  28
  29 ; CHECK: ENDLOOP:
  30 ; CHECK: ret void
  31 ENDLOOP:                                          ; preds = %ENDIF28, %IF29, %LOOP
  32   %temp8.1 = phi float [ %temp8.0.ph, %LOOP ], [ %temp8.0.ph, %IF29 ], [ %tmp35, %ENDIF28 ]
  33   %tmp23 = icmp eq i32 %tmp20, 3
  34   %.45 = select i1 %tmp23, float 0.000000e+00, float 1.000000e+00
  35   store float %.45, ptr addrspace(1) %out
  36   ret void
  37
  38 ; CHECK: ENDIF:
  39 ; CHECK: br i1 %tmp31, label %IF29, label %Flow1
  40 ENDIF:                                            ; preds = %LOOP
  41   %tmp31 = icmp sgt i32 %tmp20, 1
  42   br i1 %tmp31, label %IF29, label %ENDIF28
  43
  44 ; CHECK: Flow:
  45 ; CHECK: br i1 %{{[0-9]+}}, label %Flow2, label %LOOP
  46
  47 ; CHECK: IF29:
  48 ; CHECK: br label %Flow1
  49 IF29:                                             ; preds = %ENDIF
  50   %tmp32 = icmp sgt i32 %tmp20, 2
  51   br i1 %tmp32, label %ENDLOOP, label %LOOP
  52
  53 ; CHECK: Flow1:
  54 ; CHECK: br label %Flow
  55
  56 ; CHECK: Flow2:
  57 ; CHECK: br i1 %{{[0-9]+}}, label %ENDIF28, label %Flow3
  58
  59 ; CHECK: ENDIF28:
  60 ; CHECK: br label %Flow3
  61 ENDIF28:                                          ; preds = %ENDIF
  62   %tmp35 = fadd float %temp8.0.ph, 1.0
  63   %tmp36 = icmp sgt i32 %tmp20, 2
  64   br i1 %tmp36, label %ENDLOOP, label %LOOP.outer
  65 }
  66
  67 attributes #0 = { "enable-no-nans-fp-math"="true" "unsafe-fp-math"="true" }
  68 attributes #1 = { nounwind readnone }
  69 attributes #2 = { readnone }