1; ModuleID = 'vector.cpp' 2target 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" 3target triple = "x86_64-pc-linux-gnu" 4 5; Function Attrs: noinline nounwind uwtable 6define <4 x float> @_Z3fooDv2_fS_(double %a.coerce, double %b.coerce) #0 { 7 %1 = alloca <2 x float>, align 8 ; CHECK: !dbg 8 %2 = alloca <2 x float>, align 8 ; CHECK-NEXT: !dbg 9 %3 = alloca <2 x float>, align 8 ; CHECK-NEXT: !dbg 10 %4 = alloca <2 x float>, align 8 ; CHECK-NEXT: !dbg 11 %c = alloca <4 x float>, align 16 ; CHECK-NEXT: !dbg 12 %5 = bitcast <2 x float>* %1 to double* ; CHECK-NEXT: !dbg 13 store double %a.coerce, double* %5, align 1 ; CHECK-NEXT: !dbg 14 %a = load <2 x float>* %1, align 8 ; CHECK-NEXT: !dbg 15 store <2 x float> %a, <2 x float>* %2, align 8 ; CHECK-NEXT: !dbg 16 %6 = bitcast <2 x float>* %3 to double* ; CHECK-NEXT: !dbg 17 store double %b.coerce, double* %6, align 1 ; CHECK-NEXT: !dbg 18 %b = load <2 x float>* %3, align 8 ; CHECK-NEXT: !dbg 19 store <2 x float> %b, <2 x float>* %4, align 8 ; CHECK-NEXT: !dbg 20 %7 = load <2 x float>* %2, align 8 ; CHECK-NEXT: !dbg 21 %8 = load <4 x float>* %c, align 16 ; CHECK-NEXT: !dbg 22 %9 = shufflevector <2 x float> %7, <2 x float> undef, <4 x i32> <i32 0, i32 1, i32 undef, i32 undef> ; CHECK-NEXT: !dbg 23 %10 = shufflevector <4 x float> %8, <4 x float> %9, <4 x i32> <i32 4, i32 1, i32 5, i32 3> ; CHECK-NEXT: !dbg 24 store <4 x float> %10, <4 x float>* %c, align 16 ; CHECK-NEXT: !dbg 25 %11 = load <2 x float>* %4, align 8 ; CHECK-NEXT: !dbg 26 %12 = load <4 x float>* %c, align 16 ; CHECK-NEXT: !dbg 27 %13 = shufflevector <2 x float> %11, <2 x float> undef, <4 x i32> <i32 0, i32 1, i32 undef, i32 undef> ; CHECK-NEXT: !dbg 28 %14 = shufflevector <4 x float> %12, <4 x float> %13, <4 x i32> <i32 0, i32 4, i32 2, i32 5> ; CHECK-NEXT: !dbg 29 store <4 x float> %14, <4 x float>* %c, align 16 ; CHECK-NEXT: !dbg 30 %15 = load <4 x float>* %c, align 16 ; CHECK-NEXT: !dbg 31 ret <4 x float> %15 ; CHECK-NEXT: !dbg 32} 33 34; Function Attrs: nounwind uwtable 35define i32 @main() #1 { 36 %1 = alloca i32, align 4 ; CHECK: !dbg 37 %a = alloca <2 x float>, align 8 ; CHECK-NEXT: !dbg 38 %b = alloca <2 x float>, align 8 ; CHECK-NEXT: !dbg 39 %x = alloca <4 x float>, align 16 ; CHECK-NEXT: !dbg 40 %2 = alloca <2 x float>, align 8 ; CHECK-NEXT: !dbg 41 %3 = alloca <2 x float>, align 8 ; CHECK-NEXT: !dbg 42 store i32 0, i32* %1 ; CHECK-NEXT: !dbg 43 store <2 x float> <float 1.000000e+00, float 2.000000e+00>, <2 x float>* %a, align 8 ; CHECK-NEXT: !dbg 44 store <2 x float> <float 1.000000e+00, float 2.000000e+00>, <2 x float>* %b, align 8 ; CHECK-NEXT: !dbg 45 %4 = load <2 x float>* %a, align 8 ; CHECK-NEXT: !dbg 46 %5 = load <2 x float>* %b, align 8 ; CHECK-NEXT: !dbg 47 store <2 x float> %4, <2 x float>* %2, align 8 ; CHECK-NEXT: !dbg 48 %6 = bitcast <2 x float>* %2 to double* ; CHECK-NEXT: !dbg 49 %7 = load double* %6, align 1 ; CHECK-NEXT: !dbg 50 store <2 x float> %5, <2 x float>* %3, align 8 ; CHECK-NEXT: !dbg 51 %8 = bitcast <2 x float>* %3 to double* ; CHECK-NEXT: !dbg 52 %9 = load double* %8, align 1 ; CHECK-NEXT: !dbg 53 %10 = call <4 x float> @_Z3fooDv2_fS_(double %7, double %9) ; CHECK-NEXT: !dbg 54 store <4 x float> %10, <4 x float>* %x, align 16 ; CHECK-NEXT: !dbg 55 %11 = load <4 x float>* %x, align 16 ; CHECK-NEXT: !dbg 56 %12 = extractelement <4 x float> %11, i32 0 ; CHECK-NEXT: !dbg 57 %13 = load <4 x float>* %x, align 16 ; CHECK-NEXT: !dbg 58 %14 = extractelement <4 x float> %13, i32 1 ; CHECK-NEXT: !dbg 59 %15 = fadd float %12, %14 ; CHECK-NEXT: !dbg 60 %16 = load <4 x float>* %x, align 16 ; CHECK-NEXT: !dbg 61 %17 = extractelement <4 x float> %16, i32 2 ; CHECK-NEXT: !dbg 62 %18 = fadd float %15, %17 ; CHECK-NEXT: !dbg 63 %19 = load <4 x float>* %x, align 16 ; CHECK-NEXT: !dbg 64 %20 = extractelement <4 x float> %19, i32 3 ; CHECK-NEXT: !dbg 65 %21 = fadd float %18, %20 ; CHECK-NEXT: !dbg 66 %22 = fptosi float %21 to i32 ; CHECK-NEXT: !dbg 67 ret i32 %22 ; CHECK-NEXT: !dbg 68} 69 70attributes #0 = { noinline nounwind uwtable "less-precise-fpmad"="false" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf"="true" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "unsafe-fp-math"="false" "use-soft-float"="false" } 71attributes #1 = { nounwind uwtable "less-precise-fpmad"="false" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf"="true" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "unsafe-fp-math"="false" "use-soft-float"="false" } 72 73; CHECK: = metadata !{i32 13, 74; CHECK-NEXT: = metadata !{i32 14, 75; CHECK-NEXT: = metadata !{i32 15, 76; CHECK-NEXT: = metadata !{i32 16, 77; CHECK-NEXT: = metadata !{i32 17, 78; CHECK-NEXT: = metadata !{i32 18, 79; CHECK-NEXT: = metadata !{i32 19, 80; CHECK-NEXT: = metadata !{i32 20, 81; CHECK-NEXT: = metadata !{i32 21, 82; CHECK-NEXT: = metadata !{i32 22, 83; CHECK-NEXT: = metadata !{i32 23, 84; CHECK-NEXT: = metadata !{i32 24, 85; CHECK-NEXT: = metadata !{i32 25, 86; CHECK-NEXT: = metadata !{i32 26, 87; CHECK-NEXT: = metadata !{i32 27, 88; CHECK-NEXT: = metadata !{i32 28, 89; CHECK-NEXT: = metadata !{i32 29, 90; CHECK-NEXT: = metadata !{i32 30, 91; CHECK-NEXT: = metadata !{i32 31, 92 93; RUN: opt %s -debug-ir -S | FileCheck %s 94