tests for linux

Author: cezarbbb

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

@@ -43,11 +43,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) {
@@ -64,9 +60,7 @@ pub fn test1(a: *const u8) {
     // missing-NOT: __stack_chk_fail
 }
 
-// Note: test2
-// struct -> flat aggregate -> array
-
+// test3: array [4 x i8]
 // CHECK-LABEL: test3{{:|\[}}
 #[no_mangle]
 pub fn test3(a: *const u8) {
@@ -83,9 +77,7 @@ pub fn test3(a: *const u8) {
     // missing-NOT: __stack_chk_fail
 }
 
-// Note: test4
-// struct -> flat aggregate -> array
-
+// test5: no arrays / no nested arrays
 // CHECK-LABEL: test5{{:|\[}}
 #[no_mangle]
 pub fn test5(a: *const u8) {
@@ -99,6 +91,7 @@ pub fn test5(a: *const u8) {
     // missing-NOT: __stack_chk_fail
 }
 
+// test6: Address-of local taken (j = &a)
 // CHECK-LABEL: test6{{:|\[}}
 #[no_mangle]
 pub unsafe extern "C" fn test6() {
@@ -118,6 +111,7 @@ pub unsafe extern "C" fn test6() {
     // missing-NOT: __stack_chk_fail
 }
 
+// test7: PtrToInt Cast
 // CHECK-LABEL: test7{{:|\[}}
 #[no_mangle]
 pub fn test7(a: i32) {
@@ -133,6 +127,7 @@ pub fn test7(a: i32) {
     // missing-NOT: __stack_chk_fail
 }
 
+// test8: Passing addr-of to function call
 // CHECK-LABEL: test8{{:|\[}}
 #[no_mangle]
 pub fn test8(mut b: i32) {
@@ -146,6 +141,7 @@ pub fn test8(mut b: i32) {
     // missing-NOT: __stack_chk_fail
 }
 
+// test9: Addr-of in select instruction
 // CHECK-LABEL: test9{{:|\[}}
 #[no_mangle]
 pub fn test9() {
@@ -166,6 +162,7 @@ pub fn test9() {
     // missing-NOT: __stack_chk_fail
 }
 
+// test10: Addr-of in phi instruction
 // CHECK-LABEL: test10{{:|\[}}
 #[no_mangle]
 pub fn test10() {
@@ -198,6 +195,7 @@ pub fn test10() {
     // missing-NOT: __stack_chk_fail
 }
 
+// test11: Addr-of struct element(GEP followed by store)
 // CHECK-LABEL: test11{{:|\[}}
 #[no_mangle]
 pub fn test11() {
@@ -218,6 +216,7 @@ pub fn test11() {
     // missing-NOT: __stack_chk_fail
 }
 
+// test12: Addr-of struct element, GEP followed by ptrtoint
 // CHECK-LABEL: test12{{:|\[}}
 #[no_mangle]
 pub fn test12() {
@@ -237,6 +236,7 @@ pub fn test12() {
     // missing-NOT: __stack_chk_fail
 }
 
+// test13: Addr-of struct element, GEP followed by callinst
 // CHECK-LABEL: test13{{:|\[}}
 #[no_mangle]
 pub fn test13() {
@@ -254,6 +254,7 @@ pub fn test13() {
     // missing-NOT: __stack_chk_fail
 }
 
+// test14: Addr-of a local, optimized into a GEP (e.g., &a - 12)
 // CHECK-LABEL: test14{{:|\[}}
 #[no_mangle]
 pub fn test14() {
@@ -271,6 +272,8 @@ pub fn test14() {
     // missing-NOT: __stack_chk_fail
 }
 
+// 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() {
@@ -291,6 +294,8 @@ pub fn test15() {
     // missing-NOT: __stack_chk_fail
 }
 
+// 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() {
@@ -305,10 +310,7 @@ pub fn test16() {
     // missing-NOT: __stack_chk_fail
 }
 
-// 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 {
@@ -324,6 +326,8 @@ pub unsafe extern "C" fn test18() -> i32 {
     // missing-NOT: __stack_chk_fail
 }
 
+// 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 {
@@ -339,6 +343,7 @@ pub unsafe extern "C" fn test19() -> i32 {
     // missing-NOT: __stack_chk_fail
 }
 
+// test20: Addr-of a pointer
 // CHECK-LABEL: test20{{:|\[}}
 #[no_mangle]
 pub unsafe extern "C" fn test20() {
@@ -358,6 +363,7 @@ pub unsafe extern "C" fn test20() {
     // missing-NOT: __stack_chk_fail
 }
 
+// test21: Addr-of a casted pointer
 // CHECK-LABEL: test21{{:|\[}}
 #[no_mangle]
 pub unsafe extern "C" fn test21() {
@@ -377,16 +383,7 @@ pub unsafe extern "C" fn test21() {
     // missing-NOT: __stack_chk_fail
 }
 
-// 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 {
@@ -402,6 +399,9 @@ pub unsafe extern "C" fn test25() -> i32 {
     // missing-NOT: __stack_chk_fail
 }
 
+// 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() {
@@ -416,6 +416,11 @@ pub unsafe extern "C" fn test26() {
     // strong-NOT: __stack_chk_fail
 }
 
+// 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 {