Attachment 108266 Details for Bug 84232 – StructurizeCFG IR output for the sample from comment 10

StructurizeCFG IR output for the sample from comment 10

test3cfg.ll (text/plain), 2.69 KB, created by Vitaliy Filippov on 2014-10-22 23:08:02 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Vitaliy Filippov

Created: 2014-10-22 23:08:02 UTC

Size: 2.69 KB

patch

obsolete

>; ModuleID = 'test3.ll'
>target datalayout = "e-m:e-p:32:32-f64:32:64-f80:32-n8:16:32-S128"
>target triple = "i386-pc-linux-gnu"
>
>; Function Attrs: nounwind
>define i32 @main() #0 {
>  %1 = alloca i32, align 4
>  %i = alloca i32, align 4
>  %j = alloca i32, align 4
>  store i32 0, i32* %1
>  store i32 0, i32* %j, align 4
>  br label %2
>
>; <label>:2                                       ; preds = %Flow, %0
>  %3 = load i32* %j, align 4
>  %4 = srem i32 %3, 2
>  %5 = icmp ne i32 %4, 0
>  br i1 %5, label %6, label %Flow
>
>; <label>:6                                       ; preds = %2
>  %7 = load i32* %j, align 4
>  %8 = icmp sgt i32 %7, 100
>  br i1 %8, label %11, label %Flow1
>
>Flow:                                             ; preds = %Flow1, %2
>  %9 = phi i1 [ %23, %Flow1 ], [ true, %2 ]
>  %10 = phi i1 [ %24, %Flow1 ], [ false, %2 ]
>  br i1 %9, label %Flow5, label %2
>
>; <label>:11                                      ; preds = %6
>  %12 = load i32* %j, align 4
>  %13 = add nsw i32 %12, 3
>  store i32 %13, i32* %j, align 4
>  br label %25
>
>; <label>:14                                      ; preds = %25
>  %15 = load i32* %j, align 4
>  %16 = icmp sgt i32 %15, 50
>  %17 = xor i1 %16, true
>  br i1 %17, label %22, label %Flow3
>
>Flow3:                                            ; preds = %22, %14
>  %18 = phi i1 [ false, %22 ], [ true, %14 ]
>  br label %Flow2
>
>Flow4:                                            ; preds = %Flow2
>  br label %Flow1
>
>Flow5:                                            ; preds = %Flow
>  br i1 %10, label %19, label %27
>
>; <label>:19                                      ; preds = %Flow5
>  br label %27
>
>Flow2:                                            ; preds = %Flow3, %25
>  %20 = phi i1 [ %18, %Flow3 ], [ true, %25 ]
>  %21 = phi i1 [ %18, %Flow3 ], [ %26, %25 ]
>  br i1 %20, label %Flow4, label %25
>
>; <label>:22                                      ; preds = %14
>  br label %Flow3
>
>Flow1:                                            ; preds = %Flow4, %6
>  %23 = phi i1 [ false, %Flow4 ], [ true, %6 ]
>  %24 = phi i1 [ %21, %Flow4 ], [ false, %6 ]
>  br label %Flow
>
>; <label>:25                                      ; preds = %Flow2, %11
>  %26 = phi i1 [ %21, %Flow2 ], [ false, %11 ]
>  br i1 false, label %14, label %Flow2
>
>; <label>:27                                      ; preds = %19, %Flow5
>  %28 = load i32* %j, align 4
>  ret i32 %28
>}
>
>attributes #0 = { nounwind "less-precise-fpmad"="false" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
>
>!llvm.ident = !{!0}
>
>!0 = metadata !{metadata !"Debian clang version 3.5.0-4 (tags/RELEASE_350/final) (based on LLVM 3.5.0)"}

Actions: View

Attachments on bug 84232: 106717 | 106718 | 107527 | 107681 | 108266

Use of freedesktop.org services, including Bugzilla, is subject to our Code of Conduct. How we collect and use information is described in our Privacy Policy.