|
80 | 80 | // CHECK: {{%.*}} = differentiability_witness_function [vjp] [parameters 0 1] [results 0] <τ_0_0 where τ_0_0 : Differentiable, τ_0_0 == τ_0_0.TangentVector> @generic : $@convention(thin) <τ_0_0> (@in_guaranteed τ_0_0, Float) -> @out τ_0_0
|
81 | 81 | // CHECK: }
|
82 | 82 |
|
83 |
| -// IRGEN: @AD__foo_PSUURS = external global %swift.differentiability_witness, align 8 |
84 |
| -// IRGEN: @AD__foo_PSSURS = external global %swift.differentiability_witness, align 8 |
85 |
| -// IRGEN: @AD__bar_PSUURSU = external global %swift.differentiability_witness, align 8 |
86 |
| -// IRGEN: @AD__bar_PSSURSS = external global %swift.differentiability_witness, align 8 |
87 |
| -// IRGEN: @AD__generic_PSURS16_Differentiation14DifferentiableRzl = external global %swift.differentiability_witness, align 8 |
88 |
| -// IRGEN: @AD__generic_PSSRSs18AdditiveArithmeticRz16_Differentiation14DifferentiableRzl = external global %swift.differentiability_witness, align 8 |
89 |
| -// IRGEN: @AD__generic_PSSRS16_Differentiation14DifferentiableRz13TangentVectorAaBPQzRszl = external global %swift.differentiability_witness, align 8 |
| 83 | +// IRGEN: @AD__foo_PSUURS = external global %swift.differentiability_witness, align [[PTR_ALIGNMENT:[0-9]+]] |
| 84 | +// IRGEN: @AD__foo_PSSURS = external global %swift.differentiability_witness, align [[PTR_ALIGNMENT]] |
| 85 | +// IRGEN: @AD__bar_PSUURSU = external global %swift.differentiability_witness, align [[PTR_ALIGNMENT]] |
| 86 | +// IRGEN: @AD__bar_PSSURSS = external global %swift.differentiability_witness, align [[PTR_ALIGNMENT]] |
| 87 | +// IRGEN: @AD__generic_PSURS16_Differentiation14DifferentiableRzl = external global %swift.differentiability_witness, align [[PTR_ALIGNMENT]] |
| 88 | +// IRGEN: @AD__generic_PSSRSs18AdditiveArithmeticRz16_Differentiation14DifferentiableRzl = external global %swift.differentiability_witness, align [[PTR_ALIGNMENT]] |
| 89 | +// IRGEN: @AD__generic_PSSRS16_Differentiation14DifferentiableRz13TangentVectorAaBPQzRszl = external global %swift.differentiability_witness, align [[PTR_ALIGNMENT]] |
90 | 90 |
|
91 | 91 | // IRGEN-LABEL: define {{.*}} @test_derivative_witnesses()
|
92 | 92 |
|
93 |
| -// IRGEN: [[PTR1:%.*]] = load i8*, i8** getelementptr inbounds (%swift.differentiability_witness, %swift.differentiability_witness* @AD__foo_PSUURS, i32 0, i32 0), align 8 |
| 93 | +// IRGEN: [[PTR1:%.*]] = load i8*, i8** getelementptr inbounds (%swift.differentiability_witness, %swift.differentiability_witness* @AD__foo_PSUURS, i32 0, i32 0), align [[PTR_ALIGNMENT]] |
94 | 94 | // IRGEN: [[FNPTR1:%.*]] = bitcast i8* [[PTR1]] to { float, i8*, %swift.refcounted* } (float, float, float)*
|
95 | 95 |
|
96 |
| -// IRGEN: [[PTR2:%.*]] = load i8*, i8** getelementptr inbounds (%swift.differentiability_witness, %swift.differentiability_witness* @AD__foo_PSSURS, i32 0, i32 1), align 8 |
| 96 | +// IRGEN: [[PTR2:%.*]] = load i8*, i8** getelementptr inbounds (%swift.differentiability_witness, %swift.differentiability_witness* @AD__foo_PSSURS, i32 0, i32 1), align [[PTR_ALIGNMENT]] |
97 | 97 | // IRGEN: [[FNPTR2:%.*]] = bitcast i8* [[PTR2]] to { float, i8*, %swift.refcounted* } (float, float, float)*
|
98 | 98 |
|
99 |
| -// IRGEN: [[PTR3:%.*]] = load i8*, i8** getelementptr inbounds (%swift.differentiability_witness, %swift.differentiability_witness* @AD__bar_PSUURSU, i32 0, i32 0), align 8 |
| 99 | +// IRGEN: [[PTR3:%.*]] = load i8*, i8** getelementptr inbounds (%swift.differentiability_witness, %swift.differentiability_witness* @AD__bar_PSUURSU, i32 0, i32 0), align [[PTR_ALIGNMENT]] |
100 | 100 | // IRGEN: [[FNPTR3:%.*]] = bitcast i8* [[PTR3]] to { float, float, i8*, %swift.refcounted* } (float, float, float)*
|
101 | 101 |
|
102 |
| -// IRGEN: [[PTR4:%.*]] = load i8*, i8** getelementptr inbounds (%swift.differentiability_witness, %swift.differentiability_witness* @AD__bar_PSSURSS, i32 0, i32 1), align 8 |
| 102 | +// IRGEN: [[PTR4:%.*]] = load i8*, i8** getelementptr inbounds (%swift.differentiability_witness, %swift.differentiability_witness* @AD__bar_PSSURSS, i32 0, i32 1), align [[PTR_ALIGNMENT]] |
103 | 103 | // IRGEN: [[FNPTR4:%.*]] = bitcast i8* [[PTR4]] to { float, float, i8*, %swift.refcounted* } (float, float, float)*
|
104 | 104 |
|
105 |
| -// IRGEN: [[PTR5:%.*]] = load i8*, i8** getelementptr inbounds (%swift.differentiability_witness, %swift.differentiability_witness* @AD__generic_PSURS16_Differentiation14DifferentiableRzl, i32 0, i32 0), align 8 |
| 105 | +// IRGEN: [[PTR5:%.*]] = load i8*, i8** getelementptr inbounds (%swift.differentiability_witness, %swift.differentiability_witness* @AD__generic_PSURS16_Differentiation14DifferentiableRzl, i32 0, i32 0), align [[PTR_ALIGNMENT]] |
106 | 106 | // IRGEN: [[FNPTR5:%.*]] = bitcast i8* [[PTR5]] to { i8*, %swift.refcounted* } (%swift.opaque*, %swift.opaque*, float, %swift.type*, i8**)*
|
107 | 107 |
|
108 |
| -// IRGEN: [[PTR6:%.*]] = load i8*, i8** getelementptr inbounds (%swift.differentiability_witness, %swift.differentiability_witness* @AD__generic_PSSRSs18AdditiveArithmeticRz16_Differentiation14DifferentiableRzl, i32 0, i32 1), align 8 |
| 108 | +// IRGEN: [[PTR6:%.*]] = load i8*, i8** getelementptr inbounds (%swift.differentiability_witness, %swift.differentiability_witness* @AD__generic_PSSRSs18AdditiveArithmeticRz16_Differentiation14DifferentiableRzl, i32 0, i32 1), align [[PTR_ALIGNMENT]] |
109 | 109 | // IRGEN: [[FNPTR6:%.*]] = bitcast i8* [[PTR6]] to { i8*, %swift.refcounted* } (%swift.opaque*, %swift.opaque*, float, %swift.type*, i8**, i8**)*
|
110 | 110 |
|
111 |
| -// IRGEN: [[PTR7:%.*]] = load i8*, i8** getelementptr inbounds (%swift.differentiability_witness, %swift.differentiability_witness* @AD__generic_PSSRS16_Differentiation14DifferentiableRz13TangentVectorAaBPQzRszl, i32 0, i32 1), align 8 |
| 111 | +// IRGEN: [[PTR7:%.*]] = load i8*, i8** getelementptr inbounds (%swift.differentiability_witness, %swift.differentiability_witness* @AD__generic_PSSRS16_Differentiation14DifferentiableRz13TangentVectorAaBPQzRszl, i32 0, i32 1), align [[PTR_ALIGNMENT]] |
112 | 112 | // IRGEN: [[FNPTR7:%.*]] = bitcast i8* [[PTR7]] to { i8*, %swift.refcounted* } (%swift.opaque*, %swift.opaque*, float, %swift.type*, i8**)*
|
0 commit comments