---

yaml
---
r: 343199
b: refs/heads/master-rebranch
c: 6fd7db8
h: refs/heads/master
i:
  343197: 7153ba2
  343195: 18cc0a6
  343191: ea3cd26
  343183: 3f8d1ca
  343167: b57f92a

Author: nvzqz

[refs]

@@ -1455,7 +1455,7 @@ refs/tags/swift-DEVELOPMENT-SNAPSHOT-2019-08-02-a: ddd2b2976aa9bfde5f20fe37f6bd2
 refs/tags/swift-DEVELOPMENT-SNAPSHOT-2019-08-03-a: 171cc166f2abeb5ca2a4003700a8a78a108bd300
 refs/heads/benlangmuir-patch-1: baaebaf39d52f3bf36710d4fe40cf212e996b212
 refs/heads/i-do-redeclare: 8c4e6d5de5c1e3f0a2cedccf319df713ea22c48e
-refs/heads/master-rebranch: b35559ea1c302ed9753df7d6f973cb475f535a9a
+refs/heads/master-rebranch: 6fd7db87ac1e1e7c85c4303ef75ed92aa778098f
 refs/heads/rdar-53901732: 9bd06af3284e18a109cdbf9aa59d833b24eeca7b
 refs/heads/revert-26776-subst-always-returns-a-type: 1b8e18fdd391903a348970a4c848995d4cdd789c
 refs/heads/tensorflow-merge: 8b854f62f80d4476cb383d43c4aac2001dde3cec

branches/master-rebranch/test/IRGen/builtin_isConcrete.sil

@@ -0,0 +1,27 @@
+// RUN: %target-swift-frontend -emit-ir -parse-sil %s -module-name Swift -parse-stdlib | %FileCheck %s
+
+import Builtin
+
+struct MyInt {
+  var value: Builtin.Int32
+}
+
+// CHECK-LABEL: define swiftcc i1 @isConcrete_true() {{.*}} {
+// CHECK-NEXT:  entry:
+// CHECK-NEXT:    ret i1 true
+// CHECK-NEXT:  }
+sil @isConcrete_true : $@convention(thin) (@thin MyInt.Type) -> Builtin.Int1 {
+bb0(%0 : $@thin MyInt.Type):
+  %1 = builtin "isConcrete"(%0 : $@thin MyInt.Type) : $Builtin.Int1
+  return %1 : $Builtin.Int1
+}
+
+// CHECK-LABEL: define swiftcc i1 @isConcrete_false(%swift.type* %T) {{.*}} {
+// CHECK-NEXT:  entry:
+// CHECK:         ret i1 false
+// CHECK-NEXT:  }
+sil @isConcrete_false : $@convention(thin) <T> (@thin T.Type) -> Builtin.Int1 {
+bb0(%0 : $@thin T.Type):
+  %1 = builtin "isConcrete"<T>(%0 : $@thin T.Type) : $Builtin.Int1
+  return %1 : $Builtin.Int1
+}