diff options
| author | Daniel Berlin <dberlin@dberlin.org> | 2017-08-24 02:43:17 +0000 |
|---|---|---|
| committer | Daniel Berlin <dberlin@dberlin.org> | 2017-08-24 02:43:17 +0000 |
| commit | f948603a15850e8cdfe233a17ce2ba49f29d5478 (patch) | |
| tree | 17fc3ddc1e5700b982d5db4b7679a1bdc5f57e29 /llvm/test/Transforms | |
| parent | b85172f6ff393aa601847f39e39d4d9b93acf653 (diff) | |
| download | bcm5719-llvm-f948603a15850e8cdfe233a17ce2ba49f29d5478.tar.gz bcm5719-llvm-f948603a15850e8cdfe233a17ce2ba49f29d5478.zip | |
NewGVN: We weren't properly simplifying selects with equal arguments due to a thinko.
llvm-svn: 311626
Diffstat (limited to 'llvm/test/Transforms')
| -rw-r--r-- | llvm/test/Transforms/NewGVN/basic.ll | 34 |
1 files changed, 26 insertions, 8 deletions
diff --git a/llvm/test/Transforms/NewGVN/basic.ll b/llvm/test/Transforms/NewGVN/basic.ll index 587e9abe033..90193bdbcda 100644 --- a/llvm/test/Transforms/NewGVN/basic.ll +++ b/llvm/test/Transforms/NewGVN/basic.ll @@ -1,17 +1,35 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; RUN: opt < %s -newgvn -S | FileCheck %s define i32 @main() { +; CHECK-LABEL: @main( +; CHECK-NEXT: block1: +; CHECK-NEXT: br label [[BLOCK2:%.*]] +; CHECK: block2: +; CHECK-NEXT: ret i32 0 +; block1: - %z1 = bitcast i32 0 to i32 - br label %block2 + %z1 = bitcast i32 0 to i32 + br label %block2 block2: %z2 = bitcast i32 0 to i32 ret i32 %z2 } -; CHECK: define i32 @main() { -; CHECK-NEXT: block1: -; CHECK-NEXT: br label %block2 -; CHECK: block2: -; CHECK-NEXT: ret i32 0 -; CHECK-NEXT: } +; Test that we simplify selects properly +define i64 @simplifyselect(i64 %x, i64 %y, i1 %c1, i1 %c2, i1 %zzz) { +; CHECK-LABEL: @simplifyselect( +; CHECK-NEXT: [[SHARED:%.*]] = add i64 [[X:%.*]], [[Y:%.*]] +; CHECK-NEXT: [[R1:%.*]] = select i1 [[C1:%.*]], i64 [[SHARED]], i64 [[X]] +; CHECK-NEXT: [[R2:%.*]] = select i1 [[C2:%.*]], i64 [[SHARED]], i64 [[Y]] +; CHECK-NEXT: [[R:%.*]] = add i64 [[R1]], [[R2]] +; CHECK-NEXT: ret i64 [[R]] +; + %shared = add i64 %x, %y + %r1 = select i1 %c1, i64 %shared, i64 %x + %r2 = select i1 %c2, i64 %shared, i64 %y + %tmp = select i1 %c2, i64 %x, i64 0 + %r2_eq2 = select i1 %zzz, i64 %r2, i64 %r2 + %r = add i64 %r1, %r2_eq2 + ret i64 %r +} |
