From 8d535859e583183591503aa63cd4559271803920 Mon Sep 17 00:00:00 2001 From: Bob Wilson Date: Sat, 6 Feb 2010 01:16:25 +0000 Subject: [PATCH] Add a test for my change to disable reassociation for i1 types. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@95465 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Transforms/Reassociate/basictest.ll | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/test/Transforms/Reassociate/basictest.ll b/test/Transforms/Reassociate/basictest.ll index e77d83d160e..086474066c5 100644 --- a/test/Transforms/Reassociate/basictest.ll +++ b/test/Transforms/Reassociate/basictest.ll @@ -203,4 +203,14 @@ define i32 @test14(i32 %X1, i32 %X2) { ; CHECK-NEXT: ret i32 } +; Do not reassociate expressions of type i1 +define i32 @test15(i32 %X1, i32 %X2, i32 %X3) { + %A = icmp ne i32 %X1, 0 + %B = icmp slt i32 %X2, %X3 + %C = and i1 %A, %B + %D = select i1 %C, i32 %X1, i32 0 + ret i32 %D +; CHECK: @test15 +; CHECK: and i1 %A, %B +}