90 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc < %s -mattr=+avx512f -disable-cgp-delete-phis | FileCheck %s3; RUN: llc < %s -mattr=+avx512f -mattr=+avx512vl -mattr=+avx512bw -mattr=+avx512dq -disable-cgp-delete-phis | FileCheck %s4 5target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"6target triple = "x86_64-unknown-linux-gnu"7 8define void @func() {9; CHECK-LABEL: func:10; CHECK: # %bb.0: # %bb111; CHECK-NEXT: testb %al, %al12; CHECK-NEXT: je .LBB0_113; CHECK-NEXT: # %bb.3: # %L_3014; CHECK-NEXT: retq15; CHECK-NEXT: .p2align 416; CHECK-NEXT: .LBB0_1: # %bb3317; CHECK-NEXT: # =>This Inner Loop Header: Depth=118; CHECK-NEXT: testb %al, %al19; CHECK-NEXT: jne .LBB0_120; CHECK-NEXT: # %bb.2: # %bb3521; CHECK-NEXT: # in Loop: Header=BB0_1 Depth=122; CHECK-NEXT: testb %al, %al23; CHECK-NEXT: jmp .LBB0_124bb1:25 br i1 poison, label %L_10, label %L_1026 27L_10: ; preds = %bb1, %bb128 br i1 poison, label %L_30, label %bb5629 30bb56: ; preds = %L_1031 br label %bb3332 33bb33: ; preds = %bb51, %bb5634 %r111 = load i64, ptr undef, align 835 br i1 poison, label %bb51, label %bb3536 37bb35: ; preds = %bb3338 br i1 poison, label %L_19, label %bb3739 40bb37: ; preds = %bb3541 %r128 = and i64 %r111, 57646075230342348842 %phitmp = icmp eq i64 %r128, 043 br label %L_1944 45L_19: ; preds = %bb37, %bb3546 %"$V_S25.0" = phi i1 [ %phitmp, %bb37 ], [ true, %bb35 ]47 br i1 poison, label %bb51, label %bb4248 49bb42: ; preds = %L_1950 %r136 = select i1 %"$V_S25.0", ptr undef, ptr undef51 br label %bb5152 53bb51: ; preds = %bb42, %L_19, %bb3354 br i1 false, label %L_30, label %bb3355 56L_30: ; preds = %bb51, %L_1057 ret void58}59 60; The following test generates suboptimal code on AVX-51261; PR 2817562define i64 @func2(i1 zeroext %i, i32 %j) {63; CHECK-LABEL: func2:64; CHECK: # %bb.0: # %entry65; CHECK-NEXT: testl %esi, %esi66; CHECK-NEXT: jne bar # TAILCALL67; CHECK-NEXT: # %bb.1: # %if.end68; CHECK-NEXT: movzbl %dil, %eax69; CHECK-NEXT: orq $-2, %rax70; CHECK-NEXT: retq71entry:72 %tobool = icmp eq i32 %j, 073 br i1 %tobool, label %if.end, label %if.then74 75if.then: ; preds = %entry76 %call = tail call i64 @bar()77 br label %return78 79if.end: ; preds = %entry80 %conv = zext i1 %i to i6481 %or = or i64 %conv, -282 br label %return83 84return: ; preds = %if.end, %if.then85 %or.sink = phi i64 [ %or, %if.end ], [ %call, %if.then ]86 ret i64 %or.sink87}88 89declare dso_local i64 @bar()90