| Tim Northover | e3d4236 | 2013-02-01 11:40:47 +0000 | [diff] [blame] | 1 | ; RUN: llc -mtriple=aarch64-none-linux-gnu -filetype=obj < %s | llvm-objdump -disassemble - | FileCheck %s |
| Tim Northover | db2860f4 | 2014-04-14 13:18:48 +0000 | [diff] [blame^] | 2 | ; RUN: llc -mtriple=arm64-linux-gnu -filetype=obj -o - %s | llvm-objdump -disassemble - | FileCheck %s |
| Tim Northover | e0e3aef | 2013-01-31 12:12:40 +0000 | [diff] [blame] | 3 | |
| 4 | ; The encoding of lsb -> immr in the CGed bitfield instructions was wrong at one |
| 5 | ; point, in the edge case where lsb = 0. Just make sure. |
| 6 | |
| 7 | define void @test_bfi0(i32* %existing, i32* %new) { |
| 8 | ; CHECK: bfxil {{w[0-9]+}}, {{w[0-9]+}}, #0, #18 |
| 9 | |
| 10 | %oldval = load volatile i32* %existing |
| 11 | %oldval_keep = and i32 %oldval, 4294705152 ; 0xfffc_0000 |
| 12 | |
| 13 | %newval = load volatile i32* %new |
| 14 | %newval_masked = and i32 %newval, 262143 ; = 0x0003_ffff |
| 15 | |
| 16 | %combined = or i32 %newval_masked, %oldval_keep |
| 17 | store volatile i32 %combined, i32* %existing |
| 18 | |
| 19 | ret void |
| Stephen Lin | f799e3f | 2013-07-13 20:38:47 +0000 | [diff] [blame] | 20 | } |