1; RUN: opt -S -structurizecfg %s -o - | FileCheck %s 2; RUN: opt -S -passes=structurizecfg %s -o - | FileCheck %s 3 4define void @main(ptr addrspace(1) %out) { 5 6; CHECK: main_body: 7; CHECK: br label %LOOP.outer 8main_body: 9 br label %LOOP.outer 10 11; CHECK: LOOP.outer: 12; CHECK: br label %LOOP 13LOOP.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 20LOOP: ; 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 31ENDLOOP: ; 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 40ENDIF: ; 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 49IF29: ; 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 61ENDIF28: ; 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 67attributes #0 = { "enable-no-nans-fp-math"="true" "unsafe-fp-math"="true" } 68attributes #1 = { nounwind readnone } 69attributes #2 = { readnone } 70