Index: cast.ll
===================================================================
--- cast.ll
+++ cast.ll
@@ -1432,3 +1432,13 @@
   %tmp6 = bitcast <4 x half> <half undef, half undef, half undef, half 0xH3C00> to <2 x i32>
   ret <2 x i32> %tmp6
 }
+
+define i32 @test91(i32 %i) {
+; CHECK-LABEL: @test91(
+; CHECK: ashr
+; CHECK: ret
+  %a = lshr i32 %i, 16
+  %b = trunc i32 %a to i16
+  %c = sext i16 %b to i32
+  ret i32 %c
+}