[InstCombine] Signed saturation patterns
[llvm-core.git] / test / CodeGen / WebAssembly / stack-protector.ll
blobef0bf94fcecc90deabc212bcc7e1885307d8d958
1 ; RUN: llc -verify-machineinstrs -mtriple=wasm32-unknown-unknown < %s | FileCheck -check-prefix=WASM32 %s
3 ; WASM32: i32.load        28
4 ; WASM32-NEXT: i32.sub
5 ; WASM32-NEXT: br_if           0
7 ; WASM32: __stack_chk_fail
9 @"\01LC" = internal constant [11 x i8] c"buf == %s\0A\00"               ; <[11 x i8]*> [#uses=1]
11 define void @test(i8* %a) nounwind ssp {
12 entry:
13         %a_addr = alloca i8*            ; <i8**> [#uses=2]
14         %buf = alloca [8 x i8]          ; <[8 x i8]*> [#uses=2]
15   %"alloca point" = bitcast i32 0 to i32                ; <i32> [#uses=0]
16         store i8* %a, i8** %a_addr
17         %buf1 = bitcast [8 x i8]* %buf to i8*           ; <i8*> [#uses=1]
18         %0 = load i8*, i8** %a_addr, align 4            ; <i8*> [#uses=1]
19         %1 = call i8* @strcpy(i8* %buf1, i8* %0) nounwind               ; <i8*> [#uses=0]
20   %buf2 = bitcast [8 x i8]* %buf to i8*         ; <i8*> [#uses=1]
21         %2 = call i32 (i8*, ...) @printf(i8* getelementptr ([11 x i8], [11 x i8]* @"\01LC", i32 0, i32 0), i8* %buf2) nounwind          ; <i32> [#uses=0]
22         br label %return
24 return:         ; preds = %entry
25         ret void
28 declare i8* @strcpy(i8*, i8*) nounwind
30 declare i32 @printf(i8*, ...) nounwind