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

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