[NFC][InstCombine] Add shift amount reassociation miscompile example from PR44802

https://bugs.llvm.org/show_bug.cgi?id=44802
This commit is contained in:
Roman Lebedev 2020-02-25 16:06:13 +03:00
parent fc466f8780
commit 425ef99938
No known key found for this signature in database
GPG Key ID: 083C3EBB4A1689E0
1 changed files with 15 additions and 0 deletions

View File

@ -319,3 +319,18 @@ define i32 @n20(i32 %x, i32 %y) {
%t3 = shl i32 %t1, %t2
ret i32 %t3
}
; FIXME: this is a miscompile. We should not transform this.
; See https://bugs.llvm.org/show_bug.cgi?id=44802
define i3 @pr44802(i3 %t0) {
; CHECK-LABEL: @pr44802(
; CHECK-NEXT: [[T1:%.*]] = sub i3 0, [[T0:%.*]]
; CHECK-NEXT: ret i3 [[T1]]
;
%t1 = sub i3 0, %t0
%t2 = icmp ne i3 %t0, 0
%t3 = zext i1 %t2 to i3
%t4 = lshr i3 %t1, %t3
%t5 = lshr i3 %t4, %t3
ret i3 %t5
}