100 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 62; RUN: llc -O3 < %s -mtriple=aarch64 | FileCheck %s3 4; The seemingly redundant wreg mov where src_reg == dst_reg shouldn't be5; removed, because it has the effect of zeroing the upper bits in the matching6; xreg.7 8define i32 @widget(i32 %arg, i32 %arg1, i1 %arg2, ptr %arg3, i1 %arg4) #0 nounwind {9; CHECK-LABEL: widget:10; CHECK: // %bb.0: // %bb11; CHECK-NEXT: tbz w2, #0, .LBB0_212; CHECK-NEXT: // %bb.1:13; CHECK-NEXT: mov w0, #1 // =0x114; CHECK-NEXT: ret15; CHECK-NEXT: .LBB0_2: // %bb516; CHECK-NEXT: tbz w4, #0, .LBB0_417; CHECK-NEXT: // %bb.3:18; CHECK-NEXT: mov w0, #0 // =0x019; CHECK-NEXT: ret20; CHECK-NEXT: .LBB0_4: // %bb621; CHECK-NEXT: str x30, [sp, #-48]! // 8-byte Folded Spill22; CHECK-NEXT: stp x22, x21, [sp, #16] // 16-byte Folded Spill23; CHECK-NEXT: stp x20, x19, [sp, #32] // 16-byte Folded Spill24; CHECK-NEXT: mov x19, x325; CHECK-NEXT: mov x20, x026; CHECK-NEXT: mov x21, x127; CHECK-NEXT: bl baz28; CHECK-NEXT: mov w0, #0 // =0x029; CHECK-NEXT: cbnz wzr, .LBB0_1130; CHECK-NEXT: // %bb.5: // %bb631; CHECK-NEXT: mov w10, #1 // =0x132; CHECK-NEXT: cbnz w10, .LBB0_1133; CHECK-NEXT: // %bb.6: // %bb734; CHECK-NEXT: cbnz w10, .LBB0_1035; CHECK-NEXT: // %bb.7: // %bb836; CHECK-NEXT: mov x8, x2137; CHECK-NEXT: mov x9, x2038; CHECK-NEXT: mov w20, #0 // =0x039; CHECK-NEXT: mov w9, w940; CHECK-NEXT: mov x21, x941; CHECK-NEXT: mov w8, w842; CHECK-NEXT: mov x22, x843; CHECK-NEXT: .LBB0_8: // %bb1044; CHECK-NEXT: // =>This Inner Loop Header: Depth=145; CHECK-NEXT: strb w20, [x19]46; CHECK-NEXT: cbnz x21, .LBB0_847; CHECK-NEXT: // %bb.9: // %bb1248; CHECK-NEXT: // in Loop: Header=BB0_8 Depth=149; CHECK-NEXT: bl snork50; CHECK-NEXT: cbnz x22, .LBB0_851; CHECK-NEXT: .LBB0_10:52; CHECK-NEXT: mov w0, #0 // =0x053; CHECK-NEXT: .LBB0_11:54; CHECK-NEXT: ldp x20, x19, [sp, #32] // 16-byte Folded Reload55; CHECK-NEXT: ldp x22, x21, [sp, #16] // 16-byte Folded Reload56; CHECK-NEXT: ldr x30, [sp], #48 // 8-byte Folded Reload57; CHECK-NEXT: ret58bb:59 br i1 %arg2, label %bb14, label %bb560 61bb5:62 %load = load ptr, ptr null, align 863 br i1 %arg4, label %bb14, label %bb664 65bb6:66 %call = call i32 @baz() #167 %or = or i1 false, true68 br i1 %or, label %bb14, label %bb769 70bb7:71 %icmp = icmp eq i32 0, 072 %zext = zext i32 %arg to i6473 br i1 %icmp, label %bb14, label %bb874 75bb8:76 %zext9 = zext i32 %arg1 to i6477 br label %bb1078 79bb10:80 store i8 0, ptr %arg3, align 181 %icmp11 = icmp eq i64 %zext, 082 br i1 %icmp11, label %bb12, label %bb1083 84bb12:85 call void @snork()86 %icmp13 = icmp eq i64 0, %zext987 br i1 %icmp13, label %bb14, label %bb1088 89bb14:90 %phi = phi i32 [ 0, %bb6 ], [ 0, %bb7 ], [ 0, %bb12 ], [ 1, %bb ], [ 0, %bb5 ]91 ret i32 %phi92}93 94declare i32 @baz()95 96declare void @snork()97 98attributes #0 = { "target-cpu"="apple-m1" }99attributes #1 = { returns_twice }100