| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py | |
| ; RUN: opt < %s -passes=instcombine -S | FileCheck %s | |
| define i1 @iszero() { | |
| ; CHECK-LABEL: @iszero( | |
| ; CHECK-NEXT: entry: | |
| ; CHECK-NEXT: ret i1 false | |
| ; | |
| entry: | |
| %0 = call i32 @llvm.vscale.i32() | |
| %1 = icmp eq i32 %0, 0 | |
| ret i1 %1 | |
| } | |
| define i1 @iszero_range() vscale_range(1,16) { | |
| ; CHECK-LABEL: @iszero_range( | |
| ; CHECK-NEXT: entry: | |
| ; CHECK-NEXT: ret i1 false | |
| ; | |
| entry: | |
| %0 = call i32 @llvm.vscale.i32() | |
| %1 = icmp eq i32 %0, 0 | |
| ret i1 %1 | |
| } | |
| declare i32 @llvm.vscale.i32() |