tests for windows 64bit

Author: cezarbbb

tests/assembly-llvm/stack-protector/stack-protector-heuristics-effect-windows-64bit-2.rs

@@ -41,11 +41,7 @@ struct Nest {
     second: Pair,
 }
 
-// #[repr(C)]
-// struct A {
-//     data: [u8; 2],
-// }
-
+// test1: array of [16 x i8]
 // CHECK-LABEL: test1{{:|\[}}
 #[no_mangle]
 pub fn test1(a: *const u8) {
@@ -62,9 +58,7 @@ pub fn test1(a: *const u8) {
     // missing-NOT: __security_check_cookie
 }
 
-// Note: test2
-// struct -> flat aggregate -> array
-
+// test3: array [4 x i8]
 // CHECK-LABEL: test3{{:|\[}}
 #[no_mangle]
 pub fn test3(a: *const u8) {
@@ -81,9 +75,7 @@ pub fn test3(a: *const u8) {
     // missing-NOT: __security_check_cookie
 }
 
-// Note: test4
-// struct -> flat aggregate -> array
-
+// test5: no arrays / no nested arrays
 // CHECK-LABEL: test5{{:|\[}}
 #[no_mangle]
 pub fn test5(a: *const u8) {
@@ -97,6 +89,7 @@ pub fn test5(a: *const u8) {
     // missing-NOT: __security_check_cookie
 }
 
+// test6: Address-of local taken (j = &a)
 // CHECK-LABEL: test6{{:|\[}}
 #[no_mangle]
 pub unsafe extern "C" fn test6() {
@@ -116,6 +109,7 @@ pub unsafe extern "C" fn test6() {
     // missing-NOT: __security_check_cookie
 }
 
+// test7: PtrToInt Cast
 // CHECK-LABEL: test7{{:|\[}}
 #[no_mangle]
 pub fn test7(a: i32) {
@@ -131,6 +125,7 @@ pub fn test7(a: i32) {
     // missing-NOT: __security_check_cookie
 }
 
+// test8: Passing addr-of to function call
 // CHECK-LABEL: test8{{:|\[}}
 #[no_mangle]
 pub fn test8(mut b: i32) {
@@ -144,6 +139,7 @@ pub fn test8(mut b: i32) {
     // missing-NOT: __security_check_cookie
 }
 
+// test9: Addr-of in select instruction
 // CHECK-LABEL: test9{{:|\[}}
 #[no_mangle]
 pub fn test9() {
@@ -164,6 +160,7 @@ pub fn test9() {
     // missing-NOT: __security_check_cookie
 }
 
+// test10: Addr-of in phi instruction
 // CHECK-LABEL: test10{{:|\[}}
 #[no_mangle]
 pub fn test10() {
@@ -196,6 +193,7 @@ pub fn test10() {
     // missing-NOT: __security_check_cookie
 }
 
+// test11: Addr-of struct element(GEP followed by store)
 // CHECK-LABEL: test11{{:|\[}}
 #[no_mangle]
 pub fn test11() {
@@ -216,6 +214,7 @@ pub fn test11() {
     // missing-NOT: __security_check_cookie
 }
 
+// test12: Addr-of struct element, GEP followed by ptrtoint
 // CHECK-LABEL: test12{{:|\[}}
 #[no_mangle]
 pub fn test12() {
@@ -235,6 +234,7 @@ pub fn test12() {
     // missing-NOT: __security_check_cookie
 }
 
+// test13: Addr-of struct element, GEP followed by callinst
 // CHECK-LABEL: test13{{:|\[}}
 #[no_mangle]
 pub fn test13() {
@@ -252,6 +252,7 @@ pub fn test13() {
     // missing-NOT: __security_check_cookie
 }
 
+// test14: Addr-of a local, optimized into a GEP (e.g., &a - 12)
 // CHECK-LABEL: test14{{:|\[}}
 #[no_mangle]
 pub fn test14() {
@@ -269,6 +270,8 @@ pub fn test14() {
     // missing-NOT: __security_check_cookie
 }
 
+// test15: Addr-of a local cast to a ptr of a different type
+// (e.g., int a; ... ; ptr b = &a;)
 // CHECK-LABEL: test15{{:|\[}}
 #[no_mangle]
 pub fn test15() {
@@ -289,6 +292,8 @@ pub fn test15() {
     // missing-NOT: __security_check_cookie
 }
 
+// test16: Addr-of a local cast to a ptr of a different type (optimized)
+// (e.g., int a; ... ; ptr b = &a;)
 // CHECK-LABEL: test16{{:|\[}}
 #[no_mangle]
 pub fn test16() {
@@ -303,10 +308,7 @@ pub fn test16() {
     // missing-NOT: __security_check_cookie
 }
 
-// Note: test17
-// Addr-of a vector nested in a struct:
-// There is no such type in rustc corresbonding to '%struct.vec = type { <4 x i32> }' in LLVM.
-
+// test18: Addr-of a variable passed into an invoke instruction
 // CHECK-LABEL: test18{{:|\[}}
 #[no_mangle]
 pub unsafe extern "C" fn test18() -> i32 {
@@ -325,9 +327,11 @@ pub unsafe extern "C" fn test18() -> i32 {
     // none-NOT: __security_check_cookie
     // missing-NOT: __security_check_cookie
 
-    // CHECK-DAG: .seh_endprologue
+    // CHECK-DAG: .seh_endproc
 }
 
+// test19: Addr-of a struct element passed into an invoke instruction
+// (GEP followed by an invoke)
 // CHECK-LABEL: test19{{:|\[}}
 #[no_mangle]
 pub unsafe extern "C" fn test19() -> i32 {
@@ -346,9 +350,10 @@ pub unsafe extern "C" fn test19() -> i32 {
     // none-NOT: __security_check_cookie
     // missing-NOT: __security_check_cookie
 
-    // CHECK-DAG: .seh_endprologue
+    // CHECK-DAG: .seh_endproc
 }
 
+// test20: Addr-of a pointer
 // CHECK-LABEL: test20{{:|\[}}
 #[no_mangle]
 pub unsafe extern "C" fn test20() {
@@ -368,6 +373,7 @@ pub unsafe extern "C" fn test20() {
     // missing-NOT: __security_check_cookie
 }
 
+// test21: Addr-of a casted pointer
 // CHECK-LABEL: test21{{:|\[}}
 #[no_mangle]
 pub unsafe extern "C" fn test21() {
@@ -387,16 +393,7 @@ pub unsafe extern "C" fn test21() {
     // missing-NOT: __security_check_cookie
 }
 
-// Note: test22
-// [2 x i8] in struct will be automatically optimized to i16
-// and will not trigger the sspstrong
-
-// Note: test23
-// [2 x i8] nested in several layers of structs and unions: same as test22
-
-// Note: test24
-// Variable sized alloca(VLA): see https://github.com/rust-lang/rfcs/pull/1909
-
+// test25: array of [4 x i32]
 // CHECK-LABEL: test25{{:|\[}}
 #[no_mangle]
 pub unsafe extern "C" fn test25() -> i32 {
@@ -412,6 +409,9 @@ pub unsafe extern "C" fn test25() -> i32 {
     // missing-NOT: __security_check_cookie
 }
 
+// test26: Nested structure, no arrays, no address-of expressions
+// Verify that the resulting gep-of-gep does not incorrectly trigger
+// a stack protector
 // CHECK-LABEL: test26{{:|\[}}
 #[no_mangle]
 pub unsafe extern "C" fn test26() {
@@ -426,6 +426,11 @@ pub unsafe extern "C" fn test26() {
     // strong-NOT: __security_check_cookie
 }
 
+// test27: Address-of a structure taken in a function with a loop where
+// the alloca is an incoming value to a PHI node and a use of that PHI 
+// node is also an incoming value
+// Verify that the address-of analysis does not get stuck in infinite
+// recursion when chasing the alloca through the PHI nodes
 // CHECK-LABEL: test27{{:|\[}}
 #[no_mangle]
 pub unsafe extern "C" fn test27() -> i32 {