xref: /llvm-project/llvm/test/Transforms/InstCombine/vscale_zero.ll (revision bd1a4c8565ac7a48a5dc1e18b8ea07b29b93d213) 
1*bd1a4c85SDavid Green; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2*bd1a4c85SDavid Green; RUN: opt < %s -passes=instcombine -S | FileCheck %s
3*bd1a4c85SDavid Green
4*bd1a4c85SDavid Greendefine i1 @iszero() {
5*bd1a4c85SDavid Green; CHECK-LABEL: @iszero(
6*bd1a4c85SDavid Green; CHECK-NEXT:  entry:
7*bd1a4c85SDavid Green; CHECK-NEXT:    ret i1 false
8*bd1a4c85SDavid Green;
9*bd1a4c85SDavid Green  entry:
10*bd1a4c85SDavid Green  %0 = call i32 @llvm.vscale.i32()
11*bd1a4c85SDavid Green  %1 = icmp eq i32 %0, 0
12*bd1a4c85SDavid Green  ret i1 %1
13*bd1a4c85SDavid Green}
14*bd1a4c85SDavid Green
15*bd1a4c85SDavid Greendefine i1 @iszero_range() vscale_range(1,16) {
16*bd1a4c85SDavid Green; CHECK-LABEL: @iszero_range(
17*bd1a4c85SDavid Green; CHECK-NEXT:  entry:
18*bd1a4c85SDavid Green; CHECK-NEXT:    ret i1 false
19*bd1a4c85SDavid Green;
20*bd1a4c85SDavid Green  entry:
21*bd1a4c85SDavid Green  %0 = call i32 @llvm.vscale.i32()
22*bd1a4c85SDavid Green  %1 = icmp eq i32 %0, 0
23*bd1a4c85SDavid Green  ret i1 %1
24*bd1a4c85SDavid Green}
25*bd1a4c85SDavid Green
26*bd1a4c85SDavid Greendeclare i32 @llvm.vscale.i32()
27