72 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 52; RUN: llc -mtriple=aarch64 -verify-machineinstrs %s -o - | FileCheck %s --check-prefixes=CHECK,CHECK-SD3; RUN: llc -mtriple=aarch64 -global-isel -global-isel-abort=2 -verify-machineinstrs %s -o - 2>&1 | FileCheck %s --check-prefixes=CHECK,CHECK-GI4 5 6 7define i64 @APlusC1MinusC2(i64 %a) {8; CHECK-LABEL: APlusC1MinusC2:9; CHECK: // %bb.0: // %entry10; CHECK-NEXT: sub x0, x0, #111; CHECK-NEXT: ret12entry:13; fold (A+C1)-C2 -> A+(C1-C2)14 %add1 = add i64 %a, 515 %sub1 = sub i64 %add1, 616 ret i64 %sub117}18 19define i64 @C2MinusAPlusC1(i64 %a) {20; CHECK-LABEL: C2MinusAPlusC1:21; CHECK: // %bb.0: // %entry22; CHECK-NEXT: mov w8, #3 // =0x323; CHECK-NEXT: sub x0, x8, x024; CHECK-NEXT: ret25entry:26; fold C2-(A+C1) -> (C2-C1)-A27 %add1 = add i64 %a, 628 %sub1 = sub i64 9, %add129 ret i64 %sub130}31 32define i64 @AMinusC1MinusC2(i64 %a) {33; CHECK-LABEL: AMinusC1MinusC2:34; CHECK: // %bb.0: // %entry35; CHECK-NEXT: sub x0, x0, #1536; CHECK-NEXT: ret37entry:38; fold (A-C1)-C2 -> A-(C1+C2)39 %sub2 = sub i64 %a, 640 %sub1 = sub i64 %sub2, 941 ret i64 %sub142}43 44define i64 @C1Minus2MinusC2(i64 %a) {45; CHECK-LABEL: C1Minus2MinusC2:46; CHECK: // %bb.0: // %entry47; CHECK-NEXT: mov w8, #3 // =0x348; CHECK-NEXT: sub x0, x8, x049; CHECK-NEXT: ret50entry:51; fold (C1-A)-C2 -> (C1-C2)-A52 %sub2 = sub i64 14, %a53 %sub1 = sub i64 %sub2, 1154 ret i64 %sub155}56 57define i64 @AMinusC2PlusC2(i64 %a) {58; CHECK-LABEL: AMinusC2PlusC2:59; CHECK: // %bb.0: // %entry60; CHECK-NEXT: sub x0, x0, #461; CHECK-NEXT: ret62entry:63; fold ((A-C1)+C2) -> (A+(C2-C1))64 %sub1 = sub i64 %a, 2165 %add1 = add i64 %sub1, 1766 ret i64 %add167}68 69;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:70; CHECK-GI: {{.*}}71; CHECK-SD: {{.*}}72