xref: /llvm-project/llvm/test/CodeGen/ARM/pr112710.ll (revision 94cddcfc1ca21958add4355653872e8eea2557b7)
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 5
2; RUN: llc < %s -mtriple=armv7-- | FileCheck %s
3
4; Reduced regression test for infinite-loop due to #112710
5define void @test(i32 %bf.load.i) {
6; CHECK-LABEL: test:
7; CHECK:       @ %bb.0: @ %entry
8; CHECK-NEXT:    push {r11, lr}
9; CHECK-NEXT:    vldr d16, .LCPI0_0
10; CHECK-NEXT:    vmov.i64 q9, #0xffff
11; CHECK-NEXT:    vdup.32 d17, r0
12; CHECK-NEXT:    vneg.s32 d16, d16
13; CHECK-NEXT:    vshl.u32 d16, d17, d16
14; CHECK-NEXT:    vldr d17, .LCPI0_1
15; CHECK-NEXT:    vand d16, d16, d17
16; CHECK-NEXT:    vmovl.u32 q8, d16
17; CHECK-NEXT:    vand q8, q8, q9
18; CHECK-NEXT:    vst1.64 {d16, d17}, [r0]
19; CHECK-NEXT:    bl use
20; CHECK-NEXT:    .p2align 3
21; CHECK-NEXT:  @ %bb.1:
22; CHECK-NEXT:  .LCPI0_0:
23; CHECK-NEXT:    .long 8 @ 0x8
24; CHECK-NEXT:    .long 24 @ 0x18
25; CHECK-NEXT:  .LCPI0_1:
26; CHECK-NEXT:    .long 4095 @ 0xfff
27; CHECK-NEXT:    .long 1 @ 0x1
28entry:
29  %0 = insertelement <2 x i32> poison, i32 %bf.load.i, i64 0
30  %1 = shufflevector <2 x i32> %0, <2 x i32> poison, <2 x i32> zeroinitializer
31  %2 = lshr <2 x i32> %1, <i32 8, i32 24>
32  %arrayinit.element1.i = getelementptr inbounds i8, ptr poison, i32 16
33  %3 = trunc <2 x i32> %2 to <2 x i16>
34  %4 = and <2 x i16> %3, <i16 4095, i16 1>
35  %5 = zext nneg <2 x i16> %4 to <2 x i64>
36  store <2 x i64> %5, ptr %arrayinit.element1.i, align 8
37  call void @use()
38  unreachable
39}
40declare void @use()
41