[llvm] r288881 - LowerTypeTests: Add a test that covers "unsatisfiable" type metadata.

[Peter Collingbourne via llvm-commits]

Author: pcc
Date: Tue Dec  6 21:04:34 2016
New Revision: 288881

URL: http://llvm.org/viewvc/llvm-project?rev=288881&view=rev
Log:
LowerTypeTests: Add a test that covers "unsatisfiable" type metadata.

Added:
    llvm/trunk/test/Transforms/LowerTypeTests/unsat.ll

Added: llvm/trunk/test/Transforms/LowerTypeTests/unsat.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/LowerTypeTests/unsat.ll?rev=288881&view=auto
==============================================================================
--- llvm/trunk/test/Transforms/LowerTypeTests/unsat.ll (added)
+++ llvm/trunk/test/Transforms/LowerTypeTests/unsat.ll Tue Dec  6 21:04:34 2016
@@ -0,0 +1,12 @@
+; FIXME: We should not require -O2 to simplify this to return false.
+; RUN: opt -S -lowertypetests -O2 < %s | FileCheck %s
+
+target datalayout = "e-p:32:32"
+
+declare i1 @llvm.type.test(i8* %ptr, metadata %bitset) nounwind readnone
+
+define i1 @foo(i8* %p) {
+  %x = call i1 @llvm.type.test(i8* %p, metadata !"typeid1")
+  ; CHECK: ret i1 false
+  ret i1 %x
+}