summaryrefslogtreecommitdiff
path: root/test/Analysis/CostModel/X86/cast.ll
blob: 298d5c66ad7ff85bfab7b1711870f1bddbceac4a (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
; RUN: opt < %s  -cost-model -analyze -mtriple=x86_64-apple-macosx10.8.0 -mcpu=corei7-avx | FileCheck %s

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"
target triple = "x86_64-apple-macosx10.8.0"

define i32 @add(i32 %arg) {

  ; -- Same size registeres --
  ;CHECK: cost of 1 {{.*}} zext
  %A = zext <4 x i1> undef to <4 x i32>
  ;CHECK: cost of 2 {{.*}} sext
  %B = sext <4 x i1> undef to <4 x i32>
  ;CHECK: cost of 0 {{.*}} trunc
  %C = trunc <4 x i32> undef to <4 x i1>

  ; -- Different size registers --
  ;CHECK-NOT: cost of 1 {{.*}} zext
  %D = zext <8 x i1> undef to <8 x i32>
  ;CHECK-NOT: cost of 2 {{.*}} sext
  %E = sext <8 x i1> undef to <8 x i32>
  ;CHECK-NOT: cost of 2 {{.*}} trunc
  %F = trunc <8 x i32> undef to <8 x i1>

  ; -- scalars --

  ;CHECK: cost of 1 {{.*}} zext
  %G = zext i1 undef to i32
  ;CHECK: cost of 0 {{.*}} trunc
  %H = trunc i32 undef to i1

  ;CHECK: cost of 1 {{.*}} ret
  ret i32 undef
}

define i32 @zext_sext(<8 x i1> %in) {
  ;CHECK: cost of 6 {{.*}} zext
  %Z = zext <8 x i1> %in to <8 x i32>
  ;CHECK: cost of 9 {{.*}} sext
  %S = sext <8 x i1> %in to <8 x i32>

  ;CHECK: cost of 1 {{.*}} sext
  %A = sext <8 x i16> undef to <8 x i32>
  ;CHECK: cost of 1 {{.*}} zext
  %B = zext <8 x i16> undef to <8 x i32>
  ;CHECK: cost of 1 {{.*}} sext
  %C = sext <4 x i32> undef to <4 x i64>

  ;CHECK: cost of 1 {{.*}} zext
  %D = zext <4 x i32> undef to <4 x i64>
  ;CHECK: cost of 1 {{.*}} trunc

  %E = trunc <4 x i64> undef to <4 x i32>
  ;CHECK: cost of 1 {{.*}} trunc
  %F = trunc <8 x i32> undef to <8 x i16>

  ret i32 undef
}

define i32 @masks(<8 x i1> %in) {
  ;CHECK: cost of 6 {{.*}} zext
  %Z = zext <8 x i1> %in to <8 x i32>
  ;CHECK: cost of 9 {{.*}} sext
  %S = sext <8 x i1> %in to <8 x i32>
  ret i32 undef
}