# RUN: not llc -march=nvptx -mcpu=sm_20 -start-after branch-folder -stop-after branch-folder -o /dev/null %s 2>&1 | FileCheck %s

--- |

  define float @test(float %k) {
  entry:
    %0 = fadd float %k, 3.250000e+00
    ret float %0
  }

...
---
name:            test
registers:
  - { id: 0, class: float32regs }
  - { id: 1, class: float32regs }
body: |
  bb.0.entry:
    %0 = LD_f32_avar 0, 4, 1, 2, 32, $test_param_0
  ; CHECK: [[@LINE+1]]:33: floating point constant does not have type 'float'
    %1 = FADD_rnf32ri %0, float 0xH3C00
    StoreRetvalF32 %1, 0
    Return
...