1; REQUIRES: asserts
2; RUN: llc < %s -verify-machineinstrs -march=x86 -mcpu=core2 -pre-RA-sched=source -enable-misched -verify-misched -debug-only=misched -o - 2>&1 > /dev/null | FileCheck %s
3;
4; Test scheduling of copy instructions.
5;
6; Argument copies should be hoisted to the top of the block.
7; Return copies should be sunk to the end.
8; MUL_HiLo PhysReg use copies should be just above the mul.
9; MUL_HiLo PhysReg def copies should be just below the mul.
10;
11; CHECK: *** Final schedule for BB#1 ***
12; CHECK:      %EAX<def> = COPY
13; CHECK-NEXT: MUL32r %vreg{{[0-9]+}}, %EAX<imp-def>, %EDX<imp-def>, %EFLAGS<imp-def,dead>, %EAX<imp-use>;
14; CHECK-NEXT: COPY %E{{[AD]}}X
15; CHECK-NEXT: COPY %E{{[AD]}}X
16; CHECK:      DIVSSrm
17define i64 @mulhoist(i32 %a, i32 %b) #0 {
18entry:
19  br label %body
20
21body:
22  %convb = sitofp i32 %b to float
23  ; Generates an iMUL64r to legalize types.
24  %aa = zext i32 %a to i64
25  %mul = mul i64 %aa, 74383
26  ; Do some dependent long latency stuff.
27  %trunc = trunc i64 %mul to i32
28  %convm = sitofp i32 %trunc to float
29  %divm = fdiv float %convm, 0.75
30  ;%addmb = fadd float %divm, %convb
31  ;%divmb = fdiv float %addmb, 0.125
32  ; Do some independent long latency stuff.
33  %conva = sitofp i32 %a to float
34  %diva = fdiv float %conva, 0.75
35  %addab = fadd float %diva, %convb
36  %divab = fdiv float %addab, 0.125
37  br label %end
38
39end:
40  %val = fptosi float %divab to i64
41  %add = add i64 %mul, %val
42  ret i64 %add
43}
44
45attributes #0 = { nounwind ssp uwtable "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "unsafe-fp-math"="false" "use-soft-float"="false" }
46
47!0 = !{!"float", !1}
48!1 = !{!"omnipotent char", !2}
49!2 = !{!"Simple C/C++ TBAA"}
50