Add tests

Author: aschwaighofer

test/SIL/Serialization/effectsattr.sil

@@ -27,3 +27,9 @@ bb0:
   return %0 : $()
 }
 
+//CHECK: [releasenone] @function4
+sil [releasenone] @function4 : $@convention(thin) () -> () {
+bb0:
+  %0 = tuple ()
+  return %0 : $()
+}

test/SILGen/effectsattr.swift

@@ -10,3 +10,5 @@
 //CHECK: [readwrite] @func3
 @effects(readwrite) @_silgen_name("func3") func func3() { }
 
+//CHECK: [releasenone] @func4
+@effects(releasenone) @_silgen_name("func4") func func4() { }

test/SILOptimizer/side-effect.sil

@@ -35,6 +35,7 @@ class X {
 
 sil [_semantics "arc.programtermination_point"] @exitfunc : $@convention(thin) () -> Never
 sil [readnone] @pure_func : $@convention(thin) () -> ()
+sil [releasenone] @releasenone_func : $@convention(thin) () -> ()
 sil [readonly] @readonly_owned : $@convention(thin) (@owned X) -> ()
 sil [readonly] @readonly_guaranteed : $@convention(thin) (@guaranteed X) -> ()
 
@@ -449,6 +450,17 @@ bb0:
   return %r : $()
 }
 
+// CHECK-LABEL: sil @call_releasenone
+// CHECK: <func=rw>
+sil @call_releasenone : $@convention(thin) () -> () {
+bb0:
+  %u = function_ref @releasenone_func : $@convention(thin) () -> ()
+  %a = apply %u() : $@convention(thin) () -> ()
+  %r = tuple ()
+  return %r : $()
+}
+
+
 // CHECK-LABEL: sil @call_readonly_owned
 // CHECK: <func=rw+-,param0=;alloc;trap;readrc>
 sil @call_readonly_owned : $@convention(thin) (@owned X) -> () {