Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / 7b36cdaecff79f89918b42ed3a81050f16e889d9 / . / llvm / test / Transforms / SimplifyCFG / 2006-10-19-UncondDiv.ll
blob: 8f21b9bab9b65cf46da9e66ae9c0b8a36b947ea6 [file] [log] [blame]
Chris Lattner51e96322006-10-20 00:41:31 +0000[diff] [blame]1; PR957
Michael Gottesmanccc93e72013-04-09 05:18:53 +0000[diff] [blame]2; RUN: opt < %s -simplifycfg -S | FileCheck %s
3
4; CHECK-NOT: select
Chris Lattner51e96322006-10-20 00:41:31 +0000[diff] [blame]5
Chris Lattner7eeb1cc2009-01-19 22:12:33 +0000[diff] [blame]6@G = extern_weak global i32
7
Tanya Lattner5f4b3552008-03-10 07:21:50 +0000[diff] [blame]8define i32 @test(i32 %tmp) {
9cond_false179:
10 %tmp181 = icmp eq i32 %tmp, 0 ; <i1> [#uses=1]
11 br i1 %tmp181, label %cond_true182, label %cond_next185
12cond_true182: ; preds = %cond_false179
13 br label %cond_next185
14cond_next185: ; preds = %cond_true182, %cond_false179
Chris Lattner7eeb1cc2009-01-19 22:12:33 +0000[diff] [blame]15 %d0.3 = phi i32 [ udiv (i32 1, i32 ptrtoint (i32* @G to i32)), %cond_true182 ], [ %tmp, %cond_false179 ] ; <i32> [#uses=1]
Tanya Lattner5f4b3552008-03-10 07:21:50 +0000[diff] [blame]16 ret i32 %d0.3
Chris Lattner51e96322006-10-20 00:41:31 +0000[diff] [blame]17}
18
Tanya Lattner5f4b3552008-03-10 07:21:50 +0000[diff] [blame]19define i32 @test2(i32 %tmp) {
20cond_false179:
21 %tmp181 = icmp eq i32 %tmp, 0 ; <i1> [#uses=1]
22 br i1 %tmp181, label %cond_true182, label %cond_next185
23cond_true182: ; preds = %cond_false179
24 br label %cond_next185
25cond_next185: ; preds = %cond_true182, %cond_false179
Chris Lattner7eeb1cc2009-01-19 22:12:33 +0000[diff] [blame]26 %d0.3 = phi i32 [ udiv (i32 1, i32 ptrtoint (i32* @G to i32)), %cond_true182 ], [ %tmp, %cond_false179 ] ; <i32> [#uses=1]
Tanya Lattner5f4b3552008-03-10 07:21:50 +0000[diff] [blame]27 call i32 @test( i32 4 ) ; <i32>:0 [#uses=0]
28 ret i32 %d0.3
Chris Lattner51e96322006-10-20 00:41:31 +0000[diff] [blame]29}