124ca728dSVitaly Buka; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 224ca728dSVitaly Buka; RUN: opt -S -passes=msan < %s | FileCheck %s 324ca728dSVitaly Buka 424ca728dSVitaly Bukatarget 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" 524ca728dSVitaly Bukatarget triple = "x86_64-unknown-linux-gnu" 624ca728dSVitaly Buka 724ca728dSVitaly Buka; Function Attrs: sanitize_memory 824ca728dSVitaly Bukadefine i1 @not_isfinite_or_zero_f16(half %x) sanitize_memory { 924ca728dSVitaly Buka; CHECK-LABEL: @not_isfinite_or_zero_f16( 1024ca728dSVitaly Buka; CHECK-NEXT: [[TMP1:%.*]] = load i16, ptr @__msan_param_tls, align 8 1124ca728dSVitaly Buka; CHECK-NEXT: call void @llvm.donothing() 12*67caff6fSVitaly Buka; CHECK-NEXT: [[TMP2:%.*]] = icmp ne i16 [[TMP1]], 0 1324ca728dSVitaly Buka; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f16(half [[X:%.*]], i32 615) 14*67caff6fSVitaly Buka; CHECK-NEXT: store i1 [[TMP2]], ptr @__msan_retval_tls, align 8 1524ca728dSVitaly Buka; CHECK-NEXT: ret i1 [[CLASS]] 1624ca728dSVitaly Buka; 1724ca728dSVitaly Buka %class = call i1 @llvm.is.fpclass.f16(half %x, i32 615) 1824ca728dSVitaly Buka ret i1 %class 1924ca728dSVitaly Buka} 2024ca728dSVitaly Buka 2124ca728dSVitaly Buka; Function Attrs: sanitize_memory 2224ca728dSVitaly Bukadefine <2 x i1> @not_isfinite_or_zero_v2f16_pos0_neg0_vec(<2 x half> %x) sanitize_memory { 2324ca728dSVitaly Buka; CHECK-LABEL: @not_isfinite_or_zero_v2f16_pos0_neg0_vec( 2424ca728dSVitaly Buka; CHECK-NEXT: [[TMP1:%.*]] = load <2 x i16>, ptr @__msan_param_tls, align 8 2524ca728dSVitaly Buka; CHECK-NEXT: call void @llvm.donothing() 26*67caff6fSVitaly Buka; CHECK-NEXT: [[TMP2:%.*]] = icmp ne <2 x i16> [[TMP1]], zeroinitializer 2724ca728dSVitaly Buka; CHECK-NEXT: [[CLASS:%.*]] = call <2 x i1> @llvm.is.fpclass.v2f16(<2 x half> [[X:%.*]], i32 615) 28*67caff6fSVitaly Buka; CHECK-NEXT: store <2 x i1> [[TMP2]], ptr @__msan_retval_tls, align 8 2924ca728dSVitaly Buka; CHECK-NEXT: ret <2 x i1> [[CLASS]] 3024ca728dSVitaly Buka; 3124ca728dSVitaly Buka %class = call <2 x i1> @llvm.is.fpclass.v2f16(<2 x half> %x, i32 615) 3224ca728dSVitaly Buka ret <2 x i1> %class 3324ca728dSVitaly Buka} 3424ca728dSVitaly Buka 3524ca728dSVitaly Buka; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none) 3624ca728dSVitaly Bukadeclare i1 @llvm.is.fpclass.f16(half, i32 immarg) #1 3724ca728dSVitaly Buka 3824ca728dSVitaly Buka; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none) 3924ca728dSVitaly Bukadeclare <2 x i1> @llvm.is.fpclass.v2f16(<2 x half>, i32 immarg) #1 4024ca728dSVitaly Buka 41