| Tom Stellard | 071ec90 | 2015-02-04 20:49:44 +0000 | [diff] [blame] | 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: |
| Hans Wennborg | 4a61370 | 2015-08-31 21:10:35 +0000 | [diff] [blame] | 44 | ; CHECK: br i1 %{{[0-9]+}}, label %Flow2, label %LOOP |
| Tom Stellard | 071ec90 | 2015-02-04 20:49:44 +0000 | [diff] [blame] | 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 | |
| Matt Arsenault | b34eea9 | 2016-04-13 00:39:48 +0000 | [diff] [blame] | 66 | attributes #0 = { "enable-no-nans-fp-math"="true" "unsafe-fp-math"="true" } |
| Tom Stellard | 071ec90 | 2015-02-04 20:49:44 +0000 | [diff] [blame] | 67 | attributes #1 = { nounwind readnone } |
| 68 | attributes #2 = { readnone } |