1; RUN: llc < %s -march=x86-64 | FileCheck %s
2
3define i64 @test(i64 %A) {
4; CHECK: @test
5; CHECK: shrq $54
6; CHECK: andq $1020
7; CHECK: ret
8    %B = lshr i64 %A, 56
9    %C = shl i64 %B, 2
10    ret i64 %C
11}
12