294 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc -mtriple=aarch64-linux-gnu -verify-machineinstrs -o - %s | FileCheck %s3 4%struct_type = type { [10000 x i32], i32, i32 }5 6define void @test1(ptr %s, i32 %n) {7; CHECK-LABEL: test1:8; CHECK: // %bb.0: // %entry9; CHECK-NEXT: ldr x8, [x0]10; CHECK-NEXT: mov w9, wzr11; CHECK-NEXT: add x8, x8, #9, lsl #12 // =3686412; CHECK-NEXT: cmp w9, w113; CHECK-NEXT: b.ge .LBB0_214; CHECK-NEXT: .LBB0_1: // %while_body15; CHECK-NEXT: // =>This Inner Loop Header: Depth=116; CHECK-NEXT: str w9, [x8, #3140]17; CHECK-NEXT: add w9, w9, #118; CHECK-NEXT: str w9, [x8, #3136]19; CHECK-NEXT: cmp w9, w120; CHECK-NEXT: b.lt .LBB0_121; CHECK-NEXT: .LBB0_2: // %while_end22; CHECK-NEXT: ret23entry:24 %struct = load ptr, ptr %s25 br label %while_cond26 27while_cond:28 %phi = phi i32 [ 0, %entry ], [ %i, %while_body ]29 %gep0 = getelementptr %struct_type, ptr %struct, i64 0, i32 130 %gep1 = getelementptr %struct_type, ptr %struct, i64 0, i32 231 %cmp = icmp slt i32 %phi, %n32 br i1 %cmp, label %while_body, label %while_end33 34while_body:35 %i = add i32 %phi, 136 store i32 %i, ptr %gep037 store i32 %phi, ptr %gep138 br label %while_cond39 40while_end:41 ret void42}43 44define void @test2(ptr %struct, i32 %n) {45; CHECK-LABEL: test2:46; CHECK: // %bb.0: // %entry47; CHECK-NEXT: cbz x0, .LBB1_348; CHECK-NEXT: // %bb.1: // %while_cond.preheader49; CHECK-NEXT: mov w9, wzr50; CHECK-NEXT: add x8, x0, #9, lsl #12 // =3686451; CHECK-NEXT: cmp w9, w152; CHECK-NEXT: b.ge .LBB1_353; CHECK-NEXT: .LBB1_2: // %while_body54; CHECK-NEXT: // =>This Inner Loop Header: Depth=155; CHECK-NEXT: str w9, [x8, #3140]56; CHECK-NEXT: add w9, w9, #157; CHECK-NEXT: str w9, [x8, #3136]58; CHECK-NEXT: cmp w9, w159; CHECK-NEXT: b.lt .LBB1_260; CHECK-NEXT: .LBB1_3: // %while_end61; CHECK-NEXT: ret62entry:63 %cmp = icmp eq ptr %struct, null64 br i1 %cmp, label %while_end, label %while_cond65 66while_cond:67 %phi = phi i32 [ 0, %entry ], [ %i, %while_body ]68 %gep0 = getelementptr %struct_type, ptr %struct, i64 0, i32 169 %gep1 = getelementptr %struct_type, ptr %struct, i64 0, i32 270 %cmp1 = icmp slt i32 %phi, %n71 br i1 %cmp1, label %while_body, label %while_end72 73while_body:74 %i = add i32 %phi, 175 store i32 %i, ptr %gep076 store i32 %phi, ptr %gep177 br label %while_cond78 79while_end:80 ret void81}82 83define void @test3(ptr %s1, ptr %s2, i1 %cond, i32 %n) {84; CHECK-LABEL: test3:85; CHECK: // %bb.0: // %entry86; CHECK-NEXT: tst w2, #0x187; CHECK-NEXT: csel x8, x1, x0, ne88; CHECK-NEXT: cbz x8, .LBB2_389; CHECK-NEXT: // %bb.1: // %while_cond.preheader90; CHECK-NEXT: mov w9, wzr91; CHECK-NEXT: add x8, x8, #9, lsl #12 // =3686492; CHECK-NEXT: cmp w9, w393; CHECK-NEXT: b.ge .LBB2_394; CHECK-NEXT: .LBB2_2: // %while_body95; CHECK-NEXT: // =>This Inner Loop Header: Depth=196; CHECK-NEXT: str w9, [x8, #3140]97; CHECK-NEXT: add w9, w9, #198; CHECK-NEXT: str w9, [x8, #3136]99; CHECK-NEXT: cmp w9, w3100; CHECK-NEXT: b.lt .LBB2_2101; CHECK-NEXT: .LBB2_3: // %while_end102; CHECK-NEXT: ret103entry:104 br i1 %cond, label %if_true, label %if_end105 106if_true:107 br label %if_end108 109if_end:110 %struct = phi ptr [ %s1, %entry ], [ %s2, %if_true ]111 %cmp = icmp eq ptr %struct, null112 br i1 %cmp, label %while_end, label %while_cond113 114while_cond:115 %phi = phi i32 [ 0, %if_end ], [ %i, %while_body ]116 %gep0 = getelementptr %struct_type, ptr %struct, i64 0, i32 1117 %gep1 = getelementptr %struct_type, ptr %struct, i64 0, i32 2118 %cmp1 = icmp slt i32 %phi, %n119 br i1 %cmp1, label %while_body, label %while_end120 121while_body:122 %i = add i32 %phi, 1123 store i32 %i, ptr %gep0124 store i32 %phi, ptr %gep1125 br label %while_cond126 127while_end:128 ret void129}130 131declare ptr @foo()132declare void @foo2()133 134define void @test4(i32 %n) uwtable personality ptr @__FrameHandler {135; CHECK-LABEL: test4:136; CHECK: .Lfunc_begin0:137; CHECK-NEXT: .cfi_startproc138; CHECK-NEXT: .cfi_personality 156, DW.ref.__FrameHandler139; CHECK-NEXT: .cfi_lsda 28, .Lexception0140; CHECK-NEXT: // %bb.0: // %entry141; CHECK-NEXT: str x30, [sp, #-32]! // 8-byte Folded Spill142; CHECK-NEXT: .cfi_def_cfa_offset 32143; CHECK-NEXT: stp x20, x19, [sp, #16] // 16-byte Folded Spill144; CHECK-NEXT: .cfi_offset w19, -8145; CHECK-NEXT: .cfi_offset w20, -16146; CHECK-NEXT: .cfi_offset w30, -32147; CHECK-NEXT: .cfi_remember_state148; CHECK-NEXT: mov w19, w0149; CHECK-NEXT: mov w20, wzr150; CHECK-NEXT: .LBB3_1: // %while_cond151; CHECK-NEXT: // =>This Inner Loop Header: Depth=1152; CHECK-NEXT: .Ltmp0:153; CHECK-NEXT: bl foo154; CHECK-NEXT: .Ltmp1:155; CHECK-NEXT: // %bb.2: // %while_cond_x.split156; CHECK-NEXT: // in Loop: Header=BB3_1 Depth=1157; CHECK-NEXT: add x8, x0, #9, lsl #12 // =36864158; CHECK-NEXT: cmp w20, w19159; CHECK-NEXT: str wzr, [x8, #3136]160; CHECK-NEXT: b.ge .LBB3_4161; CHECK-NEXT: // %bb.3: // %while_body162; CHECK-NEXT: // in Loop: Header=BB3_1 Depth=1163; CHECK-NEXT: str w20, [x8, #3140]164; CHECK-NEXT: add w20, w20, #1165; CHECK-NEXT: str w20, [x8, #3136]166; CHECK-NEXT: b .LBB3_1167; CHECK-NEXT: .LBB3_4: // %while_end168; CHECK-NEXT: ldp x20, x19, [sp, #16] // 16-byte Folded Reload169; CHECK-NEXT: ldr x30, [sp], #32 // 8-byte Folded Reload170; CHECK-NEXT: .cfi_def_cfa_offset 0171; CHECK-NEXT: .cfi_restore w19172; CHECK-NEXT: .cfi_restore w20173; CHECK-NEXT: .cfi_restore w30174; CHECK-NEXT: ret175; CHECK-NEXT: .LBB3_5: // %cleanup176; CHECK-NEXT: .cfi_restore_state177; CHECK-NEXT: .Ltmp2:178; CHECK-NEXT: mov x19, x0179; CHECK-NEXT: bl foo2180; CHECK-NEXT: mov x0, x19181; CHECK-NEXT: bl _Unwind_Resume182entry:183 br label %while_cond184 185while_cond:186 %phi = phi i32 [ 0, %entry ], [ %i, %while_body ]187 %struct = invoke ptr @foo() to label %while_cond_x unwind label %cleanup188 189while_cond_x:190 %gep0 = getelementptr %struct_type, ptr %struct, i64 0, i32 1191 %gep1 = getelementptr %struct_type, ptr %struct, i64 0, i32 2192 store i32 0, ptr %gep0193 %cmp = icmp slt i32 %phi, %n194 br i1 %cmp, label %while_body, label %while_end195 196while_body:197 %i = add i32 %phi, 1198 store i32 %i, ptr %gep0199 store i32 %phi, ptr %gep1200 br label %while_cond201 202while_end:203 ret void204 205cleanup:206 %x10 = landingpad { ptr, i32 }207 cleanup208 call void @foo2()209 resume { ptr, i32 } %x10210}211 212declare i32 @__FrameHandler(...)213 214define void @test5(ptr %s, i32 %n) {215; CHECK-LABEL: test5:216; CHECK: // %bb.0: // %entry217; CHECK-NEXT: ldr x8, [x0]218; CHECK-NEXT: mov w9, wzr219; CHECK-NEXT: add x8, x8, #19, lsl #12 // =77824220; CHECK-NEXT: cmp w9, w1221; CHECK-NEXT: b.ge .LBB4_2222; CHECK-NEXT: .LBB4_1: // %while_body223; CHECK-NEXT: // =>This Inner Loop Header: Depth=1224; CHECK-NEXT: str w9, [x8, #2180]225; CHECK-NEXT: add w9, w9, #1226; CHECK-NEXT: str w9, [x8, #2176]227; CHECK-NEXT: cmp w9, w1228; CHECK-NEXT: b.lt .LBB4_1229; CHECK-NEXT: .LBB4_2: // %while_end230; CHECK-NEXT: ret231entry:232 %struct = load ptr, ptr %s233 br label %while_cond234 235while_cond:236 %phi = phi i32 [ 0, %entry ], [ %i, %while_body ]237 %gep0 = getelementptr [65536 x i32], ptr %struct, i64 0, i32 20000238 %gep1 = getelementptr [65536 x i32], ptr %struct, i64 0, i32 20001239 %cmp = icmp slt i32 %phi, %n240 br i1 %cmp, label %while_body, label %while_end241 242while_body:243 %i = add i32 %phi, 1244 store i32 %i, ptr %gep0245 store i32 %phi, ptr %gep1246 br label %while_cond247 248while_end:249 ret void250}251 252declare ptr @llvm.strip.invariant.group.p0(ptr)253 254define void @test_invariant_group(i32 %arg, i1 %c) {255; CHECK-LABEL: test_invariant_group:256; CHECK: // %bb.0: // %bb257; CHECK-NEXT: tbz w1, #0, .LBB5_4258; CHECK-NEXT: // %bb.1: // %bb6259; CHECK-NEXT: cbz w0, .LBB5_3260; CHECK-NEXT: .LBB5_2: // %bb1261; CHECK-NEXT: // =>This Inner Loop Header: Depth=1262; CHECK-NEXT: tbnz w1, #0, .LBB5_2263; CHECK-NEXT: b .LBB5_4264; CHECK-NEXT: .LBB5_3: // %bb2265; CHECK-NEXT: tbz w1, #0, .LBB5_5266; CHECK-NEXT: .LBB5_4: // %bb5267; CHECK-NEXT: ret268; CHECK-NEXT: .LBB5_5: // %bb4269; CHECK-NEXT: mov w8, #1 // =0x1270; CHECK-NEXT: str x8, [x8]271; CHECK-NEXT: ret272bb:273 br i1 %c, label %bb6, label %bb5274 275bb1: ; preds = %bb6, %bb1276 br i1 %c, label %bb1, label %bb5277 278bb2: ; preds = %bb6279 %i = getelementptr inbounds i8, ptr %i7, i32 40000280 br i1 %c, label %bb5, label %bb4281 282bb4: ; preds = %bb2283 store i64 1, ptr %i, align 8284 br label %bb5285 286bb5: ; preds = %bb4, %bb2, %bb1, %bb287 ret void288 289bb6: ; preds = %bb290 %i7 = call ptr @llvm.strip.invariant.group.p0(ptr nonnull undef)291 %i8 = icmp eq i32 %arg, 0292 br i1 %i8, label %bb2, label %bb1293}294