146 lines · plain
1; RUN: llc -mtriple=xcore-unknown-unknown < %s | FileCheck %s2; RUN: llc -mtriple=xcore-unknown-unknown -O=0 < %s | FileCheck %s -check-prefix=PHINODE3 4declare ptr addrspace(1) @llvm.xcore.getst.p1.p1(ptr addrspace(1) %r)5declare void @llvm.xcore.msync.p1(ptr addrspace(1) %r)6declare void @llvm.xcore.ssync()7declare void @llvm.xcore.mjoin.p1(ptr addrspace(1) %r)8declare void @llvm.xcore.initsp.p1(ptr addrspace(1) %r, ptr %value)9declare void @llvm.xcore.initpc.p1(ptr addrspace(1) %r, ptr %value)10declare void @llvm.xcore.initlr.p1(ptr addrspace(1) %r, ptr %value)11declare void @llvm.xcore.initcp.p1(ptr addrspace(1) %r, ptr %value)12declare void @llvm.xcore.initdp.p1(ptr addrspace(1) %r, ptr %value)13 14define ptr addrspace(1) @test_getst(ptr addrspace(1) %r) {15; CHECK-LABEL: test_getst:16; CHECK: getst r0, res[r0]17 %result = call ptr addrspace(1) @llvm.xcore.getst.p1.p1(ptr addrspace(1) %r)18 ret ptr addrspace(1) %result19}20 21define void @test_ssync() {22; CHECK-LABEL: test_ssync:23; CHECK: ssync24 call void @llvm.xcore.ssync()25 ret void26}27 28define void @test_mjoin(ptr addrspace(1) %r) {29; CHECK-LABEL: test_mjoin:30; CHECK: mjoin res[r0]31 call void @llvm.xcore.mjoin.p1(ptr addrspace(1) %r)32 ret void33}34 35define void @test_initsp(ptr addrspace(1) %t, ptr %src) {36; CHECK-LABEL: test_initsp:37; CHECK: init t[r0]:sp, r138 call void @llvm.xcore.initsp.p1(ptr addrspace(1) %t, ptr %src)39 ret void40}41 42define void @test_initpc(ptr addrspace(1) %t, ptr %src) {43; CHECK-LABEL: test_initpc:44; CHECK: init t[r0]:pc, r145 call void @llvm.xcore.initpc.p1(ptr addrspace(1) %t, ptr %src)46 ret void47}48 49define void @test_initlr(ptr addrspace(1) %t, ptr %src) {50; CHECK-LABEL: test_initlr:51; CHECK: init t[r0]:lr, r152 call void @llvm.xcore.initlr.p1(ptr addrspace(1) %t, ptr %src)53 ret void54}55 56define void @test_initcp(ptr addrspace(1) %t, ptr %src) {57; CHECK-LABEL: test_initcp:58; CHECK: init t[r0]:cp, r159 call void @llvm.xcore.initcp.p1(ptr addrspace(1) %t, ptr %src)60 ret void61}62 63define void @test_initdp(ptr addrspace(1) %t, ptr %src) {64; CHECK-LABEL: test_initdp:65; CHECK: init t[r0]:dp, r166 call void @llvm.xcore.initdp.p1(ptr addrspace(1) %t, ptr %src)67 ret void68}69 70@tl = thread_local global [3 x i32] zeroinitializer71@tle = external thread_local global [2 x i32]72 73define ptr @f_tl() {74; CHECK-LABEL: f_tl:75; CHECK: get r11, id76; CHECK: ldaw [[R0:r[0-9]]], dp[tl]77; CHECK: ldc [[R1:r[0-9]]], 878; CHECK: ldc [[R2:r[0-9]]], 1279; r0 = id*12 + 8 + &tl80; CHECK: lmul {{r[0-9]}}, r0, r11, [[R2]], [[R0]], [[R1]]81 ret ptr getelementptr inbounds ([3 x i32], ptr @tl, i32 0, i32 2)82}83 84define ptr @f_tle() {85; CHECK-LABEL: f_tle:86; CHECK: get r11, id87; CHECK: shl [[R0:r[0-9]]], r11, 388; CHECK: ldaw [[R1:r[0-9]]], dp[tle]89; r0 = &tl + id*890; CHECK: add r0, [[R1]], [[R0]]91 ret ptr @tle92}93 94define i32 @f_tlExpr () {95; CHECK-LABEL: f_tlExpr:96; CHECK: get r11, id97; CHECK: shl [[R0:r[0-9]]], r11, 398; CHECK: ldaw [[R1:r[0-9]]], dp[tle]99; CHECK: add [[R2:r[0-9]]], [[R1]], [[R0]]100; CHECK: add r0, [[R2]], [[R2]]101 ret i32 add(102 i32 ptrtoint( ptr @tle to i32),103 i32 ptrtoint( ptr @tle to i32))104}105 106define void @phiNode1() {107; N.B. lowering of duplicate constexpr in a PHI node requires -O=0108; PHINODE-LABEL: phiNode1:109; PHINODE: get r11, id110; PHINODE-LABEL: .LBB11_1:111; PHINODE: get r11, id112; PHINODE: bu .LBB11_1113entry:114 br label %ConstantExpPhiNode115ConstantExpPhiNode:116 %ptr = phi ptr [ getelementptr inbounds ([3 x i32], ptr @tl, i32 0, i32 1), %entry ],117 [ getelementptr inbounds ([3 x i32], ptr @tl, i32 0, i32 1), %ConstantExpPhiNode ]118 br label %ConstantExpPhiNode119exit:120 ret void121}122 123define void @phiNode2( i1 %bool) {124; N.B. check an extra 'Node_crit_edge' (LBB12_1) is inserted125; PHINODE-LABEL: phiNode2:126; PHINODE: bf {{r[0-9]}}, .LBB12_3127; PHINODE: bu .LBB12_1128; PHINODE-LABEL: .LBB12_1:129; PHINODE: get r11, id130; PHINODE-LABEL: .LBB12_2:131; PHINODE: get r11, id132; PHINODE: bu .LBB12_2133; PHINODE-LABEL: .LBB12_3:134entry:135 br i1 %bool, label %ConstantExpPhiNode, label %exit136ConstantExpPhiNode:137 %ptr = phi ptr [ getelementptr inbounds ([3 x i32], ptr @tl, i32 0, i32 1), %entry ],138 [ getelementptr inbounds ([3 x i32], ptr @tl, i32 0, i32 1), %ConstantExpPhiNode ]139 br label %ConstantExpPhiNode140exit:141 ret void142}143 144; CHECK-LABEL: tl:145; CHECK: .space 96146