Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / 1ac6e8ae61cfaa5729284e4707b51d30f4a390e1 / . / llvm / test / Transforms / ADCE / 2003-06-24-BasicFunctionality.ll
blob: ac2a30d40b920ed46c20e1c6dff62ea87bdfbf2b [file] [log] [blame]
David Callahanebcf9162016-12-13 16:42:18 +0000[diff] [blame]1; RUN: opt < %s -adce -S | FileCheck %s
2; RUN: opt < %s -adce -adce-remove-loops -S | FileCheck %s
Chris Lattner70f3ad62003-06-24 21:22:09 +0000[diff] [blame]3
Tanya Lattner5640bd12008-03-01 09:15:35 +0000[diff] [blame]4define void @dead_test8(i32* %data.1, i32 %idx.1) {
5entry:
David Blaikiea79ac142015-02-27 21:17:42 +0000[diff] [blame]6 %tmp.1 = load i32, i32* %data.1 ; <i32> [#uses=2]
Tanya Lattner5640bd12008-03-01 09:15:35 +0000[diff] [blame]7 %tmp.41 = icmp sgt i32 %tmp.1, 0 ; <i1> [#uses=1]
8 br i1 %tmp.41, label %no_exit.preheader, label %return
Chris Lattner70f3ad62003-06-24 21:22:09 +0000[diff] [blame]9
Tanya Lattner5640bd12008-03-01 09:15:35 +0000[diff] [blame]10no_exit.preheader: ; preds = %entry
David Blaikie79e6c742015-02-27 19:29:02 +0000[diff] [blame]11 %tmp.11 = getelementptr i32, i32* %data.1, i64 1 ; <i32*> [#uses=1]
Tanya Lattner5640bd12008-03-01 09:15:35 +0000[diff] [blame]12 %tmp.22-idxcast = sext i32 %idx.1 to i64 ; <i64> [#uses=1]
David Blaikie79e6c742015-02-27 19:29:02 +0000[diff] [blame]13 %tmp.28 = getelementptr i32, i32* %data.1, i64 %tmp.22-idxcast ; <i32*> [#uses=1]
Tanya Lattner5640bd12008-03-01 09:15:35 +0000[diff] [blame]14 br label %no_exit
Chris Lattner70f3ad62003-06-24 21:22:09 +0000[diff] [blame]15
Tanya Lattner5640bd12008-03-01 09:15:35 +0000[diff] [blame]16no_exit: ; preds = %endif, %no_exit.preheader
17 %k.1 = phi i32 [ %k.0, %endif ], [ 0, %no_exit.preheader ] ; <i32> [#uses=3]
18 %i.0 = phi i32 [ %inc.1, %endif ], [ 0, %no_exit.preheader ] ; <i32> [#uses=1]
David Blaikiea79ac142015-02-27 21:17:42 +0000[diff] [blame]19 %tmp.12 = load i32, i32* %tmp.11 ; <i32> [#uses=1]
Tanya Lattner5640bd12008-03-01 09:15:35 +0000[diff] [blame]20 %tmp.14 = sub i32 0, %tmp.12 ; <i32> [#uses=1]
David Callahanebcf9162016-12-13 16:42:18 +0000[diff] [blame]21; CHECK-NOT: %tmp.161
Tanya Lattner5640bd12008-03-01 09:15:35 +0000[diff] [blame]22 %tmp.161 = icmp ne i32 %k.1, %tmp.14 ; <i1> [#uses=1]
David Callahanebcf9162016-12-13 16:42:18 +0000[diff] [blame]23; CHECK: br label %then
Tanya Lattner5640bd12008-03-01 09:15:35 +0000[diff] [blame]24 br i1 %tmp.161, label %then, label %else
Chris Lattner70f3ad62003-06-24 21:22:09 +0000[diff] [blame]25
Tanya Lattner5640bd12008-03-01 09:15:35 +0000[diff] [blame]26then: ; preds = %no_exit
27 %inc.0 = add i32 %k.1, 1 ; <i32> [#uses=1]
28 br label %endif
Chris Lattner70f3ad62003-06-24 21:22:09 +0000[diff] [blame]29
Tanya Lattner5640bd12008-03-01 09:15:35 +0000[diff] [blame]30else: ; preds = %no_exit
31 %dec = add i32 %k.1, -1 ; <i32> [#uses=1]
32 br label %endif
Chris Lattner70f3ad62003-06-24 21:22:09 +0000[diff] [blame]33
Tanya Lattner5640bd12008-03-01 09:15:35 +0000[diff] [blame]34endif: ; preds = %else, %then
35 %k.0 = phi i32 [ %dec, %else ], [ %inc.0, %then ] ; <i32> [#uses=1]
36 store i32 2, i32* %tmp.28
37 %inc.1 = add i32 %i.0, 1 ; <i32> [#uses=2]
38 %tmp.4 = icmp slt i32 %inc.1, %tmp.1 ; <i1> [#uses=1]
39 br i1 %tmp.4, label %no_exit, label %return
Chris Lattner70f3ad62003-06-24 21:22:09 +0000[diff] [blame]40
Tanya Lattner5640bd12008-03-01 09:15:35 +0000[diff] [blame]41return: ; preds = %endif, %entry
42 ret void
Chris Lattner70f3ad62003-06-24 21:22:09 +0000[diff] [blame]43}
Tanya Lattner5640bd12008-03-01 09:15:35 +0000[diff] [blame]44