119 lines · plain
1; RUN: llc < %s -mtriple=nvptx64 -mcpu=sm_70 -mattr=+ptx60 | FileCheck %s2; RUN: %if ptxas-sm_70 && ptxas-isa-6.0 %{ llc < %s -mtriple=nvptx64 -mcpu=sm_70 -mattr=+ptx60 | %ptxas-verify -arch=sm_70 %}3 4declare i32 @llvm.nvvm.match.any.sync.i32(i32, i32)5declare i32 @llvm.nvvm.match.any.sync.i64(i32, i64)6 7; CHECK-LABEL: .func{{.*}}match_any_sync_i328define i32 @match_any_sync_i32(i32 %mask, i32 %value) {9 ; CHECK: ld.param.b32 [[MASK:%r[0-9]+]], [match_any_sync_i32_param_0];10 ; CHECK: ld.param.b32 [[VALUE:%r[0-9]+]], [match_any_sync_i32_param_1];11 12 ; CHECK: match.any.sync.b32 [[V0:%r[0-9]+]], [[VALUE]], [[MASK]];13 %v0 = call i32 @llvm.nvvm.match.any.sync.i32(i32 %mask, i32 %value)14 ; CHECK: match.any.sync.b32 [[V1:%r[0-9]+]], [[VALUE]], 1;15 %v1 = call i32 @llvm.nvvm.match.any.sync.i32(i32 1, i32 %value)16 ; CHECK: match.any.sync.b32 [[V2:%r[0-9]+]], 2, [[MASK]];17 %v2 = call i32 @llvm.nvvm.match.any.sync.i32(i32 %mask, i32 2)18 ; CHECK: match.any.sync.b32 [[V3:%r[0-9]+]], 4, 3;19 %v3 = call i32 @llvm.nvvm.match.any.sync.i32(i32 3, i32 4)20 %sum1 = add i32 %v0, %v121 %sum2 = add i32 %v2, %v322 %sum3 = add i32 %sum1, %sum223 ret i32 %sum3;24}25 26; CHECK-LABEL: .func{{.*}}match_any_sync_i6427define i32 @match_any_sync_i64(i32 %mask, i64 %value) {28 ; CHECK: ld.param.b32 [[MASK:%r[0-9]+]], [match_any_sync_i64_param_0];29 ; CHECK: ld.param.b64 [[VALUE:%rd[0-9]+]], [match_any_sync_i64_param_1];30 31 ; CHECK: match.any.sync.b64 [[V0:%r[0-9]+]], [[VALUE]], [[MASK]];32 %v0 = call i32 @llvm.nvvm.match.any.sync.i64(i32 %mask, i64 %value)33 ; CHECK: match.any.sync.b64 [[V1:%r[0-9]+]], [[VALUE]], 1;34 %v1 = call i32 @llvm.nvvm.match.any.sync.i64(i32 1, i64 %value)35 ; CHECK: match.any.sync.b64 [[V2:%r[0-9]+]], 2, [[MASK]];36 %v2 = call i32 @llvm.nvvm.match.any.sync.i64(i32 %mask, i64 2)37 ; CHECK: match.any.sync.b64 [[V3:%r[0-9]+]], 4, 3;38 %v3 = call i32 @llvm.nvvm.match.any.sync.i64(i32 3, i64 4)39 %sum1 = add i32 %v0, %v140 %sum2 = add i32 %v2, %v341 %sum3 = add i32 %sum1, %sum242 ret i32 %sum3;43}44 45declare {i32, i1} @llvm.nvvm.match.all.sync.i32p(i32, i32)46declare {i32, i1} @llvm.nvvm.match.all.sync.i64p(i32, i64)47 48; CHECK-LABEL: .func{{.*}}match_all_sync_i32p(49define {i32,i1} @match_all_sync_i32p(i32 %mask, i32 %value) {50 ; CHECK: ld.param.b32 [[MASK:%r[0-9]+]], [match_all_sync_i32p_param_0];51 ; CHECK: ld.param.b32 [[VALUE:%r[0-9]+]], [match_all_sync_i32p_param_1];52 53 ; CHECK: match.all.sync.b32 {{%r[0-9]+\|%p[0-9]+}}, [[VALUE]], [[MASK]];54 %r1 = call {i32, i1} @llvm.nvvm.match.all.sync.i32p(i32 %mask, i32 %value)55 %v1 = extractvalue {i32, i1} %r1, 056 %p1 = extractvalue {i32, i1} %r1, 157 58 ; CHECK: match.all.sync.b32 {{%r[0-9]+\|%p[0-9]+}}, 1, [[MASK]];59 %r2 = call {i32, i1} @llvm.nvvm.match.all.sync.i32p(i32 %mask, i32 1)60 %v2 = extractvalue {i32, i1} %r2, 061 %p2 = extractvalue {i32, i1} %r2, 162 63 ; CHECK: match.all.sync.b32 {{%r[0-9]+\|%p[0-9]+}}, [[VALUE]], 2;64 %r3 = call {i32, i1} @llvm.nvvm.match.all.sync.i32p(i32 2, i32 %value)65 %v3 = extractvalue {i32, i1} %r3, 066 %p3 = extractvalue {i32, i1} %r3, 167 68 ; CHECK: match.all.sync.b32 {{%r[0-9]+\|%p[0-9]+}}, 4, 3;69 %r4 = call {i32, i1} @llvm.nvvm.match.all.sync.i32p(i32 3, i32 4)70 %v4 = extractvalue {i32, i1} %r4, 071 %p4 = extractvalue {i32, i1} %r4, 172 73 %vsum1 = add i32 %v1, %v274 %vsum2 = add i32 %v3, %v475 %vsum3 = add i32 %vsum1, %vsum276 %psum1 = add i1 %p1, %p277 %psum2 = add i1 %p3, %p478 %psum3 = add i1 %psum1, %psum279 %ret0 = insertvalue {i32, i1} undef, i32 %vsum3, 080 %ret1 = insertvalue {i32, i1} %ret0, i1 %psum3, 181 ret {i32, i1} %ret1;82}83 84; CHECK-LABEL: .func{{.*}}match_all_sync_i64p(85define {i32,i1} @match_all_sync_i64p(i32 %mask, i64 %value) {86 ; CHECK: ld.param.b32 [[MASK:%r[0-9]+]], [match_all_sync_i64p_param_0];87 ; CHECK: ld.param.b64 [[VALUE:%rd[0-9]+]], [match_all_sync_i64p_param_1];88 89 ; CHECK: match.all.sync.b64 {{%r[0-9]+\|%p[0-9]+}}, [[VALUE]], [[MASK]];90 %r1 = call {i32, i1} @llvm.nvvm.match.all.sync.i64p(i32 %mask, i64 %value)91 %v1 = extractvalue {i32, i1} %r1, 092 %p1 = extractvalue {i32, i1} %r1, 193 94 ; CHECK: match.all.sync.b64 {{%r[0-9]+\|%p[0-9]+}}, 1, [[MASK]];95 %r2 = call {i32, i1} @llvm.nvvm.match.all.sync.i64p(i32 %mask, i64 1)96 %v2 = extractvalue {i32, i1} %r2, 097 %p2 = extractvalue {i32, i1} %r2, 198 99 ; CHECK: match.all.sync.b64 {{%r[0-9]+\|%p[0-9]+}}, [[VALUE]], 2;100 %r3 = call {i32, i1} @llvm.nvvm.match.all.sync.i64p(i32 2, i64 %value)101 %v3 = extractvalue {i32, i1} %r3, 0102 %p3 = extractvalue {i32, i1} %r3, 1103 104 ; CHECK: match.all.sync.b64 {{%r[0-9]+\|%p[0-9]+}}, 4, 3;105 %r4 = call {i32, i1} @llvm.nvvm.match.all.sync.i64p(i32 3, i64 4)106 %v4 = extractvalue {i32, i1} %r4, 0107 %p4 = extractvalue {i32, i1} %r4, 1108 109 %vsum1 = add i32 %v1, %v2110 %vsum2 = add i32 %v3, %v4111 %vsum3 = add i32 %vsum1, %vsum2112 %psum1 = add i1 %p1, %p2113 %psum2 = add i1 %p3, %p4114 %psum3 = add i1 %psum1, %psum2115 %ret0 = insertvalue {i32, i1} undef, i32 %vsum3, 0116 %ret1 = insertvalue {i32, i1} %ret0, i1 %psum3, 1117 ret {i32, i1} %ret1;118}119