llvm/test/Instrumentation/MemorySanitizer/vector_cmp.ll

   1 ; RUN: opt < %s -msan-check-access-address=0 -S -passes=msan 2>&1 | FileCheck %s
   2 ; REQUIRES: x86-registered-target
   3
   4 target 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"
   5 target triple = "x86_64-unknown-linux-gnu"
   6
   7 declare <4 x float> @llvm.x86.sse.cmp.ss(<4 x float>, <4 x float>, i8) nounwind readnone
   8 declare <4 x float> @llvm.x86.sse.cmp.ps(<4 x float>, <4 x float>, i8) nounwind readnone
   9 declare <2 x double> @llvm.x86.sse2.cmp.sd(<2 x double>, <2 x double>, i8) nounwind readnone
  10 declare i32 @llvm.x86.sse.comineq.ss(<4 x float>, <4 x float>) nounwind readnone
  11 declare i32 @llvm.x86.sse2.ucomilt.sd(<2 x double>, <2 x double>) nounwind readnone
  12
  13
  14 define <4 x float> @test_sse_cmp_ss(<4 x float> %a, <4 x float> %b) sanitize_memory {
  15 entry:
  16   %0 = tail call <4 x float> @llvm.x86.sse.cmp.ss(<4 x float> %a, <4 x float> %b, i8 4)
  17   ret <4 x float> %0
  18 }
  19
  20 ; CHECK-LABEL: @test_sse_cmp_ss
  21 ; CHECK: %[[A:.*]] = or <4 x i32>
  22 ; CHECK: %[[B:.*]] = extractelement <4 x i32> %[[A]], i64 0
  23 ; CHECK: %[[C:.*]] = icmp ne i32 %[[B]], 0
  24 ; CHECK: %[[D:.*]] = sext i1 %[[C]] to i128
  25 ; CHECK: %[[E:.*]] = bitcast i128 %[[D]] to <4 x i32>
  26 ; CHECK: store <4 x i32> %[[E]]
  27
  28
  29 define <4 x float> @test_sse_cmp_ps(<4 x float> %a, <4 x float> %b) sanitize_memory {
  30 entry:
  31   %0 = tail call <4 x float> @llvm.x86.sse.cmp.ps(<4 x float> %a, <4 x float> %b, i8 4)
  32   ret <4 x float> %0
  33 }
  34
  35 ; CHECK-LABEL: @test_sse_cmp_ps
  36 ; CHECK: %[[A:.*]] = or <4 x i32>
  37 ; CHECK: %[[B:.*]] = icmp ne <4 x i32> %[[A]], zeroinitializer
  38 ; CHECK: %[[C:.*]] = sext <4 x i1> %[[B]] to <4 x i32>
  39 ; CHECK: store <4 x i32> %[[C]]
  40
  41
  42 define <2 x double> @test_sse2_cmp_sd(<2 x double> %a, <2 x double> %b) sanitize_memory {
  43 entry:
  44   %0 = tail call <2 x double> @llvm.x86.sse2.cmp.sd(<2 x double> %a, <2 x double> %b, i8 4)
  45   ret <2 x double> %0
  46 }
  47
  48 ; CHECK-LABEL: @test_sse2_cmp_sd
  49 ; CHECK: %[[A:.*]] = or <2 x i64>
  50 ; CHECK: %[[B:.*]] = extractelement <2 x i64> %[[A]], i64 0
  51 ; CHECK: %[[C:.*]] = icmp ne i64 %[[B]], 0
  52 ; CHECK: %[[D:.*]] = sext i1 %[[C]] to i128
  53 ; CHECK: %[[E:.*]] = bitcast i128 %[[D]] to <2 x i64>
  54 ; CHECK: store <2 x i64> %[[E]]
  55
  56
  57 define i32 @test_sse_comineq_ss(<4 x float> %a, <4 x float> %b) sanitize_memory {
  58 entry:
  59   %0 = tail call i32 @llvm.x86.sse.comineq.ss(<4 x float> %a, <4 x float> %b)
  60   ret i32 %0
  61 }
  62
  63 ; CHECK-LABEL: @test_sse_comineq_ss
  64 ; CHECK: %[[A:.*]] = or <4 x i32>
  65 ; CHECK: %[[B:.*]] = extractelement <4 x i32> %[[A]], i64 0
  66 ; CHECK: %[[C:.*]] = icmp ne i32 %[[B]], 0
  67 ; CHECK: %[[D:.*]] = sext i1 %[[C]] to i32
  68 ; CHECK: store i32 %[[D]]
  69
  70
  71 define i32 @test_sse2_ucomilt_sd(<2 x double> %a, <2 x double> %b) sanitize_memory {
  72 entry:
  73   %0 = tail call i32 @llvm.x86.sse2.ucomilt.sd(<2 x double> %a, <2 x double> %b)
  74   ret i32 %0
  75 }
  76
  77 ; CHECK-LABEL: @test_sse2_ucomilt_sd
  78 ; CHECK: %[[A:.*]] = or <2 x i64>
  79 ; CHECK: %[[B:.*]] = extractelement <2 x i64> %[[A]], i64 0
  80 ; CHECK: %[[C:.*]] = icmp ne i64 %[[B]], 0
  81 ; CHECK: %[[D:.*]] = sext i1 %[[C]] to i32
  82 ; CHECK: store i32 %[[D]]