1 # RUN: not llc -march=nvptx -mcpu=sm_20 -start-after branch-folder -stop-after branch-folder -o /dev/null %s 2>&1 | FileCheck %s
5 define float @test(float %k) {
7 %0 = fadd float %k, 3.250000e+00
15 - { id: 0, class: float32regs }
16 - { id: 1, class: float32regs }
19 %0 = LD_f32_avar 0, 4, 1, 2, 32, $test_param_0
20 ; CHECK: [[@LINE+1]]:33: floating point constant does not have type 'float'
21 %1 = FADD_rnf32ri %0, float 0xH3C00