azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Update testData after IR type rendering changes

Browse Source
This commit is contained in:
Dmitry Petrov
2018-12-06 16:54:52 +03:00
parent f8582c1929
commit 6f97db81c8
54 changed files with 344 additions and 366 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/testData/ir/irText/regressions/integerCoercionToT.txt
Vendored
+3 -4
View File
@@ -86,13 +86,12 @@ FILE fqName:<root> fileName:/integerCoercionToT.kt
overridden:
FUN FAKE_OVERRIDE name:toString visibility:public modality:OPEN <> ($this:kotlin.Any) returnType:kotlin.String flags:
$this: VALUE_PARAMETER name:<this> type:kotlin.Any flags:
FUN name:foo visibility:public modality:FINAL <> (value:IdType, cv:CInt32Var /* = CInt32VarX<kotlin.Int> */) returnType:kotlin.Unit flags:
FUN name:foo visibility:public modality:FINAL <> (value:IdType, cv:CInt32VarX<kotlin.Int>) returnType:kotlin.Unit flags:
VALUE_PARAMETER name:value index:0 type:IdType flags:
VALUE_PARAMETER name:cv index:1 type:CInt32Var /* = CInt32VarX<kotlin.Int> */ flags:
VALUE_PARAMETER name:cv index:1 type:CInt32VarX<kotlin.Int> flags:
BLOCK_BODY
CALL '<set-value>(T_INT) on CInt32VarX<T_INT>: Unit' type=kotlin.Unit origin=EQ
<`0>: kotlin.Int
$receiver: GET_VAR 'value-parameter cv: CInt32Var /* = CInt32VarX<Int> */' type=CInt32Var /* = CInt32VarX<kotlin.Int> */ origin=null
$receiver: GET_VAR 'value-parameter cv: CInt32Var /* = CInt32VarX<Int> */' type=CInt32VarX<kotlin.Int> origin=null
value: CALL '<get-value>(): Int' type=kotlin.Int origin=GET_PROPERTY
$this: GET_VAR 'value-parameter value: IdType' type=IdType origin=null
compiler/testData/ir/irText/regressions/newInference/fixationOrder1.txt
Vendored
+4 -4
View File
@@ -1,5 +1,5 @@
FILE fqName:<root> fileName:/fixationOrder1.kt
FUN name:foo visibility:public modality:FINAL <X, Y> () returnType:(X) -> Y flags:
FUN name:foo visibility:public modality:FINAL <X, Y> () returnType:kotlin.Function1<X, Y> flags:
TYPE_PARAMETER name:X index:0 variance: superTypes:[kotlin.Any?]
TYPE_PARAMETER name:Y index:1 variance: superTypes:[kotlin.Any?]
BLOCK_BODY
@@ -22,12 +22,12 @@ FILE fqName:<root> fileName:/fixationOrder1.kt
overridden:
FUN IR_EXTERNAL_DECLARATION_STUB name:toString visibility:public modality:OPEN <> ($this:kotlin.Any) returnType:kotlin.String flags:
$this: VALUE_PARAMETER name:<this> type:kotlin.Any flags:
FUN name:check visibility:public modality:FINAL <T, R> (x:T, y:R, f:(T) -> R) returnType:Inv2<T, R> flags:
FUN name:check visibility:public modality:FINAL <T, R> (x:T, y:R, f:kotlin.Function1<T, R>) returnType:Inv2<T, R> flags:
TYPE_PARAMETER name:T index:0 variance: superTypes:[kotlin.Any?]
TYPE_PARAMETER name:R index:1 variance: superTypes:[kotlin.Any?]
VALUE_PARAMETER name:x index:0 type:T flags:
VALUE_PARAMETER name:y index:1 type:R flags:
VALUE_PARAMETER name:f index:2 type:(T) -> R flags:
VALUE_PARAMETER name:f index:2 type:kotlin.Function1<T, R> flags:
BLOCK_BODY
RETURN type=kotlin.Nothing from='check(T, R, (T) -> R): Inv2<T, R>'
CALL 'TODO(): Nothing' type=kotlin.Nothing origin=null
@@ -39,7 +39,7 @@ FILE fqName:<root> fileName:/fixationOrder1.kt
<R>: kotlin.Int
x: CONST String type=kotlin.String value=""
y: CONST Int type=kotlin.Int value=1
f: CALL 'foo(): (X) -> Y' type=(kotlin.String) -> kotlin.Int origin=null
f: CALL 'foo(): (X) -> Y' type=kotlin.Function1<kotlin.String, kotlin.Int> origin=null
<X>: kotlin.String
<Y>: kotlin.Int
FUN name:box visibility:public modality:FINAL <> () returnType:kotlin.String flags:
compiler/testData/ir/irText/regressions/typeAliasCtorForGenericClass.txt
Vendored
+3 -4
View File
@@ -35,12 +35,11 @@ FILE fqName:<root> fileName:/typeAliasCtorForGenericClass.kt
TYPEALIAS typealias B2 = A<A<T>> type=A<A<T>>
FUN name:bar visibility:public modality:FINAL <> () returnType:kotlin.Unit flags:
BLOCK_BODY
VAR name:b type:B<kotlin.Int> /* = A<kotlin.Int> */ flags:val
VAR name:b type:A<kotlin.Int> flags:val
CALL 'constructor A(Q)' type=A<kotlin.Int> origin=null
<Q>: kotlin.Int
q: CONST Int type=kotlin.Int value=2
VAR name:b2 type:B2<kotlin.Int> /* = A<A<kotlin.Int>> */ flags:val
VAR name:b2 type:A<A<kotlin.Int>> flags:val
CALL 'constructor A(Q)' type=A<A<kotlin.Int>> origin=null
<Q>: A<kotlin.Int>
q: GET_VAR 'b: B<Int> /* = A<Int> */' type=B<kotlin.Int> /* = A<kotlin.Int> */ origin=null
q: GET_VAR 'b: B<Int> /* = A<Int> */' type=A<kotlin.Int> origin=null