diff options
Diffstat (limited to 'llvm/test/Transforms/NewGVN/commute.ll')
| -rw-r--r-- | llvm/test/Transforms/NewGVN/commute.ll | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/llvm/test/Transforms/NewGVN/commute.ll b/llvm/test/Transforms/NewGVN/commute.ll new file mode 100644 index 00000000000..ab7541bd502 --- /dev/null +++ b/llvm/test/Transforms/NewGVN/commute.ll @@ -0,0 +1,23 @@ +; RUN: opt -newgvn -S < %s | FileCheck %s + +declare void @use(i32, i32) + +define void @foo(i32 %x, i32 %y) { + ; CHECK-LABEL: @foo( + %add1 = add i32 %x, %y + %add2 = add i32 %y, %x + call void @use(i32 %add1, i32 %add2) + ; CHECK: @use(i32 %add1, i32 %add1) + ret void +} + +declare void @vse(i1, i1) + +define void @bar(i32 %x, i32 %y) { + ; CHECK-LABEL: @bar( + %cmp1 = icmp ult i32 %x, %y + %cmp2 = icmp ugt i32 %y, %x + call void @vse(i1 %cmp1, i1 %cmp2) + ; CHECK: @vse(i1 %cmp1, i1 %cmp1) + ret void +} |
