diff options
| author | Johannes Doerfert <johannes@jdoerfert.de> | 2022-12-14 08:59:20 -0800 |
|---|---|---|
| committer | Johannes Doerfert <johannes@jdoerfert.de> | 2022-12-14 09:00:05 -0800 |
| commit | cc9d9df7e539da4752f1569155d4ceb78465114f (patch) | |
| tree | 74aca25ab2f3728599fd26bef8dc99149f083b75 | |
| parent | 6be2db6ca5eac6b9de311ef36bac6d98bee5bcdb (diff) | |
| download | llvm-cc9d9df7e539da4752f1569155d4ceb78465114f.zip llvm-cc9d9df7e539da4752f1569155d4ceb78465114f.tar.gz llvm-cc9d9df7e539da4752f1569155d4ceb78465114f.tar.bz2 | |
[Attributor][NFCI] Update tests according to last commit
Will look into the difference now, this is to apease the bots.
| -rw-r--r-- | llvm/test/Transforms/Attributor/allow_list.ll | 23 |
1 files changed, 13 insertions, 10 deletions
diff --git a/llvm/test/Transforms/Attributor/allow_list.ll b/llvm/test/Transforms/Attributor/allow_list.ll index 31cb6bb..528e730 100644 --- a/llvm/test/Transforms/Attributor/allow_list.ll +++ b/llvm/test/Transforms/Attributor/allow_list.ll @@ -35,10 +35,12 @@ define internal i32 @range_test(i32 %a) #0 { ; CHECK_DISABLED_FUNCTION-NEXT: [[TMP2:%.*]] = zext i1 [[TMP1]] to i32 ; CHECK_DISABLED_FUNCTION-NEXT: ret i32 [[TMP2]] ; -; CHECK_ENABLED_FUNCTION: Function Attrs: noinline nounwind memory(none) uwtable +; CHECK_ENABLED_FUNCTION: Function Attrs: noinline nounwind uwtable ; CHECK_ENABLED_FUNCTION-LABEL: define {{[^@]+}}@range_test -; CHECK_ENABLED_FUNCTION-SAME: () #[[ATTR0:[0-9]+]] { -; CHECK_ENABLED_FUNCTION-NEXT: ret i32 1 +; CHECK_ENABLED_FUNCTION-SAME: (i32 [[A:%.*]]) #[[ATTR0:[0-9]+]] { +; CHECK_ENABLED_FUNCTION-NEXT: [[TMP1:%.*]] = icmp sgt i32 [[A]], 100 +; CHECK_ENABLED_FUNCTION-NEXT: [[TMP2:%.*]] = zext i1 [[TMP1]] to i32 +; CHECK_ENABLED_FUNCTION-NEXT: ret i32 [[TMP2]] ; %1 = icmp sgt i32 %a, 100 %2 = zext i1 %1 to i32 @@ -65,10 +67,11 @@ define i32 @range_use1() #0 { ; CHECK_DISABLED_FUNCTION-NEXT: [[TMP1:%.*]] = call i32 @range_test(i32 123) ; CHECK_DISABLED_FUNCTION-NEXT: ret i32 [[TMP1]] ; -; CHECK_ENABLED_FUNCTION: Function Attrs: nofree noinline norecurse nosync nounwind willreturn memory(none) uwtable +; CHECK_ENABLED_FUNCTION: Function Attrs: noinline norecurse nounwind uwtable ; CHECK_ENABLED_FUNCTION-LABEL: define {{[^@]+}}@range_use1 ; CHECK_ENABLED_FUNCTION-SAME: () #[[ATTR1:[0-9]+]] { -; CHECK_ENABLED_FUNCTION-NEXT: ret i32 1 +; CHECK_ENABLED_FUNCTION-NEXT: [[TMP1:%.*]] = call i32 @range_test(i32 noundef 123) #[[ATTR2:[0-9]+]] +; CHECK_ENABLED_FUNCTION-NEXT: ret i32 [[TMP1]] ; %1 = call i32 @range_test(i32 123) ret i32 %1 @@ -96,8 +99,8 @@ define i32 @range_use2() #0 { ; ; CHECK_ENABLED_FUNCTION: Function Attrs: noinline nounwind uwtable ; CHECK_ENABLED_FUNCTION-LABEL: define {{[^@]+}}@range_use2 -; CHECK_ENABLED_FUNCTION-SAME: () #[[ATTR2:[0-9]+]] { -; CHECK_ENABLED_FUNCTION-NEXT: [[TMP1:%.*]] = call i32 @range_test() +; CHECK_ENABLED_FUNCTION-SAME: () #[[ATTR0]] { +; CHECK_ENABLED_FUNCTION-NEXT: [[TMP1:%.*]] = call i32 @range_test(i32 123) ; CHECK_ENABLED_FUNCTION-NEXT: ret i32 [[TMP1]] ; %1 = call i32 @range_test(i32 123) @@ -112,7 +115,7 @@ attributes #0 = { nounwind uwtable noinline } ;. ; CHECK_DISABLED_FUNCTION: attributes #[[ATTR0]] = { noinline nounwind uwtable } ;. -; CHECK_ENABLED_FUNCTION: attributes #[[ATTR0]] = { noinline nounwind memory(none) uwtable } -; CHECK_ENABLED_FUNCTION: attributes #[[ATTR1]] = { nofree noinline norecurse nosync nounwind willreturn memory(none) uwtable } -; CHECK_ENABLED_FUNCTION: attributes #[[ATTR2]] = { noinline nounwind uwtable } +; CHECK_ENABLED_FUNCTION: attributes #[[ATTR0]] = { noinline nounwind uwtable } +; CHECK_ENABLED_FUNCTION: attributes #[[ATTR1]] = { noinline norecurse nounwind uwtable } +; CHECK_ENABLED_FUNCTION: attributes #[[ATTR2]] = { nounwind } ;. |