llvm/test/Transforms/InstCombine/icmp-vscale.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -passes=instcombine -S < %s | FileCheck %s
   3
   4 define i1 @ugt_vscale64_x_32() vscale_range(1,16) {
   5 ; CHECK-LABEL: @ugt_vscale64_x_32(
   6 ; CHECK-NEXT:  entry:
   7 ; CHECK-NEXT:    ret i1 false
   8 ;
   9 entry:
  10   %vscale = call i64 @llvm.vscale.i64()
  11   %num_els = shl i64 %vscale, 5
  12   %res = icmp ugt i64 %num_els, 1024
  13   ret i1 %res
  14 }
  15
  16 define i1 @ugt_vscale64_x_31() vscale_range(1,16) {
  17 ; CHECK-LABEL: @ugt_vscale64_x_31(
  18 ; CHECK-NEXT:  entry:
  19 ; CHECK-NEXT:    ret i1 false
  20 ;
  21 entry:
  22   %vscale = call i64 @llvm.vscale.i64()
  23   %num_els = mul i64 %vscale, 31
  24   %res = icmp ugt i64 %num_els, 1024
  25   ret i1 %res
  26 }
  27
  28 define i1 @ugt_vscale16_x_32() vscale_range(1,16) {
  29 ; CHECK-LABEL: @ugt_vscale16_x_32(
  30 ; CHECK-NEXT:  entry:
  31 ; CHECK-NEXT:    ret i1 false
  32 ;
  33 entry:
  34   %vscale = call i16 @llvm.vscale.i16()
  35   %num_els = shl i16 %vscale, 5
  36   %res = icmp ugt i16 %num_els, 1024
  37   ret i1 %res
  38 }
  39
  40 define i1 @ult_vscale16() vscale_range(1,16) {
  41 ; CHECK-LABEL: @ult_vscale16(
  42 ; CHECK-NEXT:  entry:
  43 ; CHECK-NEXT:    ret i1 false
  44 ;
  45 entry:
  46   %vscale = call i16 @llvm.vscale.i16()
  47   %res = icmp ult i16 1024, %vscale
  48   ret i1 %res
  49 }
  50
  51 define i1 @ule_vscale64() vscale_range(1,16) {
  52 ; CHECK-LABEL: @ule_vscale64(
  53 ; CHECK-NEXT:  entry:
  54 ; CHECK-NEXT:    ret i1 false
  55 ;
  56 entry:
  57   %vscale = call i64 @llvm.vscale.i64()
  58   %res = icmp ule i64 1024, %vscale
  59   ret i1 %res
  60 }
  61
  62 define i1 @ueq_vscale64_range4_4() vscale_range(4,4) {
  63 ; CHECK-LABEL: @ueq_vscale64_range4_4(
  64 ; CHECK-NEXT:  entry:
  65 ; CHECK-NEXT:    ret i1 true
  66 ;
  67 entry:
  68   %vscale = call i64 @llvm.vscale.i64()
  69   %res = icmp eq i64 %vscale, 4
  70   ret i1 %res
  71 }
  72
  73 define i1 @ne_vscale64_x_32() vscale_range(1,16) {
  74 ; CHECK-LABEL: @ne_vscale64_x_32(
  75 ; CHECK-NEXT:  entry:
  76 ; CHECK-NEXT:    ret i1 true
  77 ;
  78 entry:
  79   %vscale = call i64 @llvm.vscale.i64()
  80   %num_els = mul i64 %vscale, 32
  81   %res = icmp ne i64 %num_els, 39488
  82   ret i1 %res
  83 }
  84
  85 declare i8 @llvm.vscale.i8()
  86 declare i16 @llvm.vscale.i16()
  87 declare i32 @llvm.vscale.i32()
  88 declare i64 @llvm.vscale.i64()