SIL.rst: Update per discussion with Chris and John - Tighten up terminology, for instance, define what a "box" actually is - Describe how operands can have zero, one, or many values - Describe that only %operands are valid operands and loading constants, ints, and other literals requires distinct insns - Make releasing a reftype and destroying a value distinct - Describe how stack allocation of boxes and reftypes work - Name address-only type operations `destroy_addr` and `copy_addr` to avoid confusion with rvalue operations - Describe the full set of aggregate manipulation functions - Clean up instruction notation to avoid ambiguities - Throw in notes about things we need to design at some point
SIL.rst: Update per discussion with Chris and John
- Tighten up terminology, for instance, define what a "box" actually is
- Describe how operands can have zero, one, or many values
- Describe that only %operands are valid operands and loading constants, ints, and other literals requires distinct insns
- Make releasing a reftype and destroying a value distinct
- Describe how stack allocation of boxes and reftypes work
- Name address-only type operations `destroy_addr` and `copy_addr` to avoid confusion with rvalue operations
- Describe the full set of aggregate manipulation functions
- Clean up instruction notation to avoid ambiguities
- Throw in notes about things we need to design at some point

Swift SVN r3211

hughbe/swift,JaSpa/swift,JaSpa/swift,kstaring/swift,kusl/swift,amraboelela/swift,kstaring/swift,gottesmm/swift,milseman/swift,sdulal/swift,return/swift,milseman/swift,bitjammer/swift,jopamer/swift,calebd/swift,mightydeveloper/swift,jtbandes/swift,natecook1000/swift,milseman/swift,gottesmm/swift,xwu/swift,tjw/swift,practicalswift/swift,ahoppen/swift,slavapestov/swift,atrick/swift,kusl/swift,gmilos/swift,benlangmuir/swift,KrishMunot/swift,benlangmuir/swift,huonw/swift,tkremenek/swift,manavgabhawala/swift,deyton/swift,rudkx/swift,tkremenek/swift,calebd/swift,ben-ng/swift,roambotics/swift,xedin/swift,IngmarStein/swift,austinzheng/swift,glessard/swift,dreamsxin/swift,devincoughlin/swift,swiftix/swift.old,codestergit/swift,IngmarStein/swift,codestergit/swift,swiftix/swift.old,shajrawi/swift,practicalswift/swift,airspeedswift/swift,dreamsxin/swift,harlanhaskins/swift,jmgc/swift,codestergit/swift,lorentey/swift,shahmishal/swift,IngmarStein/swift,alblue/swift,tinysun212/swift-windows,airspeedswift/swift,ben-ng/swift,manavgabhawala/swift,jckarter/swift,johnno1962d/swift,gottesmm/swift,danielmartin/swift,sschiau/swift,sschiau/swift,swiftix/swift.old,kentya6/swift,roambotics/swift,xedin/swift,parkera/swift,swiftix/swift,karwa/swift,atrick/swift,kperryua/swift,khizkhiz/swift,karwa/swift,KrishMunot/swift,kperryua/swift,brentdax/swift,xwu/swift,roambotics/swift,gmilos/swift,SwiftAndroid/swift,xwu/swift,kusl/swift,tjw/swift,apple/swift,gregomni/swift,hughbe/swift,kentya6/swift,milseman/swift,emilstahl/swift,karwa/swift,KrishMunot/swift,djwbrown/swift,therealbnut/swift,brentdax/swift,amraboelela/swift,austinzheng/swift,zisko/swift,jmgc/swift,OscarSwanros/swift,lorentey/swift,danielmartin/swift,shahmishal/swift,xwu/swift,austinzheng/swift,return/swift,hooman/swift,ken0nek/swift,devincoughlin/swift,russbishop/swift,tjw/swift,practicalswift/swift,khizkhiz/swift,therealbnut/swift,frootloops/swift,jopamer/swift,shajrawi/swift,modocache/swift,allevato/swift,return/swift,therealbnut/swift,alblue/swift,gottesmm/swift,hooman/swift,glessard/swift,codestergit/swift,sdulal/swift,kentya6/swift,kstaring/swift,practicalswift/swift,lorentey/swift,allevato/swift,jmgc/swift,apple/swift,swiftix/swift.old,Ivacker/swift,kstaring/swift,alblue/swift,gribozavr/swift,huonw/swift,ken0nek/swift,airspeedswift/swift,uasys/swift,therealbnut/swift,shahmishal/swift,hughbe/swift,slavapestov/swift,lorentey/swift,swiftix/swift.old,parkera/swift,IngmarStein/swift,aschwaighofer/swift,tjw/swift,xedin/swift,devincoughlin/swift,tinysun212/swift-windows,milseman/swift,karwa/swift,IngmarStein/swift,JGiola/swift,glessard/swift,frootloops/swift,kstaring/swift,harlanhaskins/swift,gregomni/swift,brentdax/swift,tardieu/swift,SwiftAndroid/swift,danielmartin/swift,hooman/swift,manavgabhawala/swift,alblue/swift,swiftix/swift,mightydeveloper/swift,JaSpa/swift,khizkhiz/swift,cbrentharris/swift,danielmartin/swift,KrishMunot/swift,apple/swift,LeoShimonaka/swift,arvedviehweger/swift,shahmishal/swift,cbrentharris/swift,tinysun212/swift-windows,tkremenek/swift,russbishop/swift,kusl/swift,roambotics/swift,bitjammer/swift,rudkx/swift,Ivacker/swift,allevato/swift,hooman/swift,dduan/swift,tardieu/swift,gribozavr/swift,felix91gr/swift,therealbnut/swift,karwa/swift,jtbandes/swift,atrick/swift,allevato/swift,kentya6/swift,MukeshKumarS/Swift,uasys/swift,swiftix/swift,swiftix/swift,jckarter/swift,devincoughlin/swift,gottesmm/swift,SwiftAndroid/swift,practicalswift/swift,djwbrown/swift,OscarSwanros/swift,huonw/swift,sschiau/swift,bitjammer/swift,gribozavr/swift,tjw/swift,hughbe/swift,ahoppen/swift,gribozavr/swift,aschwaighofer/swift,lorentey/swift,glessard/swift,frootloops/swift,stephentyrone/swift,danielmartin/swift,frootloops/swift,mightydeveloper/swift,swiftix/swift.old,OscarSwanros/swift,MukeshKumarS/Swift,uasys/swift,calebd/swift,LeoShimonaka/swift,xedin/swift,dduan/swift,zisko/swift,kusl/swift,jmgc/swift,kperryua/swift,adrfer/swift,JaSpa/swift,rudkx/swift,return/swift,harlanhaskins/swift,therealbnut/swift,apple/swift,Ivacker/swift,parkera/swift,stephentyrone/swift,natecook1000/swift,SwiftAndroid/swift,austinzheng/swift,huonw/swift,alblue/swift,ken0nek/swift,CodaFi/swift,austinzheng/swift,kperryua/swift,mightydeveloper/swift,dduan/swift,stephentyrone/swift,hughbe/swift,tinysun212/swift-windows,natecook1000/swift,swiftix/swift.old,practicalswift/swift,brentdax/swift,tkremenek/swift,ahoppen/swift,modocache/swift,codestergit/swift,deyton/swift,JaSpa/swift,zisko/swift,brentdax/swift,JGiola/swift,OscarSwanros/swift,sschiau/swift,IngmarStein/swift,tkremenek/swift,huonw/swift,danielmartin/swift,Ivacker/swift,CodaFi/swift,aschwaighofer/swift,alblue/swift,ben-ng/swift,adrfer/swift,codestergit/swift,gregomni/swift,manavgabhawala/swift,tinysun212/swift-windows,airspeedswift/swift,OscarSwanros/swift,shajrawi/swift,bitjammer/swift,modocache/swift,sdulal/swift,ahoppen/swift,karwa/swift,jtbandes/swift,modocache/swift,gmilos/swift,adrfer/swift,arvedviehweger/swift,KrishMunot/swift,kentya6/swift,benlangmuir/swift,felix91gr/swift,kentya6/swift,harlanhaskins/swift,OscarSwanros/swift,tkremenek/swift,slavapestov/swift,gmilos/swift,modocache/swift,adrfer/swift,xedin/swift,cbrentharris/swift,Jnosh/swift,Jnosh/swift,LeoShimonaka/swift,Ivacker/swift,dduan/swift,sschiau/swift,tardieu/swift,arvedviehweger/swift,adrfer/swift,codestergit/swift,kperryua/swift,aschwaighofer/swift,alblue/swift,hooman/swift,slavapestov/swift,shajrawi/swift,amraboelela/swift,jtbandes/swift,ken0nek/swift,jmgc/swift,djwbrown/swift,benlangmuir/swift,gribozavr/swift,shajrawi/swift,rudkx/swift,sdulal/swift,gribozavr/swift,dduan/swift,huonw/swift,milseman/swift,mightydeveloper/swift,calebd/swift,calebd/swift,jtbandes/swift,gmilos/swift,tardieu/swift,sdulal/swift,dduan/swift,emilstahl/swift,nathawes/swift,bitjammer/swift,djwbrown/swift,OscarSwanros/swift,frootloops/swift,austinzheng/swift,slavapestov/swift,roambotics/swift,johnno1962d/swift,ken0nek/swift,return/swift,CodaFi/swift,harlanhaskins/swift,natecook1000/swift,aschwaighofer/swift,felix91gr/swift,allevato/swift,xedin/swift,apple/swift,kperryua/swift,sdulal/swift,manavgabhawala/swift,shahmishal/swift,felix91gr/swift,glessard/swift,milseman/swift,bitjammer/swift,kusl/swift,xwu/swift,MukeshKumarS/Swift,calebd/swift,xwu/swift,Jnosh/swift,CodaFi/swift,airspeedswift/swift,adrfer/swift,xedin/swift,gmilos/swift,parkera/swift,karwa/swift,natecook1000/swift,jckarter/swift,kusl/swift,karwa/swift,tardieu/swift,Jnosh/swift,johnno1962d/swift,swiftix/swift,tardieu/swift,russbishop/swift,austinzheng/swift,shahmishal/swift,Ivacker/swift,emilstahl/swift,cbrentharris/swift,manavgabhawala/swift,kstaring/swift,amraboelela/swift,jopamer/swift,brentdax/swift,kstaring/swift,sdulal/swift,atrick/swift,jopamer/swift,gregomni/swift,mightydeveloper/swift,jtbandes/swift,sschiau/swift,swiftix/swift,natecook1000/swift,jtbandes/swift,LeoShimonaka/swift,atrick/swift,johnno1962d/swift,harlanhaskins/swift,natecook1000/swift,shahmishal/swift,felix91gr/swift,gmilos/swift,frootloops/swift,ahoppen/swift,kentya6/swift,uasys/swift,felix91gr/swift,mightydeveloper/swift,kentya6/swift,return/swift,devincoughlin/swift,deyton/swift,SwiftAndroid/swift,stephentyrone/swift,jmgc/swift,JaSpa/swift,tinysun212/swift-windows,devincoughlin/swift,xwu/swift,nathawes/swift,mightydeveloper/swift,russbishop/swift,khizkhiz/swift,cbrentharris/swift,KrishMunot/swift,jopamer/swift,IngmarStein/swift,hooman/swift,tjw/swift,SwiftAndroid/swift,khizkhiz/swift,arvedviehweger/swift,djwbrown/swift,deyton/swift,zisko/swift,danielmartin/swift,stephentyrone/swift,parkera/swift,gottesmm/swift,JaSpa/swift,arvedviehweger/swift,airspeedswift/swift,Ivacker/swift,ben-ng/swift,shajrawi/swift,gribozavr/swift,JGiola/swift,LeoShimonaka/swift,shajrawi/swift,frootloops/swift,MukeshKumarS/Swift,dduan/swift,lorentey/swift,practicalswift/swift,slavapestov/swift,brentdax/swift,jckarter/swift,aschwaighofer/swift,apple/swift,Jnosh/swift,jckarter/swift,Jnosh/swift,nathawes/swift,glessard/swift,hughbe/swift,amraboelela/swift,zisko/swift,harlanhaskins/swift,nathawes/swift,MukeshKumarS/Swift,swiftix/swift.old,devincoughlin/swift,emilstahl/swift,sschiau/swift,nathawes/swift,uasys/swift,jmgc/swift,cbrentharris/swift,felix91gr/swift,sdulal/swift,russbishop/swift,stephentyrone/swift,deyton/swift,johnno1962d/swift,jopamer/swift,johnno1962d/swift,gregomni/swift,kusl/swift,manavgabhawala/swift,emilstahl/swift,khizkhiz/swift,arvedviehweger/swift,roambotics/swift,rudkx/swift,ahoppen/swift,shahmishal/swift,modocache/swift,gribozavr/swift,cbrentharris/swift,MukeshKumarS/Swift,deyton/swift,zisko/swift,LeoShimonaka/swift,ken0nek/swift,devincoughlin/swift,hughbe/swift,JGiola/swift,LeoShimonaka/swift,jckarter/swift,gottesmm/swift,CodaFi/swift,nathawes/swift,ben-ng/swift,Jnosh/swift,CodaFi/swift,allevato/swift,airspeedswift/swift,ken0nek/swift,tjw/swift,emilstahl/swift,khizkhiz/swift,tkremenek/swift,tinysun212/swift-windows,benlangmuir/swift,lorentey/swift,zisko/swift,ben-ng/swift,deyton/swift,emilstahl/swift,huonw/swift,atrick/swift,uasys/swift,slavapestov/swift,modocache/swift,jopamer/swift,jckarter/swift,russbishop/swift,practicalswift/swift,russbishop/swift,aschwaighofer/swift,MukeshKumarS/Swift,parkera/swift,shajrawi/swift,kperryua/swift,rudkx/swift,johnno1962d/swift,sschiau/swift,bitjammer/swift,arvedviehweger/swift,gregomni/swift,parkera/swift,SwiftAndroid/swift,tardieu/swift,allevato/swift,amraboelela/swift,hooman/swift,lorentey/swift,emilstahl/swift,nathawes/swift,CodaFi/swift,cbrentharris/swift,benlangmuir/swift,ben-ng/swift,therealbnut/swift,stephentyrone/swift,swiftix/swift,djwbrown/swift,djwbrown/swift,JGiola/swift,return/swift,uasys/swift,KrishMunot/swift,JGiola/swift,xedin/swift,amraboelela/swift,calebd/swift,parkera/swift,Ivacker/swift,LeoShimonaka/swift,adrfer/swift