diff options
author | Evgeniy Stepanov <eugeni.stepanov@gmail.com> | 2013-11-21 12:00:24 +0000 |
---|---|---|
committer | Evgeniy Stepanov <eugeni.stepanov@gmail.com> | 2013-11-21 12:00:24 +0000 |
commit | 52658c9db59f5b04cf45ba96e84b32247163fce3 (patch) | |
tree | 70ba9d907029c981149dfc279e2d8681b6378b21 /test/Instrumentation | |
parent | 001a93bbcb12823df7e85957819f1f73f762244b (diff) | |
download | llvm-52658c9db59f5b04cf45ba96e84b32247163fce3.tar.gz llvm-52658c9db59f5b04cf45ba96e84b32247163fce3.tar.bz2 llvm-52658c9db59f5b04cf45ba96e84b32247163fce3.tar.xz |
[msan] Propagate condition origin in select instruction.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@195349 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Instrumentation')
-rw-r--r-- | test/Instrumentation/MemorySanitizer/msan_basic.ll | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/test/Instrumentation/MemorySanitizer/msan_basic.ll b/test/Instrumentation/MemorySanitizer/msan_basic.ll index fceb3f0075..ec756161ef 100644 --- a/test/Instrumentation/MemorySanitizer/msan_basic.ll +++ b/test/Instrumentation/MemorySanitizer/msan_basic.ll @@ -255,6 +255,7 @@ entry: ; CHECK-NEXT: select ; CHECK-ORIGINS: select ; CHECK-ORIGINS: select +; CHECK: select ; CHECK: ret i32 @@ -274,6 +275,9 @@ entry: ; CHECK-NEXT: or <8 x i16> ; CHECK-ORIGINS: bitcast <8 x i1> {{.*}} to i8 ; CHECK-ORIGINS: icmp ne i8 {{.*}}, 0 +; CHECK-ORIGINS: bitcast <8 x i1> {{.*}} to i8 +; CHECK-ORIGINS: icmp ne i8 {{.*}}, 0 +; CHECK-ORIGINS: select i1 ; CHECK-ORIGINS: select i1 ; CHECK: select <8 x i1> ; CHECK: ret <8 x i16> @@ -295,6 +299,8 @@ entry: ; CHECK: sext i1 {{.*}} to i128 ; CHECK: bitcast i128 {{.*}} to <8 x i16> ; CHECK: or <8 x i16> +; CHECK-ORIGINS: select i1 +; CHECK-ORIGINS: select i1 ; CHECK: select i1 ; CHECK: ret <8 x i16> @@ -309,6 +315,7 @@ entry: ; CHECK: select i1 {{.*}}, { i64, i64 } ; CHECK-NEXT: select i1 {{.*}}, { i64, i64 } { i64 -1, i64 -1 }, { i64, i64 } ; CHECK-ORIGINS: select i1 +; CHECK-ORIGINS: select i1 ; CHECK-NEXT: select i1 {{.*}}, { i64, i64 } ; CHECK: ret { i64, i64 } |