[llvm] [RISCV] Take SEW/LMUL into account for value tracking of vsetvli[max] (PR #82163)
Wang Pengcheng via llvm-commits
llvm-commits at lists.llvm.org
Sun Feb 18 19:38:12 PST 2024
https://github.com/wangpc-pp updated https://github.com/llvm/llvm-project/pull/82163
>From 1c776d3783f49f1208f880249af142009b50cd20 Mon Sep 17 00:00:00 2001
From: Wang Pengcheng <wangpengcheng.pp at bytedance.com>
Date: Sun, 18 Feb 2024 20:39:05 +0800
Subject: [PATCH 1/2] [RISCV] Add tests for vsetvli/vsetvlimax with different
SEW/LMUL
---
.../RISCV/riscv-vsetvli-knownbits.ll | 694 +++++++++++++++--
.../RISCV/riscv-vsetvlimax-knownbits.ll | 704 ++++++++++++++++++
2 files changed, 1344 insertions(+), 54 deletions(-)
create mode 100644 llvm/test/Transforms/InstCombine/RISCV/riscv-vsetvlimax-knownbits.ll
diff --git a/llvm/test/Transforms/InstCombine/RISCV/riscv-vsetvli-knownbits.ll b/llvm/test/Transforms/InstCombine/RISCV/riscv-vsetvli-knownbits.ll
index 51f78688b13edb..e254d2a71b7f53 100644
--- a/llvm/test/Transforms/InstCombine/RISCV/riscv-vsetvli-knownbits.ll
+++ b/llvm/test/Transforms/InstCombine/RISCV/riscv-vsetvli-knownbits.ll
@@ -3,10 +3,8 @@
declare i32 @llvm.riscv.vsetvli.i32(i32, i32, i32)
declare i64 @llvm.riscv.vsetvli.i64(i64, i64, i64)
-declare i32 @llvm.riscv.vsetvlimax.i32(i32, i32)
-declare i64 @llvm.riscv.vsetvlimax.i64(i64, i64)
-define i32 @vsetvli_i32() nounwind {
+define i32 @vsetvli_i32() nounwind #0 {
; CHECK-LABEL: @vsetvli_i32(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[TMP0:%.*]] = call i32 @llvm.riscv.vsetvli.i32(i32 1, i32 1, i32 1)
@@ -18,7 +16,7 @@ entry:
ret i32 %1
}
-define i64 @vsetvli_sext_i64() nounwind {
+define i64 @vsetvli_sext_i64() nounwind #0 {
; CHECK-LABEL: @vsetvli_sext_i64(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[TMP0:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 1, i64 1, i64 1)
@@ -31,7 +29,7 @@ entry:
ret i64 %2
}
-define i64 @vsetvli_zext_i64() nounwind {
+define i64 @vsetvli_zext_i64() nounwind #0 {
; CHECK-LABEL: @vsetvli_zext_i64(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[TMP0:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 1, i64 1, i64 1)
@@ -44,7 +42,29 @@ entry:
ret i64 %2
}
-define i32 @vsetvli_and17_i32() nounwind {
+define signext i32 @vsetvl_sext() nounwind #0 {
+; CHECK-LABEL: @vsetvl_sext(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 1, i64 1, i64 1)
+; CHECK-NEXT: [[B:%.*]] = trunc i64 [[A]] to i32
+; CHECK-NEXT: ret i32 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvli(i64 1, i64 1, i64 1)
+ %b = trunc i64 %a to i32
+ ret i32 %b
+}
+
+define zeroext i32 @vsetvl_zext() nounwind #0 {
+; CHECK-LABEL: @vsetvl_zext(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 1, i64 1, i64 1)
+; CHECK-NEXT: [[B:%.*]] = trunc i64 [[A]] to i32
+; CHECK-NEXT: ret i32 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvli(i64 1, i64 1, i64 1)
+ %b = trunc i64 %a to i32
+ ret i32 %b
+}
+
+define i32 @vsetvli_and17_i32() nounwind #0 {
; CHECK-LABEL: @vsetvli_and17_i32(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[TMP0:%.*]] = call i32 @llvm.riscv.vsetvli.i32(i32 1, i32 1, i32 1)
@@ -56,7 +76,7 @@ entry:
ret i32 %1
}
-define i64 @vsetvli_and17_i64() nounwind {
+define i64 @vsetvli_and17_i64() nounwind #0 {
; CHECK-LABEL: @vsetvli_and17_i64(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[TMP0:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 1, i64 1, i64 1)
@@ -68,64 +88,630 @@ entry:
ret i64 %1
}
-define i32 @vsetvlimax_i32() nounwind {
-; CHECK-LABEL: @vsetvlimax_i32(
-; CHECK-NEXT: entry:
-; CHECK-NEXT: [[TMP0:%.*]] = call i32 @llvm.riscv.vsetvlimax.i32(i32 1, i32 1)
-; CHECK-NEXT: ret i32 [[TMP0]]
+define i64 @vsetvl_e8m1_and14bits(i64 %avl) nounwind #0 {
+; CHECK-LABEL: @vsetvl_e8m1_and14bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 0, i64 0)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 16383
+; CHECK-NEXT: ret i64 [[B]]
;
-entry:
- %0 = call i32 @llvm.riscv.vsetvlimax.i32(i32 1, i32 1)
- %1 = and i32 %0, 2147483647
- ret i32 %1
+ %a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 0, i64 0)
+ %b = and i64 %a, 16383
+ ret i64 %b
}
-define i64 @vsetvlimax_sext_i64() nounwind {
-; CHECK-LABEL: @vsetvlimax_sext_i64(
-; CHECK-NEXT: entry:
-; CHECK-NEXT: [[TMP0:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 1, i64 1)
-; CHECK-NEXT: ret i64 [[TMP0]]
+define i64 @vsetvl_e8m1_and13bits(i64 %avl) nounwind #0 {
+; CHECK-LABEL: @vsetvl_e8m1_and13bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 0, i64 0)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 8191
+; CHECK-NEXT: ret i64 [[B]]
;
-entry:
- %0 = call i64 @llvm.riscv.vsetvlimax.i64(i64 1, i64 1)
- %1 = trunc i64 %0 to i32
- %2 = sext i32 %1 to i64
- ret i64 %2
+ %a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 0, i64 0)
+ %b = and i64 %a, 8191
+ ret i64 %b
}
-define i64 @vsetvlimax_zext_i64() nounwind {
-; CHECK-LABEL: @vsetvlimax_zext_i64(
-; CHECK-NEXT: entry:
-; CHECK-NEXT: [[TMP0:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 1, i64 1)
-; CHECK-NEXT: ret i64 [[TMP0]]
+define i64 @vsetvl_e8m1_constant_avl() nounwind #0 {
+; CHECK-LABEL: @vsetvl_e8m1_constant_avl(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 1, i64 0, i64 0)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 1
+; CHECK-NEXT: ret i64 [[B]]
;
-entry:
- %0 = call i64 @llvm.riscv.vsetvlimax.i64(i64 1, i64 1)
- %1 = trunc i64 %0 to i32
- %2 = zext i32 %1 to i64
- ret i64 %2
+ %a = call i64 @llvm.riscv.vsetvli(i64 1, i64 0, i64 0)
+ %b = and i64 %a, 1
+ ret i64 %b
}
-define i32 @vsetvlimax_and17_i32() nounwind {
-; CHECK-LABEL: @vsetvlimax_and17_i32(
-; CHECK-NEXT: entry:
-; CHECK-NEXT: [[TMP0:%.*]] = call i32 @llvm.riscv.vsetvlimax.i32(i32 1, i32 1)
-; CHECK-NEXT: ret i32 [[TMP0]]
+define i64 @vsetvl_e8m2_and15bits(i64 %avl) nounwind #0 {
+; CHECK-LABEL: @vsetvl_e8m2_and15bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 0, i64 1)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 32767
+; CHECK-NEXT: ret i64 [[B]]
;
-entry:
- %0 = call i32 @llvm.riscv.vsetvlimax.i32(i32 1, i32 1)
- %1 = and i32 %0, 131071
- ret i32 %1
+ %a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 0, i64 1)
+ %b = and i64 %a, 32767
+ ret i64 %b
}
-define i64 @vsetvlimax_and17_i64() nounwind {
-; CHECK-LABEL: @vsetvlimax_and17_i64(
-; CHECK-NEXT: entry:
-; CHECK-NEXT: [[TMP0:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 1, i64 1)
-; CHECK-NEXT: ret i64 [[TMP0]]
+define i64 @vsetvl_e8m2_and14bits(i64 %avl) nounwind #0 {
+; CHECK-LABEL: @vsetvl_e8m2_and14bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 0, i64 1)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 16383
+; CHECK-NEXT: ret i64 [[B]]
;
-entry:
- %0 = call i64 @llvm.riscv.vsetvlimax.i64(i64 1, i64 1)
- %1 = and i64 %0, 131071
- ret i64 %1
+ %a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 0, i64 1)
+ %b = and i64 %a, 16383
+ ret i64 %b
+}
+
+define i64 @vsetvl_e8m4_and16bits(i64 %avl) nounwind #0 {
+; CHECK-LABEL: @vsetvl_e8m4_and16bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 0, i64 2)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 65535
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 0, i64 2)
+ %b = and i64 %a, 65535
+ ret i64 %b
+}
+
+define i64 @vsetvl_e8m4_and15bits(i64 %avl) nounwind #0 {
+; CHECK-LABEL: @vsetvl_e8m4_and15bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 0, i64 2)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 32767
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 0, i64 2)
+ %b = and i64 %a, 32767
+ ret i64 %b
+}
+
+define i64 @vsetvl_e8m8_and17bits(i64 %avl) nounwind #0 {
+; CHECK-LABEL: @vsetvl_e8m8_and17bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 0, i64 3)
+; CHECK-NEXT: ret i64 [[A]]
+;
+ %a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 0, i64 3)
+ %b = and i64 %a, 131071
+ ret i64 %b
+}
+
+define i64 @vsetvl_e8m8_and16bits(i64 %avl) nounwind #0 {
+; CHECK-LABEL: @vsetvl_e8m8_and16bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 0, i64 3)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 65535
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 0, i64 3)
+ %b = and i64 %a, 65535
+ ret i64 %b
+}
+
+define i64 @vsetvl_e8mf2_and11bits(i64 %avl) nounwind #0 {
+; CHECK-LABEL: @vsetvl_e8mf2_and11bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 0, i64 5)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 2047
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 0, i64 5)
+ %b = and i64 %a, 2047
+ ret i64 %b
+}
+
+define i64 @vsetvl_e8mf2_and10bits(i64 %avl) nounwind #0 {
+; CHECK-LABEL: @vsetvl_e8mf2_and10bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 0, i64 5)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 1023
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 0, i64 5)
+ %b = and i64 %a, 1023
+ ret i64 %b
+}
+
+define i64 @vsetvl_e8mf4_and12bits(i64 %avl) nounwind #0 {
+; CHECK-LABEL: @vsetvl_e8mf4_and12bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 0, i64 6)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 4095
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 0, i64 6)
+ %b = and i64 %a, 4095
+ ret i64 %b
+}
+
+define i64 @vsetvl_e8mf4_and11bits(i64 %avl) nounwind #0 {
+; CHECK-LABEL: @vsetvl_e8mf4_and11bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 0, i64 6)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 2047
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 0, i64 6)
+ %b = and i64 %a, 2047
+ ret i64 %b
+}
+
+define i64 @vsetvl_e8mf8_and13bits(i64 %avl) nounwind #0 {
+; CHECK-LABEL: @vsetvl_e8mf8_and13bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 0, i64 7)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 8191
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 0, i64 7)
+ %b = and i64 %a, 8191
+ ret i64 %b
+}
+
+define i64 @vsetvl_e8mf8_and12bits(i64 %avl) nounwind #0 {
+; CHECK-LABEL: @vsetvl_e8mf8_and12bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 0, i64 7)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 4095
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 0, i64 7)
+ %b = and i64 %a, 4095
+ ret i64 %b
+}
+
+define i64 @vsetvl_e16m1_and13bits(i64 %avl) nounwind #0 {
+; CHECK-LABEL: @vsetvl_e16m1_and13bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 1, i64 0)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 8191
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 1, i64 0)
+ %b = and i64 %a, 8191
+ ret i64 %b
+}
+
+define i64 @vsetvl_e16m1_and12bits(i64 %avl) nounwind #0 {
+; CHECK-LABEL: @vsetvl_e16m1_and12bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 1, i64 0)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 4095
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 1, i64 0)
+ %b = and i64 %a, 4095
+ ret i64 %b
+}
+
+define i64 @vsetvl_e16m2_and14bits(i64 %avl) nounwind #0 {
+; CHECK-LABEL: @vsetvl_e16m2_and14bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 1, i64 1)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 16383
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 1, i64 1)
+ %b = and i64 %a, 16383
+ ret i64 %b
+}
+
+define i64 @vsetvl_e16m2_and13bits(i64 %avl) nounwind #0 {
+; CHECK-LABEL: @vsetvl_e16m2_and13bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 1, i64 1)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 8191
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 1, i64 1)
+ %b = and i64 %a, 8191
+ ret i64 %b
+}
+
+define i64 @vsetvl_e16m4_and15bits(i64 %avl) nounwind #0 {
+; CHECK-LABEL: @vsetvl_e16m4_and15bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 1, i64 2)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 32767
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 1, i64 2)
+ %b = and i64 %a, 32767
+ ret i64 %b
+}
+
+define i64 @vsetvl_e16m4_and14bits(i64 %avl) nounwind #0 {
+; CHECK-LABEL: @vsetvl_e16m4_and14bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 1, i64 2)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 16383
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 1, i64 2)
+ %b = and i64 %a, 16383
+ ret i64 %b
+}
+
+define i64 @vsetvl_e16m8_and16bits(i64 %avl) nounwind #0 {
+; CHECK-LABEL: @vsetvl_e16m8_and16bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 1, i64 3)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 65535
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 1, i64 3)
+ %b = and i64 %a, 65535
+ ret i64 %b
+}
+
+define i64 @vsetvl_e16m8_and15bits(i64 %avl) nounwind #0 {
+; CHECK-LABEL: @vsetvl_e16m8_and15bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 1, i64 3)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 32767
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 1, i64 3)
+ %b = and i64 %a, 32767
+ ret i64 %b
+}
+
+define i64 @vsetvl_e16mf2_and10bits(i64 %avl) nounwind #0 {
+; CHECK-LABEL: @vsetvl_e16mf2_and10bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 1, i64 5)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 1023
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 1, i64 5)
+ %b = and i64 %a, 1023
+ ret i64 %b
+}
+
+define i64 @vsetvl_e16mf2_and9bits(i64 %avl) nounwind #0 {
+; CHECK-LABEL: @vsetvl_e16mf2_and9bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 1, i64 5)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 511
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 1, i64 5)
+ %b = and i64 %a, 511
+ ret i64 %b
+}
+
+define i64 @vsetvl_e16mf4_and11bits(i64 %avl) nounwind #0 {
+; CHECK-LABEL: @vsetvl_e16mf4_and11bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 1, i64 6)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 2047
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 1, i64 6)
+ %b = and i64 %a, 2047
+ ret i64 %b
+}
+
+define i64 @vsetvl_e16mf4_and10bits(i64 %avl) nounwind #0 {
+; CHECK-LABEL: @vsetvl_e16mf4_and10bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 1, i64 6)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 1023
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 1, i64 6)
+ %b = and i64 %a, 1023
+ ret i64 %b
+}
+
+define i64 @vsetvl_e16mf8_and12bits(i64 %avl) nounwind #0 {
+; CHECK-LABEL: @vsetvl_e16mf8_and12bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 1, i64 7)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 4095
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 1, i64 7)
+ %b = and i64 %a, 4095
+ ret i64 %b
+}
+
+define i64 @vsetvl_e16mf8_and11bits(i64 %avl) nounwind #0 {
+; CHECK-LABEL: @vsetvl_e16mf8_and11bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 1, i64 7)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 2047
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 1, i64 7)
+ %b = and i64 %a, 2047
+ ret i64 %b
+}
+
+define i64 @vsetvl_e32m1_and12bits(i64 %avl) nounwind #0 {
+; CHECK-LABEL: @vsetvl_e32m1_and12bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 2, i64 0)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 4095
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 2, i64 0)
+ %b = and i64 %a, 4095
+ ret i64 %b
+}
+
+define i64 @vsetvl_e32m1_and11bits(i64 %avl) nounwind #0 {
+; CHECK-LABEL: @vsetvl_e32m1_and11bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 2, i64 0)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 2047
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 2, i64 0)
+ %b = and i64 %a, 2047
+ ret i64 %b
+}
+
+define i64 @vsetvl_e32m2_and13bits(i64 %avl) nounwind #0 {
+; CHECK-LABEL: @vsetvl_e32m2_and13bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 2, i64 1)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 8191
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 2, i64 1)
+ %b = and i64 %a, 8191
+ ret i64 %b
+}
+
+define i64 @vsetvl_e32m2_and12bits(i64 %avl) nounwind #0 {
+; CHECK-LABEL: @vsetvl_e32m2_and12bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 2, i64 1)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 4095
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 2, i64 1)
+ %b = and i64 %a, 4095
+ ret i64 %b
+}
+
+define i64 @vsetvl_e32m4_and14bits(i64 %avl) nounwind #0 {
+; CHECK-LABEL: @vsetvl_e32m4_and14bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 2, i64 2)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 16383
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 2, i64 2)
+ %b = and i64 %a, 16383
+ ret i64 %b
+}
+
+define i64 @vsetvl_e32m4_and13bits(i64 %avl) nounwind #0 {
+; CHECK-LABEL: @vsetvl_e32m4_and13bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 2, i64 2)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 8191
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 2, i64 2)
+ %b = and i64 %a, 8191
+ ret i64 %b
+}
+
+define i64 @vsetvl_e32m8_and15bits(i64 %avl) nounwind #0 {
+; CHECK-LABEL: @vsetvl_e32m8_and15bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 2, i64 3)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 32767
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 2, i64 3)
+ %b = and i64 %a, 32767
+ ret i64 %b
+}
+
+define i64 @vsetvl_e32m8_and14bits(i64 %avl) nounwind #0 {
+; CHECK-LABEL: @vsetvl_e32m8_and14bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 2, i64 3)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 16383
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 2, i64 3)
+ %b = and i64 %a, 16383
+ ret i64 %b
+}
+
+define i64 @vsetvl_e32mf2_and9bits(i64 %avl) nounwind #0 {
+; CHECK-LABEL: @vsetvl_e32mf2_and9bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 2, i64 5)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 511
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 2, i64 5)
+ %b = and i64 %a, 511
+ ret i64 %b
+}
+
+define i64 @vsetvl_e32mf2_and8bits(i64 %avl) nounwind #0 {
+; CHECK-LABEL: @vsetvl_e32mf2_and8bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 2, i64 5)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 255
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 2, i64 5)
+ %b = and i64 %a, 255
+ ret i64 %b
+}
+
+define i64 @vsetvl_e32mf4_and10bits(i64 %avl) nounwind #0 {
+; CHECK-LABEL: @vsetvl_e32mf4_and10bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 2, i64 6)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 1023
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 2, i64 6)
+ %b = and i64 %a, 1023
+ ret i64 %b
+}
+
+define i64 @vsetvl_e32mf4_and9bits(i64 %avl) nounwind #0 {
+; CHECK-LABEL: @vsetvl_e32mf4_and9bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 2, i64 6)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 511
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 2, i64 6)
+ %b = and i64 %a, 511
+ ret i64 %b
}
+
+define i64 @vsetvl_e32mf8_and11bits(i64 %avl) nounwind #0 {
+; CHECK-LABEL: @vsetvl_e32mf8_and11bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 2, i64 7)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 2047
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 2, i64 7)
+ %b = and i64 %a, 2047
+ ret i64 %b
+}
+
+define i64 @vsetvl_e32mf8_and10bits(i64 %avl) nounwind #0 {
+; CHECK-LABEL: @vsetvl_e32mf8_and10bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 2, i64 7)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 1023
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 2, i64 7)
+ %b = and i64 %a, 1023
+ ret i64 %b
+}
+
+define i64 @vsetvl_e64m1_and11bits(i64 %avl) nounwind #0 {
+; CHECK-LABEL: @vsetvl_e64m1_and11bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 3, i64 0)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 2047
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 3, i64 0)
+ %b = and i64 %a, 2047
+ ret i64 %b
+}
+
+define i64 @vsetvl_e64m1_and10bits(i64 %avl) nounwind #0 {
+; CHECK-LABEL: @vsetvl_e64m1_and10bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 3, i64 0)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 1023
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 3, i64 0)
+ %b = and i64 %a, 1023
+ ret i64 %b
+}
+
+define i64 @vsetvl_e64m2_and12bits(i64 %avl) nounwind #0 {
+; CHECK-LABEL: @vsetvl_e64m2_and12bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 3, i64 1)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 4095
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 3, i64 1)
+ %b = and i64 %a, 4095
+ ret i64 %b
+}
+
+define i64 @vsetvl_e64m2_and11bits(i64 %avl) nounwind #0 {
+; CHECK-LABEL: @vsetvl_e64m2_and11bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 3, i64 1)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 2047
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 3, i64 1)
+ %b = and i64 %a, 2047
+ ret i64 %b
+}
+
+define i64 @vsetvl_e64m4_and13bits(i64 %avl) nounwind #0 {
+; CHECK-LABEL: @vsetvl_e64m4_and13bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 3, i64 2)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 8191
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 3, i64 2)
+ %b = and i64 %a, 8191
+ ret i64 %b
+}
+
+define i64 @vsetvl_e64m4_and12bits(i64 %avl) nounwind #0 {
+; CHECK-LABEL: @vsetvl_e64m4_and12bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 3, i64 2)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 4095
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 3, i64 2)
+ %b = and i64 %a, 4095
+ ret i64 %b
+}
+
+define i64 @vsetvl_e64m8_and14bits(i64 %avl) nounwind #0 {
+; CHECK-LABEL: @vsetvl_e64m8_and14bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 3, i64 3)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 16383
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 3, i64 3)
+ %b = and i64 %a, 16383
+ ret i64 %b
+}
+
+define i64 @vsetvl_e64m8_and13bits(i64 %avl) nounwind #0 {
+; CHECK-LABEL: @vsetvl_e64m8_and13bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 3, i64 3)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 8191
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 3, i64 3)
+ %b = and i64 %a, 8191
+ ret i64 %b
+}
+
+define i64 @vsetvl_e64mf2_and8bits(i64 %avl) nounwind #0 {
+; CHECK-LABEL: @vsetvl_e64mf2_and8bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 3, i64 5)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 255
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 3, i64 5)
+ %b = and i64 %a, 255
+ ret i64 %b
+}
+
+define i64 @vsetvl_e64mf2_and7bits(i64 %avl) nounwind #0 {
+; CHECK-LABEL: @vsetvl_e64mf2_and7bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 3, i64 5)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 127
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 3, i64 5)
+ %b = and i64 %a, 127
+ ret i64 %b
+}
+
+define i64 @vsetvl_e64mf4_and9bits(i64 %avl) nounwind #0 {
+; CHECK-LABEL: @vsetvl_e64mf4_and9bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 3, i64 6)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 511
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 3, i64 6)
+ %b = and i64 %a, 511
+ ret i64 %b
+}
+
+define i64 @vsetvl_e64mf4_and8bits(i64 %avl) nounwind #0 {
+; CHECK-LABEL: @vsetvl_e64mf4_and8bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 3, i64 6)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 255
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 3, i64 6)
+ %b = and i64 %a, 255
+ ret i64 %b
+}
+
+define i64 @vsetvl_e64mf8_and10bits(i64 %avl) nounwind #0 {
+; CHECK-LABEL: @vsetvl_e64mf8_and10bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 3, i64 7)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 1023
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 3, i64 7)
+ %b = and i64 %a, 1023
+ ret i64 %b
+}
+
+define i64 @vsetvl_e64mf8_and9bits(i64 %avl) nounwind #0 {
+; CHECK-LABEL: @vsetvl_e64mf8_and9bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 3, i64 7)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 511
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 3, i64 7)
+ %b = and i64 %a, 511
+ ret i64 %b
+}
+
+attributes #0 = { vscale_range(2,1024) }
diff --git a/llvm/test/Transforms/InstCombine/RISCV/riscv-vsetvlimax-knownbits.ll b/llvm/test/Transforms/InstCombine/RISCV/riscv-vsetvlimax-knownbits.ll
new file mode 100644
index 00000000000000..87e80268e04a03
--- /dev/null
+++ b/llvm/test/Transforms/InstCombine/RISCV/riscv-vsetvlimax-knownbits.ll
@@ -0,0 +1,704 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; RUN: opt < %s -passes=instcombine -S | FileCheck %s
+
+declare i32 @llvm.riscv.vsetvlimax.i32(i32, i32)
+declare i64 @llvm.riscv.vsetvlimax.i64(i64, i64)
+
+define i32 @vsetvlimax_i32() nounwind #0 {
+; CHECK-LABEL: @vsetvlimax_i32(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[TMP0:%.*]] = call i32 @llvm.riscv.vsetvlimax.i32(i32 1, i32 1)
+; CHECK-NEXT: ret i32 [[TMP0]]
+;
+entry:
+ %0 = call i32 @llvm.riscv.vsetvlimax.i32(i32 1, i32 1)
+ %1 = and i32 %0, 2147483647
+ ret i32 %1
+}
+
+define i64 @vsetvlimax_sext_i64() nounwind #0 {
+; CHECK-LABEL: @vsetvlimax_sext_i64(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[TMP0:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 1, i64 1)
+; CHECK-NEXT: ret i64 [[TMP0]]
+;
+entry:
+ %0 = call i64 @llvm.riscv.vsetvlimax.i64(i64 1, i64 1)
+ %1 = trunc i64 %0 to i32
+ %2 = sext i32 %1 to i64
+ ret i64 %2
+}
+
+define i64 @vsetvlimax_zext_i64() nounwind #0 {
+; CHECK-LABEL: @vsetvlimax_zext_i64(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[TMP0:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 1, i64 1)
+; CHECK-NEXT: ret i64 [[TMP0]]
+;
+entry:
+ %0 = call i64 @llvm.riscv.vsetvlimax.i64(i64 1, i64 1)
+ %1 = trunc i64 %0 to i32
+ %2 = zext i32 %1 to i64
+ ret i64 %2
+}
+
+define signext i32 @vsetvlmax_sext() nounwind #0 {
+; CHECK-LABEL: @vsetvlmax_sext(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 1, i64 1)
+; CHECK-NEXT: [[B:%.*]] = trunc i64 [[A]] to i32
+; CHECK-NEXT: ret i32 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvlimax(i64 1, i64 1)
+ %b = trunc i64 %a to i32
+ ret i32 %b
+}
+
+define zeroext i32 @vsetvlmax_zext() nounwind #0 {
+; CHECK-LABEL: @vsetvlmax_zext(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 1, i64 1)
+; CHECK-NEXT: [[B:%.*]] = trunc i64 [[A]] to i32
+; CHECK-NEXT: ret i32 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvlimax(i64 1, i64 1)
+ %b = trunc i64 %a to i32
+ ret i32 %b
+}
+
+define i32 @vsetvlimax_and17_i32() nounwind #0 {
+; CHECK-LABEL: @vsetvlimax_and17_i32(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[TMP0:%.*]] = call i32 @llvm.riscv.vsetvlimax.i32(i32 1, i32 1)
+; CHECK-NEXT: ret i32 [[TMP0]]
+;
+entry:
+ %0 = call i32 @llvm.riscv.vsetvlimax.i32(i32 1, i32 1)
+ %1 = and i32 %0, 131071
+ ret i32 %1
+}
+
+define i64 @vsetvlimax_and17_i64() nounwind #0 {
+; CHECK-LABEL: @vsetvlimax_and17_i64(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[TMP0:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 1, i64 1)
+; CHECK-NEXT: ret i64 [[TMP0]]
+;
+entry:
+ %0 = call i64 @llvm.riscv.vsetvlimax.i64(i64 1, i64 1)
+ %1 = and i64 %0, 131071
+ ret i64 %1
+}
+
+define i64 @vsetvlmax_e8m1_and14bits() nounwind #0 {
+; CHECK-LABEL: @vsetvlmax_e8m1_and14bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 0, i64 0)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 16383
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvlimax(i64 0, i64 0)
+ %b = and i64 %a, 16383
+ ret i64 %b
+}
+
+define i64 @vsetvlmax_e8m1_and13bits() nounwind #0 {
+; CHECK-LABEL: @vsetvlmax_e8m1_and13bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 0, i64 0)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 8191
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvlimax(i64 0, i64 0)
+ %b = and i64 %a, 8191
+ ret i64 %b
+}
+
+define i64 @vsetvlmax_e8m2_and15bits() nounwind #0 {
+; CHECK-LABEL: @vsetvlmax_e8m2_and15bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 0, i64 1)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 32767
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvlimax(i64 0, i64 1)
+ %b = and i64 %a, 32767
+ ret i64 %b
+}
+
+define i64 @vsetvlmax_e8m2_and14bits() nounwind #0 {
+; CHECK-LABEL: @vsetvlmax_e8m2_and14bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 0, i64 1)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 16383
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvlimax(i64 0, i64 1)
+ %b = and i64 %a, 16383
+ ret i64 %b
+}
+
+define i64 @vsetvlmax_e8m4_and16bits() nounwind #0 {
+; CHECK-LABEL: @vsetvlmax_e8m4_and16bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 0, i64 2)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 65535
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvlimax(i64 0, i64 2)
+ %b = and i64 %a, 65535
+ ret i64 %b
+}
+
+define i64 @vsetvlmax_e8m4_and15bits() nounwind #0 {
+; CHECK-LABEL: @vsetvlmax_e8m4_and15bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 0, i64 2)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 32767
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvlimax(i64 0, i64 2)
+ %b = and i64 %a, 32767
+ ret i64 %b
+}
+
+define i64 @vsetvlmax_e8m8_and17bits() nounwind #0 {
+; CHECK-LABEL: @vsetvlmax_e8m8_and17bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 0, i64 3)
+; CHECK-NEXT: ret i64 [[A]]
+;
+ %a = call i64 @llvm.riscv.vsetvlimax(i64 0, i64 3)
+ %b = and i64 %a, 131071
+ ret i64 %b
+}
+
+define i64 @vsetvlmax_e8m8_and16bits() nounwind #0 {
+; CHECK-LABEL: @vsetvlmax_e8m8_and16bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 0, i64 3)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 65535
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvlimax(i64 0, i64 3)
+ %b = and i64 %a, 65535
+ ret i64 %b
+}
+
+define i64 @vsetvlmax_e8mf2_and11bits() nounwind #0 {
+; CHECK-LABEL: @vsetvlmax_e8mf2_and11bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 0, i64 5)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 2047
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvlimax(i64 0, i64 5)
+ %b = and i64 %a, 2047
+ ret i64 %b
+}
+
+define i64 @vsetvlmax_e8mf2_and10bits() nounwind #0 {
+; CHECK-LABEL: @vsetvlmax_e8mf2_and10bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 0, i64 5)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 1023
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvlimax(i64 0, i64 5)
+ %b = and i64 %a, 1023
+ ret i64 %b
+}
+
+define i64 @vsetvlmax_e8mf4_and12bits() nounwind #0 {
+; CHECK-LABEL: @vsetvlmax_e8mf4_and12bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 0, i64 6)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 4095
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvlimax(i64 0, i64 6)
+ %b = and i64 %a, 4095
+ ret i64 %b
+}
+
+define i64 @vsetvlmax_e8mf4_and11bits() nounwind #0 {
+; CHECK-LABEL: @vsetvlmax_e8mf4_and11bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 0, i64 6)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 2047
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvlimax(i64 0, i64 6)
+ %b = and i64 %a, 2047
+ ret i64 %b
+}
+
+define i64 @vsetvlmax_e8mf8_and13bits() nounwind #0 {
+; CHECK-LABEL: @vsetvlmax_e8mf8_and13bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 0, i64 7)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 8191
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvlimax(i64 0, i64 7)
+ %b = and i64 %a, 8191
+ ret i64 %b
+}
+
+define i64 @vsetvlmax_e8mf8_and12bits() nounwind #0 {
+; CHECK-LABEL: @vsetvlmax_e8mf8_and12bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 0, i64 7)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 4095
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvlimax(i64 0, i64 7)
+ %b = and i64 %a, 4095
+ ret i64 %b
+}
+
+define i64 @vsetvlmax_e16m1_and13bits() nounwind #0 {
+; CHECK-LABEL: @vsetvlmax_e16m1_and13bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 1, i64 0)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 8191
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvlimax(i64 1, i64 0)
+ %b = and i64 %a, 8191
+ ret i64 %b
+}
+
+define i64 @vsetvlmax_e16m1_and12bits() nounwind #0 {
+; CHECK-LABEL: @vsetvlmax_e16m1_and12bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 1, i64 0)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 4095
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvlimax(i64 1, i64 0)
+ %b = and i64 %a, 4095
+ ret i64 %b
+}
+
+define i64 @vsetvlmax_e16m2_and14bits() nounwind #0 {
+; CHECK-LABEL: @vsetvlmax_e16m2_and14bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 1, i64 1)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 16383
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvlimax(i64 1, i64 1)
+ %b = and i64 %a, 16383
+ ret i64 %b
+}
+
+define i64 @vsetvlmax_e16m2_and13bits() nounwind #0 {
+; CHECK-LABEL: @vsetvlmax_e16m2_and13bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 1, i64 1)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 8191
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvlimax(i64 1, i64 1)
+ %b = and i64 %a, 8191
+ ret i64 %b
+}
+
+define i64 @vsetvlmax_e16m4_and15bits() nounwind #0 {
+; CHECK-LABEL: @vsetvlmax_e16m4_and15bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 1, i64 2)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 32767
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvlimax(i64 1, i64 2)
+ %b = and i64 %a, 32767
+ ret i64 %b
+}
+
+define i64 @vsetvlmax_e16m4_and14bits() nounwind #0 {
+; CHECK-LABEL: @vsetvlmax_e16m4_and14bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 1, i64 2)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 16383
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvlimax(i64 1, i64 2)
+ %b = and i64 %a, 16383
+ ret i64 %b
+}
+
+define i64 @vsetvlmax_e16m8_and16bits() nounwind #0 {
+; CHECK-LABEL: @vsetvlmax_e16m8_and16bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 1, i64 3)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 65535
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvlimax(i64 1, i64 3)
+ %b = and i64 %a, 65535
+ ret i64 %b
+}
+
+define i64 @vsetvlmax_e16m8_and15bits() nounwind #0 {
+; CHECK-LABEL: @vsetvlmax_e16m8_and15bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 1, i64 3)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 32767
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvlimax(i64 1, i64 3)
+ %b = and i64 %a, 32767
+ ret i64 %b
+}
+
+define i64 @vsetvlmax_e16mf2_and10bits() nounwind #0 {
+; CHECK-LABEL: @vsetvlmax_e16mf2_and10bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 1, i64 5)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 1023
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvlimax(i64 1, i64 5)
+ %b = and i64 %a, 1023
+ ret i64 %b
+}
+
+define i64 @vsetvlmax_e16mf2_and9bits() nounwind #0 {
+; CHECK-LABEL: @vsetvlmax_e16mf2_and9bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 1, i64 5)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 511
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvlimax(i64 1, i64 5)
+ %b = and i64 %a, 511
+ ret i64 %b
+}
+
+define i64 @vsetvlmax_e16mf4_and11bits() nounwind #0 {
+; CHECK-LABEL: @vsetvlmax_e16mf4_and11bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 1, i64 6)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 2047
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvlimax(i64 1, i64 6)
+ %b = and i64 %a, 2047
+ ret i64 %b
+}
+
+define i64 @vsetvlmax_e16mf4_and10bits() nounwind #0 {
+; CHECK-LABEL: @vsetvlmax_e16mf4_and10bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 1, i64 6)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 1023
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvlimax(i64 1, i64 6)
+ %b = and i64 %a, 1023
+ ret i64 %b
+}
+
+define i64 @vsetvlmax_e16mf8_and12bits() nounwind #0 {
+; CHECK-LABEL: @vsetvlmax_e16mf8_and12bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 1, i64 7)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 4095
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvlimax(i64 1, i64 7)
+ %b = and i64 %a, 4095
+ ret i64 %b
+}
+
+define i64 @vsetvlmax_e16mf8_and11bits() nounwind #0 {
+; CHECK-LABEL: @vsetvlmax_e16mf8_and11bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 1, i64 7)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 2047
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvlimax(i64 1, i64 7)
+ %b = and i64 %a, 2047
+ ret i64 %b
+}
+
+define i64 @vsetvlmax_e32m1_and12bits() nounwind #0 {
+; CHECK-LABEL: @vsetvlmax_e32m1_and12bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 2, i64 0)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 4095
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvlimax(i64 2, i64 0)
+ %b = and i64 %a, 4095
+ ret i64 %b
+}
+
+define i64 @vsetvlmax_e32m1_and11bits() nounwind #0 {
+; CHECK-LABEL: @vsetvlmax_e32m1_and11bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 2, i64 0)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 2047
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvlimax(i64 2, i64 0)
+ %b = and i64 %a, 2047
+ ret i64 %b
+}
+
+define i64 @vsetvlmax_e32m2_and13bits() nounwind #0 {
+; CHECK-LABEL: @vsetvlmax_e32m2_and13bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 2, i64 1)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 8191
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvlimax(i64 2, i64 1)
+ %b = and i64 %a, 8191
+ ret i64 %b
+}
+
+define i64 @vsetvlmax_e32m2_and12bits() nounwind #0 {
+; CHECK-LABEL: @vsetvlmax_e32m2_and12bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 2, i64 1)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 4095
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvlimax(i64 2, i64 1)
+ %b = and i64 %a, 4095
+ ret i64 %b
+}
+
+define i64 @vsetvlmax_e32m4_and14bits() nounwind #0 {
+; CHECK-LABEL: @vsetvlmax_e32m4_and14bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 2, i64 2)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 16383
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvlimax(i64 2, i64 2)
+ %b = and i64 %a, 16383
+ ret i64 %b
+}
+
+define i64 @vsetvlmax_e32m4_and13bits() nounwind #0 {
+; CHECK-LABEL: @vsetvlmax_e32m4_and13bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 2, i64 2)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 8191
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvlimax(i64 2, i64 2)
+ %b = and i64 %a, 8191
+ ret i64 %b
+}
+
+define i64 @vsetvlmax_e32m8_and15bits() nounwind #0 {
+; CHECK-LABEL: @vsetvlmax_e32m8_and15bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 2, i64 3)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 32767
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvlimax(i64 2, i64 3)
+ %b = and i64 %a, 32767
+ ret i64 %b
+}
+
+define i64 @vsetvlmax_e32m8_and14bits() nounwind #0 {
+; CHECK-LABEL: @vsetvlmax_e32m8_and14bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 2, i64 3)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 16383
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvlimax(i64 2, i64 3)
+ %b = and i64 %a, 16383
+ ret i64 %b
+}
+
+define i64 @vsetvlmax_e32mf2_and9bits() nounwind #0 {
+; CHECK-LABEL: @vsetvlmax_e32mf2_and9bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 2, i64 5)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 511
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvlimax(i64 2, i64 5)
+ %b = and i64 %a, 511
+ ret i64 %b
+}
+
+define i64 @vsetvlmax_e32mf2_and8bits() nounwind #0 {
+; CHECK-LABEL: @vsetvlmax_e32mf2_and8bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 2, i64 5)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 255
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvlimax(i64 2, i64 5)
+ %b = and i64 %a, 255
+ ret i64 %b
+}
+
+define i64 @vsetvlmax_e32mf4_and10bits() nounwind #0 {
+; CHECK-LABEL: @vsetvlmax_e32mf4_and10bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 2, i64 6)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 1023
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvlimax(i64 2, i64 6)
+ %b = and i64 %a, 1023
+ ret i64 %b
+}
+
+define i64 @vsetvlmax_e32mf4_and9bits() nounwind #0 {
+; CHECK-LABEL: @vsetvlmax_e32mf4_and9bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 2, i64 6)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 511
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvlimax(i64 2, i64 6)
+ %b = and i64 %a, 511
+ ret i64 %b
+}
+
+define i64 @vsetvlmax_e32mf8_and11bits() nounwind #0 {
+; CHECK-LABEL: @vsetvlmax_e32mf8_and11bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 2, i64 7)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 2047
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvlimax(i64 2, i64 7)
+ %b = and i64 %a, 2047
+ ret i64 %b
+}
+
+define i64 @vsetvlmax_e32mf8_and10bits() nounwind #0 {
+; CHECK-LABEL: @vsetvlmax_e32mf8_and10bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 2, i64 7)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 1023
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvlimax(i64 2, i64 7)
+ %b = and i64 %a, 1023
+ ret i64 %b
+}
+
+define i64 @vsetvlmax_e64m1_and11bits() nounwind #0 {
+; CHECK-LABEL: @vsetvlmax_e64m1_and11bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 3, i64 0)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 2047
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvlimax(i64 3, i64 0)
+ %b = and i64 %a, 2047
+ ret i64 %b
+}
+
+define i64 @vsetvlmax_e64m1_and10bits() nounwind #0 {
+; CHECK-LABEL: @vsetvlmax_e64m1_and10bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 3, i64 0)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 1023
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvlimax(i64 3, i64 0)
+ %b = and i64 %a, 1023
+ ret i64 %b
+}
+
+define i64 @vsetvlmax_e64m2_and12bits() nounwind #0 {
+; CHECK-LABEL: @vsetvlmax_e64m2_and12bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 3, i64 1)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 4095
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvlimax(i64 3, i64 1)
+ %b = and i64 %a, 4095
+ ret i64 %b
+}
+
+define i64 @vsetvlmax_e64m2_and11bits() nounwind #0 {
+; CHECK-LABEL: @vsetvlmax_e64m2_and11bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 3, i64 1)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 2047
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvlimax(i64 3, i64 1)
+ %b = and i64 %a, 2047
+ ret i64 %b
+}
+
+define i64 @vsetvlmax_e64m4_and13bits() nounwind #0 {
+; CHECK-LABEL: @vsetvlmax_e64m4_and13bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 3, i64 2)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 8191
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvlimax(i64 3, i64 2)
+ %b = and i64 %a, 8191
+ ret i64 %b
+}
+
+define i64 @vsetvlmax_e64m4_and12bits() nounwind #0 {
+; CHECK-LABEL: @vsetvlmax_e64m4_and12bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 3, i64 2)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 4095
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvlimax(i64 3, i64 2)
+ %b = and i64 %a, 4095
+ ret i64 %b
+}
+
+define i64 @vsetvlmax_e64m8_and14bits() nounwind #0 {
+; CHECK-LABEL: @vsetvlmax_e64m8_and14bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 3, i64 3)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 16383
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvlimax(i64 3, i64 3)
+ %b = and i64 %a, 16383
+ ret i64 %b
+}
+
+define i64 @vsetvlmax_e64m8_and13bits() nounwind #0 {
+; CHECK-LABEL: @vsetvlmax_e64m8_and13bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 3, i64 3)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 8191
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvlimax(i64 3, i64 3)
+ %b = and i64 %a, 8191
+ ret i64 %b
+}
+
+define i64 @vsetvlmax_e64mf2_and8bits() nounwind #0 {
+; CHECK-LABEL: @vsetvlmax_e64mf2_and8bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 3, i64 5)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 255
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvlimax(i64 3, i64 5)
+ %b = and i64 %a, 255
+ ret i64 %b
+}
+
+define i64 @vsetvlmax_e64mf2_and7bits() nounwind #0 {
+; CHECK-LABEL: @vsetvlmax_e64mf2_and7bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 3, i64 5)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 127
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvlimax(i64 3, i64 5)
+ %b = and i64 %a, 127
+ ret i64 %b
+}
+
+define i64 @vsetvlmax_e64mf4_and9bits() nounwind #0 {
+; CHECK-LABEL: @vsetvlmax_e64mf4_and9bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 3, i64 6)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 511
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvlimax(i64 3, i64 6)
+ %b = and i64 %a, 511
+ ret i64 %b
+}
+
+define i64 @vsetvlmax_e64mf4_and8bits() nounwind #0 {
+; CHECK-LABEL: @vsetvlmax_e64mf4_and8bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 3, i64 6)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 255
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvlimax(i64 3, i64 6)
+ %b = and i64 %a, 255
+ ret i64 %b
+}
+
+define i64 @vsetvlmax_e64mf8_and10bits() nounwind #0 {
+; CHECK-LABEL: @vsetvlmax_e64mf8_and10bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 3, i64 7)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 1023
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvlimax(i64 3, i64 7)
+ %b = and i64 %a, 1023
+ ret i64 %b
+}
+
+define i64 @vsetvlmax_e64mf8_and9bits() nounwind #0 {
+; CHECK-LABEL: @vsetvlmax_e64mf8_and9bits(
+; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 3, i64 7)
+; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 511
+; CHECK-NEXT: ret i64 [[B]]
+;
+ %a = call i64 @llvm.riscv.vsetvlimax(i64 3, i64 7)
+ %b = and i64 %a, 511
+ ret i64 %b
+}
>From 7cb25d3306cc79a059244f282c141a91ead96aa8 Mon Sep 17 00:00:00 2001
From: Wang Pengcheng <wangpengcheng.pp at bytedance.com>
Date: Sun, 18 Feb 2024 17:09:47 +0800
Subject: [PATCH 2/2] [RISCV] Take SEW/LMUL into account for value tracking of
vsetvli[max]
So that we can benefit from some instcombine optimizations.
---
llvm/lib/Analysis/ValueTracking.cpp | 30 ++-
.../RISCV/riscv-vsetvli-knownbits.ll | 84 +++-----
.../RISCV/riscv-vsetvlimax-knownbits.ll | 183 ++++++------------
3 files changed, 116 insertions(+), 181 deletions(-)
diff --git a/llvm/lib/Analysis/ValueTracking.cpp b/llvm/lib/Analysis/ValueTracking.cpp
index 1a076adb1bad0a..483e7035a4403b 100644
--- a/llvm/lib/Analysis/ValueTracking.cpp
+++ b/llvm/lib/Analysis/ValueTracking.cpp
@@ -73,6 +73,7 @@
#include "llvm/Support/ErrorHandling.h"
#include "llvm/Support/KnownBits.h"
#include "llvm/Support/MathExtras.h"
+#include "llvm/TargetParser/RISCVTargetParser.h"
#include <algorithm>
#include <cassert>
#include <cstdint>
@@ -1576,12 +1577,31 @@ static void computeKnownBitsFromOperator(const Operator *I,
Known.Zero.setBitsFrom(32);
break;
case Intrinsic::riscv_vsetvli:
- case Intrinsic::riscv_vsetvlimax:
- // Assume that VL output is <= 65536.
- // TODO: Take SEW and LMUL into account.
- if (BitWidth > 17)
- Known.Zero.setBitsFrom(17);
+ case Intrinsic::riscv_vsetvlimax: {
+ bool HasAVL = II->getIntrinsicID() == Intrinsic::riscv_vsetvli;
+ const ConstantRange &Range =
+ getVScaleRange(II->getFunction(), BitWidth);
+ uint64_t VSEW =
+ cast<ConstantInt>(II->getArgOperand(HasAVL))->getZExtValue();
+ uint64_t SEW = 1 << (VSEW + 3);
+ uint64_t VLMUL =
+ cast<ConstantInt>(II->getArgOperand(1 + HasAVL))->getZExtValue();
+ bool Fractional = VLMUL > 4;
+ uint64_t LMUL = Fractional ? (1 << (8 - VLMUL)) : (1 << VLMUL);
+ uint64_t MaxVL =
+ Range.getUpper().getZExtValue() * RISCV::RVVBitsPerBlock / SEW;
+ MaxVL = Fractional ? MaxVL / LMUL : MaxVL * LMUL;
+
+ // Result of vsetvli must be not larger than AVL.
+ if (HasAVL)
+ if (auto *CI = dyn_cast<ConstantInt>(II->getArgOperand(0)))
+ MaxVL = std::min(MaxVL, CI->getZExtValue());
+
+ unsigned KnownZeroFirstBit = Log2_32(MaxVL) + 1;
+ if (BitWidth > KnownZeroFirstBit)
+ Known.Zero.setBitsFrom(KnownZeroFirstBit);
break;
+ }
case Intrinsic::vscale: {
if (!II->getParent() || !II->getFunction())
break;
diff --git a/llvm/test/Transforms/InstCombine/RISCV/riscv-vsetvli-knownbits.ll b/llvm/test/Transforms/InstCombine/RISCV/riscv-vsetvli-knownbits.ll
index e254d2a71b7f53..1afae6565fe26b 100644
--- a/llvm/test/Transforms/InstCombine/RISCV/riscv-vsetvli-knownbits.ll
+++ b/llvm/test/Transforms/InstCombine/RISCV/riscv-vsetvli-knownbits.ll
@@ -91,8 +91,7 @@ entry:
define i64 @vsetvl_e8m1_and14bits(i64 %avl) nounwind #0 {
; CHECK-LABEL: @vsetvl_e8m1_and14bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 0, i64 0)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 16383
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 [[A]]
;
%a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 0, i64 0)
%b = and i64 %a, 16383
@@ -113,8 +112,7 @@ define i64 @vsetvl_e8m1_and13bits(i64 %avl) nounwind #0 {
define i64 @vsetvl_e8m1_constant_avl() nounwind #0 {
; CHECK-LABEL: @vsetvl_e8m1_constant_avl(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 1, i64 0, i64 0)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 1
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 [[A]]
;
%a = call i64 @llvm.riscv.vsetvli(i64 1, i64 0, i64 0)
%b = and i64 %a, 1
@@ -124,8 +122,7 @@ define i64 @vsetvl_e8m1_constant_avl() nounwind #0 {
define i64 @vsetvl_e8m2_and15bits(i64 %avl) nounwind #0 {
; CHECK-LABEL: @vsetvl_e8m2_and15bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 0, i64 1)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 32767
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 [[A]]
;
%a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 0, i64 1)
%b = and i64 %a, 32767
@@ -146,8 +143,7 @@ define i64 @vsetvl_e8m2_and14bits(i64 %avl) nounwind #0 {
define i64 @vsetvl_e8m4_and16bits(i64 %avl) nounwind #0 {
; CHECK-LABEL: @vsetvl_e8m4_and16bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 0, i64 2)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 65535
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 [[A]]
;
%a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 0, i64 2)
%b = and i64 %a, 65535
@@ -189,8 +185,7 @@ define i64 @vsetvl_e8m8_and16bits(i64 %avl) nounwind #0 {
define i64 @vsetvl_e8mf2_and11bits(i64 %avl) nounwind #0 {
; CHECK-LABEL: @vsetvl_e8mf2_and11bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 0, i64 5)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 2047
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 [[A]]
;
%a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 0, i64 5)
%b = and i64 %a, 2047
@@ -211,8 +206,7 @@ define i64 @vsetvl_e8mf2_and10bits(i64 %avl) nounwind #0 {
define i64 @vsetvl_e8mf4_and12bits(i64 %avl) nounwind #0 {
; CHECK-LABEL: @vsetvl_e8mf4_and12bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 0, i64 6)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 4095
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 [[A]]
;
%a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 0, i64 6)
%b = and i64 %a, 4095
@@ -233,8 +227,7 @@ define i64 @vsetvl_e8mf4_and11bits(i64 %avl) nounwind #0 {
define i64 @vsetvl_e8mf8_and13bits(i64 %avl) nounwind #0 {
; CHECK-LABEL: @vsetvl_e8mf8_and13bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 0, i64 7)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 8191
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 [[A]]
;
%a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 0, i64 7)
%b = and i64 %a, 8191
@@ -255,8 +248,7 @@ define i64 @vsetvl_e8mf8_and12bits(i64 %avl) nounwind #0 {
define i64 @vsetvl_e16m1_and13bits(i64 %avl) nounwind #0 {
; CHECK-LABEL: @vsetvl_e16m1_and13bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 1, i64 0)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 8191
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 [[A]]
;
%a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 1, i64 0)
%b = and i64 %a, 8191
@@ -277,8 +269,7 @@ define i64 @vsetvl_e16m1_and12bits(i64 %avl) nounwind #0 {
define i64 @vsetvl_e16m2_and14bits(i64 %avl) nounwind #0 {
; CHECK-LABEL: @vsetvl_e16m2_and14bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 1, i64 1)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 16383
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 [[A]]
;
%a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 1, i64 1)
%b = and i64 %a, 16383
@@ -299,8 +290,7 @@ define i64 @vsetvl_e16m2_and13bits(i64 %avl) nounwind #0 {
define i64 @vsetvl_e16m4_and15bits(i64 %avl) nounwind #0 {
; CHECK-LABEL: @vsetvl_e16m4_and15bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 1, i64 2)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 32767
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 [[A]]
;
%a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 1, i64 2)
%b = and i64 %a, 32767
@@ -321,8 +311,7 @@ define i64 @vsetvl_e16m4_and14bits(i64 %avl) nounwind #0 {
define i64 @vsetvl_e16m8_and16bits(i64 %avl) nounwind #0 {
; CHECK-LABEL: @vsetvl_e16m8_and16bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 1, i64 3)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 65535
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 [[A]]
;
%a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 1, i64 3)
%b = and i64 %a, 65535
@@ -343,8 +332,7 @@ define i64 @vsetvl_e16m8_and15bits(i64 %avl) nounwind #0 {
define i64 @vsetvl_e16mf2_and10bits(i64 %avl) nounwind #0 {
; CHECK-LABEL: @vsetvl_e16mf2_and10bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 1, i64 5)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 1023
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 [[A]]
;
%a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 1, i64 5)
%b = and i64 %a, 1023
@@ -365,8 +353,7 @@ define i64 @vsetvl_e16mf2_and9bits(i64 %avl) nounwind #0 {
define i64 @vsetvl_e16mf4_and11bits(i64 %avl) nounwind #0 {
; CHECK-LABEL: @vsetvl_e16mf4_and11bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 1, i64 6)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 2047
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 [[A]]
;
%a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 1, i64 6)
%b = and i64 %a, 2047
@@ -387,8 +374,7 @@ define i64 @vsetvl_e16mf4_and10bits(i64 %avl) nounwind #0 {
define i64 @vsetvl_e16mf8_and12bits(i64 %avl) nounwind #0 {
; CHECK-LABEL: @vsetvl_e16mf8_and12bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 1, i64 7)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 4095
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 [[A]]
;
%a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 1, i64 7)
%b = and i64 %a, 4095
@@ -409,8 +395,7 @@ define i64 @vsetvl_e16mf8_and11bits(i64 %avl) nounwind #0 {
define i64 @vsetvl_e32m1_and12bits(i64 %avl) nounwind #0 {
; CHECK-LABEL: @vsetvl_e32m1_and12bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 2, i64 0)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 4095
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 [[A]]
;
%a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 2, i64 0)
%b = and i64 %a, 4095
@@ -431,8 +416,7 @@ define i64 @vsetvl_e32m1_and11bits(i64 %avl) nounwind #0 {
define i64 @vsetvl_e32m2_and13bits(i64 %avl) nounwind #0 {
; CHECK-LABEL: @vsetvl_e32m2_and13bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 2, i64 1)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 8191
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 [[A]]
;
%a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 2, i64 1)
%b = and i64 %a, 8191
@@ -453,8 +437,7 @@ define i64 @vsetvl_e32m2_and12bits(i64 %avl) nounwind #0 {
define i64 @vsetvl_e32m4_and14bits(i64 %avl) nounwind #0 {
; CHECK-LABEL: @vsetvl_e32m4_and14bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 2, i64 2)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 16383
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 [[A]]
;
%a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 2, i64 2)
%b = and i64 %a, 16383
@@ -475,8 +458,7 @@ define i64 @vsetvl_e32m4_and13bits(i64 %avl) nounwind #0 {
define i64 @vsetvl_e32m8_and15bits(i64 %avl) nounwind #0 {
; CHECK-LABEL: @vsetvl_e32m8_and15bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 2, i64 3)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 32767
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 [[A]]
;
%a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 2, i64 3)
%b = and i64 %a, 32767
@@ -497,8 +479,7 @@ define i64 @vsetvl_e32m8_and14bits(i64 %avl) nounwind #0 {
define i64 @vsetvl_e32mf2_and9bits(i64 %avl) nounwind #0 {
; CHECK-LABEL: @vsetvl_e32mf2_and9bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 2, i64 5)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 511
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 [[A]]
;
%a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 2, i64 5)
%b = and i64 %a, 511
@@ -519,8 +500,7 @@ define i64 @vsetvl_e32mf2_and8bits(i64 %avl) nounwind #0 {
define i64 @vsetvl_e32mf4_and10bits(i64 %avl) nounwind #0 {
; CHECK-LABEL: @vsetvl_e32mf4_and10bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 2, i64 6)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 1023
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 [[A]]
;
%a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 2, i64 6)
%b = and i64 %a, 1023
@@ -541,8 +521,7 @@ define i64 @vsetvl_e32mf4_and9bits(i64 %avl) nounwind #0 {
define i64 @vsetvl_e32mf8_and11bits(i64 %avl) nounwind #0 {
; CHECK-LABEL: @vsetvl_e32mf8_and11bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 2, i64 7)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 2047
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 [[A]]
;
%a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 2, i64 7)
%b = and i64 %a, 2047
@@ -563,8 +542,7 @@ define i64 @vsetvl_e32mf8_and10bits(i64 %avl) nounwind #0 {
define i64 @vsetvl_e64m1_and11bits(i64 %avl) nounwind #0 {
; CHECK-LABEL: @vsetvl_e64m1_and11bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 3, i64 0)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 2047
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 [[A]]
;
%a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 3, i64 0)
%b = and i64 %a, 2047
@@ -585,8 +563,7 @@ define i64 @vsetvl_e64m1_and10bits(i64 %avl) nounwind #0 {
define i64 @vsetvl_e64m2_and12bits(i64 %avl) nounwind #0 {
; CHECK-LABEL: @vsetvl_e64m2_and12bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 3, i64 1)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 4095
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 [[A]]
;
%a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 3, i64 1)
%b = and i64 %a, 4095
@@ -607,8 +584,7 @@ define i64 @vsetvl_e64m2_and11bits(i64 %avl) nounwind #0 {
define i64 @vsetvl_e64m4_and13bits(i64 %avl) nounwind #0 {
; CHECK-LABEL: @vsetvl_e64m4_and13bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 3, i64 2)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 8191
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 [[A]]
;
%a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 3, i64 2)
%b = and i64 %a, 8191
@@ -629,8 +605,7 @@ define i64 @vsetvl_e64m4_and12bits(i64 %avl) nounwind #0 {
define i64 @vsetvl_e64m8_and14bits(i64 %avl) nounwind #0 {
; CHECK-LABEL: @vsetvl_e64m8_and14bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 3, i64 3)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 16383
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 [[A]]
;
%a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 3, i64 3)
%b = and i64 %a, 16383
@@ -651,8 +626,7 @@ define i64 @vsetvl_e64m8_and13bits(i64 %avl) nounwind #0 {
define i64 @vsetvl_e64mf2_and8bits(i64 %avl) nounwind #0 {
; CHECK-LABEL: @vsetvl_e64mf2_and8bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 3, i64 5)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 255
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 [[A]]
;
%a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 3, i64 5)
%b = and i64 %a, 255
@@ -673,8 +647,7 @@ define i64 @vsetvl_e64mf2_and7bits(i64 %avl) nounwind #0 {
define i64 @vsetvl_e64mf4_and9bits(i64 %avl) nounwind #0 {
; CHECK-LABEL: @vsetvl_e64mf4_and9bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 3, i64 6)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 511
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 [[A]]
;
%a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 3, i64 6)
%b = and i64 %a, 511
@@ -695,8 +668,7 @@ define i64 @vsetvl_e64mf4_and8bits(i64 %avl) nounwind #0 {
define i64 @vsetvl_e64mf8_and10bits(i64 %avl) nounwind #0 {
; CHECK-LABEL: @vsetvl_e64mf8_and10bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvli.i64(i64 [[AVL:%.*]], i64 3, i64 7)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 1023
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 [[A]]
;
%a = call i64 @llvm.riscv.vsetvli(i64 %avl, i64 3, i64 7)
%b = and i64 %a, 1023
diff --git a/llvm/test/Transforms/InstCombine/RISCV/riscv-vsetvlimax-knownbits.ll b/llvm/test/Transforms/InstCombine/RISCV/riscv-vsetvlimax-knownbits.ll
index 87e80268e04a03..a3d5cedaa71d51 100644
--- a/llvm/test/Transforms/InstCombine/RISCV/riscv-vsetvlimax-knownbits.ll
+++ b/llvm/test/Transforms/InstCombine/RISCV/riscv-vsetvlimax-knownbits.ll
@@ -8,7 +8,7 @@ define i32 @vsetvlimax_i32() nounwind #0 {
; CHECK-LABEL: @vsetvlimax_i32(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[TMP0:%.*]] = call i32 @llvm.riscv.vsetvlimax.i32(i32 1, i32 1)
-; CHECK-NEXT: ret i32 [[TMP0]]
+; CHECK-NEXT: ret i32 0
;
entry:
%0 = call i32 @llvm.riscv.vsetvlimax.i32(i32 1, i32 1)
@@ -20,7 +20,7 @@ define i64 @vsetvlimax_sext_i64() nounwind #0 {
; CHECK-LABEL: @vsetvlimax_sext_i64(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[TMP0:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 1, i64 1)
-; CHECK-NEXT: ret i64 [[TMP0]]
+; CHECK-NEXT: ret i64 0
;
entry:
%0 = call i64 @llvm.riscv.vsetvlimax.i64(i64 1, i64 1)
@@ -33,7 +33,7 @@ define i64 @vsetvlimax_zext_i64() nounwind #0 {
; CHECK-LABEL: @vsetvlimax_zext_i64(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[TMP0:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 1, i64 1)
-; CHECK-NEXT: ret i64 [[TMP0]]
+; CHECK-NEXT: ret i64 0
;
entry:
%0 = call i64 @llvm.riscv.vsetvlimax.i64(i64 1, i64 1)
@@ -45,8 +45,7 @@ entry:
define signext i32 @vsetvlmax_sext() nounwind #0 {
; CHECK-LABEL: @vsetvlmax_sext(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 1, i64 1)
-; CHECK-NEXT: [[B:%.*]] = trunc i64 [[A]] to i32
-; CHECK-NEXT: ret i32 [[B]]
+; CHECK-NEXT: ret i32 0
;
%a = call i64 @llvm.riscv.vsetvlimax(i64 1, i64 1)
%b = trunc i64 %a to i32
@@ -56,8 +55,7 @@ define signext i32 @vsetvlmax_sext() nounwind #0 {
define zeroext i32 @vsetvlmax_zext() nounwind #0 {
; CHECK-LABEL: @vsetvlmax_zext(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 1, i64 1)
-; CHECK-NEXT: [[B:%.*]] = trunc i64 [[A]] to i32
-; CHECK-NEXT: ret i32 [[B]]
+; CHECK-NEXT: ret i32 0
;
%a = call i64 @llvm.riscv.vsetvlimax(i64 1, i64 1)
%b = trunc i64 %a to i32
@@ -68,7 +66,7 @@ define i32 @vsetvlimax_and17_i32() nounwind #0 {
; CHECK-LABEL: @vsetvlimax_and17_i32(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[TMP0:%.*]] = call i32 @llvm.riscv.vsetvlimax.i32(i32 1, i32 1)
-; CHECK-NEXT: ret i32 [[TMP0]]
+; CHECK-NEXT: ret i32 0
;
entry:
%0 = call i32 @llvm.riscv.vsetvlimax.i32(i32 1, i32 1)
@@ -80,7 +78,7 @@ define i64 @vsetvlimax_and17_i64() nounwind #0 {
; CHECK-LABEL: @vsetvlimax_and17_i64(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[TMP0:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 1, i64 1)
-; CHECK-NEXT: ret i64 [[TMP0]]
+; CHECK-NEXT: ret i64 0
;
entry:
%0 = call i64 @llvm.riscv.vsetvlimax.i64(i64 1, i64 1)
@@ -91,8 +89,7 @@ entry:
define i64 @vsetvlmax_e8m1_and14bits() nounwind #0 {
; CHECK-LABEL: @vsetvlmax_e8m1_and14bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 0, i64 0)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 16383
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 0
;
%a = call i64 @llvm.riscv.vsetvlimax(i64 0, i64 0)
%b = and i64 %a, 16383
@@ -102,8 +99,7 @@ define i64 @vsetvlmax_e8m1_and14bits() nounwind #0 {
define i64 @vsetvlmax_e8m1_and13bits() nounwind #0 {
; CHECK-LABEL: @vsetvlmax_e8m1_and13bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 0, i64 0)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 8191
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 0
;
%a = call i64 @llvm.riscv.vsetvlimax(i64 0, i64 0)
%b = and i64 %a, 8191
@@ -113,8 +109,7 @@ define i64 @vsetvlmax_e8m1_and13bits() nounwind #0 {
define i64 @vsetvlmax_e8m2_and15bits() nounwind #0 {
; CHECK-LABEL: @vsetvlmax_e8m2_and15bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 0, i64 1)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 32767
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 0
;
%a = call i64 @llvm.riscv.vsetvlimax(i64 0, i64 1)
%b = and i64 %a, 32767
@@ -124,8 +119,7 @@ define i64 @vsetvlmax_e8m2_and15bits() nounwind #0 {
define i64 @vsetvlmax_e8m2_and14bits() nounwind #0 {
; CHECK-LABEL: @vsetvlmax_e8m2_and14bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 0, i64 1)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 16383
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 0
;
%a = call i64 @llvm.riscv.vsetvlimax(i64 0, i64 1)
%b = and i64 %a, 16383
@@ -135,8 +129,7 @@ define i64 @vsetvlmax_e8m2_and14bits() nounwind #0 {
define i64 @vsetvlmax_e8m4_and16bits() nounwind #0 {
; CHECK-LABEL: @vsetvlmax_e8m4_and16bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 0, i64 2)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 65535
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 0
;
%a = call i64 @llvm.riscv.vsetvlimax(i64 0, i64 2)
%b = and i64 %a, 65535
@@ -146,8 +139,7 @@ define i64 @vsetvlmax_e8m4_and16bits() nounwind #0 {
define i64 @vsetvlmax_e8m4_and15bits() nounwind #0 {
; CHECK-LABEL: @vsetvlmax_e8m4_and15bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 0, i64 2)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 32767
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 0
;
%a = call i64 @llvm.riscv.vsetvlimax(i64 0, i64 2)
%b = and i64 %a, 32767
@@ -157,7 +149,7 @@ define i64 @vsetvlmax_e8m4_and15bits() nounwind #0 {
define i64 @vsetvlmax_e8m8_and17bits() nounwind #0 {
; CHECK-LABEL: @vsetvlmax_e8m8_and17bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 0, i64 3)
-; CHECK-NEXT: ret i64 [[A]]
+; CHECK-NEXT: ret i64 0
;
%a = call i64 @llvm.riscv.vsetvlimax(i64 0, i64 3)
%b = and i64 %a, 131071
@@ -167,8 +159,7 @@ define i64 @vsetvlmax_e8m8_and17bits() nounwind #0 {
define i64 @vsetvlmax_e8m8_and16bits() nounwind #0 {
; CHECK-LABEL: @vsetvlmax_e8m8_and16bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 0, i64 3)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 65535
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 0
;
%a = call i64 @llvm.riscv.vsetvlimax(i64 0, i64 3)
%b = and i64 %a, 65535
@@ -178,8 +169,7 @@ define i64 @vsetvlmax_e8m8_and16bits() nounwind #0 {
define i64 @vsetvlmax_e8mf2_and11bits() nounwind #0 {
; CHECK-LABEL: @vsetvlmax_e8mf2_and11bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 0, i64 5)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 2047
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 0
;
%a = call i64 @llvm.riscv.vsetvlimax(i64 0, i64 5)
%b = and i64 %a, 2047
@@ -189,8 +179,7 @@ define i64 @vsetvlmax_e8mf2_and11bits() nounwind #0 {
define i64 @vsetvlmax_e8mf2_and10bits() nounwind #0 {
; CHECK-LABEL: @vsetvlmax_e8mf2_and10bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 0, i64 5)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 1023
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 0
;
%a = call i64 @llvm.riscv.vsetvlimax(i64 0, i64 5)
%b = and i64 %a, 1023
@@ -200,8 +189,7 @@ define i64 @vsetvlmax_e8mf2_and10bits() nounwind #0 {
define i64 @vsetvlmax_e8mf4_and12bits() nounwind #0 {
; CHECK-LABEL: @vsetvlmax_e8mf4_and12bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 0, i64 6)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 4095
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 0
;
%a = call i64 @llvm.riscv.vsetvlimax(i64 0, i64 6)
%b = and i64 %a, 4095
@@ -211,8 +199,7 @@ define i64 @vsetvlmax_e8mf4_and12bits() nounwind #0 {
define i64 @vsetvlmax_e8mf4_and11bits() nounwind #0 {
; CHECK-LABEL: @vsetvlmax_e8mf4_and11bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 0, i64 6)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 2047
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 0
;
%a = call i64 @llvm.riscv.vsetvlimax(i64 0, i64 6)
%b = and i64 %a, 2047
@@ -222,8 +209,7 @@ define i64 @vsetvlmax_e8mf4_and11bits() nounwind #0 {
define i64 @vsetvlmax_e8mf8_and13bits() nounwind #0 {
; CHECK-LABEL: @vsetvlmax_e8mf8_and13bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 0, i64 7)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 8191
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 0
;
%a = call i64 @llvm.riscv.vsetvlimax(i64 0, i64 7)
%b = and i64 %a, 8191
@@ -233,8 +219,7 @@ define i64 @vsetvlmax_e8mf8_and13bits() nounwind #0 {
define i64 @vsetvlmax_e8mf8_and12bits() nounwind #0 {
; CHECK-LABEL: @vsetvlmax_e8mf8_and12bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 0, i64 7)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 4095
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 0
;
%a = call i64 @llvm.riscv.vsetvlimax(i64 0, i64 7)
%b = and i64 %a, 4095
@@ -244,8 +229,7 @@ define i64 @vsetvlmax_e8mf8_and12bits() nounwind #0 {
define i64 @vsetvlmax_e16m1_and13bits() nounwind #0 {
; CHECK-LABEL: @vsetvlmax_e16m1_and13bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 1, i64 0)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 8191
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 0
;
%a = call i64 @llvm.riscv.vsetvlimax(i64 1, i64 0)
%b = and i64 %a, 8191
@@ -255,8 +239,7 @@ define i64 @vsetvlmax_e16m1_and13bits() nounwind #0 {
define i64 @vsetvlmax_e16m1_and12bits() nounwind #0 {
; CHECK-LABEL: @vsetvlmax_e16m1_and12bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 1, i64 0)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 4095
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 0
;
%a = call i64 @llvm.riscv.vsetvlimax(i64 1, i64 0)
%b = and i64 %a, 4095
@@ -266,8 +249,7 @@ define i64 @vsetvlmax_e16m1_and12bits() nounwind #0 {
define i64 @vsetvlmax_e16m2_and14bits() nounwind #0 {
; CHECK-LABEL: @vsetvlmax_e16m2_and14bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 1, i64 1)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 16383
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 0
;
%a = call i64 @llvm.riscv.vsetvlimax(i64 1, i64 1)
%b = and i64 %a, 16383
@@ -277,8 +259,7 @@ define i64 @vsetvlmax_e16m2_and14bits() nounwind #0 {
define i64 @vsetvlmax_e16m2_and13bits() nounwind #0 {
; CHECK-LABEL: @vsetvlmax_e16m2_and13bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 1, i64 1)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 8191
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 0
;
%a = call i64 @llvm.riscv.vsetvlimax(i64 1, i64 1)
%b = and i64 %a, 8191
@@ -288,8 +269,7 @@ define i64 @vsetvlmax_e16m2_and13bits() nounwind #0 {
define i64 @vsetvlmax_e16m4_and15bits() nounwind #0 {
; CHECK-LABEL: @vsetvlmax_e16m4_and15bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 1, i64 2)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 32767
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 0
;
%a = call i64 @llvm.riscv.vsetvlimax(i64 1, i64 2)
%b = and i64 %a, 32767
@@ -299,8 +279,7 @@ define i64 @vsetvlmax_e16m4_and15bits() nounwind #0 {
define i64 @vsetvlmax_e16m4_and14bits() nounwind #0 {
; CHECK-LABEL: @vsetvlmax_e16m4_and14bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 1, i64 2)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 16383
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 0
;
%a = call i64 @llvm.riscv.vsetvlimax(i64 1, i64 2)
%b = and i64 %a, 16383
@@ -310,8 +289,7 @@ define i64 @vsetvlmax_e16m4_and14bits() nounwind #0 {
define i64 @vsetvlmax_e16m8_and16bits() nounwind #0 {
; CHECK-LABEL: @vsetvlmax_e16m8_and16bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 1, i64 3)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 65535
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 0
;
%a = call i64 @llvm.riscv.vsetvlimax(i64 1, i64 3)
%b = and i64 %a, 65535
@@ -321,8 +299,7 @@ define i64 @vsetvlmax_e16m8_and16bits() nounwind #0 {
define i64 @vsetvlmax_e16m8_and15bits() nounwind #0 {
; CHECK-LABEL: @vsetvlmax_e16m8_and15bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 1, i64 3)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 32767
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 0
;
%a = call i64 @llvm.riscv.vsetvlimax(i64 1, i64 3)
%b = and i64 %a, 32767
@@ -332,8 +309,7 @@ define i64 @vsetvlmax_e16m8_and15bits() nounwind #0 {
define i64 @vsetvlmax_e16mf2_and10bits() nounwind #0 {
; CHECK-LABEL: @vsetvlmax_e16mf2_and10bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 1, i64 5)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 1023
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 0
;
%a = call i64 @llvm.riscv.vsetvlimax(i64 1, i64 5)
%b = and i64 %a, 1023
@@ -343,8 +319,7 @@ define i64 @vsetvlmax_e16mf2_and10bits() nounwind #0 {
define i64 @vsetvlmax_e16mf2_and9bits() nounwind #0 {
; CHECK-LABEL: @vsetvlmax_e16mf2_and9bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 1, i64 5)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 511
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 0
;
%a = call i64 @llvm.riscv.vsetvlimax(i64 1, i64 5)
%b = and i64 %a, 511
@@ -354,8 +329,7 @@ define i64 @vsetvlmax_e16mf2_and9bits() nounwind #0 {
define i64 @vsetvlmax_e16mf4_and11bits() nounwind #0 {
; CHECK-LABEL: @vsetvlmax_e16mf4_and11bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 1, i64 6)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 2047
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 0
;
%a = call i64 @llvm.riscv.vsetvlimax(i64 1, i64 6)
%b = and i64 %a, 2047
@@ -365,8 +339,7 @@ define i64 @vsetvlmax_e16mf4_and11bits() nounwind #0 {
define i64 @vsetvlmax_e16mf4_and10bits() nounwind #0 {
; CHECK-LABEL: @vsetvlmax_e16mf4_and10bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 1, i64 6)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 1023
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 0
;
%a = call i64 @llvm.riscv.vsetvlimax(i64 1, i64 6)
%b = and i64 %a, 1023
@@ -376,8 +349,7 @@ define i64 @vsetvlmax_e16mf4_and10bits() nounwind #0 {
define i64 @vsetvlmax_e16mf8_and12bits() nounwind #0 {
; CHECK-LABEL: @vsetvlmax_e16mf8_and12bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 1, i64 7)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 4095
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 0
;
%a = call i64 @llvm.riscv.vsetvlimax(i64 1, i64 7)
%b = and i64 %a, 4095
@@ -387,8 +359,7 @@ define i64 @vsetvlmax_e16mf8_and12bits() nounwind #0 {
define i64 @vsetvlmax_e16mf8_and11bits() nounwind #0 {
; CHECK-LABEL: @vsetvlmax_e16mf8_and11bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 1, i64 7)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 2047
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 0
;
%a = call i64 @llvm.riscv.vsetvlimax(i64 1, i64 7)
%b = and i64 %a, 2047
@@ -398,8 +369,7 @@ define i64 @vsetvlmax_e16mf8_and11bits() nounwind #0 {
define i64 @vsetvlmax_e32m1_and12bits() nounwind #0 {
; CHECK-LABEL: @vsetvlmax_e32m1_and12bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 2, i64 0)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 4095
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 0
;
%a = call i64 @llvm.riscv.vsetvlimax(i64 2, i64 0)
%b = and i64 %a, 4095
@@ -409,8 +379,7 @@ define i64 @vsetvlmax_e32m1_and12bits() nounwind #0 {
define i64 @vsetvlmax_e32m1_and11bits() nounwind #0 {
; CHECK-LABEL: @vsetvlmax_e32m1_and11bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 2, i64 0)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 2047
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 0
;
%a = call i64 @llvm.riscv.vsetvlimax(i64 2, i64 0)
%b = and i64 %a, 2047
@@ -420,8 +389,7 @@ define i64 @vsetvlmax_e32m1_and11bits() nounwind #0 {
define i64 @vsetvlmax_e32m2_and13bits() nounwind #0 {
; CHECK-LABEL: @vsetvlmax_e32m2_and13bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 2, i64 1)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 8191
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 0
;
%a = call i64 @llvm.riscv.vsetvlimax(i64 2, i64 1)
%b = and i64 %a, 8191
@@ -431,8 +399,7 @@ define i64 @vsetvlmax_e32m2_and13bits() nounwind #0 {
define i64 @vsetvlmax_e32m2_and12bits() nounwind #0 {
; CHECK-LABEL: @vsetvlmax_e32m2_and12bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 2, i64 1)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 4095
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 0
;
%a = call i64 @llvm.riscv.vsetvlimax(i64 2, i64 1)
%b = and i64 %a, 4095
@@ -442,8 +409,7 @@ define i64 @vsetvlmax_e32m2_and12bits() nounwind #0 {
define i64 @vsetvlmax_e32m4_and14bits() nounwind #0 {
; CHECK-LABEL: @vsetvlmax_e32m4_and14bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 2, i64 2)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 16383
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 0
;
%a = call i64 @llvm.riscv.vsetvlimax(i64 2, i64 2)
%b = and i64 %a, 16383
@@ -453,8 +419,7 @@ define i64 @vsetvlmax_e32m4_and14bits() nounwind #0 {
define i64 @vsetvlmax_e32m4_and13bits() nounwind #0 {
; CHECK-LABEL: @vsetvlmax_e32m4_and13bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 2, i64 2)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 8191
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 0
;
%a = call i64 @llvm.riscv.vsetvlimax(i64 2, i64 2)
%b = and i64 %a, 8191
@@ -464,8 +429,7 @@ define i64 @vsetvlmax_e32m4_and13bits() nounwind #0 {
define i64 @vsetvlmax_e32m8_and15bits() nounwind #0 {
; CHECK-LABEL: @vsetvlmax_e32m8_and15bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 2, i64 3)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 32767
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 0
;
%a = call i64 @llvm.riscv.vsetvlimax(i64 2, i64 3)
%b = and i64 %a, 32767
@@ -475,8 +439,7 @@ define i64 @vsetvlmax_e32m8_and15bits() nounwind #0 {
define i64 @vsetvlmax_e32m8_and14bits() nounwind #0 {
; CHECK-LABEL: @vsetvlmax_e32m8_and14bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 2, i64 3)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 16383
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 0
;
%a = call i64 @llvm.riscv.vsetvlimax(i64 2, i64 3)
%b = and i64 %a, 16383
@@ -486,8 +449,7 @@ define i64 @vsetvlmax_e32m8_and14bits() nounwind #0 {
define i64 @vsetvlmax_e32mf2_and9bits() nounwind #0 {
; CHECK-LABEL: @vsetvlmax_e32mf2_and9bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 2, i64 5)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 511
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 0
;
%a = call i64 @llvm.riscv.vsetvlimax(i64 2, i64 5)
%b = and i64 %a, 511
@@ -497,8 +459,7 @@ define i64 @vsetvlmax_e32mf2_and9bits() nounwind #0 {
define i64 @vsetvlmax_e32mf2_and8bits() nounwind #0 {
; CHECK-LABEL: @vsetvlmax_e32mf2_and8bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 2, i64 5)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 255
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 0
;
%a = call i64 @llvm.riscv.vsetvlimax(i64 2, i64 5)
%b = and i64 %a, 255
@@ -508,8 +469,7 @@ define i64 @vsetvlmax_e32mf2_and8bits() nounwind #0 {
define i64 @vsetvlmax_e32mf4_and10bits() nounwind #0 {
; CHECK-LABEL: @vsetvlmax_e32mf4_and10bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 2, i64 6)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 1023
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 0
;
%a = call i64 @llvm.riscv.vsetvlimax(i64 2, i64 6)
%b = and i64 %a, 1023
@@ -519,8 +479,7 @@ define i64 @vsetvlmax_e32mf4_and10bits() nounwind #0 {
define i64 @vsetvlmax_e32mf4_and9bits() nounwind #0 {
; CHECK-LABEL: @vsetvlmax_e32mf4_and9bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 2, i64 6)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 511
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 0
;
%a = call i64 @llvm.riscv.vsetvlimax(i64 2, i64 6)
%b = and i64 %a, 511
@@ -530,8 +489,7 @@ define i64 @vsetvlmax_e32mf4_and9bits() nounwind #0 {
define i64 @vsetvlmax_e32mf8_and11bits() nounwind #0 {
; CHECK-LABEL: @vsetvlmax_e32mf8_and11bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 2, i64 7)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 2047
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 0
;
%a = call i64 @llvm.riscv.vsetvlimax(i64 2, i64 7)
%b = and i64 %a, 2047
@@ -541,8 +499,7 @@ define i64 @vsetvlmax_e32mf8_and11bits() nounwind #0 {
define i64 @vsetvlmax_e32mf8_and10bits() nounwind #0 {
; CHECK-LABEL: @vsetvlmax_e32mf8_and10bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 2, i64 7)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 1023
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 0
;
%a = call i64 @llvm.riscv.vsetvlimax(i64 2, i64 7)
%b = and i64 %a, 1023
@@ -552,8 +509,7 @@ define i64 @vsetvlmax_e32mf8_and10bits() nounwind #0 {
define i64 @vsetvlmax_e64m1_and11bits() nounwind #0 {
; CHECK-LABEL: @vsetvlmax_e64m1_and11bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 3, i64 0)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 2047
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 0
;
%a = call i64 @llvm.riscv.vsetvlimax(i64 3, i64 0)
%b = and i64 %a, 2047
@@ -563,8 +519,7 @@ define i64 @vsetvlmax_e64m1_and11bits() nounwind #0 {
define i64 @vsetvlmax_e64m1_and10bits() nounwind #0 {
; CHECK-LABEL: @vsetvlmax_e64m1_and10bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 3, i64 0)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 1023
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 0
;
%a = call i64 @llvm.riscv.vsetvlimax(i64 3, i64 0)
%b = and i64 %a, 1023
@@ -574,8 +529,7 @@ define i64 @vsetvlmax_e64m1_and10bits() nounwind #0 {
define i64 @vsetvlmax_e64m2_and12bits() nounwind #0 {
; CHECK-LABEL: @vsetvlmax_e64m2_and12bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 3, i64 1)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 4095
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 0
;
%a = call i64 @llvm.riscv.vsetvlimax(i64 3, i64 1)
%b = and i64 %a, 4095
@@ -585,8 +539,7 @@ define i64 @vsetvlmax_e64m2_and12bits() nounwind #0 {
define i64 @vsetvlmax_e64m2_and11bits() nounwind #0 {
; CHECK-LABEL: @vsetvlmax_e64m2_and11bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 3, i64 1)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 2047
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 0
;
%a = call i64 @llvm.riscv.vsetvlimax(i64 3, i64 1)
%b = and i64 %a, 2047
@@ -596,8 +549,7 @@ define i64 @vsetvlmax_e64m2_and11bits() nounwind #0 {
define i64 @vsetvlmax_e64m4_and13bits() nounwind #0 {
; CHECK-LABEL: @vsetvlmax_e64m4_and13bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 3, i64 2)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 8191
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 0
;
%a = call i64 @llvm.riscv.vsetvlimax(i64 3, i64 2)
%b = and i64 %a, 8191
@@ -607,8 +559,7 @@ define i64 @vsetvlmax_e64m4_and13bits() nounwind #0 {
define i64 @vsetvlmax_e64m4_and12bits() nounwind #0 {
; CHECK-LABEL: @vsetvlmax_e64m4_and12bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 3, i64 2)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 4095
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 0
;
%a = call i64 @llvm.riscv.vsetvlimax(i64 3, i64 2)
%b = and i64 %a, 4095
@@ -618,8 +569,7 @@ define i64 @vsetvlmax_e64m4_and12bits() nounwind #0 {
define i64 @vsetvlmax_e64m8_and14bits() nounwind #0 {
; CHECK-LABEL: @vsetvlmax_e64m8_and14bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 3, i64 3)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 16383
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 0
;
%a = call i64 @llvm.riscv.vsetvlimax(i64 3, i64 3)
%b = and i64 %a, 16383
@@ -629,8 +579,7 @@ define i64 @vsetvlmax_e64m8_and14bits() nounwind #0 {
define i64 @vsetvlmax_e64m8_and13bits() nounwind #0 {
; CHECK-LABEL: @vsetvlmax_e64m8_and13bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 3, i64 3)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 8191
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 0
;
%a = call i64 @llvm.riscv.vsetvlimax(i64 3, i64 3)
%b = and i64 %a, 8191
@@ -640,8 +589,7 @@ define i64 @vsetvlmax_e64m8_and13bits() nounwind #0 {
define i64 @vsetvlmax_e64mf2_and8bits() nounwind #0 {
; CHECK-LABEL: @vsetvlmax_e64mf2_and8bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 3, i64 5)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 255
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 0
;
%a = call i64 @llvm.riscv.vsetvlimax(i64 3, i64 5)
%b = and i64 %a, 255
@@ -651,8 +599,7 @@ define i64 @vsetvlmax_e64mf2_and8bits() nounwind #0 {
define i64 @vsetvlmax_e64mf2_and7bits() nounwind #0 {
; CHECK-LABEL: @vsetvlmax_e64mf2_and7bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 3, i64 5)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 127
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 0
;
%a = call i64 @llvm.riscv.vsetvlimax(i64 3, i64 5)
%b = and i64 %a, 127
@@ -662,8 +609,7 @@ define i64 @vsetvlmax_e64mf2_and7bits() nounwind #0 {
define i64 @vsetvlmax_e64mf4_and9bits() nounwind #0 {
; CHECK-LABEL: @vsetvlmax_e64mf4_and9bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 3, i64 6)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 511
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 0
;
%a = call i64 @llvm.riscv.vsetvlimax(i64 3, i64 6)
%b = and i64 %a, 511
@@ -673,8 +619,7 @@ define i64 @vsetvlmax_e64mf4_and9bits() nounwind #0 {
define i64 @vsetvlmax_e64mf4_and8bits() nounwind #0 {
; CHECK-LABEL: @vsetvlmax_e64mf4_and8bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 3, i64 6)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 255
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 0
;
%a = call i64 @llvm.riscv.vsetvlimax(i64 3, i64 6)
%b = and i64 %a, 255
@@ -684,8 +629,7 @@ define i64 @vsetvlmax_e64mf4_and8bits() nounwind #0 {
define i64 @vsetvlmax_e64mf8_and10bits() nounwind #0 {
; CHECK-LABEL: @vsetvlmax_e64mf8_and10bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 3, i64 7)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 1023
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 0
;
%a = call i64 @llvm.riscv.vsetvlimax(i64 3, i64 7)
%b = and i64 %a, 1023
@@ -695,8 +639,7 @@ define i64 @vsetvlmax_e64mf8_and10bits() nounwind #0 {
define i64 @vsetvlmax_e64mf8_and9bits() nounwind #0 {
; CHECK-LABEL: @vsetvlmax_e64mf8_and9bits(
; CHECK-NEXT: [[A:%.*]] = call i64 @llvm.riscv.vsetvlimax.i64(i64 3, i64 7)
-; CHECK-NEXT: [[B:%.*]] = and i64 [[A]], 511
-; CHECK-NEXT: ret i64 [[B]]
+; CHECK-NEXT: ret i64 0
;
%a = call i64 @llvm.riscv.vsetvlimax(i64 3, i64 7)
%b = and i64 %a, 511
More information about the llvm-commits
mailing list