137 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc -verify-machineinstrs -mtriple=arm-unknown-linux < %s | FileCheck %s3 4; Check CSR split can work properly for tests below.5 6@a = common dso_local local_unnamed_addr global i32 0, align 47 8define dso_local signext i32 @test1(ptr %b) local_unnamed_addr {9; CHECK-LABEL: test1:10; CHECK: @ %bb.0: @ %entry11; CHECK-NEXT: ldr r1, .LCPI0_012; CHECK-NEXT: ldr r1, [r1]13; CHECK-NEXT: cmp r1, r014; CHECK-NEXT: movne pc, lr15; CHECK-NEXT: .LBB0_1: @ %if.then16; CHECK-NEXT: push {r4, lr}17; CHECK-NEXT: mov r4, r018; CHECK-NEXT: bl callVoid19; CHECK-NEXT: mov r0, r420; CHECK-NEXT: pop {r4, lr}21; CHECK-NEXT: b callNonVoid22; CHECK-NEXT: .p2align 223; CHECK-NEXT: @ %bb.2:24; CHECK-NEXT: .LCPI0_0:25; CHECK-NEXT: .long a26entry:27 %0 = load i32, ptr @a, align 4, !tbaa !228 %conv = sext i32 %0 to i6429 %1 = inttoptr i64 %conv to ptr30 %cmp = icmp eq ptr %1, %b31 br i1 %cmp, label %if.then, label %if.end32 33if.then: ; preds = %entry34 %call = tail call signext i32 @callVoid()35 %call2 = tail call signext i32 @callNonVoid(ptr %b)36 br label %if.end37 38if.end: ; preds = %if.then, %entry39 %retval.0 = phi i32 [ %call2, %if.then ], [ undef, %entry ]40 ret i32 %retval.041}42 43declare signext i32 @callVoid(...) local_unnamed_addr44 45declare signext i32 @callNonVoid(ptr) local_unnamed_addr46 47define dso_local signext i32 @test2(ptr %p1) local_unnamed_addr {48; CHECK-LABEL: test2:49; CHECK: @ %bb.0: @ %entry50; CHECK-NEXT: cmp r0, #051; CHECK-NEXT: beq .LBB1_252; CHECK-NEXT: @ %bb.1: @ %if.end53; CHECK-NEXT: ldr r1, .LCPI1_054; CHECK-NEXT: ldr r1, [r1]55; CHECK-NEXT: cmp r1, r056; CHECK-NEXT: beq .LBB1_357; CHECK-NEXT: .LBB1_2: @ %return58; CHECK-NEXT: mov r0, #059; CHECK-NEXT: mov pc, lr60; CHECK-NEXT: .LBB1_3: @ %if.then261; CHECK-NEXT: push {r4, lr}62; CHECK-NEXT: mov r4, r063; CHECK-NEXT: bl callVoid64; CHECK-NEXT: mov r0, r465; CHECK-NEXT: pop {r4, lr}66; CHECK-NEXT: b callNonVoid67; CHECK-NEXT: .p2align 268; CHECK-NEXT: @ %bb.4:69; CHECK-NEXT: .LCPI1_0:70; CHECK-NEXT: .long a71entry:72 %tobool = icmp eq ptr %p1, null73 br i1 %tobool, label %return, label %if.end74 75if.end: ; preds = %entry76 %0 = load i32, ptr @a, align 4, !tbaa !277 %conv = sext i32 %0 to i6478 %1 = inttoptr i64 %conv to ptr79 %cmp = icmp eq ptr %1, %p180 br i1 %cmp, label %if.then2, label %return81 82if.then2: ; preds = %if.end83 %call = tail call signext i32 @callVoid()84 %call3 = tail call signext i32 @callNonVoid(ptr nonnull %p1)85 br label %return86 87return: ; preds = %if.end, %entry, %if.then288 %retval.0 = phi i32 [ %call3, %if.then2 ], [ 0, %entry ], [ 0, %if.end ]89 ret i32 %retval.090}91 92 93define dso_local ptr @test3(ptr nocapture %p1, i8 zeroext %p2) local_unnamed_addr {94; CHECK-LABEL: test3:95; CHECK: @ %bb.0: @ %entry96; CHECK-NEXT: push {r4, r5, r11, lr}97; CHECK-NEXT: ldr r4, [r0]98; CHECK-NEXT: cmp r4, #099; CHECK-NEXT: beq .LBB2_2100; CHECK-NEXT: @ %bb.1: @ %land.rhs101; CHECK-NEXT: mov r5, r0102; CHECK-NEXT: mov r0, r4103; CHECK-NEXT: bl bar104; CHECK-NEXT: str r0, [r5]105; CHECK-NEXT: .LBB2_2: @ %land.end106; CHECK-NEXT: mov r0, r4107; CHECK-NEXT: pop {r4, r5, r11, lr}108; CHECK-NEXT: mov pc, lr109entry:110 %0 = load ptr, ptr %p1, align 8, !tbaa !6111 %tobool = icmp eq ptr %0, null112 br i1 %tobool, label %land.end, label %land.rhs113 114land.rhs: ; preds = %entry115 %call = tail call ptr @bar(ptr nonnull %0, i8 zeroext %p2)116 store ptr %call, ptr %p1, align 8, !tbaa !6117 br label %land.end118 119land.end: ; preds = %entry, %land.rhs120 ret ptr %0121}122 123declare ptr @bar(ptr, i8 zeroext) local_unnamed_addr124 125 126!llvm.module.flags = !{!0}127!llvm.ident = !{!1}128 129!0 = !{i32 1, !"wchar_size", i32 4}130!1 = !{!"clang version 10.0.0 (trunk 367381) (llvm/trunk 367388)"}131!2 = !{!3, !3, i64 0}132!3 = !{!"int", !4, i64 0}133!4 = !{!"omnipotent char", !5, i64 0}134!5 = !{!"Simple C/C++ TBAA"}135!6 = !{!7, !7, i64 0}136!7 = !{!"any pointer", !4, i64 0}137