147 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 22; RUN: llc < %s -mtriple=armv7-apple-ios | FileCheck %s3;rdar://80037254 5declare void @llvm.trap()6 7@G1 = external global i328@G2 = external global i329 10define i32 @f1(i32 %cond1, i32 %x1, i32 %x2, i32 %x3) {11; CHECK-LABEL: f1:12; CHECK: @ %bb.0: @ %entry13; CHECK-NEXT: cmp r0, #014; CHECK-NEXT: moveq r3, r215; CHECK-NEXT: movne r1, r216; CHECK-NEXT: add r0, r1, r317; CHECK-NEXT: bx lr18entry:19 %tmp1 = icmp eq i32 %cond1, 020 %tmp2 = select i1 %tmp1, i32 %x1, i32 %x221 %tmp3 = select i1 %tmp1, i32 %x2, i32 %x322 %tmp4 = add i32 %tmp2, %tmp323 ret i32 %tmp424}25 26@foo = external global i3227@bar = external global [250 x i8], align 128 29; CSE of cmp across BB boundary30; rdar://1066086531define void @f2() nounwind ssp {32; CHECK-LABEL: f2:33; CHECK: @ %bb.0: @ %entry34; CHECK-NEXT: movw r0, :lower16:(L_foo$non_lazy_ptr-(LPC1_0+8))35; CHECK-NEXT: movt r0, :upper16:(L_foo$non_lazy_ptr-(LPC1_0+8))36; CHECK-NEXT: LPC1_0:37; CHECK-NEXT: ldr r0, [pc, r0]38; CHECK-NEXT: ldr r2, [r0]39; CHECK-NEXT: cmp r2, #140; CHECK-NEXT: bxlt lr41; CHECK-NEXT: LBB1_1: @ %for.body.lr.ph42; CHECK-NEXT: push {lr}43; CHECK-NEXT: movw r0, :lower16:(L_bar$non_lazy_ptr-(LPC1_1+8))44; CHECK-NEXT: movle r2, #145; CHECK-NEXT: movt r0, :upper16:(L_bar$non_lazy_ptr-(LPC1_1+8))46; CHECK-NEXT: mov r1, #047; CHECK-NEXT: LPC1_1:48; CHECK-NEXT: ldr r0, [pc, r0]49; CHECK-NEXT: bl _memset50; CHECK-NEXT: trap51entry:52 %0 = load i32, ptr @foo, align 453 %cmp28 = icmp sgt i32 %0, 054 br i1 %cmp28, label %for.body.lr.ph, label %for.cond1.preheader55 56for.body.lr.ph: ; preds = %entry57 %1 = icmp sgt i32 %0, 158 %smax = select i1 %1, i32 %0, i32 159 call void @llvm.memset.p0.i32(ptr @bar, i8 0, i32 %smax, i1 false)60 call void @llvm.trap()61 unreachable62 63for.cond1.preheader: ; preds = %entry64 ret void65}66 67declare void @llvm.memset.p0.i32(ptr nocapture, i8, i32, i1) nounwind68 69; rdar://1246200670define ptr @f3(ptr %base, ptr nocapture %offset, i32 %size) nounwind {71; CHECK-LABEL: f3:72; CHECK: @ %bb.0: @ %entry73; CHECK-NEXT: ldr r3, [r1]74; CHECK-NEXT: mov r9, #075; CHECK-NEXT: cmp r3, r276; CHECK-NEXT: blt LBB2_277; CHECK-NEXT: @ %bb.1: @ %if.end78; CHECK-NEXT: sub r3, r3, r279; CHECK-NEXT: add r9, r0, r380; CHECK-NEXT: sub r2, r2, r381; CHECK-NEXT: add r2, r3, r282; CHECK-NEXT: str r2, [r1]83; CHECK-NEXT: LBB2_2: @ %return84; CHECK-NEXT: mov r0, r985; CHECK-NEXT: bx lr86entry:87%0 = load i32, ptr %offset, align 488%cmp = icmp slt i32 %0, %size89%s = sub nsw i32 %0, %size90%size2 = sub nsw i32 %size, 091br i1 %cmp, label %return, label %if.end92 93if.end:94; We are checking cse between %sub here and %s in entry block.95%sub = sub nsw i32 %0, %size296%s2 = sub nsw i32 %s, %size97%s3 = sub nsw i32 %sub, %s298store i32 %s3, ptr %offset, align 499%add.ptr = getelementptr inbounds i8, ptr %base, i32 %sub100br label %return101 102return:103%retval.0 = phi ptr [ %add.ptr, %if.end ], [ null, %entry ]104ret ptr %retval.0105}106 107; The cmp of %val should not be hoisted above the preceding conditional branch108define void @f4(ptr %ptr1, ptr %ptr2, i64 %val) {109; CHECK-LABEL: f4:110; CHECK: @ %bb.0: @ %entry111; CHECK-NEXT: cmp r0, #0112; CHECK-NEXT: movne r9, #0113; CHECK-NEXT: strne r9, [r0]114; CHECK-NEXT: orrs r0, r2, r3115; CHECK-NEXT: beq LBB3_2116; CHECK-NEXT: @ %bb.1: @ %if.end117; CHECK-NEXT: subs r0, r2, #10118; CHECK-NEXT: sbcs r0, r3, #0119; CHECK-NEXT: bxlt lr120; CHECK-NEXT: LBB3_2: @ %if.end3121; CHECK-NEXT: subs r0, r2, #10122; CHECK-NEXT: sbc r3, r3, #0123; CHECK-NEXT: stm r1, {r0, r3}124; CHECK-NEXT: bx lr125entry:126 %tobool.not = icmp eq ptr %ptr1, null127 br i1 %tobool.not, label %if.end, label %if.then128 129if.then:130 store ptr null, ptr %ptr1, align 4131 br label %if.end132 133if.end:134 %tobool1 = icmp ne i64 %val, 0135 %cmp = icmp slt i64 %val, 10136 %or.cond = and i1 %tobool1, %cmp137 br i1 %or.cond, label %cleanup, label %if.end3138 139if.end3:140 %sub = add nsw i64 %val, -10141 store i64 %sub, ptr %ptr2, align 8142 br label %cleanup143 144cleanup:145 ret void146}147