| ; RUN: llc -mtriple=aarch64-linux-gnu -filetype=obj -o - %s | llvm-objdump -d - | FileCheck %s |
| |
| ; The encoding of lsb -> immr in the CGed bitfield instructions was wrong at one |
| ; point, in the edge case where lsb = 0. Just make sure. |
| |
| define void @test_bfi0(ptr %existing, ptr %new) { |
| ; CHECK: bfxil {{w[0-9]+}}, {{w[0-9]+}}, #0, #18 |
| |
| %oldval = load volatile i32, ptr %existing |
| %oldval_keep = and i32 %oldval, 4294705152 ; 0xfffc_0000 |
| |
| %newval = load volatile i32, ptr %new |
| %newval_masked = and i32 %newval, 262143 ; = 0x0003_ffff |
| |
| %combined = or i32 %newval_masked, %oldval_keep |
| store volatile i32 %combined, ptr %existing |
| |
| ret void |
| } |