[llvm] 9f48562 - [Test] Add test on freezing of widenable condition

[Max Kazantsev via llvm-commits]

Author: Max Kazantsev
Date: 2023-03-21T15:59:00+07:00
New Revision: 9f48562ebfe1486f9094459d1aadde25268d7ce4

URL: https://github.com/llvm/llvm-project/commit/9f48562ebfe1486f9094459d1aadde25268d7ce4
DIFF: https://github.com/llvm/llvm-project/commit/9f48562ebfe1486f9094459d1aadde25268d7ce4.diff

LOG: [Test] Add test on freezing of widenable condition

Added: 
    

Modified: 
    llvm/test/Transforms/InstCombine/freeze-integer-intrinsics.ll

Removed: 
    


################################################################################
diff  --git a/llvm/test/Transforms/InstCombine/freeze-integer-intrinsics.ll b/llvm/test/Transforms/InstCombine/freeze-integer-intrinsics.ll
index fa62cbcd24dc..1d8d2a802957 100644
--- a/llvm/test/Transforms/InstCombine/freeze-integer-intrinsics.ll
+++ b/llvm/test/Transforms/InstCombine/freeze-integer-intrinsics.ll
@@ -416,6 +416,17 @@ define <vscale x 2 x i32> @sshl_sat_v2i32_scalable_zeroinitializer(<vscale x 2 x
   ret <vscale x 2 x i32> %freeze
 }
 
+define i1 @widenable_condition() {
+; CHECK-LABEL: @widenable_condition(
+; CHECK-NEXT:    [[WC:%.*]] = call i1 @llvm.experimental.widenable.condition()
+; CHECK-NEXT:    [[FREEZE:%.*]] = freeze i1 [[WC]]
+; CHECK-NEXT:    ret i1 [[FREEZE]]
+;
+  %wc = call i1 @llvm.experimental.widenable.condition()
+  %freeze = freeze i1 %wc
+  ret i1 %freeze
+}
+
 declare i32 @llvm.ctlz.i32(i32, i1 immarg)
 declare i32 @llvm.cttz.i32(i32, i1 immarg)
 declare i32 @llvm.abs.i32(i32, i1 immarg)
@@ -440,3 +451,4 @@ declare <2 x i32> @llvm.sshl.sat.v2i32(<2 x i32>, <2 x i32>)
 declare <2 x i32> @llvm.ushl.sat.v2i32(<2 x i32>, <2 x i32>)
 declare <vscale x 2 x i32> @llvm.sshl.sat.nxv2i32(<vscale x 2 x i32>, <vscale x 2 x i32>)
 declare <vscale x 2 x i32> @llvm.ushl.sat.nxv2i32(<vscale x 2 x i32>, <vscale x 2 x i32>)
+declare i1 @llvm.experimental.widenable.condition()