48 lines · plain
1; RUN: opt < %s -O3 -S | grep volatile | count 32; PR15203; Don't promote load volatiles/stores. This is really needed to handle setjmp/lonjmp properly.4 5target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:32:32"6target triple = "i686-pc-linux-gnu"7 %struct.__jmp_buf_tag = type { [6 x i32], i32, %struct.__sigset_t }8 %struct.__sigset_t = type { [32 x i32] }9@j = external global [1 x %struct.__jmp_buf_tag] ; <ptr> [#uses=1]10 11define i32 @f() {12entry:13 %retval = alloca i32, align 4 ; <ptr> [#uses=2]14 %v = alloca i32, align 4 ; <ptr> [#uses=3]15 %tmp = alloca i32, align 4 ; <ptr> [#uses=3]16 %"alloca point" = bitcast i32 0 to i32 ; <i32> [#uses=0]17 store volatile i32 0, ptr %v, align 418 %tmp1 = call i32 @_setjmp( ptr @j ) ; <i32> [#uses=1]19 %tmp2 = icmp ne i32 %tmp1, 0 ; <i1> [#uses=1]20 %tmp23 = zext i1 %tmp2 to i8 ; <i8> [#uses=1]21 %toBool = icmp ne i8 %tmp23, 0 ; <i1> [#uses=1]22 br i1 %toBool, label %bb, label %bb523 24bb: ; preds = %entry25 %tmp4 = load volatile i32, ptr %v, align 4 ; <i32> [#uses=1]26 store i32 %tmp4, ptr %tmp, align 427 br label %bb628 29bb5: ; preds = %entry30 store volatile i32 1, ptr %v, align 431 call void @g( )32 store i32 0, ptr %tmp, align 433 br label %bb634 35bb6: ; preds = %bb5, %bb36 %tmp7 = load i32, ptr %tmp, align 4 ; <i32> [#uses=1]37 store i32 %tmp7, ptr %retval, align 438 br label %return39 40return: ; preds = %bb641 %retval8 = load i32, ptr %retval ; <i32> [#uses=1]42 ret i32 %retval843}44 45declare i32 @_setjmp(ptr) returns_twice46 47declare void @g()48