From 72a406eb14ab837aeb25b84c1efff3a835e3c31a Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Sat, 1 Jan 2005 16:00:56 +0000 Subject: [PATCH] Add new test to make sure simplifycfg doesn't leave around trivially dead instructions. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@19211 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Transforms/SimplifyCFG/DeadSetCC.ll | 26 ++++++++++++++++++++++++ 1 file changed, 26 insertions(+) create mode 100644 test/Transforms/SimplifyCFG/DeadSetCC.ll diff --git a/test/Transforms/SimplifyCFG/DeadSetCC.ll b/test/Transforms/SimplifyCFG/DeadSetCC.ll new file mode 100644 index 00000000000..70ccfc8c13b --- /dev/null +++ b/test/Transforms/SimplifyCFG/DeadSetCC.ll @@ -0,0 +1,26 @@ +; RUN: llvm-as < %s | opt -simplifycfg | llvm-dis | not grep seteq + +; Check that simplifycfg deletes a dead 'seteq' instruction when it +; folds a conditional branch into a switch instruction. + +declare void %foo() +declare void %bar() + +void %testcfg(uint %V) { + %C = seteq uint %V, 18 + %D = seteq uint %V, 180 + %E = or bool %C, %D + br bool %E, label %L1, label %Sw +Sw: + switch uint %V, label %L1 [ + uint 15, label %L2 + uint 16, label %L2 + ] +L1: + call void %foo() + ret void +L2: + call void %bar() + ret void +} + -- 2.34.1