# RUN: not llc -march=x86-64 -run-pass none -o /dev/null %s 2>&1 | FileCheck %s

--- |

  define double @test(double %a, float %b) {
  entry:
    %c = fadd double %a, 3.250000e+00
    ret double %c
  }

...
---
name:            test
constants:
  - id:          0
    value:       'double 3.250000e+00'
# CHECK: [[@LINE+1]]:18: redefinition of constant pool item '%const.0'
  - id:          0
    value:       'double 3.250000e+00'
body: |
  bb.0.entry:
    %xmm0 = ADDSDrm killed %xmm0, %rip, 1, _, %const.0, _
    RET64 %xmm0
...