tests for windows 32bit

Author: cezarbbb

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

@@ -42,11 +42,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) {
@@ -63,9 +59,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) {
@@ -82,9 +76,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) {
@@ -98,6 +90,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() {
@@ -117,6 +110,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) {
@@ -132,6 +126,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) {
@@ -145,6 +140,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() {
@@ -165,6 +161,7 @@ pub fn test9() {
     // missing-NOT: __security_check_cookie
 }
 
+// test10: Addr-of in phi instruction
 // CHECK-LABEL: test10{{:|\[}}
 #[no_mangle]
 pub fn test10() {
@@ -197,6 +194,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() {
@@ -217,6 +215,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() {
@@ -236,6 +235,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() {
@@ -253,6 +253,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() {
@@ -270,6 +271,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() {
@@ -290,6 +293,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() {
@@ -304,10 +309,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,6 +327,8 @@ pub unsafe extern "C" fn test18() -> i32 {
     // missing-NOT: __security_check_cookie
 }
 
+// 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 {
@@ -342,6 +346,7 @@ pub unsafe extern "C" fn test19() -> i32 {
     // missing-NOT: __security_check_cookie
 }
 
+// test20: Addr-of a pointer
 // CHECK-LABEL: test20{{:|\[}}
 #[no_mangle]
 pub unsafe extern "C" fn test20() {
@@ -361,6 +366,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() {
@@ -380,16 +386,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 {
@@ -405,6 +402,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() {
@@ -419,6 +419,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 {