# RUN: not llc -mtriple=nvptx -mcpu=sm_20 -run-pass none -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: b32 }
  - { id: 1, class: b32 }
body: |
  bb.0.entry:
    %0 = LD_i32 0, 4, 1, 2, 32, &test_param_0, 0
  ; CHECK: [[@LINE+1]]:33: expected a floating point literal
    %1 = FADD_rnf32ri %0, float 3
    StoreRetvalI32 %1, 0
    Return
...