From: Nikita Popov Date: Wed, 18 May 2022 13:35:00 +0000 (+0200) Subject: [CGP] Regenerate test checks (NFC) X-Git-Tag: upstream/15.0.7~7371 X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=8e4c5d9902139b900c702721f087f46befef72e8;p=platform%2Fupstream%2Fllvm.git [CGP] Regenerate test checks (NFC) --- diff --git a/llvm/test/Transforms/CodeGenPrepare/X86/cttz-ctlz.ll b/llvm/test/Transforms/CodeGenPrepare/X86/cttz-ctlz.ll index 72d82e2..7b1246e 100644 --- a/llvm/test/Transforms/CodeGenPrepare/X86/cttz-ctlz.ll +++ b/llvm/test/Transforms/CodeGenPrepare/X86/cttz-ctlz.ll @@ -1,3 +1,4 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; RUN: opt -S -codegenprepare < %s | FileCheck %s --check-prefix=SLOW ; RUN: opt -S -codegenprepare -mattr=+bmi < %s | FileCheck %s --check-prefix=FAST_TZ ; RUN: opt -S -codegenprepare -mattr=+lzcnt < %s | FileCheck %s --check-prefix=FAST_LZ @@ -6,49 +7,73 @@ target triple = "x86_64-unknown-unknown" target datalayout = "e-n32:64" ; If the intrinsic is cheap, nothing should change. -; If the intrinsic is expensive, check if the input is zero to avoid the call. +; If the intrinsic is expensive, check if the input is zero to avoid the call. ; This is undoing speculation that may have been created by SimplifyCFG + InstCombine. define i64 @cttz(i64 %A) { +; SLOW-LABEL: @cttz( +; SLOW-NEXT: entry: +; SLOW-NEXT: [[CMPZ:%.*]] = icmp eq i64 [[A:%.*]], 0 +; SLOW-NEXT: br i1 [[CMPZ]], label [[COND_END:%.*]], label [[COND_FALSE:%.*]] +; SLOW: cond.false: +; SLOW-NEXT: [[Z:%.*]] = call i64 @llvm.cttz.i64(i64 [[A]], i1 true) +; SLOW-NEXT: br label [[COND_END]] +; SLOW: cond.end: +; SLOW-NEXT: [[CTZ:%.*]] = phi i64 [ 64, [[ENTRY:%.*]] ], [ [[Z]], [[COND_FALSE]] ] +; SLOW-NEXT: ret i64 [[CTZ]] +; +; FAST_TZ-LABEL: @cttz( +; FAST_TZ-NEXT: entry: +; FAST_TZ-NEXT: [[Z:%.*]] = call i64 @llvm.cttz.i64(i64 [[A:%.*]], i1 false) +; FAST_TZ-NEXT: ret i64 [[Z]] +; +; FAST_LZ-LABEL: @cttz( +; FAST_LZ-NEXT: entry: +; FAST_LZ-NEXT: [[CMPZ:%.*]] = icmp eq i64 [[A:%.*]], 0 +; FAST_LZ-NEXT: br i1 [[CMPZ]], label [[COND_END:%.*]], label [[COND_FALSE:%.*]] +; FAST_LZ: cond.false: +; FAST_LZ-NEXT: [[Z:%.*]] = call i64 @llvm.cttz.i64(i64 [[A]], i1 true) +; FAST_LZ-NEXT: br label [[COND_END]] +; FAST_LZ: cond.end: +; FAST_LZ-NEXT: [[CTZ:%.*]] = phi i64 [ 64, [[ENTRY:%.*]] ], [ [[Z]], [[COND_FALSE]] ] +; FAST_LZ-NEXT: ret i64 [[CTZ]] +; entry: %z = call i64 @llvm.cttz.i64(i64 %A, i1 false) ret i64 %z - -; SLOW-LABEL: @cttz( -; SLOW: entry: -; SLOW: %cmpz = icmp eq i64 %A, 0 -; SLOW: br i1 %cmpz, label %cond.end, label %cond.false -; SLOW: cond.false: -; SLOW: %z = call i64 @llvm.cttz.i64(i64 %A, i1 true) -; SLOW: br label %cond.end -; SLOW: cond.end: -; SLOW: %ctz = phi i64 [ 64, %entry ], [ %z, %cond.false ] -; SLOW: ret i64 %ctz - -; FAST_TZ-LABEL: @cttz( -; FAST_TZ: %z = call i64 @llvm.cttz.i64(i64 %A, i1 false) -; FAST_TZ: ret i64 %z } define i64 @ctlz(i64 %A) { +; SLOW-LABEL: @ctlz( +; SLOW-NEXT: entry: +; SLOW-NEXT: [[CMPZ:%.*]] = icmp eq i64 [[A:%.*]], 0 +; SLOW-NEXT: br i1 [[CMPZ]], label [[COND_END:%.*]], label [[COND_FALSE:%.*]] +; SLOW: cond.false: +; SLOW-NEXT: [[Z:%.*]] = call i64 @llvm.ctlz.i64(i64 [[A]], i1 true) +; SLOW-NEXT: br label [[COND_END]] +; SLOW: cond.end: +; SLOW-NEXT: [[CTZ:%.*]] = phi i64 [ 64, [[ENTRY:%.*]] ], [ [[Z]], [[COND_FALSE]] ] +; SLOW-NEXT: ret i64 [[CTZ]] +; +; FAST_TZ-LABEL: @ctlz( +; FAST_TZ-NEXT: entry: +; FAST_TZ-NEXT: [[CMPZ:%.*]] = icmp eq i64 [[A:%.*]], 0 +; FAST_TZ-NEXT: br i1 [[CMPZ]], label [[COND_END:%.*]], label [[COND_FALSE:%.*]] +; FAST_TZ: cond.false: +; FAST_TZ-NEXT: [[Z:%.*]] = call i64 @llvm.ctlz.i64(i64 [[A]], i1 true) +; FAST_TZ-NEXT: br label [[COND_END]] +; FAST_TZ: cond.end: +; FAST_TZ-NEXT: [[CTZ:%.*]] = phi i64 [ 64, [[ENTRY:%.*]] ], [ [[Z]], [[COND_FALSE]] ] +; FAST_TZ-NEXT: ret i64 [[CTZ]] +; +; FAST_LZ-LABEL: @ctlz( +; FAST_LZ-NEXT: entry: +; FAST_LZ-NEXT: [[Z:%.*]] = call i64 @llvm.ctlz.i64(i64 [[A:%.*]], i1 false) +; FAST_LZ-NEXT: ret i64 [[Z]] +; entry: %z = call i64 @llvm.ctlz.i64(i64 %A, i1 false) ret i64 %z - -; SLOW-LABEL: @ctlz( -; SLOW: entry: -; SLOW: %cmpz = icmp eq i64 %A, 0 -; SLOW: br i1 %cmpz, label %cond.end, label %cond.false -; SLOW: cond.false: -; SLOW: %z = call i64 @llvm.ctlz.i64(i64 %A, i1 true) -; SLOW: br label %cond.end -; SLOW: cond.end: -; SLOW: %ctz = phi i64 [ 64, %entry ], [ %z, %cond.false ] -; SLOW: ret i64 %ctz - -; FAST_LZ-LABEL: @ctlz( -; FAST_LZ: %z = call i64 @llvm.ctlz.i64(i64 %A, i1 false) -; FAST_LZ: ret i64 %z } declare i64 @llvm.cttz.i64(i64, i1)