diff options
Diffstat (limited to 'test/CodeGen/X86/stack-protector.ll')
| -rw-r--r-- | test/CodeGen/X86/stack-protector.ll | 597 |
1 files changed, 455 insertions, 142 deletions
diff --git a/test/CodeGen/X86/stack-protector.ll b/test/CodeGen/X86/stack-protector.ll index 265ec80..4db0f9a 100644 --- a/test/CodeGen/X86/stack-protector.ll +++ b/test/CodeGen/X86/stack-protector.ll @@ -16,13 +16,14 @@ %struct.anon.0 = type { %union.anon.1 } %union.anon.1 = type { [2 x i8] } %struct.small = type { i8 } +%struct.small_char = type { i32, [5 x i8] } @.str = private unnamed_addr constant [4 x i8] c"%s\0A\00", align 1 ; test1a: array of [16 x i8] ; no ssp attribute ; Requires no protector. -define void @test1a(i8* %a) nounwind uwtable { +define void @test1a(i8* %a) { entry: ; LINUX-I386-LABEL: test1a: ; LINUX-I386-NOT: calll __stack_chk_fail @@ -53,7 +54,8 @@ entry: ; test1b: array of [16 x i8] ; ssp attribute ; Requires protector. -define void @test1b(i8* %a) nounwind uwtable ssp { +; Function Attrs: ssp +define void @test1b(i8* %a) #0 { entry: ; LINUX-I386-LABEL: test1b: ; LINUX-I386: mov{{l|q}} %gs: @@ -88,7 +90,8 @@ entry: ; test1c: array of [16 x i8] ; sspstrong attribute ; Requires protector. -define void @test1c(i8* %a) nounwind uwtable sspstrong { +; Function Attrs: sspstrong +define void @test1c(i8* %a) #1 { entry: ; LINUX-I386-LABEL: test1c: ; LINUX-I386: mov{{l|q}} %gs: @@ -119,7 +122,8 @@ entry: ; test1d: array of [16 x i8] ; sspreq attribute ; Requires protector. -define void @test1d(i8* %a) nounwind uwtable sspreq { +; Function Attrs: sspreq +define void @test1d(i8* %a) #2 { entry: ; LINUX-I386-LABEL: test1d: ; LINUX-I386: mov{{l|q}} %gs: @@ -150,7 +154,7 @@ entry: ; test2a: struct { [16 x i8] } ; no ssp attribute ; Requires no protector. -define void @test2a(i8* %a) nounwind uwtable { +define void @test2a(i8* %a) { entry: ; LINUX-I386-LABEL: test2a: ; LINUX-I386-NOT: calll __stack_chk_fail @@ -183,7 +187,8 @@ entry: ; test2b: struct { [16 x i8] } ; ssp attribute ; Requires protector. -define void @test2b(i8* %a) nounwind uwtable ssp { +; Function Attrs: ssp +define void @test2b(i8* %a) #0 { entry: ; LINUX-I386-LABEL: test2b: ; LINUX-I386: mov{{l|q}} %gs: @@ -216,7 +221,8 @@ entry: ; test2c: struct { [16 x i8] } ; sspstrong attribute ; Requires protector. -define void @test2c(i8* %a) nounwind uwtable sspstrong { +; Function Attrs: sspstrong +define void @test2c(i8* %a) #1 { entry: ; LINUX-I386-LABEL: test2c: ; LINUX-I386: mov{{l|q}} %gs: @@ -249,7 +255,8 @@ entry: ; test2d: struct { [16 x i8] } ; sspreq attribute ; Requires protector. -define void @test2d(i8* %a) nounwind uwtable sspreq { +; Function Attrs: sspreq +define void @test2d(i8* %a) #2 { entry: ; LINUX-I386-LABEL: test2d: ; LINUX-I386: mov{{l|q}} %gs: @@ -282,7 +289,7 @@ entry: ; test3a: array of [4 x i8] ; no ssp attribute ; Requires no protector. -define void @test3a(i8* %a) nounwind uwtable { +define void @test3a(i8* %a) { entry: ; LINUX-I386-LABEL: test3a: ; LINUX-I386-NOT: calll __stack_chk_fail @@ -313,7 +320,8 @@ entry: ; test3b: array [4 x i8] ; ssp attribute ; Requires no protector. -define void @test3b(i8* %a) nounwind uwtable ssp { +; Function Attrs: ssp +define void @test3b(i8* %a) #0 { entry: ; LINUX-I386-LABEL: test3b: ; LINUX-I386-NOT: calll __stack_chk_fail @@ -344,7 +352,8 @@ entry: ; test3c: array of [4 x i8] ; sspstrong attribute ; Requires protector. -define void @test3c(i8* %a) nounwind uwtable sspstrong { +; Function Attrs: sspstrong +define void @test3c(i8* %a) #1 { entry: ; LINUX-I386-LABEL: test3c: ; LINUX-I386: mov{{l|q}} %gs: @@ -375,7 +384,8 @@ entry: ; test3d: array of [4 x i8] ; sspreq attribute ; Requires protector. -define void @test3d(i8* %a) nounwind uwtable sspreq { +; Function Attrs: sspreq +define void @test3d(i8* %a) #2 { entry: ; LINUX-I386-LABEL: test3d: ; LINUX-I386: mov{{l|q}} %gs: @@ -406,7 +416,7 @@ entry: ; test4a: struct { [4 x i8] } ; no ssp attribute ; Requires no protector. -define void @test4a(i8* %a) nounwind uwtable { +define void @test4a(i8* %a) { entry: ; LINUX-I386-LABEL: test4a: ; LINUX-I386-NOT: calll __stack_chk_fail @@ -439,7 +449,8 @@ entry: ; test4b: struct { [4 x i8] } ; ssp attribute ; Requires no protector. -define void @test4b(i8* %a) nounwind uwtable ssp { +; Function Attrs: ssp +define void @test4b(i8* %a) #0 { entry: ; LINUX-I386-LABEL: test4b: ; LINUX-I386-NOT: calll __stack_chk_fail @@ -472,7 +483,8 @@ entry: ; test4c: struct { [4 x i8] } ; sspstrong attribute ; Requires protector. -define void @test4c(i8* %a) nounwind uwtable sspstrong { +; Function Attrs: sspstrong +define void @test4c(i8* %a) #1 { entry: ; LINUX-I386-LABEL: test4c: ; LINUX-I386: mov{{l|q}} %gs: @@ -505,7 +517,8 @@ entry: ; test4d: struct { [4 x i8] } ; sspreq attribute ; Requires protector. -define void @test4d(i8* %a) nounwind uwtable sspreq { +; Function Attrs: sspreq +define void @test4d(i8* %a) #2 { entry: ; LINUX-I386-LABEL: test4d: ; LINUX-I386: mov{{l|q}} %gs: @@ -538,7 +551,7 @@ entry: ; test5a: no arrays / no nested arrays ; no ssp attribute ; Requires no protector. -define void @test5a(i8* %a) nounwind uwtable { +define void @test5a(i8* %a) { entry: ; LINUX-I386-LABEL: test5a: ; LINUX-I386-NOT: calll __stack_chk_fail @@ -565,7 +578,8 @@ entry: ; test5b: no arrays / no nested arrays ; ssp attribute ; Requires no protector. -define void @test5b(i8* %a) nounwind uwtable ssp { +; Function Attrs: ssp +define void @test5b(i8* %a) #0 { entry: ; LINUX-I386-LABEL: test5b: ; LINUX-I386-NOT: calll __stack_chk_fail @@ -592,7 +606,8 @@ entry: ; test5c: no arrays / no nested arrays ; sspstrong attribute ; Requires no protector. -define void @test5c(i8* %a) nounwind uwtable sspstrong { +; Function Attrs: sspstrong +define void @test5c(i8* %a) #1 { entry: ; LINUX-I386-LABEL: test5c: ; LINUX-I386-NOT: calll __stack_chk_fail @@ -619,7 +634,8 @@ entry: ; test5d: no arrays / no nested arrays ; sspreq attribute ; Requires protector. -define void @test5d(i8* %a) nounwind uwtable sspreq { +; Function Attrs: sspreq +define void @test5d(i8* %a) #2 { entry: ; LINUX-I386-LABEL: test5d: ; LINUX-I386: mov{{l|q}} %gs: @@ -646,7 +662,7 @@ entry: ; test6a: Address-of local taken (j = &a) ; no ssp attribute ; Requires no protector. -define void @test6a() nounwind uwtable { +define void @test6a() { entry: ; LINUX-I386-LABEL: test6a: ; LINUX-I386-NOT: calll __stack_chk_fail @@ -677,7 +693,8 @@ entry: ; test6b: Address-of local taken (j = &a) ; ssp attribute ; Requires no protector. -define void @test6b() nounwind uwtable ssp { +; Function Attrs: ssp +define void @test6b() #0 { entry: ; LINUX-I386-LABEL: test6b: ; LINUX-I386-NOT: calll __stack_chk_fail @@ -708,7 +725,8 @@ entry: ; test6c: Address-of local taken (j = &a) ; sspstrong attribute ; Requires protector. -define void @test6c() nounwind uwtable sspstrong { +; Function Attrs: sspstrong +define void @test6c() #1 { entry: ; LINUX-I386-LABEL: test6c: ; LINUX-I386: mov{{l|q}} %gs: @@ -739,7 +757,8 @@ entry: ; test6d: Address-of local taken (j = &a) ; sspreq attribute ; Requires protector. -define void @test6d() nounwind uwtable sspreq { +; Function Attrs: sspreq +define void @test6d() #2 { entry: ; LINUX-I386-LABEL: test6d: ; LINUX-I386: mov{{l|q}} %gs: @@ -770,7 +789,7 @@ entry: ; test7a: PtrToInt Cast ; no ssp attribute ; Requires no protector. -define void @test7a() nounwind uwtable readnone { +define void @test7a() { entry: ; LINUX-I386-LABEL: test7a: ; LINUX-I386-NOT: calll __stack_chk_fail @@ -796,7 +815,8 @@ entry: ; test7b: PtrToInt Cast ; ssp attribute ; Requires no protector. -define void @test7b() nounwind uwtable readnone ssp { +; Function Attrs: ssp +define void @test7b() #0 { entry: ; LINUX-I386-LABEL: test7b: ; LINUX-I386-NOT: calll __stack_chk_fail @@ -822,7 +842,8 @@ entry: ; test7c: PtrToInt Cast ; sspstrong attribute ; Requires protector. -define void @test7c() nounwind uwtable readnone sspstrong { +; Function Attrs: sspstrong +define void @test7c() #1 { entry: ; LINUX-I386-LABEL: test7c: ; LINUX-I386: mov{{l|q}} %gs: @@ -848,7 +869,8 @@ entry: ; test7d: PtrToInt Cast ; sspreq attribute ; Requires protector. -define void @test7d() nounwind uwtable readnone sspreq { +; Function Attrs: sspreq +define void @test7d() #2 { entry: ; LINUX-I386-LABEL: test7d: ; LINUX-I386: mov{{l|q}} %gs: @@ -874,7 +896,7 @@ entry: ; test8a: Passing addr-of to function call ; no ssp attribute ; Requires no protector. -define void @test8a() nounwind uwtable { +define void @test8a() { entry: ; LINUX-I386-LABEL: test8a: ; LINUX-I386-NOT: calll __stack_chk_fail @@ -892,14 +914,15 @@ entry: ; DARWIN-X64-NOT: callq ___stack_chk_fail ; DARWIN-X64: .cfi_endproc %b = alloca i32, align 4 - call void @funcall(i32* %b) nounwind + call void @funcall(i32* %b) ret void } ; test8b: Passing addr-of to function call ; ssp attribute ; Requires no protector. -define void @test8b() nounwind uwtable ssp { +; Function Attrs: ssp +define void @test8b() #0 { entry: ; LINUX-I386-LABEL: test8b: ; LINUX-I386-NOT: calll __stack_chk_fail @@ -917,14 +940,15 @@ entry: ; DARWIN-X64-NOT: callq ___stack_chk_fail ; DARWIN-X64: .cfi_endproc %b = alloca i32, align 4 - call void @funcall(i32* %b) nounwind + call void @funcall(i32* %b) ret void } ; test8c: Passing addr-of to function call ; sspstrong attribute ; Requires protector. -define void @test8c() nounwind uwtable sspstrong { +; Function Attrs: sspstrong +define void @test8c() #1 { entry: ; LINUX-I386-LABEL: test8c: ; LINUX-I386: mov{{l|q}} %gs: @@ -942,14 +966,15 @@ entry: ; DARWIN-X64: mov{{l|q}} ___stack_chk_guard ; DARWIN-X64: callq ___stack_chk_fail %b = alloca i32, align 4 - call void @funcall(i32* %b) nounwind + call void @funcall(i32* %b) ret void } ; test8d: Passing addr-of to function call ; sspreq attribute ; Requires protector. -define void @test8d() nounwind uwtable sspreq { +; Function Attrs: sspreq +define void @test8d() #2 { entry: ; LINUX-I386-LABEL: test8d: ; LINUX-I386: mov{{l|q}} %gs: @@ -967,14 +992,14 @@ entry: ; DARWIN-X64: mov{{l|q}} ___stack_chk_guard ; DARWIN-X64: callq ___stack_chk_fail %b = alloca i32, align 4 - call void @funcall(i32* %b) nounwind + call void @funcall(i32* %b) ret void } ; test9a: Addr-of in select instruction ; no ssp attribute ; Requires no protector. -define void @test9a() nounwind uwtable { +define void @test9a() { entry: ; LINUX-I386-LABEL: test9a: ; LINUX-I386-NOT: calll __stack_chk_fail @@ -992,7 +1017,7 @@ entry: ; DARWIN-X64-NOT: callq ___stack_chk_fail ; DARWIN-X64: .cfi_endproc %x = alloca double, align 8 - %call = call double @testi_aux() nounwind + %call = call double @testi_aux() store double %call, double* %x, align 8 %cmp2 = fcmp ogt double %call, 0.000000e+00 %y.1 = select i1 %cmp2, double* %x, double* null @@ -1003,7 +1028,8 @@ entry: ; test9b: Addr-of in select instruction ; ssp attribute ; Requires no protector. -define void @test9b() nounwind uwtable ssp { +; Function Attrs: ssp +define void @test9b() #0 { entry: ; LINUX-I386-LABEL: test9b: ; LINUX-I386-NOT: calll __stack_chk_fail @@ -1021,7 +1047,7 @@ entry: ; DARWIN-X64-NOT: callq ___stack_chk_fail ; DARWIN-X64: .cfi_endproc %x = alloca double, align 8 - %call = call double @testi_aux() nounwind + %call = call double @testi_aux() store double %call, double* %x, align 8 %cmp2 = fcmp ogt double %call, 0.000000e+00 %y.1 = select i1 %cmp2, double* %x, double* null @@ -1032,7 +1058,8 @@ entry: ; test9c: Addr-of in select instruction ; sspstrong attribute ; Requires protector. -define void @test9c() nounwind uwtable sspstrong { +; Function Attrs: sspstrong +define void @test9c() #1 { entry: ; LINUX-I386-LABEL: test9c: ; LINUX-I386: mov{{l|q}} %gs: @@ -1050,7 +1077,7 @@ entry: ; DARWIN-X64: mov{{l|q}} ___stack_chk_guard ; DARWIN-X64: callq ___stack_chk_fail %x = alloca double, align 8 - %call = call double @testi_aux() nounwind + %call = call double @testi_aux() store double %call, double* %x, align 8 %cmp2 = fcmp ogt double %call, 0.000000e+00 %y.1 = select i1 %cmp2, double* %x, double* null @@ -1061,7 +1088,8 @@ entry: ; test9d: Addr-of in select instruction ; sspreq attribute ; Requires protector. -define void @test9d() nounwind uwtable sspreq { +; Function Attrs: sspreq +define void @test9d() #2 { entry: ; LINUX-I386-LABEL: test9d: ; LINUX-I386: mov{{l|q}} %gs: @@ -1079,7 +1107,7 @@ entry: ; DARWIN-X64: mov{{l|q}} ___stack_chk_guard ; DARWIN-X64: callq ___stack_chk_fail %x = alloca double, align 8 - %call = call double @testi_aux() nounwind + %call = call double @testi_aux() store double %call, double* %x, align 8 %cmp2 = fcmp ogt double %call, 0.000000e+00 %y.1 = select i1 %cmp2, double* %x, double* null @@ -1090,7 +1118,7 @@ entry: ; test10a: Addr-of in phi instruction ; no ssp attribute ; Requires no protector. -define void @test10a() nounwind uwtable { +define void @test10a() { entry: ; LINUX-I386-LABEL: test10a: ; LINUX-I386-NOT: calll __stack_chk_fail @@ -1108,13 +1136,13 @@ entry: ; DARWIN-X64-NOT: callq ___stack_chk_fail ; DARWIN-X64: .cfi_endproc %x = alloca double, align 8 - %call = call double @testi_aux() nounwind + %call = call double @testi_aux() store double %call, double* %x, align 8 %cmp = fcmp ogt double %call, 3.140000e+00 br i1 %cmp, label %if.then, label %if.else if.then: ; preds = %entry - %call1 = call double @testi_aux() nounwind + %call1 = call double @testi_aux() store double %call1, double* %x, align 8 br label %if.end4 @@ -1127,14 +1155,15 @@ if.then3: ; preds = %if.else if.end4: ; preds = %if.else, %if.then3, %if.then %y.0 = phi double* [ null, %if.then ], [ %x, %if.then3 ], [ null, %if.else ] - %call5 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([4 x i8]* @.str, i64 0, i64 0), double* %y.0) nounwind + %call5 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([4 x i8]* @.str, i64 0, i64 0), double* %y.0) ret void } ; test10b: Addr-of in phi instruction ; ssp attribute ; Requires no protector. -define void @test10b() nounwind uwtable ssp { +; Function Attrs: ssp +define void @test10b() #0 { entry: ; LINUX-I386-LABEL: test10b: ; LINUX-I386-NOT: calll __stack_chk_fail @@ -1152,13 +1181,13 @@ entry: ; DARWIN-X64-NOT: callq ___stack_chk_fail ; DARWIN-X64: .cfi_endproc %x = alloca double, align 8 - %call = call double @testi_aux() nounwind + %call = call double @testi_aux() store double %call, double* %x, align 8 %cmp = fcmp ogt double %call, 3.140000e+00 br i1 %cmp, label %if.then, label %if.else if.then: ; preds = %entry - %call1 = call double @testi_aux() nounwind + %call1 = call double @testi_aux() store double %call1, double* %x, align 8 br label %if.end4 @@ -1171,14 +1200,15 @@ if.then3: ; preds = %if.else if.end4: ; preds = %if.else, %if.then3, %if.then %y.0 = phi double* [ null, %if.then ], [ %x, %if.then3 ], [ null, %if.else ] - %call5 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([4 x i8]* @.str, i64 0, i64 0), double* %y.0) nounwind + %call5 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([4 x i8]* @.str, i64 0, i64 0), double* %y.0) ret void } ; test10c: Addr-of in phi instruction ; sspstrong attribute ; Requires protector. -define void @test10c() nounwind uwtable sspstrong { +; Function Attrs: sspstrong +define void @test10c() #1 { entry: ; LINUX-I386-LABEL: test10c: ; LINUX-I386: mov{{l|q}} %gs: @@ -1196,13 +1226,13 @@ entry: ; DARWIN-X64: mov{{l|q}} ___stack_chk_guard ; DARWIN-X64: callq ___stack_chk_fail %x = alloca double, align 8 - %call = call double @testi_aux() nounwind + %call = call double @testi_aux() store double %call, double* %x, align 8 %cmp = fcmp ogt double %call, 3.140000e+00 br i1 %cmp, label %if.then, label %if.else if.then: ; preds = %entry - %call1 = call double @testi_aux() nounwind + %call1 = call double @testi_aux() store double %call1, double* %x, align 8 br label %if.end4 @@ -1215,14 +1245,15 @@ if.then3: ; preds = %if.else if.end4: ; preds = %if.else, %if.then3, %if.then %y.0 = phi double* [ null, %if.then ], [ %x, %if.then3 ], [ null, %if.else ] - %call5 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([4 x i8]* @.str, i64 0, i64 0), double* %y.0) nounwind + %call5 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([4 x i8]* @.str, i64 0, i64 0), double* %y.0) ret void } ; test10d: Addr-of in phi instruction ; sspreq attribute ; Requires protector. -define void @test10d() nounwind uwtable sspreq { +; Function Attrs: sspreq +define void @test10d() #2 { entry: ; LINUX-I386-LABEL: test10d: ; LINUX-I386: mov{{l|q}} %gs: @@ -1240,13 +1271,13 @@ entry: ; DARWIN-X64: mov{{l|q}} ___stack_chk_guard ; DARWIN-X64: callq ___stack_chk_fail %x = alloca double, align 8 - %call = call double @testi_aux() nounwind + %call = call double @testi_aux() store double %call, double* %x, align 8 %cmp = fcmp ogt double %call, 3.140000e+00 br i1 %cmp, label %if.then, label %if.else if.then: ; preds = %entry - %call1 = call double @testi_aux() nounwind + %call1 = call double @testi_aux() store double %call1, double* %x, align 8 br label %if.end4 @@ -1259,14 +1290,14 @@ if.then3: ; preds = %if.else if.end4: ; preds = %if.else, %if.then3, %if.then %y.0 = phi double* [ null, %if.then ], [ %x, %if.then3 ], [ null, %if.else ] - %call5 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([4 x i8]* @.str, i64 0, i64 0), double* %y.0) nounwind + %call5 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([4 x i8]* @.str, i64 0, i64 0), double* %y.0) ret void } ; test11a: Addr-of struct element. (GEP followed by store). ; no ssp attribute ; Requires no protector. -define void @test11a() nounwind uwtable { +define void @test11a() { entry: ; LINUX-I386-LABEL: test11a: ; LINUX-I386-NOT: calll __stack_chk_fail @@ -1295,7 +1326,8 @@ entry: ; test11b: Addr-of struct element. (GEP followed by store). ; ssp attribute ; Requires no protector. -define void @test11b() nounwind uwtable ssp { +; Function Attrs: ssp +define void @test11b() #0 { entry: ; LINUX-I386-LABEL: test11b: ; LINUX-I386-NOT: calll __stack_chk_fail @@ -1324,7 +1356,8 @@ entry: ; test11c: Addr-of struct element. (GEP followed by store). ; sspstrong attribute ; Requires protector. -define void @test11c() nounwind uwtable sspstrong { +; Function Attrs: sspstrong +define void @test11c() #1 { entry: ; LINUX-I386-LABEL: test11c: ; LINUX-I386: mov{{l|q}} %gs: @@ -1353,7 +1386,8 @@ entry: ; test11d: Addr-of struct element. (GEP followed by store). ; sspreq attribute ; Requires protector. -define void @test11d() nounwind uwtable sspreq { +; Function Attrs: sspreq +define void @test11d() #2 { entry: ; LINUX-I386-LABEL: test11d: ; LINUX-I386: mov{{l|q}} %gs: @@ -1382,7 +1416,7 @@ entry: ; test12a: Addr-of struct element, GEP followed by ptrtoint. ; no ssp attribute ; Requires no protector. -define void @test12a() nounwind uwtable { +define void @test12a() { entry: ; LINUX-I386-LABEL: test12a: ; LINUX-I386-NOT: calll __stack_chk_fail @@ -1410,7 +1444,8 @@ entry: ; test12b: Addr-of struct element, GEP followed by ptrtoint. ; ssp attribute ; Requires no protector. -define void @test12b() nounwind uwtable ssp { +; Function Attrs: ssp +define void @test12b() #0 { entry: ; LINUX-I386-LABEL: test12b: ; LINUX-I386-NOT: calll __stack_chk_fail @@ -1437,8 +1472,8 @@ entry: ; test12c: Addr-of struct element, GEP followed by ptrtoint. ; sspstrong attribute -; Requires protector. -define void @test12c() nounwind uwtable sspstrong { +; Function Attrs: sspstrong +define void @test12c() #1 { entry: ; LINUX-I386-LABEL: test12c: ; LINUX-I386: mov{{l|q}} %gs: @@ -1466,7 +1501,8 @@ entry: ; test12d: Addr-of struct element, GEP followed by ptrtoint. ; sspreq attribute ; Requires protector. -define void @test12d() nounwind uwtable sspreq { +; Function Attrs: sspreq +define void @test12d() #2 { entry: ; LINUX-I386-LABEL: test12d: ; LINUX-I386: mov{{l|q}} %gs: @@ -1494,7 +1530,7 @@ entry: ; test13a: Addr-of struct element, GEP followed by callinst. ; no ssp attribute ; Requires no protector. -define void @test13a() nounwind uwtable { +define void @test13a() { entry: ; LINUX-I386-LABEL: test13a: ; LINUX-I386-NOT: calll __stack_chk_fail @@ -1513,14 +1549,15 @@ entry: ; DARWIN-X64: .cfi_endproc %c = alloca %struct.pair, align 4 %y = getelementptr inbounds %struct.pair* %c, i64 0, i32 1 - %call = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([4 x i8]* @.str, i64 0, i64 0), i32* %y) nounwind + %call = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([4 x i8]* @.str, i64 0, i64 0), i32* %y) ret void } ; test13b: Addr-of struct element, GEP followed by callinst. ; ssp attribute ; Requires no protector. -define void @test13b() nounwind uwtable ssp { +; Function Attrs: ssp +define void @test13b() #0 { entry: ; LINUX-I386-LABEL: test13b: ; LINUX-I386-NOT: calll __stack_chk_fail @@ -1539,14 +1576,15 @@ entry: ; DARWIN-X64: .cfi_endproc %c = alloca %struct.pair, align 4 %y = getelementptr inbounds %struct.pair* %c, i64 0, i32 1 - %call = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([4 x i8]* @.str, i64 0, i64 0), i32* %y) nounwind + %call = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([4 x i8]* @.str, i64 0, i64 0), i32* %y) ret void } ; test13c: Addr-of struct element, GEP followed by callinst. ; sspstrong attribute ; Requires protector. -define void @test13c() nounwind uwtable sspstrong { +; Function Attrs: sspstrong +define void @test13c() #1 { entry: ; LINUX-I386-LABEL: test13c: ; LINUX-I386: mov{{l|q}} %gs: @@ -1565,14 +1603,15 @@ entry: ; DARWIN-X64: callq ___stack_chk_fail %c = alloca %struct.pair, align 4 %y = getelementptr inbounds %struct.pair* %c, i64 0, i32 1 - %call = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([4 x i8]* @.str, i64 0, i64 0), i32* %y) nounwind + %call = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([4 x i8]* @.str, i64 0, i64 0), i32* %y) ret void } ; test13d: Addr-of struct element, GEP followed by callinst. ; sspreq attribute ; Requires protector. -define void @test13d() nounwind uwtable sspreq { +; Function Attrs: sspreq +define void @test13d() #2 { entry: ; LINUX-I386-LABEL: test13d: ; LINUX-I386: mov{{l|q}} %gs: @@ -1591,14 +1630,14 @@ entry: ; DARWIN-X64: callq ___stack_chk_fail %c = alloca %struct.pair, align 4 %y = getelementptr inbounds %struct.pair* %c, i64 0, i32 1 - %call = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([4 x i8]* @.str, i64 0, i64 0), i32* %y) nounwind + %call = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([4 x i8]* @.str, i64 0, i64 0), i32* %y) ret void } ; test14a: Addr-of a local, optimized into a GEP (e.g., &a - 12) ; no ssp attribute ; Requires no protector. -define void @test14a() nounwind uwtable { +define void @test14a() { entry: ; LINUX-I386-LABEL: test14a: ; LINUX-I386-NOT: calll __stack_chk_fail @@ -1617,14 +1656,15 @@ entry: ; DARWIN-X64: .cfi_endproc %a = alloca i32, align 4 %add.ptr5 = getelementptr inbounds i32* %a, i64 -12 - %call = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([4 x i8]* @.str, i64 0, i64 0), i32* %add.ptr5) nounwind + %call = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([4 x i8]* @.str, i64 0, i64 0), i32* %add.ptr5) ret void } ; test14b: Addr-of a local, optimized into a GEP (e.g., &a - 12) ; ssp attribute ; Requires no protector. -define void @test14b() nounwind uwtable ssp { +; Function Attrs: ssp +define void @test14b() #0 { entry: ; LINUX-I386-LABEL: test14b: ; LINUX-I386-NOT: calll __stack_chk_fail @@ -1643,14 +1683,15 @@ entry: ; DARWIN-X64: .cfi_endproc %a = alloca i32, align 4 %add.ptr5 = getelementptr inbounds i32* %a, i64 -12 - %call = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([4 x i8]* @.str, i64 0, i64 0), i32* %add.ptr5) nounwind + %call = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([4 x i8]* @.str, i64 0, i64 0), i32* %add.ptr5) ret void } ; test14c: Addr-of a local, optimized into a GEP (e.g., &a - 12) ; sspstrong attribute ; Requires protector. -define void @test14c() nounwind uwtable sspstrong { +; Function Attrs: sspstrong +define void @test14c() #1 { entry: ; LINUX-I386-LABEL: test14c: ; LINUX-I386: mov{{l|q}} %gs: @@ -1669,14 +1710,15 @@ entry: ; DARWIN-X64: callq ___stack_chk_fail %a = alloca i32, align 4 %add.ptr5 = getelementptr inbounds i32* %a, i64 -12 - %call = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([4 x i8]* @.str, i64 0, i64 0), i32* %add.ptr5) nounwind + %call = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([4 x i8]* @.str, i64 0, i64 0), i32* %add.ptr5) ret void } ; test14d: Addr-of a local, optimized into a GEP (e.g., &a - 12) ; sspreq attribute ; Requires protector. -define void @test14d() nounwind uwtable sspreq { +; Function Attrs: sspreq +define void @test14d() #2 { entry: ; LINUX-I386-LABEL: test14d: ; LINUX-I386: mov{{l|q}} %gs: @@ -1695,7 +1737,7 @@ entry: ; DARWIN-X64: callq ___stack_chk_fail %a = alloca i32, align 4 %add.ptr5 = getelementptr inbounds i32* %a, i64 -12 - %call = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([4 x i8]* @.str, i64 0, i64 0), i32* %add.ptr5) nounwind + %call = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([4 x i8]* @.str, i64 0, i64 0), i32* %add.ptr5) ret void } @@ -1703,7 +1745,7 @@ entry: ; (e.g., int a; ... ; float *b = &a;) ; no ssp attribute ; Requires no protector. -define void @test15a() nounwind uwtable { +define void @test15a() { entry: ; LINUX-I386-LABEL: test15a: ; LINUX-I386-NOT: calll __stack_chk_fail @@ -1734,7 +1776,8 @@ entry: ; (e.g., int a; ... ; float *b = &a;) ; ssp attribute ; Requires no protector. -define void @test15b() nounwind uwtable ssp { +; Function Attrs: ssp +define void @test15b() #0 { entry: ; LINUX-I386-LABEL: test15b: ; LINUX-I386-NOT: calll __stack_chk_fail @@ -1765,7 +1808,8 @@ entry: ; (e.g., int a; ... ; float *b = &a;) ; sspstrong attribute ; Requires protector. -define void @test15c() nounwind uwtable sspstrong { +; Function Attrs: sspstrong +define void @test15c() #1 { entry: ; LINUX-I386-LABEL: test15c: ; LINUX-I386: mov{{l|q}} %gs: @@ -1796,7 +1840,8 @@ entry: ; (e.g., int a; ... ; float *b = &a;) ; sspreq attribute ; Requires protector. -define void @test15d() nounwind uwtable sspreq { +; Function Attrs: sspreq +define void @test15d() #2 { entry: ; LINUX-I386-LABEL: test15d: ; LINUX-I386: mov{{l|q}} %gs: @@ -1827,7 +1872,7 @@ entry: ; (e.g., int a; ... ; float *b = &a;) ; no ssp attribute ; Requires no protector. -define void @test16a() nounwind uwtable { +define void @test16a() { entry: ; LINUX-I386-LABEL: test16a: ; LINUX-I386-NOT: calll __stack_chk_fail @@ -1847,7 +1892,7 @@ entry: %a = alloca i32, align 4 store i32 0, i32* %a, align 4 %0 = bitcast i32* %a to float* - call void @funfloat(float* %0) nounwind + call void @funfloat(float* %0) ret void } @@ -1855,7 +1900,8 @@ entry: ; (e.g., int a; ... ; float *b = &a;) ; ssp attribute ; Requires no protector. -define void @test16b() nounwind uwtable ssp { +; Function Attrs: ssp +define void @test16b() #0 { entry: ; LINUX-I386-LABEL: test16b: ; LINUX-I386-NOT: calll __stack_chk_fail @@ -1875,7 +1921,7 @@ entry: %a = alloca i32, align 4 store i32 0, i32* %a, align 4 %0 = bitcast i32* %a to float* - call void @funfloat(float* %0) nounwind + call void @funfloat(float* %0) ret void } @@ -1883,7 +1929,8 @@ entry: ; (e.g., int a; ... ; float *b = &a;) ; sspstrong attribute ; Requires protector. -define void @test16c() nounwind uwtable sspstrong { +; Function Attrs: sspstrong +define void @test16c() #1 { entry: ; LINUX-I386-LABEL: test16c: ; LINUX-I386: mov{{l|q}} %gs: @@ -1903,7 +1950,7 @@ entry: %a = alloca i32, align 4 store i32 0, i32* %a, align 4 %0 = bitcast i32* %a to float* - call void @funfloat(float* %0) nounwind + call void @funfloat(float* %0) ret void } @@ -1911,7 +1958,8 @@ entry: ; (e.g., int a; ... ; float *b = &a;) ; sspreq attribute ; Requires protector. -define void @test16d() nounwind uwtable sspreq { +; Function Attrs: sspreq +define void @test16d() #2 { entry: ; LINUX-I386-LABEL: test16d: ; LINUX-I386: mov{{l|q}} %gs: @@ -1931,14 +1979,14 @@ entry: %a = alloca i32, align 4 store i32 0, i32* %a, align 4 %0 = bitcast i32* %a to float* - call void @funfloat(float* %0) nounwind + call void @funfloat(float* %0) ret void } ; test17a: Addr-of a vector nested in a struct ; no ssp attribute ; Requires no protector. -define void @test17a() nounwind uwtable { +define void @test17a() { entry: ; LINUX-I386-LABEL: test17a: ; LINUX-I386-NOT: calll __stack_chk_fail @@ -1958,14 +2006,15 @@ entry: %c = alloca %struct.vec, align 16 %y = getelementptr inbounds %struct.vec* %c, i64 0, i32 0 %add.ptr = getelementptr inbounds <4 x i32>* %y, i64 -12 - %call = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([4 x i8]* @.str, i64 0, i64 0), <4 x i32>* %add.ptr) nounwind + %call = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([4 x i8]* @.str, i64 0, i64 0), <4 x i32>* %add.ptr) ret void } ; test17b: Addr-of a vector nested in a struct ; ssp attribute ; Requires no protector. -define void @test17b() nounwind uwtable ssp { +; Function Attrs: ssp +define void @test17b() #0 { entry: ; LINUX-I386-LABEL: test17b: ; LINUX-I386-NOT: calll __stack_chk_fail @@ -1985,14 +2034,15 @@ entry: %c = alloca %struct.vec, align 16 %y = getelementptr inbounds %struct.vec* %c, i64 0, i32 0 %add.ptr = getelementptr inbounds <4 x i32>* %y, i64 -12 - %call = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([4 x i8]* @.str, i64 0, i64 0), <4 x i32>* %add.ptr) nounwind + %call = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([4 x i8]* @.str, i64 0, i64 0), <4 x i32>* %add.ptr) ret void } ; test17c: Addr-of a vector nested in a struct ; sspstrong attribute ; Requires protector. -define void @test17c() nounwind uwtable sspstrong { +; Function Attrs: sspstrong +define void @test17c() #1 { entry: ; LINUX-I386-LABEL: test17c: ; LINUX-I386: mov{{l|q}} %gs: @@ -2012,14 +2062,15 @@ entry: %c = alloca %struct.vec, align 16 %y = getelementptr inbounds %struct.vec* %c, i64 0, i32 0 %add.ptr = getelementptr inbounds <4 x i32>* %y, i64 -12 - %call = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([4 x i8]* @.str, i64 0, i64 0), <4 x i32>* %add.ptr) nounwind + %call = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([4 x i8]* @.str, i64 0, i64 0), <4 x i32>* %add.ptr) ret void } ; test17d: Addr-of a vector nested in a struct ; sspreq attribute ; Requires protector. -define void @test17d() nounwind uwtable sspreq { +; Function Attrs: sspreq +define void @test17d() #2 { entry: ; LINUX-I386-LABEL: test17d: ; LINUX-I386: mov{{l|q}} %gs: @@ -2039,14 +2090,14 @@ entry: %c = alloca %struct.vec, align 16 %y = getelementptr inbounds %struct.vec* %c, i64 0, i32 0 %add.ptr = getelementptr inbounds <4 x i32>* %y, i64 -12 - %call = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([4 x i8]* @.str, i64 0, i64 0), <4 x i32>* %add.ptr) nounwind + %call = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([4 x i8]* @.str, i64 0, i64 0), <4 x i32>* %add.ptr) ret void } ; test18a: Addr-of a variable passed into an invoke instruction. ; no ssp attribute ; Requires no protector. -define i32 @test18a() uwtable { +define i32 @test18a() { entry: ; LINUX-I386-LABEL: test18a: ; LINUX-I386-NOT: calll __stack_chk_fail @@ -2082,7 +2133,8 @@ lpad: ; test18b: Addr-of a variable passed into an invoke instruction. ; ssp attribute ; Requires no protector. -define i32 @test18b() uwtable ssp { +; Function Attrs: ssp +define i32 @test18b() #0 { entry: ; LINUX-I386-LABEL: test18b: ; LINUX-I386-NOT: calll __stack_chk_fail @@ -2118,7 +2170,8 @@ lpad: ; test18c: Addr-of a variable passed into an invoke instruction. ; sspstrong attribute ; Requires protector. -define i32 @test18c() uwtable sspstrong { +; Function Attrs: sspstrong +define i32 @test18c() #1 { entry: ; LINUX-I386-LABEL: test18c: ; LINUX-I386: mov{{l|q}} %gs: @@ -2154,7 +2207,8 @@ lpad: ; test18d: Addr-of a variable passed into an invoke instruction. ; sspreq attribute ; Requires protector. -define i32 @test18d() uwtable sspreq { +; Function Attrs: sspreq +define i32 @test18d() #2 { entry: ; LINUX-I386-LABEL: test18d: ; LINUX-I386: mov{{l|q}} %gs: @@ -2186,12 +2240,11 @@ lpad: catch i8* null ret i32 0 } - ; test19a: Addr-of a struct element passed into an invoke instruction. ; (GEP followed by an invoke) ; no ssp attribute ; Requires no protector. -define i32 @test19a() uwtable { +define i32 @test19a() { entry: ; LINUX-I386-LABEL: test19a: ; LINUX-I386-NOT: calll __stack_chk_fail @@ -2230,7 +2283,8 @@ lpad: ; (GEP followed by an invoke) ; ssp attribute ; Requires no protector. -define i32 @test19b() uwtable ssp { +; Function Attrs: ssp +define i32 @test19b() #0 { entry: ; LINUX-I386-LABEL: test19b: ; LINUX-I386-NOT: calll __stack_chk_fail @@ -2269,7 +2323,8 @@ lpad: ; (GEP followed by an invoke) ; sspstrong attribute ; Requires protector. -define i32 @test19c() uwtable sspstrong { +; Function Attrs: sspstrong +define i32 @test19c() #1 { entry: ; LINUX-I386-LABEL: test19c: ; LINUX-I386: mov{{l|q}} %gs: @@ -2308,7 +2363,8 @@ lpad: ; (GEP followed by an invoke) ; sspreq attribute ; Requires protector. -define i32 @test19d() uwtable sspreq { +; Function Attrs: sspreq +define i32 @test19d() #2 { entry: ; LINUX-I386-LABEL: test19d: ; LINUX-I386: mov{{l|q}} %gs: @@ -2350,7 +2406,7 @@ lpad: ; test20a: Addr-of a pointer ; no ssp attribute ; Requires no protector. -define void @test20a() nounwind uwtable { +define void @test20a() { entry: ; LINUX-I386-LABEL: test20a: ; LINUX-I386-NOT: calll __stack_chk_fail @@ -2380,7 +2436,8 @@ entry: ; test20b: Addr-of a pointer ; ssp attribute ; Requires no protector. -define void @test20b() nounwind uwtable ssp { +; Function Attrs: ssp +define void @test20b() #0 { entry: ; LINUX-I386-LABEL: test20b: ; LINUX-I386-NOT: calll __stack_chk_fail @@ -2410,7 +2467,8 @@ entry: ; test20c: Addr-of a pointer ; sspstrong attribute ; Requires protector. -define void @test20c() nounwind uwtable sspstrong { +; Function Attrs: sspstrong +define void @test20c() #1 { entry: ; LINUX-I386-LABEL: test20c: ; LINUX-I386: mov{{l|q}} %gs: @@ -2440,7 +2498,8 @@ entry: ; test20d: Addr-of a pointer ; sspreq attribute ; Requires protector. -define void @test20d() nounwind uwtable sspreq { +; Function Attrs: sspreq +define void @test20d() #2 { entry: ; LINUX-I386-LABEL: test20d: ; LINUX-I386: mov{{l|q}} %gs: @@ -2470,7 +2529,7 @@ entry: ; test21a: Addr-of a casted pointer ; no ssp attribute ; Requires no protector. -define void @test21a() nounwind uwtable { +define void @test21a() { entry: ; LINUX-I386-LABEL: test21a: ; LINUX-I386-NOT: calll __stack_chk_fail @@ -2501,7 +2560,8 @@ entry: ; test21b: Addr-of a casted pointer ; ssp attribute ; Requires no protector. -define void @test21b() nounwind uwtable ssp { +; Function Attrs: ssp +define void @test21b() #0 { entry: ; LINUX-I386-LABEL: test21b: ; LINUX-I386-NOT: calll __stack_chk_fail @@ -2532,7 +2592,8 @@ entry: ; test21c: Addr-of a casted pointer ; sspstrong attribute ; Requires protector. -define void @test21c() nounwind uwtable sspstrong { +; Function Attrs: sspstrong +define void @test21c() #1 { entry: ; LINUX-I386-LABEL: test21c: ; LINUX-I386: mov{{l|q}} %gs: @@ -2563,7 +2624,8 @@ entry: ; test21d: Addr-of a casted pointer ; sspreq attribute ; Requires protector. -define void @test21d() nounwind uwtable sspreq { +; Function Attrs: sspreq +define void @test21d() #2 { entry: ; LINUX-I386-LABEL: test21d: ; LINUX-I386: mov{{l|q}} %gs: @@ -2594,7 +2656,7 @@ entry: ; test22a: [2 x i8] in a class ; no ssp attribute ; Requires no protector. -define signext i8 @test22a() nounwind uwtable { +define signext i8 @test22a() { entry: ; LINUX-I386-LABEL: test22a: ; LINUX-I386-NOT: calll __stack_chk_fail @@ -2621,7 +2683,8 @@ entry: ; test22b: [2 x i8] in a class ; ssp attribute ; Requires no protector. -define signext i8 @test22b() nounwind uwtable ssp { +; Function Attrs: ssp +define signext i8 @test22b() #0 { entry: ; LINUX-I386-LABEL: test22b: ; LINUX-I386-NOT: calll __stack_chk_fail @@ -2648,7 +2711,8 @@ entry: ; test22c: [2 x i8] in a class ; sspstrong attribute ; Requires protector. -define signext i8 @test22c() nounwind uwtable sspstrong { +; Function Attrs: sspstrong +define signext i8 @test22c() #1 { entry: ; LINUX-I386-LABEL: test22c: ; LINUX-I386: mov{{l|q}} %gs: @@ -2675,7 +2739,8 @@ entry: ; test22d: [2 x i8] in a class ; sspreq attribute ; Requires protector. -define signext i8 @test22d() nounwind uwtable sspreq { +; Function Attrs: sspreq +define signext i8 @test22d() #2 { entry: ; LINUX-I386-LABEL: test22d: ; LINUX-I386: mov{{l|q}} %gs: @@ -2702,7 +2767,7 @@ entry: ; test23a: [2 x i8] nested in several layers of structs and unions ; no ssp attribute ; Requires no protector. -define signext i8 @test23a() nounwind uwtable { +define signext i8 @test23a() { entry: ; LINUX-I386-LABEL: test23a: ; LINUX-I386-NOT: calll __stack_chk_fail @@ -2733,7 +2798,8 @@ entry: ; test23b: [2 x i8] nested in several layers of structs and unions ; ssp attribute ; Requires no protector. -define signext i8 @test23b() nounwind uwtable ssp { +; Function Attrs: ssp +define signext i8 @test23b() #0 { entry: ; LINUX-I386-LABEL: test23b: ; LINUX-I386-NOT: calll __stack_chk_fail @@ -2764,7 +2830,8 @@ entry: ; test23c: [2 x i8] nested in several layers of structs and unions ; sspstrong attribute ; Requires protector. -define signext i8 @test23c() nounwind uwtable sspstrong { +; Function Attrs: sspstrong +define signext i8 @test23c() #1 { entry: ; LINUX-I386-LABEL: test23c: ; LINUX-I386: mov{{l|q}} %gs: @@ -2795,7 +2862,8 @@ entry: ; test23d: [2 x i8] nested in several layers of structs and unions ; sspreq attribute ; Requires protector. -define signext i8 @test23d() nounwind uwtable sspreq { +; Function Attrs: sspreq +define signext i8 @test23d() #2 { entry: ; LINUX-I386-LABEL: test23d: ; LINUX-I386: mov{{l|q}} %gs: @@ -2826,7 +2894,7 @@ entry: ; test24a: Variable sized alloca ; no ssp attribute ; Requires no protector. -define void @test24a(i32 %n) nounwind uwtable { +define void @test24a(i32 %n) { entry: ; LINUX-I386-LABEL: test24a: ; LINUX-I386-NOT: calll __stack_chk_fail @@ -2857,7 +2925,8 @@ entry: ; test24b: Variable sized alloca ; ssp attribute ; Requires protector. -define void @test24b(i32 %n) nounwind uwtable ssp { +; Function Attrs: ssp +define void @test24b(i32 %n) #0 { entry: ; LINUX-I386-LABEL: test24b: ; LINUX-I386: mov{{l|q}} %gs: @@ -2888,7 +2957,8 @@ entry: ; test24c: Variable sized alloca ; sspstrong attribute ; Requires protector. -define void @test24c(i32 %n) nounwind uwtable sspstrong { +; Function Attrs: sspstrong +define void @test24c(i32 %n) #1 { entry: ; LINUX-I386-LABEL: test24c: ; LINUX-I386: mov{{l|q}} %gs: @@ -2919,7 +2989,8 @@ entry: ; test24d: Variable sized alloca ; sspreq attribute ; Requires protector. -define void @test24d(i32 %n) nounwind uwtable sspreq { +; Function Attrs: sspreq +define void @test24d(i32 %n) #2 { entry: ; LINUX-I386-LABEL: test24d: ; LINUX-I386: mov{{l|q}} %gs: @@ -2950,7 +3021,7 @@ entry: ; test25a: array of [4 x i32] ; no ssp attribute ; Requires no protector. -define i32 @test25a() nounwind uwtable { +define i32 @test25a() { entry: ; LINUX-I386-LABEL: test25a: ; LINUX-I386-NOT: calll __stack_chk_fail @@ -2976,7 +3047,8 @@ entry: ; test25b: array of [4 x i32] ; ssp attribute ; Requires no protector, except for Darwin which _does_ require a protector. -define i32 @test25b() nounwind uwtable ssp { +; Function Attrs: ssp +define i32 @test25b() #0 { entry: ; LINUX-I386-LABEL: test25b: ; LINUX-I386-NOT: calll __stack_chk_fail @@ -3002,7 +3074,8 @@ entry: ; test25c: array of [4 x i32] ; sspstrong attribute ; Requires protector. -define i32 @test25c() nounwind uwtable sspstrong { +; Function Attrs: sspstrong +define i32 @test25c() #1 { entry: ; LINUX-I386-LABEL: test25c: ; LINUX-I386: mov{{l|q}} %gs: @@ -3028,7 +3101,8 @@ entry: ; test25d: array of [4 x i32] ; sspreq attribute ; Requires protector. -define i32 @test25d() nounwind uwtable sspreq { +; Function Attrs: sspreq +define i32 @test25d() #2 { entry: ; LINUX-I386-LABEL: test25d: ; LINUX-I386: mov{{l|q}} %gs: @@ -3056,7 +3130,8 @@ entry: ; a stack protector. ; ssptrong attribute ; Requires no protector. -define void @test26() nounwind uwtable sspstrong { +; Function Attrs: sspstrong +define void @test26() #1 { entry: ; LINUX-I386-LABEL: test26: ; LINUX-I386-NOT: calll __stack_chk_fail @@ -3087,7 +3162,8 @@ entry: ; Verify that the address-of analysis does not get stuck in infinite ; recursion when chasing the alloca through the PHI nodes. ; Requires protector. -define i32 @test27(i32 %arg) nounwind uwtable sspstrong { +; Function Attrs: sspstrong +define i32 @test27(i32 %arg) #1 { bb: ; LINUX-I386-LABEL: test27: ; LINUX-I386: mov{{l|q}} %gs: @@ -3105,7 +3181,7 @@ bb: ; DARWIN-X64: mov{{l|q}} ___stack_chk_guard ; DARWIN-X64: callq ___stack_chk_fail %tmp = alloca %struct.small*, align 8 - %tmp1 = call i32 (...)* @dummy(%struct.small** %tmp) nounwind + %tmp1 = call i32 (...)* @dummy(%struct.small** %tmp) %tmp2 = load %struct.small** %tmp, align 8 %tmp3 = ptrtoint %struct.small* %tmp2 to i64 %tmp4 = trunc i64 %tmp3 to i32 @@ -3133,10 +3209,239 @@ bb17: ; preds = %bb6 bb21: ; preds = %bb6, %bb %tmp22 = phi i32 [ %tmp1, %bb ], [ %tmp14, %bb6 ] - %tmp23 = call i32 (...)* @dummy(i32 %tmp22) nounwind + %tmp23 = call i32 (...)* @dummy(i32 %tmp22) ret i32 undef } +; test28a: An array of [32 x i8] and a requested ssp-buffer-size of 33. +; Requires no protector. +; Function Attrs: ssp stack-protector-buffer-size=33 +define i32 @test28a() #3 { +entry: +; LINUX-I386-LABEL: test28a: +; LINUX-I386-NOT: calll __stack_chk_fail +; LINUX-I386: .cfi_endproc + +; LINUX-X64-LABEL: test28a: +; LINUX-X64-NOT: callq __stack_chk_fail +; LINUX-X64: .cfi_endproc + +; LINUX-KERNEL-X64-LABEL: test28a: +; LINUX-KERNEL-X64-NOT: callq __stack_chk_fail +; LINUX-KERNEL-X64: .cfi_endproc + +; DARWIN-X64-LABEL: test28a: +; DARWIN-X64-NOT: callq ___stack_chk_fail +; DARWIN-X64: .cfi_endproc + %test = alloca [32 x i8], align 16 + %arraydecay = getelementptr inbounds [32 x i8]* %test, i32 0, i32 0 + %call = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([4 x i8]* @.str, i32 0, i32 0), i8* %arraydecay) + ret i32 %call +} + +; test28b: An array of [33 x i8] and a requested ssp-buffer-size of 33. +; Requires protector. +; Function Attrs: ssp stack-protector-buffer-size=33 +define i32 @test28b() #3 { +entry: +; LINUX-I386-LABEL: test28b: +; LINUX-I386: mov{{l|q}} %gs: +; LINUX-I386: calll __stack_chk_fail + +; LINUX-X64-LABEL: test28b: +; LINUX-X64: mov{{l|q}} %fs: +; LINUX-X64: callq __stack_chk_fail + +; LINUX-KERNEL-X64-LABEL: test28b: +; LINUX-KERNEL-X64: mov{{l|q}} %gs: +; LINUX-KERNEL-X64: callq __stack_chk_fail + +; DARWIN-X64-LABEL: test28b: +; DARWIN-X64: mov{{l|q}} ___stack_chk_guard +; DARWIN-X64: callq ___stack_chk_fail + %test = alloca [33 x i8], align 16 + %arraydecay = getelementptr inbounds [33 x i8]* %test, i32 0, i32 0 + %call = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([4 x i8]* @.str, i32 0, i32 0), i8* %arraydecay) + ret i32 %call +} + +; test29a: An array of [4 x i8] and a requested ssp-buffer-size of 5. +; Requires no protector. +; Function Attrs: ssp stack-protector-buffer-size=5 +define i32 @test29a() #4 { +entry: +; LINUX-I386-LABEL: test29a: +; LINUX-I386-NOT: calll __stack_chk_fail +; LINUX-I386: .cfi_endproc + +; LINUX-X64-LABEL: test29a: +; LINUX-X64-NOT: callq __stack_chk_fail +; LINUX-X64: .cfi_endproc + +; LINUX-KERNEL-X64-LABEL: test29a: +; LINUX-KERNEL-X64-NOT: callq __stack_chk_fail +; LINUX-KERNEL-X64: .cfi_endproc + +; DARWIN-X64-LABEL: test29a: +; DARWIN-X64-NOT: callq ___stack_chk_fail +; DARWIN-X64: .cfi_endproc + %test = alloca [4 x i8], align 1 + %arraydecay = getelementptr inbounds [4 x i8]* %test, i32 0, i32 0 + %call = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([4 x i8]* @.str, i32 0, i32 0), i8* %arraydecay) + ret i32 %call +} + +; test29b: An array of [5 x i8] and a requested ssp-buffer-size of 5. +; Requires protector. +; Function Attrs: ssp stack-protector-buffer-size=5 +define i32 @test29b() #4 { +entry: +; LINUX-I386-LABEL: test29b: +; LINUX-I386: mov{{l|q}} %gs: +; LINUX-I386: calll __stack_chk_fail + +; LINUX-X64-LABEL: test29b: +; LINUX-X64: mov{{l|q}} %fs: +; LINUX-X64: callq __stack_chk_fail + +; LINUX-KERNEL-X64-LABEL: test29b: +; LINUX-KERNEL-X64: mov{{l|q}} %gs: +; LINUX-KERNEL-X64: callq __stack_chk_fail + +; DARWIN-X64-LABEL: test29b: +; DARWIN-X64: mov{{l|q}} ___stack_chk_guard +; DARWIN-X64: callq ___stack_chk_fail + %test = alloca [5 x i8], align 1 + %arraydecay = getelementptr inbounds [5 x i8]* %test, i32 0, i32 0 + %call = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([4 x i8]* @.str, i32 0, i32 0), i8* %arraydecay) + ret i32 %call +} + +; test30a: An structure containing an i32 and an array of [5 x i8]. +; Requested ssp-buffer-size of 6. +; Requires no protector. +; Function Attrs: ssp stack-protector-buffer-size=6 +define i32 @test30a() #5 { +entry: +; LINUX-I386-LABEL: test30a: +; LINUX-I386-NOT: calll __stack_chk_fail +; LINUX-I386: .cfi_endproc + +; LINUX-X64-LABEL: test30a: +; LINUX-X64-NOT: callq __stack_chk_fail +; LINUX-X64: .cfi_endproc + +; LINUX-KERNEL-X64-LABEL: test30a: +; LINUX-KERNEL-X64-NOT: callq __stack_chk_fail +; LINUX-KERNEL-X64: .cfi_endproc + +; DARWIN-X64-LABEL: test30a: +; DARWIN-X64-NOT: callq ___stack_chk_fail +; DARWIN-X64: .cfi_endproc + %test = alloca %struct.small_char, align 4 + %test.coerce = alloca { i64, i8 } + %0 = bitcast { i64, i8 }* %test.coerce to i8* + %1 = bitcast %struct.small_char* %test to i8* + call void @llvm.memcpy.p0i8.p0i8.i64(i8* %0, i8* %1, i64 12, i32 0, i1 false) + %2 = getelementptr { i64, i8 }* %test.coerce, i32 0, i32 0 + %3 = load i64* %2, align 1 + %4 = getelementptr { i64, i8 }* %test.coerce, i32 0, i32 1 + %5 = load i8* %4, align 1 + %call = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([4 x i8]* @.str, i32 0, i32 0), i64 %3, i8 %5) + ret i32 %call +} + +; test30b: An structure containing an i32 and an array of [5 x i8]. +; Requested ssp-buffer-size of 5. +; Requires protector. +; Function Attrs: ssp stack-protector-buffer-size=5 +define i32 @test30b() #4 { +entry: +; LINUX-I386-LABEL: test30b: +; LINUX-I386: mov{{l|q}} %gs: +; LINUX-I386: calll __stack_chk_fail + +; LINUX-X64-LABEL: test30b: +; LINUX-X64: mov{{l|q}} %fs: +; LINUX-X64: callq __stack_chk_fail + +; LINUX-KERNEL-X64-LABEL: test30b: +; LINUX-KERNEL-X64: mov{{l|q}} %gs: +; LINUX-KERNEL-X64: callq __stack_chk_fail + +; DARWIN-X64-LABEL: test30b: +; DARWIN-X64: mov{{l|q}} ___stack_chk_guard +; DARWIN-X64: callq ___stack_chk_fail + %test = alloca %struct.small_char, align 4 + %test.coerce = alloca { i64, i8 } + %0 = bitcast { i64, i8 }* %test.coerce to i8* + %1 = bitcast %struct.small_char* %test to i8* + call void @llvm.memcpy.p0i8.p0i8.i64(i8* %0, i8* %1, i64 12, i32 0, i1 false) + %2 = getelementptr { i64, i8 }* %test.coerce, i32 0, i32 0 + %3 = load i64* %2, align 1 + %4 = getelementptr { i64, i8 }* %test.coerce, i32 0, i32 1 + %5 = load i8* %4, align 1 + %call = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([4 x i8]* @.str, i32 0, i32 0), i64 %3, i8 %5) + ret i32 %call +} + +; test31a: An alloca of size 5. +; Requested ssp-buffer-size of 6. +; Requires no protector. +; Function Attrs: ssp stack-protector-buffer-size=6 +define i32 @test31a() #5 { +entry: +; LINUX-I386-LABEL: test31a: +; LINUX-I386-NOT: calll __stack_chk_fail +; LINUX-I386: .cfi_endproc + +; LINUX-X64-LABEL: test31a: +; LINUX-X64-NOT: callq __stack_chk_fail +; LINUX-X64: .cfi_endproc + +; LINUX-KERNEL-X64-LABEL: test31a: +; LINUX-KERNEL-X64-NOT: callq __stack_chk_fail +; LINUX-KERNEL-X64: .cfi_endproc + +; DARWIN-X64-LABEL: test31a: +; DARWIN-X64-NOT: callq ___stack_chk_fail +; DARWIN-X64: .cfi_endproc + %test = alloca i8*, align 8 + %0 = alloca i8, i64 4 + store i8* %0, i8** %test, align 8 + %1 = load i8** %test, align 8 + %call = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([4 x i8]* @.str, i32 0, i32 0), i8* %1) + ret i32 %call +} + +; test31b: An alloca of size 5. +; Requested ssp-buffer-size of 5. +; Requires protector. +define i32 @test31b() #4 { +entry: +; LINUX-I386-LABEL: test31b: +; LINUX-I386: mov{{l|q}} %gs: +; LINUX-I386: calll __stack_chk_fail + +; LINUX-X64-LABEL: test31b: +; LINUX-X64: mov{{l|q}} %fs: +; LINUX-X64: callq __stack_chk_fail + +; LINUX-KERNEL-X64-LABEL: test31b: +; LINUX-KERNEL-X64: mov{{l|q}} %gs: +; LINUX-KERNEL-X64: callq __stack_chk_fail + +; DARWIN-X64-LABEL: test31b: +; DARWIN-X64: mov{{l|q}} ___stack_chk_guard +; DARWIN-X64: callq ___stack_chk_fail + %test = alloca i8*, align 8 + %0 = alloca i8, i64 5 + store i8* %0, i8** %test, align 8 + %1 = load i8** %test, align 8 + %call = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([4 x i8]* @.str, i32 0, i32 0), i8* %1) + ret i32 %call +} + declare double @testi_aux() declare i8* @strcpy(i8*, i8*) declare i32 @printf(i8*, ...) @@ -3148,3 +3453,11 @@ declare void @_Z3exceptPi(i32*) declare i32 @__gxx_personality_v0(...) declare i32* @getp() declare i32 @dummy(...) +declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture, i8* nocapture readonly, i64, i32, i1) + +attributes #0 = { ssp } +attributes #1 = { sspstrong } +attributes #2 = { sspreq } +attributes #3 = { ssp "stack-protector-buffer-size"="33" } +attributes #4 = { ssp "stack-protector-buffer-size"="5" } +attributes #5 = { ssp "stack-protector-buffer-size"="6" } |