mirror of
https://github.com/RPCSX/llvm.git
synced 2024-12-12 22:26:14 +00:00
f716393db9
The original patch would fail when: * A dst opaque type (%A) is matched with a src type (%A). * A src opaque (%E) type is then speculatively matched with %A and the speculation fails afterward. * When rolling back the speculation we would cancel the source %A to dest %A mapping. The fix is to keep an explicit list of which resolutions are speculative. Original message: Fix overly aggressive type merging. If we find out that two types are *not* isomorphic, we learn nothing about opaque sub types in both the source and destination. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@222923 91177308-0d34-0410-b5e6-96231b3b80d8
17 lines
336 B
LLVM
17 lines
336 B
LLVM
; RUN: llvm-link -S %s %p/Inputs/type-unique-opaque.ll | FileCheck %s
|
|
|
|
; Test that a failed attempt at merging %u2 and %t2 (for the other file) will
|
|
; not cause %u and %t to get merged.
|
|
|
|
; CHECK: %u = type opaque
|
|
; CHECK: define %u* @g() {
|
|
|
|
%u = type opaque
|
|
%u2 = type { %u*, i8 }
|
|
|
|
declare %u2* @f()
|
|
|
|
define %u* @g() {
|
|
ret %u* null
|
|
}
|