diff options
Diffstat (limited to 'llvm/test/Transforms')
| -rw-r--r-- | llvm/test/Transforms/GVNSink/operand-mismatch.ll | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/llvm/test/Transforms/GVNSink/operand-mismatch.ll b/llvm/test/Transforms/GVNSink/operand-mismatch.ll new file mode 100644 index 00000000000..2ca45cb895b --- /dev/null +++ b/llvm/test/Transforms/GVNSink/operand-mismatch.ll @@ -0,0 +1,34 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py +; RUN: opt -gvn-sink -S < %s | FileCheck %s + +; This would assert/crash because the calls have different numbers of operands: +; https://bugs.llvm.org/show_bug.cgi?id=42346 + +%vec = type opaque +%map = type { i32 } + +define void @PR42346() { +; CHECK-LABEL: @PR42346( +; CHECK-NEXT: entry: +; CHECK-NEXT: [[CALL1:%.*]] = call %vec* @bar(%map* undef, %vec* (%map*)* undef) +; CHECK-NEXT: br label [[EXIT:%.*]] +; CHECK: if: +; CHECK-NEXT: [[CALL2:%.*]] = call %vec* @baz(%map* undef) +; CHECK-NEXT: br label [[EXIT]] +; CHECK: exit: +; CHECK-NEXT: ret void +; +entry: + %call1 = call %vec* @bar(%map* undef, %vec* (%map*)* undef) + br label %exit + +if: + %call2 = call %vec* @baz(%map* undef) + br label %exit + +exit: + ret void +} + +declare %vec* @bar(%map*, %vec* (%map*)*) +declare %vec* @baz(%map*) |
