Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / llvm / ce7d5db4d86b6eef20ffb9e981a1f0d428879e57 / . / test / Transforms / PredicateSimplifier / 2006-09-20-ResolveCycle.ll
blob: f3d58e9102d08889c937cfe77cd09c924ebfc0de [file] [log] [blame]
Tanya Lattnerce7d5db2008-03-19 05:39:35 +0000[diff] [blame^]1; RUN: llvm-as < %s | opt -predsimplify -disable-output
Nick Lewycky406fc0c2006-09-20 17:04:01 +0000[diff] [blame]2
Tanya Lattnerce7d5db2008-03-19 05:39:35 +0000[diff] [blame^]3define void @gs_image_next() {
Nick Lewycky406fc0c2006-09-20 17:04:01 +0000[diff] [blame]4entry:
Tanya Lattnerce7d5db2008-03-19 05:39:35 +0000[diff] [blame^]5 %tmp = load i32* null ; <i32> [#uses=2]
6 br i1 false, label %cond_next21, label %UnifiedReturnBlock
Nick Lewycky406fc0c2006-09-20 17:04:01 +0000[diff] [blame]7cond_next21: ; preds = %entry
Tanya Lattnerce7d5db2008-03-19 05:39:35 +0000[diff] [blame^]8 br i1 false, label %cond_next42, label %UnifiedReturnBlock
Nick Lewycky406fc0c2006-09-20 17:04:01 +0000[diff] [blame]9cond_next42: ; preds = %cond_next21
10 br label %cond_true158
Nick Lewycky406fc0c2006-09-20 17:04:01 +0000[diff] [blame]11cond_next134: ; preds = %cond_true158
Tanya Lattnerce7d5db2008-03-19 05:39:35 +0000[diff] [blame^]12 %tmp1571 = icmp eq i32 0, %min ; <i1> [#uses=0]
Nick Lewycky406fc0c2006-09-20 17:04:01 +0000[diff] [blame]13 ret void
Nick Lewycky406fc0c2006-09-20 17:04:01 +0000[diff] [blame]14cond_true158: ; preds = %cond_true158, %cond_next42
Tanya Lattnerce7d5db2008-03-19 05:39:35 +0000[diff] [blame^]15 %tmp47 = sub i32 %tmp, 0 ; <i32> [#uses=2]
16 %tmp49 = icmp ule i32 %tmp47, 0 ; <i1> [#uses=1]
17 %min = select i1 %tmp49, i32 %tmp47, i32 0 ; <i32> [#uses=2]
18 %tmp92 = add i32 %min, 0 ; <i32> [#uses=1]
19 %tmp101 = icmp eq i32 %tmp92, %tmp ; <i1> [#uses=1]
20 br i1 %tmp101, label %cond_next134, label %cond_true158
Nick Lewycky406fc0c2006-09-20 17:04:01 +0000[diff] [blame]21UnifiedReturnBlock: ; preds = %cond_next21, %entry
22 ret void
23}
Tanya Lattnerce7d5db2008-03-19 05:39:35 +0000[diff] [blame^]24