diff options
| author | Peter Collingbourne <peter@pcc.me.uk> | 2016-12-07 03:04:34 +0000 |
|---|---|---|
| committer | Peter Collingbourne <peter@pcc.me.uk> | 2016-12-07 03:04:34 +0000 |
| commit | 67ec0eb531d2c0f7931b08b6c5fa1d8380b0b852 (patch) | |
| tree | 09c4df71ff14262f2dd6f6eeb229158b0d9369fd /llvm/test | |
| parent | 7173340e1fbbb7c1995574ed820276861e703caf (diff) | |
| download | bcm5719-llvm-67ec0eb531d2c0f7931b08b6c5fa1d8380b0b852.tar.gz bcm5719-llvm-67ec0eb531d2c0f7931b08b6c5fa1d8380b0b852.zip | |
LowerTypeTests: Add a test that covers "unsatisfiable" type metadata.
llvm-svn: 288881
Diffstat (limited to 'llvm/test')
| -rw-r--r-- | llvm/test/Transforms/LowerTypeTests/unsat.ll | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/llvm/test/Transforms/LowerTypeTests/unsat.ll b/llvm/test/Transforms/LowerTypeTests/unsat.ll new file mode 100644 index 00000000000..5bafc9e8c40 --- /dev/null +++ b/llvm/test/Transforms/LowerTypeTests/unsat.ll @@ -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 +} |
