15 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-attributes2; RUN: opt < %s -passes=function-attrs -S | FileCheck %s3 4@s = external constant i85 6define i8 @f() {7; CHECK: Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none)8; CHECK-LABEL: @f(9; CHECK-NEXT: [[TMP:%.*]] = load i8, ptr @s, align 110; CHECK-NEXT: ret i8 [[TMP]]11;12 %tmp = load i8, ptr @s13 ret i8 %tmp14}15