38 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -S -passes='move-auto-init' -verify-memoryssa | FileCheck %s3 4; Make sure that volatile operationsa re not moved. This is overly conservative.5target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"6 7define void @foo(i32 %x) {8; CHECK-LABEL: @foo(9; CHECK-NEXT: entry:10; CHECK-NEXT: [[VAL:%.*]] = alloca i32, align 411; CHECK-NEXT: store volatile i32 -1431655766, ptr [[VAL]], align 4, !annotation !012; CHECK-NEXT: [[TOBOOL:%.*]] = icmp ne i32 [[X:%.*]], 013; CHECK-NEXT: br i1 [[TOBOOL]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]14; CHECK: if.then:15; CHECK-NEXT: call void @dump(ptr [[VAL]])16; CHECK-NEXT: br label [[IF_END]]17; CHECK: if.end:18; CHECK-NEXT: ret void19;20 21entry:22 %val = alloca i32, align 423 store volatile i32 -1431655766, ptr %val, align 4, !annotation !024 %tobool = icmp ne i32 %x, 025 br i1 %tobool, label %if.then, label %if.end26 27if.then:28 call void @dump(ptr %val)29 br label %if.end30 31if.end:32 ret void33}34 35declare void @dump(ptr)36 37!0 = !{!"auto-init"}38