Run DCE after a LoopFlatten test to reduce spurious output [nfc]
[llvm-project.git] / llvm / test / CodeGen / X86 / avx512-i1test.ll
blob2c91a9bfb0b9200fbbcc91d6ed8f39587ed914ad
1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2 ; RUN: llc < %s -mattr=+avx512f -disable-cgp-delete-phis | FileCheck %s
3 ; RUN: llc < %s -mattr=+avx512f -mattr=+avx512vl -mattr=+avx512bw -mattr=+avx512dq -disable-cgp-delete-phis | FileCheck %s
5 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
6 target triple = "x86_64-unknown-linux-gnu"
8 define void @func() {
9 ; CHECK-LABEL: func:
10 ; CHECK:       # %bb.0: # %bb1
11 ; CHECK-NEXT:    xorl %eax, %eax
12 ; CHECK-NEXT:    testb %al, %al
13 ; CHECK-NEXT:    je .LBB0_1
14 ; CHECK-NEXT:  # %bb.4: # %L_30
15 ; CHECK-NEXT:    retq
16 ; CHECK-NEXT:  .LBB0_1: # %bb56
17 ; CHECK-NEXT:    xorl %eax, %eax
18 ; CHECK-NEXT:    .p2align 4, 0x90
19 ; CHECK-NEXT:  .LBB0_2: # %bb33
20 ; CHECK-NEXT:    # =>This Inner Loop Header: Depth=1
21 ; CHECK-NEXT:    testb %al, %al
22 ; CHECK-NEXT:    jne .LBB0_2
23 ; CHECK-NEXT:  # %bb.3: # %bb35
24 ; CHECK-NEXT:    # in Loop: Header=BB0_2 Depth=1
25 ; CHECK-NEXT:    testb %al, %al
26 ; CHECK-NEXT:    jmp .LBB0_2
27 bb1:
28   br i1 undef, label %L_10, label %L_10
30 L_10:                                             ; preds = %bb1, %bb1
31   br i1 undef, label %L_30, label %bb56
33 bb56:                                             ; preds = %L_10
34   br label %bb33
36 bb33:                                             ; preds = %bb51, %bb56
37   %r111 = load i64, ptr undef, align 8
38   br i1 undef, label %bb51, label %bb35
40 bb35:                                             ; preds = %bb33
41   br i1 undef, label %L_19, label %bb37
43 bb37:                                             ; preds = %bb35
44   %r128 = and i64 %r111, 576460752303423488
45   %phitmp = icmp eq i64 %r128, 0
46   br label %L_19
48 L_19:                                             ; preds = %bb37, %bb35
49   %"$V_S25.0" = phi i1 [ %phitmp, %bb37 ], [ true, %bb35 ]
50   br i1 undef, label %bb51, label %bb42
52 bb42:                                             ; preds = %L_19
53   %r136 = select i1 %"$V_S25.0", ptr undef, ptr undef
54   br label %bb51
56 bb51:                                             ; preds = %bb42, %L_19, %bb33
57   br i1 false, label %L_30, label %bb33
59 L_30:                                             ; preds = %bb51, %L_10
60   ret void
63 ; The following test generates suboptimal code on AVX-512
64 ; PR 28175
65 define i64 @func2(i1 zeroext %i, i32 %j) {
66 ; CHECK-LABEL: func2:
67 ; CHECK:       # %bb.0: # %entry
68 ; CHECK-NEXT:    testl %esi, %esi
69 ; CHECK-NEXT:    jne bar # TAILCALL
70 ; CHECK-NEXT:  # %bb.1: # %if.end
71 ; CHECK-NEXT:    movzbl %dil, %eax
72 ; CHECK-NEXT:    orq $-2, %rax
73 ; CHECK-NEXT:    retq
74 entry:
75   %tobool = icmp eq i32 %j, 0
76   br i1 %tobool, label %if.end, label %if.then
78 if.then:                                          ; preds = %entry
79   %call = tail call i64 @bar()
80   br label %return
82 if.end:                                           ; preds = %entry
83   %conv = zext i1 %i to i64
84   %or = or i64 %conv, -2
85   br label %return
87 return:                                           ; preds = %if.end, %if.then
88   %or.sink = phi i64 [ %or, %if.end ], [ %call, %if.then ]
89   ret i64 %or.sink
92 declare dso_local i64 @bar()