1 ; RUN: llc < %s -march=thumb -mattr=+thumb2,+t2xtpk,+t2dsp | FileCheck %s
3 define i32 @f3(i32 %a, i16 %x, i32 %y) {
5 ; CHECK: smlabt r0, r1, r2, r0
6 %tmp = sext i16 %x to i32 ; <i32> [#uses=1]
7 %tmp2 = ashr i32 %y, 16 ; <i32> [#uses=1]
8 %tmp3 = mul i32 %tmp2, %tmp ; <i32> [#uses=1]
9 %tmp5 = add i32 %tmp3, %a ; <i32> [#uses=1]