diff options
| author | Craig Topper <craig.topper@sifive.com> | 2023-11-27 12:54:11 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-11-27 12:54:11 -0800 |
| commit | 03d4a9d94da30590ebfc444cf13a8763f47b7bb9 (patch) | |
| tree | a26fd0978b8a4a9f7756b7bfabeb9b49264d84cf /llvm/test/Analysis | |
| parent | e666e27485d69ca60747c198418e64922c72238f (diff) | |
| download | llvm-03d4a9d94da30590ebfc444cf13a8763f47b7bb9.zip llvm-03d4a9d94da30590ebfc444cf13a8763f47b7bb9.tar.gz llvm-03d4a9d94da30590ebfc444cf13a8763f47b7bb9.tar.bz2 | |
[InstCombine] Set disjoint flag when turning Add into Or. (#72702)
The disjoint flag was recently added to IR in #72583
Diffstat (limited to 'llvm/test/Analysis')
| -rw-r--r-- | llvm/test/Analysis/ValueTracking/assume.ll | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/llvm/test/Analysis/ValueTracking/assume.ll b/llvm/test/Analysis/ValueTracking/assume.ll index cc098e1..4c4b46c 100644 --- a/llvm/test/Analysis/ValueTracking/assume.ll +++ b/llvm/test/Analysis/ValueTracking/assume.ll @@ -7,7 +7,7 @@ define i32 @assume_add(i32 %a, i32 %b) { ; CHECK-NEXT: [[LAST_TWO_DIGITS:%.*]] = and i32 [[T1]], 3 ; CHECK-NEXT: [[T2:%.*]] = icmp eq i32 [[LAST_TWO_DIGITS]], 0 ; CHECK-NEXT: call void @llvm.assume(i1 [[T2]]) -; CHECK-NEXT: [[T3:%.*]] = or i32 [[T1]], 3 +; CHECK-NEXT: [[T3:%.*]] = or disjoint i32 [[T1]], 3 ; CHECK-NEXT: ret i32 [[T3]] ; %t1 = add i32 %a, %b |