test/CodeGen/X86/fp-elim-and-no-fp-elim.ll


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32

; RUN: llc < %s -mtriple x86_64-apple-darwin | FileCheck %s

define void @bar(i32 %argc) #0 {
; CHECK-LABEL: bar:
; CHECK: pushq %rbp
entry:
  %conv = sitofp i32 %argc to double
  %mul = fmul double %conv, 3.792700e+01
  %conv1 = fptrunc double %mul to float
  %div = fdiv double 9.273700e+02, %conv
  %conv3 = fptrunc double %div to float
  tail call void @foo(float %conv1, float %conv3)
  ret void
}

define void @qux(i32 %argc) #1 {
; CHECK-LABEL: qux:
; CHECK-NOT: pushq %rbp
entry:
  %conv = sitofp i32 %argc to double
  %mul = fmul double %conv, 3.792700e+01
  %conv1 = fptrunc double %mul to float
  %div = fdiv double 9.273700e+02, %conv
  %conv3 = fptrunc double %div to float
  tail call void @foo(float %conv1, float %conv3)
  ret void
}

declare void @foo(float, float)

attributes #0 = { "no-frame-pointer-elim"="true" }
attributes #1 = { "no-frame-pointer-elim"="false" }