| ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 5 |
| ; RUN: llc < %s -mtriple=nvptx64 -mcpu=sm_32 | FileCheck %s |
| ; RUN: %if ptxas %{ llc < %s -mtriple=nvptx64 -mcpu=sm_32 | %ptxas-verify %} |
| |
| |
| declare i8 @llvm.nvvm.ldu.global.i.i8.p1(ptr addrspace(1) %ptr, i32 %align) |
| declare i16 @llvm.nvvm.ldu.global.i.i16.p1(ptr addrspace(1) %ptr, i32 %align) |
| declare i32 @llvm.nvvm.ldu.global.i.i32.p1(ptr addrspace(1) %ptr, i32 %align) |
| declare i64 @llvm.nvvm.ldu.global.i.i64.p1(ptr addrspace(1) %ptr, i32 %align) |
| declare ptr @llvm.nvvm.ldu.global.p.p1(ptr addrspace(1) %ptr, i32 %align) |
| declare float @llvm.nvvm.ldu.global.f.f32.p1(ptr addrspace(1) %ptr, i32 %align) |
| declare double @llvm.nvvm.ldu.global.f.f64.p1(ptr addrspace(1) %ptr, i32 %align) |
| declare half @llvm.nvvm.ldu.global.f.f16.p1(ptr addrspace(1) %ptr, i32 %align) |
| declare <2 x half> @llvm.nvvm.ldu.global.f.v2f16.p1(ptr addrspace(1) %ptr, i32 %align) |
| |
| declare i8 @llvm.nvvm.ldg.global.i.i8.p1(ptr addrspace(1) %ptr, i32 %align) |
| declare i16 @llvm.nvvm.ldg.global.i.i16.p1(ptr addrspace(1) %ptr, i32 %align) |
| declare i32 @llvm.nvvm.ldg.global.i.i32.p1(ptr addrspace(1) %ptr, i32 %align) |
| declare i64 @llvm.nvvm.ldg.global.i.i64.p1(ptr addrspace(1) %ptr, i32 %align) |
| declare ptr @llvm.nvvm.ldg.global.p.p1(ptr addrspace(1) %ptr, i32 %align) |
| declare float @llvm.nvvm.ldg.global.f.f32.p1(ptr addrspace(1) %ptr, i32 %align) |
| declare double @llvm.nvvm.ldg.global.f.f64.p1(ptr addrspace(1) %ptr, i32 %align) |
| declare half @llvm.nvvm.ldg.global.f.f16.p1(ptr addrspace(1) %ptr, i32 %align) |
| declare <2 x half> @llvm.nvvm.ldg.global.f.v2f16.p1(ptr addrspace(1) %ptr, i32 %align) |
| |
| define i8 @test_ldu_i8(ptr addrspace(1) %ptr) { |
| ; CHECK-LABEL: test_ldu_i8( |
| ; CHECK: { |
| ; CHECK-NEXT: .reg .b16 %rs<2>; |
| ; CHECK-NEXT: .reg .b32 %r<3>; |
| ; CHECK-NEXT: .reg .b64 %rd<2>; |
| ; CHECK-EMPTY: |
| ; CHECK-NEXT: // %bb.0: |
| ; CHECK-NEXT: ld.param.u64 %rd1, [test_ldu_i8_param_0]; |
| ; CHECK-NEXT: ldu.global.u8 %rs1, [%rd1]; |
| ; CHECK-NEXT: cvt.u32.u16 %r1, %rs1; |
| ; CHECK-NEXT: and.b32 %r2, %r1, 255; |
| ; CHECK-NEXT: st.param.b32 [func_retval0], %r2; |
| ; CHECK-NEXT: ret; |
| %val = tail call i8 @llvm.nvvm.ldu.global.i.i8.p1(ptr addrspace(1) %ptr, i32 4) |
| ret i8 %val |
| } |
| |
| define i16 @test_ldu_i16(ptr addrspace(1) %ptr) { |
| ; CHECK-LABEL: test_ldu_i16( |
| ; CHECK: { |
| ; CHECK-NEXT: .reg .b16 %rs<2>; |
| ; CHECK-NEXT: .reg .b32 %r<2>; |
| ; CHECK-NEXT: .reg .b64 %rd<2>; |
| ; CHECK-EMPTY: |
| ; CHECK-NEXT: // %bb.0: |
| ; CHECK-NEXT: ld.param.u64 %rd1, [test_ldu_i16_param_0]; |
| ; CHECK-NEXT: ldu.global.u16 %rs1, [%rd1]; |
| ; CHECK-NEXT: cvt.u32.u16 %r1, %rs1; |
| ; CHECK-NEXT: st.param.b32 [func_retval0], %r1; |
| ; CHECK-NEXT: ret; |
| %val = tail call i16 @llvm.nvvm.ldu.global.i.i16.p1(ptr addrspace(1) %ptr, i32 2) |
| ret i16 %val |
| } |
| |
| define i32 @test_ldu_i32(ptr addrspace(1) %ptr) { |
| ; CHECK-LABEL: test_ldu_i32( |
| ; CHECK: { |
| ; CHECK-NEXT: .reg .b32 %r<2>; |
| ; CHECK-NEXT: .reg .b64 %rd<2>; |
| ; CHECK-EMPTY: |
| ; CHECK-NEXT: // %bb.0: |
| ; CHECK-NEXT: ld.param.u64 %rd1, [test_ldu_i32_param_0]; |
| ; CHECK-NEXT: ldu.global.u32 %r1, [%rd1]; |
| ; CHECK-NEXT: st.param.b32 [func_retval0], %r1; |
| ; CHECK-NEXT: ret; |
| %val = tail call i32 @llvm.nvvm.ldu.global.i.i32.p1(ptr addrspace(1) %ptr, i32 4) |
| ret i32 %val |
| } |
| |
| define i64 @test_ldu_i64(ptr addrspace(1) %ptr) { |
| ; CHECK-LABEL: test_ldu_i64( |
| ; CHECK: { |
| ; CHECK-NEXT: .reg .b64 %rd<3>; |
| ; CHECK-EMPTY: |
| ; CHECK-NEXT: // %bb.0: |
| ; CHECK-NEXT: ld.param.u64 %rd1, [test_ldu_i64_param_0]; |
| ; CHECK-NEXT: ldu.global.u64 %rd2, [%rd1]; |
| ; CHECK-NEXT: st.param.b64 [func_retval0], %rd2; |
| ; CHECK-NEXT: ret; |
| %val = tail call i64 @llvm.nvvm.ldu.global.i.i64.p1(ptr addrspace(1) %ptr, i32 8) |
| ret i64 %val |
| } |
| |
| define ptr @test_ldu_p(ptr addrspace(1) %ptr) { |
| ; CHECK-LABEL: test_ldu_p( |
| ; CHECK: { |
| ; CHECK-NEXT: .reg .b64 %rd<3>; |
| ; CHECK-EMPTY: |
| ; CHECK-NEXT: // %bb.0: |
| ; CHECK-NEXT: ld.param.u64 %rd1, [test_ldu_p_param_0]; |
| ; CHECK-NEXT: ldu.global.u64 %rd2, [%rd1]; |
| ; CHECK-NEXT: st.param.b64 [func_retval0], %rd2; |
| ; CHECK-NEXT: ret; |
| %val = tail call ptr @llvm.nvvm.ldu.global.p.p1(ptr addrspace(1) %ptr, i32 8) |
| ret ptr %val |
| } |
| |
| define float @test_ldu_f32(ptr addrspace(1) %ptr) { |
| ; CHECK-LABEL: test_ldu_f32( |
| ; CHECK: { |
| ; CHECK-NEXT: .reg .f32 %f<2>; |
| ; CHECK-NEXT: .reg .b64 %rd<2>; |
| ; CHECK-EMPTY: |
| ; CHECK-NEXT: // %bb.0: |
| ; CHECK-NEXT: ld.param.u64 %rd1, [test_ldu_f32_param_0]; |
| ; CHECK-NEXT: ldu.global.f32 %f1, [%rd1]; |
| ; CHECK-NEXT: st.param.f32 [func_retval0], %f1; |
| ; CHECK-NEXT: ret; |
| %val = tail call float @llvm.nvvm.ldu.global.f.f32.p1(ptr addrspace(1) %ptr, i32 4) |
| ret float %val |
| } |
| |
| define double @test_ldu_f64(ptr addrspace(1) %ptr) { |
| ; CHECK-LABEL: test_ldu_f64( |
| ; CHECK: { |
| ; CHECK-NEXT: .reg .b64 %rd<2>; |
| ; CHECK-NEXT: .reg .f64 %fd<2>; |
| ; CHECK-EMPTY: |
| ; CHECK-NEXT: // %bb.0: |
| ; CHECK-NEXT: ld.param.u64 %rd1, [test_ldu_f64_param_0]; |
| ; CHECK-NEXT: ldu.global.f64 %fd1, [%rd1]; |
| ; CHECK-NEXT: st.param.f64 [func_retval0], %fd1; |
| ; CHECK-NEXT: ret; |
| %val = tail call double @llvm.nvvm.ldu.global.f.f64.p1(ptr addrspace(1) %ptr, i32 8) |
| ret double %val |
| } |
| |
| define half @test_ldu_f16(ptr addrspace(1) %ptr) { |
| ; CHECK-LABEL: test_ldu_f16( |
| ; CHECK: { |
| ; CHECK-NEXT: .reg .b16 %rs<2>; |
| ; CHECK-NEXT: .reg .b64 %rd<2>; |
| ; CHECK-EMPTY: |
| ; CHECK-NEXT: // %bb.0: |
| ; CHECK-NEXT: ld.param.u64 %rd1, [test_ldu_f16_param_0]; |
| ; CHECK-NEXT: ldu.global.u16 %rs1, [%rd1]; |
| ; CHECK-NEXT: st.param.b16 [func_retval0], %rs1; |
| ; CHECK-NEXT: ret; |
| %val = tail call half @llvm.nvvm.ldu.global.f.f16.p1(ptr addrspace(1) %ptr, i32 2) |
| ret half %val |
| } |
| |
| define <2 x half> @test_ldu_v2f16(ptr addrspace(1) %ptr) { |
| ; CHECK-LABEL: test_ldu_v2f16( |
| ; CHECK: { |
| ; CHECK-NEXT: .reg .b32 %r<2>; |
| ; CHECK-NEXT: .reg .b64 %rd<2>; |
| ; CHECK-EMPTY: |
| ; CHECK-NEXT: // %bb.0: |
| ; CHECK-NEXT: ld.param.u64 %rd1, [test_ldu_v2f16_param_0]; |
| ; CHECK-NEXT: ldu.global.u32 %r1, [%rd1]; |
| ; CHECK-NEXT: st.param.b32 [func_retval0], %r1; |
| ; CHECK-NEXT: ret; |
| %val = tail call <2 x half> @llvm.nvvm.ldu.global.f.v2f16.p1(ptr addrspace(1) %ptr, i32 4) |
| ret <2 x half> %val |
| } |
| |
| define i8 @test_ldg_i8(ptr addrspace(1) %ptr) { |
| ; CHECK-LABEL: test_ldg_i8( |
| ; CHECK: { |
| ; CHECK-NEXT: .reg .b16 %rs<2>; |
| ; CHECK-NEXT: .reg .b32 %r<2>; |
| ; CHECK-NEXT: .reg .b64 %rd<2>; |
| ; CHECK-EMPTY: |
| ; CHECK-NEXT: // %bb.0: |
| ; CHECK-NEXT: ld.param.u64 %rd1, [test_ldg_i8_param_0]; |
| ; CHECK-NEXT: ld.global.nc.u8 %rs1, [%rd1]; |
| ; CHECK-NEXT: cvt.u32.u8 %r1, %rs1; |
| ; CHECK-NEXT: st.param.b32 [func_retval0], %r1; |
| ; CHECK-NEXT: ret; |
| %val = tail call i8 @llvm.nvvm.ldg.global.i.i8.p1(ptr addrspace(1) %ptr, i32 4) |
| ret i8 %val |
| } |
| |
| define i16 @test_ldg_i16(ptr addrspace(1) %ptr) { |
| ; CHECK-LABEL: test_ldg_i16( |
| ; CHECK: { |
| ; CHECK-NEXT: .reg .b16 %rs<2>; |
| ; CHECK-NEXT: .reg .b32 %r<2>; |
| ; CHECK-NEXT: .reg .b64 %rd<2>; |
| ; CHECK-EMPTY: |
| ; CHECK-NEXT: // %bb.0: |
| ; CHECK-NEXT: ld.param.u64 %rd1, [test_ldg_i16_param_0]; |
| ; CHECK-NEXT: ld.global.nc.u16 %rs1, [%rd1]; |
| ; CHECK-NEXT: cvt.u32.u16 %r1, %rs1; |
| ; CHECK-NEXT: st.param.b32 [func_retval0], %r1; |
| ; CHECK-NEXT: ret; |
| %val = tail call i16 @llvm.nvvm.ldg.global.i.i16.p1(ptr addrspace(1) %ptr, i32 2) |
| ret i16 %val |
| } |
| |
| define i32 @test_ldg_i32(ptr addrspace(1) %ptr) { |
| ; CHECK-LABEL: test_ldg_i32( |
| ; CHECK: { |
| ; CHECK-NEXT: .reg .b32 %r<2>; |
| ; CHECK-NEXT: .reg .b64 %rd<2>; |
| ; CHECK-EMPTY: |
| ; CHECK-NEXT: // %bb.0: |
| ; CHECK-NEXT: ld.param.u64 %rd1, [test_ldg_i32_param_0]; |
| ; CHECK-NEXT: ld.global.nc.u32 %r1, [%rd1]; |
| ; CHECK-NEXT: st.param.b32 [func_retval0], %r1; |
| ; CHECK-NEXT: ret; |
| %val = tail call i32 @llvm.nvvm.ldg.global.i.i32.p1(ptr addrspace(1) %ptr, i32 4) |
| ret i32 %val |
| } |
| |
| define i64 @test_ldg_i64(ptr addrspace(1) %ptr) { |
| ; CHECK-LABEL: test_ldg_i64( |
| ; CHECK: { |
| ; CHECK-NEXT: .reg .b64 %rd<3>; |
| ; CHECK-EMPTY: |
| ; CHECK-NEXT: // %bb.0: |
| ; CHECK-NEXT: ld.param.u64 %rd1, [test_ldg_i64_param_0]; |
| ; CHECK-NEXT: ld.global.nc.u64 %rd2, [%rd1]; |
| ; CHECK-NEXT: st.param.b64 [func_retval0], %rd2; |
| ; CHECK-NEXT: ret; |
| %val = tail call i64 @llvm.nvvm.ldg.global.i.i64.p1(ptr addrspace(1) %ptr, i32 8) |
| ret i64 %val |
| } |
| |
| define ptr @test_ldg_p(ptr addrspace(1) %ptr) { |
| ; CHECK-LABEL: test_ldg_p( |
| ; CHECK: { |
| ; CHECK-NEXT: .reg .b64 %rd<3>; |
| ; CHECK-EMPTY: |
| ; CHECK-NEXT: // %bb.0: |
| ; CHECK-NEXT: ld.param.u64 %rd1, [test_ldg_p_param_0]; |
| ; CHECK-NEXT: ld.global.nc.u64 %rd2, [%rd1]; |
| ; CHECK-NEXT: st.param.b64 [func_retval0], %rd2; |
| ; CHECK-NEXT: ret; |
| %val = tail call ptr @llvm.nvvm.ldg.global.p.p1(ptr addrspace(1) %ptr, i32 8) |
| ret ptr %val |
| } |
| |
| define float @test_ldg_f32(ptr addrspace(1) %ptr) { |
| ; CHECK-LABEL: test_ldg_f32( |
| ; CHECK: { |
| ; CHECK-NEXT: .reg .f32 %f<2>; |
| ; CHECK-NEXT: .reg .b64 %rd<2>; |
| ; CHECK-EMPTY: |
| ; CHECK-NEXT: // %bb.0: |
| ; CHECK-NEXT: ld.param.u64 %rd1, [test_ldg_f32_param_0]; |
| ; CHECK-NEXT: ld.global.nc.f32 %f1, [%rd1]; |
| ; CHECK-NEXT: st.param.f32 [func_retval0], %f1; |
| ; CHECK-NEXT: ret; |
| %val = tail call float @llvm.nvvm.ldg.global.f.f32.p1(ptr addrspace(1) %ptr, i32 4) |
| ret float %val |
| } |
| |
| define double @test_ldg_f64(ptr addrspace(1) %ptr) { |
| ; CHECK-LABEL: test_ldg_f64( |
| ; CHECK: { |
| ; CHECK-NEXT: .reg .b64 %rd<2>; |
| ; CHECK-NEXT: .reg .f64 %fd<2>; |
| ; CHECK-EMPTY: |
| ; CHECK-NEXT: // %bb.0: |
| ; CHECK-NEXT: ld.param.u64 %rd1, [test_ldg_f64_param_0]; |
| ; CHECK-NEXT: ld.global.nc.f64 %fd1, [%rd1]; |
| ; CHECK-NEXT: st.param.f64 [func_retval0], %fd1; |
| ; CHECK-NEXT: ret; |
| %val = tail call double @llvm.nvvm.ldg.global.f.f64.p1(ptr addrspace(1) %ptr, i32 8) |
| ret double %val |
| } |
| |
| define half @test_ldg_f16(ptr addrspace(1) %ptr) { |
| ; CHECK-LABEL: test_ldg_f16( |
| ; CHECK: { |
| ; CHECK-NEXT: .reg .b16 %rs<2>; |
| ; CHECK-NEXT: .reg .b64 %rd<2>; |
| ; CHECK-EMPTY: |
| ; CHECK-NEXT: // %bb.0: |
| ; CHECK-NEXT: ld.param.u64 %rd1, [test_ldg_f16_param_0]; |
| ; CHECK-NEXT: ld.global.nc.u16 %rs1, [%rd1]; |
| ; CHECK-NEXT: st.param.b16 [func_retval0], %rs1; |
| ; CHECK-NEXT: ret; |
| %val = tail call half @llvm.nvvm.ldg.global.f.f16.p1(ptr addrspace(1) %ptr, i32 2) |
| ret half %val |
| } |
| |
| define <2 x half> @test_ldg_v2f16(ptr addrspace(1) %ptr) { |
| ; CHECK-LABEL: test_ldg_v2f16( |
| ; CHECK: { |
| ; CHECK-NEXT: .reg .b32 %r<2>; |
| ; CHECK-NEXT: .reg .b64 %rd<2>; |
| ; CHECK-EMPTY: |
| ; CHECK-NEXT: // %bb.0: |
| ; CHECK-NEXT: ld.param.u64 %rd1, [test_ldg_v2f16_param_0]; |
| ; CHECK-NEXT: ld.global.nc.u32 %r1, [%rd1]; |
| ; CHECK-NEXT: st.param.b32 [func_retval0], %r1; |
| ; CHECK-NEXT: ret; |
| %val = tail call <2 x half> @llvm.nvvm.ldg.global.f.v2f16.p1(ptr addrspace(1) %ptr, i32 4) |
| ret <2 x half> %val |
| } |
| |
| @g = addrspace(1) global i32 0 |
| |
| define i32 @test_ldg_asi() { |
| ; CHECK-LABEL: test_ldg_asi( |
| ; CHECK: { |
| ; CHECK-NEXT: .reg .b32 %r<2>; |
| ; CHECK-EMPTY: |
| ; CHECK-NEXT: // %bb.0: |
| ; CHECK-NEXT: ld.global.nc.u32 %r1, [g+4]; |
| ; CHECK-NEXT: st.param.b32 [func_retval0], %r1; |
| ; CHECK-NEXT: ret; |
| %val = tail call i32 @llvm.nvvm.ldg.global.i.i32.p1(ptr addrspace(1) getelementptr (i8, ptr addrspace(1) @g, i32 4), i32 4) |
| ret i32 %val |
| } |
| |
| define i32 @test_lug_asi() { |
| ; CHECK-LABEL: test_lug_asi( |
| ; CHECK: { |
| ; CHECK-NEXT: .reg .b32 %r<2>; |
| ; CHECK-EMPTY: |
| ; CHECK-NEXT: // %bb.0: |
| ; CHECK-NEXT: ldu.global.u32 %r1, [g+4]; |
| ; CHECK-NEXT: st.param.b32 [func_retval0], %r1; |
| ; CHECK-NEXT: ret; |
| %val = tail call i32 @llvm.nvvm.ldu.global.i.i32.p1(ptr addrspace(1) getelementptr (i8, ptr addrspace(1) @g, i32 4), i32 4) |
| ret i32 %val |
| } |