| # 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 |
| ... |