65 lines · plain
1; RUN: opt < %s -msan-check-access-address=0 -S -passes=msan 2>&1 | FileCheck %s --implicit-check-not="call void @__msan_warning"2 3; REQUIRES: x86-registered-target4 5target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"6target triple = "x86_64-unknown-linux-gnu"7 8declare i32 @llvm.x86.sse2.cvtsd2si(<2 x double>) nounwind readnone9declare <2 x double> @llvm.x86.sse2.cvtsi2sd(<2 x double>, i32) nounwind readnone10declare <1 x i64> @llvm.x86.sse.cvtps2pi(<4 x float>) nounwind readnone11declare i32 @llvm.x86.avx512.vcvtss2usi32(<4 x float>, i32) nounwind readnone12 13; Single argument vector conversion.14 15define i32 @test_cvtsd2si(<2 x double> %value) sanitize_memory {16entry:17 %0 = tail call i32 @llvm.x86.sse2.cvtsd2si(<2 x double> %value)18 ret i32 %019}20 21; CHECK-LABEL: @test_cvtsd2si22; CHECK: [[S:%[_01-9a-z]+]] = extractelement <2 x i64> {{.*}}, i32 023; CHECK: icmp ne {{.*}}[[S]], 024; CHECK: br25; CHECK: call void @__msan_warning_noreturn()26; CHECK: call i32 @llvm.x86.sse2.cvtsd2si27; CHECK: store i32 0, {{.*}} @__msan_retval_tls28; CHECK: ret i3229 30; <1 x i64> packed vector conversion.31 32define <1 x i64> @test_cvtps2pi(<4 x float> %value) sanitize_memory {33entry:34 %0 = tail call <1 x i64> @llvm.x86.sse.cvtps2pi(<4 x float> %value)35 ret <1 x i64> %036}37 38; CHECK-LABEL: @test_cvtps2pi39; CHECK: extractelement <4 x i32> {{.*}}, i32 040; CHECK: extractelement <4 x i32> {{.*}}, i32 141; CHECK: [[S:%[_01-9a-z]+]] = or i3242; CHECK: icmp ne {{.*}}[[S]], 043; CHECK: br44; CHECK: call void @__msan_warning_noreturn()45; CHECK: call <1 x i64> @llvm.x86.sse.cvtps2pi46; CHECK: store <1 x i64> zeroinitializer, {{.*}} @__msan_retval_tls47; CHECK: ret <1 x i64>48 49; avx512 rounding conversion.50 51define i32 @pr48298(<4 x float> %value) sanitize_memory {52entry:53 %0 = tail call i32 @llvm.x86.avx512.vcvtss2usi32(<4 x float> %value, i32 11)54 ret i32 %055}56 57; CHECK-LABEL: @pr4829858; CHECK: extractelement <4 x i32> {{.*}}, i32 059; CHECK: icmp ne i32 {{.*}}, 060; CHECK: br61; CHECK: call void @__msan_warning_noreturn()62; CHECK: call i32 @llvm.x86.avx512.vcvtss2usi3263; CHECK: store i32 0, {{.*}} @__msan_retval_tls64; CHECK: ret i3265