1 # RUN: not llc -march=x86-64 -run-pass none -o /dev/null %s 2>&1 | FileCheck %s
5 define double @test(double %a, float %b) {
7 %c = fadd double %a, 3.250000e+00
16 value: 'double 3.250000e+00'
17 # CHECK: [[@LINE+1]]:18: redefinition of constant pool item '%const.0'
19 value: 'double 3.250000e+00'
22 %xmm0 = ADDSDrm killed %xmm0, %rip, 1, _, %const.0, _