1 # RUN: llc -march=x86-64 -run-pass none -o - %s | FileCheck %s 2 # This test ensures that the MIR parser parses constant pool constants and 3 # constant pool operands correctly. 4 5 --- | 6 7 define double @test(double %a, float %b) { 8 entry: 9 %c = fadd double %a, 3.250000e+00 10 %d = fadd float %b, 6.250000e+00 11 %e = fpext float %d to double 12 %f = fmul double %c, %e 13 ret double %f 14 } 15 16 define double @test2(double %a, float %b) { 17 entry: 18 %c = fadd double %a, 3.250000e+00 19 %d = fadd float %b, 6.250000e+00 20 %e = fpext float %d to double 21 %f = fmul double %c, %e 22 ret double %f 23 } 24 25 define double @test3(double %a, float %b) { 26 entry: 27 %c = fadd double %a, 3.250000e+00 28 %d = fadd float %b, 6.250000e+00 29 %e = fpext float %d to double 30 %f = fmul double %c, %e 31 ret double %f 32 } 33 34 define double @test4(double %a, float %b) { 35 entry: 36 %c = fadd double %a, 3.250000e+00 37 %d = fadd float %b, 6.250000e+00 38 %e = fpext float %d to double 39 %f = fmul double %c, %e 40 ret double %f 41 } 42 ... 43 --- 44 # CHECK: name: test 45 # CHECK: constants: 46 # CHECK-NEXT: - id: 0 47 # CHECK-NEXT: value: 'double 3.250000e+00' 48 # CHECK-NEXT: alignment: 8 49 # CHECK-NEXT: isTargetSpecific: false 50 # CHECK-NEXT: - id: 1 51 # CHECK-NEXT: value: 'float 6.250000e+00' 52 # CHECK-NEXT: alignment: 4 53 # CHECK-NEXT: isTargetSpecific: false 54 name: test 55 constants: 56 - id: 0 57 value: 'double 3.250000e+00' 58 alignment: 8 59 - id: 1 60 value: 'float 6.250000e+00' 61 alignment: 4 62 body: | 63 bb.0.entry: 64 ; CHECK: $xmm0 = ADDSDrm killed $xmm0, $rip, 1, $noreg, %const.0, $noreg 65 ; CHECK-NEXT: $xmm1 = ADDSSrm killed $xmm1, $rip, 1, $noreg, %const.1, $noreg 66 $xmm0 = ADDSDrm killed $xmm0, $rip, 1, _, %const.0, _ 67 $xmm1 = ADDSSrm killed $xmm1, $rip, 1, _, %const.1, _ 68 $xmm1 = CVTSS2SDrr killed $xmm1 69 $xmm0 = MULSDrr killed $xmm0, killed $xmm1 70 RETQ $xmm0 71 ... 72 --- 73 # Verify that alignment can be inferred: 74 # CHECK: name: test2 75 # CHECK: constants: 76 # CHECK-NEXT: - id: 0 77 # CHECK-NEXT: value: 'double 3.250000e+00' 78 # CHECK-NEXT: alignment: 8 79 # CHECK-NEXT: isTargetSpecific: false 80 # CHECK-NEXT: - id: 1 81 # CHECK-NEXT: value: 'float 6.250000e+00' 82 # CHECK-NEXT: alignment: 4 83 # CHECK-NEXT: isTargetSpecific: false 84 name: test2 85 constants: 86 - id: 0 87 value: 'double 3.250000e+00' 88 - id: 1 89 value: 'float 6.250000e+00' 90 body: | 91 bb.0.entry: 92 $xmm0 = ADDSDrm killed $xmm0, $rip, 1, _, %const.0, _ 93 $xmm1 = ADDSSrm killed $xmm1, $rip, 1, _, %const.1, _ 94 $xmm1 = CVTSS2SDrr killed $xmm1 95 $xmm0 = MULSDrr killed $xmm0, killed $xmm1 96 RETQ $xmm0 97 ... 98 --- 99 # Verify that the non-standard alignments are respected: 100 # CHECK: name: test3 101 # CHECK: constants: 102 # CHECK-NEXT: - id: 0 103 # CHECK-NEXT: value: 'double 3.250000e+00' 104 # CHECK-NEXT: alignment: 128 105 # CHECK-NEXT: isTargetSpecific: false 106 # CHECK-NEXT: - id: 1 107 # CHECK-NEXT: value: 'float 6.250000e+00' 108 # CHECK-NEXT: alignment: 1 109 # CHECK-NEXT: isTargetSpecific: false 110 name: test3 111 constants: 112 - id: 0 113 value: 'double 3.250000e+00' 114 alignment: 128 115 - id: 1 116 value: 'float 6.250000e+00' 117 alignment: 1 118 body: | 119 bb.0.entry: 120 ; CHECK: $xmm0 = ADDSDrm killed $xmm0, $rip, 1, $noreg, %const.0, $noreg 121 ; CHECK-NEXT: $xmm1 = ADDSSrm killed $xmm1, $rip, 1, $noreg, %const.1, $noreg 122 $xmm0 = ADDSDrm killed $xmm0, $rip, 1, _, %const.0, _ 123 $xmm1 = ADDSSrm killed $xmm1, $rip, 1, _, %const.1, _ 124 $xmm1 = CVTSS2SDrr killed $xmm1 125 $xmm0 = MULSDrr killed $xmm0, killed $xmm1 126 RETQ $xmm0 127 ... 128 --- 129 # CHECK: name: test4 130 name: test4 131 constants: 132 - id: 0 133 value: 'double 3.250000e+00' 134 - id: 1 135 value: 'float 6.250000e+00' 136 body: | 137 bb.0.entry: 138 ; CHECK: $xmm0 = ADDSDrm killed $xmm0, $rip, 1, $noreg, %const.1 - 12, $noreg 139 ; CHECK-NEXT: $xmm1 = ADDSSrm killed $xmm1, $rip, 1, $noreg, %const.0 + 8, $noreg 140 $xmm0 = ADDSDrm killed $xmm0, $rip, 1, _, %const.1 - 12, _ 141 $xmm1 = ADDSSrm killed $xmm1, $rip, 1, _, %const.0 + 8, _ 142 $xmm1 = CVTSS2SDrr killed $xmm1 143 $xmm0 = MULSDrr killed $xmm0, killed $xmm1 144 RETQ $xmm0 145 ... 146
