1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-attributes 2; RUN: opt < %s -passes=function-attrs -S | FileCheck %s 3 4@s = external constant i8 5 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 1 10; CHECK-NEXT: ret i8 [[TMP]] 11; 12 %tmp = load i8, ptr @s 13 ret i8 %tmp 14} 15