2012-04-22 18:11:23 +08:00
|
|
|
; RUN: opt < %s -reassociate -instcombine -S | FileCheck %s
|
2006-03-04 17:35:02 +08:00
|
|
|
|
2008-03-19 12:36:04 +08:00
|
|
|
define i32 @f(i32 %a, i32 %b) {
|
2012-04-22 18:11:23 +08:00
|
|
|
; CHECK: @f
|
|
|
|
; CHECK: mul
|
|
|
|
; CHECK: mul
|
|
|
|
; CHECK-NOT: mul
|
|
|
|
; CHECK: ret
|
|
|
|
|
|
|
|
entry:
|
|
|
|
%tmp.2 = mul i32 %a, %a
|
|
|
|
%tmp.5 = shl i32 %a, 1
|
|
|
|
%tmp.6 = mul i32 %tmp.5, %b
|
|
|
|
%tmp.10 = mul i32 %b, %b
|
|
|
|
%tmp.7 = add i32 %tmp.6, %tmp.2
|
|
|
|
%tmp.11 = add i32 %tmp.7, %tmp.10
|
2008-03-19 12:36:04 +08:00
|
|
|
ret i32 %tmp.11
|
2006-03-04 17:35:02 +08:00
|
|
|
}
|
|
|
|
|