Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / llvm / 97b38e11f380ad6308f706d30c0a4fb2d042a0a0 / . / test / Transforms / PredicateSimplifier / 2006-11-11-Squeeze.ll
blob: 4f8af01bc3991f2ca069e441fb86ff3b0922a7a4 [file] [log] [blame]
Tanya Lattner97b38e12008-03-19 05:39:35 +0000[diff] [blame^]1; RUN: llvm-as < %s | opt -predsimplify -disable-output
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000[diff] [blame]2
Tanya Lattner97b38e12008-03-19 05:39:35 +0000[diff] [blame^]3 %struct.cube_struct = type { i32, i32, i32, i32*, i32*, i32*, i32*, i32*, i32*, i32*, i32**, i32**, i32*, i32*, i32, i32, i32*, i32, i32 }
4@cube = external global %struct.cube_struct ; <%struct.cube_struct*> [#uses=2]
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000[diff] [blame]5
Tanya Lattner97b38e12008-03-19 05:39:35 +0000[diff] [blame^]6define fastcc void @cube_setup() {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000[diff] [blame]7entry:
Tanya Lattner97b38e12008-03-19 05:39:35 +0000[diff] [blame^]8 %tmp = load i32* getelementptr (%struct.cube_struct* @cube, i32 0, i32 2) ; <i32> [#uses=2]
9 %tmp.upgrd.1 = icmp slt i32 %tmp, 0 ; <i1> [#uses=1]
10 br i1 %tmp.upgrd.1, label %bb, label %cond_next
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000[diff] [blame]11cond_next: ; preds = %entry
Tanya Lattner97b38e12008-03-19 05:39:35 +0000[diff] [blame^]12 %tmp2 = load i32* getelementptr (%struct.cube_struct* @cube, i32 0, i32 1) ; <i32> [#uses=2]
13 %tmp5 = icmp slt i32 %tmp2, %tmp ; <i1> [#uses=1]
14 br i1 %tmp5, label %bb, label %bb6
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000[diff] [blame]15bb: ; preds = %cond_next, %entry
16 unreachable
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000[diff] [blame]17bb6: ; preds = %cond_next
Tanya Lattner97b38e12008-03-19 05:39:35 +0000[diff] [blame^]18 %tmp98124 = icmp sgt i32 %tmp2, 0 ; <i1> [#uses=1]
19 br i1 %tmp98124, label %bb42, label %bb99
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000[diff] [blame]20bb42: ; preds = %bb6
21 ret void
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000[diff] [blame]22bb99: ; preds = %bb6
23 ret void
24}
Tanya Lattner97b38e12008-03-19 05:39:35 +0000[diff] [blame^]25