xref: /llvm-project/llvm/test/CodeGen/AArch64/arm64-setcc-swap-infloop.ll (revision db158c7c830807caeeb0691739c41f1d522029e9)
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2; RUN: llc < %s -mtriple=arm64-apple-ios --global-isel=0 | FileCheck %s
3
4target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128"
5target triple = "arm64-apple-ios"
6
7declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1 immarg)
8
9; TargetLowering::SimplifySetCC wants to swap the operands of a SETCC to
10; canonicalize the constant to the RHS. The bug here was that it did so whether
11; or not the RHS was already a constant, leading to an infinite loop.
12define <16 x i1> @setcc_swap_infloop(ptr %arg) {
13; CHECK-LABEL: setcc_swap_infloop:
14; CHECK:       ; %bb.0:
15; CHECK-NEXT:    movi.16b v1, #1
16; CHECK-NEXT:    mov x8, xzr
17; CHECK-NEXT:    ldr q0, [x8]
18; CHECK-NEXT:    cmeq.16b v0, v0, #0
19; CHECK-NEXT:    cmeq.16b v2, v1, #0
20; CHECK-NEXT:    str q1, [x8]
21; CHECK-NEXT:    mov w8, #16 ; =0x10
22; CHECK-NEXT:    str q1, [x8]
23; CHECK-NEXT:    orr.16b v0, v0, v2
24; CHECK-NEXT:    ret
25  call void @llvm.memset.p0.i64(ptr nonnull null, i8 1, i64 32, i1 false)
26  %v = getelementptr inbounds i8, ptr null, i64 16
27  %v14 = load <16 x i8>, ptr undef, align 32
28  %v15 = icmp eq <16 x i8> %v14, zeroinitializer
29  %v16 = load <16 x i8>, ptr %v, align 16
30  %v17 = icmp eq <16 x i8> %v16, zeroinitializer
31  %v20 = or <16 x i1> %v15, %v17
32  ret <16 x i1> %v20
33}
34