From 8e76764de86d7906db5123626b65f593e159d9f3 Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Mon, 11 Jan 2010 06:55:24 +0000 Subject: add one more bitfield optimization, allowing clang to generate good code on PR4216: _test_bitfield: ## @test_bitfield orl $32962, %edi movl $4294941946, %eax andq %rdi, %rax ret instead of: _test_bitfield: movl $4294941696, %ecx movl %edi, %eax orl $194, %edi orl $32768, %eax andq $250, %rdi andq %rax, %rcx movq %rdi, %rax orq %rcx, %rax ret Evan is looking into the remaining andq+imm -> andl optimization. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@93147 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Transforms/InstCombine/or.ll | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) (limited to 'test/Transforms') diff --git a/test/Transforms/InstCombine/or.ll b/test/Transforms/InstCombine/or.ll index 822dfb3..2040f3d 100644 --- a/test/Transforms/InstCombine/or.ll +++ b/test/Transforms/InstCombine/or.ll @@ -320,3 +320,19 @@ entry: ; CHECK: %E = and i32 %B, -25350 ; CHECK: ret i32 %E } + +; PR4216 +define i64 @test31(i64 %A) nounwind readnone ssp noredzone { + %B = or i64 %A, 194 + %D = and i64 %B, 250 + + %C = or i64 %A, 32768 + %E = and i64 %C, 4294941696 + + %F = or i64 %D, %E + ret i64 %F +; CHECK: @test31 +; CHECK-NEXT: %bitfield = or i64 %A, 32962 +; CHECK-NEXT: %F = and i64 %bitfield, 4294941946 +; CHECK-NEXT: ret i64 %F +} -- cgit v1.1