diff options
| author | Benjamin Kramer <benny.kra@googlemail.com> | 2012-09-21 16:26:41 +0000 |
|---|---|---|
| committer | Benjamin Kramer <benny.kra@googlemail.com> | 2012-09-21 16:26:41 +0000 |
| commit | efb4d34bcf83191cac46e346af323b5a8b21c823 (patch) | |
| tree | ecc83395b99d3d209697ea46a71359b800177e10 /llvm/test/Transforms/InstCombine/div-shift.ll | |
| parent | 29ebecb11ab538cab4247a064fba51e61f0a2b9c (diff) | |
| download | bcm5719-llvm-efb4d34bcf83191cac46e346af323b5a8b21c823.tar.gz bcm5719-llvm-efb4d34bcf83191cac46e346af323b5a8b21c823.zip | |
InstCombine: Make sure we use the pre-zext type when creating a constant of a value that is zext'd.
Fixes PR13250.
llvm-svn: 164377
Diffstat (limited to 'llvm/test/Transforms/InstCombine/div-shift.ll')
| -rw-r--r-- | llvm/test/Transforms/InstCombine/div-shift.ll | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/llvm/test/Transforms/InstCombine/div-shift.ll b/llvm/test/Transforms/InstCombine/div-shift.ll index a07f3ea9491..e0372ebac18 100644 --- a/llvm/test/Transforms/InstCombine/div-shift.ll +++ b/llvm/test/Transforms/InstCombine/div-shift.ll @@ -21,3 +21,17 @@ define i64 @t2(i64 %x, i32 %y) nounwind { %3 = udiv i64 %x, %2 ret i64 %3 } + +; PR13250 +define i64 @t3(i64 %x, i32 %y) nounwind { +; CHECK: t3 +; CHECK-NOT: udiv +; CHECK-NEXT: %1 = add i32 %y, 2 +; CHECK-NEXT: %2 = zext i32 %1 to i64 +; CHECK-NEXT: %3 = lshr i64 %x, %2 +; CHECK-NEXT: ret i64 %3 + %1 = shl i32 4, %y + %2 = zext i32 %1 to i64 + %3 = udiv i64 %x, %2 + ret i64 %3 +} |
