99 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc -O2 < %s -mtriple=aarch64-linux-gnu | FileCheck %s --check-prefix=CHECKN3; RUN: llc -O2 < %s -mtriple=aarch64-linux-gnu -mattr=strict-align | FileCheck %s --check-prefix=CHECKS4 5declare i32 @bcmp(ptr, ptr, i64) nounwind readonly6declare i32 @memcmp(ptr, ptr, i64) nounwind readonly7 8define i1 @test_b2(ptr %s1, ptr %s2) {9; CHECKN-LABEL: test_b2:10; CHECKN: // %bb.0: // %entry11; CHECKN-NEXT: ldr x8, [x0]12; CHECKN-NEXT: ldr x9, [x1]13; CHECKN-NEXT: ldur x10, [x0, #7]14; CHECKN-NEXT: ldur x11, [x1, #7]15; CHECKN-NEXT: cmp x8, x916; CHECKN-NEXT: ccmp x10, x11, #0, eq17; CHECKN-NEXT: cset w0, eq18; CHECKN-NEXT: ret19;20; CHECKS-LABEL: test_b2:21; CHECKS: // %bb.0: // %entry22; CHECKS-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill23; CHECKS-NEXT: .cfi_def_cfa_offset 1624; CHECKS-NEXT: .cfi_offset w30, -1625; CHECKS-NEXT: mov w2, #15 // =0xf26; CHECKS-NEXT: bl bcmp27; CHECKS-NEXT: cmp w0, #028; CHECKS-NEXT: cset w0, eq29; CHECKS-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload30; CHECKS-NEXT: ret31entry:32 %bcmp = call i32 @bcmp(ptr %s1, ptr %s2, i64 15)33 %ret = icmp eq i32 %bcmp, 034 ret i1 %ret35}36 37; TODO: Four loads should be within the limit, but the heuristic isn't implemented.38define i1 @test_b2_align8(ptr align 8 %s1, ptr align 8 %s2) {39; CHECKN-LABEL: test_b2_align8:40; CHECKN: // %bb.0: // %entry41; CHECKN-NEXT: ldr x8, [x0]42; CHECKN-NEXT: ldr x9, [x1]43; CHECKN-NEXT: ldur x10, [x0, #7]44; CHECKN-NEXT: ldur x11, [x1, #7]45; CHECKN-NEXT: cmp x8, x946; CHECKN-NEXT: ccmp x10, x11, #0, eq47; CHECKN-NEXT: cset w0, eq48; CHECKN-NEXT: ret49;50; CHECKS-LABEL: test_b2_align8:51; CHECKS: // %bb.0: // %entry52; CHECKS-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill53; CHECKS-NEXT: .cfi_def_cfa_offset 1654; CHECKS-NEXT: .cfi_offset w30, -1655; CHECKS-NEXT: mov w2, #15 // =0xf56; CHECKS-NEXT: bl bcmp57; CHECKS-NEXT: cmp w0, #058; CHECKS-NEXT: cset w0, eq59; CHECKS-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload60; CHECKS-NEXT: ret61entry:62 %bcmp = call i32 @bcmp(ptr %s1, ptr %s2, i64 15)63 %ret = icmp eq i32 %bcmp, 064 ret i1 %ret65}66 67define i1 @test_bs(ptr %s1, ptr %s2) optsize {68; CHECKN-LABEL: test_bs:69; CHECKN: // %bb.0: // %entry70; CHECKN-NEXT: ldp x8, x11, [x1]71; CHECKN-NEXT: ldr x12, [x0, #16]72; CHECKN-NEXT: ldp x9, x10, [x0]73; CHECKN-NEXT: ldr x13, [x1, #16]74; CHECKN-NEXT: cmp x9, x875; CHECKN-NEXT: ldur x8, [x0, #23]76; CHECKN-NEXT: ldur x9, [x1, #23]77; CHECKN-NEXT: ccmp x10, x11, #0, eq78; CHECKN-NEXT: ccmp x12, x13, #0, eq79; CHECKN-NEXT: ccmp x8, x9, #0, eq80; CHECKN-NEXT: cset w0, eq81; CHECKN-NEXT: ret82;83; CHECKS-LABEL: test_bs:84; CHECKS: // %bb.0: // %entry85; CHECKS-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill86; CHECKS-NEXT: .cfi_def_cfa_offset 1687; CHECKS-NEXT: .cfi_offset w30, -1688; CHECKS-NEXT: mov w2, #31 // =0x1f89; CHECKS-NEXT: bl memcmp90; CHECKS-NEXT: cmp w0, #091; CHECKS-NEXT: cset w0, eq92; CHECKS-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload93; CHECKS-NEXT: ret94entry:95 %memcmp = call i32 @memcmp(ptr %s1, ptr %s2, i64 31)96 %ret = icmp eq i32 %memcmp, 097 ret i1 %ret98}99