1; RUN: llc -mtriple=thumb-eabi -mcpu=arm1156t2-s -mattr=+thumb2 %s -o - | FileCheck %s
2
3define i32 @f1(i32 %a, i32 %b, i32 %c) {
4    %tmp1 = mul i32 %a, %b
5    %tmp2 = sub i32 %c, %tmp1
6    ret i32 %tmp2
7}
8; CHECK-LABEL: f1:
9; CHECK: 	mls	r0, r0, r1, r2
10
11; sub doesn't commute, so no mls for this one
12define i32 @f2(i32 %a, i32 %b, i32 %c) {
13    %tmp1 = mul i32 %a, %b
14    %tmp2 = sub i32 %tmp1, %c
15    ret i32 %tmp2
16}
17; CHECK-LABEL: f2:
18; CHECK: 	muls	r0, r1, r0
19
20