1;; RUN: llc -mtriple=hexagon-unknown-elf -filetype=obj %s -o - \
2;; RUN: | llvm-objdump -s - | FileCheck %s
3
4define i32 @foo (i32 %a)
5{
6  %1 = ashr i32 %a, 16
7  ret i32 %1
8}
9
10; CHECK:   0000 00402070 00c09f52
11